Automated Constraint Checking of Spacecraft Command Sequences

机译：航天器命令序列的自动约束检查

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Robotic Spacecraft are controlled by onboard sets of commands called.

著录项

作者
Horvath, J. C.; Alkalaj, L. J.; Schneider, K. M.; Spitale, J. M.; Le, D.;
展开▼
作者单位

展开▼
年度 1994
页码 1-10
总页数 10
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
AUTOMATIC CONTROL; LANGUAGES; POSEIDON SATELLITE; ROBOTICS; SEQUENCING; SPACECRAFT DESIGN; TOPEX; robotic spacecraft languages SAVE system TOPEX/Poseidon spacecraft.;

机译：自动控制;语言; pOsEIDON saTELLITE; ROBOTICs;排序;航天器设计; TOpEX;机器人航天器语言saVE系统TOpEX / poseidon航天器。;

相似文献

外文文献
中文文献
专利

1. TerraSAR-X Mission Planning System: Automated Command Generation for Spacecraft Operations [J] . Maurer E., Mrowka F., Braun A., Geoscience and Remote Sensing, IEEE Transactions on . 2010,第2期

机译：TerraSAR-X任务计划系统：航天器操作的自动命令生成
2. Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking [J] . B.T. Zhong, LY. Ding, H.B. Luo, Automation in construction . 2012,第deca期

机译：基于本体的规则约束语义建模，用于自动化施工质量符合性检查
3. Unification of the a priori inconsistencies checking among assembly constraints in assembly sequence planning [J] . Christophe Perrard, Eric Bonjour The International Journal of Advanced Manufacturing Technology . 2013,第1a4期

机译：装配顺序计划中装配约束之间的先验不一致检查的统一
4. Improved modeling and validation of command sequences using a checkable sequence language [C] . Stone C.A., Carter A., Justice H.L., Aerospace Conference, 2012 IEEE . 2012

机译：使用可检查的序列语言改进了命令序列的建模和验证
5. A modular, algebra-sequenced paramorphic constraint-based type checker for Rosetta. [D] . Snyder, Mark H. 2007

机译：一种用于Rosetta的模块化，基于代数序列的变态约束类型检查器。
6. Semi-automated fact-checking of nucleotide sequence reagents in biomedical research publications: The Seek Blastn tool [O] . Cyril Labbé, Natalie Grima, Thierry Gautier, -1

机译：生物医学研究出版物中核苷酸序列试剂的半自动事实检查：Seek＆Blastn工具
7. Design Approach for CCSDS Complied Command Operation and Frame Operation Procedure for Integrated Spacecraft Checkout [O] . Parul Sharma, Sangeetha K., Vithal Metri 2018

机译：CCSDS的设计方法符合集成航天器结账的命令操作和帧操作步骤
8. (abstract) Automated Constraint Checking of Spacecraft Command Sequences [R] . Horvath, Joan, Alkalaj, Leon, Schneider, Karl, 1994

机译：（摘要）航天器命令序列的自动约束检查

Automated Constraint Checking of Spacecraft Command Sequences

摘要

著录项

相似文献

相关主题

期刊订阅