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

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

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

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

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

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

带类型λ-演算的扩充

在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．     

用Spi演算描述密码学安全协议

Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述,通过测试等价Ｓｐｉ演算简化了所描述的安全协议的验证,它为密码学安全协议系统的描述和验证提供了坚实而有效的支持。     

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

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

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

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

并发计算的元模型Ⅰ.图模型

借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径     

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

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

扩展π演算对时间相关移动并发系统的建模与推演

针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。     

气穴瞬变流基本方程特征根问题研究

建立了气穴瞬变流基本方程，并重点讨论了下述三种情况的基本方程的特征根问题：ａ．ｐ－ｐｉ≠０且计入附加质量力；ｂ．ｐ－ｐｉ＝０且计入附加质量力；ｃ．ｐ－ｐｉ＝０且不计入附加质量力．特征根的确定不仅可以得出方程组的性质而且还可得出求解方程组的稳定的差分格式     

气穴瞬变流基本方程特征根问题研究

建立了气穴瞬变流基本方程，并重点讨论了下述三种情况的基本方程的特征根问题：ａ．ｐ－ｐｉ≠０且计入附加质量力；ｂ．ｐ－ｐｉ＝０且计入附加质量力；ｃ．ｐ－ｐｉ＝０且不计入附加质量力。特征根的确定不仅可以得出方程组的性质而且还可得出求解方程组的稳定的差分格式。     

五味子化学成分研究（Ⅰ）

从云南民间药用植物中间五味子（Ｓｃｈｉｓａｎｄｒａｐｒｏｐｉｎｑｕａｖａｒｉｎｔｅｒｍｅｄｉａ）茎中，分离得到４个化合物，即环五味子烯醇（１）（Ｃｙｃｌｏｓｃｈｉｓａｎｄｒｅｎｏｌ１），Ｓｃｈｉｓａｎｄｒｏｎｉｃａｃｉｄ（２），Ｓｃｈｉｓａｎｄｒｏｌｉｃａｃｉｄ（３），β－谷田醇（β－ｓｉｔｏｓｔｅｒｏｌ）（４）其结构经由光谱分析确定。     

五味子化学成分研究（I）

从云南民间药用植物中间五味子（Ｓｃｈｉｓａｎｄｒａ ｐｒｏｐｉｎｑｕａ ｖａｒ ｉｎｔｅｒｍｅｄｉａ）茎中，分离得到４个化合物，即环五味子烯醇（１）（Ｃｙｌｏｓｃｈｉｓａｎｄｒｅｎｏｌ １），Ｓｃｈｉｓａｎｄｒｏｎｉｃ ａｃｉｄ（２），Ｓｃｈｉｓａｎｄｒｏｌｉｃ ａｃｉｄ（３），β－谷甾醇（β－ｓｉｔｏｓｔｅｒｏｌ）（４）。其结构经由光谱分析确定。     

具有真正并发语义的面向约束的实时进程代数

对于标准进程代数,通过加入因果和时间约束,对前缀操作项进行扩展,使得处理后的演算,保持定义简单,表达力增强,能够描述实时系统,并且具有真正并发语义。     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

并发事务的一种操作模型

本文定义了一种描述分布式数据系统并发事务行为的操作模型，以此为基础讨论了并发事务的调度，并享模式的Ｌｏｃｋｉｎｇ机制，死锁等问题。     

非线性电阻Pspice模型的建立

提出一种基于Ｐｓｐｉｃｅ上新颖的非线性器件的方法，并以非线性电阻为例具体加以实现，该模型是一个通用子电路模型，并且可以应用于任何电路仿真及电力半导体器件建模中，由于在该模型的建立中采取了非线性函数的曲线拟和方法，使得原先在Ｐｓｐｉｃｅ中无法实现的非线笥器件可以通过易于实现的受控源来模拟拟和多项式函数。     

网上拍卖系统的π演算建模

在分析了基于WEB的网上拍卖系统的需求基础上,针对具有多进程并发通讯特点的该类电子商务系统,采用π演算对系统进行结构和功能建模．本文在简单介绍π演算的语法和语义基础上,用进程表达式对整个系统软件结构框架进行了形式化描述,并分析了π演算的建模能力．结果表明π演算在描述动态进程间的通讯所表现出的优势以及便于编程实现的技术特点,尤其适合这类电子商务系统的分析与设计。     

λ-演算的一种扩充

对任一固定的集合ＡＮ（Ｎ表示自然数集）,本文定义了λ－演算的一种扩充λＡ－演算．证明了λＡ－演算具有Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质,从而是协调的．并证明了λＡ－可定义全函数与Ａ－递归函数是等价的．