GMA架构下监控信息工作流模型探讨

分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.     

基于Agent的可生存系统认知单元结构模型

基于Agent结构,提出一种新的可生存系统认知单元结构模型.首先建立了基于认知环的可生存系统认知单元结构工作流程,然后给出了一种认知单元具体结构,并对结构中的各模块进行了描述,最后基于Agent结构的HSA模型,对可生存系统认知单元结构模型进行了形式化描述.     

语义网中描述逻辑的模糊扩展

描述逻辑是本体的基础,在实际应用中,描述逻辑可被扩展.介绍了描述逻辑的一种新的扩展——带比较表达式的模糊描述逻辑(FCDLs)来表示和推理语义网的模糊知识.FCDLs的语法和语义以及公理和断言也有明确的定义.FCDLs是模糊描述逻辑(FDLs)的模糊概念和扩展的模糊描述逻辑(EFDLs)的剪集概念的结合.FCDLs和FDLs一样,它也可以使用语义网上的模糊知识来表示、推理模糊本体.     

模糊逻辑不等式解的讨论

首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。     

三方动态博弈网络可生存性策略选择

为了提高网络系统在面对攻击、故障及意外事件时的主动防御能力,从宏观角度提出了一种基于三方动态博弈的网络可生存性策略选择模型. 将攻击者、防御者及故障意外事件作为博弈的参与者,采用非合作完全信息动态博弈理论构建三方可生存博弈模型,给出了逆向递归法求解子博弈精炼纳什均衡的形式化表述,进而提出了三方动态博弈策略选择算法,并结合实例进行仿真验证,结果表明,由所提出的策略选择模型和算法得到的双方最佳策略是符合实际需求的.     

基于模糊熵三I算法构造的模糊系统的概率表示及其逼近性能

由几个常用的蕴涵算子基于模糊熵三I算法构造了模糊系统,给出了其概率表示.得到了几个常用蕴涵算子的概率分布;进一步,利用模糊系统的概率分布讨论其逼近性能.     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

基于LTL的交通灯系统形式化描述方法

阐述了线性时序逻辑语法及语义,采用线性时序逻辑描述软件系统动态语义,并对行人过街交通灯系统进行形式化描述,证明分析该系统的性质,为系统做进一步分析和验证提供了基础.     

模糊规则间交互指标的初步研究

当模糊产生式规则应用在近似推理过程中时,前件相同而后件不同的模糊规则之间往往存在交互影响.考虑模糊规则间的交互影响,可以提高推理精度.此论文通过类比在合作游戏理论中描述交互影响的交互指标和定义在模糊规则上的模糊测度,给出一种计算模糊规则之间交互影响指标的方法.     

基于区间二元语义集结算子的多属性群决策方法

针对解决具有区间语言评价信息的多属性群决策问题,提出一种基于区间二元语义信息处理的群决策方法.给出区间二元语义的定义,提出几种新的集结算子,并分析了算子的优良性质.通过定义区间二元语义比较的可能度公式,对集成结果进行排序择优,最后通过一个实例,说明该方法的可行性和有效性.