可分椭圆型偏微分方程的 FACR(L)算法及其并行实现

文中就解Dirichlet 边界条件的Poisson 方程给出了FACR(L)算法及其并行实现过程,讨论了FACR(L)算法的计算复杂性,给出了针对向量机YH—1的算法的参数L 的优选公式,在YH—1机上得到了较为理想的,数值试验结果。     

知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

1,4 -二乙炔苯与1,4-丁炔二醇的共聚及表征研究

本文以(Ph_3P)_2 PdCl_2为催化剂,用各种比例的对二乙炔苯(DEB)与1,4-丁炔二醇(BD)合成出共聚物及两种单体的均聚物。共聚物为褐黑色,不溶不熔。单体配比中DEB比例越高,共聚物交联度和比重越大,产率越高,溶胀度越小。单体摩尔比DEB/BD≥1/2时,共聚物最良溶剂为苯,溶度参数(δP)为9.15卡~(0.5)·cm~(-1.5),而DEB/BD=1/5时,共聚物最良溶剂为无水乙醇,8p=12.7卡~(0.5)·cm~(-1.5).对均聚物及共聚物做了红外光谱表征并讨论了聚合反应机理。     

声发射分析用于轴承状态监测的研究

为了对轴承局部损伤进行自动检测与诊断,本文对声发射分析的新方法进行了探讨。损伤的特征量由短时信号处理技术来提取,用模式识别技术进行分析,用散布矩阵进行评价。实验和分析的结果表明这种新方法优于振动分析法。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

对发展我国水面舰艇指控系统的若干意见

本文从舰艇指控系统的研究设计方法发展、特点等方面阐述了如何发展我国水面舰艇指控系统的若干意见。     

线性测量海上机动目标状态估值器

本文导出了在惯性坐标系内利用线性测量卡尔曼滤波器(LMKF)来估值海上机动目标的状态估值器。LMKF 可以用于非线性测量条件下的目标状态估值。同时,LMKF 的公式比延伸的卡尔曼滤波器(EKF)要容易推导得多。在飞机坐标系里用蒙特卡罗方法进行了大量的数学模拟。模拟结果表明,两种滤波器的估值误差相同,但是LMKF 只需要比较少的计算量。应用线性测量的方法,导出了在飞机地理水平面坐标系内的LMKF。该滤波器有较高的溶液精度和较少的计算量。     

多鱼雷攻击多目标的可攻性判据及占位参数优化

本文建立了一套系统解决单艇用多鱼雷攻击多目标的可攻击判据和求解对应优化占位参数的方法。本文的研究中采用了独特的分析坐标系,这样在解决和建立可攻击判据的问题上,不仅避免了繁杂的数值计算,还给出了完备的解析解形式及系统化的概念。所得结论对发展现代潜艇鱼雷攻击战术和实现作战决策科学化具有一定的学术价值和实用意义。     

惯性调速器的新作图法

本文针对现有惯性调速器作图法的缺点,给出了一种比较简单、直观且具有明显物理意义的作图方法.此法具有自检作图精确性的特点.     

一个实用的高速串行数据传输系统

本文根据雷达性能综合自动检测系统的要求,设计了一套实用的串行数据传输系统,其最大传输速率为1.5×10~5bit/s ,此系统可作为一个通用的串行数据传输系统,应用于传输速率≤1.5×10~5bit/s范围内的其它系统。