微型机与应用
微型機與應用
미형궤여응용
MICROCOMPUTER & ITS APPLICATIONS
2009年
5期
16-20
,共5页
安全性验证%机扑系统%MDS%模式检测器
安全性驗證%機撲繫統%MDS%模式檢測器
안전성험증%궤복계통%MDS%모식검측기
容错和控制系统的安全性验证是自发机扑系统成功的关键,一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来,而它的产生则推动了一种基于对象的控制方法的产生.本文将讨论一种设计方法,该方法的设计目的是将对象网络控制程序转化为线性混合系统.该线性混合系统在使用信号模拟检测器进行检测时,在出现错误时是可以证明其安全性的.本文将结合例子介绍这种方法.
容錯和控製繫統的安全性驗證是自髮機撲繫統成功的關鍵,一種叫做任務數據繫統MDS(Mission Data Symstem)的控製框架的軟件理論被提瞭齣來,而它的產生則推動瞭一種基于對象的控製方法的產生.本文將討論一種設計方法,該方法的設計目的是將對象網絡控製程序轉化為線性混閤繫統.該線性混閤繫統在使用信號模擬檢測器進行檢測時,在齣現錯誤時是可以證明其安全性的.本文將結閤例子介紹這種方法.
용착화공제계통적안전성험증시자발궤복계통성공적관건,일충규주임무수거계통MDS(Mission Data Symstem)적공제광가적연건이론피제료출래,이타적산생칙추동료일충기우대상적공제방법적산생.본문장토론일충설계방법,해방법적설계목적시장대상망락공제정서전화위선성혼합계통.해선성혼합계통재사용신호모의검측기진행검측시,재출현착오시시가이증명기안전성적.본문장결합례자개소저충방법.