支持语义web模糊本体的描述逻辑

为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.     

模糊逻辑与自然语言中的语义模糊

自然语言和形式语言的一个重要区别,是自然语言具有语义模糊性。二值逻辑与三值逻辑对命题语义处理是不足的。以札德"模糊集合论"为理论基础的模糊语义分析为我们提供了一种描述模糊语词语义真值多样性和渐进性的全新观念和手段。     

一个新的基于EFALC的推理算法

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.     

一类扩展的模糊描述逻辑回答集程序研究

本文介绍了模糊描述逻辑与回答集程序的发展现状和所遇到的挑战,讨论了模糊DL程序的语法和语义,给出了在模糊背景下扩展的Gelfond-Lifschitz变换,并进一步提出了一种面向语义Web的扩展模糊DL答集程序（efdl程序）,给出该类程序的具体语法并用代数不等式约束来描述其语义。通过扩展的Gelfond-Lifschitz变换,定义了efdl程序的回答集,并且讨论了求解回答集的计算方法。     

基于二维模糊算法的交通信号灯控制系统

本文在阐述交通信号灯智能控制原理的基础上，重点描述了一种基于二维模糊算法的实验室交通路口信号灯控制系统。构建了硬件基于罗克韦尔Micrologix1500系列PLC控制器件、软件基于MATLAB模糊逻辑工具箱FIS的设计平台，同时，实现了一种将模糊算法引入PLC控制实验教学的新方法。     

密码通信下的动态认知逻辑

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.     

基于TTS引擎的厂站中央信号系统动态模拟仿真

针对发电厂和变电站的二次系统展开式原理图内容多、复杂、逻辑描述困难等特点,运用应用程序的方式将展开式原理图通过在屏幕上建立的直角坐标系,精确地描述在计算机屏幕上,并利用计算机多媒体技术对展开式原理图进行动态的描述,通过Microsoft Speech SDK集成的TTS引擎嵌入相应的语音讲解,复杂的逻辑一目了然,为电力系统二次部分的培训教程提供了新思路。     

神经网络的信息系统

模糊显示逻辑ＦＥＬ是神经网络的形式描述，在逻辑推理方面代表了神经网络的能力，信息系统则是处理信息的片断，可以用于构造语义域，本文把网络的结点作为信息片断，构造ＦＥＬ的信息系统     

关于模糊逻辑的几点思考

本文区分了四个层次的模糊逻辑,评论了模糊逻辑几种定义的长短得失,论述了语言变量对于模糊逻辑的基础性作用,对词语计算作了简略论述,在此基础上讨论了模糊信息粒化理论与模糊思维的关系。     

描述逻辑ALC的公理化方法研究

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。     

语境与模糊语义

文章将语境分为上下文语境和情景语境 ;模糊语义分为相对的动态模糊语义和静态模糊语义。文章从五个方面讨论了语境对模糊语义的影响 ,并得出结论 :语境对动态模糊语义极为重要 ,动态模糊语义的研究有助于静态模糊语义的理解     

基于改进FCPM的工程项目施工动态规划研究

鉴于工程实践中项目的不确定性状态,以梯形模糊数的等效参数形式表达项目各项活动的持续时间,开展基于改进的模糊关键路径法(FCPM)的施工动态规划研究。有机整合向量的范数相似度和方向相似度,提出了向量集成相似度排序算法,有效地解决了关键路径识别中梯形模糊数的排序问题;采用修正的模糊减运算标准算法成功消除了模糊时间参数计算过程中的不可行解问题,并实现了对模糊状态下项目网络关键路径动态变化轨迹的刻画。实证分析证明,改进的FCPM求解施工动态规划问题具有合理性和有效性。     

动态环境模糊投资组合模型求解

基于模糊集及模糊区间的概念,提出一种动态环境模糊投资组合模型。设计的重点为:(1)投资资产的收益率设计为区间模糊数;(2)风险率设计为三角模糊数。将建立的模糊投资组合模型转化为清晰数学规划问题,并将免疫优化算法对模型求解,数值实验中选取历史数据,将Lindo软件求解结果与免疫算法求解结果比较,充分表明免疫算法对模糊投资组合模型求解的有效性。     

言语交际中灰色信息的动态研究

在言语交际中，灰色信息可以以互明的方式隐性传递，也可以通过显性协商转化为白色信息。因而，话语层面上的灰色信息具有流动性和协商性的语用特征。对话语层面上灰色信息的动态研究可以帮助我们了解灰色信息在言语交际中的运作过程。     

一种基于模糊理论的教学评价软件的设计

在教学评价中,由于评价指标的设计与量化存在模糊性,可以采用模糊评价方法来建立评价模型,并利用计算机进行评价数据的模糊处理。基于模糊评价理论,在设计应用于教学评价的模糊评价系统中,应充分考虑到数据处理的动态性,并通过定制模板来实现结果输出。     

基于模糊PID控制的主动队列管理算法研究

针对网络系统具有长时滞和动态变化的特性,但PID控制器不能随着变化的网络环境在线调节参数的缺陷,引入模糊PID算法在线整定PID参数,通过模糊控制器自动调整PID参数。仿真实验结果表明,用该方法设计的控制器与PID算法相比,动静态性能更好。     

基于自调整因子的模糊控制器的优化与仿真

针对普通模糊控制器缺乏在线自学习或自调整能力的不足,运用Matlab中的simulink工具箱,通过S函数和模糊推理研究了两种建立模糊控制器中自调整因子的方法,从而达到了间接地调整模糊控制规则的目的,增强了模糊控制器的鲁棒性,并具有参数修改灵活的优点。在simulink环境下,通过对同一被控对象的仿真,与基本模糊控制器相比,两种改进的模糊控制器的响应速度均有明显提高。两种方法都能改善系统的动态性能,在实际应用中,可根据被控对象和对系统性能要求的不同灵活选择。     

Mamdani模糊控制器与变论域模糊控制器的仿真分析

一般的Mamdani模糊控制器存在自适应能力差和控制精度不高的缺点。通过一个二阶不稳定控制对象，发现变论域模糊控制器的动态性能和稳态性能相对于一般的Mamdani模糊控制器均获得了较大的提高。在控制精度方面，变论域模糊控制器的优势尤其突出，有效地克服了Mamdani模糊控制器档级有限和缺少积分环节的缺陷。     

一类多目标分档寻优控制

模糊控制被誉为21世纪的核心技术，其原理与手段不同于常规控制，笔者提出在模糊控制过程中实行“暂态粗调控制”及“稳态细调控制”的思想，使控制器具有较快的响应时间和较高的稳态精度，具有重要的理论意义和工程实用价值．     

热风回流焊机模糊-PID复合控制的模糊控制器设计与仿真

针对热风回流焊机温度模糊-PID复合控制系统中的模糊控制器进行了较为详细的设计,并利用MATLAB对模糊控制、PID控制和模糊-PID复合控制3种控制系统进行了仿真实验.比较结果表明：热风回流焊机温度控制系统采用模糊-PID复合控制方式,不仅比单独的模糊控制方式具有更高的稳态性能,而且比单独的PID控制方式具有更好的动态性能.