QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 An Approach of Conformance Verification between Design Models and Code Based on Abstract Syntax Tree 会议论文 7th International Conference on Mechanical, Industrial, and Manufacturing Technologies (MIMT), Cape Town, SOUTH AFRICA, 2016-01-01 作者:  Liu, Zhao;  Tian, Yang;  Yan, Haihua 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems 会议论文 11th Annual Conference on Theory and Applications of Models of Computation (TAMC), Chennai, INDIA, 2014-04-11 作者:  Lu, Min;  Liu, Tian;  Tong, Weitian;  Lin, Guohui;  Xu, Ke 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 Tree convex set systems  tree-like set systems  set cover  set packing  hitting set  polynomial time  NP-complete   Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems 会议论文 THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2014), 2014-01-01 作者:  Lu, Min;  Liu, Tian;  Tong, Weitian;  Lin, Guohui;  Xu, Ke 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 Tree convex set systems  tree-like set systems  set cover  set packing  hitting set  polynomial time  NP-complete   Timed Fault Tree Models of the China Yongwen Railway Accident 会议论文 Asia Modelling Symposium 2014 8th International Conference Mathematical Modelling Computer Simulation, Taipei, TAIWAN, 2014-01-01 作者:  Lu, Yu;  Peng, Zhaoguang;  Miller, Alice;  Zhao, Tingdi;  Johnson, Chris 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 railway transportation systems  fault tree analysis  risk analysis  timed fault trees