论文部分内容阅读
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异步通信的手段;介绍了如何实现从FSM模型向CSP模型的转换;最后给出了AB协议的CSP描述.
一种基于CSP的协议模型技术
【摘 要】
：
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异步通信的手段;介绍了如何实现从FSM模型向CS
【机 构】
：
中国科技大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
2004年5期
【基金项目】
：
国家自然科学基金，高等学校博士学科点专项科研项目，国家高技术研究发展计划(863计划)，中国科学院院长基金
其他文献
<正> 发票簿管理上使用中应严密建制度应健全责任明手续清指定人统一管启用前先查验领用时点本数查页码作登记回收时再查点旧换新要注明开票人守规定不合法不开出开发票应复
本刊讯最近，省农机局组织专家和有关人员，分别对2011（部分2010）年度的花生、“三辣”、林果等13个农机化创新示范项目进行了检查验收。经过现场实地查验和专家评估。全省共有12个
集群系统实现单一用户访问点的常用方法是设置一个前端机统一进行用户请求的转发,这种方法很好的解决了集群的单一入口问题,但容易引起单点失效,性能也难扩展.提出并实现了一
4月10日，全省农机维修服务能力建设工作会议在邹平召开。会议总结交流了去年全省农机维修管理工作，研究部署了当前和今后一个时期农机维修服务能力建设任务。省农机局高明飞局
将信息熵理论应用到入侵检测聚类问题中,实现了一种启发式入侵检测聚类算法HBEC,它能递增地处理巨大的网络连接记录数据库.通过实验证明了算法HBEC对解决入侵检测问题是有效
近日。国家农业行业科技项目“玉米生产技术集成与全程机械化试验与示范”课题组在章丘市试验示范基地进行了玉米收获期田间调查与试验。省农机技术推广站、章丘市农机局、刁
加快农村土地流转,实现粮食生产从一家一户经营向种植能手和大户集中经营,是当前粮食生产的大趋势。近年来,由于农村外出务工人员的不断增加,农村土地开始向农机合作社等服务
本刊讯：为加速培养一支能操作维修、懂农机农艺、会经营管理的现代新型农机手队伍,近日,山东省农机局在全省组织实施了农机手实用技术培训活动.据了解,今年全省财政共安排专项
本文提出了基于控制器设计思想的、具有弹性体系结构的高性能服务器管理监控系统的设计和实现方法，弹性的分层结构精简了管理系统通信路径，提高了机群规模扩展性和管理效率，利用