[发明专利]数控系统的模型转换形式化语义集成框架的实现方法有效
| 申请号： | 201210135292.0 | 申请日： | 2012-05-04 |
| 公开（公告）号： | CN102722601A | 公开（公告）日： | 2012-10-10 |
| 发明（设计）人： | 李迪;李方 | 申请（专利权）人： | 华南理工大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 广州粤高专利商标代理有限公司 44102 | 代理人： | 何淑珍 |
| 地址： | 510640 广*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了数控系统的模型转换形式化语义集成框架的实现方法，其构建了数控系统形式化语义集成框架，领域元模型实例化得到的领域应用模型可通过该集成框架自动转换为形式化应用模型，进而可通过工具解释器，导入第三方仿真验证工具中进行形式化验证，或者通过代码自动生成解释器，生成特定目标平台的可执行代码。本发明为数控系统开发提供严格定义的形式化规范以精确描述系统相应的操作语义，使得数控系统模型可以通过计算机工具进行精确化验证，大大提高系统可靠性、安全性等性能。 | ||
| 搜索关键词： | 数控系统 模型 转换 形式化 语义 集成 框架 实现 方法 | ||
【主权项】：
数控系统的模型转换形式化语义集成框架的实现方法，其特征是实现计算机数控系统的形式化描述与模型自动转换仿真验证，包括以下步骤：1）通过分析数控系统的行为特征，构建一组计算模型描述数控系统的不同方面，本系统中将该组计算机模型称为语义模块；2）基于步骤1）的语义模块，采用类UML语言构建数控系统的形式化元模型；根据数控系统形式化元模型与一组数控系统领域元模型，构建系统的形式化语义转换规则；3）基于数控系统形式化元模型和相关仿真验证工具，构建系统形式化仿真验证解释器；基于数控系统的形式化应用模型与仿真验证解释器，对数控系统进行形式化仿真验证，在Matlab软件中仿真其轨迹，在UPPAAL中验证其实时性和状态可达性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华南理工大学，未经华南理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210135292.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种提高钒电池电极材料活性的表面改性方法
- 下一篇：光伏组件挂索单轴跟踪装置
