模糊边界矩特性研究

研究了图像边界矩的模糊不变性,推导出模糊边缘带区域不变矩中Φ₂^(Fe) ~Φ₇^(Fe)与该图像所对应的清晰图像的边界不变矩Φ₂~Φ₇一致的结论。利用该结论,对模糊图像提取边界不变矩特征时,可不必首先精确提取其精确边缘,方便了边界不变矩特征的提取,提高了边界不变矩特征提取的鲁棒性。仿真实验结果也验证了结论的正确性。     

格值命题逻辑系统L9P(X)中的自动推理算法

给出了格值命题逻辑系统L₉P（X）上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L₉P（X）上子句集S为M－可满足的自动推理算法（这里M为L₉上的中界元）,并证明了其可靠性和完备性。     

点圈并图的匹配等价图数

若两个图G和H的匹配多项式相等,称图G和H匹配等价用δ（G）表示图G的所有不同构的匹配等价图的个数。文[5]在{m₁,m₂}∩{6,9,15}=Φ准的条件下计算了δ（sK₁∪t₁C_m1∪t₂C_m2）,在该文中计算了δ（sK₁∪t₁C₃∪t₂C₆）、δ（sK₁∪t₁C₆∪t₂C₉）是文[5]的完善和补充。     

改进L∞优化算法用于三维空间点快速精确重建

多视几何中的多种问题可以通过最小化L_∞范数误差获得全局最优解。但最小化L_∞范数误差算法的缺点是对外点敏感,相关的改进算法虽然可以克服外点带来的影响,但计算速度较慢。提出一种改进的最小化L_∞范数误差算法,用于从包含外点的图像序列中快速精确重建三维空间点。真实测试图像的实验结果证明该算法可以在包含外点的情况下获得空间点的全局最优解,相比其他算法速度有较大的提高。     

环F2+uF2+u2F2上的线性码及其Gray像

记R=F₂+uF₂+u²F₂,R₁=F₂+uF₂,定义了从Rⁿ到F³ⁿ₂的Gray映射Ф以及从Rⁿ₁到Rⁿ的映射f。通过对环R上线性码C的生成矩阵的研究,给出了线性码C的对偶码C^⊥和Gray像Ф（C）的生成矩阵,并且Ф（C）与Ф（C^⊥）是F₂上的对偶码。通过映射f将环R₁上的线性码与环R上的一类线性码对应起来。     

基于蕴涵算子族L-λ-R0的模糊推理三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的三I约束算法。     

BR0代数的关联MP滤子和布尔MP滤子

引入BR₀代数的关联MP滤子。研究它的特征,证明如下主要结果：F是关联MP滤子,当且仅当F是布尔MP滤子。从而BR₀代数成为Boole代数的充要条件是每个MP滤子均为布尔MP滤子或关联MP滤子。     

基于蕴涵算子族的模糊推理的FMP三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的α-三I约束算法、三I约束算法,并说明其现实意义。     

无向双环网络的新直径公式

无向双环网络G(N;±s₁,±s₂)是一种度为4的Cayley图。研究了无向双环网络的L-型瓦的4个参数与xs₁+ys₂≡0modN的最小非负解和最小交叉解的关系,从而通过L-型瓦的4个参数可以得出无向双环网一种新的直径公式。     

一类三角多项式曲线的性质及应用

在三角函数空间Φ₇=span{1,sint,cost,cos2t,sin3t,cos3t,sin4t,cos4t}和Φ₈=span{1,sint,cost,sin2t,cos2t,sin3t,cos3t,sin4t,cos4t}中构造了B-L（Bézier-Like）曲线,并给出其显式表达式。进一步讨论了该曲线的若干性质和应用,给出了不需要有理形式的心脏线、椭圆（圆）弧等的B-L曲线精确表示,椭球（球）面的B-L曲面精确表示,以及圆柱螺线的B-L曲线逼近表示。通过实例说明在造型设计方面使用简便且有效。     

基于Lp范数的局部自适应偏微分方程图像恢复

提出了一种新的基于Lp范数的自适应偏微分方程图像处理模型, 改进了Tony Chan的TV变分模型和张红英的p-Laplace模型. TV模型对图像采用全局约束, 而新的扩散方程在图像不同的位置上采用不同的约束, 具有局部自适应的特性, 在扩散的同时更好地保持了图像的边缘信息, 进而将其应用到图像恢复(去噪, 去除模糊)中去. 实验结果表明新模型的综合性能优于Tony Chan和张等现有的模型.     

n值命题逻辑系统Ln^＊中有限命题集的相容性与约简

设Г为有限命题集,首先讨论了Г在不同的n值命题逻辑系统Ln^＊中的相容性问题,提出了Г的约简理论,从命题集Г所诱导的多值形式背景出发,运用概念格的方法从Г及其子集的关系出发给出了Г约简的判定定理。     

参数LP系统的三I算法与α-三I算法

给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。     

Lukasiewicz三值逻辑系统中的随机化研究

利用赋值集的随机化方法,在三值逻辑L3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL3-相似度与伪距离的概念,并建立了DL3-逻辑度量空间,证明了此空间没有孤立点。     

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

K均值和中值滤波混合算法及其递归实现

针对标准中值滤波算法边缘保持能力较差的缺点,设计了K均值中值滤波算法和递归K均值中值滤波算法。使用K均值方法将中心像素点的邻域数据序列分成两类,将该像素点所属的这类数据的中值作为输出。为了加快算法的速度,提出了两个阈值T_L和T_H,保证在不影响结果精确性的同时尽量减少处理时间。传统的K均值算法耗时较高,论文的另一个改进是对K均值的优化处理,大大缩短了算法的处理时间。实验证明改进算法具有较好的噪声抑制能力和边缘保持能力。     

求解Ramsey数下界的模拟退火算法

对于图G_1、G_2,2色广义Ramsey数R(G_1,G_2)是指最小正整数P,使得每一个p阶的图G,或者G包含G_1,或者G的补图包含G_2。用改进的模拟退火算法求解得到了R(W_m,K_n),R(B_m,K_n),R(F_m,K_n),类型的一些Ramsey数的下界。     

基于改进的差别矩阵的快速属性约简算法

为了解决基于差别矩阵属性约简的计算效率问题,首先以计数排序的思想设计了一个新的计算U/C的高效算法,其时间复杂度降为O(|C||U|)。其次分析了基于差别矩阵的属性约简算法的不足,提出了改进的差别矩阵的定义,利用快速计算核属性算法生成的核属性和出现频率最多的属性来降低差别矩阵的大小,并设计了基于改进的差别矩阵的快速属性约简算法,证明了该新算法的时间复杂度和空间复杂度分别被降为max(O|C|2Σ0≤i相似文献