爆轰波在可压缩金属板面上斜反射初始参数的计算

本文计算了爆轰波在可压缩金属板面上斜反射时的初始参数。计算中选用的五种炸药是TNT(p_0为1.64g/cm~3,1.45g/cm~3)、RDX(p_0为1.59g/cm~3,1.76g/cm~3,1.80g/cm~3)、RDX/TNT(77/23)(p_0为1.75g/cm~3)、Pentolite(p_0为1.65g/cm~3,1.68g/cm~3)和B 炸药(p_0为1.71g/cm~3);三种介质是铁、铜和铝。     

专家系统与测试技术相结合的诊断维护系统

本文介绍的诊断维护系统ＩＴＭＤＭＳ将专家系统技术与传统的测试知识相结合。该系统包括两类知识：浅层知识和深层知识,知识用一阶谓词表示。推理过程分三步完成：（１）浅层推理;（２）深层推理;（３）浅层推理。知识维护手段使系统的知识在使用中不断完善。该系统的框架可适用于任意复杂的数字系统的诊断维护。     

多主体系统建模方法探索

本文提出结合组织学理论研究多主体系统（ Ｍ Ａ Ｓｓ）建模的一种方法。文章从宏观到微观，在整体组织、个体和并发行为等不同抽象层次上论述了分析与设计多主体系统的建模方法，并详细介绍了用于多主体系统设计的系统组织模型、主体概念模型和分布式协作求解模型三个抽象模型的主要研究内容。     

强脉冲 CO2 激光与靶的相互作用

在真空背景下的实验表明,当微秒量级的强脉冲激光与靶材相互作用时,由于靶材的升华,激光维持爆震波依然存在。爆震波产生的压缩波传入靶内,该应力波的作用是材料破坏的重要因素。而强脉冲激光引起的汽化反冲压力、热应力和烧蚀破坏也是不可忽视的因素。实验还表明,在真空背景下维持爆震波足以将后续激光屏蔽。     

高速核在高温热平衡等离子体中的非平衡弛豫过程对热核反应率参数的影响

高速核入射到高温热平衡等离子体背景中,由于入射核动能远大于背景等离体中带电粒子之平均动能,入射核在与背景等离子体达到热平衡之前,会存在一段逐渐损失能量的非平衡弛豫过程。本文以高速氘核入射到高温氘化锂等离子体为例,在计及氘核的这种非平衡弛豫过程时,给出了一种计算热核反应D(t,n)~4He之反应率参数的方法。氘核在弛豫过程中的能量损失考虑了氘核与各种带电粒子的库仑散射过程,其能量损失率采用快速带电粒子的慢化理论来计算;氘与背景等离子体中的原子核发生的核反应过程,考虑了非平衡状态下束靶机制的D(t,n)~4He反应和热平衡状态下的D(t.n)~4He反应。在暂未考虑核散射的情况下,计算结果表明,当等离子体温度在7.5KeV～20KeV范围内变化时,氘核的非平衡弛豫过程对热平衡状态下D(t,n)~4He反应率参数的修正因子大致在1.0062～1.0943范围内变动,且温度越高,修正因子越小。计算还表明,当温度一定时,修正因子随等离子体中粒子的数密度变化不明显。     

电子战条件下雷达接收信号模型

文中建立了电子战条件下雷达信号环境数学模型,包括雷达发射信号数学模型,目标回波信号数学模型,电子干扰（有源干扰和无源干扰）信号数学模型,杂波数学模型以及噪声数学模型     

电扫偶极子相控阵天线的空域极化特性分析

推导了偶极子线性阵列和平面相控阵天线在空域波束电扫时辐射场的极化特性,建立了数学模型。计算结果和仿真分析表明:偶极子相控阵天线辐射场在空域扫描各个波位的极化特性并不一致,是具有一定差异的,当待测目标的方向偏离天线电轴方向时,所接收到的电波极化状态也会随偏离电轴的方向和仰角而改变。该结论对于现代电子战中相控阵天线系统的精确建模与仿真具有重要意义,对于研究和利用天线的极化特性进行雷达极化抗干扰技术是非常必要的。     

液体火箭发动机功率平衡通用计算方法

本文提出了一种新的液体火箭发动机功率平衡通用计算方法。该方法按照预定的计算顺序，对发动机系统的各个部件进行迭代计算，采用拟牛顿法求解系统可调变量。该方法对各种发动机系统方案的分析具有通用性，适用于液体火箭发动机系统循环方案论证。该方法已在计算机上采用面向对象程序设计实现。本文给出了用该程序对采用液氧、丙烷作为推进剂的分级燃烧循环进行计算的结果。     

截幅效应对DMT调制的影响及一种减小截幅噪声的方法

ＤＭＴ（ＤｉｓｃｒｅｔｅＭｕｌｔｉｔｏｎｅ）调制是一种在ＡＤＳＬ（ＡｓｙｍｍｅｔｒｉｃａｌＤｉｇｉｔａｌＳｕｂｓｃｒｉｂｅＬｉｎｅ）中被广泛采用调制技术。本文分析了在ＤＭＴ中对信号进行截幅所产生的影响，计算了Ｄ／Ａ变换产生的量化噪声和截幅噪声，并与未截幅时相比较，在不降低ＳＮＲ的情况下，降低了Ｄ／Ａ变换器的精度的要求，并求出最佳截幅因子。本文分析了一种减小截幅噪声的方法，并说明在非最佳截幅时，通过这种方法可获得与最佳截幅同样的结果。     

广义抽象协调类和广义合一原理

协调性是数理逻辑中最基本的语法概念之一。Ｓｍｕｌｙａｎ提出了抽象协调类概念，并证明了相应的Ｓｍｕｌｙａｎ合一原理。通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式——广义抽象协调类，并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。