喻钢
- 作品数：74 被引量：341H指数：10
- 供职机构：上海大学更多>>
- 发文基金：国家自然科学基金铁道部科技研究开发计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术建筑科学交通运输工程电子电信更多>>
- 基于BIM的盾构法隧道施工管理系统
- 本发明揭示了一种基于BIM的盾构法隧道施工管理系统，所述施工管理系统包括：设置于隧道管片上的RFID标签、RFID读写器、BIM模型系统；RFID读写器用以向所述RFID标签写入管片编码信息，从所述RFID标签读取管片编...
- 高新闻周文波喻钢陆俊宇黄哲文
- 文献传递
- 面向安全性需求的构件组装被引量：1
- 2008年
- 构件组装技术无法充分考虑安全苛求软件的安全性需求,可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性需求的同时,提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求,使系统按照严格的时序进行状态的变迁,有效避免了故障的发生。
- 韩晶晶徐中伟喻钢
- 关键词：安全性需求
- 基于“BIM+智能感知”的综合管廊智慧运维管理研究被引量：5
- 2018年
- 1引言
综合管廊是地下城市管道综合走廊。即在城市地下建造一个隧道空间，将电力、通信、燃气、供热、给排水等各种工程管线集于一体，设有专门的检修口、吊装口和监测系统，实施统一规划、统一设计、统一建设和管理，是保障城市运行的重要基础设施和“生命线”。
- 喻钢胡珉胡珉
- 关键词：智能感知管廊工程管线
- 一种交通基础设施缺陷成因追溯的方法
- 本发明公开了一种交通基础设施缺陷成因追溯的方法，方法包括观察、关联、剪枝、定位和判断五个步骤，该交通基础设施缺陷成因追溯的方法结合线上活动和线下活动，能够更好的追溯设施发生异常事件的原因，通过引进信息推演规则，使得成因追...
- 胡珉刘云如喻钢周丽
- 文献传递
- 隧道全生命周期管理系统及方法
- 本发明揭示了一种隧道全生命周期管理系统及方法，所述系统包括：生产管理子系统，用于在隧道管片生产时，完成管片在生产流程各个阶段的质量检测；运输管理子系统，用于在管片运输过程中获取管片的位置信息；施工管理子系统，用于在隧道施...
- 周文波胡珉高新闻喻钢周胜臣
- 文献传递
- 基于Craig插值的线性混成系统符号化模型检测被引量：2
- 2014年
- 最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能.
- 陈祖希徐中伟霍伟伟喻钢
- 关键词：符号模型检验混成系统
- 基于深度学习与视场投影模型的渗漏水面积检测与识别方法
- 本发明公开了一种基于深度学习与视场投影模型的渗漏水区域检测与识别方法，具体包括如下步骤：步骤1)采集待测区域的视频数据和点云数据；步骤2)通过渗漏水图像识别神经网络对步骤1)采集的视频数据进行检测，得到渗漏水区域图片；步...
- 高新闻金邦洋胡珉喻钢周丽
- 基于增强现实的结构表面病害巡检和分析方法
- 本发明揭示了一种基于增强现实的结构表面病害巡检和分析方法，所述方法包括：步骤1：获取隧道管片环号；步骤2：从数据库中获取对应隧道管片环号隧道管片的病害信息；步骤3：使用移动设备的摄像头捕获视频流；步骤4：识别隧道管片上的...
- 潘惠婷史礼华高新闻喻钢胡珉
- 基于增强现实的结构表面巡检和分析系统
- 本发明揭示了一种基于增强现实的结构表面巡检和分析系统，所述系统包括狭窄空间的多功能检测车、基于增强现实的结构表面病害巡检移动终端系统；所述多功能巡检车能在隧道、管廊等狭窄空间中执行无人巡检任务；所述移动终端系统处理和分析...
- 胡珉高新闻喻钢林欣欣周显威史礼华潘惠婷
- 文献传递
- 混凝土预制构件物理信息融合关键技术和应用
- 胡珉高新闻喻钢周丽杜娟甘丽凝陈立生吴惠明陈鸿熊诚赵国强施永泉辛佐先徐伟
- 该项目属于土木工程和信息技术交叉学科领域，在市科委和国资委等多个重大重点项目资助下完成。混凝土预制装配式建筑是国家和上海市大力推广的建筑工业化发展方向，然而由于预制装配式建筑制造-施工-运维全过程监、管、控和协调困难，导...
- 关键词：
- 关键词：混凝土预制构件
