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

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

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

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

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

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

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

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

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

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

　　異構(gòu)計(jì)算中的負(fù)載共莩刊曾國蓀軟件學(xué)報(bào)。

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

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