摘要：在管柱图像展开过程中,针对摄像机中心轴偏移与图像展开扭曲问题进行理论研究。通过相机成像原理分析,提出了一种基于管柱图像中心定位的模型映射展开算法。该算法利用最大类间方差法(OTSU)和区域标记法(RMA)定位管柱中心确定有效区域,通过推导投影函数,建立相机投影模型,改进映射方式,得到了无变形失真的展开图像。实验结果表明:设计方法与当前展开方法相比,消除了失真影响,实现了管柱与图像的量化关系,为后续定量分析提供了新的研究方向。

摘要：针对嵌入式系统设计中缺乏高层设计环境,系统规范描述依赖于具体模型等特点,提出了需求驱动的嵌入式系统中的软硬件协同设计方法,研究了从DCDM到SystemC的模型映射技术,开发了模型转换编译工具,并自动生成设计的可执行SystemC程序代码,进行分层验证。最后介绍了一个应用实例。

摘要：针对零件可制造性分析模型的构建问题,提炼出构建可制造性分析模型的三大技术:模型重用技术、多维度建模技术、模型融合与映射技术。利用模型重用技术建立零件制造特征模板库,引用模板开展零件设计,建立设计模型;利用多维度建模技术将设计模型分解为制造对象模型、制造过程模型、制造资源模型和特征关系模型;利用模型融合与映射技术将制造对象模型、制造过程模型、制造资源模型和特征关系模型组装成逻辑上完整的可制造性分析评估模型。在法兰盘可制造性案例分析中,通过使用三项模型构建技术提取零件制造特征,分析和评估零件制造特征,提出改进零件结构工艺性和加工工艺性的建议,实现设计、建议、改进设计的螺旋式循环。

摘要：语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构.

摘要：为缩小应用前端与系统结构模型之间的鸿沟,提出将交互流建模语言模型(IFML)直接映射为服务内容模型(SCM)的方法。首先,分析IFML和SCM元模型元素的特点,设计IFML模型元素至SCM模型元素的映射规则;然后,利用查询视图转换操作语言(QVTo)描述映射规则,并在IBM Rational Software Architect(RSA)平台上执行QVTo引擎,完成IFML模型至SCM模型的自动映射;最后,应用网上购物系统演示模型映射的执行结果,利用形式语义验证IFML模型与SCM模型之间的一致性。实验结果表明,应用前端的视图容器、动作和事件等元素与系统结构之间存在很强的一致性,IFML模型至SCM模型的自动映射可使系统的内容模型设计更加符合用户需求,从而有效提高软件开发质量和效率。

摘要：针对目前软件工程中存在的分析模型与设计模型之间未能做到平滑过渡的问题，根据对象在不同抽象层和抽象维之间的运动，采用适当的图形和框架表示法。

摘要：基于XML的数据集成系统设计中XML文档的存储问题,提出一种由XML文档到关系型数据库的模型映射方法;所提出的连续标记方法,遍历XML文档树对所有节点进行标记编码,通过映射算法将节点数据映射到关系型数据库中。文中给出XML文档的数据模型、映射算法的设计和实验评估。实验结果表明,相比较现有的几种映射方法,该方法能有效地支持XML数据在关系型数据库中的存储和查询,实现高效的结构化查询,同时适用于任何模式的XML文档。

摘要：基于模型映射方法可以独立于XML文档的DTD或Schema,在关系型数据库中设计固定的关系模式用于存储XML文档。采用Dietz编码方法对XML文档中的元素进行编码,通过编码值对反应元素之间的祖先/后裔关系,并在关系表中存储元素的Dietz编码值,并依此作为依据设计算法将存储于关系数据库中的XML文档进行还原。

摘要：企业模型是企业集成系统体系结构的核心部件,传统企业参考体系限于其产生的时代局限,主要作为系统分析和设计实施期间的工具和方法指导,而MDA体系则主要解决系统开发期间的模型与实现技术解耦,并不能较完备地表现企业业务逻辑,将传统企业参考模型与MDA技术结合将有效地推动模型驱动信息系统的构建。分析了MDA的不足,划分了企业模型演化的4个模型环境,设计了模型演化的基本路径,并给出了企业模型映射的基本机制。

摘要：在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SCR表格关系模型转换为自动机状态迁移图,然后设计了从SCR模型到模型检验工具(nuXmv)的模型自动转换框架,并对模型转换规则给出了严格的定义证明;最后通过一个航空软件系统的需求实例展示了方法的有效性.