论文部分内容阅读
构造了由对象，代理和智能理组成的基于Ｚ的智能仪理框架结构，并利用该框架规范了ＡＢ（ＡｌｔｅｒｉｎｇＢｉｔ）协议系统，从而证明了基于Ｚ的智能代理框加结构具有限状态机（ＦＳＭ）和时序逻辑（ＴＬ）的全部优点，并弥补了两者在协议模型表示上的不足，是一种具有较强描述能力的，严密的模型形式化工具。
基于Z智能代理框架的AB协议规范
【摘 要】
：
构造了由对象，代理和智能理组成的基于Ｚ的智能仪理框架结构，并利用该框架规范了ＡＢ（ＡｌｔｅｒｉｎｇＢｉｔ）协议系统，从而证明了基于Ｚ的智能代理框加结构具有限状态机（ＦＳＭ）和时序逻辑（ＴＬ）的全部优点，并弥补了两者在协议
【机 构】
：
东北大学软件中心,抚顺石油学院计算机科学与技术系
【出 处】
：
石油化工高等学校学报
【发表日期】
：
1998年4期
其他文献
用离子交换法制备了Ｃｕ／ＳｉＯ２催化剂，并在催化活性与稳定性方面与浸渍型的Ｃｕ／ＳｉＯ２催化剂进行了对比，采用差热分析（ＤＴＡ）、Ｘ射线衍射（ＸＲＤ）、比表面测定等方法对催化剂进行了表征。
采用电位滴定击同时测定电离常数相近的二组分及三组分混合酸中各组分酸的含量，建立了因子分析-电位滴定法同时测定多组分混合酸的数学模型，比较了两种多元线性回归及目标因子
论城市ＧＰＳ测量网的精度北京市测绘设计研究院孟庆遇我国自１９８６年引进先进的ＧＰＳ技术以来，应用ＧＰＳ技术进行城中控制网的改建、扩建、重建工作越来越普遍。到目前，全国已有几十个大、中、小城市采用ＧＰＳ技术布设城市控制网和工程控制网，仅“全国城市测量Ｇ...
介绍了用Ｘ射线衍射方法测量分子筛的绝对结晶度，这种方法涉及到由热振动引起的散射扩散和物质结晶部分晶格的不完善性，Ｒｕｌａｎｄ法测定分子筛结晶度是从待测分子筛的内部结构出发，对衍射数
以催化重整装置为例，介绍一种油－氢混合物焓温曲线的制作方法，并通过实例查出催化重整原料油及循环氢混合物各组分在不同温度下的焓值。
ＧＩＳ及其在北京市城市基础信息系统中的应用洪立波一、前言ＧＩＳ是集计算机科学、地理学、测绘遥感学、环境科学、城市科学、空间科学、信息科学和管理科学为一体的新兴边缘学科，属于信息科学和信息产业的一部分。信息革命的浪潮冲击着人类社会，根据美国的预测到２０...