中文字幕高清免费日韩视频在线,乡下女人做爰A片,猫咪av成人永久网站在线观看,亚洲高清有码中文字,国产精久久一区二区三区

一种为程序的安全性验证所设计的面向对象的自动转换方法
所属分类：技术论文
上传者：aet
文档大小：1650 K
标签： 开发工具
所需积分：0分积分不够怎么办？
文档介绍：容错和控制系统的安全性验证是自发机扑系统成功的关键，一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来，而它的产生则推动了一种基于对象的控制方法的产生。本文将讨论一种设计方法，该方法的设计目的是将对象网络控制程序转化为线性混合系统。该线性混合系统在使用信号模拟检测器进行检测时，在出现错误时是可以证明其安全性的。本文将结合例子介绍这种方法。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。