局部网络可靠性和吞吐率分析

本文对采用点——点结构方式局部地区计算机网络的可靠性及吞吐率进行了分析,并对影响这两个性能指标的相关因素进行了讨论。     

存储器替换机制及其实现

提出一种解决PACT01一种结合动态可编程逻辑阵列(DPGA)的处理器的新型体系结制中cache的一致性与同步性问题的算法,并且解决多线程支持的快速上下文切换及快速用户级操作问题。存储器替换机制是解决cache的一致性问题及当cache未命中时从局部或远程存储器到cacbe存储器的数据替换问题的一种硬件实现方法,产生冲突的原因是由于多线程并行的写入／读取的位置相同和读或写的位置相同。文中选择的是相联映射策略,同时也选择了最少最近使用LRU算法,即在cache未命中时替换最少最近使用的参考块,为实现LRU算法设置了与每块相对应的计数器。     

BitTorrent流量的捕获方法及自相似性的评价

研究了BitTorrent流量的捕获方法，并设计和实现了具体的流量捕获方案，得出了可以用于建模的自相似性参数的量化结果。     

基于数据流方法的大规模网络异常发现

随着网络规模和速度的增加,大规模网络异常发现要求检测算法能够在无保留状态或者少保留状态下对G比特级的海量网络业务量数据进行实时在线分析。针对在高速骨干网上进行大规模网络异常发现的特点和要求,提出了一种基于数据流的大规模网络异常发现的方法,第一次将数据流模型用于大规模网络的异常发现。主要包括以下创新点:设计了一种面向异常发现的网络流量概要数据结构和突发高频事件检测算法;提出了一种基于安全监测策略定制的预查询方法来进行多数据流的关联监测并且对数据流查询进行了优化;在真实数据分析的基础上,对网络业务量进行了数据约减,使得监测部分特殊类型的数据流能最大程度地获得整体网络业务量的变化特征以提高异常发现的效率。通过真实网络环境下的实验和性能评价验证了数据流方法的有效性。     

ABC-90jr汇编语言调试器的设计与实现

ＡＢＣ－９０ｊｒ阵列机是一台专用的ＳＩＭＤ型计算机，它主要用于图象处理，信号处理等细粒度的并行计算，该文介绍了其调试器设计与实现的方法。     

ABC95阵列机系统软件的研究与实践

本文以通用计算机系统软件为基础,对专用阵列计算机ＡＢＣ９５的系统软件进行探讨与实践,它根据ＡＢＣ９５阵列机体系结构的特点,对通用计算机的系统软件进行适当的修改和扩充,并在保持主机操作系统框架及高级程序设计语言不变的基础上,着重研究了主机－目标机之间的接口软件和目标机的程序设计环境和执行环境．这种借助现有软件为专用机开发系统软件的方法,大大地简化了问题处理,缩短了系统的开发周期．     

群机系统上单并发任务簇的近优分配算法

缩短程序的序的时间是并行处理的首要目标,有效的任务分配算法是实现这一目标的关键,对群机４系统来说更是如此。文中针对并行语言中常用的并行范式－单并发任务簇提出了近优分配算法ＯＰＴＡ,并在群机系统上做了与ＭＨ算法的比照实验,结果表明较ＭＨ算法缩短程序执行时间１０％左右．     

NS对称密钥认证协议安全性分析

安全协议的形式化验证与分析已成为国际研究的热点.本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标.     

无线自组网中基于实时流的服务质量路由协议

提出了一种基于实时流的无线自组网服务质量（QoS）路由协议,其核心思想是载波侦听范围内的节点间通过交换实时流的带宽消耗和本地可用带宽信息,估计出节点的邻居可用带宽,根据此带宽进行路由发现和新实时流的接纳控制,并根据实时流的带宽要求预留资源。对每个实时流分别建立一条路由,避免相同源和目的的实时流之间的竞争,有利于负载均衡。模拟实验表明,这种基于实时流的QoS路由协议能够为实时应用提供更好的OoS保障。     

基于串空间理论的Kerberos协议安全性分析

在对串空间理论和Kerberos协议进行深入研究的基础上,采用串空间理论模型对Kerberos协议进行了安全性分析.分析的过程和结果证明,Kerberos协议满足串空间理论的认证性和服务器串随机数的秘密性,但不能保证发起者串随机数的秘密性,因此Kerberos协议能实现安全认证功能,但存在口令猜测攻击.针对此问题,对Kerberos协议进行改进,改进后的协议满足发起者串随机数秘密性,增强了抗口令猜测攻击的能力.