论文部分内容阅读
目前同步计算机会议系统控制方面的能力有限，本文提出了一种会议控制协议，基于开放分布式处理参考模型控制通道概论，在分析协议需求的基础上，设计了一种组合域名协议原语，并用于协议的形式化描述，同时采用带时间和控制的有色Ｐｅｔｒｉ网描述了控制协议实体以进行协议的验证。文章最后简述该协议的设计和实现。
计算机会议流控制通道协议研究
【摘 要】
：
目前同步计算机会议系统控制方面的能力有限，本文提出了一种会议控制协议，基于开放分布式处理参考模型控制通道概论，在分析协议需求的基础上，设计了一种组合域名协议原语，并用于协
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1998年1期
其他文献
“得发动机者得天下”，活塞市场的发展和车用发动机市场的发展密不可分。2006年上半年车用发动机活塞市场总产销量约为2600万只左右。
在计量科学领域，人们根据被测对象几何形状的复杂程度，将工业领域中的测量问题分为箱体类工件测量和具有复杂几何形状工件测量。所谓箱体类工件是指那些由基本几何元素（点、线、
1905年，年轻的瑞典工程师温贵斯（Sven Wingquist）由于受到轴承经常损坏的困扰，从而发明了世界上首个自动调心双列球轴承，将当时的轴承科技带入了新纪元。随即于1907年，SKF创立……
１引言Ｆａｃｅｔ是文献［１］中提出的一种图像模型，通常用它作边缘检测［２］等．它是用Ｃｈｅｂｙｓｈｅｖ离散正交多项式集作为基底函数，对以某一点为中心的对称区域内的观测图像曲面作最佳拟合，根据某个假设检验统计量的分布和预先设定的置信门限，计算估计值与观...
MC记者：感谢您接受本刊采访。首先，请您介绍一下PHS—BS的发展态势及目前所达到的水平。
传统文件系统中的Ｃａｃｈｅ和预取技术是两种降低访问延迟的有效方法。在并行科学计算应用的Ｉ／Ｏ访问模式下，简单的Ｃａｃｈｅ和预取技术已无法提供较高的Ｃａｃｈｅ命中率，该文在分析该Ｉ／Ｏ模式的基础上提出了适度贪
在高可靠，强实时环境中，双机系统的状态切换已成为系统实时性，可靠性的关键。该文主要提出考虑切换的强实时双机系统可靠性模型，并给出了提高强实时双机系统可靠性的方法。