QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A review and prospect of readable machine proofs for geometry theorems 期刊论文 Journal of Systems Science and Complexity, 2012, 卷号: Vol.25 No.4, 页码: 802-820 作者:  Jianguo Jiang;  Jingzhong Zhang 收藏  |  浏览/下载：3/0  |  提交时间：2019/02/27 Automated  geometry  reasoning  coordinate-free  method  formal  logic  method  geometric  inequality  intelligent  geometry  software  machine  learning  mechanical  theorem  proving  readable  machine  proof  search  method   Support Uplift analysis and monitoring of a steel-concrete composite curved pedestrian bridge in the course of construction 会议论文 Xi'an, China, September 22, 2011 - September 24, 2011 作者:  Xiang, Chang-Sheng;  Fu, Chung;  Li, Hui;  Zhao, Geng-Wen;  Ahmed, Mohamed 收藏  |  浏览/下载：0/0  |  提交时间：2020/11/15 Building materials  Curricula  Diaphragms  Errors  Finite element method  Footbridges  Monitoring  Residual stresses  Steel beams and girders  Sustainable development  Tankers (ships)  Bridge constructions  Concrete deck  Construction errors  Construction steps  Dead loads  Design load  Displacement monitoring  Field investigation  Field loading test  Field test  Finite element models  Installation error  Internal forces  Laser measurement systems  Mechanical reasoning  Mechanical systems  Pedestrian bridge  Safety issues  Steel girder  Steel-concrete composite  Steel-concrete curved bridge  Structural safety  Test data   Reuse of bridge knowledge based on case reasoning and neural network 期刊论文 2010, 2010 Peng Wei-bing; Ren Ai-zhu; Xu Feng 收藏  |  浏览/下载：5/0 High pressure common rail diesel engine modeling for calibration and optimization 期刊论文 2010, 2010 Han Qiang; Yang Fuyuan; Zhang Jingyong; Ouyang Minggao 收藏  |  浏览/下载：3/0 Fuzzy retrieval in case-based reasoning systems 期刊论文 2010, 2010 Wang Xiao-liang; Liu Xi-la 收藏  |  浏览/下载：3/0 Integrated interference of driver's intentions and driving environment and real-time algorithm 期刊论文 2010, 2010 Wang Yuhai; Song Jian; Li Xingkun 收藏  |  浏览/下载：1/0