摘要：统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。

摘要：针对目前大型CAD软件的协同支持工具协作功能有限,分发模型数据量过大,无法实现高效响应设计问题,结合自动武器快速协同设计的实时性需求,在可配置可复用的模块参数化设计方法的基础上,建立了基于网络协同的自动武器三维模型数据结构一致性保持及映射机制。利用与平台无关的结构化信息描述手段描述特征模型和三维建模参数化造型数据及相关操作信息,提出基于局部变参数复制式共享机制的造型同步协作方法,以较小的负荷交换模型局部变化数据,以满足自动武器快速协同设计需求。

摘要：体系结构建模在大型信息系统架构设计中起到至关重要的作用,而模型一致性检查是保证建模质量的关键。针对网络信息体系架构(Net-Info centric System,NICSs)中的信息活动视角,文中提出一种面向对应关系规则与对应关系的模型一致性检查方法。首先,对系统与软件工程-架构说明(ISO/IEC/IEEE 42010)进行扩展,构建了用于表达一致性规则的概念模型。然后,对信息活动视角(Information Activity Viewpoint,IAV)进行分析,给出一致性规则的形式化描述。最后,通过实验验证了该模型一致性检查方法对于信息活动视角的有效性。该方法针对其他视角模型具有较强的普适性,为模型一致性检查提供了新的思路。

摘要：为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中的状态进行归类,将模型中的状态分为数据属性类和调用操作类,利用配对的线性时态逻辑格式生成线性时态逻辑,用于软件模型一致性验证。实验结果表明,该方法与ST模型相比可以提高模型检测的效率。

摘要：在设计舱室空间方案时,业内通常使用3ds Max和犀牛等软件进行建模,使用VRay和KeyShot等软件进行渲染。然而,3ds Max和犀牛软件建立的模型难以直接迁移至3DEXP平台,这会导致不同软件平台之间的重复建模和模型不一致等问题。基于单一数字模型,运用平台自带的建模工具和渲染器进行建模和渲染。在避免重复建模和保证模型一致性的基础上,通过优化渲染流程,着力提升效果图渲染的效率。此外,在建模时采取内装通用部件属性和设置参数化等措施,可提升舱室设计的整体设计效率。研究成果可为舱室空间设计提供一定参考。

摘要：本文将目前流行的规则化方法加入到传统指数追踪模型中,得到若干种稀疏而且稳定的资产组合,用于复制指数的收益率,并构建样本内外预测、模型一致性、资产组合稀疏性和BIC准则进行模型效果评价。基于对上证综指、沪深300指数和中证500指数的实证发现:图结构约束可以提升模型的样本外预测能力、模型一致性和资产组合稀疏性;ITM-adaL1在资产组合稀疏性上表现远好于其他模型;结合三种指数追踪,含有自适应L1罚函数以及图结构约束的指数追踪模型总体表现优于其他模型。本文的研究方法和结果对指数型基金管理公司、个人和投资机构者有较为重要的实际意义。

摘要：随着软件规模日益增大,软件复杂度不断提高,飞机、轮船等大型系统的设计与开发往往是由多个不同专业领域、具有不同职能的团队相互协同完成的。针对协同建模中局部模型之间缺失信息所导致的模型不完整问题和更新操作之间发生冲突所导致的模型不一致问题,文中首先提出了一种基于元模型的协同建模模型组装与更新方法(Model Combination and Update, MCAU),该方法在元模型上定义了协同关系与更新操作,可在协同建模过程中保证模型的完整性与一致性,并通过一个实例对所提方法进行了应用与分析。其次,文中还提出了一种基于模型驱动的软件协同建模框架(Software Collaborative Modeling Framework, SCMF),该框架可有效支持多种建模语言的扩展。最后,基于Eclipse框架开发了软件协同建模原型系统CorMo-del,并通过相关实验进一步验证了MCAU方法的有效性。