求解大型线性方程组的GATOR方法

本文建立了求解大型方程性方程组Ａｘ＝ｂ的一处新的迭工法－－ＧＡＴＯＲ方法，讨论了系数矩阵Ａ在不同情况下的算法的收敛性问题。     

常微分方程组初值问题的离散多分裂AOR波形松弛算法及其收敛性分析

本文首先基于交叉块分解的多分裂ＡＯＲ方法给出了波形松弛算法的一个推广，其次对等距时间结点，用隐式Ｅｕｌｅｒ方法并行数值求解各子方程组，最后，证明了多分裂ＡＯＲ波形松弛算法在一个固定的包含有限个时间点的区间上有收敛性。     

异步并行非线性AOR算法

建立了求解大型非线性方程组Ａｘ十Ψ（Ｘ）＝ｂ的异步并行非线性ＡＯＲ算法及其外推形式，并在系数矩阵Ａ６Ｌ（Ｒｎ）是Ｈ－矩阵，Ψ：Ｒｎ→Ｒｎ是连续的对角映射的条件下，证明了新算法的全局收敛性．     

鼠脑钠离子通道IS4片段溶液构象的NMR研究

应用２Ｄ ＾１Ｈ ＮＭＲ技术确定了合成多肽ＩＳ４的溶液构象，利用２Ｄ ＤＱＦ－ＣＯＳＹ，ＴＯＣＳＹ和ＮＯＥＳＹ实验，对ＩＳ４的＾１Ｈ谱进行了完全的指认，ＮＯＥＳＹ谱相关峰的积分被应用于结构计算，应用ＭＡＲＤＩＧＲＡＳ程序可以产生比较精确的质子－质子之间的距离约束。在应用距离几何程序ＤＩＡＮＡ计算时利用由ＭＡＲＤＩＧＲＡＳ产生的距离约束，加上二面角的约束，结果得到５个重叠得比较好的结构，最后对这５个     

常微分方程组初值问题的离散多分裂AOR波形松驰算法及其收敛？…

本首先基于交叉块分解的多分裂ＡＯＲ方法给出了波形松驰算法的一个推广，其次对等距时间结点。用隐式Ｅｕｌｅｒ方法并行数值求解各子方程组，证明了多分裂，ＡＯＲ波形松驰算法在一个固定的包含有限个时间点的区间上有收敛性。     

ARMA模型的一种线性建模法

在ＡＲＭＡ模型的自协方差函数和函逆数的基础上，利用Ｍａｒｐｌｅ算法提出一种ＡＲＭＡ模型的线性建模法，与非线性建模法比较，其运算工作量大大减少，便于在线别识和控制，而且利用此方法建立的ＡＲＭＡ模型参数的精度较高。     

一种自适应线谱对滤波器的新算法及在线性预测中的应用

本文从自适应格型滤波器导出自适应线谱对（ＬＳＰ）滤波器，使用最小均方（ＬＭＳ）型自适应算法逐级更新计算线谱对系数。实验表明。该算法与其它算法比较，具有更高的收敛率和较低的失调。用该算法计算得到的ＬＳＰ系数进行语音线性预测合成，获得比使用ＰＡＲＣＯＲ系数更好的效果。     

三维瞬态涡流问题的有限棱单元计算法

推导出求解三维瞬态涡流问题的Ａ－Ａ有限棱单元法控制方程；运用补树技术保证了解的唯一性；提出了不完全树约束方法加速ＩＣＣＧ收敛；运用本方法对ＴＥＡＭ ＷＯＲＫＳＨＯＰ问题４进行了计算，具有较高精度和快速收敛等优点。     

用TOR方法求解最小二乘问题收敛域

为了求解大型稀疏超定线性方程组，通常人们都是求它的极小范数最小二乘解。很多直接和间接方法被人们研究。在这些方法中求解最小二乘问题的通常的ＳＯＲ，ＳＳＯＲ，ＴＯＲ等迭代方法发挥了重要作用，被一些作者建议并研究，笔者讨论了用ＴＯＲ方法求解最小二乘问题的收敛域，首先导出了块ＪＡＣＯＢＩ迭代矩阵的特征值集合与ＴＯＲ迭代矩阵的特征值集合之间的关系。接着用比较直接的方法得到用ＴＯＲ方法求解最小二乘问题收敛域和     

CAD／CAM集成系统面向对象信息建模方法

提出面向对象的信息建模方法－对象－关系图，详细介绍了Ｏ－Ｒ图的基本要求和建立方法，着重研究了Ｏ－Ｒ图中两个重要的抽象关系：归纳关系和聚集关系，最后探讨了利用Ｏ－Ｒ图建立面向对象产品定义模型的方法。     

梯级水电站排序的整数非线性规划模型与算法

本文运用整数非线性规划方法建立选择梯级水电站最优开发顺序的排序模型,研究了一种适合于求解目标函数和(或)约束函数只具有可计算性的整数非线性规划问题的直接搜索寻优算法。     

基于D-tree分解的欠约束与完备约束的几何约束求解

提出了解决欠约束、完备约束的几何约束问题的D-tree分解算法.首先,提出了一种适用范围更广的处理特殊约束策略,可以将这种特殊约束与普通约束统一化,采用转化策略将欠约束的几何约束问题转化为完备约束的几何约束问题.然后,根据几何约束图中结点的度的性质给出了D-tree分解算法,相比经典算法,D-tree分解算法拥有更低算法复杂度和相同的求解域.最后,根据D-tree分解算法结果的规律性,给出了一个为基于数值的求解方法导出求解序列的策略.D-tree分解算法通过导出的求解序列将提高几何约束求解中基于数值的求解方法的求解效率.     

一种新的参数化设计方法

本文引入可用约束、特定元素，双向约束等概念，通过建立网状数据结构表达几何元素，几何约束求解方法－基于推理的代数法。该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而洋是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算。     

蜂窝网络中基于遗传算法的信道分配

信道分配问题属于组合优化中的NP完备问题 ,为了更有效的利用频率资源 ,在遗传算法的基础上提出了一种新的信道分配方法·在信道分配中主要考虑三种限制 :同频限制、邻频限制和同位置限制·目标是得到一个用最少的信道数 ,满足话务需求和电磁兼容限制的信道分配方案·采用了最小间隔编码方案 ,利用固定遗传算子 (交叉和变异 ) ,在整个迭代过程中始终满足话务需求的要求·提出了几种遗传算子并进行了验证 ,比较结果表明选择性变异技术能得到很好的结果·对几个著名的benchmark问题进行仿真 ,结果表明 ,它对解决信道分配问题是一个非常有效的方法     

多用户最优化的两种对偶方法

采用多用户问题的梯度近似分布式算法,对多用户最优化的原始对偶方法和正规化对偶方法进行了比较,集中于多用户凸最优化问题的概括,其中目标函数和约束函数不可分,而目标函数可通过非线性组约束,使用户决定耦合;在算法中,对原始对偶方法和正规化对偶方法可考虑不变步长,采用跨用户自然迭代计算,使每个用户能够只更新自身的决策变量．     

A path planning algorithm based on Bezier curves for underwater vehicles

An on-line path planning algorithm based on Bezier curves is presented for underwater vehicles.Aiming at the special requirements of underwater vehicles and 3D environment,the algorithm consists of two steps: the generation of spatial path and the processing of some constraints.A path for underwater vehicles is planned,which satisfies the velocity constraint and the centripetal acceleration constraint of underwater vehicles.The proposed path planning method can be used for the vehicle's locomotion and navigation control.     

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

约束满足问题求解及ILOG SOLVER系统简介

首先综述求解约束满足问题的基本算法和搜索策略, 然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.     

B样条曲面变形方法的设计与实现

介绍了双三次B样条曲面的变形基础和曲面拼接的表达式,提出了一种双三次B样条曲面生成的改进算法,采用点约束、目标曲线约束两种几何约束驱动双三次B样条曲面变形,在点约束求解中以控制节点位移最小为目标函数,使用LINGO软件计算得到该目标下的最优解,利用MATLAB辅助计算得到变形结果,最后给出了计算实例验证了该方法的可行性。     

求解含等式约束优化问题的遗传算法

针对遗传算法较难处理含等式约束的优化问题,在设计变量独立性分析的基础上对等式约束采用了降维处理方法,不仅使等式约束在优化时始终严格满足,而且经降维处理后优化问题仅包含不等式约束;然后,借鉴多目标优化思想,提出了从个体违反约束程度和违反次数2方面同时对种群进行排序,使算法对个体的排序和选择更符合实际.实例验证了该算法的有效性和可行性.