开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

电气设计中功率因数平衡的实现

通过对电气设计中功率因数不平衡因素约分析，针对主要影响因素，确定了对策及措施，并给出了实现功率功率平衡的途径。     

平凡的R-关系对两类半群的刻划

运用“平凡的R-关系”这一条件,刻划了两类周期半群,给出了它们的性质特征。     

多部图λκ_n(g)的G-设计,G为有1条悬边的4长圈

设λkn(g)是一个λ重完全n部图,G为一个不带孤立点的简单图,一个(λkn(g),G)-设计是将λkn(g)划分成边互不相交的子图,使得每一个子图都和G同构．在此基础上讨论了G为有1条悬边4长圈时多重完全多部图的G-设计的存在性．并给出其存在谱．     

水的相图与pH-电势图的Flash课件制作

围绕无机化学精品课课程建设，配合水的相图、pH-电势图相关内容的教学，利用二维动画制作软件Flash制作了水的相图、pH-电势图的课件。     

关于指数丢番图方程x~2+(3a~2+1)~m=(4a~2+1)~n(英文)

应用Bilu,Hanrot和Voutier关于本原素因子的深刻理论及二次丢番图方程解的表示等方面的精细结果,完全解决了指数丢番图方程x2+(3a2+1)m=(4a2+1)n在3a2+1为奇素数或奇素数幂时的求解问题.     

复杂地质界面的自动成图方法及应用

复杂地质界面的计算机自动成图一直是困扰地质人员的一项难题，以往，图形大多是通过手工勾绘或大量的人工参与来完成。经多年的开发研究，我们已将这一项工作通过计机来自动完成。软件在自动成图过程中既考虑了数据的整体一致性，也考虑了局部数据的可控制性，具有收敛快，处理大数据量能力强等特点。     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

几类完全4-部图的邻强边染色

得到了几类完全4-部图的邻强边色数.     

论图的连通负荷（Ⅰ）

本文提出了图的连通负荷概念，这是一个刻划图的连通性的新不变量。本文在建立连通负荷的界的基础上，讨论了连通负荷与图的结构的关系。