舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

锁相放大器在光纤陀螺信号检测中的应用

讨论了光纤陀螺信号检测的基本原理,分析了锁相放大器参数选择对测试结果的影响。在干涉型去偏光纤陀螺系统中应用锁相放大器进行信号检测,可使系统阈值达到0.1deg/h,零漂达到0.4deg/h.     

机枪枪架稳定性计算统一公式及其应用

通过对现役机枪枪架射击稳定性的分析,归纳出了目前存在的三种稳定性基本形式,导出了机枪稳定性分析计算的通用公式,并实际应用于新研制机枪的稳定性分析计算中。     

催化反应中的次谐分枝

研究一类描述催化反应的flickering现象的动力系统,应用Melnikov方法对三种不同情形分别给出了系统存在次谐分枝的某些充分条件。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

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

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的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复合固体推进剂燃速压力指数的添加剂。当硫化镉与其它燃速催化剂混合使用时,在提高推进剂燃速的同时,仍能达到较大幅度降低燃速压力指数的目的。最后应用差热分析方法对硫化镉的作用机理作了初步的探讨。     

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

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