具有无标度拓扑结构的耦合映象格子的同步与控制

研究了具有无标度拓扑结构的耦合映象格子的同步和控制，为此，采用3种反馈方法（常数反馈和两种时延反馈）对系统的部分节点进行控制以达到所期望的状态。分别计算和分析了控制后产生的新分岔图。同时发现：对于第一种时延反馈控制，临界反馈控制值线性地随着耦合映象格子的耦合强度的线性增长而增大；当控制强度大于临界反馈控制值时，具有无标度拓扑结构的耦合映象格子系统会失去同步状态进而出现间歇振荡现象。     

利用量子计算语言进行量子通信仿真

量子通信是利用量子位进行信息传送的一种绝对安全的通信方式。将一种用于量子计算仿真的量子计算语言引入量子通信的研究中,实现了一种典型的量子安全直接通信协议的正确性、安全性仿真验证,并得到各种性能指标。仿真结果与理论分析结果的一致性验证了利用量子计算语言进行量子通信协议仿真的可行性。量子计算语言的引入,为量子通信的研究提供了一种强大、简便、通用的工具。     

一种局部网际网传输通信协议的研究分析

本文研究分析了一种局部网际网环境下的数据报传输通信协议（ＤＤＰ）。文中论述了 ＤＤＰ及其套接字，讨论分析了 ＤＤＰ的数据报格式、接口及路由算法，并结合基于 ＭＡＣ的 Ａｐｐｌｅ Ｔａｌｋ局部网络给出了 ＤＤＰ的应用通信例程。     

移动Ad Hoc网络中的命名服务与目录服务

命名服务与目录服务属于移动Ad Hoc网络（MANET）中的基础服务。目前MANET中实现命名服务的一种主要方式是通过设备的硬件地址自动生成，这种方式由于与硬件地址绑定带来了用户不友好、不便记忆、更换设备需要更换名字等缺点。提出了一种分布式的名字自动分配机制，名为NetNeighbor，可以为MANET中的移动主机提供命名服务与目录服务。仿真结果表明，系统运行稳定后NetNeighbor协议命名冲突的概率为0，有效地避免了移动主机名字冲突对数据通讯造成的影响：每个节点中保存的全局信息量达到98％，使局部存储的信息精确地反映了网络全局视图，提高了目录服务的准确率。     

基于SVM算法的短波通信协议识别技术

受时变色散信道及多径效应的影响,短波通信协议的识别存在截获信号质量差、单一特征识别准确率低等问题。提出了协议特征向量和自熵,设计了一种具有自适应学习能力的协议识别模型和相应的识别算法,最后给出了参数寻优结果以及识别准确率分析。本文的工作为短波通信协议识别技术的应用提供了重要参考。     

耦合帐篷映象格子系统性能分析

耦合映象格子系统将混淆和扩散很好地结合在一起,这种结合可以被用来设计Hash函数及序列密码,极具密码学应用价值,而耦合映象格子系统参数直接影响密码学性能.选用帐篷映射作为耦合映象格子系统的非线性函数,通过数值仿真详细分析系统参数变化对耦合映象格子系统所产生序列的随机特性、差值分布特性、相空间结构、不变分布特性、序列复杂性、Lyapunov指数、自相关特性、互相关特性等的影响,为密码系统设计提供参考。     

双站散射具有映象不对称性、极化互换不对称性和极化互换下的映象对称性

不论其电特性如何,只要是平面对称的目标,在圆极化波照射下,其双站散射特性具有映象(reflection)不对称性、极化互换(reversal)不对称性和极化互换下的映象对称性。熟悉双站散射的这些特性,不仅对判读双站雷达的数据有用,并且易于解释偏焦反射天线特性中的退极化和波束偏离现象。另外,利用其对称性,既可以减少双站散射试验场和偏焦天线的测量次数,也可以减少理论推演或计算机计算所花的时间和费用。本文推导了映象不对称性、极化互换不对称性和极化互换下的映象对称性,并将这种对称关系和电磁互易原理相结合,以确定为表征目标散射特性所需的最少测量次数。     

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

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

新型实时以太网介质访问控制协议的仿真实现

OPNET是一个功能强大的网络建模和仿真工具，在通信协议的设计，优化和评估中得到广泛的应用，本文以一种新型的实时以太网介质访问控制协议的仿真为例，介绍总线型协议建模方法，详细描述了OPNET的建模领导具过程，系统中，网络模型由节点和信道构成，节点模型描述节点的行为，由互加的模块组成，而模块的功能是由状态转移图来表示，文章介绍了节点模型和信道模型的构造，并且以介质访问控制模块为例详细描述了模块的有限状态机实现，最后通过仿真验证了协议的正确性和有效性。     

基于随机Petri网的机载软件更新系统性能评价

近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。     

基于随机/自由和按需算法的卫星BoD多级MAC协议

针对全球没有统一BoD协议标准的问题,根据随机、自由和按需分配多址协议的特点,借鉴802.11分层协议工作原理,提出了一种新的BoD多级MAC协议,它根据地面站数量和系统业务量确定使用不同的协议,通过提高动态信道利用率达到降低平均传输时延的目的。理论分析和仿真结果表明,多级MAC协议在系统业务量小、地面站多时能得到小的传输时延;业务量增大后,在保持最大系统流量的同时仍能得到较小的传输时延,同时通过改进碰撞算法保证了系统的稳定性。     

控制网络节点可重构协议栈的仿真研究

针对控制网络中协议异构性以及通信环境不确定性的问题,提出可重构协议栈体系结构。基于MATLAB环境下的Stateflow和Simevents工具箱,设计了一套通用的协议元件库,支持协议栈静态重构和动态重构性能的仿真研究。进一步,研究了与Simulink工具箱的接口,实现协议栈与控制对象模型的联合仿真。该方法为研究协议栈对网络控制系统的影响提供了一个良好的平台,发展和完善了协议栈可重构理论。     

电子支付协议可追究性的Petri网建模与分析

可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法.Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性.但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性.     

随机需求下单制造商两零售商合作广告协调模型

考虑了由单个制造商两个零售商所组成的供应链生产销售Newsvendor型产品的合作广告问题.分析了制造商的品牌广告投入及两个竞争零售商的地方促销广告投入对每个零售商需求的影响,分别给出了分散决策和一体化决策下制造商的最优广告投入,两个竞争零售商的最优地方促销广告投入及销售期初的最优订购批量,利用利润共享契约使得供应链达到协调,并从供应链各成员风险偏好的角度对渠道收益的分配问题进行了探讨.     

A Transport Protocol and Its Formal Description for Local Networks

ＡＴｒａｎｓｐｏｒｔＰｒｏｔｏｃｏｌａｎｄＩｔｓＦｏｒｍａｌＤｅｓｃｒｉｐｔｉｏｎｆｏｒＬｏｃａｌＮｅｔｗｏｒｋｓＬｉＬａｙｕａｎＷｕｈａｎＴｒａｎｓｐｏｒｔａｔｉｏｎＵｎｉｖｅｒｓｉｔｙ，４３００６３，Ｐ．Ｒ．Ｃｈｉｎａ（ＲｅｃｅｉｖｅｄＭａｙ４...     

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…     

Internet域名系统的解析的研究与性能分析

分析了目前的DNS和改进方法E－DNS关于Internet上主机名字与IP地址之间的解析过程．并为提高解析速度，提出了快捷解析和混合解析方法，同时对各种方法作了性能分析和评价．     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

分布式仿真系统非阻塞式协同检查点协议

联邦存储是实现分布式仿真系统容错的基础,IEEE1516-2000中提供了一种阻塞式的系统状态存储协议,实际使用时会给系统带来很大开销。根据对系统状态存储过程中仿真组件状态变化影响因素的分析,提出了一种非阻塞式的系统状态存储协议,该协议完整地解决了由于在系统状态存储期间允许时间推进导致所保存的RTI状态和对应成员状态时间上的不一致、由于成员间消息传递导致不同成员状态的不一致及in-transit消息问题。先完成状态保存的成员不需阻塞,该协议在一定程度上降低了联邦存储的开销。证明了该协议的正确性。