搜索筛选:
搜索耗时1.1538秒,为你在为你在102,285,761篇论文里面共找到 50 篇相符的论文内容
发布年度:
[期刊论文] 作者:骆翔宇,
来源:广东建材 年份:2008
在配置混凝土过程中加入激发剂,以使水泥基胶凝材料用量降低,或在不降低胶凝材料用量的情况下提高混凝土的强度,并在此基础上开发研制高掺量粉煤灰矿渣混凝土,可以降低混凝土的成......
[期刊论文] 作者:骆翔宇,
来源:中山大学研究生学刊:自然科学与医学版 年份:2002
本文用面向对象方法分析了SQL的SELECT语句的语法结构,概括出基于表达式面向对象的类模型,在查询界面中,用户可以随意的创建、删除、组合或拆分这些对象,构造出复杂多样的表达式......
[期刊论文] 作者:骆翔宇,陈艳,,
来源:计算机工程 年份: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
模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈。很多研究人员尽管做了很多相关研究,但仍然没...
[期刊论文] 作者:骆灵洁,骆翔宇,邹蒙蒙,
来源:桂林电子科技大学学报 年份:2012
为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程...
[期刊论文] 作者:邹蒙蒙,骆翔宇,骆灵洁,
来源:桂林电子科技大学学报 年份:2012
为了保证MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于KQML通信语言的MAS建模以及能够实现自动验证相关规范的方法。设计并实现了KQML语言转化为完整描述状...
[期刊论文] 作者:何青,骆翔宇,苏开乐,,
来源:计算机工程与应用 年份:2008
在对弈的研究中,验证对弈双方是否存在必胜策略的问题一直没能很好地解决,因为这涉及到超大规模的状态空间搜索。而随着符号化模型检测技术的发展,大规模系统的验证成为了可能。......
[期刊论文] 作者:骆翔宇,苏开乐,顾明,
来源:计算机学报 年份:2010
用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证....
相关搜索: