搜索筛选:
搜索耗时1.2330秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者:骆翔宇,陈艳,,
来源:计算机工程 年份:2010
将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工......
[期刊论文] 作者:骆翔宇,苏开乐,顾明,
来源:计算机学报 年份:2010
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证....
[期刊论文] 作者:骆翔宇,谭征,董荣胜,
来源:计算机科学 年份:2010
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言...
[期刊论文] 作者:骆翔宇,轩爱成,沙宗鲁,,
来源:计算机科学 年份:2010
传统的基于有限状态机的组合weh服务模型检测方法不能保证带有时间约束的组合web服务的正确性。把组合web服务看成多智能体系统,将带有时间约束的web服务智能体建模为时间自动...
[会议论文] 作者:骆翔宇,李文芳,曾令可,金雪莉,
来源:第五届全国特种玻璃会议 年份:2010
用流阻法和显微分析法定量表征材料的孔隙状况,研究以陶粒为主要骨料的多孔吸声材料在不同有效孔隙率和中值孔径下的吸声性能.结果表明陶粒吸声材料的NRC随着流阻的增加先增...
[会议论文] 作者:骆翔宇,李文芳,金雪莉,曾令可,
来源:第五届全国特种玻璃会议 年份:2010
用流阻法和显微分析法定量表征材料的孔隙状况,研究以陶粒为主要骨料的多孔吸声材料在不同有效孔隙率和中值孔径下的吸声性能.结果表明陶粒吸声材料的NRC随着流阻的增加先增后减,当流阻为1 144.07 Pa·m3,材料吸声性能达到最佳;材料的中值孔径在0.71~1.44mm这一......
相关搜索: