期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Z的虚拟加工仿真环境规范技术研究
被引量：
4
1
作者
赵晓峰
赵正旭
周以齐
《系统仿真学报》
CAS
CSCD
北大核心
2009年第22期7143-7146,7153,共5页
对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述...
对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表达方案的有效性。规范描述的实现方法选用中性文件,易于理解和实现。
展开更多
关键词
虚拟加工仿真环境
规范描述
形式化方法
Z语言
在线阅读
下载PDF
职称材料
题名
基于Z的虚拟加工仿真环境规范技术研究
被引量：
4
1
作者
赵晓峰
赵正旭
周以齐
机构
山东
大学
机械工程学院
英国德比大学
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第22期7143-7146,7153,共5页
文摘
对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表达方案的有效性。规范描述的实现方法选用中性文件,易于理解和实现。
关键词
虚拟加工仿真环境
规范描述
形式化方法
Z语言
Keywords
virtual machining environment
specification description
formal method
Z specification
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Z的虚拟加工仿真环境规范技术研究
赵晓峰
赵正旭
周以齐
《系统仿真学报》
CAS
CSCD
北大核心
2009
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
