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