【摘 要】
：
作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证
【机 构】
：
清华大学精密仪器与机械学系,北京,100084;北京航空航天大学机器人所,北京,100191
论文部分内容阅读
作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL (时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验征规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.
其他文献
1月份是我省最低温的季节，寒潮频袭，可能会出现较长时间的低温阴雨天气，水霉病的发病率可能会大幅上升，在局部地区甚至有流行和暴发的可能，养殖生产者要提前做好预防措施。对不耐
随着新的中日、中韩、日韩渔业协定的生效,对我国的海洋渔业企业带来了很大的影响,如何开拓新的作业渔场和新的作业鱼种,是各渔业企业目前急需解决的问题。西南大西洋阿根廷
该文综合报道了“建筑与文化2008国际学术讨论会”的情况,并从“理论探索”“创作实践”等方面归纳叙述了本次“讨论会”的重要学术成果。
This article comprehensively re
(续第1期第36页)一、建园规划1.选址选择适宜的地形、地貌和海拔高度,尽量避免不利气候的影响。山地北面和山谷,光照不足,影响产量和品质,并且易发生病虫害;同时,北坡冬季易
2018年以来,在越南巴沙鱼原料价格连续高涨的背景下,中国市场需求持续走高,国际市场供求关系多变.今年1月份,越南向中国市场出口了4100万美元的巴沙鱼,较去年同期增长了32%.
体会和建议德国的伤亡事故和职业病已经处于良性的可控阶段,德国的劳动保护很有特色,有不少值得我们学习和借鉴的地方,笔者的体会有以下几个方面。劳资自治,政府极少干预德
南美白对虾养殖周期为2月～3月，这期间，如何做好稳定水质和控制病害的发生？日常管理工作中要关注“三不”与“四看”，现把一些看法阐述如下，供参考。
应激在畜牧生产中是一个重要的因素,受到应激的动物易患病,生产出来的肉质差,而且生长速度和效率也比正常情况下低.在澳大利亚开展的研究表明,管理不善的生猪窝产仔数少,增重
北方地区的海水网箱养鱼自20世纪90年代有了长足的发展,但由于受水温制约,海水网箱养鱼品种仅有鲈鱼、鯛、河豚、美国红鱼、牙鲆、六线鱼等,比较单一。而开放性海域网箱养鱼
5月11日,由阿里巴巴集团、云象供应链共同主办的首届全球生鲜峰会(F20)在杭州召开.Marine Harvest (以下称美威)董事长 Ole Eirik Ler?y 应邀出席峰会.据美威官网资料显示,美