高阶x—进程

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

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

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

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

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

CORBA／IIOP的语义初探

用π－演算刻划ＣＯＲＢＡ／ＩＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程，构造了一个高度简化的ＣＯＲＢＡ／ＩＩＯＰ的π演算模型，借助于这个模型，演示了ＣＯＲＢＡ／ＩＩＯＰ支持分布式对象计算这个性质。     

λ-演算的一种扩充

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

河道洪水演算的径向基函数神经网络模型

将径向基函数神经网络方法应用于河道洪水演算中，并利用最小二乘法来确定模型参数。结合河道洪水演算的具体方式，分别构建基于马斯京根方法和具有预见期的洪水演算方法的径向基函数神经网络模型。将该模型应用于两条天然河道的洪水演算中，计算结果表明，该模型运算快速，精度较高，具有较大的应用价值。     

CORBA/IOP的语义初探

用π－演算刻划ＣＯＲＢＡ／ＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程．构造了一个高度简化的ＣＯＲＢＡ／ＩＯＰ的π－演算模型．借助于这个模型，演示了ＣＯＲＢＡ／ＩＯＰ支持分布式对象计算这个性质．     

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

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

温控系统的π-演算的描述与验证

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性。结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性。     

组合逻辑中的抽象运算Ⅱ

本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ζｃ）的角色，再研究相应的问题。     

基于Pi-演算的集成P2P模式的网格形式化建模

为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点.基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用Pi-演算可用于对并发和动态变化的系统进行建模的特性,对该体系结构进行描述和建模,分析了有关性能,验证了模型的有效性.结果表明,基于Pi-演算的集成P2P模式的网格形式化系统能够有效地满足网格节点的服务需求.     

基于旋转x-t平面的河渠水流反向演算

水流反向演算在水利工程中应用广泛。由于水流具有沿程坦化的特性,直接反向求解水动力方程存在误差放大、结果不稳定的问题。该文将水流正向演算模型所在的x-t平面逆时针旋转90°后,构建了水流反向演算模型。该研究将正向模型的初始、边界条件分别变换为反向模型的边界、初始条件,解决了逆向数值迭代不稳定、不收敛的问题。经理想河道案例验证后,将反向模型应用于西江天然河道案例,结果表明模型稳定性好、模拟精度高,能有效反算出不同情景下的水流入流过程。该研究对于使用水流反向演算的水利工程具有实用价值。     

带类型λ-演算的扩充

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

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

关于泛函演算的自动连续性

研究了泛函演算的自动连续性问题．设Ａ是有单位元的Ｃ－代数，ＮＤ（Ａ）是Ａ中其谱含于紧集Ｄ的所有正规元之集，则泛函演算自动连续．对有单位元的Ｂａｎａｃｈ代数Ｂ，用ＢＧ表示Ｂ中其谱含于开集Ｇ的元素之集，那么当Ｇ有界时，Ｒｉｅｓｚ演算自动连续．作为推论得知与均自动连续．     

时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

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

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

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

马斯京根法在雨水管道流量演算中的应用

将马斯京根法用于雨水管道的流量演算中，提出了参数Ｋ，θ的计算方法，经试验资料检验，效果较好，并与精度较高的动力模型作了比较，两者比较接近，证明此法可用于雨水管道的流量演算。     

Seal演算与Boxed Ambient演算的关系分析

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.