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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

正多面体对称群生成元的计算方法

借助三维正多面体的几何意义,可以直接推导其矩阵生成元,但因在三维空间无法建立真实的正多胞体(regular polytopes,正多面体在更高维空间的推广),该方法难以推广到正多胞体。基于正多面体群的抽象表示,提出了一种纯代数方法计算其矩阵生成元。因该方法完全是符号化的代数计算过程,可以类似推广到高维正多胞体,用于确定高维有限反射群的生成元。     

太阳色球层的冲击波加热模型 Ⅱ.中色球层加热模型的计算

利用无磁场和有磁场的冲击波方程考虑了对局部热动平衡的偏离,计算了中色球层太阳宁静区的冲击波加热模型.把计算模型同观测模型(HSRA)比较,得出加热中色球层最可能的冲击波周期是50～100秒,磁场强度的可能值应是5～7高斯.     

对称振子天线阵阵元感应电流仿真计算方法

建立了振子天线阵阵元感应电流的矩量法模型,通过对模型特性的分析,证明了具有对称结构的振子圆阵和直线阵,其广义特性阻抗矩阵为对称Toeplitz结构;根据广义特性阻抗矩阵的Toeplitz结构特性,进一步讨论了模型的计算方法,并给出了四单元通信测向天线阵阵元感应电流的计算实例。     

超对称非线性σ—模型Witten指数计算

构造了一个2维O(N)对称超对称非线性σ-模型,并利用绝热近似方法,计算了此模型的Witten指数。     

三辊对称卷板机参数的计算模型与运动仿真

通过三辊对称卷板机所卷钢板的几何参数来计算卷制工艺参数、弹（复）前的曲率、力学参数等，分析了一次进给对称卷板的可行性，用计算机进行人机对话并验证其可能性，从而达到创建三辊对称卷板机的计算模型和进行仿真的目的，并且为以后设计三辊对称自动卷板系统打下基础。     

三分子模型的球对称破缺（Ⅱ）

本文利用分支理论详细地计算了布鲁塞尔子球对称破缺后的新结构,得出其空间耗散结构不仅随r的变化而呈规则分布,而且还受到θ方向和φ方向的周期调制,这是以前从未有过的。它对演化着的生物体系的深层次的认识无疑将有很大帮助。     

基于离散元模型的岩石Ⅱ型断裂研究

为了解决岩石Ⅱ型断裂韧度的准确测量问题,提高对工程裂隙岩体稳定评价的可靠性,采用颗粒离散单元法,从微观裂纹、声发射及块体特征角度出发,结合断裂韧度计算,对短芯压缩(SCC)试样进行了数值研究。结果表明：随着切槽间距比(C/H)的增加,试样破坏模式会由纯剪向拉剪混合过渡;声发射模式前震-主震-后震型(C/H≥0.3)的转变与块体破坏特征也验证了这一结果;当C/H=0.2时,计算所得的断裂韧度与室内试验测得的值相符,验证了所采用方法对于Ⅱ型断裂韧度测试的准确性。借助离散单元法阐明了短芯压缩试样的破裂特征,从裂纹扩展的角度明确了切槽间距变化对破坏形态及破坏模式影响的规律,可为实验室精确测量岩石Ⅱ型断裂韧度提供参考。     

对称量子理论的计算

根据[WTHX]PT 对称量子系统中PT 内积和原内积之间的关系, 给出PT 对称量子理论中纯态的刻画以及PT 对称量子系统中混合态的一个刻画, 研究PT对称量子系统中态的演化, 并给出其为酉演化的充要条件.     

苯乙烯聚合的分子量分布 Ⅱ.分子量分布模型

通过二级、三级引发反应动力学机理建立了相应的分子量分布半经验模型,借助GPC分子量分布实测数据修正了模型参数,其中以三级引发反应动力学为基础建立的分子量分布模型较好地与实验数据相吻合,平均相对误差小于10%。使用该模型可以对聚合工艺进行设计、模拟和优化,并将有助于聚苯乙烯树脂分子设计的探索。     

非连续变形计算力学模型中的接触力元

阐述了多体系统中物体间的相对距离、接触的类型及其接触方式的判断法则,建立了物体间接触的力学控制方程及接触的传递与转换的实现方法·基于广义有限单元的物理覆盖的接触,以Coulomb摩擦接触准则为基础建立了接触力元,当非连续界面上的应力状态不违背Coulomb摩擦接触准则时,两侧的广义有限单元接触在一起,具有连续性;当非连续界面上的应力状态违背Coulomb摩擦接触准则时,两侧的广义有限单元具有非连续性,将产生相互滑移或脱离,分别相当于切向流动和法向流动·它可将连续性与非连续性有机地统一起来,为非连续变形计算力学模型合理地处理多体间的接触提供了力学分析方法·