第164章 四個問題
第164章 四個問題
聽到華洛耕過來的消息。
會議室內。
王壽吾看向身旁的計算所所長楊沛齡。
後者連忙解釋，道：「華教授在計算機數學領域，有一定研究。」
「我在之前。」
「就派人給送去邀請，只是那時還不確定他會不會過來。」
他簡單地解釋了一遍情況。
聽完後。
其他人也明白過來。
王壽吾想了想，對江陽道：「您覺得呢？」
聞言。
楊沛齡、夏裴訴和張校祥等人，露出果然如此的眼神。
他們不傻。
半導體所的人，都對江陽十分尊重，足以證明其地位的特殊。
江陽笑道：「我求之不得，快趕緊請進來吧！」
事到臨頭。
躲肯定是躲不過去的。
畢竟他實在沒道理，拒絕華洛耕進來。
不多時。
在警衛戰士的帶領下。
一個五十多歲，戴著眼鏡的老者，走了進來。
看到他出現。
正在聽江陽繼續講解HDL本質的眾人。
下意識看了一眼。
但是。
江陽並沒有立刻停下。
而是繼續說完，奎因算法對自動化化簡多變量布爾函數的作用。
緊接著。
他才看向華洛耕，道：「華教授您好，我是江陽。」
「請您見諒。」
「我稍後還需要去其他地方，不能浪費時間。」
江陽的這番話。
目的很簡單。
一讓華洛耕知道，他時間不多，很快要走！
華洛耕笑道：「沒關係，以您的時間為準。」
「我對您敬仰已久。」
「老實說，我本來以為，我們見面的時間應該會更早。」
他說完後。
周圍的專家教授們，露出好奇的眼神。
難道江教授還懂數學？
江陽搖頭道：「我不過是簡單地會一些應用數學。」
「這些東西。」
「恐怕還入不了您這位大數學家的眼吧？」
華洛耕失笑道：「您過于謙虛了。」
「不說這個。」
「黑板上面這些關於布爾代數的內容，都是您寫的嗎？」
他對江陽的數學能力。
很有信心。
畢竟在3噸級電渣爐、100噸轉爐、近接式光刻機等成果出來之前。
數學所完全沒有，接到相關的協助研究任務。
最後。
還是華洛耕跑去詢問郭弱，才得知直接被設計者解決了。
當時華洛耕就想和江陽見面。
只不過礙於保密條例。
直到現在，參與計算技術研究所的項目，才得知江陽的身份！
就在華洛耕出神時。
江陽點頭道：「研製電晶體計算機，不僅僅再是簡單的元件替換。」
「而是計算機設計範式的轉變。」
「這就要求我們，對原有體系，進行徹底重構。」
聽到這話。
一旁的楊沛齡等人，點了點頭。
雖說還不能完全理解。
但至少。
他們現在已經清楚，江陽的方向並沒有問題。
華洛耕盯著黑板，看了半晌，道：「您從布爾代數到邏輯綜合的轉化。」
「簡直是。」
「完美地體現了「數學工程化」的思想！」
他的語氣，滿是驚訝。
在數學部分。
香農的布爾代數應用，本質上是離散數學的工程化。
卡諾圖源自群論思想。
奎因算法主要展現NP問題特徵。
用這三者。
去構成一個數字電路設計的數學基礎與方法論工具。
計算之複雜。
恐怕國內的數學家們綁在一起，都無法短時間完成！
江陽道：「還是有不足。」
「要將它代碼化，對計算機有很高的要求。」
「只有徹底重構，才能最大化的，發揮它的作用。」
華洛耕微微頷首。
要是「數學工程化」容易，華國也不至於現在，都還沒起步。
想到這裡。
華洛耕道：「有什麼數學所能幫上忙的，請您儘管開口。」
他並沒有和江陽預料的那般，提出數學問題。
畢竟。
華國可以沒有幾個跟他一樣的數學家，但不能沒有江陽！
聽到華洛耕的回答。
江陽有些意外。
但很快，他就反應過來，開口道：「您要是願意，可以讓數學所，研究這四個問題。」
「布爾函數極小化問題的複雜性、多值邏輯電路實現。」
「以及時序電路的自動驗證和互連線寄生效應的數學建模。」
他飛快地拋出，從瑤光哪裡拿來的問題。
聽完後。
華洛耕的眼中，流露十分感興趣的神色。
這四個問題可不簡單。
理論價值先不提。
就說應用。
多值邏輯電路的實現，能讓華國，建立起相關的數學框架。
華洛耕估算。
有了這個框架後。
他們飛彈處理陀螺儀信號的精度，至少能提升20%！
意識到這些後。
華洛耕鄭重道：「江教授，我回去後，就把人送過來！」
這四個難題，一旦得到突破。
絕對是大功勞。
甚至，能讓參與者，在歷史中留下自己的一筆！
江陽笑道：「不用這麼麻煩，您負責就好。」
「我對理論不感興趣。」
「還是應用有意思，能造出讓大家生活得更好的東西來。」
聽到這話。
華洛耕雖有些可惜，但並不意外。
然而。
站在江陽身後的王壽吾等人，就有些懵了。
在理論上。
華國恐怕沒有幾個人，能跟江陽相比。
這叫不感興趣？
隨後，華洛耕很快離開。
待其走後。
江陽又待了片刻，才離開會議室。
走向大門的途中。
江陽對跟在身後的王壽吾，道：「我看大家還是有很多疑惑。」
「這樣。」
「我回頭寫一份資料，您找機會跟告訴說說。」
華國的計算機研究，也是跟著老大哥來。
在這個基礎上。
想要迅速地掌握集成電路計算機的基礎理論，並以此作為後續的研究指導。
需要的時間，太長。
王壽吾道：「好。」
「但我有個問題。」
「您為什麼不直接給呢？」
他的語氣滿是疑惑。
江陽道：「剛剛認識就說要教他們東西，這樣做不好。」
「等熟了再直接給吧。」
「放心，不會用太長的時間，很快就能送過來。」
他說到最後。
察覺到身旁的蘇筱眼神不對，連忙補救。
要是被發現偷偷研究。
可就不妙了。
王壽吾若有所思，道：「還是您考慮得周全。」
他們絕對相信江陽。
但這不代表其他人，也是這樣的想法。
這種情況下。
確實要謹慎對待！
聽到華洛耕過來的消息。
會議室內。
王壽吾看向身旁的計算所所長楊沛齡。
後者連忙解釋，道：「華教授在計算機數學領域，有一定研究。」
「我在之前。」
「就派人給送去邀請，只是那時還不確定他會不會過來。」
他簡單地解釋了一遍情況。
聽完後。
其他人也明白過來。
王壽吾想了想，對江陽道：「您覺得呢？」
聞言。
楊沛齡、夏裴訴和張校祥等人，露出果然如此的眼神。
他們不傻。
半導體所的人，都對江陽十分尊重，足以證明其地位的特殊。
江陽笑道：「我求之不得，快趕緊請進來吧！」
事到臨頭。
躲肯定是躲不過去的。
畢竟他實在沒道理，拒絕華洛耕進來。
不多時。
在警衛戰士的帶領下。
一個五十多歲，戴著眼鏡的老者，走了進來。
看到他出現。
正在聽江陽繼續講解HDL本質的眾人。
下意識看了一眼。
但是。
江陽並沒有立刻停下。
而是繼續說完，奎因算法對自動化化簡多變量布爾函數的作用。
緊接著。
他才看向華洛耕，道：「華教授您好，我是江陽。」
「請您見諒。」
「我稍後還需要去其他地方，不能浪費時間。」
江陽的這番話。
目的很簡單。
一讓華洛耕知道，他時間不多，很快要走！
華洛耕笑道：「沒關係，以您的時間為準。」
「我對您敬仰已久。」
「老實說，我本來以為，我們見面的時間應該會更早。」
他說完後。
周圍的專家教授們，露出好奇的眼神。
難道江教授還懂數學？
江陽搖頭道：「我不過是簡單地會一些應用數學。」
「這些東西。」
「恐怕還入不了您這位大數學家的眼吧？」
華洛耕失笑道：「您過于謙虛了。」
「不說這個。」
「黑板上面這些關於布爾代數的內容，都是您寫的嗎？」
他對江陽的數學能力。
很有信心。
畢竟在3噸級電渣爐、100噸轉爐、近接式光刻機等成果出來之前。
數學所完全沒有，接到相關的協助研究任務。
最後。
還是華洛耕跑去詢問郭弱，才得知直接被設計者解決了。
當時華洛耕就想和江陽見面。
只不過礙於保密條例。
直到現在，參與計算技術研究所的項目，才得知江陽的身份！
就在華洛耕出神時。
江陽點頭道：「研製電晶體計算機，不僅僅再是簡單的元件替換。」
「而是計算機設計範式的轉變。」
「這就要求我們，對原有體系，進行徹底重構。」
聽到這話。
一旁的楊沛齡等人，點了點頭。
雖說還不能完全理解。
但至少。
他們現在已經清楚，江陽的方向並沒有問題。
華洛耕盯著黑板，看了半晌，道：「您從布爾代數到邏輯綜合的轉化。」
「簡直是。」
「完美地體現了「數學工程化」的思想！」
他的語氣，滿是驚訝。
在數學部分。
香農的布爾代數應用，本質上是離散數學的工程化。
卡諾圖源自群論思想。
奎因算法主要展現NP問題特徵。
用這三者。
去構成一個數字電路設計的數學基礎與方法論工具。
計算之複雜。
恐怕國內的數學家們綁在一起，都無法短時間完成！
江陽道：「還是有不足。」
「要將它代碼化，對計算機有很高的要求。」
「只有徹底重構，才能最大化的，發揮它的作用。」
華洛耕微微頷首。
要是「數學工程化」容易，華國也不至於現在，都還沒起步。
想到這裡。
華洛耕道：「有什麼數學所能幫上忙的，請您儘管開口。」
他並沒有和江陽預料的那般，提出數學問題。
畢竟。
華國可以沒有幾個跟他一樣的數學家，但不能沒有江陽！
聽到華洛耕的回答。
江陽有些意外。
但很快，他就反應過來，開口道：「您要是願意，可以讓數學所，研究這四個問題。」
「布爾函數極小化問題的複雜性、多值邏輯電路實現。」
「以及時序電路的自動驗證和互連線寄生效應的數學建模。」
他飛快地拋出，從瑤光哪裡拿來的問題。
聽完後。
華洛耕的眼中，流露十分感興趣的神色。
這四個問題可不簡單。
理論價值先不提。
就說應用。
多值邏輯電路的實現，能讓華國，建立起相關的數學框架。
華洛耕估算。
有了這個框架後。
他們飛彈處理陀螺儀信號的精度，至少能提升20%！
意識到這些後。
華洛耕鄭重道：「江教授，我回去後，就把人送過來！」
這四個難題，一旦得到突破。
絕對是大功勞。
甚至，能讓參與者，在歷史中留下自己的一筆！
江陽笑道：「不用這麼麻煩，您負責就好。」
「我對理論不感興趣。」
「還是應用有意思，能造出讓大家生活得更好的東西來。」
聽到這話。
華洛耕雖有些可惜，但並不意外。
然而。
站在江陽身後的王壽吾等人，就有些懵了。
在理論上。
華國恐怕沒有幾個人，能跟江陽相比。
這叫不感興趣？
隨後，華洛耕很快離開。
待其走後。
江陽又待了片刻，才離開會議室。
走向大門的途中。
江陽對跟在身後的王壽吾，道：「我看大家還是有很多疑惑。」
「這樣。」
「我回頭寫一份資料，您找機會跟告訴說說。」
華國的計算機研究，也是跟著老大哥來。
在這個基礎上。
想要迅速地掌握集成電路計算機的基礎理論，並以此作為後續的研究指導。
需要的時間，太長。
王壽吾道：「好。」
「但我有個問題。」
「您為什麼不直接給呢？」
他的語氣滿是疑惑。
江陽道：「剛剛認識就說要教他們東西，這樣做不好。」
「等熟了再直接給吧。」
「放心，不會用太長的時間，很快就能送過來。」
他說到最後。
察覺到身旁的蘇筱眼神不對，連忙補救。
要是被發現偷偷研究。
可就不妙了。
王壽吾若有所思，道：「還是您考慮得周全。」
他們絕對相信江陽。
但這不代表其他人，也是這樣的想法。
這種情況下。
確實要謹慎對待！