李超明

作品数：2被引量：5H指数：1
导出分析报告
供职机构：中山大学信息科学与技术学院计算机科学系更多>>
发文主题：MAS模型MASAO方法论体系结构更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》《计算机研究与发展》更多>>
所获基金：国家重点基础研究发展计划广东省自然科学基金国家自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有界模型检测和串空间模型相结合的安全协议验证
《小型微型计算机系统》2010年第8期1484-1488,共5页杨晋吉 苏开乐 肖茵茵 李超明 
国家杰出青年基金项目(60725207)资助;国家“九七三”重点基础研究发展计划项目(2010CB328103)资助;广东省自然科学基金项目(06023195)资助;广东省科技计划攻关项目(2007B010400068)资助
提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,...
关键词：有界模型检测 串空间 协议 验证 NUSMV 
一个基于智能的MAS模型及其方法论被引量：5
《计算机研究与发展》2007年第6期980-989,共10页李超明 苏开乐 
国家"九七三"重点基础研究发展规划基金项目(2005CB321902);国家自然科学基金项目(60496327;10410638;60473004);广东省自然科学基金团队项目(04205407)
为了得到好的体系结构模式来将模式驱动的方法用于多智能体系统(MAS)的设计,必须有形式上抽象但是技术上细化的方法论.基于智能思想的提出,使得以智能作桥梁将AO,PO和OO的优点融合,并以此提出一种覆盖了从事务分析到Agent组织系统实现...
关键词：基于智能 AO 体系结构 方法论 MAS 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部