一种为程序的安全性验证所设计的面向对象的自动转换方法
所屬分類：技术论文
上傳者：aet
文檔大?。?span>1650 K
標簽： 开发工具
所需積分：0分積分不夠怎么辦？
文檔介紹：容错和控制系统的安全性验证是自发机扑系统成功的关键，一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来，而它的产生则推动了一种基于对象的控制方法的产生。本文将讨论一种设计方法，该方法的设计目的是将对象网络控制程序转化为线性混合系统。该线性混合系统在使用信号模拟检测器进行检测时，在出现错误时是可以证明其安全性的。本文将结合例子介绍这种方法。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。