贪心算法在系统故障诊断策略生成中的应用

诊断策略是具有一定顺序的测试序列.诊断策略生成的目标是隔离故障,并使测试开销达到最小.本文介绍测试序列生成的各种信息启发式算法并通过对比各种算法诊断策略生成的期望开销,着重讨论了Rollout算法的优越性.     

基于改进模拟退火算法的无线传感器布设

对于已被证明是组合优化问题的无线传感器布设而言,模拟退火算法是一种有效的解决方法.在生成无线传感器布设方案的过程中,针对传统模拟退火算法的缺陷,采用了保存当前最优布设方案及灵活设置退火温度的改进算法来生成布设方案,并给出了使用该算法的无线传感器布设方案生成流程及算法伪码.最后通过仿真实验验证了该改进算法在生成无线传感器...     

中点生成椭圆的整数型算法

在研究圆和椭圆生成算法基础上,通过构造递推表达式,给出中点生成椭圆的整数型算法,并对算法效率进行了分析.算法初始化时需进行两次乘法运算和一次移位运算,而生成各绘图点时只需要整数型加法运算,因此算法运算精度高、速度快,适合硬件的实现.采用VB编写程序对算法正确性进行了验证,该算法具有一定的理论和实用价值.     

一种位插补数据生成算法以及位插补误差分析

位模式插补本身不产生特定的运动控制,只是根据上位机下传的位模式数据进行脉冲的发送,整个过程的运动控制以及插补算法误差都来自上位机位模式数据的生成过程.因此,表文对自由曲线位模式插补数据的生成进行了研究并提出一种误差可控的位模式数据生成算法.最后通过实例对算法进行了验证并进行了误差分析.验证结果表明,该算法可行而且有效.     

一种基于粒子群优化的成对组合测试算法框架

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

Radl算法到Apla程序的生成系统

算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进行形式化推导和证明.通过深入剖析Radl算法特性,揭示Radl算法与抽象顺序程序Apla(abstract programming language)间本质关系,定义基于Radl语法产生式的Apla程序生成规则,实现了Apla程序自动生成系统,并对其可靠性进行系统研究,着重形式化验证了实现系统的核心算法.使用PAR方法开发的算法是正确的,采用形式化证明的生成系统具有可靠性保证,从而保证了算法从设计到实现的高可靠性,并通过实现自动化开发工具提高了程序的开发效率.     

基于PAR 的排序算法自动生成研究

排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.     

SVM算法在网站分类中的应用研究

研究SVM算法在中文网站顶级类别分类中的应用,并提出一个网站向量模型的生成算法.该算法以网站的首页HTML代码为基础,通过代码清理、内容提取、分词等步骤生成向量模型作为SVM的输入,并采用多类的线性SVM分类器进行分类.最后对这个算法进行了实现,通过实际的网站数据测试,分析了实验结果,证实了这个算法能够取得较高的分类准确率并表明了在低流量低延时状态下网站分类系统的可行性,为其进一步在客户端或游览器中的应用提供了实验基础.     

混合图在无向图割集生成中的应用

为了进一步提高生成无向图割集的递归收缩算法的执行效率,将无向图转换为一类特殊的混合图,并将转换结果代替无向图输入递归收缩算法进行处理,修改了递归收缩算法中相应的算法步骤,使得改进算法可以更高效地生成无向图的割集.在理论上论证了改进算法的正确性,并通过理论分析和实验比较了改进算法和现有算法的时间复杂度和空间复杂度.理论分析结果和实验比较结果均表明改进算法明显比现有算法高效.     

分支覆盖测试路径集生成系统设计与实现

给出一种生成分支覆盖测试路径集的改进算法,降低了不可行路径出现的概率,并在此基础上设计实现了一个面向分支覆盖的测试路径自动生成系统AGTP.通过实例验证了算法及系统的有效性,测试结果表明该系统能精确有效地生成分支测试路径集.     

n阶形式背景核的构造算法

基于n阶形式背景核的概念格同构生成是一种新的概念格获取方法.其中n阶形式背景核的构造是基础.根据n阶形式背景核的概念,提出了n阶形式背景核的基本算法,并通过限制冗余形式背景的生成,对算法进行了改进.最后经过实验,验证了改进算法相对基本算法效率更高.     

基于粒子群优化的测试数据生成及其实证分析

运用元启发式搜索进行结构性测试数据生成已经被证实是一种有效的方法.在讨论基于搜索的测试数据生成基本框架的基础上,以分支覆盖作为测试覆盖准则,给出了基于粒子群优化(particle swarm optimization,PSO)的测试数据生成算法,并通过分析分支谓词的结构特征提出了一种新的适应函数构造形式.在此基础上,针对一些公开的程序集开展对比性实验分析,证实粒子群优化算法在平均覆盖率、全覆盖成功率、平均收敛代数和搜索时间4项指标上均要优于遗传算法和模拟退火算法.同时,编程实现了4种典型的PSO变体算法并进行测试数据生成效果的实证分析,结果表明:基本PSO是解决测试数据生成问题的首选算法,而综合学习式PSO算法的表现则相对较差.     

一种基于概念矩阵的概念格生成算法

概念格作为形式概念分析理论中的核心数据结构,在机器学习和数据挖掘等领域有着广泛的应用.构造概念格十分重要,针对此引入了概念矩阵思想,提出了基于概念矩阵的概念格生成算法CMCG(Concept-Matrix Based Concepts Generation).该算法从格的顶端节点开始构造,基于概念矩阵,利用属性的秩为每个节点生成它的所有子节点,完成子节点到父节点之间的链接,并生成哈斯图.给出了这种算法的理论依据.最后提供了这一算法的伪码,并通过实验证明了CMCG算法的时间性能优于Lattice算法.     

基于牛顿迭代算法的分形艺术图形设计

分形艺术图形是分形艺术最主要的表现形式之一,分形艺术图形的生成需要借助计算机,并通过数学模型和程序才能完成.文中主要利用牛顿迭代算法、特效处理算法和着色算法生成分形艺术图形,其中牛顿迭代算法是核心算法,为创作分形艺术图形提供素材;着色算法也是不可缺少的,为创作分形艺术图形提供调色板,决定了生成的分形艺术图形的精美程度;特效处理算法是可选的,对分形艺术图形进行二次加工,也在一定程度上决定了分形艺术图形的精美程度.笔者利用Visual C 6.0开发工具编制了一个分形艺术图形生成软件,生成了大量绚丽多彩的分形艺术图形,这说明该算法是有效的.     

L-MAX频繁项集及挖掘算法

提出了项集长度受限且生成项集对应事务信息的最大频繁项集挖掘问题,定义为L-MAX频繁项集挖掘,并重点研究了项集长度约束特征和事务集信息的存储与生成策略.首先研究了L-MAX频繁项集的性质,然后扩展FP-tree提出了ExFP-tree结构并给出ExFP-tree生成算法.ExFP-tree利用FP-tree共享前缀路径的性质通过共享子孙节点事务信息策略实现大量事务信息的压缩存储;最后基于FP-MAX算法,提出基于ExFP-tree的L-MAX频繁项集挖掘算法,核心思想是先根据L-MAX频繁项集长度约束性质进行前瞻剪枝再进行最大频繁项集挖掘,并通过回溯策略直接定位生成对应事务集.     

基于滚动球模型的单值曲面缓冲体边界生成算法

在深入分析当前缓冲体边界生成算法的基础上,针对单值曲面这类特殊形态的地理要素,通过建立单值曲面逻辑并运算法则,提出一种基于滚动球模型的单值曲面缓冲体边界生成算法;阐述了算法的基本原理和实现步骤,并分析了算法的时间复杂度.在VC++环境下对文中算法在格网数字水深模型中的应用进行了实验验证,结果表明,该算法具有执行效率高、精度可靠、可适应较复杂的单值曲面形态等优点.     

深度计算的同辈群体股市态势预测算法*

针对同辈群体的同辈群体算法(PG)的不足,提出深度计算的同辈群体生成算法.首先计算目标股票和候选股票之间的波段相似性,然后通过对亲密度、相关性和活跃度的深度计算,生成目标股票的同辈群体,并证明深度计算生成的同辈群体质量优于PG算法.针对PG算法不具有预测功能,通过结合自回归(AR)模型与同辈群体算法,提出基于同辈群体的自回归股价态势预测算法(DPG-AR).DPG-AR利用深度计算生成同辈群体,实现同辈群体权重的动态更新,并利用AR模型预测目标股票态势.上海证券综合指数及对应个股的对比实验证明DPG-AR的优越性.     

一种检测器长度可变的非选择算法

检测器生成是非选择算法的关键步骤.已有检测器生成算法在生成检测器时存在"漏洞"区域和冗余检测器问题.提出了一种检测器长度可变的检测器生成算法,不仅可以消除"漏洞"区域,还可以通过相应的检测器优化算法减少冗余检测器,进而提高检测器生成效率和检测效率.对算法进行了分析和实验证明,结果表明,该算法比传统的非选择算法及r可变的非选择算法具有更好的性能.     

改进的矩形毛坯三块排样方式及其算法

致力于改进矩形毛坯三块排样方式的生成算法,采用三种策略缩小解的搜索范围,并将该算法与线性规划相结合形成排样方案生成算法,用于求解大规模矩形毛坯排样问题.通过实验证明,与二阶段、T形、两段、三阶段排样算法相比,排样方案生成算法生成的排样方案虽然板材利用率稍低,但排样方案简单,能够简化切割工艺.     

复合材料管状结构自动铺丝路径算法

以母线为基础分段拟合生成铺丝路径.首先根据管状构件特点构造关键控制母线,通过插值生成所有母线作为铺丝参考路径,再采用与母线固定角度铺丝方法生成所有路径;然后讨论了对路径交叉和间隔情况的处理,并给出了铺丝精度控制策略;最后利用CATIA V5R14及其二次开发环境实现了铺丝算法,并通过飞机S型进气道的应用,验证了该算法的正确性与有效性.