基于动态逻辑的多动作承诺机制

研究主体思维状态逻辑框架 KARO中的多动作承诺机制 ,并对其进行语义解释 .通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 .为逻辑框架 KARO中加入主体顺序执行动作时多动作承诺与取消承诺的处理机制 ,并给出了详细的 Kripke型语义描述 .在使用 KARO解释多主体环境下主体思维与行为的研究中 。

多安全策略集成性问题的分析与解决

解决多安全策略的集成性问题是安全操作系统支持多策略和动态策略的基础。本论文采用形式化的方法为安全系统建立了全局安全状态的迁移模型,以TE和RBAC策略为例分析了不同策略作用下安全关联行为对安全状态的影响,并根据T&R集成模型提出了解决多策略集成性和一致性问题的思想,为安全操作系统的实现奠定了基础。

基于Internet动力设备集中监控通讯子系统中的设计模式

动力设备集中监控系统是电信部门一个重要应用领域 ,但因网元设备接口缺乏统一标准 ,给系统维护带来了很大困难 .给出了通信协议的主要结构 ,以面向对象为基础 ,对通信子系统中对象合作和对象状态迁移模型进行了形式化定义 ,并结合具体实例 ,详细阐述其应用方法 .