针对Web服务认证中存在的效率及安全问题,本文结合Agent技术,探索性地提出了一种Web服务身份认证模型.该模型在引入可信任第三方的基础上使用Agent进行协同工作实现 用户身份认证,从而提高了Web服务的访问效率,并增加了系统安全策略实施的灵活性.
密码处理ASIP是针对密码算法处理的专用微处理器体系结构,结构设计的重点是怎样良好地匹配算法要素和算法结构.置换是对称密码算法中重要的编码环节,在密码处理ASIP结构下加速置换要尽量减少使用非共用硬件,开发处理并行性,适应各种位宽置换的处理要求.通过对分组算法置换特性的深入分析,在提出的密码处理ASIP结构下,构造了加速置换操作的部件结构和互连结构,设计了专用的指令,给出了性能和实现结果,证明置换加速机制高效、低代价、通用性强.
形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,没有实践过程和相关理论的技术积累.本文借助Lapadula给出的规则集建模方法,基于Linux系统调用给出了一个实际开发的安全文件系统NeoFs的顶层功能规范的方法和过程.
本文首先介绍了.NET下Web数据库开发技术,在此基础上讨论了在ASP.NET下Web应用程序中的基于ADO.NET的数据访问方法和动态数据绑定技术,采用的Form-Based验证机制实现了对数据库页面的安全调用,分析了访问数据库的代码后置和使用存储过程的技术,同时对如何动态绑定TreeView控件、DataGrid控件和DropDownList控件进行了介绍.
安全协议本质上是分布式并发程序,可以描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为一组逻辑规则,能够对安全协议无穷会话的交叠运行进行验证.本文首先给出了将安全协议基于进程代数的形式描述转化成为一组逻辑规则的方法,并提出了基于逻辑规则分类的高效逻辑程序消解算法,对安全协议认证性和保密性进行 验证.
本文在分层移动IPv6框架下对节点的乒乓式移动进行了研究,提出了一种与分层框架相吻合的快速无缝切换机制.该机制通过设置资源预留激活标记和离线倒计时,有效地减少了QoS切换信令并降低了切换时延,从而降低了网络传输负担和用户服务中断概率.移动节点可根据自身移动特性设置适当的离线倒计时间隔,以使多个邻近区域内的资源预留能 获得更好的性价比.
随着网络规模以及网络处理速度的飞速增长,高效稳定的路由协议成为保障网络性能的重要因素.协议的一致性测试是保证网络设备之间正确、安全和高效互连的有效手段.IS- IS路由协议作为内部网关协议的主流协议,在现今的网络中有广泛的部署.本文在对IS-IS协议进行分析的基础上选择和实现了适当的测试方法和测试案例,利用现有测试系统An nvl提供的公共环境,设计并实现了Zebra上的IS-IS路由协议一致性测试框架.
本文提出了一个基于椭圆曲线密码体制（ECC）的、定期更新的可验证的秘密共享方案.该方案具有子秘密定期更新、子秘密可验证和可防欺诈的特点.方案的安全性基于求解 有限域上椭圆曲线离散对数问题（ECDLP）的难解性.
本文在基于数据挖掘的网络入侵检测系统框架基础上设计了一个无导师学习的分析器模型.该模型结合了核k-means聚类、模式挖掘、近似串匹配的方法,训练过程不需要使用带标记的数据,并且不需要保证每个训练数据集中正常数据和异常数据在数量上的比例关系.实验结果表明,该模型具有较高的检测率并降低了误报率.
文在典型RBAC的基础上,结合实际应用需要提出了一种基于角色和部门的访问控制模型,将部门从角色的一个属性独立抽象出来,成为权限控制中的一个要素,使角色和部门共 同决定主体对客体的访问权限.对该模型的实现方法进行了分析和研究,设计了模型实现的三层框架结构和控制访问策略的一个算法.
本文在介绍转发控制分离体系结构和网络高可用性相关技术的基础上,系统地介绍了BGP Graceful Restart扩展技术.在Graceful Restart技术的支持下,路由器能够在控制系统故障重启后,在重新建立网络邻接关系的过程中保持转发平台继续转发数据,从而避免了暂时性的路由振荡.最后,文章重点描述了基于转发控制分离结构IPv6路由器平台环境 的BGP Graceful Restart实现方案.
随着Web应用的爆炸式增长,面向Web的工程理论和方法研究得到了广泛的重视.本文针对Web工程应用中存在的通用架构设计和组件重用等问题,提出了一套灵活、可扩展的Web组件架构模型WCA,以及与之相辅的一套Web系统分析、设计、编码与测试的方法体系.
本文在研究一种分布式视频服务器负载平衡算法的基础上,引入了服务器端视频文件分盘存储的思想.通过仿真实验分析表明,对视频文件分盘存储能够降低系统的服务拒绝率,更进一步地提高了视频服务器效能.
虚拟自然场景的实时生成一直是图形学研究领域中一个富有挑战性的难题,作为自然场景的重要组成部分,树木的模拟也得到了广泛的重视.本文在实际建模中以三维分枝模型 为基础,与随机繁衍L系统相结合,对树木模型进行了一些改进.将光源和重力的影响加入枝段的模型中,使生成树木的形态更加逼真;改进了分枝模式,使得生成树木的随机性得 到加强;在绘制时根据不同距离选择不同复杂度的树木模型,加快了渲染的速度.
纹理是图像的重要属性,基于纹理特征检索图像是当前的研究热点,对图像的纹理进行相似性比较是进行图像检索的关键.根据纹理的特点,本文将通用的向量空间模型进行拓展 ,构建了一个针对簇集进行相似性匹配的模型—聚类空间模型,对图像纹理相似性进行度量,并据此实现了无需分割的多纹理图像检索.我们分别针对单纹理图像和自然图像库进 进行了实验,获得的实验结果与人类视觉认知的结果一致.
实化视图的一致性维护是数据仓库联机维护的关键问题.本文分析了基于三层数据仓库体系结构的3VWQ算法中潜在不一致性的原因,给出了三层结构的改进方法并引入时间戳作为中间版本实化视图的一致性维护标记;提出一种基于时间戳的补偿算法,实现了增量查询维护过程中不一致更新的本地补偿,从而在保证较好性能的同时解决了维护查询过程中的一致性问题.
文本水印是一种有效的数字文本版权保护技术,鲁棒性和安全性是其研究的核心问题之一.基于单词间字符统计特征的文本水印（简称TWSCIWC）是一种同时基于内容和格式的 文本数字水印算法,具有一定的鲁棒性.本文提出了TWSCIWC的改进算法,引入了冗余嵌入思想和非对称加密签名技术,讨论和分析了这一算法较好的水印性能.
小波矩结合了矩特征和小波特征,既反映了图像的全局性信息,又反映了图像的局域性信息,并且具有旋转、平移和缩放不变性.利用小波矩与支持向量机进行目标识别,不但解 决了图像识别中特征量随图像旋转、平移和缩放而变化的问题,而且提高了对近似物体的识别能力,是解决小样本、近似图像识别的有效方法.
图像等分成M×N块后,将子块分成背景子块、目标子块和边缘子块三类,并从中提取颜色、空间特征和边缘特征,求图像间相似度时只在同类子块之间进行匹配.这样既减少了匹配运算量,又可避免不同类子块匹配所产生的干扰.实验结果表明,该方法不仅求图像间相似度的运算量小,而且对图像的旋转和平移变化不敏感,具有较好的检索性能.
相关算法是一种广泛应用于信号和图像处理领域的方法.本文提出了一种在完全搜索中寻找最优匹配点的相关匹配算法.它首先为图像建立一种类似金字塔的特殊层次结构,我们利用该结构的特点削减匹配中无用的搜索分支,以达到提高处理效率的目的.
本文提出了一种面向对象测试中定义-清除路径（DC路径）生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径（DU路径）组成的测试用例集.
基于数据对象间的关联限制定义了类间关联系数,本文提出了两阶段的限制层次聚类算法TCCL.算法分为两个阶段,第一阶段主要依据数据对象的自然分布,基于数据对象间的距离把它们合并入一个个小类;在第二阶段,依据背景知识,基于类间关联系数来实现小类的进一步合并.一些实际数据集的实验结果表明,TCCL可以比较有效地利用所给关联限制 来改善聚类效果.
本文根据火焰的性质,在经典粒子系统的基础上提出了一种改进的实时火焰模拟算法.在初始化新火焰粒子的位置属性时,利用高斯随机数确定火焰粒子的初始位置;通过对火焰 运动的分析,简化现实中火焰的复杂运动,从而提高了系统的时间性能;引入动态的运动场,使火焰的动态行为更加真实、生动.实验证明,采用该算法模拟的火焰效果真实且在普通PC机上满足实时性要求.
在图形图像处理过程中,Bezier曲线的应用是非常广的.通过增加控制点对Bezier曲线作修改,为了不改变原有曲线的形状,＂升阶＂是最常用的方法.本文从另一角度出发,提出把Bezier曲线先分割为两段曲线,无需对曲线进行＂升阶＂,只需重新计算控制点,从而也达到对曲线修改的目的,并且以三次Bezier曲线为例,给出了具体的求解过程.实践证明明,这种方法是可行的.
反向组合算法是最有效的图像对齐算法之一,但该算法抗干扰能力差.当输入图像部分被遮挡时,图像对齐效果变差.针对该问题,我们提出一种采用多尺度掩模消除干扰的反向组合算法.该算法采用自适应的方法设置初始掩模,再通过迭代判断和逐层分块来细化初始掩模,使得掩模能准确地设置在干扰区域上.实验结果表明,该算法既保留了原反向组合算法的优点,又提高了算法抗干扰的能力,使得反向组合算法能在更复杂的环境下进行图像对齐.
本文提出了一个预测RNA二级结构的计算模型和动态规划算法.该算法采用子序列的组合策略和RNA二级结构的内在特性,计算多个平面伪结点和一个非平面伪结点结构.与Rivas算法相比,该算法减少了2n4的空间,并将时间复杂度由O（n6）降为O（n5）.实验结果验证了算法的有效性.
目前在矢量量化的码本训练中经典的聚类方法是LBG算法,但该算法的主要缺陷是对初始码书的依赖性较大,容易过早地陷入局部极小.本文在基于矢量量化的说话人识别中研究 了一种随机局部搜索的聚类算法.该算法不依赖初始条件,结构规则,容易实现,效果好,具有很优越的全局优化搜索能力,在语音参数聚类实验中表现出了很好的性能,得到的码书质量也优于经典的LBG-算法,从而为在基于矢量量化的说话人识别中设计准全局最优码书提供了一种新思路.
权限的分配是工作流系统访问控制中的核心问题.本文以任务状态为基础,用二维矩阵描述角色与任务、任务与状态、状态与权限之间的关系,并利用关系运算计算给定时刻角色、任务和权限之间的关系,实现了对角色权限的动态分配,提高了数据访问的安全性.
任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限. 本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.
本文介绍了一种应用Petri网技术对工作流进行建模的方法.该方法将工作流的执行方式从检测事件一触发转变为检测状态一触发,并且采用分层分块的策略对Petri网工作流模 型中的复合事件进行分解,将复杂的逻辑关系判断简化为简单的状态判断,有利于工程上的理解和实现.
过程管理已成为现代教育管理的必然选择.工作流技术为实现高校研究生教育过程的建模和全面管理提供了有效支持.本文研究开发的研究生教育管理系统以工作流参考模型为基础,采用了工作流引擎技术和统计报表技术,定制业务流程和业务报表格式方便快捷,大大提高了研究生教育管理的高效性和科学性.
功耗问题是计算机系统发展亟待解决的问题,硬件和软件在解决功耗问题上都有重要的作用.尽管有许多工具可用于低功耗硬件的开发,但支持软件技术开发的低功耗工具并不 多见.我们基于ARM的指令集开发了一个实时动态电压调节低功耗系统RTLPower.RTLPower综合了编译指导的动态电压调节和程序的性能功耗模拟,该系统能够有效支持编译指导 的动态电压调节技术的研究开发.
本文以数据挖掘和机器学习技术为基础,提出了一种基于网络的智能学习系统的基本结构,该系统以学习者为中心,根据学习者的学习兴趣,为其提供智能的个性化学习平台;通 过对系统关键技术的讨论,介绍和分析了学习者个性化学习兴趣模型建立和个性化学习的基本过程.
本文首次提出三要素法来解释Lift-off的形成机理.相比传统的“Bi-Segregation”失效机理,“三要素法”可以解释含Bi和不合Bi的所有无铅钎料产生或不产生Lift-off的原 因,并由此找出了Lift-off的抑制对策.
作为一种海量存储设备,磁盘阵列在当前获得了广泛的应用.本文介绍了一种基于实时嵌入式系统VxWorks的磁盘阵列控制软件的体系结构及其各模块的功能,并分析了该系统的实时响应能力.
本文针对面向对象程序的不足,根据奥地利语言哲学家路德维格·维特根斯坦（Ludwig Wittgenstein）关于世界和语言逻辑结构的哲学论述,并结合现实世界中对象能自动适应环境变化的特性,提出了一种以面向对象程序设计为基础并包含面向对象程序设计所有功能的新型程序设计语言--面向事实程序设计,并说明了该语言的特点、优点、结构和 功能.
本文描述了一种信息化装载机通信控制器的实现方案.该控制器对来自CAN总线的数据进行处理,并通过串口以GPRS调制解调器和无线电台两种通信方式将采集到的数据传回远 程的因特网服务器,以实现信息化装载机与远程因特网服务器的数据交换.
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征.本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征.
流体系结构在新兴的体系结构中备受关注.鉴于多种多样的流体系结构的存在,本文提出了一个流体系结构的抽象模型.本项工作对开发应用在多种流体系结构上的可移植性具有重要意义.
测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节.针对反应式实时系统,我们使用时序规范来 描述系统性质.本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍.最后,并分析了基于时序规范的的测试预言生成面临的困难.
本文给出q元有限域上的反馈移位寄存器非奇异性判定的充分必要条件,并利用Groebner基理论对定理给出的条件进行约化,给出了q=3,4,5时任意次反馈函数非奇异性的充要条件.
感知在CSCW研究中已经越来越得到相应的重视,它能够提高协同系统的实用性.远程指针是协同感知的关键技术之一.本文在分析了协同编辑系统的特征的基础上,在松散的WYSIWIS视图下提出了指针一致性维护和指针映射方法,并且设计了远程指针的感知域和重载语义,给出了一个全局监控窗口,从而提高了感知的灵活性.而且,在感知过程中对感知信信息的灵活过滤,提高了协同感知的效率.
本文介绍了分层着色Petri网（HCPN）基本原理,并结合局部事件表提出了为复杂制造系统建模的一种方法,此方法可以减少复杂系统建模的复杂性,也为仿真软件体系结构的模块化和层次化设计建立了良好的基础.文中还给出了HCPN在武钢热轧带钢厂产线仿真系统建模中的实现方法.
超级磁盘阵列（Hyper-RAID）在其内部划分逻辑卷和逻辑单元,实现了层次化的多级复合阵列结构.它与服务器的连接采用光纤通道接口（FC）,利用FCP-SCSI协议,将阵列内部的每个逻辑单元映射为服务器端的一个物理磁盘设备,从而实现了多阵列功能.研究分析表明,这种多层次的多阵列结构和普通的单阵列相比具有更好的容错性能,而且还能对不不同重要等级的数据分类存储.
