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

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

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

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

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

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

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

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

瞄准线偏移故障诊断方程及其优化

本文利用矢量分析法,分析了瞄准线偏移与各故障因素的关系,导出了瞄准线偏移故障诊断方程并对其进行了优化。提出了一个不必调整炮耳轴水平而测定瞄准线偏移及其原因的方法。     

光学系统失调对像差的影响

本文从改进光路的矢量追迹公式入手,给出一个包含光学系统偏心量在内的矢量追迹公式,从而编制出一种精确计算光学系统三维偏差对全像差影响的通用程序。利用这个程序可以得出涉及光学系统偏差对像差影响的各类问题的解答。     

人机闭合半动跟踪系统仿真模型的建立

本文论述了指挥仪半自动跟踪系统的仿真建模方法,建立了传动系统工作方程式及等效结构图,介绍了描述测手跟踪特性的两种模型,最后给出了以59式指挥仪为研究对象的半自动跟踪系统模拟结构图。     

大系统递阶协调的自校正控制方法

本文基于大系统理论和递阶离散系统辨识方法的思想,提出了大系统递阶协调自校正控制算法,并用仿真实例验证了算法的可行性。     

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。     

雷达角跟踪系统检测的新方法

本文提出了雷达角跟踪系统检测的一种新方法——暂态特性测试法。文中介绍了该检测方法的原理及由CCD摄象传感器件、单片微机等组成的检测设备。分析了实验结果,讨论了提高检测精度的措施。