九位不同数字乘法等式的优化算法

对“九位不同数字构成乘法等式”的问题进行研究分析,深入探讨其解决方案,根据NP 问题穷举算法设计的 常规思路,设计了一种更加优化的穷举算法,实验证明该算法是正确高效的。     

基于穷举策略的缩水算法

穷举是猜测密码口令字最常用的方法,基于对概率和社会工程方面的分析,提出在穷举计算中减少口令字穷举数量的缩水算法,用以提高穷举的速度和缩短口令字的命中时间.以猜测MD5散列明文为例进行了缩水测试,比较了传统算法与使用缩水算法后不同的命中时间期望.证明了在满足算法适用的前提下,算法有明显缩水效果.算法不仅对穷举猜测工作具有指导意义,对穷举猜测软件、字典工具软件的开发均有所启示.     

二重数值积分双梯形递推算法的研究与实现

在双梯形算法的基础上,提出了二重数值积分双梯形递推算法,给出了用C++语言编程实现双梯形递推算法的技术要点,通过对同一实例进行不同的计算实验,测试并比较了复化双梯形算法与双梯形递推算法各自运行时占用Pentium150CPU的时间,实验表明:双梯形递推算法是一种快速计算二重积分、节省CPU时间的高效方法。     

常用计算机算法简介及C语言举例

该文主要是简单介绍了常用的几种计算机算法,如迭代法、递推法、递归法、穷举法等,并举例用C语言进行实现。     

余数问题的两种算法分析

本文对“已知一个正整数被不同的几个正整数除后的余数,求该数”的传统余数问题进行分析,分别采用穷举算法和中国剩余定理(孙子定理)的数学分析算法进行计算机编程求解,并分析、比较两种算法的特点。     

Instructions问题算法分析

ACM／ICPC（ACM International Collegiate Programming Contest）ACM国际大学生程序设计竞赛的简称．这是世界计算机领域的一项权威赛事。该文就是针对ACM国际大学生程序设计中的一道题目的解法进行算法分析,道题目的名字叫做“Instructions”。通过对原问题进行理解,通过暴力方法,动态递推法,对原问题进行算法分析和实现,然后对算法进行测试和总结,从而满足题目的要求。     

一种二叉树非递归遍历算法的C语言实现

针对二叉树的链式存储结构,分析了二叉树的各种遍历算法,探讨了递归算法的递推消除问题,提出了一种改进的非递归遍历算法并用C语言予以实现。     

SOS：模糊图象反扩散恢复的“搜寻—单击”算法

为了对模糊图象进行高保真度的复原,研究了讨论了一种模糊图象的反扩散恢复算法;该算法首先以图象模糊的尺度为准,在比较为逐次递推算法和传统的单击算法的基础上,给出了它们的适应范围,进而提出了“搜寻－单击”算法,它用逐步逼近方式来探定未知的模糊尺度,然后以尺可能小的累积误差完成反扩散计算,从而实现了模糊图象恢复的盲处理,最后,采用自然模糊与人工模糊的图偈对恢复算法进行了验证,包括算法对模糊尺度的灵敏度算法的有效应用范围,以及纹理结构或景深偏差变化的模糊图象经恢复处理后的效果比较等,试验结果表明对数字图象作为SOS反扩散恢复处理可产生常规光学摄影技术所不可能取得的场景清晰度。     

试谈递归和递推算法在程序设计中的应用

递推和递归问题是计算机高级语言程序设计课程中的重点和难点。以简单实例"求自然数阶乘"问题为例,对递推和递归算法进行了探讨,重点分析了两者的编程思路和实现方法,并通过C程序进行了验证,旨在研究两者的区别和联系。     

C编译器自动测试工具的剖析与移植

软件测试自动化是为了提高测试效率，缩短软件开发周期，降低测试成本。Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化，用随机的思想和算法，代替“穷举”方法解决证明正确性的问题。     

Hierarchies of recursive computations†

A recursive version of the Turing machine model is used to analyze the time and storage complexity of recursive algorithms. Hierarchy theorems are proven for time and for width of recursion (the amount of storage used at a level). A particular language is shown to be the “hardest” language to recognize without recursion. Previous results relating recursive and non-recursive time bounded computations are sharpened.     

基于递归法在C语言项目实践中的探索和应用

在用C语言进行项目实践的时候经常会遇到算法的设计问题,算法设计的好坏以及效率的高低直接影响和决定着项目实践的成败,因此,算法设计是解决问题的核心和关键。在诸多算法当中,递归是一种比较另类和难于理解的算法,但由于它的强大功能,在进行项目实践和应用程序开发时常常采用递归算法来解决问题。尝试通过详述几个典型项目的求解过程,探索递归算法的使用方法和技巧,提高使用C语言程序设计解决实际问题的能力。     

Termination of Nested and Mutually Recursive Algorithms

This paper deals with automated termination analysis for functional programs. Previously developed methods for automated termination proofs of functional programs often fail for algorithms with nested recursion and they cannot handle algorithms with mutual recursion.We show that termination proofs for nested and mutually recursive algorithms can be performed without having to prove the correctness of the algorithms simultaneously. Using this result, nested and mutually recursive algorithms do no longer constitute a special problem and the existing methods for automated termination analysis can be extended to nested and mutual recursion in a straightforward way. We give some examples of algorithms whose termination can now be proved automatically (including well-known challenge problems such as McCarthys f_91 function).     

自然语言文本共指消解性能评测算法研究

在自然语言文本处理中,共指研究处于基础且关键的一环,它的有效解决将为众多的语言工程处理问题提供有力支持,因此对于共指消解性能的评测就显得尤为重要.针对共指消解任务的几种评测算法进行了深入研究,分析各种方法优缺点,指出CEAF方法是目前缺乏用于指代任务处理开放语料情况下,较适合汉语自然语言文本共指消解性能评价的一种方法.     

使递归算法泛型化

对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C＋＋标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性。将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性。除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性。也给出算法复杂度的定量分析,并用函数式语言ML来实现。     

Calculations of curvature continuous cubic splines

The connection between the recursion formula for B-splines and the de Boor algorithm is well-known. This connection can be transferred to the curvature continuous cubic case where the use of results of Goodman & Unsworth (for a recursion formula) and Boehm (for a de Boor-like algorithm) yields two different pairs of recursion formulas and de Boor-like algorithms. Some properties are discussed.     

白盒测试基路径算法

归纳基路径测试的方法,结合图论和向量空间的理论提出一种根据程序图寻找基路径的算法,分析程序图各种可能的结构,采用标记遍历程序图节点和递归等方法得出基路径,将该算法用C＋＋语言予以实现并运用到一个例子代码中,结果证明该算法是合理的、有效的。     

全一问题的思考与研究

本文从图与代数相互转化的角度来研究全一问题,并采用类C语言作为数据结构和算法的描述语言给出了求解过程的计算机算法。