楊成鳳 湖北工業大學計算機學院/江蘇省海安中等專業學校
通過虛擬實驗系統的發展現狀可以看出,采用基于AS編程設計的虛擬實驗系統能縮小軟件的體量,利于廣泛傳播和運用。但是為了提高軟件的交互性,需要實現由基本門電路搭建任意組合邏輯電路,點擊兩端點能自動布線并進行參數傳遞,滿足真值表驗算和表達式自動顯示,其中自動布線是核心技術。
要滿足虛擬實驗系統的電路自動布線,實現需建立具有基本邏輯功能的門電路模型。門電路模型主要實現輸出端與輸入端的邏輯功能,在一般的程序里面一個布爾運算便能實現。但在虛擬實驗系統中,需要確定一個方案,核心功能是讓同一個門電路模型被選中多次使用時,模型各端口的編號、性質、參數如何自動定義、判別和傳遞而不出現混亂。
元件之間自動連線時會根據元件位置不同捕捉和記錄端點坐標,在元件連線時,系統能提前自動轉折避開交叉和重疊,從而讓自主設計的邏輯電路關系清晰明了,且能依靠連線實現邏輯參數的傳遞。
在邏輯電路設計完成后,需要進行電路邏輯功能的驗證,驗算其是否能實現預期的邏輯功能。需要設計一種方案,系統自動檢測輸入端的數量,自動給出真值表,用戶窮舉輸入端各種輸入可能后能得到完成真值表并給出參考邏輯表達式。



