雷达抗干扰性能的测量研究

本文提出用得益矩阵对雷达抗干扰性能进行度量,对得益矩阵的建立及其在雷达抗干扰性能度量方面的应用进行了分析,并设计出一套自动测试系统,对雷达抗干扰改善因子进行测量。     

一个实用的外壳型军械装备故障诊断专家系统JXESDT

本文讨论了军械装备故障诊断专家系统(JXESDT)的设计思想和实现技术,阐述了它的多种知识表示方法和推理机设计,并引入第二代专家系统特有的深层推理概念,从而在JXESDT中建立了一种深浅层推理结合的机制。     

超空间上连续函数的存在性

本文对[1]中二个未曾解决的问题作了较详细的研究,并以定理3和定理4对它们作出了圆满的解答;同时,得到一些有意义的重要结论。     

多体存贮器有效频带分析

本文以排队论为工具建立了紧耦合多处理机系统存贮器的排队模型。通过对存贮体忙期的分析,得出了存贮器有效频带的解析表达式,研究了在保证存贮器有效频带最大的情况下,处理机的访存请求率λ、存贮体的服务率μ和存贮体数m 三者之间的关系。     

对舰艇的灰色预测跟踪和射击

采用对舰艇运动的坐标跟踪法,应用灰色预测技术,建立舰艇的灰色预测动态模型。使火炮对舰艇的射击,具有反应速度快、命中精度好、毁伤效益高和便于计算机控制等优点。     

野战防空C~3I与防空兵作战指挥控制

陆军防空兵自动化指挥系统已作为防空作战效能“倍增器”列入国家军装武器发展规划,并在近期可能交付防空部队使用。这一新装备、新技术的出现和发展必然会引起防空作战指挥的变化。在分析防空兵指挥自动化对防空作战指挥影响的基础上,对如何发挥防空兵自动化指挥的防空作战效能和防空兵指挥自动化需迫切解决的一些问题加以探讨。     

国防科技大学国际学术交流论文统计分析

为了促进我校学术活动的开展,从总体上反映我校近几年来的学术研究水平和现状,总结我校在各科学领域内的学术研究成果,我们采用文献计量学的方法,根据我校各专业所覆盖的学科,利用国际上著名的八大检索系统,即英国编辑出版的《科学文摘》(SA)、美国编辑出版的《科学引文索引》(SCI)、《科学技术会议录索引》(ISTP)、《化学文摘》(CA)、《国际宇航文摘》(IAA)、《工程索引》(Ei)、《数学评论》(MR)及美国和英国联合编辑出版的《金属文摘》(MA),对我校1986-1991年发表的科技论文进行了统计分析。     

巨型机求解大型稀疏问题的Krylov子空间法

求解大型稀疏问题最流行的方法是建立在子空间投影技术之上的。这类方法的主要吸引力是仅需要使用矩阵向量乘法。我们给出PCG、GMRES、Lanczos和Davidson算法及在YH-I上的实现,然后比较每一方法的优缺点,并尽可能讨论其并行执行。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

社会系统运行理论与我国现阶段政策的制定

本文阐述了社会系统运行理论的初步框架,并以其分析社会系统的组织化状态与政策在其自组织中的功能;在剖析不同类型经济系统利弊的基础上,提出了我国现阶段政策制定的基本思路。