导弹发射决策专家系统推理机研究与实现

介绍了一种基于灵活、通用的知识表达方法的推理机。它将面向对象方法和问题求解的黑板模型有机结合 ,自带各种控制信息和适宜的不确定性推理算法 ,将知识库分层和模块化 ,极大地提高了推理效率。推理机根据监控信息 ,推理计算出导弹允许发射的合格置信度 ,已应用于导弹发射决策专家系统设计中。     

对三个民族尝味能力测定结果的统计分析

利用离散多元分析方法对三个民族尝味能力的测定结果进行了统计分析,结果表明:三个民族间的PTC尝味阈值差异高度显著,味盲率间差异高度显著;男女尝味阈值差异高度显著,男女味盲率差异高度显著.     

实空间上的闭子集与相似包含关系

Paul Frdos曾提出如下关于实直线R的问题：是否对R的每一个无限子集X，都存在一个具有正测度（Lebesgue测度）的闭子集E，使得E的任何子集都不相似于X（E的任何子集都不与X线性同胚）。1984年，Falconer证明了如下结论：对于一个满足limxn=0和linxn 1/xn＝1的单调递减的正实数列{xn}，Erdos问题有一个部分肯定的解答。本文将证明：上述关于数列的条件可以替换为更一般的（弱一些的）条件。最后把本文的相应结论推广到有限维欧氏空间R^n中。     

直线同步电机特性与仿真分析

依据直线同步电机的运行特点,通过合理假设,推导了直线同步电机悬浮力与驱动力的表达式,通过对磁场和力的分析,找出了它们与功角δ之间的关系表达式,并利用ANSYS软件对磁场和力进行了仿真,在功角δ从0°到360°的变化周期内,得出驱动力和法向力的变化趋势.仿真结果与数值计算结果相吻合.     

关于高阶线性微分方程解的正规性问题

研究了高阶线性微分方程f^(m) an-1f^(n-1) … a1f′ a0f=F的解的正规性问题，其中ai(0≤i≤n-1)均为多项式，F是正规的超越整函数，我们证明了若σ(F)≥1 max 1≤i≤n degan-i/i,则方程的解均是正规的．我们还在上述方程的系数为有理函数，F为正规的超越亚纯函数的情况下，证明了只要方程的系数组成的代数方程满足一定条件，那么所有解均是正规的．     

一种旋转式发动机缸体内型腔线建模与创成的研究

旋转式发动机缸体内型腔曲线属“双弧长短幅旋轮线”，在建立数学模型后利用计算机由VB完成其动态创成．可视化程度高，与AutoLISP程序设计结合，可实现缸体的CAD。     

求解线性方程组的超几何球法

由解析几何观点知道,线性方程组解的几何意义是方程组中各个方程所代表的超平面的交点.根据直径对应的圆周角是直角以及直角三角形中短边对小角的原理进一步知道,当将初始点向线性方程组中各个方程所代表的超平面上投影得到投影点时,初始点和其任何一个投影点及方程组的解点都将位于一个相应的超球面上,其中必定存在一个投影点离问题解点的距离最短,即把该点作为下一次迭代的初始点,从而可将线性方程组求解的问题变成球面上逼近解点的迭代问题.利用此方法通过计算几个良(病)态线性方程组算例,说明该方法不仅具有一定的抗病态性,而且简单实用.     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

部分线性模型的渐近性

考虑Ｙｉ＝Ｘ＾ｔｉβ＋ｇ（ｔｉ）＋εｉ，１≤ｉ≤，忱里Ｘｉ是一固定设计点列，ｔｉ是独立同分布随机变量并且服从［０，１］上均匀分布。     

关于正线性算子的Woronovskaja－型定理

本文对可用正线性算子｛Ｌ＿ｎ｝逼近的满足一定的可微性条件的函数类给出Ｗｏｒｏｎｏｖｓｋａｊａ——型定理，并将所得结果应用到几个特殊的正线性算子上，从而基本上解决了这些正线性算子的Ｗｏｒｏｎｏｖｓｋａｊａ——型问题。