检索结果-维普期刊中文期刊服务平台

特定领域建模方法和代码生成的研究被引量：2: 1; 作者卫红春贾笑蕊《微电子学与计算机》 CSCD 北大核心 2013年第9期154-157,共4页; 特定领域建模(Domain-Specific Modeling,DSM)提高了软件的抽象水平,DSM用模型表示用户的需求,然后通过生成器,直接把模型中的信息提取出来并转换成代码,实现了代码的自动生成.研究了特定领域建模语言、生成器和领域框架,总结了MetaEdit... 展开更多; 关键词特定领域建模元模型 MetaEdit+ 生成器深度优先遍历电子万年历; 在线阅读下载PDF 职称材料

综合航电领域元建模技术研究: 2; 作者李冰刘峰《电子设计工程》 2015年第23期30-33,共4页; 为了方便对综合化航空电子系统的领域建模,通过对综合航电系统的领域分析,提出了综合航电系统的参考模型;在此基础上,使用通用建模环境GME设计了综合航电系统的系统级、模块级、分区级以及进程级的元模型,构建了综合航电系统的领域建模... 展开更多; 关键词综合航电特定领域建模元模型通用建模环境; 在线阅读下载PDF 职称材料

用于计算机数控系统模型层验证的模型转换: 3; 作者郑建华李迪 +1 位作者肖苏华李方《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第4期80-85,共6页; 传统的以代码为中心的数控系统开发方式使系统测试滞后,性能难以保证,开发成本增加.针对这种情形,文中提出利用模型转换将领域模型转换为第三方验证工具(Matlab或UPPAAL)可识别的模型来进行系统性能早期测试,从模型层保证系统的可靠性.... 展开更多; 关键词计算机数控模型验证模型转换元模型特定领域建模; 在线阅读下载PDF 职称材料

基于Spirit解析器框架的DXF文件解析技术被引量：2: 4; 作者孟凡辉王宏智吴旭《电子工业专用设备》 2012年第11期44-49,共6页; 提出了一种有效解析DXF文件的新方法,新颖之处在于包含了从特定领域建模过程获取的模型中自动生成代码思想。它基于开源的Boost Spirit解析器框架,举例阐释了本技术。结果表明,与通常的纯手工编码方法相比,其代码倾向于更加简洁、高效... 展开更多; 关键词 DXF解析 Spirit解析器特定领域建模; 在线阅读下载PDF 职称材料

题名特定领域建模方法和代码生成的研究被引量：2: 1; 作者卫红春贾笑蕊; 机构西安石油大学计算机学院; 出处《微电子学与计算机》 CSCD 北大核心 2013年第9期154-157,共4页; 文摘特定领域建模(Domain-Specific Modeling,DSM)提高了软件的抽象水平,DSM用模型表示用户的需求,然后通过生成器,直接把模型中的信息提取出来并转换成代码,实现了代码的自动生成.研究了特定领域建模语言、生成器和领域框架,总结了MetaEdit+下实现DSM的一般过程及其使用的相关技术,并介绍了代码生成的具体过程.基于MetaEdit+,实现了电子万年历的元建模和领域建模,并通过提出的深度优先遍历的代码生成算法,实现了电子万年历代码的自动生成.; 关键词特定领域建模元模型 MetaEdit+ 生成器深度优先遍历电子万年历; Keywords DSM~ meta model~ MetaEdit＋ generator~ depth-first traverse~ electronic calendar; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名综合航电领域元建模技术研究: 2; 作者李冰刘峰; 机构西安航空职业技术学院中航工业一飞院; 出处《电子设计工程》 2015年第23期30-33,共4页; 文摘为了方便对综合化航空电子系统的领域建模,通过对综合航电系统的领域分析,提出了综合航电系统的参考模型;在此基础上,使用通用建模环境GME设计了综合航电系统的系统级、模块级、分区级以及进程级的元模型,构建了综合航电系统的领域建模环境及建模工具。实际应用表明,该建模工具接近航电领域专家的建模思路,具有较好的可理解性和易用性。; 关键词综合航电特定领域建模元模型通用建模环境; Keywords integrated modular avionics domain-specific model meta-model generic modeling environment; 分类号 TN602 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名用于计算机数控系统模型层验证的模型转换: 3; 作者郑建华李迪肖苏华李方; 机构华南理工大学机械与汽车工程学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第4期80-85,共6页; 基金国家自然科学基金资助项目(50575075) 广东省自然科学基金资助项目(05103543); 文摘传统的以代码为中心的数控系统开发方式使系统测试滞后,性能难以保证,开发成本增加.针对这种情形,文中提出利用模型转换将领域模型转换为第三方验证工具(Matlab或UPPAAL)可识别的模型来进行系统性能早期测试,从模型层保证系统的可靠性.采用基于元模型层的规则定义、语义动态添加和基于设计模式的操作等策略,以满足模型转换的语义保持性、转换一致性、转换可终止性、转换易扩展性等具体要求,并给出了模型转换实现的理论框架以及点对点转换和两步法转换两种实现方式.最后,通过一个从数控系统工作模式模型到StateFlow模型的转换实例,从建模语言构建、映射规则定义、算法设计等方面验证了上述模型转换理论框架和实现方式的可行性及正确性.; 关键词计算机数控模型验证模型转换元模型特定领域建模; Keywords computerized numerical control model verification model transformation meta-model specific domain modeling; 分类号 TP273 [自动化与计算机技术—检测技术与自动化装置] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于Spirit解析器框架的DXF文件解析技术被引量：2: 4; 作者孟凡辉王宏智吴旭; 机构中国电子科技集团公司第四十五研究所; 出处《电子工业专用设备》 2012年第11期44-49,共6页; 基金科技部863计划(No.2009AA043102); 文摘提出了一种有效解析DXF文件的新方法,新颖之处在于包含了从特定领域建模过程获取的模型中自动生成代码思想。它基于开源的Boost Spirit解析器框架,举例阐释了本技术。结果表明,与通常的纯手工编码方法相比,其代码倾向于更加简洁、高效和优雅。本技术可广泛应用于其它CAD/CAM数据文件格式的解析处理。; 关键词 DXF解析 Spirit解析器特定领域建模; Keywords DXF Parsing Boost spirit paser DSM（Domain-Specific Modeling; 分类号 TP273.53 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	特定领域建模方法和代码生成的研究	卫红春贾笑蕊	《微电子学与计算机》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
2	综合航电领域元建模技术研究	李冰刘峰	《电子设计工程》	2015	0	在线阅读下载PDF 职称材料
3	用于计算机数控系统模型层验证的模型转换	郑建华李迪肖苏华李方	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
4	基于Spirit解析器框架的DXF文件解析技术	孟凡辉王宏智吴旭	《电子工业专用设备》	2012	2	在线阅读下载PDF 职称材料