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

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

　　就積分方法而言，狀態(tài)轉移矩陣方法明顯優(yōu)越于歐拉積分方法。

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

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

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

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

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

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

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

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

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

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