应用参数微分法从弹丸试验数据获取阻力系数

本文在介绍弹道模型的基础上,讨论了应用参数微分法获取弹丸阻力系数的过程,并给出了计算机仿真实验结果。此方法已应用于靶场。     

新型八毫米电扫描跟踪天线

本文研究了一种小功率毫米波电扫天线的新技术。它用开关置于上、下两层双加脊波导组成的馈源中的四个二极管实现波束的快速电子扫描。文中讨论了研制技术难点与解决方法。实验所得各项指标均较满意。此技术也可方便地推广应用到其它微波频段。     

应用多窗口技术实现舰载火控系统人机接口

人机接口设计的好坏关系到系统的成败,对于各种作战系统更是如此。在给定的原则下,讨论应用Ｗｉｎｄｏｗｓ多窗口技术实现舰载火控系统人机接口的方法,内容包括屏幕组织,人机交互控制及数据输入控制等。基于这些方法所建立的模拟系统的成功表明了其可行性和有效性     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

线性语言和顺序语言关于置换的判定问题

S.Ginsburg和G.F.Rose在[1]中利用可定义集合及顺序可定义集合的概念,得到了cfl(上下文无关语言)和sl(顺序语言)关于gsm(广义顺序机)和csm(完全顺序机)的制定问题之不可解性。本文用更初等的方法,不仅得到了ll和sl关于gsm和csm的制定问题之不可解性,而且还得到了ll(线性语言)和sl关于置换和同态的制定问题之不可解性,顺便还得到了ll和sl关于补运算的不封闭性。我们首先引进一些概念和记号。注意,凡是文中没有说明的概念和符号,都可以在[1]和[3]中找到。     

核爆炸源区早期电磁脉冲的一种近似解析解

本文导出了地面核爆炸源区早期电磁脉冲波形的近似解析解。得出的电磁脉冲早期波形特征和γ射线源波形有一一对应关系。把解析结果与有关数值模拟结果进行了比较,符合得较好。为通过测量电磁脉冲来了解γ源波形特征提供了理论依据。     

脉冲多卜勒雷达距离读数插值方法的探讨

本文探讨了脉冲多卜勒雷达距离量化读数的插值方法,提出了差值插值法及比值插值法并讨论了量化插值的方法,给出了脉冲有限宽度及噪声杂波对插值计算的影响及其估计公式。     

某些化合物对HTPB复合推进剂燃速压力指数的影响

本文研究了某些化合物对端羟基聚丁二烯(HTPB)复合固体推进剂燃速压力指数的影响。实验发现,硫化镉是一种较好的降低HTPB复合固体推进剂燃速压力指数的添加剂。当硫化镉与其它燃速催化剂混合使用时,在提高推进剂燃速的同时,仍能达到较大幅度降低燃速压力指数的目的。最后应用差热分析方法对硫化镉的作用机理作了初步的探讨。     

Stochastic duels with multiple hits and limited ammunition supply

Ancker's stochastic duels with limited ammunition supply are extended to cases where a kill is obtained through repetitive multiple hits with two firing modes, single-shot firing and pattern firing. Examples with negative exponential firing time and geometric ammunition supply are given.     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。