搜索筛选:
搜索耗时0.9224秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者:骆良彬,骆翔宇,,
来源:福建论坛(人文社会科学版) 年份:2012
福建省作为中国LED产业发展的一大支柱,以其特定的地理与政策优势,长期保持着与台湾LED企业的对接与合作,成为LED产业链国际分工中的一环。产业链国际分工促进了福建省内LED...
[期刊论文] 作者:骆灵洁,骆翔宇,邹蒙蒙,
来源:桂林电子科技大学学报 年份:2012
为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程...
[期刊论文] 作者:邹蒙蒙,骆翔宇,骆灵洁,
来源:桂林电子科技大学学报 年份:2012
为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状...
相关搜索: