QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2017     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Value of three-dimensional strain parameters for predicting left ventricular remodeling after ST-elevation myocardial infarction. 期刊论文 INTERNATIONAL JOURNAL OF CARDIOVASCULAR IMAGING, 2017 作者:  Xu, Lin;  Huang, Xiaomin;  Ma, Jun;  Huang, Jiangming;  Fan, Yongwang 收藏  |  浏览/下载：26/0  |  提交时间：2018/02/02 Cobalt and cobalt carbide on alumina/NiAl(110) as model catalysts 期刊论文 CATALYSIS SCIENCE & TECHNOLOGY, 2017, 卷号: 7, 页码: 5893-5899 作者:  Zhang, Tianfu;  Wu, Jingsong;  Xu, Yuqun;  Wang, Xiaoping;  Ni, Jun 收藏  |  浏览/下载：2/0  |  提交时间：2019/11/21 WELL CONTROL CAPACITY-BASED RISK ANALYSIS OF GAS CUT IN DEEPWATER DRILLING 期刊论文 JOURNAL OF MARINE SCIENCE AND TECHNOLOGY-TAIWAN, 2017, 卷号: 25, 页码: 205-212 作者:  Xu, Yuqiang;  Guan, Zhichuan;  Jin, Yan;  Pang, Hua;  Liu, Yongwang 收藏  |  浏览/下载：7/0  |  提交时间：2020/01/03 risk analysis  gas cut  well control capacity  deepwater drilling   CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs 会议论文 TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017-01-01 作者:  Sanan, David;  Zhao, Yongwang;  Hou, Zhe;  Zhang, Fuyuan;  Tiu, Alwen 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Formal Verification of Behavioral AADL Models by Stateful Timed CSP 期刊论文 IEEE ACCESS, 2017, 卷号: 5, 页码: 27421-27438 作者:  Zhang, Feng;  Zhao, Yongwang;  Ma, Dianfu;  Niu, Wensheng 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30 Model transformation  AADL  behavior annex  stateful timed CSP  PAT  formal model-checking