一种基于层次模型的卫星故障动态仿真方法

针对卫星静态仿真方法未实现故障时序发展过程及影响范围仿真的问题,在故障仿真方法进行分析的基础上,提出了一种基于层次模型的动态故障仿真方法,即通过建立不同层级的故障模型,利用动态仿真推进方法实现故障的时序发展过程仿真.此方法能够有效提高故障仿真的精细化程度,为故障处置提供支撑.通过某卫星能源安全模式故障仿真,对方法的有效...     

任务空间概念模型VV&A研究

任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础.所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题.任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少.因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点.概要介绍了任务空间概念模型建模,并且提出了从专家法、静态校核机制、概念执行机制三个角度来考察模型质量的思路.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

基于巡逻历史与道路优先级的武警巡逻策略

针对武警巡逻车辆配置问题,引入了Dijkstra最短路径算法、K—means聚类算法以及计算几何的相关理论,建立了一套警车巡逻模型,并提出了评价巡逻效果的量化评价标准。采用Dijkstra与K—means算法解决了静态警车配置问题;针对警车动态巡逻方案的设计,提出了基于巡逻历史与道路优先级的道路概率选择算法,并给出了不同情况下的警车配置以及巡逻方案。通过MATLAB仿真实验,证明了算法及模型的先进性和实用性。     

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

火炮刹车性能的全静态检测

本又分析了影响火炮刹车性能的问题所在,并提出一种新的检测方法,使火炮在全静态条件下,检测各项静态参数、评价刹车系统的质量。     

MLFMA在运动目标多普勒回波数值仿真中的应用

提出了一种应用准静态技术,结合快速多级子算法计算任意形状的运动目标多普勒信号的方法,对目标的几种典型的微动多普勒信号进行了仿真,并应用高分辨时频分析算法对仿真得到的微多普勒信号进行了分析,提取出了微多普勒瞬时频率,并与相应微动规律的点目标微多普勒瞬时频率进行对比。结果表明,二者具有相同的变化规律,从而证明本文提出的方法是有效的。     

SpaceWire网络混合路由机制设计

针对星上系统总线多元性导致的星载网络接口和协议不能标准化的发展瓶颈,基于SpaceWire总线协议,通过将静态路由(时间触发)与动态路由(事件触发)机制结合,实现了控制数据和载荷数据共用网络。静态路由完全遵循SpaceWire-D协议,在保证确定性传输的同时,通过启发式调度算法首次实现了多时间窗并行调度,并提出利用最大公约数法设计时间窗,以提高网络吞吐量;动态路由通过对随机事件和载荷数据分配优先级,实现传输路径冲突时对紧急任务的优先处理。在OPENT中搭建网络系统仿真模型,对所提出的路由机制进行了仿真。实验结果表明,静态路由时段网络吞吐量较现有调度算法有明显提高,动态路由实现了紧急事件优先传输。     

导弹仿真试验结果静态一致性检验及其置信度

分析了仿真试验结果与飞行试验结果进行静态一致性检验的方法,分为参数方法和非参数方法。然后讨论一致性检验的置信度,给出了置信度与弃真概率和采伪概率的关系并说明要选择恰当的显著性水平,以保证检验的置信度具有合理性。     

在交际过程中话语的正确与得体的互补作用

首先概述了语言的使用与语境密切相连,进而就话语使用的正确与得体的相关性问题,以英语语言为例,从会话和跨文化交际两个方面进行了论述,并得出如下结论：语言学习者不仅要能造出正确的句子,还要能根据语境以及不同的社会和文化背景,正确、得体地使用这些话语．