论文部分内容阅读
对UPPAAL环境下通讯协议的规范验证方法进行研究，在此基础上，利用一组时间自动机模型模拟一个具有严格时间限制的网络通讯协议，并对其正确性进行自动验证．
UPPAAL环境下通讯协议的自动验证
【摘 要】
：
对UPPAAL环境下通讯协议的规范验证方法进行研究，在此基础上，利用一组时间自动机模型模拟一个具有严格时间限制的网络通讯协议，并对其正确性进行自动验证．
【机 构】
：
信息工程大学信息工程学院,郑州大学信息工程学院
【出 处】
：
河南师范大学学报：自然科学版
【发表日期】
：
2006年4期
【基金项目】
：
国家自然科学基金资助项目（69873040）
其他文献
在反演小角法和传统极坐标法的基础上，对反演小角法进行了改进并且将两种方法相结合，提出了一种新的水平位移监测方法。探讨了该方法的精度，并且以具体的工程实例说明了该方法的
从客运专线铁路无碴轨道施工、运营角度,论证基岩水准点及深埋水准点埋设的必要性,并结合现阶段各条在建和即将开建的铁路客运专线中基岩水准点及深埋水准点埋设情况,进一步说明基岩水准点及深埋水准点建立的优点及可行性。
高墩大跨桥梁的合理设计是铁路桥梁设计中一个没有很好解决的问题.结合组合结构的特点提出了一种新的设计思路和方案,较好的解决了上述问题,对同类型桥梁的设计有一定的参考
对取食山茱萸的昆虫种类进行了系统调查和初步鉴定，共获得71种，隶属36科7目，分析了山茱萸昆虫动态和管理问题，并提出昆虫监测及控制建议。