有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

关于有限群可解的几个定理

讨论有限群的特殊极大子群的θ—子群偶对该群可解性的影响，得出几个充要条件.     

单极手机与分层人头模型作用系统的数值模拟

采用三层球形人头模型，在900MHz的频率下应用时域有限差分(FDTD)法模拟计算了单极天线手机作用下人头内的比吸收率分布、通过与实验结果的对比，验证了计算方法的有效性．计算结果表明：天线越短，比吸收率(SAR)和功率吸收比越大，人头吸收手机辐射能量越多，吸收可达一半以上；未成年人人头模型的SAR峰值及其平均值均大于成人人头模型，λ／4天线长度下未成年人平均SAR(0．112W／kg)超出IEEC95．1—1991规定的安全限量(0．08w／kg)，可见手机辐射对青少年用户造成的危害更大．     

复杂媒质中差分方程的构造及其在电磁散射问题中的应用

有关非均匀复杂媒质电磁散射问题的求解是一个复杂而困难的问题。该文利用求解偏微分方程的分插值肖为有关非均匀复杂媒南电磁散射建立差分方程，给出了建模过程并应用于各向异性媒质和旋波媒质电磁散射问题差分方程的构造，并分析了每个方程的计算准确度，一些典型问题的数值计算结果表明了该方法的有效性。     

关于一类无限群——SC—群（Ⅱ）

若群Ｇ的同阶元均在Ｇ中共轭，则称群Ｇ为ＳＣ－群。本文给出了可解ＳＣ－群，剩余有限ＳＣ－群的剩余中心ＳＣ－群的刻划。并对所为奇阶元ＳＣ－群进行了探讨。     

有限型子转移对Hausdorff测度保测的充要条件

本文讨论了Ｎ个符号组成的（单边）符号空间中由Ｎ×Ｎ，０，１－矩阵Ａ所决定的有限型子转移（∑Ａ，σＡ）。     

有限差分法地震波走时计算

改进文献「１」提出的有限差分计算走时的算法，射线路径也可根据互易性原理求出，模型计算表明该方法精度较高并适用于速度较差较大的情形。该算法对层析成像，迭前Ｋｉｒｃｈｈｏｆｆ偏移将是非常有用的。     

三次梁样条函数及其应用

文中提出了一种求二阶导数连续的三次样条函数的新方法，构造了样条有限条方法，分析了弹性薄板弯曲问题     

FAM3D三维弹性程序

按照有限分析法基本理论上建立的求解三维弹性问题的计算格式，研制出有限分析法三维弹性程序FAM3D，从而为求解三维弹性问题提供了一种新型计算手段。     

有限长线接触光干涉弹流润滑试验设计

为了研究纯滚动线接触摩擦副的润滑特性，本文介绍了用光干涉测量原理所设计的一地有奶长线接触光干涉弹性流体动力润滑试验机的工作原理和结构分析，给出富油润滑和纯滚动工况下对数线线滚子与玻璃盘之间的油膜形状与膜厚的光干涉实验结果，并提出今后需改进的方面。