油管油压信号的载荷识别

在高速柴油发动机喷油系统性能检测中,一般以燃油压力信号作为喷油系统性能检测参量。通过对油压波形进行分析来判断喷油系统的工作状况,阐述了采用载荷识别技术识别油压信号的频谱特性,进而得到其时域波形的理论与方法,并在模拟试验中获得了识别结果。     

关于区域到区域映射的某些新结果

研究了指数函数、对数函数所构成的映射的映射特点;拓广了基本映射公式,提出了利用基本映射公式求区域到区域的映射。     

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

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

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

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

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

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

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

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

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.     

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

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

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

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

PC—1500计算机配置软磁盘机的研究与设计

本文研究并设计了一种新的接口电路,使 PC-1500计算机能够与软磁盘机配接、并能通过键盘编制注解文件。本系统使用的软磁盘格式与 IBM-PC 系列微机完全兼容。文中论述了接口电路及软件设计原理.