扩展时段时序逻辑的推理机制

该文在扩展时段时序逻辑的基础上提出了一种推理机制，这种推理机制基于时间Petri网模型及基本不等式规则，可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系，对不确定时间段内发生的事件及其相互关系具有较好的描述能力，这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析，利用时间Petri网模型，可以对复杂时序逻辑关系进行化简，比单纯利用不等式规则的推理更直观，也更简单，是一种行之有效的方法。     

ATM网络拥塞控制中PID控制器的设计

自适应比特（ABR）业务的流量控制是ATM网络中一种有效的拥塞控制机制和流量管理手段。在大规模的高速网络中，算法的简洁性对优化交换机的性能是至关重要的。尽管二进制ABR流量控制的简洁性具有相当的吸引力，但显式前向拥塞标识（Explicit Forward Congestion Indication,EFCI)算法控制的队列长度和允许信元速率（Allowed Cell Rate,ACR)大幅振荡，降低了链路利用率，严重的影响了交换机的性能，为此有了相对复杂却有效的显式速率反馈机制，在该文中，引入了拥塞的概率判定机制，并运用经典控制理论为拥塞判定概率的实量更新设计了线性的PID控制器，避免了非线性的控制规律可能诱发的系统自激振荡，在PID控制器的参数整定上，因为使用常用处受到限制，进而给出了一种基于确定稳定裕度的参数整定方法，仿真试验表明：二进制流量控制中的PID算法在保持了算法简洁性的前提下，大幅度地抑制了ACR和队列长度的振荡，提高了链路利用率，减小了队列系统引入的时延抖动，为保证ATM网络中的服务质量（Quality of Service,Qos)提供了必要的技术支持。     

RED算法的稳定性:基于非线性控制理论的分析

随机旱期检测（Radom Erly Detection,ERD)算法是主动队列管理（ActiveQueue Management,AQM)的有效实现算法，有关它性能的研究是近来网络研究的一个热点，在某些网络配置和负载状态下，RED存在稳定性问题，已有的关于RED稳定性的研究用不同的方法，从不同的角度定性或定量地揭示了可能的原因，并给出了稳定运行的工作区间，但没有对等幅振荡的队列行为给出一个合理的解释，在该文中，作者利用描述函这一非线性控制理论中经典的分析方法，分析了RED和getle-RED的工作特性，认为分组丢弃概率曲线中的非线性结构诱发的自激振荡是队列呈现周期运动的本质原因；虽然相比较而言，getle-RED比RED有更宽的稳定工作区间，但也是非常有限公司，解决AQM稳定性的理想途径是设计更为鲁棒的线性控制器。     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

可编程路由器中基于缓冲队列长度阈值的处理器调度

可编程路由器除了转发IP分组之外,还需要执行计算任务.如何调度可编程路由器中CPU的处理能力是一个需要解决的重要问题.本文首先建立了一种通用的可编程路由器软件体系结构,在此基础上,提出了一种基于缓冲队列长度阈值的CPU调度算法,采用随机Petri网对算法进行了模型分析和计算.结果表明,该调度算法可以同时保证可编程路由器中的尽力发送流和QoS流的计算需求.     

可信网络中用户行为可信的研究

目前网络安全受到严重的挑战,国际研究表明网络安全正向着网络可信方向发展,未来网络安全是增加行为可信的可信网络,它主要包括服务提供者的可信、网络信息传输的可信和终端用户的可信.通过研究用户的行为信任,不仅可以减少或避免与恶意用户交往,而且因为服务提供者与用户之间建立了互信,从而提高了它们合作完成任务的可能性,降低了因不信任带来的监控和防范等额外开销,所以对用户行为可信的研究不仅可以提高网络的安全性而且也可以提高网络的性能.以可信网络中用户行为可信研究为核心,提出了面向可信网络的用户行为信任的评估、预测与控制架构,包括行为信任的可靠评估;满足不同安全与性能需求的灵活的信任预测;基于信任与风险、利益得失的系统访问博弈决策:基于信任的动态的资源访问控制和以信任预防为主,实时监控为辅的异常行为的监控与防范等.并把这些用户行为可信管理机制进行有效组合,实现了动态控制与静态控制,信任与风险的统一,为可信网络的进一步研究提供基础.     

可信网络的发展及其面对的技术挑战

随着信息网络的基础性、全局性作用日益增强,传统的网络理论与技术,尤其是网络安全,已经不能满足网络发展的需要,提供系统的安全可信的服务已经成为网络研究的新趋势。本文认为可信网络应该是网络和用户的行为及其结果总是可预期与可管理的。网络可信主要包括服务提供者的可信、网络信息传输的可信性和终端用户的可信等3个方面的内容。从网络与用户行为的可信模型、可信网络的体系结构、服务的可生存性、网络的可管理性4个方面进行研究,以便为解决可信网络面临的科学问题提供思路。     

主动队列管理算法的分类器实现

作为端到端拥塞控制的增强机制,主动队列管理(AQM)通过在网络中间节点有目的地丢弃分组来维持较小的队列长度和较高的链路利用率.已有的大多数主动队列管理算法沿用了随机早期探测(RED)算法首创的概率丢弃机制.本质上,判决是否丢弃分组的过程是一个依赖于网络拥塞状态的决策过程,因此,概率决策不应该是唯一的方法.在本文的研究中,我们首先归纳了理想AQM算法所应具备的品质,然后应用模式识别中分类器的设计思想提出了一种新颖简洁的主动队列管理策略实现框架,并基于Fisher线性判别方法为AQM设计了一个两维两类分类器(TCC).仿真试验表明TCC有效、敏捷、鲁棒,扩展性好,同时实现简单,计算开销小,有利于高速路由器的性能优化.     

网络安全的随机模型方法与评价技术

随着网络系统逐渐复杂和庞大,特别是网络攻击和破坏行为的日益普遍和多样,网络安全性面临严峻的挑战．网络安全性研究已经成为国际上重大的科学问题之一,也是影响社会经济发展和国家发展战略的重要因素．文章综述了网络安全性的随机模型与评价技术等方面的研究工作,介绍了该领域的研究现状与进展,总结了网络安全性随机模型的若干研究方法和评价技术,分析了网络的可生存性．基于这些讨论,展望了未来网络安全性研究的新方向．     

数字水印技术综述

数字水印作为一种将特殊信息嵌入媒体数据的技术,近年来已成为国内外研究的热点并有着广泛的应用前景．通常数字水印被应用于数字图像、音频、视频以及其他媒体产品上以进行版权保护和验证多媒体数据的完整性．首先介绍了数字水印技术的特点和应用领域,并对其基本原理和评价标准进行了阐述,同时对数字水印的各种算法进行了分类研究与深入分析,并对不同算法进行了安全性与性能的横向比较,最后指出了数字水印今后的研究方向．