基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

NaSCN—NaNO3—NaI三元系的相平衡

用目视变湿法研究了ＮａＳＣＮ－ＮａＮＯ３－ＮａＩ三元系在可能温度范围的固液平衡，三元系为低共熔体系，低共熔点为２１３℃，４１．７ｍｏｌ％，ＮａＳＣＮ和４８．６ｍｏｌ％ＮａＮＯ３。     

拟序群上的Toephiz C~* -代数的忠实表示的刻划

设G为一离散群，（G，P）为一个拟序群．记T（G，P）为相应的ToeplitzC-代数．给出了T（G，P）的一个表示为忠实的充要条件．     

邻苯二甲醛合成方法的改进

文中研究了用95％～98％的H2SO4水解α，α，α′，α′—四溴邻二甲苯合成邻苯二甲醛的新方法，该法反应条件温和，操作简单，产率较高．     

层次分析法标度系统的代数结构

郭亚军等写的“一类决策问题的新算法”一文对通常的层次分析方法提出了简化方案，使得运算量大为减少．但当因素稍多时，成对比较阵一般不再是一致性矩阵，从而严重影响了方法的精度．本文从层次分析法传统标度和一致性矩阵的结构出发，考查了一类建立在序关系上的群，得到了该群的一些重要性质并由此找出问题的症结，对郭亚军等的文章作了若干改进，提出保证成对比较阵一致性的简便算法     

Seifert and Van Kampen定理的一种特殊情形的有关讨论

代数拓扑是拓扑学的重要分支,它的特征是借助于一系列代数的对象、方法,如群、环、同态等,进行研究拓扑空间在连续形变下的不变性质.同伦论是代数拓扑的基础,而基本群是同伦论的一个重要概念.Seifert-Van Kampen定理主要用来确定某些较复杂的空间的基本群的结构,对于此定理的证明需要许多代数方面的知识,而且证明过程篇幅较长,本文仅用点集拓扑所涉及的方法给出Seifert-Van Kampen定理的一种特殊情形的证明.     

高能粒子碰撞中强子质量的产生(s=4～1800GeV)

近阈实验指出π＋π－介子在ｘμ＜２／３Ｍπ的球内产生，入射质量与新生质量的差别在Ｎπ±≥３时消失。本文研究了固定多重数Ｎ的能量—质量求和规则与强子质量的约束条件，得出在ｓ＝４～１８００ＧｅＶ范围内强子平均质量服从重正化群方程：〈ｍｃｈ〉＝ｍπ±ｅｘｐ［（０．０５１±０．００４）／αｓ］，强子的质量反常维度在固定点处为γｍ（ｇ∞Ｒ）＝０．０８０８，且对所有粒子是普适的     

平面四次微分系统的局部拓扑结构

讨论了平面四次微分系统的特殊方向及在相平面上国成的角城内，奇点附近的轨线的分布；给出了右多端多项式系数构成的判别准则．     

石膏转化法制取硫酸钾单因素实验的回归分析

在一系列单因素实验基础上考察了氨催化下石膏转化法制取硫酸钾中各种因素对氯化钾转化率的影响，应用一元回归分析方法建立了各单因素实验数学模型，得出了反应的优化工艺参数。结果表明氯化钾转化率可达９４％．     

紧Lie群上的高阶Riesz变换

讨论了紧Ｌｉｅ群上的高阶Ｒｉｅｓｚ变换并给出了高阶Ｒｉｅｓｚ变换的奇异积分表示．