摘要:以异构系统的过程间相关性分析为基础,研究分析异构系统硬件故障在软件之中的传播行为,指导优化基于异构系统的应用级checkpointing 检查点保存问题,并通过实验验证其可行性及性能,对异构系统的容错优化研究具有重大意义.

摘要:从软件体系结构角度出发,从满足移动用户个性化需求入手,提出一种便于移动应用开发和部署的整合方案.该方案从设备属性(如CPU、内存、屏幕、通信模式等)、用户偏好(如对能耗和性能的偏好等)以及QoS需求(如交互频率、安全、实时性等)等多重维度入手,采用体系结构驱动的方法对应用进行建模,并生成满足用户个性化需求的部署方案,从而有效提高了移动应用的可配置性.实验结果表明,该方案可以有效地方便移动应用的开发及部署,提高应用与用户需求的契合程度,改善网络化移动应用的可配置性.

摘要:提出一种基于粒子群优化的成对组合测试用例集生成算法框架.在生成测试用例时,该框架采用粒子群优化尝试生成强组合覆盖能力的测试用例,并研究了搜索空间、适应值函数和启发式的合理设定;在构造组合测试用例集时,以上述测试用例生成算法为基础,提出两种策略:一种基于one-test-at-a-time,另一种基于类IPO.编程实现该算法框架,并通过实证研究分析了算法框架中不同设定对组合测试用例集规模的影响;最后,与现有的经典方法在组合测试用例集生成规模和算法执行时间上进行了比较.最终结果表明,该算法具有竞争力.

摘要:基于软件容错模型,提出了允许容错优先级提升的抢占阈值容错调度算法(extended fault-tolerant fixed-priority with preemption threshold, 简称FT-FPPT*). 该算法能够在抢占式容错调度算法(fault-tolerant fixed-priority preemptive, 简称FT-FPP)和抢占阈值容错调度算法(fault-tolerant fixed-priority with preemption threshold,简称FT-FPP

摘要:应用一种Petri 网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets 规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets 规范向经典Petri 网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets 规范,利用经典Petri 网理论对程序的性质进行分析.

摘要:提出一种基于颜色聚类和多帧融合的视频文字识别方法,首先,在视频文字检测模块,综合考虑了文字区域的两个显著特征:一致的颜色和密集的边缘,利用近邻传播聚类算法,根据图像中边缘颜色的复杂程度,自适应地把彩色边缘分解到若干边缘子图中去,使得在各个子图中检测文字区域更为准确.其次,在视频文字增强模块,基于文字笔画强度图过滤掉模糊的文字区域,并综合平均融合和最小值融合的优点,对在不同视频帧中检测到的、包含相同内容的文字区域进行融合,能够得到背景更为平滑、笔画更为清晰的文字区域图像.最后,在视频文字提取模块, 通过自适

摘要:采用贝叶斯网络表示领域知识,提出一种基于领域知识的频繁项集和频繁属性集的兴趣度计算和剪枝方法BN-EJTR,其目的在于发现与当前领域知识不一致的知识,以解决频繁模式挖掘所面临的有趣性和冗余问题.针对兴趣度计算过程中批量推理的需求,BN-EJTR 提供了一种基于扩展邻接树消元的贝叶斯网络推理算法,用于计算大量项集在贝叶斯网络中的支持度;同时,BN-EJTR 提供了一种基于兴趣度阈值和拓扑有趣性的剪枝算法.实验结果表明,与同类方法相比,方法BN-EJTR 具有良好的时间性能,而且剪枝效果明显;分析发现,经过剪

摘要:提出一种基于闪存硬盘(solid state disk,简称SSD)的自适应缓冲区管理算法CBLRU,其将数据页的置换代价与其驻留内存的影响相结合,为每个数据页附加一个权值,当发生页缺失问题时,选择具有最小权值的数据页进行置换,从而可以在延长修改页驻留缓冲区的同时,避免某些修改页长期占用缓冲区中有效空间问题的发生.由于该权值会根据不同闪存的读写代价进行动态调整,因此可适用于不同类型的闪存硬盘;进一步,提出了同类型数据页的权重关系稳定性结论,基于该结论,CBLRU 将缓冲区中的数据页组织为两个LRU 队列,

摘要:通过对分类数据的深入研究,提出了一种高效的多层关联规则挖掘方法:首先,根据分类数据所在的领域知识构建基于领域知识的项相关性模型DICM(domain knowledge-based item correlation model),并通过该模型对分类数据的项进行层次聚类;然后,基于项的聚类结果对事务数据库进行约简划分;最后,将约简划分后的事务数据库映射至一种压缩的AFOPT 树形结构,并通过遍历AFOPT 树替代原事务数据库来挖掘频繁项集.由于缩小了事务数据库规模,并采用了压缩的AFOPT结构,所提出的方法

摘要:提出了一种基于二维轮廓线与超二次曲面型元球模型的造型方法,以实现简单、快速三维模型原型构造. 给定一条二维轮廓线,首先使用圆或椭圆去逼近它.然后对每一个圆或椭圆设置第三个维度的参数,能够获得相应的超椭球体型元球.最后混合所有元球的场,并对所有元球的形状参数进行优化,得到一个解析的元球隐式曲面.通过调整元球的位置或形状参数构造出的曲面能够方便地实现形状的修改.模型的不同组成部分可以在不同的投影平面上勾画轮廓线相似地进行设计.该造型方法支持简单的建模操作,如布尔加、减或准扫成体生成,以生成各种复杂形状的模型.

摘要:给出一种基于物理的粘性流体模拟算法,该算法采用一种等价的能量模型将耗散过程与投影过程耦合入一个线性系统中同时求解.实现了在全隐式求解粘性项的同时求解压力来保证流体的不可压缩性,并且自动捕捉了至关重要的零应力边界条件,从而消除了由于直接近似该边界条件而导致的失真现象.此外,利用粒子携带的物理信息来求解对流项以抑制数值耗散.同时,基于粒子构建流体的隐式表面.最后的实验结果显示出算法的有效性、精确性及稳定性.该算法可以细致地体现各种粘度的流体的形变特征,并有效地支持可变粘性.

摘要:提出一种多尺度方向(multi-scale orientation,简称MSO)特征描述子用于静态图片中的人体目标检测.MSO 特征由随机采样的图像方块组成,包含了粗特征集合与精特征集合.其中,粗特征是图像块的方向,而精特征由Gabor 小波幅值响应竞争获得.对于两种特征,分别采用贪心算法进行选择,并使用级联Adaboost 算法及SVM 训练检测模型.基于粗特征的Adaboost 分类器能够保证高的检测速度,而基于精特征的SVM 分类器则保证了检测精度.另外,通过MSO 特征块的平移,使得所提算法能够检

摘要:为弥补当前NURBS 系统无法有效设计工程所急需的B 样条极小曲面的缺陷,将构造Bézier 极小曲面的 Dirichlet 方法成功地推广到了B 样条极小曲面设计.提出了插值控制网格边界的B 样条曲面模型,运用B 样条基函数的求导公式及求值割角算法,将计算极小曲面内部控制顶点的问题转化为一个线性方程组的求解,从而避免了强非线性问题所导致的困惑,极大地提高了运算效率.最后,用大量实例对理论和算法进行了验证.