确定性进程的单向模拟

本文主要讨论了确定性进程单向模拟,与R.Milner的双向模拟相比,本文定义的模拟是单方向的。我们给出了确定性进程的转换规则,并证明了确定性进程单向模拟的正确性与完备性。同时也讨论了单向模拟的转换规律,并把单向模拟看作是一个特定函数的不动点。最后我们讨论了单向模拟的分层性,并且对单向模拟与双向模拟作了比较,证明了双向模拟可以由两个单向模拟组成。     

不确定性知识的非数值表示方法

本文介绍不确定性知识的非数值表示方法,包括界限推理、默认逻辑、TMS、自动认知逻辑和认可理论的基本概念。     

元Chi进程互模拟等价的一致性

Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模拟等价关系.     

数据传送进程的符号互模拟

本提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相当的一部分的符号迁移图是有穷的，章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性。     

Bi-CMOS工艺的高精度单向模拟开关研究

分析了一种以Bi-CMOS工艺实现的高精度单向隔离模拟开关，这种开关用在高速A/D转换器中使电路结构大为简化，通过对开关特性的理论分析=电路模拟及工艺验证，证明了这种模拟开关所具有的高速可控性和传输信号的精度均优于双极工艺所实现的单向隔离模拟开关。     

关于并发系统分支互模拟关系发散性保持的研究

带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为在原定义的基础上这个证明是不显然的.本文通过co-induction的手段利用染色迹的概念定义了着色完全迹等价,并证明该等价关系是最弱的一个保持发散的并且满足分支互模拟性质的等价关系.然后我们证明了着色完全迹等价关系和≈_b^△是相同的,因而补充了van Glabbeek和Weijland的工作,即证明了≈_b^△是最弱的一个保持发散的并且是满足分支互模拟性质的等价关系.     

用VB模拟实现短进程优先调度算法

本文介绍了利用VB模拟实现短进程优先(SPF)调度算法的方法,并给出相应的源代码程序。     

数据传送进程的符号互模拟*

本文提出数据传送进程的符号迁移语义,引入符号互模拟的概念,证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟．由于无穷域上的数据传送进程的传统迁移图是无穷的,而其中相当一部分的符号迁移图是有穷的,文章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性．     

移动进程演算中的开互模拟

该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统,文中提出了第四条tau规则,处理了在前缀操作下的等名测试算子,并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。     

一类非匹配不确定性非线性系统的鲁棒镇定

研究了非线性系统存在非匹配不确定性时控制器的鲁棒镇定问题. 基于对象的模糊动态模型, 提出了一种状态反馈控制器的设计, 给出控制器在建模不确定性等各种非匹配不确定性存在下仍能够镇定非线性系统的一个充分条件. 仿真结果表明了设计方法的正确性.     

非确定型离散事件系统双模拟控制的实现

近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的.     

On parameterization of higher-order processes

Parameterization provides an effective way to improve on the expressiveness of process-passing. In this paper, we study two kinds of parameterization: name parameterization and process parameterization. Firstly, we show that process parameterization retains the characterization of context bisimulation in terms of the far simpler normal bisimulation, in which universal quantifiers are eliminated. Secondly, we prove that name parameterization is at least as expressive as process parameterization by giving an encoding from the higher-order calculus with process parameterization into the higher-order calculus with name parameterization. These results clarify further the theoretical framework of higher-order processes, and shed light on the relationship between the two kinds of parameterization.     

非对称χ≠-演算的互模拟格

非对称χ≠-演算是一种移动计算模型.通过研究该演算的互模拟格,能够增强理解非对称性和不等名算子对移动进程代数理论的影响.在给出非对称χ≠-演算的语法和转移语义系统的基础上,定义了该演算的L-互模拟关系.研究表明非对称χ≠-演算的63个L-互模拟关系重叠为12个不同的互模拟关系,而且这12个互模拟关系构成了一个关于集包含的互模拟格.最后证明了barbed互模拟和开互模拟分别与该互模拟格的顶元和底元互模拟关系相重合.     

工作流流程模型结构优化算法的研究

该文从一个新颖的角度提出一种优化工作流流程模型结构的算法,用进程代数CCS来描述工作流流程模型的定义,并引用了进程代数中的互模拟的思想,提出了互模拟活动集合以及子流程的定义,同时给出如何找出复杂工作流流程模型中的互模拟活动的算法,该算法的提出简化了工作流流程模型的结构,从而提高了流程的运行效率。