变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

电磁场问题光滑样条函数解法

利用一类二元样条函数，对任意给定区域的任意三角剖分，导出了光滑有限元方法，此方法求解二维电磁场问题，不仅可保护场域中位函数的连续性，而且可保证场量（位的导函数）的连续性，此方法与常规线性插值有限元相比，具有三角剖分数少及初始输入数据量小等优点。     

CSDS法及其在磁悬浮支承优化设计中的应用

本文介绍了一种非线性规划问题的算法、——CSDS法,给出了其数学模型和在微机上运行的FORTRAN实用于程序,通过对磁悬浮支承定子最小重量的优化设计,说明了CSDS法是一种行之有效的优化设计算法。     

单航片数字转绘在土地详查系统中的应用及其精度评定

土地详查系统是将来建立国土信息系统的一个子系统,建立该系统的关键之一是实现调绘航片的数字转绘,本文通过分析单航片数字转绘的精度,从理论上阐明了以数字转绘代替仪器纠正实现土地详查内业自动化的可靠性。     

3~k元域上的三次方程根的简况

Ｆ是一个３ｋ元域，ｘ３＋ａｘ２＋ｂｘ＋ｃ＝０是Ｆ上的三次方程。该文证明方程ｘ３＋ａｘ２＋ｂｘ＋ｃ＝０在Ｆ中有一根，或一根与二重根，或三个互异的根，或没有根。     

差分方程非振动的充要条件

本文运用拉普拉斯变换证明了一类常系数线性差分方程有最终无界正解当且仅当相应的齐线性差分方程的特征方程有正解。     

最优吸收截面的存在性

对被真空包围的无穷平行平板，运用勒贝格控制收敛定理和Ｃａｕｃｈｙ－Ｓｃｈｗａｒｔｙ不等式，给出稳态中子迁移系统最优吸收截面的存在性。     

用“多化一”最小二乘法建立吸附动力学方程

用若干个一元最小二乘法，建立多元经验公式；以吸附动力学方程为例，取得了预期的结果。     

人体形态学参数的回归方程

在汉纳范模型的基础上，增加了３个有关躯干的围度指标。通过代表人体主要特征的形态学参数，利用逐步回归分析法，建立回归方程。用以预测那些不易测准或需专门测量仪器检测的参数，简化了模型的个体化过程。