论文部分内容阅读
通信协议转换器可以看作是两个协议的信息之间的映射，这个映射可以用一个重要信息对偶集合Ｋ来刻划，本文给出相对于Ｋ的协议转换器的形式定义，然后，我们提出用两个有限状态自动机的对偶积来构造协议转换器的方法，并论证了方法的正确性。
通信协议转换器及其构造
【摘 要】
：
通信协议转换器可以看作是两个协议的信息之间的映射，这个映射可以用一个重要信息对偶集合Ｋ来刻划，本文给出相对于Ｋ的协议转换器的形式定义，然后，我们提出用两个有限状态自动机的对
【机 构】
：
清华大学计算中心
【出 处】
：
软件学报
【发表日期】
：
1995年2期
其他文献
近年来．我国已经有十几所高等学校通过了ISO9001认证。引入ISO9001质量管理体系认证标志着学校进入国际市场，取得参与国际竞争的“资格证”．也是学校管理的一次创新。高等学校教
蛔蚴移行症是一种寄生虫病,主要是由于生食了被人或猪蛔虫的传染性虫卵所污染的食物如大葱、番薯、胡萝卜等,蛔蚴随食进的物质进入人体后,移行至肺,引起肺部的过敏与炎症反应
甲班 A君的姑姑近日因公去了一趟美国,给A君带回一套当今世界最流行、款式最新的纯“美国西部”牛仔装,高兴得A君一天一宿没有吃好睡好。他想,这下可以在全班同学面前风光一
目的观察六味地黄汤治疗老年性骨质疏松症的临床疗效。方法对38例骨质疏松症患者采用六味地黄汤口服，并根据证型加减，1个月为1疗程，行治疗前后症状、体征改善情况对比观察。结果
社会上,“禁烟”、“戒烟”的呼声一浪高于一浪,而在校园这片净土上,学生吸烟者却越来越多。这种反差,家长、老师都不能等闲视之。 “禁止吸烟”成为一纸空文 笔者在就学生吸
为了提高创伤救治水平,近20年来许多学者致力于研究创伤严重程度的评定方法,迄今已报导了多种创伤严重程度的评定方法。其中Koehler等提出的院前指数(Prehospital Index;PHI)
语篇翻译是一个涉及源语作者、译者与目标语读者的“双重明示推理交际”过程，也是跨语际的一种解释性运用。语篇翻译的效度取决于最佳关联：译者必须有效传达原作者的交际意图，使
目的：采用微晶型尿酸钠致家兔急性痛风性关节炎，观察痛风茶灌胃给药后的抗炎作用。方法：致炎后以痛风茶10ml／kg灌胃给药，并于致炎后1、3、5h分别测定膝关节周径、以关节腔积液中的