A Hybrid Formal Description Method Based on FSM,CSP and ADT for Communication Protocol

1.INTRODVCTIOWWiththedevelopmentofcomputernetworksandthedistributionofcomputersystems,thecomplexityandvarietyofcommunicationprotocolsandserviceshavebeengreatlyincreasedandsohavetheneedsofformaltechniquesforspecifying,validating,implementingandtestingprotocols.Moreattentionhasbeenfocusedonthissubjectofdevelopingformalmethodswhichaidtheprocessofprotocoldesign,andmuchworkontheformaltechniquesandtheiruseforprotocoldesign,implementationandtestinghasbeenp.erformedinrecentyears(SeeTable1)[2,31.T…     

Bipartite Consensus of Discrete-Time Double-Integrator Multi-Agent Systems with Measurement Noise

The effects of measurement noise are investigated in the context of bipartite consensus of multi-agent systems. In the system setting, discrete-time double-integrator dynamics are assumed for the agent, and measurement noise is present for the agent receiving the state information from its neighbors. Time-varying stochastic bipartite consensus protocols are designed in order to lessen the harmful effects of the noise. Consequently, the state transition matrix of the closed-loop system is analyzed, and sufficient and necessary conditions for the proposed protocol to be a mean square bipartite consensus protocol are given with the help of linear transformation and algebraic graph theory. It is proven that the signed digraph to be structurally balanced and having a spanning tree are the weakest communication assumptions for ensuring bipartite consensus. In particular, the proposed protocol is a mean square bipartite average consensus one if the signed digraph is also weight balanced.     

计算机网络的一种通信协议分析

本文研究分析了计算机网络的一种通信协议──命名映象协议。论述了命名映象的基本技术，讨论了命名映象的四种主要服务，命名映象的信包结构，并提供了一种具体的通信协议例程。     

基于FSM的车辆底盘CAN网络建模与仿真

简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延时的影响,并将该网络通信模型应用于车辆4WS控制系统,针对网络通讯延迟对控制效果影响进行了仿真分析,进一步证明了使用该模型研究数据传输延时对控制系统控制影响的可行性。     

Leader-following consensus for discrete-time multi-agent systems with parameter uncertainties based on the event-triggered strategy

In this paper, the leader-following consensus for discrete-time multi-agent systems with parameter uncertainties is investigated based on the event-triggered strategy. And the parameter uncertainty is assumed to be norm-bounded. A consensus protocol is designed based on the event-triggered strategy to make the multi-agent systems achieve consensus without continuous communication among agents. Each agent only needs to observe its own state to determine its own triggering instants under the triggering function in this paper. In addition, a sufficient condition for the existence of the event-triggered consensus protocol is derived and presented in terms of the linear matrix inequality. Finally, a numerical example is given to illustrate to efficiency of the event-triggered consensus protocol proposed in this paper.     

用FPGA实现RS-485通信接口芯片

在点对多点主从通信系统中 ,需要合适的接口形式和通信协议实现主站与各从站的信息交换。RS -4 85接口是适合这种需求的一种标准接口形式。当选择主从多点同步通信方式时 ,工作过程与帧格式符合HDLC/SDLC协议。介绍了采用VHDL语言在FPGA上实现的以HDLC/SDLC协议控制为基础的RS - 4 85通信接口芯片。实验表明 ,这种接口芯片操作简单、体积小、功耗低、可靠性高 ,极具实用价值。     

耗散结构理论在科学传播实践中的应用——基于上海浦东新区的实证研究

作为建设创新型国家战略基础工程的科学传播,是一个宏大的复杂系统,该系统具备形成耗散结构的条件,即系统具有开放性、远离平衡态、存在涨落及系统各要素之间存在非线性相互作用等特点,运用耗散结构理论指导科学传播实践,将有助于我们认识科学传播实践的条件和规律,自觉推进其由低层次向高层次的有序转变。     

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

The Algorithms for Achieving Global States and Self-Stabilization for Communication Protocols

1.INTRODUCTIONWiththerapiddevelopmentofhigh--speedlletworks,multimediacommunicatiollnetworksandmobilecomputernetworks,theissuerelatedtocommunicationprotocoldesignhasbeenmoreextensivelyattentionbymanypeople.Becausecommunicationprotocolsdealwithcomplexissuesrelatedtodistributionsucllascommllnication,concurrency,syllchronizationofmultimediaandcooperationofprocesses,theirdevelopmentneedstobetackledusingsophisticatedformalmethod[l,2].Whellaprotocolisexecuted,thecooperationofdifferentprocessesin…     

BitTorrent协议的Petri网建模方法研究

BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petn网层次模型,集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。     

A Recovery Algorithm for Self-Stabilizing Communication Protocols

1.INTRODUCTIONThetheoryandmethodfordesiringcollUnwhcationprotocolsareoneoftheimportantresearchingissuesinfieldsofcomputernetworksanddistributedcomputingsystems.Withtherapiddevelopmelltofhigh-speednetworks,multimediacolnlnwhcationnetworksandmadbilecomputernetworks,theresearchingissuerelatedtocommunicationprotocoldesignhasbeenmoreextensivelyhavenattentionbymanypeOPleworldwide.Becausecommwhcationprotocolsdealwithcomplexissuesrelatedtodistributionsuchascolnmwhcation,concurrency,synchroniZati…     

分布式仿真中聚合模型网络通信的研究

网络通信是制约分布式仿真系统扩展性的“瓶颈”，本文针对聚合模型进行分布式仿真中网络通信频繁、信息交互量大的特点，从信息交互协议和信息交互方式两方面进行探讨，提出了采用变长交互协议，使用预估DR算法来减少仿真中聚合模型信息的交互量。实验证明：该方法较好地解决了仿真中信息交互“瓶颈”问题。     

ENERGY-EFFICIENT SENSING COVERAGE AND COMMUNICATION FOR WIRELESS SENSOR NETWORKS

Wireless sensor networks have a wide range of applications. Sensing coverage and communication coverage are two fundamental quality of service. In this paper, we present our work on energy efficient sensing coverage and communication. We design several schemes for sensing coverage subject to different requirements and constraints respectively. We also propose a broadcasting communication protocol with high energy efficiency and low latency for large scale sensor networks based on the Small World network theory. Simulation and experiment results show that our schemes and protocol have good performance.     

基于水声通信延迟的多UUV协同定位算法

针对多水下自治机器人(unmanned underwater vehicle, UUV)协同定位过程中水声通信延迟造成的定位失效问题,提出了一种基于状态估计均方误差最小的延时扩展卡尔曼滤波(delayed extended Kalman filter, DEKF)定位误差修正方法。首先建立考虑水声通信延迟的系统状态方程,利用状态转移矩阵推导系统等效量测方程,然后给出多UUV 考虑水声通信延迟的扩展卡尔曼滤波(extended Kalman filter, EKF)定位方法并分析其不足;最后在EKF方法的基础上,分析量测信息延迟对状态估计的影响,建立系统真实量测模型,设计基于状态估计均方误差最小的DEKF 算法。仿真结果表明,该方法能够有效地修正多UUV 协同定位中由于水声通信延迟造成的定位误差,在工程实践中具有一定参考意义。     

实现自动化测试系统中串行通信若干问题的研究

本文讨论研究了计算机与智能仪器串行通信的主要问题,首先分析了这种串行通信的特点,阐述了计算机串行通信方式的选择,接口硬件的连接及软件的编程。重点讨论了实现串行通信中的通信协议、流量控制和差错检测,经在PC—386工控机与数种智能仪器的串行通信实验,得到了令人满意的良好效果。文中提出的内容是理论与实践结合的经验总结,它对从事于计算机与智能仪器串行通信工作的人员具有重要的参考价值。     

通过软件证实提高传感网络再编程安全可靠性

通过无线信道进行传感节点远程再编程是一种有效的管理和维护传感网络的重要功能。传统的再编程协议未提供任何安全机制,使传感网络不能防御一些很简单的攻击;新的安全再编程协议使用非对称加密机制,需要多的计算和存储开销,不适用于资源受限的无线传感节点。对此,提出了一种基于软件证实技术的无线传感网络再编程安全协议,该协议通过运行在合法节点上的代码证实和基站上的代码影像证实来隐藏对称密钥,并通过从基站向传感节点传递参数r来保证认证的动态性。将该策略与已有的再编程协议MNP集成,模拟实验表明,该策略以比较低的通信成本和较短的延迟提高了再编程的安全可靠性。     

一种跨层服务发现协议的设计与仿真分析

一般认为，服务发现协议用于解决设备间的相互发现及网络服务的自动获取。对于网络可靠性差，节点移动性大的Ad Hoc网络而言，服务的自动发现至关重要，但由此带来的通讯开销和请求时延也相当显著。为此，提出了一种基于混合区域路由协议ZRP的跨层服务发现协议-CZRP。该协议通过将服务发现机制与网络层ZRP路由机制相结合，利用ZRP的混合路由及BRP广播机制，添加服务加入、查询、选择、删除等机制，可在开销较低的条件下完成服务的自动发现。仿真结果表明，在移动Ad Hoc网络环境下，CZRP可较大地降低网络通讯开销和服务请求延迟。     

QUEUEING NETWORKS WITH STRING TRANSITIONS OF MIXED VECTOR ADDITIONS AND VECTOR REMOVALS

1 IntroductionProduct form queueing networks have regained considerable interest over the last coupleof years. In particular, extensions beyOnd the wellknown JaCkson, BCMP and KellyWhittletyPe networks (e.g., I1--5]) have been establlshed. Extensions include networks with batchmovements (such as [6--10]), networks with negative customers and signalling ([11--17l, amongothers), and assemblytransfer networks ([18, 19]). Transitions ill product form netWOrs nowgeneral1y include multiPle sta…     

用MATLAB实现AAL2信元带宽利用率近似模型仿真

论文通过使用MATLAB仿真对AAL2协议在移动通信中的应用进行研究和分析。文中介绍了CDMA系统中AAL2协议的基本原理,然后用一种新的近似计算的分析方法分析了定时参数t和信元带宽利用率之间的关系,并通过使用MATLAB仿真验证了结论。