普通二型模糊相似度与包含度及其关系

针对现有的二型模糊系统规则库精简方法不能有效地消除冗余模糊集合的问题,提出了新的普通二型模糊相似度与包含度.首先,基于2种模糊性测度的公理化定义,提出了计算公式;然后,讨论了普通二型模糊包含度的性质,并提出了2种测度的相互转换定理;最后,通过实例验证了2种新测度的性能,并将提出的普通二型模糊相似度用于高斯普通二型模糊集合的聚类分析,聚类结果由不同α-水平上的层次聚类树组成,可以合理地区分这些集合.     

区分矩阵在属性约简中的一种新应用

当论域中的对象个数偏多或者知识表达系统中的条件属性偏多时,我们要对知识系统中的属性进行约简,但计算量是很大的.用布尔代数的吸收律求区分函数会大大减少计算,使得属性的约简会简单方便.     

满足弱分离条件的齐次Moran-like集

齐次Moran集是自相似集的推广,具有在逐阶构造中基本元的相互位置及压缩比可以改变的特点。首先,定义了齐次Moran-like集,也就是用弱分离条件代替了齐次Moran集中的开集条件;然后,讨论了齐次Moran-like集的有关性质,得到了对于Moran-like集的更加精细化的计盒原理。     

向量和集两种标准下集值优化近似解的最优性条件

考虑一类集值优化问题在向量优化和集优化两种标准下关于近似解的最优性条件,利用上、下Studniarski导数,得到了在向量优化和集优化两种标准下集值优化问题关于近似解最优性的充分必要条件.     

积分因子与极限环

给出了一类多项式型积分因子的求法 ,讨论了全微分或具有积分因子的平面自治系统在相平面的极限环的不存在性 ,闭轨的存在性与不唯一性。     

时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真.首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略.通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度.然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集.实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值.     

具有区域极点约束的H∞概率鲁棒控制器设计与仿真

针对利用确定性方法对参数不确定系统进行具有区域椴点约束的H∞鲁棒控制综合具有计算复杂、保守性大等特点,一种基于概率鲁棒性分析思想的新控制器设计方法被提了出来.然后,利用多目标遗传算法对其进行求解.仿真结果显示,此设计方法简单、保守性小,而且能满足系统动态性能和对扰动抑制的鲁棒性要求,是有效、实用的.     

涉及微分多项式的整函数的唯一性

作者研究了整函数与其微分多项式分担一个有穷集合的唯一性问题,所得结果推广和改进了已有的相关定理.     

基于测地主动轮廓和水平集的目标检测方法

针对传统Snake模型在进行目标检测和分割时不能处理拓扑变化以及不能反映出演化曲线的内在几何特性,提出了一种新的目标检测方法——基于水平集的测地主动轮廓模型。该方法采用改进的测地主动轮廓模型,并结合水平集方法,即用水平集函数表示测地主动轮廓模型的曲线演化方程,来模拟初始曲线沿能量下降最快的方向演化的过程。对这种新模型进行研究,将其应用于一些灰度图像的目标检测和分割实验中,实验结果表明,所提出的新方法具有良好的检测效果,对多目标进行了有效分割,并且它能清晰地反映出演化曲线的内在几何特性以及具有良好的拓扑处理能力,这些特性是传统Snake模型所不具有的。     

Chan-Vese模型下的复合多相水平集图像分割

Chan-Vese模型(C-V模型)能够实现图像的二区域分割,但在多区域分割上存在局限. 目前解决C-V模型多区域分割问题有两种方案：一是采用多水平集同时收敛的并行多相分割;另一种是采用多水平集依次收敛的串行多相分割. 文中将两种方案结合起来,利用并行多相算法表示区域量大和串行多相算法分割效率高的特点,提出基于C-V模型的复合多相水平集分割算法,增加了串行结构下的分割区域量,也提高了并行结构下各水平集的实际分割效率. 实验结果表明,该方法可实现多区域分割,并能检测由弱边缘构成的子目标.