基于请求应答方式消息传递机制有色Petri网模型

分布式系统的对等模型中,各个节点从功能上看是对等关系,相互之间进行消息的请求和响应。讨论了一种将广播请求和点到点应答两种通信方式相结合的消息传递机制FMPRR(FastMessagePassingbasedonRequestResponsemode)的实现,这种机制采用wormhole寻径流控策略。用有色Petri网来形式化描述和分析FMPRR,通过模型状态空间分析结果,对FMPRR消息传递机制进行验证。

一种双余度机载计算机辅助测试系统设计

研究设计了一种双余度机载计算机辅助测试系统,旨在提高机载计算机系统的可靠性和安全性。该方法通过单独供电的采集节点和控制器局域网络(CAN)通信网络,实现了对机载计算机的高覆盖率检测。系统软件采用主动监测的方式,对计算机内部的电流、电压、温度及节点状态等多个参数进行实时监控,快速识别多种潜在故障。设计了双余度节点协同策略,通过设置主备节点和基于请求/应答与时间片轮转的双向通信策略,实现节点间的无缝切换和信息同步。实验结果表明,该方法具有较高的故障监测覆盖率和鲁棒性,大大提高了机载计算机系统的稳定性和可靠性。

基于CoAP的M2M课程教学及实验设计

阐述以IETF Co AP协议扩展标准RFC 7959"Co AP块级传输"中的案例作为M2M课程教学内容,提出通过Eclipse开源项目Californium中提供的API对实验内容进行设计并利用JUnit框架设计Co AP块级传输案例的测试用例,测试结果验证了相应的块级传输流程。

Netperf的工作原理及应用

Netperf是一个用于衡量网络各方面性能的测试工具,可以进行不同模式的网络性能测试.作者分析了netperf的工作原理和程序代码,使用netperf的TCP流性能、TCP请求/应答测试主机间经过SOCKS服务器通信与直接通信的性能差异,测试结果说明使用SOCKS服务器提高网络安全对网络性能影响不大.

TCP有限状态机和协议解析在伪警报去除中的应用

面对入侵检测系统(IDS)产生的海量警报,提出了一种基于协议解析和传输控制协议(TCP)有限状态机的伪警报去除方法。对于无连接的请求/应答协议,同时分析请求数据包的攻击特征和应答数据包的返回状态码来去除伪警报;对于TCP,在协议分析的基础上建立TCP数据包的有限状态机的模型,通过判断系列数据包是否为同一TCP连接、是否包含攻击序列来去除伪警报。在DARPA2000的数据集上的实验结果表明,此方法的误警率平均降低了59.47%,对TCP和请求/应答协议的警报的识别率达到76.67%。该方法简单又有效,依赖IDS的攻击特征库,可以插件的形式在线实现。

用于实现异步通信的一种模块化Petri网

在(TS)*SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)*SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response(TS)*SM。

信息共享平台路由策略研究

针对不同系统之间消息传递引起的信息共享平台工作效率问题,提出了"类金字塔"网络架构的信息共享平台,重点对消息路由策略进行了阐述.研究分析及实际运用均表明此路由策略有效节省了带宽,改善了传输效率,大大提高了信息共享平台系统的灵活性和可扩展性.

一种电磁频谱监测系统数据通信协议设计方法

提供了一种电磁频谱监测系统数据通信协议设计方法,主要包括同步请求/应答接口协议和异步数据传输接口协议。实践表明,该协议表达能力强,能够覆盖不同监测业务数据类型,易于编码解码,且传输数据体积小、速度快,能够满足电磁频谱监测的复杂功能需求。