粗集理论及其应用（三）：知识表达系统

知识表达在智能数据处理中占有十分重要的地位，本文主要论述知识处理框架中的知识表达方法，首先介绍用数据表描述的知识表达系统及形式化定义，然后给出知识表达系统中属性的重要性概念。在文中我们还根据粗集理论讨论了决策理论中的一些基本问题和决策表简化的方法，介绍决策表的形式化定义和一些性质。     

粗集理论及其应用（一）

作为研究粗集理论的开始，本文首先给出知识的形式化定义和知识库，知识的等价、携主特化等概念的一些基本性质，强调知识与分类概念的联系。当涉及到非为知识时，担保紧粗集概念作为讨论知识的理论基础，因而本文介绍了粗集与集合近似找 近似集合的性质及非精确 数字特征与拓扑特征，最后给出集保的粗等价、粗包含和分类的近似方法。     

基于实时状态的在线故障诊断模型

提出了一种在大型关键生产环境中运用的基于实时状态的在线故障诊断模型（ＦＤＭ）,对原数据进行了形式化定义,对模拟量定义了一种多值逻辑的表示形式,使得开关量和模拟量能有效地统一起来．给出了故障诊断的知识表示形式和知识推理机制．初步实践证明该模型是有效的．     

对混沌映射定义的一些研究

目的　对 Devancy的混沌映射的定义进行简化 .方法　利用混沌的定义和对初始条件的敏感依赖性 .结果与结论　通过对 Devancy的混沌映射定义的讨论 ,说明了该定义的三个条件之间不是相互独立的 ,并对其进行了简化 .     

基于本体的产品知识集成

针对产品生命周期中知识表达和集成的需求,提出一种基于中间层的产品知识集成框架,采用本体技术,具有显式定义语义、统一表达和动态集成产品知识的能力.元本体层定义了本体关系原语,提供通用的本体描述方法;本体层扩展元本体为共享本体、领域本体、过程本体和应用本体,支持本体的协作定义和集成映射;知识层提供了相应的逻辑结构,支持对知识实例的结构化、标准化管理,并给出使用Web本体语言（OWL）形式化表达的方法.以汽车减振器为实例说明该方法能有效提高产品数据管理（PDM）系统对知识集成的能力.     

电子数据取证的可信固定方法

在介绍传统电子数据固定方法的基础上,针对可信取证理念,给出电子数据静态属性可信的支撑框架和可信固定方法.运用DSA数字签名、时间戳技术,并结合基于证实数字签名的第3方保证方案,研究电子数据具体的可信固定算法.通过形式化分析,定义并描述电子数据静态属性可信的约束规则,为电子数据可信固定提供支持.结合取证实例,运用已总结的公理和规则进行可信取证的形式化分析.结果表明,该方法能对电子证据进行可信固定.     

用于可疑金融交易监控的对比离群点检测模型

对基于单数据集和多数据集的离群点算法进行研究，提出一个基于距离模式进行数据集间参照对比的离群点判别模型，该模型通过数学定义清晰描述了参照集和对比集之间离群点模式的判别检测关系，为深入研究切合金融数据挖掘特点的算法建立形式化描述体系。这一模型也可推广应用于网络入侵检测、财务审计、图像识别、电子商务、医疗疫情监测等领域。     

用CLIPS实现基于二叉树知识的汽车故障诊断

故障树是一种倒置的逻辑关系图，具有标准的知识结构．同时也是故障诊断专家系统问题求解策略的形式化方法．基于这种形式化方法的故障诊断专家系统可在一定程度上减小知识表示和获取的难度．主要介绍了如何用CLIPS语言实现基于二叉故障树知识的汽车故障诊断推理．     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于关系代数的权限控制模型

针对原有知识平台中权限控制粒度不够的问题,提出了一个基于关系代数的权限控制模型,形式化定义了权限控制规则及其表达方法,提出了有关设计方案.     

形式化攻击者能力描述的计算可靠性研究

研究在安全协议仅使用数据完整性算法时，形式化分析方法中形式化攻击者能力描述的计算可靠性，首先假设计算性攻击者的能力超过形式化攻击者的能力，然后构造攻击实验，进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾。因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论，基于该结论，可以构建或者改进形式化分析系统，使其具有计算可靠性。     

关于非光滑函数凸性的研究

目的 解决多元函数的方向导数问题。方法 借助于一元函数将多元函数的问题简化。结果 由一元函数左、右导数的定义及其性质，将多元函数的方向导数转为一元函数左、右导数，从而解决了微积分学习和研究中的一个难点。结论 学习和研究微积分的过程中，可以利用已学过的较简单的知识，处理和简化较难的问题。     

煤炭供应链的工作流描述方法

针对流程供应链结构描述问题，对供应链构成体进行了分解，用链节、子链、过程、子过程等作为供应链的基本构成体，为供应链建模提供一种描述型语言；对供应链工作流进行形式化定义，用工作流图、前趋链节、前趋链集等的概念定义为下一步的流程供应链建模及分析提供了概念自包的方法；结合上述方法以煤炭流程供应链中物流为对象，进行工作流建模，为流程供应链的描述及分析提供了一种形式化的工具．     

方向关系矩阵的复合

采用方向关系矩阵模型表示空间区域最小边界矩形(MBR)间的关系,形式化描述了Skiadopoulos等提出的方向关系复合思想,并对其进行细化,提出方向关系矩阵复合方法,使方向关系复合易于实现;简化了Most运算,使复合过程更加简洁;通过定义取极小和取极大算子,实现了Most算法,为复合算法的提出奠定了基础;定义求幂运算符,实现了复合算法Com-pose并证明了算法的正确性,Compose算法的实现使方向关系复合从理论向应用更进一步。     

一种新型的访问控制模型及其实现

针对基于角色的访问控制模型的不足，引入了数据和工作流元素，提出了一种基于多数据库、工作流与角色的访问控制模型(MDWRBAC)，并给出了模型各要素的定义、关系及其形式化描述。最后将该模型应用到实例中，较好地实现了对系统的安全访问控制，对信息系统的安全访问控制设计有很好的参考价值。     

粗集理论及其应用（四）：粗集理论和模糊集合

首先将粗集与模糊集合进行简单对比，并介绍利用粗集的概念考虑模糊集合的粗近似，定义粗模糊集合，利用模糊划分的相似性关系研究集合的近似问题，定义模糊粗集，并介绍粗模糊集合和模糊粗集的基本特性等，最后讨论知识近似模型的统一。     

创造性理解的灰知识重组及整合

灰信息理解是创造性思维的基础，当产生新知识即为创造性理解，主要讨论灰消息分析及灰知识重组的形式化方法、灰知识的合适度、理解于系统刷新以及知识整合等创造性理解的基本问题。     

概率论在Isabelle/HOL中的形式化

基于测度论在Isabelle/HOL/Isar中形式化了概率论,给出了概率空间在Isabelle/HOL中的形式化定义,形式化验证了概率测度的主要性质。形式化验证了测度扩张定理,为在Isabelle/HOL中构造各种概率空间、形式化验证概率算法和概率系统奠定了基础。     

层次化模糊Petri网:形式化定义和推理

针对复杂知识库中知识规则数量多、知识规则的组织及其相互间的逻辑关系难以把握这一特点,在模糊Petri网的基础上给出了层次化模糊Petri网(Hierarchical Fuzzy PetriNets,HFPN)的形式化定义及其知识表示和知识推理。在HFPN中充分利用库所抽象、转换抽象实现了层次化的知识表示和知识推理。通过层次化,可以采用模块化方法设计知识系统,从而降低构建知识库的复杂性,方便知识库的优化和管理。