搜索筛选:
搜索耗时3.8021秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：Lu YANG,Chaochen ZHOU,Naijun ZHAN,Bican XIA,
来源：城市道桥与防洪 年份：2010
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[期刊论文] 作者：Jie AN,Lingtai WANG,Bohua ZHAN,Naijun ZHAN,Miaomiao ZHANG,
来源：中国科学：信息科学（英文版） 年份：2021
Real-time automata (RTAs) are a subclass of timed automata with only one clock which resets at each transition.In this paper,we present an active learning algorithm for deterministic real-time automata(DRTAs) in both continuous-time semanti......
[期刊论文] 作者：Jian ZHANG,Wenhui ZHANG,Naijun ZHAN,Yidong SHEN,Haiming CHEN,Yunquan ZHANG,Yongji WANG,Enhua WU,Hongan,
来源：城市道桥与防洪 年份：2008
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
相关搜索：
