2009 Third IEEE International Conference on Space Mission Challenges for Information Technology最新文献_第3页

Dspace: Real-Time 3D Visualization System for Spacecraft Dynamics Simulation 用于航天器动力学仿真的实时三维可视化系统

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.36

M. Pomerantz, Abhinandan Jain, Steven Myint

引用次数: 10

A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis 基于模型诊断的冲突集生成新方法

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.58

A. Fijany, F. Vatan, A. Barrett

{"title":"A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis","authors":"A. Fijany, F. Vatan, A. Barrett","doi":"10.1109/SMC-IT.2009.58","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.58","url":null,"abstract":"In this paper we present a new efficient algorithmic method for generating the conflicts set for model based diagnosis. Our new method combines the strength of the two different approaches proposed in the literature, that is, the fault detection and isolation (FDI), which is based on automatic control theory and statistical decision theory, and the other one, known as DX, which is based on artificial intelligence techniques. The first building block in our method is a new efficient algorithm for generation of the complete set of analytical redundancy relations (ARRs) for the system in an implicit form. For the diagnosis, our method first performs (similar to DX approaches) a system simulation to calculate the expected values of the measurements. Any discrepancy, i.e., the difference between expected and actual value of measurement, would trigger our diagnosis process. To this end, only those ARRs which involve the measurement with discrepancy are checked for consistency which lead a to a significant reduction in the number of consistency checks usually performed by DX approaches. We demonstrate the efficiency of our new method by its application to several synthetic systems and compare it with that of GDE.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127111500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Enhancing Collaboration among NASA Engineers through a Knowledge Sharing System 通过知识共享系统加强NASA工程师之间的协作

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.29

D. Topousis, E. Means, Keri S. Murphy, Manson Yew

引用次数: 2

Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning 机载机器学习中辐射误差的模拟与检测

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.22

R. Granat, K. Wagstaff, B. Bornstein, Benyang Tang, M. Turmon

{"title":"Simulating and Detecting Radiation-Induced Errors for Onboard Machine Learning","authors":"R. Granat, K. Wagstaff, B. Bornstein, Benyang Tang, M. Turmon","doi":"10.1109/SMC-IT.2009.22","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.22","url":null,"abstract":"Spacecraft processors and memory are subjected to high radiation doses and therefore employ radiation-hardened components. However, these components are orders of magnitude more expensive than typical desktop components, and they lag years behind in terms of speed and size. We have integrated algorithm-based fault tolerance (ABFT) methods into onboard data analysis algorithms to detect radiation-induced errors, which ultimately may permit the use of spacecraft memory that need not be fully hardened, reducing cost and increasing capability at the same time. We have also developed a lightweight software radiation simulator, BITFLIPS, that permits evaluation of error detection strategies in a controlled fashion, including the specification of the radiation rate and selective exposure of individual data structures. Using BITFLIPS, we evaluated our error detection methods when using a support vector machine to analyze data collected by the Mars Odyssey spacecraft. We observed good performance from both an existing ABFT method for matrix multiplication and a novel ABFT method for exponentiation. These techniques bring us a step closer to \"rad-hard\" machine learning algorithms.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126228841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 9

A Case for Database Filesystems 数据库文件系统案例

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.28

P. A. Adams, John C. Hax

引用次数: 0

A Reusable Process Control System Framework for the Orbiting Carbon Observatory and NPP Sounder PEATE Missions 轨道碳观测和NPP探测仪PEATE任务的可重复使用过程控制系统框架

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.27

C. Mattmann, D. Freeborn, D. Crichton, Brian M. Foster, Andrew F. Hart, D. Woollard, S. Hardman, P. Ramirez, S. Kelly, A. Y. Chang, C. E. Miller

引用次数: 25

SKEYP: AI Applied to SOHO Keyhole Operations SKEYP: AI应用于SOHO钥匙孔操作

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.16

N. Policella, H. Oliveira, T. Siili

引用次数: 9

Sequential Principal Component Analysis - A Hardware-Implementable Transform for Image Compression 顺序主成分分析——一种用于图像压缩的硬件实现变换

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.49

T. Duong, Vu A. Duong

{"title":"Sequential Principal Component Analysis - A Hardware-Implementable Transform for Image Compression","authors":"T. Duong, Vu A. Duong","doi":"10.1109/SMC-IT.2009.49","DOIUrl":"https://doi.org/10.1109/SMC-IT.2009.49","url":null,"abstract":"This paper presents the JPL-developed Sequential Principal Component Analysis (SPCA) algorithm for feature extraction / image compression, based on “dominant-term selection” unsupervised learning technique that requires an order-of-magnitude lesser computation and has simpler architecture compared to the state of the art gradient-descent techniques. This algorithm is inherently amenable to a compact, low power and high speed VLSI hardware embodiment. The paper compares the lossless image compression performance of the JPL’s SPCA algorithm with the state of the art JPEG2000, widely used due to its simplified hardware implementability. JPEG2000 is not an optimal data compression technique because of its fixed transform characteristics, regardless of its data structure. On the other hand, conventional Principal Component Analysis based transform (PCA-transform) is a data-dependent-structure transform. However, it is not easy to implement the PCA in compact VLSI hardware, due to its highly computational and architectural complexity. In contrast, the JPL’s “dominant-term selection” SPCA algorithm allows, for the first time, a compact, low-power hardware implementation of the powerful PCA algorithm. This paper presents a direct comparison of the JPL’s SPCA versus JPEG2000, incorporating the Huffman and arithmetic coding for completeness of the data compression operation. The simulation results show that JPL’s SPCA algorithm is superior as an optimal data-dependent-transform over the state of the art JPEG2000. When implemented in hardware, this technique is projected to be ideally suited to future NASA missions for autonomous on-board image data processing to improve the bandwidth of communication.","PeriodicalId":422009,"journal":{"name":"2009 Third IEEE International Conference on Space Mission Challenges for Information Technology","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129495523","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Extensible Simulation of Planets and Comets 行星和彗星的可扩展模拟

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.33

Natalie Wiser-Orozco, K. Schubert, E. Gomez, R. Botting

引用次数: 0

Integrating Software Technologies in RAXEM2 - AI Meets Information Technology 集成软件技术在RAXEM2 -人工智能满足信息技术

2009 Third IEEE International Conference on Space Mission Challenges for Information Technology Pub Date : 2009-07-19 DOI: 10.1109/SMC-IT.2009.14

G. Bernardi, A. Cesta, Gabriella Cortellessa

引用次数: 0