搜索筛选:
搜索耗时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语言转化为完整描述状...
相关搜索：
