机构

• 计算技术研究所 [3]
• 长春光学精密机械与物... [2]
• 软件研究所 [2]
• 中国科学院大学 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [8]
• iSwitch采集 [1]

内容类型

• 期刊论文 [5]
• 会议论文 [4]

发表日期

• 2016 [1]
• 2011 [2]
• 2008 [1]
• 2006 [1]
• 2005 [4]

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共9条，第1-9条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Design and Analysis of Physical Simulation System for Satellite Rotating Panels 会议论文  OAI收割 2016 IEEE International Conference on Robotics and Biomimetics (ROBIO 2016), Qingdao, China, December 3-7, 2016 作者:  Yin M(尹猛);  He Y(贺云);  Xu ZG(徐志刚);  Liu Z(刘哲) 收藏  |   The aircraft autopilot design of parameters changing in a wide range (EI CONFERENCE) 会议论文  OAI收割 2011 International Conference on Electric Information and Control Engineering, ICEICE 2011, April 15, 2011 - April 17, 2011, Wuhan, China Zhen D.; Yue Z. 收藏  |   Control method research on wide flight envelope aerocraft (EI CONFERENCE) 会议论文  OAI收割 2nd Annual Conference on Electrical and Control Engineering, ICECE 2011, September 16, 2011 - September 18, 2011, Yichang, China 作者:  Duan Z. 收藏  |   a mechanical approach for deriving algorithmic programs 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei   |  收藏  |   Observability statement coverage based on dynamic factored use-definition chains for functional verification 期刊论文  OAI收割 JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2006, 卷号: 22, 期号: 3, 页码: 273-285 作者:  Lv, Tao;  Fan, Jian-Ping;  Li, Xiao-Wei;  Liu, Ling-Yi   |  收藏  |   An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文  iSwitch采集 Journal of computer science and technology, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者:  Lu, W;  Yang, XT;  Lv, T;  Li, XW 收藏  |   An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者:  Lu, W;  Yang, XT;  Lv, T;  Li, XW   |  收藏  |   An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage 期刊论文  OAI收割 Journal of Computer Science and Technology, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者:  Tao Lv（吕涛）;  Wei Lu(鲁巍);  Xiao-Wei Li（李晓维）;  Xiu-Tao Yang（杨修涛）   |  收藏  |   property-preserving subnet reductions for designing manufacturing systems with shared resources 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2005, 卷号: 332, 期号: 1-3, 页码: 461-485 Huang HJ; Jiao L; Cheung TY   |  收藏  |