基于间断区间的时态关系处理

定义了基于间断区间的时态的逻辑的公理，分离规则，证明等概念，特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。     

一种基于区间模糊理论的描述逻辑系统

为了使描述逻辑具有处理模糊信息的能力,Straccia给出了基于单值的模糊描述逻辑处理方法.在该方法的基础上,给出了基于区间模糊理论的描述逻辑系统,讨论了其语法、语义和该系统的计算性质.结果表明基于区间模糊理论的描述逻辑系统是基于单值的模糊描述逻辑方法的泛化,在实际中具有更广泛的应用范围.     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

基于时态逻辑的多时间序列挖掘模型

为了从多时间序列之间发现的定性的时态相关模式可而更全面的理解和把握系统的演化特性,提出了一种基于时态逻辑的多时间序列挖掘模型.它首先将多时间序列转化为多事件序列,然后将预处理后的多事件序列利用区间时态逻辑(ITL)关系子集来定义多事件序列中事件间的时态相关模式.其次进行多状态序列融合和局部时态观测序列的生成,之后采用频繁模式挖掘算法发现多时间序列的频繁时序模式.该模型有助于解决时间序列挖掘所面临的若干挑战和难题,有助于扩展现有时间序列挖掘系统的功能,从而指导时间序列等复杂类型数据的知识发现过程.实验结果表明了该模型及算法的有效性和优越性.     

模糊区间矩阵的表示及其时态关系的传播

将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的那些基本关系,这样表达能力丝毫没有减弱,但是问题的复杂性却大大降低了。区间代数从13个基本关系降为6个基本关系,在进行时态关系的传播运算时,将查表运算从13×13降到6×6,将5×5的矩阵运算降成了3×3的矩阵运算,大大提高了运算效率。     

事件的模糊离散时间区间的表示

由于现实世界中事件的持续时间难以精确测量,以及起始时刻及结束时刻的模糊性,使得Allen的区间代数不能很好地刻画事件的模糊时间区间,首先将时间区间离散化,然后用事件的持续分布的概念米表示事件的持续时间,并用时间区间来近似持续分布,使得可以应用Allen的区间代数来进行相应的时态推理,最终给出了求主时间区间的算法。     

基于模糊描述逻辑的模糊UML类图形式化

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。     

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

基于地面气象要素的贵州省大气可降水量研究

利用贵州省内的高空探测数据与地面气象要素观测数据,建立起贵州境内大气可降水量的经验计算公式.通过计算公式本身及其与其他经验公式的误差值,得出贵州境内本地经验公式计算值与探空反演值之间的误差值低于其他公式,贵阳站的年平均绝对误差为4.62 mm,威宁为3.15 mm.510月间2种计算方法的相对误差均较小（1%～6%）;112月的误差值相对偏大.贵州省内年平均大气可降水量值自1989年起到1998年呈增多的趋势,1998年开始逐渐减少,2004年起持续低于多年平均值.月际变化呈单峰型,夏季（68月）的大气可降水量值占了全年的39%.受贵州省内地形和水汽来源的影响,贵州省内大气可降水量的总体分布特征为西部、中部较低,南部边缘和东部地区较高.     

区间数据的并行模糊聚类算法

研究了对区间数据进行聚类的模糊聚类算法；介绍和分析了模糊c-均值算法的基本思想及实现步骤；定义了区间数据的距离和四则运算，并推广模糊c-均值算法对区间数据进行聚类．在此基础上，讨论了对区间数据进行聚类的并行模糊c-均值算法．在分布式互连的PC／工作站环境下进行性能分析，结果表明并行的模糊c-均值算法具有好的可扩展性、规模增长性和加速比性能．     

广义模糊时间序列模型模糊区间划分研究

在模糊时间序列模型的构架中,介绍了广义模糊时间序列模型建立过程和常用的模糊区间划分方法,提出了基于均匀划分、模糊C均值聚类和自动聚类3种模糊区间划分方法的广义模糊时间序列模型,并用Alabama大学入学人数和沪市股指两组数据对模型进行了详细的分析.实验结果不仅揭示了这3种方法对模型预测结果的影响,还证明了广义模型优于传统模型.     

云南省近44年日照时数时空变化及其影响因素分析

利用云南省28个气象站1969—2012年逐月日照时数、风速、气温和降水资料,采用气候倾向率、趋势线法和Kriging空间插值法,分析了该省日照时数时空变化及其影响因素.结果表明:① 近44年,云南年日照时数整体呈波动减少趋势,减少速率为14.95 h/10a;②年日照时数空间分布大体表现为一高两低:以华坪为单峰中心的西南高值区,以屏边为中心的东部边缘低值区,和以贡山为中心的西北低值区,即自南向北呈纬向增大型分布;③年日照时数空间变化差异明显,以大理—景东—元江—江城为界,以西呈明显增加趋势,以东的滇西北—滇中—滇东南地区呈减少趋势,即自西向东呈经向减少型分布;④四季日照时数变化趋势与年日照变化趋势基本一致(减少),但秋季较为特殊,呈上升趋势(4.15 h/10a);⑤四季日照时数空间变化特征主要表现为,滇西南和滇东北南部地区增多,其他各地减少;⑥云南省年日照时数与平均风速、气温和降水量均有一定的相关性.其中,降水量对年日照时数的影响最为密切,风速与日照时数变化的相关性最弱.     

基于H.264/AVC改进的时空域错误掩藏算法

对H.264编码的视频流解码出现宏块丢失进行错误掩藏时,使用传统的时空域错误掩藏算法,并不能很好地恢复出原始视频帧,影响了主观观赏效果和客观视频质量.因此,分别对时空域提出了相应的改进算法.时域通过增加参考帧、运动矢量,改进匹配算法等,提高了运动矢量的搜索精确度和运动剧烈视频帧的错误恢复质量.空域通过自适应的选择加权像素平均插值和方向插值,并改进了方向插值算法,明显提高了视频帧的恢复质量,避免了错误边缘的产生.实验结果表明,改进的时空域错误掩藏算法,不仅提高了方向插值的准确性和宏块匹配的精确度,而且可以减少块效应的出现,从而有效地提高了丢失宏块的恢复质量.     

一种基于各向同性集的模糊滤波算法

图像中的椒盐噪声是一种特殊的噪声,处理不当会使图像本身的细节变得模糊不清,从而使图像降质,中值滤波能够有效地抑制椒盐噪声,但模糊了图像中的一些细节。因此结合方向图,提出了一种基于各向同性集的模糊滤波算法,不仅能够有效地抑制椒盐噪声,而且能够较好地保持图像细节,该算法大大优于中值滤波。     

欧亚积雪深度的时空分布特征分析

利用EOF分析、连续小波分析分别对欧亚大陆1979—2009年共30年秋冬季和春夏季积雪深度变化的时空分布特征进行了研究.结果表明:①对欧亚积雪深度进行EOF分析发现,1990年代前(后),秋冬季、春夏季欧亚大部分区域积雪深度呈现一致异常偏浅(深)的分布,且从高纬度到低纬度强度逐渐减弱;②积雪深度在1979―2009年表现出明显的年际和年代际变化特征,且具有显著的上升趋势;③小波分析发现欧亚秋冬、春夏季积雪深度均在20世纪80年代中期为准2 a的振荡周期,而在80年代后期到90年代初期为准5 a的振荡周期.不同的是整个90年代,春夏季积雪深度还存在准8 a的振荡周期.相比于秋冬季,春夏季欧亚积雪深度的时空分布更加复杂.     

基于经验数据的模糊可靠性分析Bootstrap方法

通常模糊数据可依据专家有限经验给出,如何利用这些有限的模糊数据获得较为理想的可靠性分析结果是一个亟待解决的问题。文中将Bootstrap方法引入到模糊可靠性分析中,讨论如何从有限的专家的经验数据中重复抽样,充分利用这些经验数据进行模糊可靠性分析,得到可靠性指标的置信区间,算例验证了此方法的可行性。