收藏本站
《2006年全国开放式分布与并行计算机学术会议论文集(三)》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

基于模型的诊断系统验证

孟庆志  王戟  
【摘要】:诊断系统在很多领域都非常重要,从工业设备到运输都有应用需求。诊断系统能够识别某个可能进入危险状态或根本不可能状态的设备现在是否正常运行。诊断系统可以指导控制过程,阻止没被发现而可能导致灾难的实效事件的发生。在某些安全攸关领域中,诊断已成为开发系统的重要步骤,诊断系统的验证工作举足轻重。文章介绍了基于模型的诊断系统的验证方法,包括诊断系统相关概念、基于模型的诊断理论以及一个基于棋型的自治诊断系统Livingstone及其自动验证。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 刘明端;穆建成;马连川;尚麟宇;;基于模型的安全比较核设计[J];沈阳建筑大学学报(自然科学版);2011年04期
2 俞张辉;张自强;顾美康;;基于模型的设计思想加速电梯控制算法开发[J];电子科技;2011年08期
3 刘力雄;郭云飞;康晶;马宏;;分布式数据流聚类算法[J];计算机工程与设计;2011年08期
4 董宏斌;刘晋明;毛建灿;;嵌入式听力诊断系统中的伪迹消除方法[J];单片机与嵌入式系统应用;2011年07期
5 周林;;西门子计算机IOP子系统故障诊断方法[J];实验技术与管理;1990年04期
6 缪淮扣;陈圣波;曾红卫;;基于模型的Web应用测试[J];计算机学报;2011年06期
7 华镕;;基于模型设计的控制程序自动生成[J];软件;2010年05期
8 徐颖;;基于Matlab的嵌入式系统设计[J];重庆理工大学学报(自然科学);2011年07期
9 钟宁;陆军;廉启国;滕丽丽;;远程心电图诊断系统的社区应用及评价[J];中国全科医学;2011年19期
10 张三喜;胡小丽;周志强;郑荣华;曹锋;;基于光学图像的目标姿态判读处理[J];应用光学;2011年04期
中国重要会议论文全文数据库 前10条
1 孟庆志;王戟;;基于模型的诊断系统验证[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
2 王崇斌;成本茂;潘芸芝;;一种基于GPTS3.0的自动测试诊断系统[A];第六届中国测试学术会议论文集[C];2010年
3 王有花;李瑞芬;康春玲;;LOO1型连续心电向量图诊断系统的临床应用[A];第四届全国心功能学术研讨会论文摘要集[C];1994年
4 蒋东翔;黄乾;洪良友;丁勇山;;风力发电机组振动监测与智能诊断系统开发[A];2008年全国振动工程及应用学术会议暨第十一届全国设备故障诊断学术会议论文集[C];2008年
5 齐亚莉;李业丽;;面向对象的故障诊断知识库的设计[A];第2届北京印刷技术与印刷教育研讨会论文集[C];2004年
6 薛耀锋;袁景淇;;基于SVM发酵过程染菌诊断系统的研究[A];2005中国控制与决策学术年会论文集(上)[C];2005年
7 耿在斌;李明;王叶;;低气压放电管等离子体综合诊断系统及对比实验[A];第十四届全国等离子体科学技术会议暨第五届中国电推进技术学术研讨会会议摘要集[C];2009年
8 梁秉;陈则来;杨增红;;基于ARM技术的电梯模拟控制状态诊断系统[A];中国力学学会学术大会'2009论文摘要集[C];2009年
9 姜兴岳;耿道颖;沈天真;陈星荣;马军;杨杰;;基于Bayes网络的常见脑肿瘤计算机辅助诊断系统初步研究[A];2006年华东六省一市暨浙江省放射学学术年会论文汇编[C];2006年
10 谭莹莹;谢平;陈丽;胡彩霞;;东江流域径流序列变异分析[A];变化环境下的水资源响应与可持续利用——中国水利学会水资源专业委员会2009学术年会论文集[C];2009年
中国重要报纸全文数据库 前10条
1 辛华;专家指出:流感诊断系统不应缺位[N];医药经济报;2004年
2 记者  李映;新技术商机无限 汽车电子厂商积极备战[N];中国电子报;2007年
3 丁钉;企业问题诊断系统走俏市场[N];中国企业报;2006年
4 本报记者  胡启林;全国推广国3标准 车载诊断系统成瓶颈[N];中国工业报;2006年
5 赛斯;奥地利开发出风湿性关节炎诊断系统[N];医药经济报;2002年
6 通讯员 吕若梦记者 李海滔;“智农远程双向视频咨询诊断系统”落户我市[N];承德日报;2007年
7 周业安;基于模型的估值不过是幻觉[N];上海证券报;2008年
8 ;灵活访问模型驱动的服务[N];网络世界;2007年
9 薛原;计算机辅助诊断系统试探中国市场[N];健康报;2008年
10 本报记者 吴佳学 通讯员 胡必强;“数字化种田”,看着电脑就能种地[N];江苏科技报;2008年
中国博士学位论文全文数据库 前10条
1 胡春;制造执行系统建模与智能企业诊断系统研究[D];浙江大学;2003年
2 李姁君;幽门螺杆菌免疫芯片诊断系统的研制[D];第四军医大学;2002年
3 崔茂源;基于虚拟现实技术与监控理论的机器人示教系统研究[D];吉林大学;2004年
4 黄考利;军用自动测试系统(ATS)体系结构及智能故障诊断方法研究[D];南京理工大学;2004年
5 鲁峰;航空发动机故障诊断的融合技术研究[D];南京航空航天大学;2009年
6 王强;基于混沌与分形理论的炉管泄漏检测与诊断系统的研究[D];华北电力大学(河北);2003年
7 邵继业;基于模型的故障诊断方法研究及在航天中的应用[D];哈尔滨工业大学;2009年
8 彭强;复杂系统远程智能故障诊断技术研究[D];南京理工大学;2004年
9 张荣;感应电动机转子故障诊断方法的研究[D];山东大学;2009年
10 宋泾舸;混杂系统中基于模型的集成智能规划理论与方法研究[D];北京交通大学;2010年
中国硕士学位论文全文数据库 前10条
1 宋辉;基于CAN总线的电控发动机诊断系统研究[D];南京林业大学;2011年
2 叶星星;地铁列车诊断系统中央控制单元的设计与实现[D];北京交通大学;2011年
3 严飞;基于LabVIEW的家庭医疗观测诊断系统研究[D];复旦大学;2010年
4 王皓;基于本体论的玉米病虫害诊断系统的设计与实现[D];吉林大学;2011年
5 徐向明;动力炉控制系统故障监测和诊断系统的设计与实现[D];电子科技大学;2012年
6 王红影;离散事件系统基于模型的增量诊断方法的研究[D];吉林大学;2011年
7 钟远;催化主风机状态监测及诊断系统的分析和应用[D];内蒙古大学;2012年
8 杨灿;基于模型的设计在ARM直流电机控制开发中的应用[D];华中科技大学;2011年
9 沐光雨;基于模型的诊断方法在教育系统中的应用[D];吉林大学;2004年
10 司建铭;基于模型的工作流管理系统[D];四川大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026