基于多主体认知逻辑模型检测的Web服务组合验证

61170028
2011
F0201.计算机科学的基础理论
骆翔宇
面上项目
副教授
华侨大学
55万元
符号化模型检测;Web服务组合;认知逻辑;时态逻辑;多主体系统
2012-01-01到2015-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 The Delayed BDD-based Incremental Heuristic Search for Efficient Path Replanning 期刊论文 Yanyan Xu|Xuan Tian|Kaile Su|
2 Greedy Clique Decomposition for Symbolic Satisfiability Solving 期刊论文 Yanyan Xu|Wei Chen|Kaile Su|Wenhui Zhang|
3 A Verification Approach for Programmable Logic Controllers 会议论文
4 An Algorithm for the Minimum Initial Marking Problem of Structurally a Live Petri Net with Inhibitor Arcs 期刊论文 Jianhong Ye|Zhiwu Li|Xiaoliang Chen|
5 基于KQML的多智能体系统建模与验证 期刊论文 邹蒙蒙|骆翔宇|骆灵洁|
6 一个分布式K互斥算法的概率模型检测 期刊论文 刘来|骆翔宇|
7 基于MAS模型检测及抽象的Web服务验证 期刊论文 许兴旺|骆翔宇|
8 相似度最优加权协同过滤推荐模型 期刊论文 陈维斌|刘艳|谢晓东|骆翔宇|
9 Composition of Resource-Service Chain forCloud Manufacturing 期刊论文 Haibo Li|Keith C.C. Chan|Mengxia Liang|骆翔宇|
10 Recursive principalcomponent analysis with forgetting factor for operational modal analysis oflinear time-varying system 期刊论文 Cheng Wang|D.S. Chen|骆翔宇|F. F. Su|
11 An Epistemic Model Checking Approach for OWL-S Web Services 会议论文 Xiangyu Luo|Lingjie Luo|Mengmeng Zou|
12 A modeling and verification method to multi-agent systems based on KQML 会议论文 Xiangyu Luo|Mengmeng Zou|Lingjie Luo|
13 Age estimation with dynamic age range 期刊论文 Yewang Chen|骆翔宇|Jixiang Du|Tian Wang|
14 A First-Order Coalition Logic for BDI-Agents 期刊论文 Kaile Su|Abdul Sattar|骆翔宇|Aixiang Chen|
15 基于用户的协同过滤算法的推荐效率和个性化改进 期刊论文 陈维斌|骆翔宇|张玉侠|苏芳芳|
16 Operationalmodal analysis for linear time-varying continuous cantilever beam dynamicstructure based on LMPCA 期刊论文 骆翔宇|Liang Xiang|Liu Yan|Xie Xiaodong|
17 A method for compositing web services based on model-checking multiagent systems 会议论文
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享