基于FSM的通信协议形式描述与验证技术

本文主要研讨基于有限状态机(FSM)的通信协议形式描述与验证技术。文中先论述了基本FSM形式描述与验证技术,给出了访问确认协议的FSM描述与验证实例,研讨了基于FSM验证方法的形式数学基础——全局状态矩阵的特征和性质;接着讨论了基于FSM的有关改进形式技术;最后给出了有关结论。     

利用定制接口的方法实现RIPv1和RIPv2的协同工作

介绍RIPv1和RIPv2协同工作的方法及CISCO RIP实现的相关知识，并通过实例说明了这种方法的应用在CISCO路由器上的具体实现。     

Formal Specifications and Verification of a Secure Communication Protocol Model

1 .INTRODUCTIONAlongwiththerapiddevelopmentofthecomputernetwork,theinformationtransferredthroughthenetworkhasbeenontheincrease ,accordingly ,thesecurityofcommunicationhasbecomeapopulartop ic .Communicationprotocol,theessenceofcomputernetworkanddatacommunication ,referstoapropercommunicatingbehaviorcarriedoutbyasetofproto colentitiesundercertaincommunicationrules.Itistheimperfectcommunicationprotocolthatcausestheinsecurityofnetworkcommunication .Inthispaper,asecurecommunicationprotocolmode…     

基于EPA标准功能块的设计与实现

详细介绍了EPA功能块的设计与实现，概要介绍了EPA通信协议栈的设计与实现以度二者之间的互连,通过案例分析详尽说明了EPA功能块在现场设备通信模块与网络控制系统中的实现方案。     

电子邮件病毒安全防范研究

介绍了电子邮件病毒及其特征,阐述了电子邮件工作原理,探讨了电子邮件病毒的解决方案和安全防范手段。     

移动自组网协议栈测试系统设计与实现

移动自组网的性能测试是重点问题。利用运动控制卡和伺服电机搭建一组移动转台,在转台上部署节点进行组网通信,通过设置上位机软件,保持转台之间以相同速度运转,测试不同速度下网络丢包率。结果表明,该系统在3 000r/min以下能稳定运行,且使用安全、易扩展等。     

敏捷制造系统的基于Agent的混合调度

针对敏捷制造调度环境的不确定性和动态性,研究了基于分布式多Agent的敏捷制造系统控制结构及混合调度策略.首先,提出多Agent制造控制结构,该结构兼有Agent的自治性和递阶组织(或动态逻辑单元)的协调性.接着,研究了结合模糊规划与模糊合同网的混合作业车间调度方案.该方法具有静态调度方法的精确性和合同网方法的动态、灵活性.最后设计算例仿真并验证了方法的可行性与效率.     

基于DSP的手势识别电视遥控器设计

由于传统电视机遥控器的按键操作比较机械且缺乏娱乐性,设计了一种以DSP2812为核心的手势识别算法。通过将用户手势运动的信息转换成相应的红外信号,从而实现手势遥控电视机更换频道和调节音量的目的。该系统主要由双端口RAM通信的双DSP并行处理器、CMOS数字摄像头、红外遥控模块、上位机调试软件和以太网通信模块组成。实验测试表明,该系统能够实现用户手势图像的采集、手势动作的识别、红外遥控及以太网通信功能。     

下一代远程网络配置管理系统的研究与实现

在全面分析成熟的SNMP技术、NETCONF协议和TR-069协议之后,实现了一种全新的基于XML的网络配置管理系统.该系统主体架构是基于NETCONF协议,通过转换SNMP 管理信息结构、管理信息库方式来实现NETCONF数据建模,并实现了TR-069协议中定义的自动网络配置功能,使得网络配置管理更智能化,并具有更高的安全性和稳定性.     

基于SMTP服务器的邮件认证机制

介绍了SMTP协议在安全方面的局限性,讨论了在网络环境中可能被垃圾邮件制造者所利用的弱点,设计了一种基于现有邮件服务器并可对邮件来源进行认证的SMTP协议改进方案,给出了实现方法及流程,并讨论了对垃圾邮件的遏制效果.