国家自然科学基金(61063002)
- 作品数：5 被引量：18H指数：3
- 相关作者：钱俊彦赵岭忠邓薇何锫金辉更多>>
- 相关机构：桂林电子科技大学北京大学长沙理工大学更多>>
- 发文基金：国家自然科学基金湖南省研究生科研创新项目湖南省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 消防一体化环境下的信息交换平台关键技术研究被引量：4
- 2012年
- 根据消防一体化建设项目的需求,针对各个业务信息系统之间需要进行消息通信以协同工作的情况,提出使用信息交换平台以提供统一集中的消息交换机制。分析系统目标;通过功能建模建立系统体系结构;就系统中的两个关键技术:消息引擎和数据同步机制进行深入的分析并完成详细设计。在实际运行过程中,信息交换平台能较好地满足需求并具有较好的维护性和鲁棒性等优点。
- 郑扬飞金辉张勇裴东良
- 关键词：信息交换引擎路由数据同步
- 基于并发事务逻辑的语义Web服务组合
- 2012年
- 并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。
- 王雪松钱俊彦赵岭忠高荣亮
- 关键词：语义WEB服务
- 深度优先的多基因表达式程序设计被引量：8
- 2013年
- 基因表达式程序设计(GEP)是应用十分广泛的自动程序设计方法.就解码方法而言,它主要依据广度优先原则来实施从个体表示到表达式的转换.这代表基因片段的含义会因环境的变化而变化.为此,现有GEP对个体的评估缺乏并发支持能力.本文从理论与实验两个方面证实:深度优先原则及个体多解技术,即让单个染色体编码多个解的技术,既可解决以上GEP困境也可显著改善其性能.
- 邓薇何锫钱俊彦
- 关键词：遗传程序设计基因表达式程序设计
- 环绕智能环境下自适应服务选择方法研究被引量：2
- 2011年
- 由于Web Services数量的快速增加以及用户偏好的不同,在环绕智能环境下自适应地为用户选择合适服务是比较困难的.论文提出一种利用对服务的评价信息来获取用户偏好的学习机制.在此基础上,论文给出了基于信誉度和多属性决策的动态自适应服务选择算法.该算法首先利用学习到的偏好信息来产生当前用户的服务请求偏好值,然后利用加权欧氏距离及信誉度机制来选择最合适的服务推荐给用户.最后通过原型系统测试验证了算法的有效性和可用性.
- 张会兵侯义斌黄樟钦陈锐王书锋
- 关键词：信誉度用户偏好
- User-oriented and Entropy Based Adaptable Web Service Selection in AmI
- Service selection is the key technology during the fusion of AmI and Service Computing,the selection procedure...
- Huibing Zhang Embedded Software and Systems Institute Beijing University of Technology Beijing China Guilin University of Electronic Technology Guilin
- 关键词：AMIUSER-ORIENTED
- 基于ASP的CSP并发系统验证研究被引量：4
- 2012年
- 传统并发通信顺序进程(CSP)性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度;同时,主流的并发系统模型验证工具不支持在系统的一次运行中验证多个性质,这也降低了性质验证的效率。首先将CSP程序转换为ASP程序,然后将CSP进程并发规则和以LTL/CTL公式表示的待验证性质转换为ASP规则,从而建立了基于ASP验证CSP并发系统性质的统一框架。实验结果表明,基于ASP的CSP并发系统验证技术易于实现,在保持较高验证效率的同时,能够支持在验证软件的一次执行中验证多条LTL/CTL公式。
- 赵岭忠张超钱俊彦
- 关键词：通信顺序进程回答集编程LTLCTL
