一种验证数控系统软件安全可靠性的建模方法

来源 :系统仿真学报 | 被引量 : 1次 | 上传用户：chung51

【摘要】

：

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一

【作者】

：

曹宇男陈友东魏洪兴王田苗

【机构】

：

北京航空航天大学机器人所,

【出处】

：

系统仿真学报

【发表日期】

：

2009年15期

【关键词】

：

CNC formal specification and verification TIM/ATRTTL reliability safety

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

英语写作的基础教学——评《英语写作教程》

写作是学生语言输出的重要途径,同时也是高校英语教学中的重点与难点。高校英语写作教学中教师往往难以抓住教学关键点,难以通过转变教学理念、教学方法的途径来提升写作教学

期刊

泽普县畜牧业发展现状分析及对策思考

泽普县位于新疆西南部，昆仑山北麓，喀喇昆仑山东侧，塔克拉玛干沙漠的西缘，是南疆的咽喉要道。其“五口通八国、一条古道连欧亚”的地缘优势，使泽普成为南疆商贸流通的“金三角”地

期刊

泽普县畜牧业发展现状塔克拉玛干沙漠昆仑山高等级公路咽喉要道商贸流通区位优势南疆喀喇昆仑地缘优势西南部金三角驿站叶城新疆铁路提

生化汤合补中益气汤治产后腹痛

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

生化汤补中益气汤衰竭死亡及时治疗眼球汤加塌陷食欲牲畜乳量前蹄牛羊磨牙后蹄腹痛产后

观察·探究·合作·体验——以“走进机器人”为例谈机器人教学的有效实施

浙江摄影出版社出版的《小学信息技术》六年级下册有两个单元,分别是“学习好帮手”和“与机器人零距离”,表明机器人课程已走进小学信息技术教材.然而,由于机器人教学受到硬

雏鸭结核病的诊断及防治

期刊

雏鸭结核病的诊断兽医工作者慢性传染病发病情况本地麻鸭樱桃谷肺结核杂交畜禽畜牧禽类病例报告

面向MEMS系统级仿真的宏模型研究

典型微机电系统由受多能量域约束的功能器件与集成电路信号处理元件构成,具有多物理场耦合的特点。利用宏模型进行快速的系统级仿真分析是求解耦合MEMS静、动态行为的有效方法。对目前建立MEMS器件宏模型的方法做了系统总结,重点介绍了基于伽辽金思想的基函数叠加和基于有限元方程的矩阵子空间投影等数值宏建模方法,比较了各种方法的优缺点并给出了不同方法的适用条件和选择原则,讨论了目前系统级仿真面临的主要难点并提

期刊

MEMSanalytical macromodelnumerical macromodelnonlinear macromodel

1O 例猫食盐中毒的简便疗法

基于Agent技术的人员疏散微观仿真模型研究

从疏散群体中的个体角度研究人员疏散的规律,提出一种基于Agent技术的微观仿真模型。每个个体的运动动作是由战略级、战术级和动作级反应式三级决策体系确定的,其中战略级决策是指宏观上的目标选择和路径规划,战术级决策是指个体速度方向和大小的选择,动作级反应式决策是指个体与其它个体的碰撞检测与消除冲突。同时,在个体速度方向确定时引入反馈机制,从而提高疏散效果。

期刊

pedestrian evacuationmicroscopic simulation modelAgent technologydecision-mak

新课改中教学方式的转变

新课程改革要求教师提高专业素质,教师在教学过程中以学生为主体、教师为主导、以课程标准为主线,充分发挥学生的主动性,尊重学生的个体差异,培养学生的创造性.

期刊

自主合作引导探索激励创新

中西医结合治疗鸽巴氏杆菌病

期刊

中西医结合治疗禽巴氏杆菌病巴氏杆菌感染性传染病死亡临床症状空气传播结膜充血家禽季节发生后感染暴发性粘液羽毛用具饮水污染温升危

一种验证数控系统软件安全可靠性的建模方法

与本文相关的学术论文