开放式体系结构数控系统实时性的建模与分析

来源 :机械工程学报 | 被引量 : 16次 | 上传用户：missyouwqq

【摘要】

：

【作者】

：

曹宇男张辉叶佩青王田苗

【机构】

：

清华大学精密仪器与机械学系,北京航空航天大学机器人所

【出处】

：

机械工程学报

【发表日期】

：

2011年01期

【关键词】

：

开放式体系结构数控系统形式化描述与验证方法时间转化模型/全时轴实时时态逻辑实时性建模 Open architecture computerized nu

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)。TTM/ATRTTL提供一整套方法用于对OAC系统的硬实时性和反馈特性进行建模并使用该形式化方法在系统层对OAC系统进行建模。分别给出开环OAC,系统级逻

其他文献

玩具枪管注塑模设计

通过对玩具枪管塑件的结构和工艺分析，进行了模具设计。着重介绍了模具的抽芯结构，并对抽芯力及斜导柱进行了核算。运用反向思维，来选取斜导柱直径，采用斜导柱和油缸相继抽芯，且模

期刊

注塑模玩具枪管抽芯模温injection mold toy gun barrel core pulling mold temperature

电化学蚀除法调控1Cr18Ni9Ti表面润湿性的研究

在微流体、自清洁材料、生物材料、食品制药等领域,很多零部件工作表面需要具有特定的润湿性以满足使用要求。材料表面微观形貌对表面润湿性具有重要影响,表面微观形貌包括多

期刊

电化学加工微观形貌表面润湿性Electrochemical machining Surface wettability Surface micro-top

水工建筑深基坑支护的常用技术浅谈

摘要：水工建筑物施工建设过程中，首先要把基础做好，基础建筑是其他工序的开始，在基础工程开始前必然要挖掘深基坑，如今基坑开挖深度、平面尺寸及使用领域等方面都不同程度的变化，加上有些地方土质情况差，周边环境紧张，简单的放坡开挖或少量的钢板桩支护已经难以保证深坑以下结构施工及周边环境的安全。所以必须要采用新的支护技术以保证施工的顺利进行。　　关键词：深基坑；排桩；水泥挡墙　　中图分类号：TU753文献标

期刊

深基坑排桩水泥挡墙

不确定条件下的多供应商—单制造商同步供货模型研究

装配式生产系统尽管已经在汽车、电子等众多行业中得到了广泛应用,但如何协调供应商之间及时、同步地供货依然是这类系统中存在的一个难题。以装配系统为研究对象,建立两供应

期刊

装配系统同步供货货齐付款分散决策服务水平Assembly system Synchronous supply Delay payment contra

开放式体系结构数控系统实时性的建模与分析

其他学术论文