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

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

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

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

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

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

存储器替换机制及其实现

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

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

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

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

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

同城票据清算系统应急方案

“将忧虑变为预防危险的动力,无所忧虑,必有危险。” ——佛朗西斯·奎尔斯。 这是英国版本的“人无远虑,必有近忧”。在信息社会中,越来越多的企业发现,如果他们的IT系统意外地不必要地中断不仅会使他们无法继续开展业务,而且会带来不可估量的重大损失,这包括销售损失、解决问题所需的费用以及信誉的损害。对于银行而言,其能否保     

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

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

支持MPEG—2的ME芯片的结构设计

基于全搜索块匹配算法（ＦｕｌＳｅａｒｃｈＢｌｏｃｋＭａｔｃｈｉｎｇＡｌｇｏｒｉｔｈｍ简称ＦＢＭＡ），提出一种支持ＭＰＥＧ－２综合运动估计的面向ＶＬＳＩ实现的心动阵列结构，它作为Ｔ．Ｋｏｍａｒｅｋ的ＡＢ２结构的一种变形，继承了心动阵列易于扩充运算规模的优点，同时降低了局存与运算阵列之间的数据宽度。另外，为了支持ＭＰＥＧ－２对运动估计的扩充要求，这种结构可以在得到１６×１６块匹配结果的同时，得到两个１６×８场块的匹配结果。最后，从局部存储器的设计和控制器的工作流程分析说明，这种结构在工程上是易于实现的。     

一个基于图像代数的并行图像处理环境

系统可用性和应用程序可移植性差是许多现有的并行图像处理计算结构难以获得实际应用的重要原因，基于Ritter提出的图像代数理论，研究、实现了一个并行图像处理环境．用户在并行计算结构上进行程序设计时，只需用图像处理环境提供的图像代数运算描述算法即可，处理环境能够根据用户算法的描述，依据一个时间开销模型，自动从并行实现函数库中提取出最优或近似最优的并行代码完成算法的运行，算法的并行实现和并行计算结构的硬件细节对用户透明。