论文部分内容阅读
论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限度的检测和纠正缺陷,进行协议的完善,同时缩短了协议开发周期,提高了协议实现的正确性.
网络仪器与通信协议一致性测试技术
【摘 要】
：
论文提出了将形式化方法引入网络仪器设计中的观点,使设计者在设计仪器网络接口时,拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早的获知协议缺陷,最大限
【机 构】
：
东南大学,南京邮电学院
【出 处】
：
工业仪表与自动化装置
【发表日期】
：
2005年1期
其他文献
对于现阶段的大学英语教师来说,未来的专业发展是需要高度关注的问题。在教育生态学视角之下,大学英语教师也是生态系统中的一部分,自身的专业化发展决定着未来的教育教学改
在分析危险废物焚烧的基础上,介绍了模糊控制技术在危险废物焚烧回转窑温度控制中的成功应用,并讨论了计算机控制系统的实现.实际运行结果表明:系统稳定可靠,控制效果良好,满
北宋初年的宋祁,博学能文,成果全面,在政治、史学、文学等多个方面都卓有成就,值得专题研究。他的《景文集》、《宋景文笔记》和《益部方物略记》皆为《四库全书》所收录,这
针对IC卡热量控制表中信息的安全问题,通过分析比较传统密码体制的DES算法和公开密钥密码体制的RSA算法的优缺点,提出了改进的三重DES加密方法,和一些其他信息安全措施,并将
【目的】乳酸恩诺沙星为恩诺沙星的乳酸盐,本试验的目的是通过提供乳酸恩诺沙星在健康鸡体内的血药浓度-时间曲线,获得相关药动学参数,以期指导临床合理用药。【方法】试验采