想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

提升地下战场作战能力研究

太空领域军民融合发展正在成为世界太空发展的主流形式,太空军民融合发展的程度已成为衡量一个国家太空实力的标尺,世界上主要的太空强国均在探索并完善符合本国国情的军民融合发展道路。美国的太空军民融合起步早、程度深,发展较为成熟,探寻其发展道路,启迪深化中国特色太空军民融合研究。     

应用锤击法的大型复合材料桁架结构段自由振动分析

复合材料桁架结构以其轻质和优异的力学性能应用于大型航天航空飞行器结构,其承载能力和振动特性是决定其应用效果的关键因素。本文考察了大型碳纤维/环氧复合材料方形截面桁架结构段的自由振动特性。采用锤击法实验测试得到了复合材料桁架结构段自由振动的模态和频率,并与有限元数值模拟结果进行对比分析,论证了锤击法测试振动特性在复合材料桁架结构上应用的可行性和准确性。     

微机上运行的多功能仿真语言GASP/PC

文中介绍了IRM-PC机上多功能仿真软件GASP/PC的开发,叙述了GASP/PC仿真语言的形成以及对于连续、离散和复合仿真模型的GASP/PC语言的结构与仿真方法。     

大型降落伞拉直过程中的抽打现象分析

针对某大型降落伞回收系统主伞拉直过程中出现的抽打现象进行了分析,根据其拉直过程的特点将其划分为五个阶段,分别建立了各阶段的实体模型和约束模型,通过模型的组合建立了各阶段的多体动力学模型,将各阶段模型连接进一步组成该型号大型降落伞拉直全过程的动力学模型。仿真分析了该型号大型降落伞出现抽打现象时的伞衣位形、顶部伞衣速度、伞绳和伞衣的偏离距离以及张力的变化,总结了抽打现象形成时的一些特征数据,分析结果可为大型降落伞设计、改进、使用等提供参考。     

应急辅助定位及精度评估方法研究

在可视导航卫星数少于四颗、无法进行传统导航解算的恶劣环境下,导航接收机可利用外部高程气压计提供的高程或者内部守时模块的钟差等信息进行应急辅助定位。在该应急辅助定位工作模式的误差分析中,传统导航定位误差传递模型无法适用。针对此问题,本文在研究三星结合高程、三星结合钟差、双星结合高程钟差等几种应急辅助定位原理的基础上,给出了新的应急辅助定位误差传递的分析模型,利用仿真算例验证了该模型的正确性。通过对定位精度的分析,说明根据卫星分布特点可以按照本文方法量化得到伪距测量与辅助信息的精度的最优数量级关系,可以用最小代价实现定位精度的提升。该结论可指导接收机外部辅助器件的选择。     

一种基于EDU模型的新闻视频摘要方法

现有的视频摘要技术缺乏一个统一、可扩充的视频摘要模型。针对该缺陷,提出了实体-描述-效用模型(简称EDU模型),该模型从视频实体出发,经过描述得到效用,并最终根据效用来生成视频摘要,该模型具有可扩展性。对EDU模型进行了详细阐述,并根据该模型,提出了新闻视频故事摘要生成的方法。实验结果表明,该方法具有令人满意的效果。     

液体火箭发动机基于模型的故障检测算法

针对泵压式供应系统液体火箭发动机的故障监控问题,建立了用于发动机故障检测的非线性动态数学模型,设计并实现了发动机系统的广义卡尔曼滤波器。利用新息序列的统计特性,进行了发动机故障新息检测算法的仿真研究,讨论了降低滤波器计算费用的方法以及置信度、自由度对检测算法性能的影响。本文的工作为进一步研究发动机故障在线实时检测算法奠定了重要基础。     

聚苯乙炔的合成及其表征——用无水AlCl3和(Ph3P)2PdCl2二种催化剂

本文用无水AlCl_3和(Ph_3P)_2PdCl_2二种催化剂催化苯乙炔聚合,得到共轭聚合物聚苯乙炔(PPA)。对PPA 的微结构分析表明:用无水AlCl_3催化苯乙炔,得到顺-反式PPA;用(Ph_3P)_2PdCl_2催化苯乙炔得到反-顺式PPA.因此,作者认为用无水AlCl_3催化苯乙炔聚合时可能按络合催化机理反应;用(Ph_3P)_2PdCl_2催化苯乙炔聚合时可能按易位催化机理反应。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。