计算机仿真
計算機倣真
계산궤방진
COMPUTER SIMULATION
2011年
5期
103-106
,共4页
派粹网%冗余控制%仿真软件
派粹網%冗餘控製%倣真軟件
파수망%용여공제%방진연건
针对冗余控制系统在冗余处理方面存在的缺陷,对冗余软件进行建模分析,以便设计可靠的冗余软件.本文首先按照层次对冗余控制系统进行划分,指出冗余控制层两台工业控制机的状态转移方式;然后应用Petri网,按照层次对冗余软件进行建模,设计了冗余软件分层模型和整体模型;最后利用ExSpect仿真软件对模型进行仿真和正确性分析,给出仿真界面和仿真流程.经过仿真和分析可知,该模型是正确的、可行的,对冗余软件设计,具有一定的指导意义和实用性.
針對冗餘控製繫統在冗餘處理方麵存在的缺陷,對冗餘軟件進行建模分析,以便設計可靠的冗餘軟件.本文首先按照層次對冗餘控製繫統進行劃分,指齣冗餘控製層兩檯工業控製機的狀態轉移方式;然後應用Petri網,按照層次對冗餘軟件進行建模,設計瞭冗餘軟件分層模型和整體模型;最後利用ExSpect倣真軟件對模型進行倣真和正確性分析,給齣倣真界麵和倣真流程.經過倣真和分析可知,該模型是正確的、可行的,對冗餘軟件設計,具有一定的指導意義和實用性.
침대용여공제계통재용여처리방면존재적결함,대용여연건진행건모분석,이편설계가고적용여연건.본문수선안조층차대용여공제계통진행화분,지출용여공제층량태공업공제궤적상태전이방식;연후응용Petri망,안조층차대용여연건진행건모,설계료용여연건분층모형화정체모형;최후이용ExSpect방진연건대모형진행방진화정학성분석,급출방진계면화방진류정.경과방진화분석가지,해모형시정학적、가행적,대용여연건설계,구유일정적지도의의화실용성.
