相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

船舶操纵运动仿真及其理论研究

建立了船舶操纵运动仿真数学模型，给出了一种新的风力和风力矩数学模型并预报了船舶在风作用下的操纵运动，提出了估算浅水中船体水动力的方法，预报了船舶在浅水中的操纵性能，研究了边界元理论在船体水动力计算中的应用，并利用理论计算结果，预测了船舶的回转运动及Ｚ形操纵。     

空位理论模型对单组分吸附等温线的模拟

在２９８．２ Ｋ温度和１３．３～１０１．３ｋＰａ压力范围内，测定了乙烯、乙烷和 二氧化碳单组分气体在ＡＥ型吸附剂上的吸附平衡数据．用空位溶液理论 模型对数据进行分析，并用顶点收敛法进行回归计算，得到了空位溶液理论 模型的四个物性参数：极限吸附量，享利常数ｂ，两个威尔逊参数Ａ１３和 ；用空位溶液理论对单组分等温线进行了很好地描述，使模型与全部压力 范围内的纯组分等温线得到很好地拟合．     

透镜垫高压管道连接系统密封试验研究

将螺栓、透镜垫及法兰作为一个整体,分析了透镜垫高压管道连接系统各元件的受力情况,得到了螺栓载荷计算公式,并用密封试验对其验证,结果表明计算值与试验结果吻合较好,从而为高压管道透镜垫的密封设计提供了依据。     

半经验分子轨道理论中Slater轨道指数对分子性质的一些影响

半经验分子轨道理论中 Slater 轨道指数§可表示成原子静电荷 q 的函数。本文按这种方法讨论了§随 q 的这种变化对分子性质的一些影响。     

相对论质量究竟是否物理实在?

在满足洛伦兹协变性的狭义相对论四维矢量表述申,并未引入相对论质量。本文认为相对论质量不是物理实在,并从质能关系出发指出由相对论质量概念导致的矛盾之处,对验证“质速关系”的实验作了相应的分析,认为这些实验尚不能证实相对论质量是物理实在。     

正入射平面波的多层平板屏蔽

利用电磁场方法分析了正入射平面波的屏蔽问题,讨论了电磁场方法与传输线方法的等效性,并用传输线模拟方法提出了任意多层平板屏蔽体对正入射平面波的屏蔽系数计算公式,纠正了以往计算中的一些错误.     

体育教学过程最优化问题初探

本文以教学过程最优化理论为基础,探讨体育教学过程最优化的必然性和实效性,提出实现体育教学过程最优化的一般要求,以期探索新的体育教学观。     

强耦合抛物组解的整体存在性和不存在性

本文利用半群方法证明了一类强耦合非线抛物型方程组初边值问题的整体解存在性；用特征函数方法，给出了整体解不存在的一个充分条件。