移动Ad hoc中发布/订阅路由协议的网络仿真*

通过在Ad hoc多播路由协议(ADMR)中加入发布/订阅匹配算法,将发布/订阅中间件与移动Ad hoc网络相结合,设计出适应发布/订阅分布式网络的多播路由协议(PSMR),中间件使用该协议将发布者的数据分发到相匹配的订阅者。使用NS2网络仿真平台实现了该协议,将其与ADMR进行性能比较,大大减少了网络中分组转发次数,提高了网络效率。     

实时数据分发系统软件的设计与实现

实时数据分发系统指使用实时数据分发服务中间件的分布式系统。实时数据分发服务中间件采用实时发布-订阅协议,通过在数据发布方和订阅方之间配置的服务质量参数,可以实现不同的数据需求和传输方式。该中间件能够跨平台操作,屏蔽底层操作系统的差异,这有利于系统灵活动态地扩展和升级。文中阐述了数据分发服务的思想和模型,以RTI公司的数据分发服务中间件DDS为例,具体研究了该中间件的软件设计和实现。     

基于MQTT协议的轻量化文本信息分发技术研究

随着卫星通信网络的发展,基于卫星通信网络实现手机、平板电脑等移动通信设备之间的通信成为研究的热点。由于其采用无线电波进行信号传输,且需要经过多个中继站进行信号的转发和处理,导致存在网络延时大、丢包率高以及信道狭窄等问题。针对文本信息在卫星通信网络下的分发过程存在效率低下、可靠性不高的问题,设计一种基于MQTT(Message Queuing Telemetry Transport)协议的轻量化文本信息分发技术。该技术使用MQTT协议作为消息传输协议,在文本信息分发前对MQTT协议进行主题设计、发布订阅机制设计、设备连接设计以及设备心跳设计,确保设备之间的连通性;在文本信息的分发过程中,设计数据校验加密算法、文本信息轻量化处理方法和离线消息存储机制,保证文本信息分发的安全性、可靠性。实验结果表明：相较于传统的基于JSON数据的文本信息分发技术,该技术在提高文本信息分发效率的同时,可确保信息分发的安全性、完整性和稳定性。     

基于P2P技术的遥感数据分发策略研究

针对遥感数据分发过程中存在的按需分发难度大、分发自动化程度低、分发速度慢等问题,提出了发布/订阅技术与P2P技术相结合、数据主动推送和数据被动拉取分步进行的分发策略.首先通过订阅分发的方式对用户的需求进行划分,然后针对单个遥感数据较大的问题,对遥感数据进行BT编码,最后主动推送编码数据,利用多个用户(BT客户端)之间的数据共享完成数据的高效快速分发.实验表明,该策略很好地解决了遥感数据分发中存在的问题.     

一种提高XML文档分发效率的封装策略

每个路由器的路由表上所包含的订阅信息具有一定的关联性,现有的优化技术大多关注于单个路由器的效率,没有充分利用这一关联特性。结合目前常用的XPath订阅汇总技术,提出了两阶段封装策略生成头信息,并封装在文档的头部优化下游路由器的处理。传统的立即转发协议虽然可以加快分发过程,却不能充分生成和利用封装信息,基于封装的文档设计了一种将延迟转发和立即转发相结合的自适应的转发策略,从而充分利用了路由过程中订阅和匹配的关联性,提高了整个XML文档内容分发的性能,并给出了实验进行正确性验证。     

一种基于多播分发树的无线传感器网络代码分发协议

代码分发协议是无线传感器网络（WSNs）在实地部署之后进行软件更新的关键技术。针对现有代码分发协议对特定目标节点分发时需要传输冗余代码镜像的问题,提出了一种基于多播分发树的代码分发（MTCD）协议。MTCD协议通过建立基站节点到目标节点的分发树路径来降低网络中参与代码分发节点的个数,从而降低数据冗余传输和网络能量消耗。TOSSIM仿真结果表明：与TinyOS的标准代码分发协议Deluge相比,MTCD协议在分发时间和数据包传输方面都有更优的性能。     

无线传感器网络中的分频数据分发协议

从数据源到数据接收者的数据分发是无线传感器网络的重要功能．本文提出了分频数据分发协议，该协议通过多棵分发树对数据接收者进行数据分发，从而最大限度地重用数据传输路径．实验表明，在数据接收者较多的情况下，分频数据分发协议比现有最好的数据分发协议SEAD的加权路径长度要短15％左右，从而有效节省了分发数据的能量消耗，延长了系统生命期．     

一种结合网络编码的分发协议在无线传感器网络中的应用研究

无线传感器网络中,对网络节点参数进行重配置通常使用小数据分发协议,现有小数据分发协议大都使用复杂的算法,不适合参数重配置数据量特别小、要求高可靠性及低延迟这样的应用场景,因此本文采取结合网络编码技术以空间换时间的思路,对经典的Drip协议进行改进,并通过与Drip协议及其它数据分发协议进行仿真实验,研究结果表明本文提出的改进协议在小数据分发实时性和可靠性总体性能方面相对已有经典协议有一定提高。     

移动自组网中基于渗流理论的概率可靠分发协议

提出了基于渗流理论的概率可靠分发协议(PLPD).与其他概率可靠分发协议不同,PLPD协议感知节点的地理信息并进行有向分发,不需要泛洪控制信息来进行组成员管理.在PLPD协议中,每个组成员只需维护其邻近区域中部分其他组成员视图,并以一定的概率向视图中的成员转发消息.采用渗流理论对PLPD协议的分发过程建模,从理论上证明了当分发概率参数大于某个阈值时,PLPD使每个消息被分发到所有组成员的概率为1.模拟实验表明,PLPD协议在获得高可靠性的同时有效地减少了网络负载,并在大规模移动自组网络中有较好的可扩展性.     

基于P2P网络的语义发布/订阅系统路由算法研究

在结构化P2P网络基础上构建语义发布/订阅系统是近年来的研究热点。提出一种基于Chord的语义事件路由算法,算法采用基于集结点的路由策略,首先使用保留语义的哈希函数将订阅映射至事件代理集结点;其次根据订阅与事件之间的语义信息,仅发布事件至可能匹配的订阅集结点,采用Chord路由协议构建的订阅生成树分发通知消息;最后过载的集结点通过订阅迁移实现系统负载均衡。仿真实验表明,算法在一定程度上减少了资源消耗,提高了路由效率,达到了负载均衡。     

基于Petri网的联锁软件测评仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.     

虚拟手抓握动作的Petri网模型及其仿真实现

虚拟手的运动建模是三维人机交互研究中的一个关键问题.虚拟人在执行维修作业的过程中,不可避免地需要徒手抓握操作对象或维修工具.为此,该文提出了一种基于位置/变迁Petri网的虚拟人手抓握动作模型.该方法以关节化虚拟手的几何建模和关节约束分析为基础,描述了抓握动作的Petri网模型,通过仿真循环叠代和关节插值计算,实现关节链上各个关节的运动控制,并基于面向对象的技术设计实现了典型抓握动作.最后,基于人体建模与仿真软件Jack,设计并实现了一个虚拟手抓握动作的Petri网,仿真和实验结果表明所述方法简便易行,能够满足虚拟维修作业的要求.     

一种面向网格工作流的增强型Petri网建模方法

随着网格技术的迅速发展,网格工作流也逐渐成为了研究的热点.对于传统的工作流而言,Petri-Net与WF-Net以其简单实用的特点而被广泛使用.然而,它们在实际建模的过程中仍存在一些问题,同时也无法满足网格环境下工作流的建模要求.因此,提出一种新的增强型Petri网建模方法.该方法在Petri的基础上,对嵌套、撤回、资源等方面做了严密的定义,弥补了Petri-Net与WF-Net的不足,是一种有效的针对于网格工作流的建模方法.     

面向Artifact的业务过程模型

提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。     

一种基于Petri-Net的新型MVC模式及实现

MVC（模型/视图/控制器）是一种应用广泛的设计模式,ERP是一种复杂的大型企业信息系统。阐述了MVC模式的原理及其主要应用方式,提出并实现了一种基于Petri-Net的新型MVC模式,能非常好地解决CS（Client/Server）环境下ERP系统具有的复杂的交互操作以及复杂的业务流程。     

Ar/T-Net:一种面向Artifact的业务过程概念模型

以数据为中心是业务过程管理发展的新趋势,面向Artifact的业务过程管理是一种具有代表性的以数据为中心的业务过程管理技术。概念模型设计是面向Artifact的业务过程设计的关键步骤,但目前还没有成型的建模和分析工具。利用谓词/变迁Petri-Net建模的优势,根据Artifact的特点,用嵌套关系模式定义Artifact的结构;以描述Artifact的嵌套关系模式作为谓词,提出了一种适合于概念模型设计的谓词/变迁Petri-Net,即Ar/T-Net。以可达性分析为例,讨论了Ar/T-Net的功能。     

基于Web的工作流建模工具的设计与实现

本文介绍了一个以Petri网建模理论为基础的可视化建模工具的设计实现过程,并给出了结合Web多层开发框架实现该工具的技术路线.     

基于Web的工作流建模工具的设计与实现

本文介绍了一个以Petri网建模理论为基础的可视化建模工具的设计实现过程,并给出了结合Web多层开发框架实现该工具的技术路线。     

医院病房监护系统的Petri网建模与分析

结合医院病房监护系统的问题描述,给出了系统的监护流程图,在流程的基础上建立了相应的Petri网模型。最后对该模型进行可达性、安全性、有界性和活性四个主要的性质进行分析。     

一个拟PETRI网建模模型

本文利用ＰＥＴＲＩ网和自动机理论，为ＥＡＲ数据模型的数据库设计，建立一个拟ＰＥＴＲＩ网的设计方法，并构造一个建模模型，为数据库辅助设计提供基础框架结构。