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

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

基于任务需求分析的维修装备数量确定

针对目前常用的维修装备数量预测方法存在的不足,以装备维修任务需求分析模型为输入,建立装备维修任务和维修装备数量之间的解析关系模型,从而计算出维修装备的数量。该方法充分考虑了任务需求对维修装备发展的牵引作用,为确定维修装备数量提供了新的途径。     

绿洲农业清洁生产初探

兵团农业是兵团国民经济的基础。随着兵团各农牧团场生产集约化程度不断提高,化肥、农药等在农业生产中大量投入及农业生产技术的不合理使用,使农业生态环境污染日趋严重,改善农业生产技术,推广农业清洁生产(即利用对环境友好的“绿色”化肥、“绿色”农药、“绿色”薄膜)是兵团农业可持续发展的方向。     

基于LMD频域近似熵频谱感知算法研究

针对现有频域近似熵频谱感知技术在低信噪比条件下抗噪声性能和检测性能有待提升的问题,提出了一种基于LMD频域近似熵的频谱感知算法。(1)算法筛选出3个PF分量累加求和,使得算法提取局部调频包络特征信息得到最优,进一步排除噪声不确定度的影响。(2)算法对累加PF分量进行频域变换后求其近似熵,增强算法对频域信息的嗅探能力,提升算法检测性能。Monte Carlo仿真结果表明,在噪声不确定度为0dB,采样点数为8 000的情况下,当信噪比大于-19 d B时,可以对2ASK信号达到100%的检测概率,与现有频域近似熵算法相比,检测性能约有17 d B的提升。     

攻击机对防空导弹的毁伤效能研究

以对防空导弹雷达的杀伤概率作为攻击机对防空导弹的毁伤效能指标,分析了攻击机利用反辐射导弹和辐射源定位/攻击两种方式打击敌方防空导弹雷达的作战过程.针对两种打击方式分别给出了其相应的杀伤概率模型.最后,举出示例,具体分析了影响反辐射导弹杀伤概率、攻击机发现目标概率和进入目标概率的各种主要因素.     

雷达装备智能集成故障诊断

现代雷达装备功能多、结构复杂、集成度高,其故障具有复杂性、层次性、相关性、延时性和不确定性.因此雷达装备故障模式多种多样,信号复杂,单一诊断模式已远远不能满足故障诊断的需要,基于现代雷达故障诊断的复杂性的现时需求,提出雷达装备智能集成故障诊断模型,给出了模型的诊断推理过程,对系统实现中的知识获取、知识表示和诊断推理方法...     

维修保障装备数量需求分析方法

规模适当的维修保障装备体系既能充分发挥维修保障能力,又不会造成装备冗余.目前在分析维修装备数量需求时,都是以定性分析为主,缺乏必要的定量分析.针对维修保障装备与维修能力满足度之间的不确定关系,利用模糊回归分析求得它们之间的相关函数和自相关函数,并建立线性规划模型,以此优化维修保障装备数量.该方法能在一定程度上定量化模糊...     

一种面向大规模HLA仿真的并行区域匹配算法

HLA仿真中,数据分发管理实现基于值的过滤,可以有效减少盟员接收冗余数据的可能性和网络中的数据流量。大规模HLA仿真系统在仿真推进中需要大量的区域匹配计算以维护数据分发管理的正确性。现有的区域匹配算法大多需要对所有区域进行匹配计算,造成了大量计算资源的浪费;同时,主要基于串行匹配思想,难以充分发挥多核平台的并行计算优势。针对现有区域匹配算法的局限性,提出了一种面向大规模HLA仿真的并行区域匹配算法,该算法能够实现对一次仿真推进中多个改变区域的并行匹配计算,同时在匹配计算中采用基于移动相交的基本思想,利用区域范围移动前后的历史信息,将匹配限定在移动区间之内,减少了大量的无关计算。理论分析与实验结果表明该算法尤其适合基于多核计算平台构建大规模分布式仿真的应用需求。     

高校“双语教学课程”的定位

高校"双语教学课程"面临的许多问题都指向一个共同的根源,即课程定位不清。从本质上看,"双语教学课程"是一种语言课程,就目前的现实情况来看,"双语教学课程"在教学目的上,应以提高外语能力为主。它既不同于"双语教育",也不同于"外语教学",应属于"双语教学"的范畴。     

装备需求论证规范化基本理论研究

分析了装备需求论证规范化的内容,重点研究装备需求论证规范化中的流程结构化和环节规范化,提出了装备需求论证流程结构化的原则、依据以及装备需求论证环节规范化的主要工作要求,并给出了应用示例,旨在为装备需求论证规范化提供理论指导.