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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

几个古典数学概念的公理化

对古典数学概念进行公理化是一个十分有趣的问题，本文给出代数中多项式导数，排列数和组合数的公理化定义。     

反应式系统的并发模型（Ⅳ）——时态逻辑模型

基于文（１￣３）,提出反应式系统并发描述的时态逻辑模型,并给出抽象计算模型的时态语义。     

公理化设计与TRIZ的比较研究及其集成模型

摆脱设计对经验的依赖，探索以科学原理为基础的设计理论是设计方法学的研究热点。公理化设计理论和创新问题解决理论是基于科学的设计方法学，近年来已得到设计界的高度重视。分析比较了两种理论的内在联系和区别，以此为基础建立了产品概念设计过程集成模型。给出了应用案例，验证了模型的有效性     

南水北调工程倒虹吸结构三维节理元计算模型的建立

建立了南水北调工程倒虹吸结构的力学计算模型 .通常 ,在工程实际中大多采用平面的力学模型 ,三维的力学模型由于其复杂性而很少被用于工程实际 .因此 ,为了使模型接近实际情况 ,采用了三维有限元 ,但结构的材料与周围土层的性质相差较大 ,有可能在其接触面上产生错动滑移或开裂 .为防止出现这种情况 ,本文提出采用特殊的接触面单元 ,建立倒虹吸结构与地基相互作用的三维节理元模型 .     

元计算的灵构架

元计算机就是一个用软件连接起来的像PC-样容易使用的异构网络计算资源,近年来发展非常迅速,文章首先讨论了它的发展背景,接着介绍了元系统在国内外的发展和研究的情况,并在此基础之上给出了一个灵活的实例——IceT。     

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

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

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

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

并发模型的范畴论方法

范畴论是一种通用概念框架，可作为软件工程的理论基础.介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例.     

CaO-MgO-CaF2-Al2O3-SiO2五元渣系粘度的计算模型

依据炉渣结构的共存理论和五元渣系ＣａＯ－ＭｇＯ－ＣａＦ２－ＳｉＯ２－Ａｌ２３在不同温度和成分下的实测粘度值,制定了本渣系的作用浓度和粘度计算模型,计算结果符合实际,证明计算模型可以反映ＣａＯ－ＭｇＯ－ＣａＦ２－Ａｌ２Ｏ３－ＳｉＯ２渣系的实际结构与粘度、结构单元的作用浓度及温度之间的正确关系。     

基于Internet的网格计算模型研究

为了实现在地理上分散的计算资源共享,降低计算成本,提出了基于Internet的网格计算模型I－GRID及其实现方法。I－GRID是可以作为虚拟的整体而使用的广域异构计算环境,支持节点的动态加入,通过元数据信息实现异构节点之间的透明通信,利用对象技术实现单一映像文件系统,并提供与流行的并行编程软件的接口。雅戈比迭代的性能证明,I－GRID具有很好的可用性和较好的实时性。通过I－GRID的研究,将为校园网络用户提供统一编程接口的高性能计算环境。     

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

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