多阶段建模过程中可重用数学模型表示方法

为解决多阶段建模过程中数学模型重用性问题,分析多阶段建模过程中数学模型表示现状及MDA(model driven architecture,模型驱动体系结构)对数学模型的重用性和平台无关性需求,提出作战训练仿真数学模型广义定义和面向重用的数学模型表示方法;通过建立可重用变量转换关系网络组织、管理和描述作战训练仿真数学模型中的变量转换关系(variable conversion relation,VCR),扩展MathML(math markup language,数学标记语言)语义并基于扩展的MathML语义对变量转换数学表达式进行表示。最后基于变量转换关系网络实现作战训练仿真数学模型动态逻辑行为模型生成。     

基于模型驱动的HLA建模仿真研究

HLA作为现有分布交互仿真的标准,其系统实现受限于特定的仿真支撑平台,互操作性和可重用性没有得到有效地应用.而OGM提出了模型驱动体系结构(MDA),核心思想是将系统的行为逻辑模型与特定的目标平台分离,可以重用于现有的或将来可能推出的不同的软件平台.关注MDA的特点,针对基于HLA的仿真系统开发存在的有关问题,设计了基于MDA的仿真组件模型和联邦成员组件模型,并提出了基于MDA的建模仿真基本过程.     

SKM:一种基于模式结构和已有匹配知识的模式匹配模型

针对已有基于模式结构的模式匹配方法的局限性,提出了一种利用模式结构信息和已有匹配知识的模式匹配模型——SKM(schema and reused knowledge based matching model).在该模型中,借鉴神经网络元之间的影响过程实现语义匹配推理;通过重用已有匹配知识深入挖掘模式元素之间的深层语义关系;基于已有匹配知识自动缩减不确定阈值区之间来确定匹配阈值,有效减少人工干涉;给出了简单的确定模式元素之间匹配关系的方法;同时通过自适应式迭代模型,进一步挖掘求精已有匹配知识.实验结果表明,SKM模型切实可行.     

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

基于MDA数据库开发方法研究

随着数据库规模的不断扩大,传统的基于E-R模型的数据库设计方法显得过于繁琐,且不能自动适应数据库平台的变更.为了解决上述问题,提出了利用模型驱动体系(MDA)开发数据库的新方法.介绍了MDA的基本概念、基于MDA开发过程等;重点研究了基于UML数据库平台无关模型(PIM)、平台相关模型(PSM)等模型的建模方法以及基于查询、视图和变换语言(QVT)的模型变换方法;并借助MDA工具,将该方法成功运用于实际的数据库开发活动之中.实践证明,基于MDA数据库开发方法是规范数据库开发过程、提高数据库开发效率和可重用性的有效途径.     

利用模型驱动体系架构开发分布仿真系统

作为现有分布交互仿真的标准，尽管HLA的原理非常优秀，但由于其实现上存在的一些问题，致使HLA的应用仅仅局限于军队的某些仿真领域。HLA所倡导的可重用性也受限于特定的仿真支撑平台，如果仿真平台改变，则现在基于HLA开发的仿真组件的可重用性将无法得到很好的体现。模型驱动体系架构(MDA)是对象管理组织(OMG)提出的一种先进的软件开发模式，其核心思想是将系统的行为逻辑模型与特定的目标平台分离，此模型仅需建立一次，然后可以重用于现有的或将来可能推出的不同的软件平台。将MDA技术应用到HLA将会带来诸多的好处。该文简要介绍了MDA的概念，阐述了MDA将会给仿真领域带来的巨大影响，最后给出了利用MDA开发分布仿真系统的一般步骤。     

基于对象的软件行为模型

以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.     

面向操作的装备虚拟训练系统机理建模方法

针对现有装备虚拟训练系统中,外观模型与机理模型紧密耦合所导致的模型开发效率低、不可重用的问题,分析了装备仿真模型结构,提出了一种外观模型与机理模型独立开发的设计思想.在此基础上,介绍了面向操作的装备虚拟训练的概念,并提出一种面向操作的机理建模方法.该建模方法基于图形化、层次化的建模形式,具备标准的语义、语法,可以完备地描述装备系统的动态工作过程.应用实例结果表明了该建模方法的可行性和实用性.     

一种面向个人信息管理的Post-WIMP 用户界面模型

提出了一种面向个人信息管理(personal information management,简称PIM)的Post-WIMP界面模型(Post-WIMP PIM interface model,简称PWPIM).首先给出了PWPIM的形式化描述,从5个方面对个人信息管理进行建模,分别描述了用户特征、领域对象和交互过程等;在此基础上给出了PWPIM的建模方法;最后,将PWPIM应用于一个基于实物界面的PIM系统.应用实例表明,PWPIM能够有效地描述PIM的Post-WIMP界面,能够满足PIM面向大众用户、多样信息及自然交互的需求,能够为PIM的Post-WIMP界面设计、开发与评估提供理论支持.     

TRDM--具有时限的基于角色的转授权模型

当前基于角色的系统的完全依赖于管理者的集中式管理方式,不能够满足分布环境下的系统管理的需求．基于角色的转授权模型(role—based delegation model,RDM)更适于分布式环境的授权管理,但当前的几种授权模型都不支持时限(temporary)和授权宽度．基于时限和授权宽度等方面,对RDM2000(role-based delegation model 2000)模型进行了扩充,提出了完备的具有时限的基于角色的转授权模型(ternporal role—based delegation model,TRDM),并提出了新的基于TRDM的角色授权和角色撤销(revocation)机制．     

HLA中对象模型的研究

高层体系结构HLA采用面向对象的设计思想，支持仿真系统的互操作和可重用，在作战仿真领域有着很广泛的应用。在HLA中，对象模型OM是实现仿真之间互操作和仿真部件可重用的重要基础，OM以标准的格式描述了仿真应用参与联邦的能力和对外部的需求，该文简单介绍了HLA的基本内容，详细阐述了对象模型OM的描述形式OMT及其分类，并通过实例说明了OM的开发过程。     

基于HLA结构的分布交互仿真的系统设计问题

对基于HLA/RTI结构的分布交互式多机仿真系统的体系结构、底层通信网络、运行支持系统、仿真应用对象模型和管理对象模型进行了论述,旨在为分布仿真应用系统的开发探索一条有效途径。     

基于MDA的HLA仿真系统的VV & A过程模型

介绍了高层系统结构(HLA)系统的标准开发过程模型FEDEP和两种基于FEDEP的校核、验证和确认(VV&;A)过程模型，分析了二者的优缺点。在简单分析模型驱动架构(MDA)架构之后，论述了基于模型驱动架构的高层系统结构仿真系统的校核、验证和确认过程。     

一种改进的模型算法控制

本文提出一种改进的模型算法控制。改进模型算法控制将常规模型算法控制中的系统输出预测方程改为一种状态空间描述形式,用现代控制理论来分析研究模型算法控制系统。改进模型算法控制的在线预测计算量比常规方法大为减少,而且系统性能也有改善。最后给出用改进方法控制一个实验液位系统的结果。     

模型驱动体系结构及其映射规则原理分析

该文介绍了一种基于模型驱动的软件体系结构。该体系结构通过平台无关模型与平台相关模型之间的变换,来提高系统的可重用性、可移植性和互操作性，从总体上提高了工程的质量。这种体系结掏中的建模语言起到了编程语言的作用，通过对模型的重用来实现软件的重用性。另外，该文就该体系结构的核心部分——模型转换进一步系统地介绍其映射方式，探讨了映射规则形成的基本原理，清晰地阐述了如何通过扩展机制实现模型之间的间接映射。并提出了这种体系结构今后需解决的问题。     

基于MOM的HLA/RTI管理盟员的设计与实现

为了在仿真运行过程中对联盟、盟员以及RTI进行监控，HLA中引入了管理对象模型(MOM)，该模型是HLA／RTI架构中的重要组成部分。该文介绍了IEEEl516规范中定义的MOM，并在此基础上对其进行了扩展。结合我们StarLink RTI的开发实践，提出了通过代理盟员实现MOM的设计方案，在该RTI中实现了对MOM的支持。最后在此基础上，设计并实现了管理盟员StarFM。     

改进的ASM方法在人脸定位中的应用

在传统ASM模型的基础上，采用以轮廓点为中心的矩形区域的DCT系数进行轮廓匹配，提出了一种改进算法。该方法充分利用了轮廓点附近的二维纹理信息，改善了ASM方法采用轮廓点附近一维灰度信息导致模型匹配精度不高的问题。DCT 具有良好的去相关性能和能量集中性能，仅采取3.52%的DCT系数却平均保留了图像95%的能量，并采用八方向搜索最佳轮廓点，提高了定位速度。实验证明该方法非常有效。     

Scenario based distributed manufacturing simulation using HLA technologies

Simulating complex and distributed manufacturing systems is not easy using traditional simulation techniques. Manufacturing environment contains several systems that must interoperate and exchange information. A general software architecture is necessary to make manufacturing systems interrelated. This paper presents an overview of distributed manufacturing simulation as well as of information representation in distributed manufacturing simulation using high level architecture (HLA) and its object model template (OMT). The concept is explained with a scenario which is provided to better address the object class structure, interaction class structure, attribute, parameter and data type tables.     

命名实体识别研究

命名实体识别是文本信息处理的重要基础,已经逐步成为自然语言处理的一项关键技术。其基于规则、统计、机器学习的研究方法及成果,都推动了自然语言处理研究的发展,促进了自然语言研究与应用的紧密结合。本文回顾了命名实体识别技术的发展过程,分析了主要的方法和技术,并展望了未来的发展趋势。