一种面向变量传播的弧一致性算法

在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法(Improved-AC3),算法(Improved-AC3)完全脱离附加的数据结构,使得程序的空间复杂度非常小,也避免了新算法在维护数据结构上的开销,是一种空间复杂度优先的通用弧一致性算法.新算法对于通用弧一致性算法的改进效果是明显的,是对现有弧一致性算法的提高和完善,使其实用性更好,应用前景更宽.     

时变网络最大流问题的过剩流量收缩算法

时变最大流问题是最大流问题的一个推广．设图G=（y,A）是一个有向图且有唯一的发点s和收点P．图G中的每条弧（i,j）∈A都带有两个参数：弧上流的传送时间b（i,j,u）和弧的容量f（i.j.u）,它们都是时间u的函数．时变最大流问题就是找出从s到P满足容量约束的最大流,并要求此最大流的传送时间不能超过一个预先给定的时间限制T.假设：除发点外,流在其他任何顶点都不能等待;b（i.j.u）是正整数;l（i.j.u）是任意的非负整数．提出了该问题的一个过剩流量收缩算法,并讨论了这个算法的复杂度．最后,给出了一个数值算例。     

带抑制弧Petri网极小活标识的配置

讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.     

基于粗糙集理论的决策表属性约简算法

属性约简是粗糙集理论的一个重要内容,是进行知识获取中的核心问题之一.本文在粗糙集理论的基础上构造了区分图,在区分图上以属性的重要度作为启发信息,快速缩小搜索空间,求解最小属性约简.给出了一个最坏情况下时间复杂度为max（O（｜C｜^2）,O（｜C‖U｜^2））的快速属性约简算法.该算法统一考虑一致性决策表和不一致性决策表两种情况下的属性约简.     

最短路问题的一种新动态规划算法

结合并行处理及顺序（逆序）递推算法的思想,对有循环不带负弧的有向图中特别指定的2个节点之间的最短路问题提出了一种新的动态规划算法,且新算法在搜索结果上与狄克斯拉（Dijkstra）标号算法相同,但因为新算法采用了双向递推的思想,因而其搜索速度明显优于Dijkstra标号算法。     

基于自一致性的磁共振并行成像高效重构算法

磁共振并行成像技术能够显著地减少成像时间,然而高质量的图像重构比较困难.为了提高重构图像的质量,基于自一致性的SPIRiT框架,提出了一种高效的重构算法.该算法针对一个含有数据一致性、校准一致性和联合稀疏性正则项的复杂优化问题,首先将该问题简化成一般性最优化问题;再使用算子分离算法将其分解成一个梯度计算问题和一个可通过软阈值法求解的去噪问题;最后,再使用加速方案对算法进行加速.实验结果表明,当加速因子为8时,采用所提出的新算法的重构图像比采用POCS算法的重构图像的SNR提高约2.4,dB,且重构时间也节约了约30%.对于要求高质量重构图像的场合,所提出的算法能够满足需求.     

多智能体离散时间一致性跟踪研究

对具有参考状态和时滞的离散时间一致性跟踪问题进行了研究.给出了离散时间下的一致性控制器,运用经典李雅普诺夫稳定性理论,证明了多智能体系统在具有参考状态和时滞情况下的稳定性,并给出了时滞相关的线性矩阵不等式（LMI）判据.最后以水下无人航行器协同作战为背景,仿真验证了所提出的一致性算法和判据的有效性.     

参数化CAD系统中实现椭圆（弧）功能的算法研究

针对目前参数化ＣＡＤ系统中无椭圆（弧）功能的问题，提供了绘制和拾取任意位置椭圆（弧）和剖面线的算法。在绘制椭圆（弧）时，算法能自动产生决定其特征参数的前趋，由此绘制的椭圆（弧）同其它图形实体一样可以进行各种编辑和尺寸驱动，实现参数化设计。该算法已应用于开发基于作图辅助线和辅助国的参数化ＣＡＤ系统中。     

Toeplitz矩阵填充的尾端修正增广拉格朗日乘子算法

基于均值的增广拉格朗日乘子（MALM）算法,提出了一种尾端修正的Toeplitz矩阵填充新算法.该算法利用增广拉格朗日乘子（ALM）算法迭代速度较快的优点,对迭代矩阵序列进行结构化与尾端修正.在一定程度上减少了每步均值处理所产生的数据传输量,从而降低了计算代价.同时详细讨论了新算法的收敛性.最后通过数值实验证明了新算法比l步修正的增广垃格朗日乘子（l-MALM）、MALM以及ALM算法在计算时间上有较大程度的减少.     

一种求最优环流的纯组合换弧方法

本文提出一种在有向图中求最优环流的有限算法.算法是通过在有向图中的支撑林和相应的补支撑林之间进行一系列弧的交换来完成的.交换弧的规则是纯组合的,它仅跟一些弧的最小编序有关,跟最小比检验无关[5] [4] [3].算法是非单纯形的,即算法实施过程中的各个环流和相应环补流仅保持着基本性.算法是从所考虑有向图中任意给定的一个支撑林开始工作的.