基于发布订阅系统的用户行为预测模型

基于iLBS系统中SP服务器的发布/订阅(pub/sub)中间件技术,提出借助于贝叶斯网络来预测用户行为的一种新颖的pub/sub模型(UBPM).新模式不仅以用户目前所在位置作为通告的唯一标准,而且考虑了用户环境信息中前后台信息的同步,并使用贝叶斯网络对移动用户的行为做出预测.因此,有效地解决了传统pub/sub系统中病态和冗余消息通告的问题,并提高了消息的精确性.实验结果表明相对于现有预测模型,UBPM预测模型更加有效.     

基于CPN的联合作战自适应分队分布式协同结构性能评价

首先以P／T(place／transition)系统(库所／变迁系统)的表现形式,建立了联合作战自适应分队分布式协同结构。然后根据时间CPN的定义及CPN的层次建模方法,建立了系统性能评价的CPN模型;最后根据时间CPN的性能求解方法,用计算机模拟出了系统的平均任务响应时间,并和正常模式下的固定结构作了对比,得出了所建立的自适应分队协同结构的优缺点,指出了其优越性和可行性。     

基于CPN的停车场收费系统建模与仿真分析

由于排队系统动态逻辑的缺乏及其不足的行为分析能力,为此引入了颜色网。为了解决较大型的模型及逻辑复杂的建模问题,进而要在标准的排队系统里引入合理的顶层CPN架构模型,通过CPN模型的方式对排队系统中的3个主要组成部份进行详细的描述。给出停车场收费系统的例子,阐明排队系统的CPN分析法的使用,利用CPN Tools平台对模型进行仿真实现,将仿真结果同数学模型中马尔可夫过程得到的理论值进行对比分析,可验证所建模型的可行性与合理性。     

一种基于CPN的协议测试序列生成方法

针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(ｃolored ｐetri ｎet)、面向属性的协议一致性测试序列生成方法。 首先, 构建被测协议规范的CPN模型, 即协议模型, 并将被测协议的若干功能属性采用CPN进行形式描述, 形成属性模型。 提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法, 基于这些算法给出了一种完整的基于属性的测试序列生成方法。 该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题, 而且还对测试中的PCO库所进行了特殊标识, 完成测试序列中可观察元素的自动提取处理, 使得处理后的测试序列可直接用于协议实际测试过程。 为有效验证所提测试序列生成方法的可行性, 开发了一套实现该方法的软件, 并应用于HMIPv6协议的实际测试过程中。实践表明, 这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持。     

基于CPN网络的电力客户信用风险预测

在分析影响电力客户企业公司财务状况主要因素的基础上,将一种新型特征映射网络-CPN网络理论应用于电力客户信用风险预测,建立基于CPN网络电力客户信用风险预测模型.采用实际数据对模型进行验证,并将其与LVQ网络模型、BP网络模型和传统模型相比较,证明了基于CPN网络电力客户信用风险预测模型具有较高的精度和较强的实用性.     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

测控网络服务元体系结构的虚电路CPN建模

服务元是近期开始研究的一种非层次网络体系结构,采用虚电路VC(Virtual Circuit)结构.如用于专用的测控网络系统,能提高其实时性能.针对测控网络的服务元体系结构用着色Petri网CPN(Colored Petri Net)建模,采用的不是通常自顶而下分级的方法,而是提出了统一建模的思想,用少量复杂的库所、变迁表示模型,给出了网络界熟悉的收发操作算法,提出了两次握手协议和六次握手协议.测控网络采用VC结构,能提高测控网络的实时服务质量QoS(Quality of Server),用CPN工具建模仿真可分析测控网络的性能.     

基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

CPN在移动代理网络入侵监测技术中的应用

详细阐述了一种将CPN实现的移动代理网络应用于入侵检测系统的模型设计。介绍了系统设计的理论基础、代理网络和CPN之间的转换以及系统模型结构，并分析了基于CPN实现的系统较其他系统的优势及未来发展方向。     

抗去同步化的轻量级RFID双向认证协议

针对低成本RFID应用中轻量级认证协议的安全性进行研究,提出一种组合型去同步化攻击方法,该类攻击不用篡改任何协议消息,仅通过拦截、窃听、重放等攻击手段的顺序组合就能导致后台数据库/标签的共享密钥失去同步;设计一种轻量级抗去同步化的RFID双向认证协议,并利用形式化工具CPN Tools模拟运行该协议,该协议可以达到预期状态空间;与同类RFID协议相比,该协议在满足一般隐私安全属性的同时,还能有效抵抗来自恶意阅读器的组合型去同步化攻击,同时能有效减少RFID系统的计算开销,弥补原始协议的不足,更适合低成本RFID系统应用的隐私安全需求。