基于战争空间的虚拟社会环境建模技术研究

首先针对在战争模拟中对战场环境描述较多,而对社会环境描述较少的现状,提出了构建基于战争空间虚拟社会环境的重要性和迫切性.然后给出了虚拟社会环境构建的总体设计方案,最后分别对其中的数字仿真模型和视景仿真模型进行了探讨.     

虚拟加工环境建模及实现技术

为了有效支持虚拟加工系统的构建，提出可重构、可扩展的层次结构虚拟加工环境模型。它由部件层、设备层和环境层组成。部件模型包括几何模型和物理属性仿真模型，而设备模型和环境模型分别由配置模型和控制模型组成。给出了基于软件工程思想和面向对象设计方法的各层模型的实现方法和技术。介绍了用这些模型和技术建立的虚拟加工环境实例。     

分布仿真实验方案的形式化描述

分布仿真实验管理系统摒弃了分布仿真系统传统的手工运行方式,实现了对仿真实验全方位全过程的管理,提高了实验的自动化程度和运行效率。分布仿真实验方案的形式化是系统运行的重要基础。首先指出仿真想定在仿真实验过程描述方面的不足,接着在对分布仿真实验环境分析的基础上,设计了分布仿真实验方案的组成结构,并采用XML技术对各要素进行形式化描述,最后描述了分布仿真实验方案文件的生成和运行流程。     

网络安全研究中的建模环境分析与实现

提出网络建模环境的形式化描述,据此将网络模型划分为三种虚拟度,并结合网络安全研究特点提出了具备三种虚拟度的高保真建模概念。在网络模拟器NS2基础上实现了一个原型系统,并阐述和分析了其结构、实现与性能,还给出一个支持真实攻击包的蠕虫模型实例。最后分别对若干问题和未来工作进行了总结与展望。     

基于Vega的潜艇虚拟视景仿真

结合某型艇航海训练模拟器中潜望镜视景仿真系统,研究了基于Vega环境的视景系统的开发方案,并建立了虚拟的战场环境和场景模型,实现了视景环境中实时驱动、控制模型和碰撞检测,生成了逼真的海洋效果和环境特效.仿真结果表明,该系统可使受训人员产生强烈的沉浸感,改善训练效果.     

基于多色集合的概念设计产品模型形式化描述

为了实现计算机辅助概念设计,必须对概念设计产品模型进行形式化处理,以获得计算机仿真所要求的数学描述。本文针对现有模型的不足,提出了基于公理化设计的概念设计产品模型-域结构模板,并采用多色集合的方法对其进行了形式化描述,使得模型便于计算机表达和操作。     

一体化信息驱动仿真方法研究

针对目前导弹武器装备体系采办面临的语义互操作与评估有效性两大问题,提出了一体化信息驱动仿真的方法。探讨了在虚拟采办背景下充分利用采办资源中的信息要素,使其自动或半自动填充到仿真应用的对象中,驱动仿真运行的过程。分析了以数据为中心和以模型为中心的驱动模式,并提出了驱动方法的技术参考框架,实现了对一体化信息模型的初步形式化描述。研究表明,采用元建模和元映射技术进行抽象、转换及解释执行是实现一体化信息驱动仿真的有效方法。     

基于GroIMP的水稻功能与结构仿真模型研究

为探索植物仿真模型构建方法及提高仿真模型构建效率,设计并实现了一个基于相关生长语法RGG及扩展L系统的植物模型构建语言XL的水稻秧苗功能与结构模型.该模型包含了光环境模块、植物结构模型、生理功能模型以及环境设置模块,从而能够在植物外部形态层面及内部生理功能层面同时来描述虚拟植物的生长过程,并通过对植物生理过程与形态结构及环境因子的交互作用的考虑,能够在开源及交互的建模平台GroIMP上实现对虚拟植物的生长状态进行综合预测与动态可视化.简要地介绍了模型中主要模及子模型构建的主要方法及模型构建的关键步骤,并通过模型的图形、数据输出验证了模型的有效性.经过简单地扩展,构建的模型可以直接应用到水稻整个生长期的建模仿真研究中.     

虚拟战场环境中群体组织结构本体建模方法研究

军事仿真建模技术随着战场规模的扩大和仿真真实感要求的提高变得越来越困难.针对虚拟战场环境群体组织结构,提出一种本体建模方法.将本体的思想引入军事仿真建模,结合军事领域中群体组织的概念体系,采用本体描述语言OWL DL,对虚拟战场环境群体组织结构进行建模.实践表明,该方法有利于模型资源重用,提高了建模效率,保证了模型描述的一致性.     

复杂产品虚拟样机描述中的多粒度建模方法

多粒度建模是支持虚拟样机可扩展、可演化建模的一种新方法.为支持从不同层次、不同粒度上进行复杂产品虚拟样机模型的描述,提出了多粒度建模框架,研究了多粒度建模的通用方法,多粒度模型的形式化表示及数据描述格式,在此基础上,给出了多粒度模型的建立过程及关键技术.     

一种容忍入侵结构的Z规格说明

面向对象的形式化规格说明语言Obiectz在软件开发中的规格需求方面已广泛应用，但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段，是实现系统可生存性的一种方法，可用于安全关键性基础设施以及系统的基本服务的保护。显然，在容忍入侵系统的开发过程中应用形式化的规格说明方法，保证所开发的系统能够满足系统的安全需求，可增强用户对所实现系统的信任。以Obiectz方法对我们所设计的一个容忍入侵的会议密钥系统进行规格说明为例，将Obiectz的应用扩展到安全关键系统的开发和设计领域。     

从协议Petri网到Estelle的转换

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序语言,可对协议进行无二义的描述.本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法.基于此方法文章还构造了自动实现转换的算法,并给出了一个实例.     

仿真应用自动化组装技术研究

阐述了仿真应用自动化组装的基本思想:根据仿真应用系统的需求,由计算机程序将已有的仿真资源自动组装成可以直接加入仿真系统参与仿真的应用程序。针对仿真应用自动化组装的技术需求,提出了仿真应用模块的开发规范,设计了仿真应用程序的基本架构,数据表示规范,模型接口规范以及界面设计规范。介绍了网络适配器的思想,提出了网络接口协议转换的实现方法。最后介绍了AST_CGF系统中仿真应用自动化组装工具的实现技术。     

基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库.该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率.在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段.     

工序相似性分析及其在SPC方法中的应用研究

简要介绍了相似元原理 ,提出了基于相似元的工序相似性分析与评判方法 ,研究了工序相似性分析在统计质量控制中的应用 ,并给出了应用实例.     

基于FSM的通信协议形式描述与验证技术

本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的形式数学基础——全局状态矩阵的特征和性质;接着讨论了基于FSM的有关改进形式技术;最后给出了有关结论。     

基于DEVS的多分辨率建模形式化描述规范研究

随着分布交互式仿真技术的发展，多分辨率建模成为建模与仿真的关键技术之一。提出了一种多分辨率模型系的概念，并分析了多分辨率模型系的重要性质。多分辨率模型系描述了同一实体的不同分辨率模型之间关系。在多分辨率模型系和DEVS描述理论的基础上提出了一种多分辨率模型系统的形式化描述规范MRMS，证明了该规范的重要性质，尤其是它的耦合封闭性。在MRMS的基础上，可以进一步深入开展多分辨率建模的理论和实现研究。     

基于多个潜变量PLS算法的一种迭代方法

在两个潜变量的偏最小二乘法(PLS)基础上,研究了如何将PLS算法从两个潜变量扩展到多个潜变量的一套完整方法(包括具体的形式规范和迭代步骤);以及在多个潜变量PLS算法上的符号检验.并在MATLAB上实现了完整的多个潜变量PLS算法,验证了该迭代方法的有效性.     

基于PDM Enablers的飞行器并行设计文档管理扩展模型研究

并行工程对飞行器设计的重要性不言而喻,产品数据管理(PDM) 是并行工程的支撑技术,文档管理作为PDM系统的基础及核心模块,在飞行器并行设计中起着重要作用.以PDM国际规范"PDM Enablers"为依据,就支持飞行器并行设计的文档管理模型展开研究.在深入研究PDM Enablers的基础上,构建了飞行器并行工程环境体系结构;提出了一种基于PDM Enablers并支持飞行器并行设计的文档管理扩展模型,并着重对其中的文档分类浏览模式、文档状态变迁模型及支持飞行器并行设计的文档信息存储模式进行研究;最后给出了其应用实例,应用表明,所提出的模型可行、有效,能很好地支持飞行器的协同设计.     

正态分布下产品可靠性抽样检验方案——方差未知综合双侧情形

在综合双侧规格限下研究方差未知的正态分布产品可靠性抽样检验方法 .检验统计量取为不可靠度 p的极大似然估计 p.当 p小时 ,p的分布基本上仅依赖于 p ,对 p分解为下侧不可靠度和上侧不可靠度的依赖轻微 .因此 ,利用单侧规格限下的抽样检验方案近似地导出综合双侧规格限下的抽样检验方案 .随机模拟结果表明 ,给出的近似方法是有效的 ,抽样检验方案是合理的 .此外 ,检验统计量 p的表达式较简单.