论文部分内容阅读
给定通信协议［Ａ，Ｂ］，［Ｇ，Ｈ］和重要信息映射集合Ｋ，可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ，本文讨论这种协议转换模型［Ａ，Ｃ，Ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充要条件。
通信协议转换器的性质
【摘 要】
：
给定通信协议［Ａ，Ｂ］，［Ｇ，Ｈ］和重要信息映射集合Ｋ，可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ，本文讨论这种协议转换模型［Ａ，Ｃ，Ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充
【机 构】
：
清华大学计算中心
【出 处】
：
软件学报
【发表日期】
：
1995年2期
其他文献
近期,笔者随电子行业职业技术教育考察团赴澳大利亚就其职业技术教育状况进行了考察。此行共访问了三个城市,八所学校和九个工矿企、实业单位,对澳大利亚的职业技术教育有如
本文总结了软件复用技术的基本概念，介绍了有关软件复用的理论研究和实践活动，指出研究软件复用技术存在的关键问题，并给出了可选解决方案，最后，说明了软件复用与ＣＡＳＥ环境的关系。
1996年10月22日,劳动部师资培训基地第三次联谊会在山东省济南市举行,参加会议的有劳动部师资培训基地院校13所。 会议由会长天津职业技术师范学院党委书记兼院长王宪成主持,
我常常一个人走在广阔的戈壁上,领略它的神秘、静谧、粗犷,任思绪在黄沙飞砾中奔驰。面对巍巍的祁连山,好想呐喊,喊出心中那份惆怅,喊出我的心声和希望。把萧索、寥落、酸楚
并行处理技术的发展使得高性能的并行计算机系统不断地推出，而方便，灵活的并行程程序设计环境在并行计算机系统的推广应用中起着重要的作用，如何编写有效的并行程序代码以及如何
本文给出了一种在与时间有关的多时间片序列数据场中抽取特征并进行可视化的方法．首先讨论了特征可视化的一般概念，给出了数据场中特征的定义及特征可视化的基本方法．提出了一个在二维数据场中进行特征边界跟踪的方法，采用２个边界算子抽取边界，用树形结构表示特征边界之间的关系，用Ｆｏｕｒｉｅｒ描述器描述特征边界并重构．最后，讨论了算法的实现及有关问题．
本栏发表的关于加强培养高级技工的报告等三篇文章,是全国教育科学规划领导小组下达的“八五”委级重点研究课题的部分成果。读者从这几篇文章中,可以了解到我国高级技工培训
数千年胜迹、旷世传来！看凤凰孤屿,鹦鹉芳洲,黄鹤渔矶,晴川楼阁,好个春花秋月,只落得剩水残山,极目古今愁,是何时崔颢题诗,青莲搁笔?
本文对布尔表达式的可满足性问题作了进一步的研究，证明了该问题的充要条件，本文把布尔表达式可满足性的“判定的问题”与它的“求解问题”区别开来。