检索结果-内蒙古大学图书馆

软件学报 2013年第7期24卷 1436-1454页

作者：何啸麻志毅王瑞超邵维忠北京科技大学计算机与通信工程学院北京100083 材料领域知识工程北京市重点实验室北京100083 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术... 详细信息

模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术,通过重新定义转换语言的语义,允许开发人员使用一种转换语言解决不同的转换问题.首先,总结出一组常见的转换原语;然后,利用一种基于OCL的脚本语言TSS来描述转换语言的语义;最后,对该方法的完全性、表达能力和复杂度进行了讨论,并通过一组案例对该方法进行了验证.

关键词：模型驱动体系结构模型转换转换语言执行语义

来源：评论

学校读者我要写书评

暂无评论

IDEF3过程模型转换为对象Petri网模型方法研究

引用

系统工程与电子技术 2008年第12期30卷 2434-2438页

作者：姜军柏晓丽罗雪山罗爱民国防科学技术大学信息系统与管理学院C~4ISR技术重点实验室湖南长沙410073

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、... 详细信息

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。

关键词： IDEF3过程模型对象Petri网模型转换

来源：评论

学校读者我要写书评

暂无评论

基于特征分解的半空间构造实体几何模型转换算法

引用

计算机集成制造系统 2021年第5期27卷 1382-1389页

作者：赵瑛峰刘检华武林林马江涛北京理工大学机械与车辆学院数字化制造研究所北京100081

为了解决大型通用粒子输运计算程序MCNP建模困难的问题,提出一种基于特征分解的BRep模型到MCNP半空间构造实体几何(CSG)模型转换算法。该算法定义了半空间转换元的概念,并以此概念为基础,提出以几何特征和拓扑结构为依据的BRep模型识别... 详细信息

为了解决大型通用粒子输运计算程序MCNP建模困难的问题,提出一种基于特征分解的BRep模型到MCNP半空间构造实体几何(CSG)模型转换算法。该算法定义了半空间转换元的概念,并以此概念为基础,提出以几何特征和拓扑结构为依据的BRep模型识别方式;根据不同的特征,算法构造了合适的分解面,将Brep模型分解为半空间转换元组合,并为存在半空间描述歧义的转换元添加了合适的辅助面。通过多个模型的算法测试展示了算法的模型转换能力,通过效率测试验证了算法的计算效率,结果证明所提算法大幅提高了MCNP输入文件的制作效率。

关键词：半空间构造实体几何(CSG)模型模型转换模型分解 MCNP程序

来源：评论

学校读者我要写书评

暂无评论

虚拟现实系统中农业装备模型转换方法

引用

农业机械学报 2010年第4期41卷 90-94页

作者：胡立教陈军朱忠祥毛恩荣宋正河杨炳南西北农林科技大学机械与电子工程学院陕西杨凌712100 中国农业大学工学院北京100083 中国农业机械化科学研究院土壤植物机器系统技术国家重点实验室北京100083

对几种典型的农业装备虚拟现实系统模型建立方法进行研究,比较分析了各自的优缺点。在VC++6.0环境下,通过UG和Creator双方二次开发相结合的方法,实现了从UG(CAD)到Creator(VR)的模型转换,通过直接转换建立了农业装备的虚拟现实模型。经... 详细信息

对几种典型的农业装备虚拟现实系统模型建立方法进行研究,比较分析了各自的优缺点。在VC++6.0环境下,通过UG和Creator双方二次开发相结合的方法,实现了从UG(CAD)到Creator(VR)的模型转换,通过直接转换建立了农业装备的虚拟现实模型。经过在虚拟现实系统中实验测试,该转换模型满足了农业装备虚拟现实的要求。

关键词：农业装备虚拟现实建模模型转换

来源：评论

学校读者我要写书评

暂无评论

基于特征的异构CAD模型转换技术研究

引用

中国机械工程 2007年第1期18卷 60-64页

作者：邵晓东陈锋刘焕玲徐晨光西安电子科技大学西安710071

提出并实现了一种基于特征的异构CAD模型转换方法。该方法以特征操作为核心,从特征层和几何层访问CAD模型信息并实现其转换。与一般模型转换接口相比,该方法不仅使转换后的模型在几何形状上与原模型相同,而且保证了转换前后模型的特征... 详细信息

提出并实现了一种基于特征的异构CAD模型转换方法。该方法以特征操作为核心,从特征层和几何层访问CAD模型信息并实现其转换。与一般模型转换接口相比,该方法不仅使转换后的模型在几何形状上与原模型相同,而且保证了转换前后模型的特征树、尺寸及约束等信息的一致性。转换后的模型可以在目标系统下进行基于特征的修改和编辑。

关键词：接口模型转换特征异构CAD 标准

来源：评论

学校读者我要写书评

暂无评论

面向虚拟装配的CAD模型转换接口的研究与实现

引用

系统仿真学报 2006年第2期18卷 391-394页

作者：万毕乐刘检华宁汝新张烨北京理工大学机械与车辆工程学院北京100081

针对虚拟装配系统中CAD模型数据转换的问题,提出了虚拟产品装配模型的层次化表达结构;开发了基于中性文件的模型转换接口,并对中性文件的结构、内容和形式以及虚拟环境下模型的重构进行了较深入的探讨。

关键词：虚拟装配模型转换虚拟现实接口

来源：评论

学校读者我要写书评

暂无评论

基于模态试验与优化的静动力学模型转换

引用

振动工程学报 2012年第1期25卷 38-42页

作者：王轲范忠华党西军南京航空航天大学机械结构力学及控制国家重点实验室江苏南京210016

在结构强度分析中,将刚度分布较为准确的静力学模型转换为动力学模型可以大大提高建模效率。提出了一种基于模态试验和优化算法的静、动力学模型转换方法。在调整静力学模型的刚度矩阵基础上,再按照质量、质心、惯矩、单元体积进行节点... 详细信息

在结构强度分析中,将刚度分布较为准确的静力学模型转换为动力学模型可以大大提高建模效率。提出了一种基于模态试验和优化算法的静、动力学模型转换方法。在调整静力学模型的刚度矩阵基础上,再按照质量、质心、惯矩、单元体积进行节点质量的预分配,最后根据模态试验识别出的模态参数优化节点质量的修正量,如此便可得到其动力学模型。以某飞机翼身组合结构模型的转换为例,证明了该方法的实用性。

关键词：动力学建模模型转换模态减缩参数修正模型评估

来源：评论

学校读者我要写书评

暂无评论

构件式体系结构模型转换的语义一致性

引用

吉林大学学报（工学版） 2010年第1期40卷 238-244页

作者：侯金奎潍坊学院计算机与通信工程学院山东潍坊261061 山东大学计算机科学与技术学院济南250101

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对... 详细信息

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。

关键词：计算机软件模型转换形式化语义软件体系结构语义一致性

来源：评论

学校读者我要写书评

暂无评论

模型转换的重写逻辑构架研究

引用

计算机工程与应用 2006年第2期42卷 14-16,19页

作者：尹剑飞王学斌深圳大学信息工程学院深圳518060 国防科学技术大学计算机学院网络与信息安全研究所长沙410073

规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通... 详细信息

规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。

关键词：模型转换重写逻辑可执行代数规范模型驱动构架

来源：评论

学校读者我要写书评

暂无评论

BPA向PSCAD模型转换的研究

引用

电力自动化设备 2013年第8期33卷 152-156页

作者：陶华许津津邹文聪泉州电业局福建泉州362000

电力系统电磁暂态仿真是测试继电保护装置性能的重要手段,也是分析交直流混合输电系统可靠性的重要方法。目前国内对电网动态仿真大都是对机电暂态过程的仿真,故电网数据也按照机电暂态仿真软件数据格式存储,从而造成了电磁暂态仿真数... 详细信息

电力系统电磁暂态仿真是测试继电保护装置性能的重要手段,也是分析交直流混合输电系统可靠性的重要方法。目前国内对电网动态仿真大都是对机电暂态过程的仿真,故电网数据也按照机电暂态仿真软件数据格式存储,从而造成了电磁暂态仿真数据的匮乏。在详细分析了机电暂态仿真软件BPA与电磁暂态仿真软件PSCAD差别的基础上,介绍了一种BPA向PSCAD的自动模型转换的实现方法,为电力系统电磁暂态仿真提供可靠的数据支撑,并且通过算例在2种软件下的电气拓扑结构和动态特性的比较,验证该转换方法的有效性和准确性。

关键词：电磁暂态 BPA PSCAD 模型转换电力系统仿真

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：