Conceptual Modeling Method of Simulation System Based on OMCM

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Conceptual Model,MCM)的概念,以实现更高层次上的概念模型抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法.通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模.最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果.     

基于本体的仿真系统元概念模型研究*

在仿真系统的概念模型开发过程中存在着模型重用性不高和缺乏管理等问题,这些问题将影响模型开发效率和仿真系统的可靠性.为解决以上问题,提出了元概念模型(MCM)的概念,以实现在更高层次对概念模型进行抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(OMCM)建模方法,并给出了OMCM的层次结构和建模方法.最后,将该方法应用于装备保障仿真系统元概念模型的建模中,得到了较好的验证.     

基于本体的战场环境仿真概念模型

为了能够更加全面而明确地表示战场环境仿真概念模型,考虑到本体可以明确地表示概念和关系的特点,提出了使用本体来表示战场环境仿真的概念模型。在战场环境仿真概念模型研究的基础上,给出了战场环境仿真的主要实体和交互关系,提出使用OWL(Web Ontology Language)语言实现战场环境仿真概念模型的本体表示,并针对现有本体建模元语的不足,提出了使用8种本体建模元语建立战场环境仿真概念模型的本体。     

基于系统六元本体的装备保障概念模型磁

针对当前概念模型中存在的问题,运用系统六元本体建模方法构建概念模型的技术框架。运用本体建模技术,从系统环境、系统组元、系统结构、系统状态、系统运行和系统功能六个方面构建系统完备的、规范的概念模型。在此基础上,运用基于系统六元本体的概念建模方法构建装备保障概念模型。结果表明,构建的装备保障概念模型更接近于自然语言表述,有一定的实用及理论研究价值。     

本体在概念建模中的应用研究

概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关.在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础,基于本体的概念建模研究得到了充分重视.探讨了基于本体的概念建模理论、概念建模语言中本体的作用、上层本体与领域本体的关系;对基于本体的概念模型以及本体语言及其逻辑基础在概念模型的一致性检测的应用进行了研究.     

概念建模研究综述

概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关。在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础。基于本体的概念建模研究得到了充分的重视。本文对概念建模的发展、概念建模语言、基于本体的概念建模以及概念模型的质量评估进行系统的阐述。     

基于多视图的复杂系统仿真概念模型体系结构研究*

针对复杂系统仿真概念建模中存在的整体性和重用性较差的问题,借鉴软件工程中体系结构的研究成果,提出了概念模型体系结构（conceptual model architecture, CMA）的概念,并将多视图方法论引入CMA构建中,给出了基于多视图的CMA的构建方法。将该方法应用于装备保障仿真系统CMA的构建中,根据系统科学中关于系统内涵的分析,从六个视角确定了装备保障仿真系统的CMA,可以为概念模型的开发提供总体架构,使概念描述更加完善,有利于提高仿真系统的可靠性、准确性和合理性。     

分布式多媒体信息系统概念建模方法研究

概念建模是提高需求分析质量的重要技术。针对分布式多媒体信息系统概念建模面临的系统的异构性、海量数据和格式的差异性、时空的不一致性问题,本文介绍了信息系统常见概念建模方法,包括结构化概念建模、面向对象概念建模和本体概念建模,在此基础上,采用基于UML的面向对象概念建模法对分布式多媒体网络教学系统概念模型进行描述和表达,并建立了UML类图到本体模型的转换。     

基于活动图的C4ISR能力需求过程建模及验证

当前对C⁴ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C⁴ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表示能力需求过程元模型语义,通过对本体的逻辑推理实现对C⁴ISR系统能力需求过程元模型的验证。     

MAS 和本体在智能家居系统中的应用和研究

针对智能家居的开放性、异构性和分布性的特点及 MAS(Multi-Agent System)技术在人工智能领域的广泛应用,文中利用 MAS 技术来建立智能家居系统模型,并为了更有效地体现基于 MAS 智能家居系统的整体性能,即高效率的交互和协作,引入了本体的概念.详细描述了 MAS 智能家居系统的层次结构和功能,以及基于本体的通信.从智能家居中的任务的执行流程中抽象出家居本体的各种概念模型,并对概念之间的关系进行了分析.最后使用 Protégé本体建模工具对所设计的本体进行了实现,说明了使用本体的有效之处.     

虚拟原型建模语言VPML

现有的模型描述语言难以满足基于虚拟原型的概念设计中产品模型描述的需求,基于扩充连接图思想,以基于虚拟原型的概念设计产品描述模型V－desModel为核心,提出了一种虚拟原型建模语言VPML,VPML是一种独立于领域与过程的面向机电产品概念设计的虚拟原型模型描述语言,具有较强的几何和行为建模能力,为多领域系统在概念设计阶段的协同设计、并行设计及联合仿真过程提供了一致的模型描述,VPML模型内嵌的虚拟特征生成算法,使得在概念设计阶段建立真实感很强的产品虚拟原型时设计信息不完备问题得到有效解决。     

一种服务化的仿真模型

在仿真系统的全寿命周期中,仿真需求的修改总是不可避免的;提出了一种服务化的仿真模型建模方法,能够有效提高仿真系统的应变能力;首先制定可被计算机自动处理的模型描述规范,它描述了模型的语法、语义、行为以及装配等信息,即模型的元数据信息,然后设计服务化仿真模型的基本组织结构,接下来基于服务化仿真模型建立相应的系统逻辑框架,最后讨论服务化仿真模型集成构建柔性化仿真系统的原理,并给出一个基本的集成示例,实践表明仿真系统能够随着不断变化的仿真需求快速地更新和重构。     

基于自组织神经网络的非线性系统建模

针对基于T-S模糊模型的非线性系统建模问题,提出了一种基于自组织神经网络的新方法.在T-S模糊模型的建模中,目前常用的模糊C均值聚类算法存在迭代次数多,计算耗时的缺点.首先,利用竞争学习算法对输入空间进行聚类,基于此结果,借助于模糊C均值聚类算法进一步优化聚类结果,提取T-S模糊模型的规则前件隶属函数参数.然后,采用最小二乘法求得T-S模糊模型的规则后件参数,从而建立起非线性系统的T-S模糊模型.最后,仿真结果表明,该方法可以为模糊建模提供好的模型结构,并且有较高的计算效率和精度.     

大规模虚拟民众群体行为仿真概念建模研究

针对现实社会中大规模社会民众群体所具有的复杂性特征,将复杂网络最新研究成果与基于Agent的成熟建模理念相结合,提出了一个虚拟战争空间中大规模社会群体行为建模的概念建模框架,该框架由三部分组成：Agent 、关系网络、智能环境（Agent Relation Environment,ARE）,给出了该框架所涉及的一系列概念的定义,对框架的内容和特点进行了较为详细的阐释和探讨。     

虚拟环境概念模型建模方法研究*

由于目前常用的概念建模方法对于虚拟环境中物体方位、行为和交互模型等信息缺乏足够的描述方法,在吸取现有概念模型建模概念和技术的基础上,提出了虚拟环境概念模型建模框架,给出了虚拟场景静态结构和动态行为的概念建模方法,并通过虚拟化学实验平台的设计和实现验证了方法的可行性。通过在虚拟环境设计阶段引入概念建模阶段,使不具备专业编程知识的普通人员通过使用图形化的建模语言也能够进行虚拟环境的开发,为虚拟环境的顶层设计提供了一个科学、有效的手段。     

应用Simulink模型设计和优化控制系统

一直以来,控制理论与工程之间存在着鸿沟,很多复杂的理论难以用于解决实际工程问题,如求解实际非线性系统的优化控制问题。文中提出一种图形化建模加遗传算法优化参数的控制系统设计策略。通过采用Simulink建模,实值遗传算法进化寻优图形化模型参数,利用模型的仿真输出计算目标函数,成功优化了一个复杂非线性控制系统的参数。求解过程绕过了复杂的数学建模和优化推导。有关研究成果在解决实际工程问题时简便、高效且实用。     

时间Petri网在即时检验流程建模中的应用

针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。     

基于网格的面向Agent形式化建模框架

提出了一种基于OGSA（open grid services architecture）网格体系结构的面向Agent形式化建模框架——AOMG（agent-oriented modeling based on grid）形式化框架,该框架基于Object-Z语言,吸收了Ⅰ^＊框架和UML中的部分元模型,加入了对Agent与网格环境之间交互关系的描述,以及对Agent服务属性的处理,从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题．给出了AOMG形式化框架中的3类核心模型：组织模型、Agent类模型和Agent服务模型．提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则,实现了系统模型从Agent抽象层次到对象层次的快速转换．     

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

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