Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

未知最优值线性规划的修正 Karmarkar算法

本文对未知最优值的Karmarkar型线性规划,得到了一种复杂性为O(n~(3.5)L)的修正Karmarkar 算法;通过讨论加边矩阵和秩1修正矩阵的LDL~T 分解,得到了一种计算Q—斜投影的有效方法。最后,从理论上分析了算法的收敛性和复杂性。     

高炮人机半实物实时仿真系统

本文以P56半自动高炮系统为对象,介绍一个高炮人机半实物实时仿真系统的实现。主要包括系统设计思想和基本原理、硬件组成、软件设计以及系统主要特点。该系统的实现,为高炮人机系统提供了一个良好的研究手段。     

应用三相系统对称分量法分析六相同步电机的非平衡短路

六相双丫移30°绕组同步电机的非平衡运行,可用对称分量法计算其电流、电压的基频分量。本文阐明了利用三相系统对称分量的分析计算方法,着重分析了各序阻抗。通过几个典型实例的分析可以看出,应用三相系统对称分量分析这种电机的非平衡短路是非常简便的。     

聚氨酯/环氧树脂SIN中的增塑作用初探

本文通过测量聚醚氨酯(PU)/环氧树脂(EP)SIN系列的玻璃化转变温度(Tg);并对该数据进行分析及用DiBenedetto理论式对该Tg数据进行了处理,发现PU/EP SIN中,EP对PU链段存在着较强的增塑作用,这个增塑作用与PU与EP网间的互穿作用并存,它主要受PU/EP组成配比等因素的影响。     

电子对抗与兵器火控指控系统

叙述了电子对抗、兵器电子对抗的重要性,并重点讨论地面野战防空武器综合电子系统、坦克综合电子系统的电子对抗和指控系统中的电子对抗     

纳米Si-C-N粒子增强Si3N4 复合材料的结构与性能

本文用Ｓｉ－Ｃ－Ｎ纳米微粉做增强相,Ｓｉ３Ｎ４微粉为基相,采用热压的方法制备了ＳｉＣｐ／Ｓｉ３Ｎ４纳米复相陶瓷,所得的ＳｉＣｐ／Ｓｉ３Ｎ４复合材料的室温弯曲强度为８７８．５ＭＰａ,断裂韧性达１１．９６ＭＰａｍ１／２,同时应用扫描电镜（ＳＥＭ）、高分辨透射电镜（ＨＲＴＥＭ）对其结构进行了观察,讨论了结构与性能之间的关系。     

建审工作中的行政管理

建筑设计防火审核包括技术审核和行政监督管理两部分。本文探索了建审行政管理的方式、方法,并寻求政府和行业的大力支持与配合。     

战术导弹角偏差信号动态滤波优化设计

在战术导弹角偏差处理中实现动态滤波是必要的和有益的。讨论了影响导弹支路滤波器带宽的主要因素并依此对动态滤波进行了有效设计。     

RTR技术在固体火箭发动机领域应用研究综述

综述了RTR技术在固体火箭发动机领域应用研究中的概况,总结了部分研究成果,指出了该技术存在的问题,提出运用RTR技术进一步开展SRM领域研究的若干设想。