基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

机动目标跟踪Jerk模型的改进

Jerk模型是Singer模型的改进模型,它提高了对机动目标的跟踪精度,但延长了从起始跟踪到稳定跟踪所需时间.提出一种对Jerk模型的改进,选取一个合适的分段点,初始段采用四维扩充的Singer模型,分段点后采用Jerk模型,通过调入不同的参数就可以实现跟踪模型的转换,仿真结果表明改进的Jerk模型到达稳定跟踪的时间缩短,并且跟踪精度不受影响.     

基于风险导向的装备审计风险模型改进和应用

如何改进装备审计风险模型并用以识别和评估装备审计风险,从而提高装备审计的质量和效率,推进装备审计的可持续发展,是当前的一个重要问题。从审计实践看,可将原有审计风险模型改进为:审计风险=(舞弊风险+错报风险)×检查风险。改进后的模型更加符合装备审计风险的内涵和特征。     

多模型估计的新分支——变结构多模型方法

作为多模型方法的新分支,变结构多模型方法(VSMM)是当前机动目标跟踪、故障诊断等领域中研究的热点.首先简述了VSMM方法的发展过程和近期动态,在对VSMM方法进行深入分析的同时针对其理论核心--模型集自适应(MSA)策略进行讨论;详细介绍了几种现存的典型VSMM算法;同时简述了VSMM方法的应用概况;最后指出了目前VSMM方法重点关注的问题热点和今后的研究领域.     

战时装备保障过程建模仿真研究

目前战时装备保障方案制定,多是依靠基本原则和经验,过程描述随意性大,同时保障活动的组织缺乏有效的手段,导致方案缺乏科学性、可操作性差。为此借鉴过程管理的思想,应用IDEF3方法建立装备保障准备阶段过程模型,形成规范的、易于交流的保障流程,依据过程模型采用离散事件仿真的方法对不同活动组合的过程效率进行了分析,改变以往根据排队理论经过大量计算分析效率的方式,实现战时快速准确优化过程的目的,为装备保障方案的形成提供方法支持。     

潜艇战术应用软件及其建模

潜艇战术软件研制是一项复杂的系统工程,建立模型是这项系统工程中的核心部分,它直接关系到潜艇战术软件的各项性能指标。对潜艇战术软件的建模问题进行了探讨和研究。     

水面舰艇战术应用软件研制中的建模研究

水面舰艇战术应用软件研制是一项复杂的系统工程,建立模型是这项系统工程中的核心部分,直接关系到水面舰艇战术应用软件的各项性能指标。本文针对水面舰艇作战的特点,对其战术应用软件研制中的建模问题进行了研究。     

层次化作战模型集成规范

对作战模型进行规范化描述,不仅可以使各层次模型在不同的军事想定下进行重用,而且可以使模型的建立、管理、调度进入一种标准的工程模型,更适合作战模拟的使用.分三个层次探讨作战模型集成规范,从基础模型层、模型管理层和模型使用层三个方面探讨了作战模型集成的各层规范,从而为模型使用和集成打下基础.     

基于模型概率估计的两层交互多模型算法

在机动目标跟踪问题的研究中,针对转弯机动目标跟踪精度差的问题,设计了一种利用模型概率对模型集合进行实时计算的两层交互多模型算法。该算法由第一层目标转弯速率的粗估计和第二层目标状态向量的精估计构成,它利用第一层模型计算出的目标运动估计转弯速率,构建与当前目标运动状态匹配程度较高的第二层转弯模型集合,并将该转弯模型集合运用于状态估计中。仿真结果证明了该算法在针对转弯机动目标时仍有较好的跟踪精度。     

基于小采样周期的机动目标模型跟踪性能研究

分析了小采样周期条件下“当前”统计模型、基于速度估计的自适应模型及自适应常加速度模型,对3种模型的稳态性能和动态性能进行了分析比较,并对3种模型的机动目标跟踪效果进行了仿真。仿真结果表明：小采样周期条件下,3种模型的稳态跟踪性能一致,而在动态跟踪条件下自适应加速度模型性能更优。     

基于知识的模型表示研究

基于知识的模型表示是信息管理系统,特别是决策支持系统(DSS)的基础。根据模型管理和模型建立动态性原则的要求,提出了模型知识化的框架表示法,并给出了应用实例。     

基于价值的指挥主体作战指挥行为评估

作战指挥行为是作战指挥理论的一个重要方面。在明确了其概念后,将价值这一概念引入作战指挥行为评估,认为价值的创造主体是作战指挥行为,并以此作为评估的基础。最后,利用数据挖掘中的关联规则实现评估的量化,并结合案例说明该方法的有效性。     

基于本体的异构信息查询技术研究

将本体应用于异构信息集成领域,提出了基于混合本体的信息集成框架,并结合实际对基于本体的查询处理问题进行了研究,通过实例验证了该信息集成框架的可行性.     

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

基于网关的LVC互操作研究

仿真体系结构解决了各自领域内仿真资源的互操作问题,而体系结构间的互操作是解决多种仿真资源互操作的有效方法.由于通信协议、中间件和对象模型的不同,体系结构间不能直接进行信息交互.对象模型间的相同点是异构仿真系统间互操作的基础.建立异构系统对象模型与通用数据交换模型的映射关系,通过模型转换实现各异构系统间的数据交互,最后通过"点对点"和通用网关间的时延比较,总结了通用网关的性能特点.     

基于信息折合的CMSR方法研究

计数法和计量法是对产品可靠性评估的两种不同方法。通过仿真,比较了它们对正态单元双边可靠性评估的效率,发现对可靠性要求很高的产品,计量法优于计数法。进一步研究了基于信息析合的CMSR方法,通过仿真检验,证明了此种方法在样本量较小时是实用的。     

基于能力匹配的网络化防空作战联盟生成研究

作战联盟用于描述网络化防空作战的组织框架,其生成问题是研究网络化防空作战协同的基础。首先从任务、联盟表达、能力含义等方面对防空作战联盟问题进行了描述;然后从防空作战节点与面临任务在能力上的供需关系出发,建立匹配、匹配域、能力裕度等相关观念,并依据防空作战联盟形成的不同准则,分别建立基于能力裕度最大和基于执行节点数最少两个NADOC生成问题的约束优化模型;最后通过案例对模型进行了验证分析。     

基于虚拟样机的导弹落点精度

提出一种研究导弹落点精度的仿真方法.在ADAMS/View中建立导弹虚拟样机,在MATLAB中设计控制算法并构建模块化的仿真系统.研究影响导弹落点精度的随机扰动变量,确定它们的分布规律,产生随机扰动变量的样本并添加到所建立的模型中.通过ADAMS/Controls模块实现虚拟样机和控制系统之间的接口,进行机电联合仿真和模拟打靶.分析仿真结果,评定导弹落点精度.这种方法实质上是蒙特卡罗法,但用虚拟样机代替了传统上使用的数学模型,以增加模型的可信度.     

基于相关算法超声流量计的研究

为解决开采原油的精确在线计量问题,在对超声波相关流量计原理分析的基础上,重点研究了超声波相关流量算法。采用循环相关算法,有效克服了有限长离散数据线性相关算法所出现的计算失效问题,并以DSP芯片为核心,实现了超声波相关流量测量系统的设计,完成了信息不丢失测量以及对困难流体流量的非接触在线计量。实验方案经油田现场测试,计量误差可以控制在2%以内。     

多媒体课件在教学应用中的几点思考

多媒体课件作为现代化的教学工具,提高了教学质量和教学效率,但也有其不利的一面,在实际教学中应合理使用多媒体课件。