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

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

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

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

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

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

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

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

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

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

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

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

基于扩展Pi演算的SaaS流程演化

针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的功能属性和非功能属性进行形式化描述,由用户需求驱动软件服务流程演化.基于EPi提出SaaS的流程形式化描述和转换方法,建立了SaaS流程演化模型(SSFM)及服务流程演化操作规则,并用量化互模拟理论对流程演化响应需求的情况进行分析,通过建立互模拟程度空间关系量化服务流程演化前后的近似程度.     

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

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

互模拟的含义、特征及主要应用

给出互模拟精确且具有概括性定义（B）,给出并证明了互模拟的5个特征,最后给出最大互模拟一定义,证明了～是一个等价关系,进一步证明了～是R中（B）的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值,并提出了某些尚待解决的问题。互模拟具有美好的发展前案和极大的发展空间。     

基于环境的软件正确性形式化描述

软件的运行依赖于环境,在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中,其正确性是一个逐渐改进的过程,也就是说,通过不断地修改,软件越来越接近于正确。为了刻画软件的这种动态正确性并考虑环境的因素,本文将以三分之二互模拟为基础,利用网极限的观点,建立软件动态正确性的形式化描述。首先建立三分之二互模拟的无限演化理论,给出三分之二极限互模拟的定义。其次建立三分之二互模拟极限,这个极限在一定程度上反映软件规范是其实现的极限形式。最后证明三分之二互模拟极限与三分之二互模拟的相容性等性质。     

Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion.The top of the lattice coincides with the barbed bisimilarity.     

基于电流互感器和(PIC)热敏电阻保护三相电动机的电路研究

针对三相异步电动机在运行中,经常出现一些不正常的现象,引起电流增大,温升过高,导致电动机烧毁的原因,设计了一种新的利用交流晶闸管开关、电流互感器、电路保护用正温度系数(PTC)热敏电阻等组成的,对三相异步电动机故障保护装置.     

非对称恶劣信道下自动链路建立协议

自动链路建立(ALE)技术是第三代短波通信(3G)中的一项关键技术,握手过程是自动链路建立技术的一项重要内容。该文分析了3G-ALE异步握手协议在非对称信道下的性能,在此基础上提出了非对称信道下"基于信道先验估计"握手协议,给出了采用此协议的系统建链概率表达式和平均建链时间表达式。在非对称信道下,对采用3G异步握手协议和"基于信道先验估计"握手协议的系统性能进行了仿真比较。结果表明,采用"基于信道先验估计"握手协议可大大提高系统的建链效率。     

对<火力发电厂厂用电设计技术规定SDGJ 17-88 条文说明>中两个问题的讨论

对<火力发电厂厂用电设计技术规定 SDGJ 17-88 条文说明>中有关异步电动机短路暂态过程的两个问题提出了不同看法,并定量推导了当考虑异步电动机转子结构不同后对次暂态电流起始值和冲击电流的影响.     

隐极迭片转子同步电动机启动特性计算机仿真

本文提出了用多回路法来计算隐极迭片转子同步电动机的启动特性,包括各回路的电流;导出了用于似稳态和动态分析的数学模型;提出了用转子电阻分布系数来描述转子不对称性的方法.文中以一台22kW电动机为例,对不同阻尼绕组情况下的不同电阻分布系数γ进行了计算和分析,结果表明当γ接近零时,其启动特性接近于异步电动机的启动特性.实验还表明,计算结果与实验结果吻合较好.     

An asynchronous pipeline architecture for the low-power AES S-box

To obtain a low-power and compact implementation of the advanced encryption standard （AES） S- box, an asynchronous pipeline architecture over composite field arithmetic was proposed in this paper. In the presented S-box, some improvements were made as follows. （1） Level-sensitive latches were inserted in data path to block the propagation Of the dynamic hazards, which lowered the power of data path circuit. （2） Operations of latches were controlled by latch controllers based on presented asynchronous sequence element： LC-element, which utilized static asymmetric C-element to construct a simple and power-efficient circuit structure. （3） Implementation of the data path circuit was a semi-custom standard-cell circuit on 0.25μm complementary mental oxide semiconductor （CMOS） process; and the full-custom design methodology was adopted in the handshake circuit design. Experimental results show that the resulting circuit achieves nearly 46% improvement with moderate area penalty （ 11.7% ） compared with the related composite field S-box in power performance. The presented S-box circuit can be a hardware intelli-gent property （IP） embedded in the targeted systems such as wireless sensor networks （WSN）, smart-cards and radio frequency identification （RFID）.     

叶端定时测量数据分析方法研究

针对异步振动和同步振动情况分析研究了旋转叶片振动参数测量数据处理的各种方法,尤其对传感器非均匀安装及其数据处理进行了探讨研究。