一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

一类单阶段混合制造系统的调度

研究了一类单阶段混合制造系统的建模、分析与调度问题，这类系统既包含离散事件动态，也包含连续时间动态，前者用排队网络描述，后者用微分方程描述。不仅考虑了这类系统的最优控制问题，而且考虑了工件进入生产线的最优时间，并用一个复杂的优化模型描述，同时给出了一个两层优化方法，内层给出对给定工件序列的最优控制，而外层用一改进的遗传算法求解工件进入生产线的最优时间序列。若干仿真实例说明了算法的有效性。     

生物机制在智能计算中的应用

揭示生物机制在智能计算中的应用。与生物学相关理论相结合 ,论述遗传算法、人工神经网络和DNA计算的生物机制 ,揭示生物学思想在其中的应用 ,说明现在各类学科交叉发展的趋势     

基于CSD量化的数字滤波器的设计

数字滤波器在数字信号处理中占有举足轻重的地位。针对当前滤波器资源消耗大的问题，仔细研究了基于CSD（Canonic Signed-Digit)量化的滤波器设计方法，并对以往的CDS量化过程进行了改进，提出了一种降低滤波器运算量的改进方法，给出了设计基于CSD量化的滤波器的参考意见。仿真结果表明：改进后的算法对滤波器频率特性有一定改善，系统硬件实现时的存储资源也有所减少。     

高码率平滑图像质量自适应量化控制算法

针对MPEG-2纯Ⅰ帧编码情况，在MPEG-2TM5自适应量化控制算法的基础上，提出了一种基于平滑图像质量的高码率下自适应量化控制算法。根据已编码帧的复杂度平滑分配各帧目标码字，利用非线性方法使宏块的量化因子变化平缓，以达到高码率下提高图像质量的目的，仿真结果表明，在相同码率下重建图像质量(PSNR)优于TM5算法。     

二叉树CreateBTree算法的改进

在分析二叉树的CreateBTree算法的基础上，利用线性探测再散列方法对CreateBTree算法的中序遍历序列进行预处理来改进CreateBTree算法，使得改进后的CreateBTree算法在最差情况下，时间复杂度由O(N^2)降为O(N)。     

遍历从N个元素中取M个元素可能组合的最佳算法

从N个相异元素中取M个元素(M≤N)的可能组合的遍历问题是组合数学中重要的基础性问题．关于该问题的现行算法是建立在对于搜索到的每一个节点的诸元素首先进行排序，然后搜索下一个节点．本文对于该问题给出一个全新的算法．新算法中放弃了对于节点诸元食的排序，实现每进行一次数据交换即搜索到一个新的节点，因而成为解决该问题的最佳算法．使用该算法编辑计算机程序，有编程简短、占用机器内存小的特点。     

自旋1/2态下的量子逻辑变换

作者利用对自旋算符的量子线性变换理论，提供了一种考察自旋1/2态下的量子逻辑门变换的一种有效方法，并给出了几个基本量子逻辑操作的变换表达式。     

板肋式多肋T梁桥的空间分析

根据板肋式多肋T梁桥的受载力学行为特点，将其各板件视为板梁，同时在构造其位移模式时也考虑了T梁顶板剪滞效应和局部弯曲影响，由此提出了板肋式多肋T梁桥空间计算的桥梁有限单元法。     

三维非定常粘性流动的数值方法及其应用

提出了适用于模拟非定常三维粘性流动问题的数值计算体系，包括高速收敛稳定性好的新的ＬＵ型隐式格式，捕捉弱间断面和滑移面的高精度、高分辨率的改良型ＭＵＳＣＬＴＶＤ格式。将基于此数值模型而发展起来的非定常粘性流动通用软件应用于叶轮机械气动热力学计算，为研究内流粘性损失、激波和非定常尾涡干涉、三维分离流动，尤其为探明分离泡内部的涡结构打下了基础。此软件亦适用于叶栅设计等方面的工程应用问题