用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

基于本体语义映射的MDA模型转换方法

模型转换是MDA的一项关键技术,模型转换的正确性问题是MDA研究的核心问题。模型转换的正确性包括语法正确性、语义正确性等,而目前国内外存在的大多数模型转换方法都是在语法层次进行的,缺乏语义正确性的验证,针对该问题,本文提出了基于本体语义映射机制的模型转换方法,给出了一系列的转换规则,以UML模型到C语言模型的映射为例,进一步讨论了不同抽象层次模型之间映射关系的建立过程以及所应遵循的基本原则。本方法用本体实现语义层的模型转换,提高了模型自动变换的效率,还为验证模型之间映射规则的可行性和正确性提供了依据。     

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture，MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要，但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V），目前的研究比较少。为此，尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质，检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时，采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统，并通过实例验证了其有效性。     

支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

基于元模型架构的UML类图到PVS规范的转化方法

UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.     

藏文音节校对模型建设研究

文章就藏文字处理领域对藏文校对功能的实际需要,提出了基于音节的藏文文本校对方案对藏语音节规则的详细描述.采用统计方法对藏语音节的搭配规则等做了探索性的研究,创建了音节及音节搭配规则等多种知识库,以这些知识库为基础进行音节模式匹配查错.设计实现了音节规则模型与音节库模式匹配方法相结合的音节级查错.通过借鉴藏文传统语法理论、现代语言学理论、计算机技术和统计学理论等知识,介绍了藏文文本校对的设计思想,给出了藏文文本校对系统的组成原理、关键技术及可操作的实现方法.实验结果表明,基于音节的查错方案是可行的.为进一步研究开发藏文智能校对软件提供了所需的规则特征集和统计语料等基础性的研究资料.也为将来实现基于词、语法和语义层面的校对奠定了基础.     

基于时间自动机的UML模型转换与验证研究

针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转换语言ATL对UML元模型和时间自动机元模型构造映射规则,实现UML模型到时间自动机模型的转换,在模型验证工具Uppaal中对转换结果进行形式化验证.最后进行实例研究,结果表明了此方法的有效性和先进性.     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

基于元模型的企业模型表达

为了促进不同建模方法所建模型之间的信息集成和共享,并解决目前各种建模技术和建模语言之间的差异所造成的多模型驱动系统集成的障碍,该文以模型驱动体系结构(MDA)思想为基础,从元模型层面提出图形层和概念层分离的建模软件开发思路,构建了以可扩展标记语言(XML)作为数据交换格式的通用企业建模工具系统框架,利用元模型描述相关建模方法的语法和语义.以IDEF3建模方法为例,验证了系统框架中元模型XML模式(Schema)的构建方法,通过元模型实现了模型之间的信息交互和共享.     

基于SM-PEPA可生存系统认知模型及量化分析

为解决可生存系统的自主管理和维护问题以保持关键服务的持续提供,提出一种基于SM-PEPA的系统认知形式化模型及量化分析方法.首先建立了具有分层认知能力的可生存系统认知模型,即服务认知子层、网络认知子层和接入认知子层,然后提出了一种由策略库发起驱动基于认知环MDE的认知单元自管理模型,并通过可生存系统的生存状态转换图,构建了可生存系统认知性能分析框架.在此基础上,结合对可生存系统认知能力的形式化描述,将其转化为一个半马尔可夫过程,对模型进行了量化分析.仿真试验分析了不同参数变化对系统可生存性的影响,试验结果验证了所提方法的有效性和合理性.     

DPFT模型与RLS模型结合的实时预报模型

本文介绍了一个由法国首先提出的降雨径流流域模型,该模型把以转移函数一阶差分(DPFT)为基础的降雨径流模型与以渐消记忆递推最小二乘法(RLS)实现参数实时估计的自回归滑动平均模型结合在一起,前者用于上游子流域或支流流域:后者用于子流域以下.本文在DPFT参数计算上与原模型有所不同,经试验效果是好的.文中还用国内资料作了一个DPFT模型的算例,模拟精度是较高的.     

基于TSK模型的车辆跟驰模型

为解决传统的基于模糊推理的车辆跟驰模型参数校准精度差的问题,提出了基于TSK模型的车辆跟驰模型.采用改进的基于遗传算法的TSK模型辨识方法,对分组中数据点不足的情况作了特别处理,通过GPS采集跑车实验数据,根据实测数据构建并验证TSK模型.实验结果和理论分析吻合较好,模型精度提高了一个数量级,表明TSK模型用于车辆跟驰模型是可行的.     

非参数回归模型的模型检验

在此考虑非参数回归模型的模型检验问题．基于Plug-in经验似然方法。构造经验似然比检验统计量．证明其满足Wilks’现象,而得到了一定显著性水平的拒绝域,最后通过数据模拟。讨论了其检验功效．     

夸克-胶子等离子体模型与三火球模型

对比夸克—胶子等离子体模型与三火球模型物理图象的异同,以ＱＣＤ袋模型和统计流体力学模型的计算值对应三火球模型中重要参数及快度窗口粒子分布和多重数分布．     

线模型到面模型的转换

该文在传统线模型的基础上,建立了新的线—面混合模型,并通过对混合模型的自动消隐,实现线模型的消隐。所提算法均已在IBM/PC机上用TURBO PASCAL语言实现。     

XML模型到关系模型的映射

针对XML数据与关系数据在静态数据转换方面存在的问题,创建一个描述XML的XML model(XML模型).使用XML model和ER模型分别表示XML模式和关系模式,并分析模型间的映射关系,建立XML模式与关系模式的映射框架;给出从XML模式到关系模式的映射算法,应用该算法可以将XML数据转化为关系数据.     

一种基于灰色模型和机理模型集成的质量预测模型及其应用

针对长流程工业过程中产品质量难以实时检测且不易实现优化控制的难题,通过对生产数据特性和质量预测要求的分析,提出了一种基于GM(1,1)灰色模型和机理模型集成的质量预测模型.首先根据过程机理知识建立了粗糙质量预测模型;然后运用灰色预测中的残差辨识理论,用机理预测模型的残差时间序列建立残差GM(1,1)模型,其预测结果补偿机理模型的预测值.验证结果表明,该质量预测模型能获得较理想的质量预测精度,其应用可使产品质量得到显著的提高.     

从关系模式到网状模式

提出了一个在一般的概念下将关系式数据模式转换成网状数据模式的方法以及对生成的网状结构进行优化的几种方案,并根据图论方法导出结点的优化次序,提出了一个空间节约率决策函数,以决定多种优化方法的取舍。     

Vassicek模型下的风险模型

风险模型里加入利率,是基于货币的时间价值.从长期来看,利率不是固定的,而是一个随机变量.考虑一种具有随机利率的风险模型.随机利率的未来取值依赖于利率当前值,且具有均值回复的特点,故对随机利率采取Vassicek模型.通过分析带有此类随机利率的风险模型,得到利息力的联合分布、总索赔额的期望和方差的表达式.依据这些结果,可以得到未来收益和风险的更精确估计,对保险公司产品的制定具有参考意义.     

Ramsauer模型与球型光学模型的比较

Ramsauser模型[1]是计算中子全截面的经验模型,根据Ramsauser模型计算27-Co-59,41-Nb-93,83-Bi-209,五个核的中子全截面.APMN[2]程序中的球型光学模型是理论模型,通过它再次计算27-Co-59的中子全截面,然后两种模型进行比较,并对两种模型的计算结果做出分析结果.