浙江省自然科学基金(Y1090734)
- 作品数：3 被引量：0H指数：0
- 相关作者：高济傅朝阳周尤明王勋古华茂更多>>
- 相关机构：浙江大学苏州科技学院浙江工商大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 完全析取范式检测ALCN-概念的可满足性
- 2009年
- 基于"逐步展开"模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因而浪费大量的空间。为此,提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式(CDNF)算法。CDNF算法直接在输入概念描述上,以角色为纽带构建不同层次的析取范式,从而将输入概念描述重组成一种层次结构的可满足性直接可知的完全析取范式,从而实现了真正意义上的"计算"可满足性。CDNF算法采用"一步到位"的展开方式并且直接在输入概念描述上进行处理,因而可最大程度地消除概念描述的重复。因此,CDNF算法比Tableau算法能节省线性甚至指数倍于输入概念描述长度的空间代价。
- 古华茂高济王勋
- 关键词：析取范式
- 词法多重散列与包容语义相结合的服务查找
- 2010年
- 为进一步提升服务组合性能,提出将词法多重散列与包容语义相结合的快速服务查找法.该方法有如下特点:将服务描述模型分解为不同粒度的词法和语义子块,同时将服务查找过程转换为按词法子块粒度递增的多重散列过程,利用子块间的包容语义消解散列冲突,实现降低查找失败时间至最低;所建立的服务库一方面通过缩减服务组合路径搜索空间降低查找成功时间,另一方面为设计高效组合路径查找算法提供了基础;可提供近似常数时间的原子服务查找和服务建库过程.实验证明该方法查找准确,较当前权威组织提供的基准服务查找方法效率提升显著,并具有查找时间几乎与服务库规模无关的良好稳定性.
- 傅朝阳高济周尤明
- ATCL:基于承诺的agent组织描述工具
- 2011年
- 针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题,提出带有截止期限承诺语义的交互时态承诺逻辑,用于描述基于信任的协作.通过引入承诺,将ATL的合作算子《》扩展为《C:ξ:ω:Θ》,表示:组织C承诺当条件ξ满足时立刻开始按规划ω执行,保证在Θ成立之前实现某商定内容.建立交互时态承诺逻辑(ATCL).给出基于行为的迁移系统,以此建模基于带有截至期限条件承诺的agent组织,分别给出ATCL的语法和语义.给出模型检测算法,证明了ATCL的模型检测复杂度为PTIME-complete.以卫星图像服务领域特定场景为例,展示了ATCL的表达能力,为研究agent组织可信协作提供了较好的形式化工具.
- 傅朝阳高济周尤明
- 关键词：承诺AGENT组织
