攻防对抗中弹道仿真的设计与实现

在攻防对抗仿真试验中,为了验证导弹性能、分析导弹战术指标,需要进行导弹群复杂环境下的弹道仿真试验,这给仿真实现带来了一定的困难。针对这一困难,在详细分析了六自由度下的弹道仿真的复杂情况的基础上,利用分布式计算的原理和标准,探讨了分布式仿真在导弹群复杂环境下弹道仿真中的应用方法及实现途径。     

频域线性算法用于雷达导引头建模

采用“面向控制”模型的建模新方法——频域线性算法,对采用比例导引的主动式雷达导引头进行建模。此算法可辨识出对象模型和模型偏差的硬边界。针对主动式雷达导引头使用环境恶劣,以及导引头与目标、环境相互作用关系复杂,使用了调整的频域线性辨识算法(即需要先验知识)。仿真计算表明,此辨识算法鲁棒性好,辨识可信度高     

1, 4-二氯甲基-2, 5-二甲基苯与1, 4-二氯甲基-2-甲氧基-5-辛氧基苯的共聚研究

用1,4-二氯甲基-2,5-二甲基苯和1,4-二氯甲基-2-甲氧基-5-辛氧基苯共聚合成了一种可溶的聚对苯乙炔的衍生物,对共聚物结构进行了红外光谱、核磁共振氢谱表征     

一类多维双重时序 AR(1)-MA(q) 模型的平稳性

讨论了一类多维双重时序ＡＲ（１）－ＭＡ（ｑ）模型的二阶平稳性问题。通过导出一组线性方程组，给出了这类模型二阶平稳的显式充分条件和必要条件，为验证模型的二阶平稳性提供了一个可行的途径。     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

S—饱和集的性质及其应用

在一般拓扑空间(x,τ)的非标准扩张(“x,”τ)中引入S—饱和集的概念.在一定条件下,S_t映射对于S—饱和集保持集的基本运算.基于这一事实,证明了标准Souslin集与Loeb可测集的关系定理,得到μ_L一零集在S_t映射下是μ—零集的一个充分条件.     

一类三分子饱和反应动力系统的定性分析

研究化学反应中一类多分子一级饱和反应的数学模型应用微分方程定性理论,研究了该系统极限环的存在性、不存在性和唯一性问题。     

B-1B轰炸机首次出征海湾

在美国派往海湾地区的作战飞机中,有3架B-1B轰炸机是第一次出征,驻在巴林的美国空军基地。估计美国的意图是:①利用“沙漠惊雷”行动检验其执行常规轰炸的能力,因为B-1B自服役以来还没有经历过实战考验;②增强对伊拉克的打击能力,B-1B可在敌防空