论文部分内容阅读
将离散事件动态系统的监控理论用于网络协议的综合过程，由给定的全局服务规格要求出 ，运用控制系统理论，能够直接得到满足要求的协议描述。指明了控制理论为协议综合和验证提供了新的途径和方法。
协议综合系统的研究
【摘 要】
：
将离散事件动态系统的监控理论用于网络协议的综合过程，由给定的全局服务规格要求出 ，运用控制系统理论，能够直接得到满足要求的协议描述。指明了控制理论为协议综合和验证提供
【机 构】
：
兰州铁道学院电信与自动控制系
【出 处】
：
兰州铁道学院学报
【发表日期】
：
1997年2期
其他文献
在Ｔｈｏｍａｓｓｅｎ定理＾［１］的基础上，推广了Ｔｈｏｍａｓｓｅｎ定理的结果并讨论了收缩边，加边和去边之后图的点连通度的不变性及该边应具有的性质。
利用管井开发砂类含水层中地下水，长期以来，一直存在着滤水管涌沙、堵塞以及引起报废等问题。就管井涌沙、堵塞等原因进行了论述，并提出了防范措施，对延长管井使用寿命有重要意义
广告文化创意指的是通过不同创意来创造于与众不同的视听效果，以达到品牌宣传、产品营销目的，吸引消费者，激发其购买欲望。随着经济的高速发展，经济全球化趋势日益明显，市场竞争越
以实际工程为例，说明楼宇自控系统的组成及监控原理，介绍采用的系统及布置方案，本文对楼宇自控系统的设计具有普遍参考价值。
研究了污水土地处理系统中的土壤－植物系统对放物油的去除效果、去除量同投配量的关系以及牧草的生长状况对去除效果的影响。
社会慈善在企业社会责任中表现为企业慈善责任，（Corporate Philanthropy Responsibility简称 CPR），是企业社会责任体系中对企业的最高层次要求。企业履行慈善责任是社会公众对企
以作图规则匹配与辅助线作图相结合作为变量化设计的方法，并在此基础提出了尺寸约束倒推理。推理正确，速度快，是一种解决尺寸约束的有效方法。
在分析微机联锁系统数据结构的基础上，给出了站场的节点数据表示方法。应用编码理论对联锁数据及其传输进行编码，有效地提高了微机联锁系统的安全性和可靠性。
随着自闭症儿童患病率的增加，江浙沪地区自闭症儿童数量呈现基数大、年增速快的显著特点。本文通过对江浙沪地区自闭症儿童康复发展总体现状的了解，探究当前社会工作介入自闭症