基于改进BNF的作战管理语言语法形式化方法

作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例。     

普适环境中上下文感知的带演算的Bigraphs描述

针对普适环境中上下文感知系统的形式化建模问题,讨论了Bigraphs理论的扩展模型———柏拉图图形模型在此问题中的适用性及不足。在此基础上,利用带演算的Bigraphs反应系统对上下文感知系统进行描述,并给出了与柏拉图图形模型之间的比较。     

SELinux中策略有效性的形式化模型研究

文章提出了一个形式化模型AMACP（Analyzing Model of SELinux＇Accegs Control Pplicy）,用它来分析SELinux中的策略配置文件的有效性,SELinux中的策略数目是巨大而又复杂的.SELinux系统实现的几个子模型是由配置文件中的规则构成,但却很难全面把握这些规则对系统本身的影响.文章的目的就是根据SELinux中策略配置构建语义并且模型化这些规则之间的关系.在此基础上提出一种算法,用来验证某个主体是否可以利用某种给定的存取模式来访问某个给定的客体对象.     

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

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

人工智能中的上下文推理

对上下文推理的原理和形式进行了阐述,讨论了上下文推理的形式化问题,并给出一个利用MCS对问题进行形式化表示和求解的实例。     

教育知识管理中的隐性知识管理

从社会和教育信息化发展的角度来看，教育知识管理是研究人类获取、传播、共享、利用和创造新知识的活动规律，管理有关知识的各种连续过程，以促进经济和社会发展的理论与实践[1]。教育的过程，也就是知识流动，存储和创新的过程。知识存在于人脑中，根据性质大致可以分为两种[2]：一种是客观及易于用语言表达的，可以客观捕捉及描述的，这种知识叫显性知识。显性知识容易以具体之方式储存及流通，多具有文字性与结构性。另一种是主观及不易形式化的，通常是透过个人的经验、印象、熟练的技术、文化、习惯等方式表现出来的知识，即隐性知识。     

基于MAS的群体决策支持系统结构研究

具有分布式和并行性的群体决策支持系统(GDSS)是决策支持系统(DSS)的发展趋势.由于Multi-Agent 系统(MAS)与GDSS之间的相似性,基于Multi-Agent系统的GDSS研究成为热点研究领域.针对目前基于MultiAgent系统的GDSS研究中多Agent采用集中式结构、决策任务的结构化要求等局限性,本文提出了一种基于Multi-Agent系统的群体决策支持系统通用结构框架,系统中的各Agent是相互独立自主的,通过相互合作实现决策任务.文中详细描述了系统各组成部分的功能及相互关系,同时采用BNF范式进行了形式化定义.本文设计的系统为GDSS的进一步深入研究提供了一条新的有效途径.     

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。     

受限语言子集的理论研究和探索

本文在综述受限语言研究成果的基础上,提出受限语言子集的一种形式化描述模型,并给出其相应的语言特性和数学特性,就受限汉语子集的确定方法问题进行了理论研究和探索。作者希望本文提出的表示模型和确定方法能够引起有关的讨论,并在充分认识受限语言研究的必要性和困难的基础上,将其引向全面深入的发展。