【摘 要】
：
提出了将形式化方法引入分布式测控系统的观点,使测控人拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早地获知协议缺陷,最大限度地检测和纠正包括避免死
【机 构】
：
东南大学,南京邮电学院,南京邮电学院
论文部分内容阅读
提出了将形式化方法引入分布式测控系统的观点,使测控人拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早地获知协议缺陷,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷,完善协议,而且克服了非形式化验证是基于设计者的人工经验,缺乏数学的严密性和科学性的缺点,同时缩短了协议开发周期,给传统测控技术赋予了新的内容.
其他文献
廉租房准入与退出制度的完善与否直接决定了廉租房保障性功能发挥与否,完善我国廉租房准入与退出制度既能保证廉租房市场的正常运转,维护城市低收入人群的利益,又能维护社会
以开放互动式实验教学基础，在以以教师为主导，学生为主体的实验教学活动在C语言实验教学中几种方式的体现，老师与学生间进行的多层次全方位的互动。从而使开放互动式实验教学对
为提高超早熟大豆杂交后代的种皮颜色选择效率,本研究选择4个不同种皮颜色品种配置3个杂交组合,利用经过改良的系谱法(PM)、混合法(MSM)、单粒传法(SSDM)3种后代选择方法对后
随着经济社会发展、产业结构的不断升级和人民生活水平的日益提高，越来越多的高、精、尖电气化设备投入到工业生产和人们的日常生活中，新设备的投入和使用对供电可靠性提出了更
在高质量发展背景下,我国农业全产业链建设及运营水平还有待提高,需要不断创新产业链上下游之间的交易模式以及相应的管理机制。本文以浙江江山蜜蜂产业为切入点,构建出江山
介绍了用VB6.0实现虚拟数字示波器系统基本功能的方法,并重点阐述了软面板设计、数据采集和波形显示的编程方法.
分析了当智能仪表不能直接与现场总线系统连接时的两种通信方案,并介绍了一种PLC通信模块CP341在联网通信方面的应用.
<正>教育部举行4月份例行新闻发布会,就此前发布的《职业学校校企合作促进办法》(以下简称《办法》)有关内容进行重点解读。教育部职业教育与成人教育司副司长谢俐指出,2017