中文版 | English

在结果中检索

Arid

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
META-X Design Flow Tools. 科技报告
报告编号: ADA589389. 出版年: 2013
作者:  Bapty, T;  Neema, S;  Sztipanovits, J.
收藏  |  浏览/下载：12/0  |  提交时间：2019/11/30
Computer aided design  Information systems  Military vehicles  Programming languages  Cad synthesis  Cyber physical systems  Design space analysis  Formal analysis  Model based design tools  System simulation  
Software technology testbed softpanel prototype 科技报告
报告编号: NASA-CR-187913, NAS 1.26:187913. 出版年: 1991
作者:  [unavailable]
收藏  |  浏览/下载：21/0  |  提交时间：2019/11/30
ADA (PROGRAMMING LANGUAGE)  COMPUTER PROGRAMS  COMPUTER TECHNIQUES  REAL TIME OPERATION  SOFTWARE ENGINEERING  SPACE STATIONS  SYSTEMS INTEGRATION  COMPUTERIZED SIMULATION  CONTROL SYSTEMS DESIGN  DATA BASE MANAGEMENT SYSTEMS  DATA MANAGEMENT  PROGRAM VERIFICATION (COMPUTERS)  SOFTWARE DEVELOPMENT TOOLS  
Space Applications of Automation, Robotics and Machine Intelligence Systems (ARAMIS). Volume 4: Supplement, Appendix 4.3: Candidate ARAMIS Capabilities 科技报告
报告编号: NASA-CR-162083, NAS 1.26:162083, SSL-24-82-VOL-4-SUPPL-APP-4.3. 出版年: 1982
作者:  Miller, R. H.;  Minsky, M. L.;  Smith, D. B. S.
收藏  |  浏览/下载：11/0  |  提交时间：2019/11/30
ARTIFICIAL INTELLIGENCE  AUTOMATIC CONTROL  DEPERSONALIZATION  ROBOTS  SPACE TOOLS  AEROSPACE ENGINEERING  AUTOMATION  BIONICS  MAN MACHINE SYSTEMS  MECHANIZATION  REMOTE CONTROL