生存性是指信息系统在面临攻击、失效等灾难情况下仍能继续提供服务的能力。它强调以任务为本的理念，是信息安全保障技术体系的一个重要环节。其目标是在保证基本服务安全的情况下对非基本服务的快速恢复。因此，减少基本服务集合是平衡生存能力和性能代价的途径之一。本文提出的随机自治可生存调度(SASS)算法在细粒度无集中控制 制的基础上实现服务漂移的动态调度，它使用扩充了的TCP协议实现广域网环境自治的细粒度连接迁移机制。基于该机制给出了在生存性意义上的服务器状态转换图，并描述了随机自治可生存调度算法。
本文介绍了一个基于TCP／IP的网络备份系统，并在此基础上引入散列算法(Hash)，计算出需要备份和恢复的文件以及数据块的内容标示——指纹，建立起索引作用的树形结构。这种方法可以避免备份和恢复执行时的折衷处理，提高系统的数据安全性，减少数据一致性问题的产生。
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一。本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后，主要分析了由A.D．Gordon建 立的、用于对协议的认证性进行验证的类型系统，借助其与信念逻辑方法在证明过程中的某些相似性，对其中的主要思想进行了分析讨论。本文最后还指出了基于类型理论的安全协议验证技术研究中一些有待深入的问题。
本文论述了昊宇网络计算平台的关键技术：应用系统与核心软件分离机制和LVS系统的改进。前者使昊宇能够方便地为客户运行应用程序，后者实现了LVS对Java RMI的支持并 建立了自适应容错备份系统。运行实例说明，昊字网络计算平台具有开放性和高性能的特点。
网格中汇集了大量分布、异构、多管理域的数据资源，使得网格用户对数据的访问变得非常复杂，必须为用户提供行之有效的方法，实现方便、高效、透明、统一的数据访问。本文描述了基于操作系统之上的文件层面的数据统一访问实现方法。这种方法采用虚拟数据集的机制将汇聚在网格中的存储系统抽象成一个虚拟一体化系统，实现了网格数 数据的统一视图和一种网格环境中的数据统一访问方法。
本文介绍了以DTE为原型的强制访问控制模型和以格阵为原型的信息流模型。并在此基础上提出了一种改进的安全系统模型，该模型在实施DTE的系统中，通过对域的安全级和 上下文的约定，隐式地采用格模型为其伙伴安全策略，确保了系统的完整性和保密性。最后还介绍了如何利用该模型来防范特洛伊木马。
iSCSI技术是IP存储的底层存储协议之一，是SCSI协议的远程唤醒模型在TCP协议上的映射。本文主要是讨论跨平台、多用户iSCSI系统实现及性能分析
本文针对xDSL技术中的两种主流技术ADSL和VDSL，从技术性能、调制技术、应用和市场、未来发展趋势等方面进行了详细的阐述和分析，并进行了对比，指出了高速DSL接入 技术的发展方向。
本文探讨了RTP的基本技术背景和特点，并根据RTP中Translator的特性提出了一种有效利用闲置网络带宽的优化方案，并介绍了实现此方案的一些具体方法。
流域变换是数学形态学中用于图像分割的经典方法，应用十分广泛，但其过度分割问题一直未得到很好的解决。本文首先介绍了流域变换算法的思想，以及引起过渡分割的原 因；然后，提出一种解决过度分割问题的快速方法——平滑算子，并通过理论手段证明了该方法的有效性。实验结果表明，该方法是解决流域分割中过渡分割问题的有效方法 法。
小波分析作为信号处理领域中的一种重要方法，在信号处理、模式分析和图像处理等方面得到了广泛的应用。然而小波变换巨大的运算量却使得它在实时处理领域中的应用受 到了限制。本文根据离散小波变换的Mallat算法，提出了一种EPGA实现高速小波分解的方法，设计出的小波变换模块结构清晰而且规则，易于级联，可实现多级变换。同时， ，运算精度和处理速度均满足实时图像处理的要求。
目标跟踪算法中往往需要有效的特征对目标进行跟踪识别。本文提出了随机边缘特征的概念，对其物理意义及匹配算法进行了阐述，并将其应用到运动车辆跟踪算法中。实验 结果表明，该算法能够对序列图像中的多个运动车辆进行跟踪识别，对车辆的尺度、视角、光线及运动状态的变化等不利因素有较好的适应性。
提出一种基于归一化互相关系数的图像序列运动目标检测方法。该方法以基于模板的归一化互相关系数作为度量函数，可以有效地检测出运动阴影和运动目标，而且不需要对背景进行实时维护。实验表明，该方法对光照变化具有一定的鲁棒性。
本文提出了一种新型的、以纹理粗糙度二阶矩度量作为图像特征的、以在最优条件类熵基础上的软竞争自组织特征映射为分类器的图像自动分类方法。实验结果表明，该种分 类器能很好地实现对纹理粗糙程度模式的无监督分类，其分类性能要明显好于传统的K—均值分类器。
本文提出了一个实用的、基于媒体资产管理平台的视频检索预处理原型，主要利用DirectShow技术从视频流中获得非压缩的图像信息，进而利用视频分割技术和关键帧提取技术完成对视频的检索预处理。
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力，在此基础上扩充了问题及NP完全问题的定义，根据解空间的拓扑结构特点将NP完全的Packing问题分为三类，并对多边形Packing问题进行了有益的探讨。这对设计Packing问题的求解算法具有借鉴意义。
本文首先指出了TimeWarp乐观时间同步机制算法固有的缺点，然后简要介绍了事件限这一重要概念及周期时间桶算法，随后对周期时间桶算法的性能进行了较为深入的探讨，对该算法进行了定性的综合评估，详细地给出了周期时间桶算法的关键性能参数M的定量理论分析与推导 ，最后给出了实验结果图。
本文首先介绍了线性规划理论及其在一般运输问题中的应用；然后将其推广到车辆调度问题，提出并建立了一个动态的、开放的现代智能车辆管理调度系统模型；最后对各种模型求解算法进行了比较和分析，并给出了计算结果。
本文提出一种数据库集群系统原型DMC，该系统基于国产商用DBMS DM4而设计。另外，本文还介绍了DMC系统的软件体系结构及其数据同步、消息映射、负载平衡等关键技术。
本文在引出商务智能应用领域中数据挖掘模型管理的问题之后，提出了SnartBk商务智能平台的总体架构，阐述了基于PMML的数据挖掘模型管理方案，并以SmartBiz系统中的实际应用为例，介绍了PMML和XML数据库结合的具体实现方案。
本文在分析基于数据仓库的DSS不足的基础上，研究并提出了基于数据集市的、构建多层分布式DSS的方法，以便实现企业和部门不同级别上的决策支持，为企业提供更多、更有效和更有用的决策信息，使决策更加有利于企业和部门的发展。
本文提出一种基于重要抽样的软件统计测试加速方法，该方法通过调整软件Markov链使用模型的迁移概率，在根据统计测试结果得到软件可靠性无偏估计的前提下，可以有效提高安全攸关软件的测试效率，部分解决了安全攸关软件统计测试时间和费用开销过大的问题。同时，本文给出了计算优化迁移概率的模拟退火算法。实验仿真结果表明，该方法可以有效地提高安全攸关软件统计测试的效率。
本文给出了基于构件软件中的函数抽象，依据该抽象提出了基于构件软件的一个可靠性通用模型，并介绍了相应的可靠性分析原型系统的实现。通过此系统可以在软件开发的各个阶段对软件进行可靠性分析，实现基于构件软件开发全过程的可靠性跟踪和监控。
基于面向对象软件复用的类库技术得到了广泛关注。随着应用的扩大，类库的规模也日渐扩大。类部件如何在软件开发过程中被快捷高效地检索、复用，以及怎样加强类库之间的协作，已成为类库技术得以进一步发展的瓶颈。本文提出了一种基于Agent的智能类部件检索技术， 阐述了其工作原理、算法及其构架。实现了类部件高速精准的自动检索和同源类库中部件共享，有效地提高了类库管理系统的智能化水平。
面向Agent与面向对象有很多差异，但也有许多相似之处扣联系。吸收扣借鉴面向对象的成功经验扣成熟技术，对面向Agent的研究扣发展十分有利。本文比较了Agent与对象的概念扣模型，以及面向Agent扣面向对象的运行机制扣通信机制，分析了面向对象的不足扣面向Agent的 优势，指出了面向Agent是未来软件的发展方向。
软件测试在软件生命周期中是一个非常重要的过程，而回归测试则又在软件测试中占有极其重要的地住。本文提出的RTSPS方法综合考虑了测试状态即测试频次、测试成本、错误检测率要求等多种因素来选择合适的回归测试策略，并对测试用例进行优先排序，可以有效地提高测 试效率。
本文介绍了嵌入式和欣操作系统，提出了面向服务软件模型及其提供的三种服务模式，解决了传统的面向对象软件模型的局限性，并使用此编程模型构造了一个电子签名软件，具体说明了此模型的优点。
本文研究了高斯信道下RS码与PTCM码级联编码方式的性能，比较了应用PTCM码、RS码级联PTCM码、采用交织技术的级联码等使用8PSK调制方式的不同纠错方案的性能，设计了一种具体的差错控制编码方案，并对其进行计算机模拟仿真。仿真结果表明，该级联编码方案具有良好 的误码纠错性能，可用作通用数据链控制器的纠错控制方案。
可持续发展是大规模分布式系统的基本特征。在研究了大规模分布式系统的特点和规律后，本文提出了一个新的概念一可成长的分布式系统，认为大规模分布式系统是随着需求、环境、技术、投资等多种因素的变化而不断成长起来的。文中分析了分布对象技术在支持分布式系 统的可成长性方面的优势和缺陷，然后提出了一个面向Agent的系统框架，并阐述了面向Agent的方法对于开发和维护可成长的分布式系统是合适的，并给出了后续的主要研究方向。
本文以容错CORBA规范1．0的实现FTBus为测试对象，实现了对FTBus的Benchmark测试，测试指标包括性能损失、失效检测时间、失效恢复时间和重获稳定性时间等，并对测试结果进行了分析。
嵌入式系统通常使用闪存作为存储设备，嵌入式Linux下的MTD技术可以方便地访问Flash这样的MTD设备。文章介绍了Linux块设备驱动程序框架，详细分析了MTD设备驱动程序层次结构、核心功能模块和数据结构，最后以Motorola MPC860T开发板为例，系统地给出了针对特定Flash的MTD驱动程序开发实例。
本文基于统一软件开发过程，详尽地描述了基于Web的餐饮管理和食品采购的系统开发全过程和关键技术。同时，利用PowerDesigner9．0作为CASE工具，建立业务模型和实体关系图，自动实现了面向SQL Server 2000的物理建模。该系统以Windows Server 2000为服务器，SQL Server 2000为后台数据库管理系统，还有基于VBScript的ASP开发前台。
增强uClinux的实时性能是工业控制等实时性要求高的领域的必然要求，也是uClinux操作系统研究的关键技术之一。本文在借鉴RTLinux实现原理的基础上，研究了增强uClinux实时性能的方法，并给出了具体的实现例程。
本地滞后方法是缓解分布式虚拟环境一致性问题的重要技术。现有的本地滞后技术在一个时间段内为所有操作设置统一的滞后时间，没有考虑到不同操作背景对操作的不同一致性需求。本文提出本地滞后方法中的多级滞后时间计算，根据被操作实体与其它实体距离的远近将操作分为不同一致性等级，分别计算滞后时间。该方法可以对系统反应速度与一致性进行更灵活的折衷，提高了分布式虚拟环境的性能，并在实际应用中取得了良好效果。
本文提出了一种新的数字水印攻击算法。该算法对嵌入水印的图像运用分形编码，使含有特定水印信息的图像块被压缩映射后的其他块代替，压缩映射后的块和被代替块中的水印信息具有弱相关性。我们对一种基于多分辨率分解的数字水印嵌入方案进行了攻击实验，分析了攻击对图像质量的影响。结果表明，该算法使水印提取算子的相关性检测结果显著下降。
