切片在组件系统回归测试中的应用

在组件系统的回归测试中,为了确定修改所影响的部分,需要建立组件系统的依赖模型.组件系统具有高复用性和高复杂性,现有的依赖模型已经不适应描述组件系统,所以提出一种描述组件系统的层次依赖模型.通过对该模型中修改点的向前切片,得到修改所影响的部分,然后遍历该部分得到修改所影响的测试路径,进而有效地选择回归测试用例,提高了回归测试的效率.     

JM模型缺陷排除假设的修改及参数估计

JM模型是软件可靠性模型中影响较大者之一,它假设缺陷排除是完全的,后人对此模型提出了种种修改和补充,但没有从本质上解决问题.本文对此假设提出自己的观点,并给出了置信限及其证明.     

基于切片高度图的三维模型数字水印算法

提出了一种基于切片高度图的三维模型数字水印算法.算法对三维模型进行切片,根据顶点在切面的投影得到切面高度图,并通过修改灰度图中灰度值进行水印嵌入,最后利用修改后的高度图调整三维模型的顶点值对模型进行重构.实验结果表明,该算法对于几何变换和剪切、噪声攻击等都具有较好的鲁棒性.     

面向Web应用的前置URL控制机制研究

针对反向代理应用中存在着的网页内嵌URL问题,提出了前置URL控制机制,构建了该机制的总体模型,包括URL定向模块、预分析器、HTML/XML解析器、URL修改模块和COOKIE修改模块各部件.论述了模型的核心技术--动态脚本的HTML解析和XSL/XML联合解析,提出了异地代理的解决方案.在Apache/Linux下实现了该模型原型,对其功能进行了完整测试,包括性能负载测试,测试结果表明该机制能高效地完成预期目标.     

变量化船舶型线表达与设计方法

基于变量化设计理论,提出船体型线的变量化设计模型,用于船舶型线的表达与设计.描述了使用该模型进行船体型线设计的计算机辅助设计(CAD)方法,其主要包括船体型线数据的管理、数学模型的定义,以及三维空间模型的建立和修改.用数学模型定义了型线设计各元素的位置信息和元素之间的拓扑关系,按照数学模型构建和修改三维空间模型,完成船体型线的设计.在船体型线的设计过程中,基于变量化设计模型对设计进行修改,能够实现型线设计方案的快速重构,避免重复设计,有效地提高了型线设计的质量和效率.通过使用船舶型线的变量化设计方法进行型线设计的实例,证明了该方法的实用性和先进性.     

模态综合法在结构动力修改中应用

模态综合法在大型复杂结构动力分析中有着广泛的应用,它能有效地减少结构的计算自由度.结构动力修改作为结构动态设计,简化设计分析过程,在工程中越来越受到重视.本文针对大型结构动力修改的复杂性,应用模态综合技术来缩减结构的自由度.为简化计算,在模态坐标模型中进行动力修改,提出结构动力修改的子结构方法,结合结构物理参数灵敏度分析,为工程结构动态设计的重分析、再设计提供一有效的实用方法.     

水平变化波导中多声源问题的耦合简正波解

本文提出了一种精确、高效的耦合简正波方法,用于求解水平变化波导中多个声源存在时的声传播问题.为了处理多声源问题,修改了全局矩阵矩阵耦合简正波方法中的线性系统方程.修改线性系统方程所增加的计算量可以忽略不计,因此当多个声源存在于水平变化波导时,通过一次性求解修改后的线性系统方程能够高效地得到声场解.数值结果表明,该方法具有极高的计算精度,并且能够处理现有声传播模型不能高效解决的某些多声源问题.该模型可提供声场的标准解,用于验证其它声传播模型处理多声源问题的计算精度.此外,该模型可应用于三维声传播建模,来处理声源阵产生的波束在实际波导中的传播和散射问题.     

基于增量式贝叶斯智能入侵检测模型

传统智能入侵检测模型参数的修改只能通过对训练集重新学习,从而导致模型的适应性较低,利用朴素贝叶斯模型具有增量式学习特征,通过对新训练集进行训练进而修改模型参数,从而提高模型的自适应能力.实验结果表明,模型的自适应能力得到了一定的提高.     

基于.Net Remoting的通用分布计算模型

为解决单机算法造成代码的可重用性低下的问题,提出一个通用的分布计算模型,给出一般的串行算法在此模型下的并行化技术.利用该计算模型可以使单机下串行算法移植到分布环境后需要修改的工作量降到最低.     

带有频谱补偿的基频修改算法

针对当前多数在基于拼接的语音合成系统中使用的基频修改算法缺少对频谱进行补偿的情况,提出了一种带有频谱补偿的基频修改算法.在传统基音同步叠加(PSOLA)算法的基础上,以共振峰参数和频谱倾斜参数描述频谱特性,通过对频谱参数进行预测及修改,在修改基频的同时,有效地补偿了频谱特性.频谱参数的预测公式由各基频下的条件概率密度函数导出,频谱参数的修改通过正弦模型实现.实验表明,对于不同的汉语元音、基频修改因子和听者,在平均86.25%的情况下,该算法较传统PSOLA算法能够获得更接近自然音质的语音.     

基于一种远端执行模型的文档安全系统

针对现有DRM客户端易被破解和文档修改实时打包的难题,提出SC/SS(壳客户端/实体服务端)模型,基于数据流技术应用该模型能够实现客户端业务远端实时执行,通过客户端空壳化提高了防破解能力,同时解决了DRM文档修改实时打包的问题.对该模型电子文档系统的实现、应用进行了说明和描述,系统很好地提高了DRM系统客户端的安全性和...     

基于servlet的移动Agent平台模型

提出了一个基于servlet技术的移动Agent系统模型,分析了系统构成和工作流程,最后简单介绍该模型关键部分的实现以及当前MobileAgent技术的发展现状和发展趋势. 所提出的移动Agent系统模型加强了对移动代理系统的内部结构的认识,方便系统扩充、改造,通过修改协议提供了一种远程移动代理的控制方法.     

无证书一次代理签名

为了解决密钥托管问题,Al-Riyami和Paterson提出了无证书签名方案.通过修改陆等人基于身份的一次代理签名方案密钥的产生算法,提出了无证书一次代理签名方案,并且正式定义了无证书一次代理签名方案的安全模型.在随机预言机模型下,证明方案的安全性依赖于CDH困难问题.     

无证书一次代理签名(英文)

为了解决密钥托管问题,Al-Riyami和Paterson提出了无证书签名方案.通过修改陆等人基于身份的一次代理签名方案密钥的产生算法,提出了无证书一次代理签名方案,并且正式定义了无证书一次代理签名方案的安全模型.在随机预言机模型下,证明方案的安全性依赖于CDH困难问题.     

快速数据读取技术的实现

为提高通过Web Services获取数据的速度,提出了一种基于.Net的AppDomain技术和远程对象调用技术,突破Windows系统的线程限制,以最快的速度从数据供应商那里获取数据的一个业务无关模型,并对此模型的一个典型应用--股票系统的应用进行了讨论.基于此模型,用户可以自由设定并发线程的数目来获取数据,不必受到并发线程数目的限制,也不必修改TCPIP.SYS文件.在IBM xSeries X206m服务器上测试结果表明,与不用Domain技术测试比较,可以提高20倍左右的效率.同时,此模型可以经过简单的修改,应用在各种对速度有严格要求的系统中.     

一种基于时间相关属性的双时态改进模型

提出了一种改进的双时态关系模型，并给出了模型之上的插入、修改等相关操作. 该模型对时间相关属性和非相关属性明确地加以区分，满足了数据分析工作中时间相关属性针对性的需要，同时，可以加快一般情况下时态数据库的插入和修改的速度，并定义了类似于对象标号的主题标号属性“hostNo”，在一定程度上减少了查询中连接操作出现的频度，提高了效率.     

基于子结构法的车内噪声快速修改预测

车内噪声是汽车NVH 性能的一个主要内容,快速预测结构修改对车内噪声的影响对汽车设计具有重要意义.基于传统的子结构方法,提出了一种波形基函数子结构方法,其利用选定的基函数来描述不同子结构接合面之间的耦合行为.由于基函数的数目远小于接合面的自由度数目,因此快速预测所用的仿真模型的尺寸将大大缩减,从而可实现快速修改预测.通过某型汽车车内噪声快速修改预测的算例,阐述和验证了这种方法.     

智能纤维服装软件的人体姿态本体模型

由智能纤维构造的可穿戴服装可以非侵犯式地监控人体姿态,本文为其后端三维造型提出了一种本体模型.模型设计借鉴了解剖基础模型FMA(Foundational Model of Anatomy)以及ISO/IEC FCD 19774:200x 规范,由解剖分类、时空层次、形态变化3个子模型组成.重点论述了模型的设计原则、子模型关联及其高层抽象.     

模糊空值环境下关系数据库的更新(Ⅲ)--修改操作

在扩展关系模型基础上,讨论了模糊空值环境下关系数据库修改操作的相关处理方法,包括扩展关系模型中基本表（B表）、修改基本表（MB表）、删除附加表（DA表）和删除修改附加表（DMA表）的修改处理过程,并给出了相应的基本算法.     

工作流管理系统中动态修改技术的研究

工作流的动态修改技术已经成为工作流研究领域的一个重要问题。本文首先提出了一种版本管理的方法，给出了过程模型的修改方法，提出了一种迁移算法，从而能够比较好的实现柔性工作流，完成工作流的动态修改。