搜索筛选:
搜索耗时1.1149秒,为你在为你在102,285,761篇论文里面共找到 57 篇相符的论文内容
发布年度:
[期刊论文] 作者：骆灵洁,骆翔宇,邹蒙蒙,
来源：桂林电子科技大学学报 年份：2012
为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程...
[期刊论文] 作者：邹蒙蒙,骆翔宇,骆灵洁,
来源：桂林电子科技大学学报 年份：2012
为了保证MAS相关属性的可满足性、有效性以及验证的高效性，提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状...
[期刊论文] 作者：何青,骆翔宇,苏开乐,,
来源：计算机工程与应用 年份：2008
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展，大规模系统的验证成为了可能。......
[期刊论文] 作者：骆翔宇,苏开乐,顾明,
来源：计算机学报 年份：2010
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证....
[期刊论文] 作者：骆翔宇,古天龙,董荣胜,,
来源：计算机科学 年份：2008
和与积是一个著名的数迷问题。采用公告逻辑对该问题进行建模，将其Kripke模型符号化表示为多智能体有限状态程序，并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模......
[期刊论文] 作者：骆翔宇,谭征,董荣胜,
来源：计算机科学 年份：2010
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言...
[会议论文] 作者：何青,骆翔宇,苏开乐,
来源：2006年全国理论计算机科学学术年会 年份：2006
本文对对弈必胜策略的符号化模型检测进行了研究。文章围绕符号化模型检测、必胜策略的形式化验证方法及实例分析进行了论述。...
[期刊论文] 作者：骆翔宇, 李文芳, 金雪莉,,
来源：混凝土 年份：2009
耐海水腐蚀性是海工混凝土最重要的性能。研究了不同掺合料和外加剂对混凝土抗氯离子侵蚀性和硫酸盐侵蚀性的影响，提出了以经济性和可行性为前提提高混凝土的耐海水腐蚀性能的......
[期刊论文] 作者：苏开乐, 骆翔宇, 吕关锋,,
来源：计算机学报 年份：2005
提出了一个关于时态逻辑CTL* 的符号化模型检测算法.该算法通过所谓的tableau构造方法来判定一个有限状态系统是否满足CTL*规范. 根据该理论,作者已实现了一个基于OBDD技术的...
[期刊论文] 作者：李文芳, 骆翔宇, 金雪莉,,
来源：建筑材料学报 年份：2013
以轻质陶粒、水泥等为主要原料,采用混凝土成型法成型,制备了一种防火型多孔陶粒混凝土吸声材料.掺入了发泡剂、膨胀珍珠岩及聚丙烯纤维3种吸声组分来改善吸声材料的孔隙状况...
[期刊论文] 作者：金雪莉,骆翔宇,曾令可,,
来源：新型建筑材料 年份：2009
以陶粒、膨胀珍珠岩为骨料制备了适用于隧道环境的无机颗粒吸声材料，为了提高该材料的防潮性及在隧道潮湿环境下的耐久性，提出了多种改善该材料耐久性的方法——对骨料进行防潮......
[期刊论文] 作者：骆翔宇,苏开乐,杨晋吉,,
来源：软件学报 年份：2006
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测（bounded model checking，简称BMC）算法．基于同步解释系统语义，在时态逻辑CTL＊的语言中引入认知模态词，从而得到一个新的时......
[期刊论文] 作者：骆翔宇,轩爱成,沙宗鲁,,
来源：计算机科学 年份：2010
传统的基于有限状态机的组合weh服务模型检测方法不能保证带有时间约束的组合web服务的正确性。把组合web服务看成多智能体系统，将带有时间约束的web服务智能体建模为时间自动...
[期刊论文] 作者：骆翔宇,轩爱成,沙宗鲁,,
来源：小型微型计算机系统 年份：2011
传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服...
[期刊论文] 作者：何真,孙海燕,梁文泉,骆翔宇,
来源：新型建筑材料 年份：2008
玻璃沥青混凝土是在普通沥青混凝土中掺入部分碎玻璃作为集料，由于碎玻璃的表面及组分特性，所制备的玻璃沥青混凝土的抗剥落性能需试验论证。本文通过比对玻璃沥青混凝±和......
[期刊论文] 作者：骆翔宇,缑锦,王靖,孙成柱,
来源：福建电脑 年份：2020
本文基于成果导向的教育理念,依据工程教育专业认证标准的要求提出一套切实可行、易于实施的毕业要求达成情况评价机制,给出了课程体系、毕业要求和培养目标的持续改进机制。...
[期刊论文] 作者：骆翔宇,陈艳,古天龙,董荣胜,,
来源：计算机科学 年份：2009
传统模型检测技术主要采用时态逻辑描述被验证的规范，人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域，系统和协议的规范很适合用认知逻辑来描述。Web服务是......
[期刊论文] 作者：何真,孙海燕,梁文泉,骆翔宇,,
来源：新型建筑材料 年份：2008
玻璃沥青混凝土是在普通沥青混凝土中掺入部分碎玻璃作为集料,由于碎玻璃的表面及组分特性,所制备的玻璃沥青混凝土的抗剥落性能需试验论证。本文通过比对玻璃沥青混凝土和普...
[期刊论文] 作者：骆翔宇,谭征,苏开乐,吴立军,,
来源：计算机学报 年份：2011
近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并...
[期刊论文] 作者：何金荣, 何真, 傅建彬, 骆翔宇,
来源：建筑材料学报 年份：2004
通过对一、二级配钢纤维混凝土性能的试验研究和分析,阐述了二级配钢纤维混凝土对混凝土抗裂性的有利影响;针对钢纤维的体积分数、品种、外观形状、长度等特征参数对二级配钢...
相关搜索：
