核心提示：　　電子商務安全協議的邏輯驗證刊陳慶鋒軟件學ft.2OOO，ll3.346362K進行了證明，也對37中可能存在的問進行了初步探討。該文在此基礎上，對3丁的整個業務流程進行了嚴格的邏輯驗證，通過形式化

　　電子商務安全協議的邏輯驗證刊陳慶鋒軟件學ft.2OOO，ll3.346362K進行了證明，也對37中可能存在的問進行了初步探討。該文在此基礎上，對3丁的整個業務流程進行了嚴格的邏輯驗證，通過形式化邏輯方法的驗證，發現了57協議中存在的些問，并對如何解決這些問埋進行了初步的探討。參82丁10輞合器操縱臺的故摩診斷及定位刊徐榮紅種安全的組簽字方案刊施榮華國防科技大學基于網的直流提升機故癉診斷刊揚夭奇計算機自動測量與控制。2000，822223尺計算機系統的電進泄，及其防護初探刊都世民計算機自動測量與控制。2000，8237，綜述了計算機系統信息電磁泄，與耦合的機理，及其在電子戰環境中可能帶來的危害討論了抑制電進泄，射與傳導發射的方法和10技術的相關問晨望了電磁泄漪防護的發展趨勢和今后進步研究的課理參6動態系統的故，診斷方法0014089發動機，控系統智能容銪技術的半物理仿真研究基于觀，的故障檢測含6篇文章0013722，種利用網管軟件定位計算機在子網內物理位置的方網上圯劫持攻擊的研究0013683奇偶轉置分類兩容播分析0013643，的安全問埋與保護措施0013055談開關電的指標及檢測00125421715模擬技術與模擬裝置，應電動機的實時仿真1=，10，30，于車輛驅動電機的動力學仿真問。文中研究了如何參考框架的選擇影響感應電動機動力學的實時仿真。

　　就積分方法而言，狀態轉移矩陣方法明顯優越于歐拉積分方法。

　　本部分收錄6篇論文，內容涉及非線性模型簡化與辨識的數值投影算法，簡化運動學模型的參數辨識與在線估計，化工反應系統的非線性棋型簡化，生物反應器的棋型簡化與驗證，類分布參數過程的模型簡化與控制。

　　仿真與建檳含6篇文章=丁103131本部分收錄6篇論文，內容涉及貨物發送控制系統的仿真，計算鍵盤鍵的剛度測量與阻尼特性，生態系統環境變化適應性的仿真研究，火控結構建模與動化，動態系統仿真與可視化的集成環境。

　　路面隨機激勵下的汽車振動仿真刊檀潤華振動以4自由度汽車振動系統為例，建立了以白噪聲為輸入的路面隨機激勵作用數學模型，應用15編制了仿真軟件并對國產汽車進行了仿真。參8土阻力對低應變動測影響的計算機仿真分析刊，以維波動理論為基礎，利用計算機仿真程序，對運用低應變反射彼法檢測樁身完整性的過程中，土層明，不同的土層狀況對波形有不同的影響，而且具有定的規律性。參3 +此口5軟硬件仿真功能擴展刊蔡英武！7，7在高速碰撞數值棋擬中的應用刊楊黎明電子技術參考。2000，2.5155，以彈頭高速碰水為例，介紹了利用0丁軟件進行高速碰數值模擬及其相關的內容，并對計箅結果作了簡要分析。參4彈上電子學系統半實物仿真刊李映華電子技術簡要介紹了彈上電子學系統計算機半實物仿真系統的方案和組成工作原理，并就仿真模型的建立效驗和驗證的原則和方法進行了有益的探討。參7長骨面再造仿真中死區控制棋型研究刊朱興華中國生物醫學工程學報。2000，192.194199線性模型和常數拋物線模型。通過外荷改變和植入植入物后引起長骨面再造的8種問銓的算例計算，參考動物試驗和臨床初步觀測結果，初步確定了這兩種模型中的處待定常數的取值范圍。適當調整其待定常數完全可以對長骨面再造進行仿真。為通用程序的編制汀下理論基礎。

　　63；1分析與處理方法對急性心肌梗塞部位與范圍識別能力的仿真研究刊李光林中國生物醫學工程心室去極化復合波的時頻分布特征研究刊何偉中國生物醫學工程學報。2000，192.1773，在人的5復合波的時域頻域分布特征及發生機理問上曾有過許多爭論。本文對此作了研究，指出正常人的復合波都是角脈沖樣不全正確，其功率譜具有倒幕律不全對。不存在5系統與0，5復合波的倒冪譜的關系問通。人的心室去極化0，復合波有角脈沖樣波形，也有非角脈沖樣波形，其功率譜具有單峰和指數下降倒冪特征兩種類型。因此不能用倒蓁特征來描述人的心室去極化0，5復合波的混沌特征。

　　體電位積分差對確定心肌梗塞區域的價值研究刊徐文龍中國生鈁醫學工程學報。2000，19由體電位對心肌楦塞區域的定位，以往的方法般只根據極小值出現的時刻和位置來進行，分辨率不高。本文提出了種在現有方法的基礎上，增加對體電位積分差的極值方向進行判別的新思路棋型實驗明，新方法大大得高了對心肌梗塞區域進行定位的分辨率。若能進步得到臨床驗證，將有較高應用價值。參4行星齒輪機構殫性動力學建棋刊揚建明桂林電通過把行星齒輪機構劃分成幾個相互關聯的子系統，應用牛鋇第定律，詳細推導了行星齒輪的振動公中的錯誤公式，為系統地研究行星齒輪機構的動力學行為和行星齒輪機構的減振莫定了理論基礎。參8基于虛拉僅器念的多功能無紙記錄僅的設計開發刊王國燕電子技術應用。2000，265.31從虛擬僅器的氰念出發，采用低成本自動化系統記錄僅，并著重從硬件設計和軟件開發等方面進行了分析與論述。參4基于005的大型火電廠培訓仿真器的設計刊張為針對我國電力系疣自動化程度的不斷提高和005了種基于005的大型火電廠培訓仿真器的設計。

　　該仿真器具有可靠性高擴展靈活等特點，并已在實際工程中被采用，效果良好參3基于正488接口卡的虛擬胰譜僅系疣的構建刊介紹了基于488接口卡的虛擬頻譜僅系統。

　　該系統由帶有1接口卡的計箅機85926型頻譜分析儀以及1出總線構成。分析和討論了該系統的硬件構成基本工作原理軟件編程和在實驗中以遇到的些問及解決方案。參5使用窗譜估計法驗證仿真系統模型刊劉鸝空軍工程大學學報。2000，12.6971幻口建模與動態模擬測試刊何宇新計算機工基于實例設計中的產品數據棋型及實例庫設計刊傅仕偉計算機輔助設計與形學學報。2000，12事故現場勘察數據與分析再現需要數據間的轉換實現疏浚作業仿真訓練系統的建模技術0014062飛行棋擬訓練器中發動機起動過程摸型的建立和仿真眼球的運動模型及對鐘，型眼球，的模擬分析不確定狀態空間模型的最優狀態調節0013926空間機器人的虛擬壞境建模及其仿真0013905并行混合電車的控制系統及動態模型驗證制造系統的非線性建模與控制2含6篇文章非線性預測控制0013785模鋤預測控制應用含6篇文章0013784制造系統的非線性建模與控制1含6篇文章種基于此！過的虛擬實物系統及其應用前景性能模擬0013637雙898下硬件中斷驅動程序的開發0013542在評如3，下實現自動溝通，802.3的驅動協議模型0013493樹木的整體性運動及樹內部風場的研究0013419基于神經網絡混純時間信號的預測0013366童子算法模擬實現技術研究，13358利用質子信號祺擬器校準質子進動式磁強計多級波器的非線性系統建模0012845處10設計中種基于硬件的實時仿真系統1999年國際半導體工藝與器件模擬會議，1716處理方式本部分收錄3篇論文。銓名為客戶機服務器環境中以分布式4為基礎的可證明處理，基于廣域網絡WAN的工作站群用的容許時延算法和采用013的信息功率網格上的大規模分布式計算流體動力學。

　　異構計算中的負載共莩刊曾國蓀軟件學報。

　　該文針對具有，致性的非致存儲訪問并行系統0似的特點，提出通過結合計算變換和數據交換，在統的代數框架下對并行程序進行通信優化的策略和方法通過實驗測試，驗證了此策略和方法是行之有效的。參8并行計算提高3問銓求解效率的有效方法刊基于投物擬人思想的算法是個求解私丁問銓的快速算法。實驗和理論分析明，算法具有易并行化的特性將算法并行化可大，度地提高求解丁問的效率參5基于5，108的并行93連接算法效率分析該文研究了基于，叫結構的幾種常用并行連接箅法，分析了影響，詢響應時間的各種因素。

　　比較了幾種算法在不同硬件配置下的執行效率所提出的棋型和分析方法為評價和選取并行連接算法提供了種可行的途徑參8 13，51種支持多媒體傳輸，3雎務的框架棋型