作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

一种基于认知模型检测的Web服务组合验证方法  CNKI文献

近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合的认知模型检测方法,...

骆翔宇 谭征... 《计算机学报》 2011年06期 期刊

关键词: 模型检测 / Web服务组合 / BPEL / 认知逻辑

下载(820)| 被引(37)

孔隙率和孔径对陶粒吸声材料吸声性能的影响(英文)  CNKI文献

用流阻法和显微分析法定量表征材料的孔隙状况,研究以陶粒为主要骨料的多孔吸声材料在不同有效孔隙率和中值孔径下的吸声性能。结果表明陶粒吸声材料的NRC随着流阻的增加先增后减,当流阻为1 144.07 Pa.s/m3,材料吸声性...

骆翔宇 李文芳... 《硅酸盐学报》 2011年01期 期刊

关键词: 陶粒多孔材料 / 流阻 / 孔隙率 / 中值孔径

下载(538)| 被引(18)

四川省北川县震后边坡土壤状况与植被恢复效果  CNKI文献

[目的]探索震损边坡林业治山工程后修复坡面不同季相、坡位等因素造成的土壤理化性质的差异,为评估边坡植被修复工程效果和指导工程因地制宜的管护方法提供理论依据。[方法]根据常规森林土壤测定方法对四川省北川县擂...

骆翔宇 吴敬陈... 《水土保持通报》 2017年01期 期刊

关键词: 地震边坡 / 植被修复 / 土壤理化性质 / 工程养护

下载(135)| 被引(3)

有界模型检测同步多智体系统的时态认知逻辑  CNKI文献

提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法.基于同步解释系统语义,在时态逻辑CTL的语言中引入认知模态词,从而得到一个新的时态认知逻辑ECKLn.通过引入状态位置函数...

骆翔宇 苏开乐... 《软件学报》 2006年12期 期刊

关键词: 模型检测 / 有界模型检测 / 多智体系统 / 同步时态认知模型

下载(344)| 被引(18)

一种求解认知难题的模型检测方法  CNKI文献

用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的...

骆翔宇 苏开乐... 《计算机学报》 2010年03期 期刊

关键词: 模型检测 / OBDD / 公告逻辑 / 时态认知逻辑

下载(318)| 被引(8)

多智能体系统的符号模型检测  CNKI文献

模型检测作为一种有限状态系统的自动化验证技术已得到广泛应用,最近该技术在规划和多智能体系统(MAS)等人工智能领域的应用也越来越受到重视,MAS领域强调智能体的自治性和推理力,采用模态逻辑刻画智能体心智状态(...

骆翔宇 导师:苏开乐 中山大学 2006-05-28 博士论文

关键词: 多智能体系统 / 模型检测 / 有界模型检测 / 时态认知逻辑

下载(580)| 被引(12)

沙柳的不同砍伐方式对土壤呼吸的影响分析  CNKI文献

从全球范围看,干旱半干旱地区占陆地表面积五分之二以上,不仅是陆地生态系统的重要组成部分,同时也是最为脆弱的生态类型之一。沙柳是毛乌素沙地多年来防风固沙的"先锋树种",它防风沙,保水土的作用被人们所...

骆翔宇 导师:孙紫英 内蒙古农业大学 2017-06-01 硕士论文

关键词: 砍伐方式 / 毛乌素沙地 / 沙柳 / 土壤呼吸

下载(68)| 被引(1)

基于时间自动机的Web服务模型检测  CNKI文献

传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而...

骆翔宇 轩爱成... 《计算机科学》 2010年08期 期刊

关键词: 模型检测 / Web服务 / 时间自动机 / UPPAAL

下载(259)| 被引(12)

玻璃沥青混凝土研究  CNKI文献

随着近十几年来我国经济高速发展,沥青混凝土已经成为目前使用最为广泛的路面材料。然而,大规模建设使得资源严重匮乏和劣化;另一方面,不断建设的同时产生了很多的生活和建筑垃圾急需清理或回收再利用,特别是废玻璃和...

骆翔宇 导师:梁文泉 武汉大学 2005-05-10 硕士论文

关键词: 玻璃沥青混凝土 / 马歇尔配合比 / 抗剥落性 / 抗剥落剂

下载(457)| 被引(6)

辅助胶凝材料和外加剂对海工混凝土耐腐蚀性的影响  CNKI文献

耐海水腐蚀性是海工混凝土最重要的性能。研究了不同掺合料和外加剂对混凝土抗氯离子侵蚀性和硫酸盐侵蚀性的影响,提出了以经济性和可行性为前提提高混凝土的耐海水腐蚀性能的最优配合比。试验发现,掺合料的掺量越大对...

骆翔宇 李文芳... 《混凝土》 2009年10期 期刊

关键词: 海工混凝土 / 抗氯离子侵蚀性 / 电量法 / 强度比

下载(223)| 被引(7)

一种Web服务组合的认知模型检测方法  CNKI文献

由于Web服务及其协同的动态性,开放多变的互联网运行环境,以及松耦合的服务开发模式所导致的开发和运行过程不确定性,使得Web服务组合的正确性和可靠性等可信性质难以得到保证.将Web服务组合抽象为多主体系统,提出业务...

骆翔宇 王昆... 《小型微型计算机系统》 2011年10期 期刊

关键词: 模型检测 / Web服务 / BPEL / 认知逻辑

下载(131)| 被引(5)

Web服务的形式化验证  CNKI文献

将Web服务组合建模为多智能体系统,采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例,并验证相关的时态知识规范。在同一实验环境下,采用另一种时态知识逻辑模型检测工具MCMAS进行建模,并验证该实例。实验结...

骆翔宇 陈艳 《计算机工程》 2010年05期 期刊

关键词: 模型检测 / 时态知识逻辑 / 多智能体系统 / Web服务

下载(155)| 被引(6)

一种Web服务特征交互自动检测方法  CNKI文献

模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BP...

骆翔宇 谭征... 《计算机科学》 2010年12期 期刊

关键词: 模型检测 / Web服务组合 / 特征交互 / BPEL

下载(78)| 被引(5)

激发剂对不同等级粉煤灰激发效果的研究  CNKI文献

在配置混凝土过程中加入激发剂,以使水泥基胶凝材料用量降低,或在不降低胶凝材料用量的情况下提高混凝土的强度,并在此基础上开发研制高掺量粉煤灰矿渣混凝土,可以降低混凝土的成本。本试验在改变水胶比、30%掺量不同...

骆翔宇 《广东建材》 2008年05期 期刊

关键词: 激发剂 / 粉煤灰 / 强度 / 和易性

下载(239)| 被引(3)

基于时态认知逻辑的Web服务模型检测  CNKI文献

传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模...

骆翔宇 陈艳... 《计算机科学》 2009年08期 期刊

关键词: 模型检测 / 时态认知逻辑 / 多智能体系统 / Web服务

下载(197)| 被引(1)

高寒干燥地区大含气量碾压混凝土抗冻耐久性研究  CNKI文献

西北高寒干燥地区的碾压混凝土工程,由于引气困难,导致其抗冻耐久性得不到保证。针对新疆玛纳斯县石门子水库工程,分别试验研究了含气量、粉煤灰掺量和水胶比对碾压混凝土抗冻耐久性能的影响,大含气量及粉煤灰掺量对碾...

骆翔宇 梁文泉... 《新型建筑材料》 2005年03期 期刊

关键词: 大含气量 / 抗冻耐久性 / 引气剂 / 粉煤灰掺量

下载(250)| 被引(2)

用面向对象方法设计并实现数据库的动态查询  CNKI文献

该文用面向对象方法分析了SQL的SELECT语句的语法结构,概括出基于表达式类的面向对象模型。在查询界面中,用户可以灵活地创建、销毁、组合或拆分这些对象,构造出复杂多样的表达式树,有效地实现了数据库的动态查询。

骆翔宇 成良玉 《计算机工程与应用》 2003年15期 期刊

关键词: 动态查询 / 面向对象模型 / 表达式

下载(64)| 被引(10)

干旱半干旱区不同环境因素对灌木群落土壤呼吸影响研究进展  CNKI文献

土壤呼吸作为陆地生态系统中进行碳循环的非常重要的内容,同时也是调节全球气候极为关键的过程。而干旱半干旱区作为陆地生态系统中的一个重要组成部分,对其进行土壤呼吸影响因素的研究,对于了解干旱半干旱区的碳循环...

骆翔宇 孙紫英 《农业与技术》 2016年20期 期刊

关键词: 土壤呼吸 / 干旱半干旱区 / 环境因素 / 灌木群落

下载(79)| 被引(0)

基于Verics的组合Web服务有界模型检测  CNKI文献

传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体...

骆翔宇 轩爱成... 《小型微型计算机系统》 2011年03期 期刊

关键词: 有界模型检测 / 时态认知逻辑 / Web服务 / 时间自动机

下载(73)| 被引(0)

和与积数迷的符号化模型检测  CNKI文献

和与积是一个著名的数迷问题。采用公告逻辑对该问题进行建模,将其Kripke模型符号化表示为多智能体有限状态程序,并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解。在时态逻...

骆翔宇 古天龙... 《计算机科学》 2008年05期 期刊

关键词: 符号化模型检测 / 多智能体系统 / 时态逻辑 / 公告逻辑

下载(75)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》