SAT局部搜索算法的转移矩阵模型

对不完全算法在搜索空间上的部分特性进行统计分析，并对算法的执行轨迹进行Markov建模，推导出算法的转移矩阵模型，最后通过实验证明了该模型的正确性。     

求解最优二分搜索树

最优二分搜索树的求解在一些实际问题中是经常碰到的，本文首先对该问题以及已有的几种求解算法作一介绍和评述，之后给出求解ＯＢＳＴ的更优算法，以及其正确性证明和算法评价。该算法的时间复杂度为最好的结果９。     

一种结合局部搜索策略的求解TSP的演化算法

介绍了一种结合局部搜索策略的求解流动旅行商问题（TSP）的演化算法。该算法的主要思想是将局部搜索策略在邻域内搜索的快速性与演化方法在全局搜索上的鲁棒性结合起来，从而跳离局部最优。将该算法用于TSPLIB中部分TSP实例上的试验结果表明：与传统的各种求解TSP的演化方法相比，该算法在获得全局最优解的精确度上有了一定的改善。     

一种改进的三维递归搜索视频去隔行算法

提出了一种改进的三维递归搜索（3DRS）视频去隔行算法，该算法使用双向参考运动估计，消除了原始算法中的误差传递现象，并采用多分辨率分析的思想，根据视频内容自适应的调节误差匹配块尺寸，提高了运动估计的准确度。实验结果表明，对于大多数测试序列，该算法在实验效果上取得了优于原始的3DRS算法的性能。     

一种基于禁忌搜索技术的作业车间调度算法

描述了一种解决作业车间调度最短完工时间问题的有效的启发式算法．该算法基于禁忌搜索技术．算法中利用了新的禁忌搜索方法．从对一组问题基准实例的实验计算结果看，该算法在合理的计算时间内，对多个实例得到比当前没有用转换瓶颈技术的禁忌搜索中最好的算法之一的TSAB算法更好的结果．     

Wei-Levoy纹理合成算法的搜索带加速方法

Wei和Levoy于2001年提出的纹理合成算法是当前典型的基于样图的纹理合成算法之一，但该方法存在算法实现复杂、使某些纹理的合成质量大大降低等缺点。文章提出了一种新的通过设置搜索带减小搜索范围的方法对Wei-Levoy纹理合成算法进行加速，并取得了理想的效果。     

基于削减搜索分支的快速模板匹配算法

提出了一种在完全搜索中寻找最优匹配点的模板匹配算法。它首先为图像建立一种类似金字塔的特殊层次结构。利用该结构的特点，削减匹配中无用的搜索分支，以达到提高处理效率的目的。通过该算法找到了完全搜索的最优匹配点，实验结果证明了它可以大大提高处理的效率。     

基于粒子群优化算法的约束布局优化

布局优化是NP难问题，也是复杂的非线性约束优化问题．针对这个问题，将新的基于粒子群优化的方法应用于布局参数的优化，提出了适合粒子群优化的约束处理，并通过与直接搜索算法的混合，加强了算法在局部区域的搜索能力．通过实例将该算法与乘子法以及基于遗传算法的布局优化方法进行了比较．仿真结果表明，该算法可以提高布局优化问题解的质量，同时降低计算费用．     

混合混沌优化方法及其在非线性规划问题中的应用

结合逐次优化、禁忌搜索和变尺度混沌优化方法的优点，提出了一种混合混沌优化方法。该方法具有逐次优化算法的隐性并行性和收敛性，禁忌搜索的智能性和变尺度混沌优化方法的快速性。仿真计算表明，该方法具有实现简单，优化效率高，鲁棒性强等特点。     

混沌梯度组合优化算法

提出一种混沌梯度组合全局优化算法，并对该算法进行了收敛性分析．算法首先采用改进的变步长梯度法得到某个优化值，然后利用变尺度混沌搜索跳出局部极小，经过反复组合迭代，直至到达最优解．仿真结果表明，该算法能充分发挥梯度法寻优的快速性和混沌法寻优的全局搜索能力．     

人脸自动检测与识别技术的研究及应用

本文提出了一种基于可疑人脸区域发现算法和结合投影图的人脸识别算法，算法在标准的人脸库上进行了实验，实验结果表明该算法能在人脸库中正确检测到绝大多数人脸的位置，并且在识别过程中体现了比标准特征脸方法更高的识别率和更小的计算量。以此算法为基础，研制和开发了一种计算机自动考勤系统。     

SMW算法和DAC算法的并行实现及分析

５１．引言 随着科学技术的发展,对大规模科学计算提出的需求越来越高．一是求解问题的规模越来越大,例如,三维油正模拟、大气和海洋之间的相互作用和核安全分析等都要求解超大规模的非线性方程组（未知数个数高达１０６～１０８）．另一方面是实时性要求越来越迫切,电力系统安全分析、气象预报等方面提出的实时性需求是最好的铭证． 传统的单机串行式地解决问题的方法已经无法满足客观需求,因此各种形式的向量化和并行（乃至并行十向量化）算法的研究受到普遍的重视． 无论用什么方法求解非线性偏微分方程（组）;最终都导致成千上万…     

三维人体及服装建模方法分析与实现

本文在对各种三维建模技术进行了分析的基础上，提出了一套建立三维人体及服装模型的方法。运用Matlab进行了方法的具体实现，提高了建模效率和模型的可控性，为实现三维服装款式智能设计奠定基础。     

面向对象分析与设计

本文对结构程序设计方法进行了回顾和分析，并从发展和改进结构程序设计方法学入手，提出了面向对象分析阶段的方法，并在面向对象设计阶段引进了对象模型的概念。     

求补舍入并行和位长自适应整数转浮点数电路设计

提出了一种实现整数转浮点数的新的设计方法 ,并且对方法的正确性给予了证明 .采用这种设计方法 ,实现了求补和舍入的合并并行 ,使关键路径的延时比常规的电路设计方案减少了 15级门 ,同时降低了电路规模 .关键路径延时的减小 ,使这一转换可以在单周期内完成 .另外 ,该方法实现了位长自适应 ,只需花费很少的电路规模和延时实现控制 ,就可以适应长整型、整型到单、双精度浮点数的转换 ,增强了电路功能 .这一设计方法同样适用于其逆转换 .该转换模块采用 Fujitsu CE71库设计 ,在 10 0 MHz主频下经仿真验证 ,结果正确 ,已经应用到实际工程中 .     

过程繁衍及其实现方法

过程的处理在并行化编译工具中是十分关键的问题，过程嵌入和跨过程信息传播是常用的解决方法．近年来，兼有前二者优点的新技术：过程繁衍（Ｃｌｏｎｉｎｇ），逐渐受到人们的重视．而以往的研究中，过程繁衍仅局限于常数值的传播．本文提出了在过程繁衍中进行符号等式约束信息传播的方法，该方法可以增强系统中全局的符号分析（ＳｙｍｂｏｌｉｃＡｎａｌｙｓｉｓ）能力，并可与一些新技术（如Ｏｍｅｇａ测试）互相配合，从而提高并行化系统的能力．该方法在作者开发的并行化编译工具ＡＦＴ中得到了实现．对于ＰｅｒｆｅｃｔＢｅｎｃｈｍａｒｋ的测试     

某通讯监控系统可靠性分配与验证

本文在探讨各种软件可靠性分析方法的基础上,利用基于软件复杂性因子的分配方法对某通讯监控系统进行了可靠性指标分配与验证,详细介绍了特定系统可靠性分配的一般分析方法与其实现过程,其它类似系统亦可参照使用。     

Novell网络与DCS的连接与通讯

本文针对ＤＣＳ系统和Ｎｏｖｅｌｌ网络的特点，给出了一种实现ＤＣＳ和Ｎｏｖｅｌｌ网络连接及数据通讯的方法，文中详细地介绍了该方法的实现原理，最后给出了该方法的一个应用实例。     

磁光盘轴径向偏摆和加速度的测试方法与实现

本文简述了测试磁光盘机械特性的重要性，论述了磁光盘轴、径向参数的测试方法，着重介绍了我们的测试系统采用的测试方法，原理及实现。