仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.     

基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。     

基于指控交互信息用户语境的语义Web服务发现和组合

在军事指挥控制模拟训练系统和训练装备研究领域,指控系统与仿真系统的开发是相对的,遵循不同的标准和协议,在结构和功能上存在很大的差异。通过建立指控交互信息的语义Web服务概念参考模型,提出指控系统与仿真系统互操作性面临的技术需求,研究基于指控交互信息用户语境的语义Web服务发现和服务组合,提出了基于静态与动态用户语境匹配的语义Web服务发现架构和服务匹配算法,以及基于用户语境的语义Web服务组合算法。     

基于本体的仿真服务定制与组合

为实现快速构建仿真系统,提出了面向服务的仿真开发模式,基于本体和Web服务进行仿真服务的定制与组合。给出了本体、仿真服务等基本概念,详细定义领域本体、需求本体和服务本体;提出了仿真服务定制模型及系统框架;分析了需求目标与仿真服务之间存在的逻辑关系,并确定了服务定制的一般过程。基于网格工具集初步实现了仿真服务定制和组合系统,验证了上述方法的可行性。     

基于可组合服务的陆军作战仿真模型集成

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,本文基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制的应用特点和战技术性能。     

基于可组合服务的陆军作战仿真模型集成＊

陆军仿真模型体系的复杂性决定了其建模与集成的复杂度,基于模型组件化技术,设计了模型组件库、对象库,通过逻辑组合实现了基本库和作战单元库,并以可组合的模型服务实现不同分辨率、异构模型的聚合集成目标,使得陆军作战仿真模型具备模块化、可复用、可扩展和可控制等应用特点和技战术性能。     

水下武器仿真系统的可组合性

针对水下武器对抗仿真系统(Underwater Weapon Confrontation Simulation System,UWCSS)的特点,分析了UWCSS的层次,提出了针对水下武器对抗仿真系统可组合的形式化方法。系统研究了仿真实体及其属性、实体关系、实体的内行为、实体之间的交互以及仿真过程的形式化描述问题,为水下武器对抗仿真系统的组合性开发提供了理论支撑。     

面向服务的作战仿真模型组合建模方法

为简化模型组合的实现方式,满足多样化作战仿真对模型服务组合的需求,针对作战仿真模型组合规则复杂、基本服务类型相对单一等特点,提出一种基于事件的服务组合BEWSC（Based-Events Web Services Composition）方法。首先定义一种基于MERA(mission-event-restriction-action)规则化语言,在此基础上,采用过程构造子,按照模块化方法对模型服务的组合方案进行描述,并分别从服务的发布者、服务的请求者和推理过程这三个角度对组合服务的执行流程进行具体分析,解决了服务组合表示困难、描述能力不足、模型匹配差异性大和模型组合有效性低等方面问题。     

态势估计中语义障碍的解决方法

态势估计是数据融合体系中的一个重要层次,针对态势估计过程中的语义挑战,引入描述逻辑的概念作为语义推理的逻辑基础.通过描述逻辑良好的语义定义以及提供可判定的推理服务,来给符号分配意义并限制符号可能的解释,消除其中的语义障碍.介绍了描述逻辑的概念、体系和推理, 通过实例说明了这种应用的可能性,并给出功能模型.     

基于OPN的军事信息服务组合模型构建方法

介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基本结构,并针对一个具体的防空反导作应用案例,使用国防科大对象Petri网建模仿真环境工具开发了相应的军事信息服务组合模型,并对组合服务进行了简要分析。实践表明,该方法能满足军事信息服务组合模型构建的需要,并具有良好的服务建模与仿真分析能力。     

一种面向语义正确性的关系数据库访问方法

从异构关系数据源中获取语义正确的信息是当前利用数据资产辅助决策所面临的一大难题.为解决这一问题,提出了一种研究面向语义正确性的关系数据库访问方法(SCORDA).SCORDA方法采用DL -LiteNOWL本体作为支持数据访问任务的概念视图,在本体的表达能力和推理复杂度之间做了一定折中;SCORDA方法通过LAV+ GAV的映射方式建立本体与关系数据源之间的语义关联,兼顾了模式异构和阻抗失配问题;此外,SCORDA方法采用了一种动态ABox结构,即时从异构关系数据源中恢复虚拟对象,并且利用动态ABox进行实例检测推理任务,通过本体的模型语义来保证数据访问的正确性.通过原型系统验证了该方法的可行性.     

舰艇作战系统电磁兼容的综合预测

分析了针对舰艇作战系统中电子系统的电磁兼容性的预测方法。针对舰载电子设备的电磁兼容问题,采用了一种综合分析的方法,通过综合考虑发射接收对之间的响应,利用发射机、接收机的辐射响应特性以及信道条件的数学模型,分析电子设备之间的电磁兼容性,对分析预测电子设备间的电磁兼容性具有一定的意义。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

Production-location problems

The joint problems of determining the optimal plant location and optimal input mix and plant size are addressed. The interrelationship between input substitutability and plant location is stressed. Conditions under which the location problem can be separated from the determination of the optimal input mix are developed for a number of problem variations. The stability of the optimal location in the face of changes in problem parameters is also discussed. It is demonstrated that consideration of input substitutability often makes the resulting problem no more difficult to solve than problem formulations in which the inherent input substitutability is ignored.     

Inspection policies for deteriorating equipment characterized by n quality levels

Inspection models deal with operating systems whose stochastic failure is detected by observations carried out intermittently. The current communication deals with systems in which N + 1 levels of quality can be diagnosed. Optimal policies leading to minimal loss are developed, while the system's distribution is represented by an (N + 1)-state semi-markov process. Based on previous studies of the authors, relative efficiencies of the proposed checking policies are ascertained, by comparison with the loss sustained if discrimination of quality by intermediate levels is disregarded and by viewing the system as one which is either good or failed. Various models are treated where checking, truncated checking, and monitoring policies optimize loss per cycle, per unit of time and per unit of good time. Numerical examples are given.     

组合导航系统故障检测技术研究

提出了一种新的故障检测算法。该算法由联合滤波器的全局估计与各局部估计之差 ,得到残差序列 ,通过残差 χ2 检验 ,来判别系统是否出现了故障。同时进一步讨论了故障分离方法。数值仿真及实际应用结果表明 ,该算法能有效地检测出组合导航系统的故障 ,保证了系统的安全性和可靠性。     

基于垂直发射武器的火力兼容控制模型研究

针对目前水面舰艇对火力兼容性的需求,分析了基于垂直发射武器系统的火力兼容问题的特点。通过建立垂直发射导弹的弹道仿真模型及蒙特卡洛法仿真,分析了导弹垂直段和转弯段弹道的散布特点。结合弹道特点和火力兼容问题所研究的重点提出了建立基于垂直发射武器系统的火力兼容控制模型的方法,并初步给出了一个模型,对解决垂直发射武器火力兼容问题有一定借鉴意义。