数学的实践与认识
數學的實踐與認識
수학적실천여인식
MATHEMATICS IN PRACTICE AND THEORY
2011年
10期
87-101
,共15页
范月科%王宇龙%孙玉武%武伟%杨荫钊
範月科%王宇龍%孫玉武%武偉%楊蔭釗
범월과%왕우룡%손옥무%무위%양음쇠
三防系统%k(0,1)-时间Petri网%位置%转移
三防繫統%k(0,1)-時間Petri網%位置%轉移
삼방계통%k(0,1)-시간Petri망%위치%전이
三防系统软件是坦克装甲车辆防护系统中的安全关键软件,对其安全性分析是十分必要的.定义了k(0,1)-时间Petri网(K(0,1)-TPN),该网是对时间Petri网的一种扩展,对于输入不同、运行过程相同及其控制机构相同或不同的系统分析建模具有普遍的应用价值.应用k(0,1)-时间Petri网及其动态的运行规则,并采用合成技术建立起了三防系统的模型.通过对运行时序、状态转移等的分析,得出了若干个三防软件系统存在的危险状态,并对软件及其系统的修改提出了建议.
三防繫統軟件是坦剋裝甲車輛防護繫統中的安全關鍵軟件,對其安全性分析是十分必要的.定義瞭k(0,1)-時間Petri網(K(0,1)-TPN),該網是對時間Petri網的一種擴展,對于輸入不同、運行過程相同及其控製機構相同或不同的繫統分析建模具有普遍的應用價值.應用k(0,1)-時間Petri網及其動態的運行規則,併採用閤成技術建立起瞭三防繫統的模型.通過對運行時序、狀態轉移等的分析,得齣瞭若榦箇三防軟件繫統存在的危險狀態,併對軟件及其繫統的脩改提齣瞭建議.
삼방계통연건시탄극장갑차량방호계통중적안전관건연건,대기안전성분석시십분필요적.정의료k(0,1)-시간Petri망(K(0,1)-TPN),해망시대시간Petri망적일충확전,대우수입불동、운행과정상동급기공제궤구상동혹불동적계통분석건모구유보편적응용개치.응용k(0,1)-시간Petri망급기동태적운행규칙,병채용합성기술건립기료삼방계통적모형.통과대운행시서、상태전이등적분석,득출료약간개삼방연건계통존재적위험상태,병대연건급기계통적수개제출료건의.