您的位置： 专家智库 > >

苏开乐

作品数：48 被引量：152H指数：8
供职机构：浙江师范大学数理与信息工程学院更多>>
发文基金：国家自然科学基金广东省自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学电子电信更多>>

合作作者

文献类型

  • 40篇期刊文章
  • 5篇会议论文
  • 1篇学位论文
  • 1篇专利
  • 1篇科技成果

领域

  • 32篇自动化与计算...
  • 11篇理学
  • 5篇电子电信

主题

  • 7篇开放逻辑
  • 6篇安全协议
  • 4篇时态认知逻辑
  • 4篇逻辑
  • 3篇定理证明
  • 3篇有界模型检测
  • 3篇语义
  • 3篇时态
  • 3篇缺省逻辑
  • 3篇人工智能
  • 3篇安全协议验证
  • 3篇BDD
  • 2篇电子商务
  • 2篇定理
  • 2篇信念修正
  • 2篇形式化
  • 2篇语义模型
  • 2篇知识表示
  • 2篇智能体
  • 2篇智能体系统

机构

  • 26篇中山大学
  • 10篇南京大学
  • 9篇北京大学
  • 5篇浙江师范大学
  • 4篇桂林电子科技...
  • 4篇华南师范大学
  • 4篇北京工业大学
  • 3篇河南科技大学
  • 3篇广东技术师范...
  • 3篇清华大学
  • 3篇汕头大学
  • 2篇暨南大学
  • 1篇电子科技大学
  • 1篇国防科学技术...
  • 1篇湖南文理学院
  • 1篇华侨大学
  • 1篇北京航空航天...
  • 1篇香港城市大学

作者

  • 48篇苏开乐
  • 8篇陈清亮
  • 8篇吕关锋
  • 7篇丁德成
  • 7篇吴立军
  • 6篇杨晋吉
  • 6篇骆翔宇
  • 6篇肖茵茵
  • 4篇岳伟亚
  • 3篇林瀚
  • 2篇孙智伟
  • 2篇钱磊
  • 2篇李超明
  • 1篇马震远
  • 1篇徐艳艳
  • 1篇王怀清
  • 1篇许道云
  • 1篇徐旭东
  • 1篇陈彩
  • 1篇宋炯

传媒

  • 7篇计算机学报
  • 6篇计算机工程与...
  • 4篇计算机研究与...
  • 4篇软件学报
  • 3篇科学通报
  • 2篇计算机工程与...
  • 2篇计算机科学与...
  • 2篇2004年全...
  • 1篇模式识别与人...
  • 1篇中国科学（A...
  • 1篇南京大学学报...
  • 1篇华中科技大学...
  • 1篇湖南师范大学...
  • 1篇中山大学学报...
  • 1篇小型微型计算...
  • 1篇中国科学（E...
  • 1篇数学年刊（A...
  • 1篇计算机科学
  • 1篇广东技术师范...
  • 1篇科技创新导报

年份

  • 2篇2016
  • 4篇2014
  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 3篇2010
  • 2篇2009
  • 3篇2008
  • 3篇2007
  • 4篇2006
  • 3篇2005
  • 6篇2004
  • 1篇2003
  • 1篇2001
  • 1篇2000
  • 1篇1999
  • 1篇1998
  • 3篇1995
  • 7篇1994
共 48 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
信息服务的构造与验证研究报告
2016年
可满足性问题（SAT）,最大可满足性问题（MAX-SAT）与最大团问题（MC）都是典型的基本的NP-难解问题。该报告概述了这些难解问题的实验算法方面的国际研究现状和国内研究进展,并对国内外研究进展进行了比较,最后讨论和展望了难解问题求解的发展趋势。
苏开乐卢汉清刘静黄萱菁
关键词：可满足性最大团问题
可计算性理论及其在计算机科学中的应用
丁德成喻良苏开乐赵希顺许道云
我们在可计算性理论、计算机科学理论等方面取得了一系列重要的成果，在国内外重要刊物上发表了论文96篇，其中SCI和EI论文83篇，SCI和EI引用95次。我们解决了多个本领域内的多年未能解决的著名问题，开创了一些新的研究方...
关键词：
关键词：可计算性理论
基于知识结构的认证协议验证被引量：10
2005年
认知逻辑的Kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的Kripke语义的一种简单而自然的形式,称之为知识结构,并把这种语义用到分析黑客存在的非安全网络环境中的通信协议,特别是认证协议.与类BAN的那一类逻辑相比,文中的方法可以直接转化成算法实现,对协议本身进行操作,而不需对协议进行一些难以把握的抽象判断.而且,在这套理论的基础上开发了安全协议分析器SPV.文中的方法是基于证明的而不是证伪的,即证明协议的正确性而不是找协议漏洞.
苏开乐吕关锋陈清亮
关键词：知识结构认知逻辑协议分析器安全网络SPV黑客
一种多项式时间复杂度的密码协议秘密性验证方法
2005年
密码协议的秘密性验证是网络安全领域的一个难题,本文在提出协议行为结构的基础上,通过对协议行为及其结构的分析,提出了一种新的密码协议的秘密性验证算法,该算法的时间复杂度是多项式时间的,从而简化了秘密性验证过程,文中最后,作为实例,给出了TMN密码协议的秘密性验证。
吴立军苏开乐
关键词：时间复杂度密码协议秘密性多项式时间网络安全TMN
知识库维护的结构操作语义方法被引量：1
2000年
关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库 ,该文给出了一个维护和更新的形式转换系统 ,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中 .作为一种特殊情形 ,也得到了一个 R-重构的能行产生机制 .该文给出的转换系统不仅具有可靠性 ,而且也具有完备性 .
苏开乐李未
关键词：知识库逻辑系统命题逻辑信念修正
基于BDD的图表示及其算法被引量：10
2006年
给出基于二元判决图BDD的无权图和有权图的符号化表示,同时给出该表示下的算法设计及实现,并以连通度算法和最短路径算法作为例子。
吕关锋苏开乐林瀚骆翔宇陈清亮岳伟亚
关键词：BDD连通度最短路径
有界模型检测的优化被引量：10
2009年
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.
杨晋吉苏开乐骆翔宇林瀚肖茵茵
关键词：有界模型检测递推公式
一种用于无线室内定位的接入点选择算法
本发明公开了一种用于无线室内定位的接入点选择算法，采集各AP的RSS信号，根据聚类算法确定目标定位区域，部署参考点RP，在每一个RP位置接收来自所有可见AP的信号，并将RSS值与对应的RP坐标存储至指纹数据库，建立原始指...
陈丽娜苏开乐苗春雨
文献传递
布尔公式可满足性问题求解的新局部搜索算法
公式可满性判定问题(SAT)是计算机算法的基本问题,同时具有重要的应用价值.局部搜索是解决SAT问题的有效方法之一.但是,局部搜索中的循环问题,不仅浪费了算法大部分时间,也使得算法经常陷入局部最优,从而导致算法性能下降.
苏开乐
多智能体系统中知识共享的逻辑框架
知识共享是多智能体研究领域中的一个重要课题.知识共享使得智能体能够分析、判断、综合被告知信息从而形成智能体自己的知识.本文建立了多本文的建立一个多智能体系统中知识共享的逻辑框架.我们得到的一个逻辑模型不仅能刻画多主体的知...
苏开乐王怀清
关键词：逻辑知识表示多智能体系统
文献传递
全选 清除 导出
共5页<12345>
聚类工具0