Zeilberger算法、Petkov(s)ek算法与一类组合和是否有闭形式的问题

提出研究形如fp,r,s,x(n) =rn∑k=0(pnk)sxk的组合和的闭形式问题的Z-P方法,并利用此方法得到了如下结果:1)当s=1,p=2r时证明了对未定元x,rn∑k=0(2rnk)xk无闭形式表示;2)对p、r、s及x取特定的值,借助计算机归纳出几个值得探索的猜测.     

非线性方程组的数论网格算法

给出了定义在有界闭矩形上的非线性方程组的一种并行算法，并以算例展示这种方法的可行性和数值效果。     

复合形态滤波和改进型分水岭算法的图像分割

提出了一种基于复合形态学滤波和改进型分水岭的图像分割算法.为克服传统分水岭算法进行图像分割时产生的过度分割和耗时的不足,定义了由开-闭以及闭-开加权组合形成复合形态学滤波器,应用该滤波器对图像进行滤波;其次,设计一种应用内、外部标记的形态学分水岭算法,确定区域中梯度低频成分的局部极小值作为内部标记,区域之间确定为外部标记,内、外标记随处理信息的变化而变化,从而实现了对图像信息的自适应分割.仿真结果表明,采用本文算法实现的图像分割,其抗噪的MSE、PSNR性能明显地优于开-闭、闭-开单一运算的抗噪性能;同时,减小了梯度图中由于噪声造成虚假局部极小值而产生的过分割现象,准确地提取图像信息的轮廓、边缘等信息.     

基于Ginzburg-Landau泛函二值图像复原的快速算法

首先,回顾了基于Ginzburg-Landau泛函松弛的双阱势模型和2种经典的算子分裂算法,并将近年来相场计算问题中的新迭代算法引入问题求解中.然后,通过引入辅助变量建立等价的约束优化问题,基于交替方向乘子方法设计了子问题具有闭形式解的迭代格式.最后,通过设计大量的二值图像复原实验来评估这类算法的有效性.结果表明,当噪...     

数字PID调节器R-S-T算法

基于数字控制系统调节器R-S-T通用结构的基本思想、提出数字PID调节器的R-S-T算法,它很好地解决了数字PID调节器与系统动态器质的一般性关系问题,这是一种基于和系统闭坏动态品质密切相关联的闭环牲议程的数字PID直接快速计算方法.所提出的算法模式,特别适用于含数字PID调节器的闭环控制系统的数字仿真.     

求非线性规划全局最优解的一个算法

首先给出了判别f（x）的极小值点x0∈D是否为f（x）的最优解的充分必要条件（D为Rn中的闭区域）;在此基础上,给出了求一元函数及多元函数全局最优解的方法．此外,还给出了求一元函数极值的一个迭代算法．     

经典变分不等式的一种梯度投影算法

本文在有限维欧氏空间中提出了一种解经典变分不等式的梯度投影算法,该算法通过进一步限制投影区域,使X～k向一新的闭凸集Ω∩H_K~1∩H_K~2进行投影,使得x~(k 1)=P_(Ω∩H_K~1∩H_K~2)~(x~k),其中H_K~2={x∈R~n│≤0}.从而使得新的算法的迭代比原方法有一个更长的步长。并证明了其收敛性。     

广义互补问题的正则化牛顿算法

首先将定义在闭凸多面锥上的广义互补问题(GNCP)转化为一个等价的非线性方程组,然后利用正则化牛顿算法来求解此非线性方程组,并建立了算法的超线性(二阶)收敛性.     

基于改进Criminisi算法的病理组织反光图像复原

病理组织所含水分导致图像采集时易出现反光现象,影响了图像的质量,降低了计算机对病征的识别效果。为此,本文提出基于Criminisi的改进算法。首先,对病猪器官反光区域进行标记,在对标记图像二值化,对二值化图像用数学形态学闭操作处理,消除空洞,再与未标记的图像叠加,优化修复效果;之后,运用正规化函数定义置信度项,避免出现置信度项迅速衰减;最后,采用加权和的形式定义优先权函数,避免了优先权值为零,导致修复顺序不可靠问题。实验结果表明,改进的Criminisi算法修复顺序更加可靠,填充结果更加自然。     

基于改进分水岭算法的医学图像分割

医学图像存在病变区域和背景区域,病变区域是分割的重点。针对传统分水岭算法对噪声敏感和易于产生过分割的问题,提出了一种将形态学滤波、多尺度形态学梯度和控制标记符分水岭相结合的分割策略。首先利用数学形态闭-开运算完成预处理以滤除原始医学图像中的噪声和非感知信息。其次做闭运算以平滑图像,并对平滑的图像计算多尺度的形态学梯度。再次对形态学梯度图像进行重建,然后采用控制标记符的分水岭变换算法对重建后的梯度图像进行分割。最后将分割结果变换回原始尺度。仿真实验结果表明,这种改进的方法不但使经典分水岭算法中的过分割现象得到了很好的抑制,医学图像中的病变区域被有效分割出来;而且分割算法简单,同时具有多尺度的特点,能够适应医学图像分类与信息提取的需求。     

聚束SAR模式下ω-k和PFA算法的比较

研究波数域算法(ω-k)和极坐标形式算法(PFA)两种聚束SAR成像算法,并对其进行了定性比较分析.将SAR回波信号的预处理分为时域去调频处理和频域匹配滤波处理,给出了与此相应的两种算法的不同实现形式,并对其信号模型和成像原理进行了比较,从残留视频相位(RVP)、算法的近似和假设以及插值等角度分析比较了这两种算法的性能.比较结果表明,去调频信号预处理方法极大地降低了信号处理量,但是存在残留视频相位(RVP);匹配滤波预处理不存在RVP,但计算量可观.     

聚束SAR模式下ω-k和PFA算法的比较

研究波数域算法(ω-k)和极坐标形式算法(PFA)两种聚束SAR成像算法,并对其进行了定性比较分析.将SAR回波信号的预处理分为时域去调频处理和频域匹配滤波处理,给出了与此相应的两种算法的不同实现形式,并对其信号模型和成像原理进行了比较,从残留视频相位(RVP)、算法的近似和假设以及插值等角度分析比较了这两种算法的性能.比较结果表明,去调频信号预处理方法极大地降低了信号处理量,但是存在残留视频相位(RVP);匹配滤波预处理不存在RVP,但计算量可观.     

Hilbert空间中闭的拟非扩张映像不动点的另一迭代算法

首次引入了一种迭代算法,用以构造Hilbert空间中闭的拟非扩张映像的不动点.使用新的算法证明了一个强收敛定理.新算法不要求映像具有次闭性质,而且对迭代参数{αn}的限制更宽松.     

三Ⅰ算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、Godel算子、乘积算子和R0-算子都是正则蕴涵算子-针对这种正则蕴涵算子建立了FMP和FMT的三Ⅰ算法的统一形式,相应地三Ⅰ解可用一般的伴随对((×),R)中的左连续三角模(×)和正则蕴涵算子R统一表达;指出在Godel的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α-三Ⅰ算法的统一形式,得到了关于FMP和FMT而言的α-三Ⅰ算法的对偶性结论.     

并行志愿投档算法及其复杂性分析

结合高考录取中的实际工作,以形式的方法对分数优先并行投档算法做出描述,并对其复杂性进行了分析.     

基于模糊形态学的图像边缘轮廓提取改进分割算法

图像边缘轮廓提取在国计民生、军事等领域有广泛应用,为了克服噪声等影响导致的图像过度分割现象,探讨了一种基于模糊形态学的图像分割改进算法.该方法借助模糊形态学的开、闭运算,首先对原始图像进行平滑处理,然后基于形态学梯度算子进行梯度计算,最后基于改进分水岭算法与IFT分割算法的融合,对梯度图像进行分割得到期望的边缘轮廓图像.仿真以图像识别为例,实验显示基于改进的图像分割算法可较好地消除过分割现象,正确识别图像,实现目标与背景的分离.研究结果表明,提出的图像分割算法是合理可行的.     

四次B-B开曲面片的六次升阶算法

本文将文献 [1]中的闭曲面造型算法生成的 G1连续的B B曲面片由四次升阶为六次 ,并计算相应的六次曲面片Beaier控制点 ,从而得到闭曲面S具有明确控制点信息的几何形式 ;并讨论了在放开或删除一个控制点后 ,不再生成该控制点邻域内的所有曲面片 ,从而开放闭多面体的边界 ,将闭曲面造型算法延伸为开曲面造型的算法 ;最后 ,绘制开曲面真实感造型实例的图象 ,证明了曲面S的连续性     

三I算法的统一形式

给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论.     

闭曲面有限元网格生成的边界预调整方法

为使闭曲面相对其参数域具有边界完整性,确保波前法(AFT)生成网格的可靠性,提出了以参/虚边界补充为特征的闭曲面边界预调整方法,将闭曲面分割为一系列开曲面片,进而利用AFT法使网格在各开曲面片上分区域同时生成.该方法可使基于AFT法的曲面网格生成算法直接用于各种形式的闭曲面.     

四次B-B开曲面片的六次升阶算法

本文将文献[1]中的闭曲面造型算法生成的G1连续的B ?B曲面片由四次升阶为六次,并计算相应的六次曲面片Beaier控制点,从而得到闭曲面S 具有明确控制点信息的几何形式;并讨论了在放开或删除一个控制点后,不再生成该控制点邻域内的所有曲面片,从而开放闭多面体的边界,将闭曲面造型算法延伸为开曲面造型的算法;最后,绘制开曲面真实感造型实例的图象,证明了曲面S的连续性.