随机进程代数与随机Petri网

针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望.     

基于Petri网的模型检测研究

模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织对基于Petri网的模型检测理论和验证技术进行了较为详细的研究,着重探讨了基于Petri网状态可达图的偏序简化和偏序语义技术、基于自动机的模型检测算法、基于Petri网的状态聚合法以及基于系统对称性的参数化和符号模型检测技术，并给出了研究思路以及未来所要进行的重点研究工作.模型检测技术已在通信协议和硬件系统的验证等领域得到成功应用，并且随着各种状态空间简化技术和模型检测算法的不断优化，其在其他应用领域也展示出广泛的应用前景.     

报文分类技术的研究及其应用

Internet网络应用的发展要求路由器支持诸如服务质量(QoS)、网络入侵检测、传输测量与记账、负载平衡、拥塞控制等多种不同的技术，虽然实现这些不同技术的细节变化可能很大，但一个公共的要求是路由器能够基于报文的头的某些字段对报文进行分类．从已有的研究表明，实现高速多维报文分类算法是非常困难的，它已成为路由器的新的瓶颈，因此吸引了许多研究人员的注意．系统论述了报文分类的相关技术，包括分类的模型、可能分类的字段，评价分类的基本标准等，通过对现有报文分类算法的比较和性能分析并结合分类规则所具有的特性，提出了设计报文分类算法所应遵循的原则和思路，同时还讨论了报文分类在网络技术领域中的应用和还需解决的一些相关问题．     

多目标进化算法的研究与进展

多目标优化问题通常难以处理,在20世纪80年代中期人工智能的进化算法开始应用于该领域.近10年来涌现了很多种多目标进化算法,一些已成功应用到工程实践中,从而形成了最近的一个热门研究领域.本文阐述了多目标进化算法研究的有关工作进展,并提出今后需要研究的问题,旨在引起大家对此新兴研究领域的关注与兴趣,从而推动与此相关问题的研究.     

TCAM中规则的优化表示

在高速分组分类中,基于TCAM的硬件实现方法是一种重要的解决方案.但TCAM存储空间价格昂贵,并且要求区间匹配转换成前缀匹配,大区间报文匹配的直接转化通常会引起规则空间的膨胀.本文提出一种规则的优化表示方案,提高了区间规则表示的效率,使区间匹配转化的最坏情况由2w-2减少到w,有效节省了空间.     

基于HBM算法的高速反蠕虫引擎的设计实现

基于网络处理器的特点,提出了一种新的多模匹配算法HBM算法。在Intel网络处理器IXP2400上,设计实现了高速反蠕虫病毒引擎。实验表明,引擎达到了千兆以太网的性能要求,具有较好的实际应用价值。     

随机高级Petri网在异构系统中的应用

传统的随机高级Petri网(Stochastic high-level Petri nets,SHLPNs)通过将多个同构子系统压缩成一个子系统,并将具有相同标记分布的多个标识压缩成一个标识(复合标识),从而有效地减小模型规模和状态空间.但该方法仅适用于若干同构子系统组成的系统中,本文将这种方法扩展,通过引入非对称的变迁实施谓词和扩展的复合标识,精确地模型并分析异构系统,同时也保持了SHLPNs在化简模型和状态空间方面的优越性.     

基于IP网络的动态部分缓冲共享方案

本文基于IP网络提出了一种分组丢弃控制方案——动态部分缓冲共享.和已有的静态部分缓冲共享方案相比,新方案根据分组丢弃行为对控制阈值进行动态调整,从而对网络流量的变化具有更优的适应性.同时新方案也避免了复杂的阈值设置问题,任意设定的初始阈值都不会影响系统稳态性能.实验结果显示,新方案可以保证稳定的相对丢失率性能,并且在相同的流量条件下比原有方案具有更低的抖动延迟.     

基于Intel网络处理器的路由器队列管理: 设计、实现与分析

通过设计并实现的基于Intel网络处理器(IXP1200)和相对区分服务模型的队列管理服务模块和一种新的缓冲管理算法DPBS(Dynamic Partial Buffer Sharing),研究了系统同步、线程的任务分配、队列管理基本操作等几个关键问题。     

前言

正智慧城市是当今世界城市发展的新理念和新模式,是新一代信息技术创新应用与城市经济社会发展深度融合的产物.智慧城市以物联网、云计算、移动互联网、大数据、遥感遥测、空间地理信息系统等新一代信息技术为基础,以物联化和互联化的方式动态获取、感知、分析和整合城市各方面数据,促进城市信息资源的网络化共享、集约化整合、协作化开发和高效化利用.发展智慧城市相关技术,能够促进现代