搜索筛选:
搜索耗时0.1015秒,为你在为你在102,285,761篇论文里面共找到 57 篇相符的论文内容
发布年度:
[学位论文] 作者：骆翔宇,,
来源：武汉大学 年份：2005
随着近十几年来我国经济高速发展,沥青混凝土已经成为目前使用最为广泛的路面材料。然而,大规模建设使得资源严重匮乏和劣化;另一方面,不断建设的同时产生了很多的生活和建筑...
[学位论文] 作者：骆翔宇,,
来源：中山大学 年份：2006
模型检测作为一种有限状态系统的自动化验证技术已得到广泛应用，最近该技术在规划和多智能体系统(MAS)等人工智能领域的应用也越来越受到重视，MAS领域强调智能体的自治性和推理......
[期刊论文] 作者：骆翔宇,
来源：广东建材 年份：2008
在配置混凝土过程中加入激发剂，以使水泥基胶凝材料用量降低，或在不降低胶凝材料用量的情况下提高混凝土的强度，并在此基础上开发研制高掺量粉煤灰矿渣混凝土，可以降低混凝土的成......
[期刊论文] 作者：骆翔宇,
来源：中山大学研究生学刊：自然科学与医学版 年份：2002
本文用面向对象方法分析了SQL的SELECT语句的语法结构，概括出基于表达式面向对象的类模型，在查询界面中，用户可以随意的创建、删除、组合或拆分这些对象，构造出复杂多样的表达式......
[学位论文] 作者：骆翔宇,
来源：华中科技大学 年份：2013
旅游业是我国目前发展比较迅速的行业之一。随着我国对外开发的进一步深入和我国经济的快速发展，旅游业在我国发展越来越迅速。山东作为我国的旅游大省，旅游业是支撑山东发展的......
[学位论文] 作者：骆翔宇,
来源：内蒙古农业大学 年份：2017
...
[期刊论文] 作者：骆翔宇,陈艳,,
来源：计算机工程 年份：2010
将Web服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例，并验证相关的时态知识规范。在同一实验环境下，采用另一种时态知识逻辑模型检测工......
[期刊论文] 作者：许兴旺,骆翔宇,,
来源：计算机工程 年份：2015
Web服务组合现已成为跨组织业务流程集成的关键技术,然而在松耦合开发模式和开放的互联网运行环境下,其正确性、可靠性、安全性等可信性质难以得到保证。为解决该问题,提出一...
[期刊论文] 作者：陆晶晶,骆翔宇,,
来源：桂林电子科技大学学报 年份：2011
为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS（Web服务的业务流程执行语言）结构模型的输入输出标记迁移系统（I/OLTS）...
[期刊论文] 作者：刘来,骆翔宇,,
来源：计算机应用研究 年份：2015
传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界区的时间而得出的结果中发......
[期刊论文] 作者：金雪莉,骆翔宇,,
来源：广东建材 年份：2013
对地铁隧道内声环境进行分析,建立地铁隧道声环境模型,用实际数据验证模型真实可信。分析隧道壁面吸声材料的平均吸声系数ā和受声点处等效声级LAeqT的对应关系,发现随着隧道...
[期刊论文] 作者：骆翔宇,孙紫英,,
来源：农业与技术 年份：2016
土壤呼吸作为陆地生态系统中进行碳循环的非常重要的内容,同时也是调节全球气候极为关键的过程。而干旱半干旱区作为陆地生态系统中的一个重要组成部分,对其进行土壤呼吸影响...
[期刊论文] 作者：骆良彬,骆翔宇,,
来源：福建论坛(人文社会科学版) 年份：2012
福建省作为中国LED产业发展的一大支柱,以其特定的地理与政策优势,长期保持着与台湾LED企业的对接与合作,成为LED产业链国际分工中的一环。产业链国际分工促进了福建省内LED...
[期刊论文] 作者：金雪莉,骆翔宇,,
来源：混凝土世界 年份：2013
陶粒多孔吸声材料内部大量孔隙使其具有降低环境噪声的功能。本文添加了膨胀珍珠岩和聚丙烯纤维作为增强吸声组分以提高其吸声性能，对膨胀珍珠岩和聚丙烯纤维与水泥石界面进行......
[期刊论文] 作者：骆翔宇 成良玉,
来源：计算机工程与应用 年份：2003
摘 要 该文用面向对象方法分析了SQL的SEIECT语句的语法结构，概括出基于表达式类的面向对象模型，在查询界面中，用户可以灵活地创建，销毁、组合或拆分这些对象，构造出复杂多样的表达式树，有效地实现了数据库的动态查询。 关键词 动态查询 面向对象模型 表达式......
[期刊论文] 作者：吴立军,骆翔宇,,
来源：计算机应用研究 年份：2011
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。...
[期刊论文] 作者：金雪莉,骆翔宇,,
来源：商品混凝土 年份：2013
广东等湿热气候地区环境湿度过高,使得实际使用中加气混凝土砌块墙体的含水率严重偏高,影响了墙体的隔热性能。本文研究了以干燥状态和篷头淋水5min后加气混凝土砌块在不同湿...
[期刊论文] 作者：赵亮,骆炎民,骆翔宇,,
来源：计算机应用研究 年份：2017
烟雾检测在现代智能消防中有着重要的应用前景,随着计算机视觉和模式识别技术的发展,基于视频图像的火灾烟雾检测算法不断被提出。针对目前检测方法适应性不强、在复杂环境下...
[期刊论文] 作者：骆翔宇,王昆,王凤钗,,
来源：小型微型计算机系统 年份：2011
由于Web服务及其协同的动态性,开放多变的互联网运行环境,以及松耦合的服务开发模式所导致的开发和运行过程不确定性,使得Web服务组合的正确性和可靠性等可信性质难以得到保...
[期刊论文] 作者：吴立军, 骆翔宇, 陈清亮,,
来源：计算机科学 年份：2011
模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈。很多研究人员尽管做了很多相关研究,但仍然没...
相关搜索：
