非自治时滞抛物方程的pullback吸引子

研究一类具有平移指数增长函数的非自治时滞抛物型偏微分方程,证明了由方程解生成的非自治无穷维动力系统在L2(Ω)×C([-r,0];L2(Ω))空间中存在pullback吸引子.     

面向普适计算应用的构件定义语言UCDL

普适计算的适应性特征对于软件重用的要求决定了构件模型是目前普适计算软件体系结构的理想选择.在面向普适计算的自适应软件平台UbiStar的研究过程中,为了准确地对普适应用中构件的外部特征进行抽象描述,参考了CORBA构件模型使用IDL3和CIDL对构件进行特征抽象的方法,结合UbiStar普适计算平台的特点与需求,提出了一种适用于普适计算环境的构件定义语言UCDL,并且给出了一个应用示例.     

远程导引变轨故障后轨道重构设计与分析

研究了空间交会远程导引变轨故障后轨道重构问题,提出了轨道重构设计准则,对五冲量远程导引的每一次变轨故障分别给出了四类轨道重构方案.根据提出的设计准则对给出轨道重构方案的修正能力、测控条件、推进剂消耗、终端精度和安全性进行初步分析,确定了处理远程导引变轨故障的轨道预案.     

基于敏感性分析和准稳态假设简化详细反应机理

发展了一套基于敏感性分析和准稳态假设来简化复杂化学动力学机理系统的方法。采用等压均相反应器燃烧模型和详细化学动力学机理计算特定工况下的自燃过程。通过对详细机理计算结果的敏感性分析后删除其中的冗余组分和冗余反应,简化得到基干反应模型。再找出基干机理中反应速率较快,浓度较低的组分假定为稳态组分,使用准稳态假设方法简化得到总包反应模型。最后以甲烷燃烧的GriMech1.2详细机理为例分析得到了简化机理并计算了着火延迟时间,与详细机理所得的结果进行比较验证,得到了较好的结果。     

自行火炮自动瞄准精度数据分析

通过自动瞄准精度的定义和测试方法简介,针对某自行火炮火控系统在自动瞄准精度测试中出现测量数据误差较大的现象,分析数据误差的原因,计算各种因素造成误差的大小,得出对自动瞄准精度影响最大的是车体姿态倾斜传感器误差、炮耳轴倾斜传感器的误差和炮耳轴与炮身轴线的不垂直度.鉴于此,自行火炮提出用火控软件的方法和工艺控制,减少自动瞄准误差和射击诸元装定误差,提高射击精度.     

侵彻子母弹对跑道封锁概率与打击效果评估

现代战争中为取得制空权使用侵彻子母弹对敌方的机场跑道进行攻击是一种有效的战术手段.如何有效地规划打击方案是指挥员所关心的问题.就此建立了相关的数学模型,研究使用侵彻子母弹对跑道打击的封锁概率和弹头有效率问题.还讨论了在使用卫星遥感影像检测跑道上弹坑存在误差条件下,对目标打击效果评估准确性的问题.并使用仿真方法,综合上述因素,对封锁跑道的多种战术技术组合条件做了实验,给出了定量的计算结果,为打击方案的设计提供了理论依据.     

电磁信息泄漏研究及进展

分析了电磁信息泄漏的机理,介绍了电磁信息泄漏的发展历史和趋势,阐述了电磁信息泄漏的基本概念和主要研究内容。针对P89C668单片机实现的DES密码系统,采用差分电磁分析的方法对其进行密码破译实验,获得了DES第16轮48 bit子密钥。     

基于EON Studio 6.0的某装备虚拟训练系统设计

探讨了利用EON Studio 6.0设计某装甲装备的虚拟维修训练系统的设计方案和方法。重点研究了系统实现三维建模和交互控制技术等关键问题的解决方案,以及对系统进行优化的方法,为其他装备虚拟操作训练系统的开发提供了依据。     

一种新的火炮武器系统射击精度试验方法

射击精度是反应火炮武器系统性能的最重要技术指标,通过对以往射击精度试验中采用的建立在大子样统计理论基础上的传统评定方法进行了分析,对目前采用的序贯截尾原理和方法进行阐述,并指出前两种方法没有利用验前信息,试验次数和试验风险比较大等缺点,由此提出一种新的贝叶斯截尾序贯检验法。这种小样本统计推断方法的基本思想是充分利用已有的验前信息,实现了多阶段试验信息的综合利用,能够减少试验次数,缩短试验周期,节约试验经费。     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。