生存性是指信息系统在面临攻击、失效等灾难情况下仍能继续提供服务的能力.它强调以任务为本的理念,是信息安全保障技术体系的一个重要环节.其目标是在保证基本服务安全的情况下对非基本服务的快速恢复.因此,减少基本服务集合是平衡生存能力和性能代价的途径之一.本文提出的随机自治可生存调度(SASS)算法在细粒度无集中控制的基础上实现服务漂移...
本文介绍了一个基于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算法,提出了一种FPGA实现高速小波分解的方法,设计出的小波变换模块结构清晰而且规则,易于级联,可实现多级变换.同时,运算精度和处理速度均满...
目标跟踪算法中往往需要有效的特征对目标进行跟踪识别.本文提出了随机边缘特征的概念,对其物理意义及匹配算法进行了阐述,并将其应用到运动车辆跟踪算法中.实验结果表明,该算法能够对序列图像中的多个运动车辆进行跟踪识别,对车辆的尺度、视角、光线及运动状态的变化等不利因素有较好的适应性.
提出一种基于归一化互相关系数的图像序列运动目标检测方法.该方法以基于模板的归一化互相关系数作为度量函数,可以有效地检测出运动阴影和运动目标,而且不需要对背景进行实时维护.实验表明,该方法对光照变化具有一定的鲁棒性.
本文提出了一种新型的、以纹理粗糙度二阶矩度量作为图像特征的、以在最优条件类熵基础上的软竞争自组织特征映射为分类器的图像自动分类方法.实验结果表明,该种分类器能很好地实现对纹理粗糙程度模式的无监督分类,其分类性能要明显好于传统的K均值分类器.
本文提出了一个实用的、基于媒体资产管理平台的视频检索预处理原型,主要利用DirectShow技术从视频流中获得非压缩的图像信息, 进而利用视频分割技术和关键帧提取技术完成对视频的检索预处理.
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及NP完全问题的定义,根据解空间的拓扑结构特点将NP完全的Packing问题分为三类,并对多边形Packing问题进行了有益的探讨.这对设计Packing问题的求解算法具有借鉴意义.
本文首先指出了Time Warp乐观时间同步机制算法固有的缺点,然后简要介绍了事件限这一重要概念及周期时间桶算法,随后对周期时间桶算法的性能进行了较为深入的探讨,对该算法进行了定性的综合评估,详细地给出了周期时间桶算法的关键性能参数M的定量理论分析与推导,最后给出了实验结果图.
本文首先介绍了线性规划理论及其在一般运输问题中的应用;然后将其推广到车辆调度问题,提出并建立了一个动态的、开放的现代智能车辆管理调度系统模型;最后对各种模型求解算法进行了比较和分析,并给出了计算结果.
本文提出一种数据库集群系统原型DMC,该系统基于国产商用DBMS DM4而设计.另外,本文还介绍了DMC系统的软件体系结构及其数据同步、消息映射、负载平衡等关键技术.
本文在引出商务智能应用领域中数据挖掘模型管理的问题之后,提出了SmartBiz商务智能平台的总体架构,阐述了基于PMML的数据挖掘模型管理方案,并以SmartBiz 系统中的实际应用为例,介绍了PMML和XML数据库结合的具体实现方案.
本文在分析基于数据仓库的DSS不足的基础上,研究并提出了基于数据集市的、构建多层分布式DSS的方法,以便实现企业和部门不同级别上的决策支持,为企业提供更多、更有效和更有用的决策信息,使决策更加有利于企业和部门的发展.
本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题.同时,本文给出了计算优化迁移概率的模拟退火算法.实验仿真结果表明,该方法可以有效地提高安全...
本文给出了基于构件软件中的函数抽象,依据该抽象提出了基于构件软件的一个可靠性通用模型,并介绍了相应的可靠性分析原型系统的实现.通过此系统可以在软件开发的各个阶段对软件进行可靠性分析,实现基于构件软件开发全过程的可靠性跟踪和监控.
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用.软件可靠性测试是高可靠软件质量保证的重要过程.研究基于UML的软件可靠性测试具有很强的现实意义.软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型.
基于面向对象软件复用的类库技术得到了广泛关注.随着应用的扩大,类库的规模也日渐扩大.类部件如何在软件开发过程中被快捷高效地检索、复用,以及怎样加强类库之间的协作,已成为类库技术得以进一步发展的瓶颈.本文提出了一种基于Agent的智能类部件检索技术,阐述了其工作原理、算法及其构架.实现了类部件高速精准的自动检索和同源类库中部件共享,...
面向Agent与面向对象有很多差异,但也有许多相似之处和联系.吸收和借鉴面向对象的成功经验和成熟技术,对面向Agent的研究和发展十分有利.本文比较了Agent与对象的概念和模型,以及面向Agent和面向对象的运行机制和通信机制,分析了面向对象的不足和面向Agent的优势,指出了面向Agent是未来软件的发展方向.
软件测试在软件生命周期中是一个非常重要的过程,而回归测试则又在软件测试中占有极其重要的地位.本文提出的RTSPS方法综合考虑了测试状态即测试频次、测试成本、错误检测率要求等多种因素来选择合适的回归测试策略,并对测试用例进行优先排序,可以有效地提高测试效率.
本文介绍了嵌入式和欣操作系统,提出了面向服务软件模型及其提供的三种服务模式,解决了传统的面向对象软件模型的局限性,并使用此编程模型构造了一个电子签名软件,具体说明了此模型的优点.
本文研究了高斯信道下RS码与PTCM码级联编码方式的性能,比较了应用PTCM码、RS码级联PTCM码、采用交织技术的级联码等使用8PSK调制方式的不同纠错方案的性能,设计了一种具体的差错控制编码方案,并对其进行计算机模拟仿真.仿真结果表明,该级联编码方案具有良好的误码纠错性能,可用作通用数据链控制器的纠错控制方案.
可持续发展是大规模分布式系统的基本特征.在研究了大规模分布式系统的特点和规律后,本文提出了一个新的概念--可成长的分布式系统,认为大规模分布式系统是随着需求、环境、技术、投资等多种因素的变化而不断成长起来的.文中分析了分布对象技术在支持分布式系统的可成长性方面的优势和缺陷,然后提出了一个面向Agent的系统框架,并阐述了面向Agent...
购物车(0)