一新型移动进程模型—x—演算

提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大的并发度。着重研究Ｘ－进程的代数性质。     

高阶 χ-进程

在新型并发计算模型——χ－演算的基础上进一步研究高价χ－演算，并从代数性质、递归能力等方面研究该计算模型．该演算的特点是它的对称性     

一新型移动进程模型—— χ-演算

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．着重研究χ－进程的代数性质     

并发计算的元模拟：Ⅴ.并发模型间的关系

讨论ｐｉ演算和ｃｈｉ演算之间的关系问题，通过构造从ｐｉ演算到ｃｈｉ演算的翻译，证明了ｃｈｉ演算的表达能力不亚于ｐｉ演算。该翻译保持操作性质和开互模拟等价的代数性质。     

非对称带不等算子的χ≠-演算

文章系统研究非对称带不等算子χ≠-演算进程上的互模拟.通过构造互模拟格,从全部L-互模拟关系中导出12个互异的L-互模拟关系,研究了这些关系所对应的同余关系和迟早开同余关系.提出3个更新律,并修改了3个τ律.最后,给出了14个同余关系的可靠完备系统.     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

异步非对称Chi演算的互模拟格

异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统。本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格。     

2型x—CS模的直和

通过讨论2型x-CS模的直和是2型x-CS模,可以证明：对任意直和M＝i∈IMi是2型x-CS模的充要条件是在I中存在i,j,满足i不等于j,对于M的任意一个闭子模K∈x(M)若Mi=0或KMj=0,则必有KM,此外,还考虑了当M是UC模时,M是2型x-CS模的充要条件。     

一类p（x）—Laplace方程的正解

证明一类具p(x)-凹凸非线性项的p(x)-Laplace方程在适当条件下至少有两个正解。     

SrFeO3—x的高温氧吸附等温线

利用自制的高温静态吸附装置测量了钙钛矿结构氧化物ＳｒＦｅＯ３－ｘ在３００℃至７００℃温区的氧等温吸附线，实验结果显示ＳｒＦｅＯ３－ｘ的氧饱和吸附量随温度的降低而增加，随氧分压的增加而增加，吸附等温线具有Ｌａｎｇｎｕｉｒ吸附曲线的形状。     

La1—xEuxFeO3的高温合成及x—my衍射分析

本文首次利用固态法在高温常压下合成了一种新型稀土过渡族氧化物固溶体。这种类型的固溶体具有丰富的实验现象和独特的物理化学性能。对样品进行了ｘ－ｒａｙ衍射分析，从而得到一些有关晶体理论的有益信息。     

p(x)—Laplace算子

研究了ｐ（ｘ）－拉普拉斯算子－Δｐ（ｘ）ｕ－ｄｉｖ｜ｕ｜ｐ（ｘ）－２ｕ的某些基本性质．     

并发计算的元模型Ⅳ.公理化

在ｃｈｉ进程间互模拟格的基础上,利用Ｌ－互模拟的开刻划,给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关系的公理系统,由强互模拟等价的公理系统与３条ｔａｕ规则构成,在此基础上,分别加入一条输出规则和／或其对偶形式,即得其他３个公理系统。     

分子矩树图表示及π—键级的估算

提出了分子矩的树图表示，并借此应用π－键级与π－电子总量的关系及线性代数中的Ｃａｙｌｅｙ－Ｈａｍｉｌｔｏｎ定理，得到了应用分子矩估算π－键级的方法。     

C11—模的推广—1型x—C11模

作为C11-模的推广，定义了1型X-C11模，研究了其性质和特征，并且讨论了C11-模，1型X-C1模，1型X-C11模之间的关系，证明了在一定条件下1型X-C11模的直和因子仍是1型X-C11模。     

p（x）—Laplace方程的正确的存在性

得到了有界域上ｐ（ｘ）－Ｌａｐｌａｃｅ方程的正解的存在性结果，推广了ｐ－Ｌａｐｌａｃｅ方程情形的相应结果。     

并发计算的元模型Ⅲ.互模拟格

在有关ｃｈｉ演算的基础上,用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系,即Ｌ－互模拟等价关系,证明了只有４个不同的Ｌ－互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。     

p（x）—Laplace方程的弱解的局部C^1,α正则性

证明了p(x)-Laplace方程的弱解是局部C^1,α正则的。