首页 > 最新文献

2009 IEEE Aerospace conference最新文献

英文 中文
Design and development of the first Quasi-Zenith Satellite attitude and orbit control system 第一颗准天顶卫星姿态轨道控制系统的设计与研制
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839537
Y. Ishijima, N. Inaba, A. Matsumoto, K. Terada, Hiroo Yonechi, Hitoshi Ebisutani, Shinichi Ukawa, Takeshi Okamoto
The Quasi-zenith Satellite (QZS-1) is the first Japanese first navigation satellite to demonstrate the technology for providing GPS interoperable and augmentation services around Japan and Oceania. The attitude and orbit control system (AOCS) of the QZS-1 has several features that improve the mission availability. The use of a star tracker in a GEO altitude orbit and yaw steering function for high inclination are important features. In addition, robust software can maintain nominal operation, even in cases where one failure would occur in attitude sensors, actuators, or the main computer. Furthermore, the intervals of reaction wheel momentum unloading and orbital maneuvers are maximized by optimizing the system design and considering disturbances, such as solar radiation pressure, orbital perturbations, and thrust variations. As described herein, we present an overview and the design results of the QZS-1 attitude and orbit control system.
准天顶卫星(QZS-1)是日本第一颗导航卫星,用于演示在日本和大洋洲周围提供GPS互操作和增强服务的技术。QZS-1的姿态和轨道控制系统(AOCS)有几个改进任务可用性的特点。在GEO高度轨道上使用星跟踪器和高倾角的偏航转向功能是重要的特征。此外,即使在姿态传感器、致动器或主计算机发生故障的情况下,强大的软件也可以维持正常运行。此外,通过优化系统设计,并考虑太阳辐射压力、轨道扰动和推力变化等干扰,使反力轮动量卸载和轨道机动的间隔时间最大化。本文介绍了QZS-1姿态轨道控制系统的总体情况和设计结果。
{"title":"Design and development of the first Quasi-Zenith Satellite attitude and orbit control system","authors":"Y. Ishijima, N. Inaba, A. Matsumoto, K. Terada, Hiroo Yonechi, Hitoshi Ebisutani, Shinichi Ukawa, Takeshi Okamoto","doi":"10.1109/AERO.2009.4839537","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839537","url":null,"abstract":"The Quasi-zenith Satellite (QZS-1) is the first Japanese first navigation satellite to demonstrate the technology for providing GPS interoperable and augmentation services around Japan and Oceania. The attitude and orbit control system (AOCS) of the QZS-1 has several features that improve the mission availability. The use of a star tracker in a GEO altitude orbit and yaw steering function for high inclination are important features. In addition, robust software can maintain nominal operation, even in cases where one failure would occur in attitude sensors, actuators, or the main computer. Furthermore, the intervals of reaction wheel momentum unloading and orbital maneuvers are maximized by optimizing the system design and considering disturbances, such as solar radiation pressure, orbital perturbations, and thrust variations. As described herein, we present an overview and the design results of the QZS-1 attitude and orbit control system.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131710306","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}
引用次数: 24
Recent results of the Guide-2 telescope testbed for the SIM-Lite mission 用于SIM-Lite任务的Guide-2望远镜试验台的最新结果
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839465
I. Hahn, M. Weilert, J. Sandhu, F. Dekens, R. Goullioud
The Space Interferometry Mission Planet Quest Lite (SIM-Lite) is a new mission concept to perform micro-arcsecond narrow-angle astrometry to search approximately 50 nearby stars for Earth-like planets, and also to perform a global astrometry. The SIM-Lite consists of two Michelson interferometers and one telescope. The main six-meter baseline science interferometer observes a target star and a set of reference stars. The four-meter baseline interferometer (Guide-1) monitors the attitude of the instrument in the direction of a target star. A new Guide-2 telescope (G2T) tracks a bright star to monitor the attitude of the instrument in the other two orthogonal directions. In the current mission concept, the G2T consists of a 30 cm siderostat and a 30 cm confocal telescope, similar to other four telescopes used in the science and Guide-1 interferometers. A testbed has been built to demonstrate the G2T feasibility for SIM-Lite mission. Recent results show that field-independent, star-tracking capability of the system is less than 30 mas after the SIM narrow angle analysis.
太空干涉测量任务行星任务Lite (SIM-Lite)是一种新的任务概念,通过微弧秒窄角天体测量来搜索大约50颗附近的恒星,寻找类地行星,并进行全球天体测量。SIM-Lite由两个迈克尔逊干涉仪和一个望远镜组成。主要的6米基线科学干涉仪观测一颗目标恒星和一组参考恒星。4米基线干涉仪(Guide-1)监测仪器在目标恒星方向上的姿态。一个新的Guide-2望远镜(G2T)跟踪一颗明亮的恒星,以监测仪器在其他两个正交方向上的姿态。在目前的任务概念中,G2T由一个30厘米的sidrostat和一个30厘米的共聚焦望远镜组成,类似于科学和Guide-1干涉仪中使用的其他四个望远镜。建立了一个测试平台来验证G2T在SIM-Lite任务中的可行性。最近的研究结果表明,经过SIM窄角分析,该系统的场无关星跟踪能力小于30 mas。
{"title":"Recent results of the Guide-2 telescope testbed for the SIM-Lite mission","authors":"I. Hahn, M. Weilert, J. Sandhu, F. Dekens, R. Goullioud","doi":"10.1109/AERO.2009.4839465","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839465","url":null,"abstract":"The Space Interferometry Mission Planet Quest Lite (SIM-Lite) is a new mission concept to perform micro-arcsecond narrow-angle astrometry to search approximately 50 nearby stars for Earth-like planets, and also to perform a global astrometry. The SIM-Lite consists of two Michelson interferometers and one telescope. The main six-meter baseline science interferometer observes a target star and a set of reference stars. The four-meter baseline interferometer (Guide-1) monitors the attitude of the instrument in the direction of a target star. A new Guide-2 telescope (G2T) tracks a bright star to monitor the attitude of the instrument in the other two orthogonal directions. In the current mission concept, the G2T consists of a 30 cm siderostat and a 30 cm confocal telescope, similar to other four telescopes used in the science and Guide-1 interferometers. A testbed has been built to demonstrate the G2T feasibility for SIM-Lite mission. Recent results show that field-independent, star-tracking capability of the system is less than 30 mas after the SIM narrow angle analysis.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123170275","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}
引用次数: 0
Improving onboard analysis of Hyperion images by filtering mislabeled training data examples 通过过滤错误标记的训练数据示例,改进Hyperion图像的机载分析
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839580
U. Rebbapragada, L. Mandrake, K. Wagstaff, D. Gleeson, R. Castaño, Steve Ankuo Chien, C. Brodley
This paper presents PWEM, a technique for detecting class label noise in training data. PWEM detects mislabeled examples by assigning to each training example a probability that its label is correct. PWEM calculates this probability by clustering examples from pairs of classes together and analyzing the distribution of labels within each cluster to derive the probability of each label's correctness. We discuss how one can use the probabilities output by PWEM to filter, mitigate, or correct mislabeled training examples. We then provide an in-depth discussion of how we applied PWEM to a sulfur detector that labels pixels from Hyperion images of the Borup-Fiord pass in Northern Canada. PWEM assigned a large number of the sulfur training examples low probabilities, indicating severe mislabeling within the sulfur class. The filtering of those low confidence examples resulted in a cleaner training set and improved the median false positive rate of the classifier by at least 29%.
本文提出了一种检测训练数据中类别标记噪声的PWEM技术。PWEM通过为每个训练样本分配其标签正确的概率来检测错误标记的样本。PWEM通过将成对的类中的示例聚在一起,并分析每个簇内标签的分布,从而得出每个标签正确的概率,从而计算出这个概率。我们讨论了如何使用PWEM的概率输出来过滤、减轻或纠正错误标记的训练示例。然后,我们深入讨论了如何将PWEM应用于硫探测器,该探测器可以标记来自加拿大北部borup - ford通道的Hyperion图像的像素。PWEM分配了大量低概率的硫磺训练样本,这表明在硫磺类中存在严重的错误标记。对这些低置信度示例的过滤产生了一个更干净的训练集,并将分类器的中位数误报率提高了至少29%。
{"title":"Improving onboard analysis of Hyperion images by filtering mislabeled training data examples","authors":"U. Rebbapragada, L. Mandrake, K. Wagstaff, D. Gleeson, R. Castaño, Steve Ankuo Chien, C. Brodley","doi":"10.1109/AERO.2009.4839580","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839580","url":null,"abstract":"This paper presents PWEM, a technique for detecting class label noise in training data. PWEM detects mislabeled examples by assigning to each training example a probability that its label is correct. PWEM calculates this probability by clustering examples from pairs of classes together and analyzing the distribution of labels within each cluster to derive the probability of each label's correctness. We discuss how one can use the probabilities output by PWEM to filter, mitigate, or correct mislabeled training examples. We then provide an in-depth discussion of how we applied PWEM to a sulfur detector that labels pixels from Hyperion images of the Borup-Fiord pass in Northern Canada. PWEM assigned a large number of the sulfur training examples low probabilities, indicating severe mislabeling within the sulfur class. The filtering of those low confidence examples resulted in a cleaner training set and improved the median false positive rate of the classifier by at least 29%.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126450625","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}
引用次数: 15
On-line drilling process monitoring by Marginalized Particle Filter 基于边缘粒子滤波的钻井过程在线监测
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839475
Amadou Ba, N. Mechbal, M. Vergé, S. Hbaieb
Real-time monitoring of a drilling process is an essential task in improving their performances. Faults that might occur have to be detected as soon as possible in order to preserve drilling efficiency. In this paper, drilling process monitoring by identifying time varying parameters through Marginalized Particle Filter (MPF) is treated. The idea consists in enhancing the tracking ability of parameters change by integrating into the process model a part that represents the faulty process and another when the process is safe. The efficiency of the developed approach is highlighted through simulated and experimental data obtained from tests campaign.
钻井过程的实时监测是提高钻井性能的重要任务。为了保证钻井效率,必须尽快发现可能发生的故障。本文研究了利用边缘粒子滤波(MPF)识别时变参数的钻井过程监测问题。其思想在于通过在过程模型中集成一个表示故障过程的部分和另一个表示安全过程的部分来增强参数变化的跟踪能力。仿真和实验数据表明,该方法的有效性得到了验证。
{"title":"On-line drilling process monitoring by Marginalized Particle Filter","authors":"Amadou Ba, N. Mechbal, M. Vergé, S. Hbaieb","doi":"10.1109/AERO.2009.4839475","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839475","url":null,"abstract":"Real-time monitoring of a drilling process is an essential task in improving their performances. Faults that might occur have to be detected as soon as possible in order to preserve drilling efficiency. In this paper, drilling process monitoring by identifying time varying parameters through Marginalized Particle Filter (MPF) is treated. The idea consists in enhancing the tracking ability of parameters change by integrating into the process model a part that represents the faulty process and another when the process is safe. The efficiency of the developed approach is highlighted through simulated and experimental data obtained from tests campaign.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116110276","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
Higher performance BAE systems processors and interconnects enabling spacecraft applications 更高性能的BAE系统处理器和互连使航天器应用成为可能
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839505
J. Marshall, Neil Wood, M. Milliser, R. Ferguson, Ed Maher
Over the past decade, the amount of processing utilized in spacecraft has increased. From below 1 MIP in the 1980s to single digit MIPS in the early 1990s to 10s of MIPS by the end of the twentieth century to hundreds of MIPS today, the amount of processing is in an upward trend paralleling though lagging the commercial and military embedded processing markets. This has allowed processing to move from simple control and data handling (C&DH) into payloads and other data processing intensive areas. Along with this memory capacities have increased to provide storage for programs and data.
在过去的十年中,航天器上使用的处理量增加了。从20世纪80年代的1个MIPS到90年代初的个位数MIPS,再到20世纪末的10个MIPS,再到今天的数百个MIPS,处理量呈上升趋势,虽然落后于商业和军事嵌入式处理市场。这使得处理从简单的控制和数据处理(C&DH)转移到有效载荷和其他数据处理密集型领域。与此同时,内存容量也增加了,可以存储程序和数据。
{"title":"Higher performance BAE systems processors and interconnects enabling spacecraft applications","authors":"J. Marshall, Neil Wood, M. Milliser, R. Ferguson, Ed Maher","doi":"10.1109/AERO.2009.4839505","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839505","url":null,"abstract":"Over the past decade, the amount of processing utilized in spacecraft has increased. From below 1 MIP in the 1980s to single digit MIPS in the early 1990s to 10s of MIPS by the end of the twentieth century to hundreds of MIPS today, the amount of processing is in an upward trend paralleling though lagging the commercial and military embedded processing markets. This has allowed processing to move from simple control and data handling (C&DH) into payloads and other data processing intensive areas. Along with this memory capacities have increased to provide storage for programs and data.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116159824","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
Feature-aided global nearest pattern matching with non-Gaussian feature measurement errors 基于非高斯特征测量误差的特征辅助全局最近邻模式匹配
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839481
Todd Fercho, D. Papageorgiou
System-level discrimination performance for missile defense relies on how well data can be associated between participating sensors. Under the existing architecture, there may be a handover of tracks between two sensors in which tracks formed by one sensor are passed to another sensor to improve knowledge of the targets. The global nearest pattern matching (GNPM) problem is a mathematical programming formulation that has proven to be successful at correctly correlating tracks based solely on kinematic data from two sensors, while simultaneously removing inter-sensor bias and accounting for false tracks and missed detections. Despite this success, there is continued interest to improve correlation performance by exploiting feature data collected on targets. This paper addresses this issue by extending the GNPM formulation to account for feature observations whose measurement errors follow an arbitrary distribution. This is accomplished by augmenting the GNPM likelihood function to include a term representing the incremental likelihood of track-to-track assignments based solely on feature observations. Computational results are presented to illustrate the success of this approach.
导弹防御系统级识别性能依赖于参与传感器之间的数据关联程度。在现有的体系结构下,两个传感器之间可能存在航迹切换,其中一个传感器形成的航迹传递给另一个传感器,以提高对目标的了解。全局最接近模式匹配(GNPM)问题是一个数学规划公式,已被证明可以成功地仅基于两个传感器的运动学数据正确关联轨迹,同时消除传感器间的偏差,并考虑到错误的轨迹和错过的检测。尽管取得了这样的成功,但是通过利用在目标上收集的特征数据来提高相关性能的兴趣仍然存在。本文通过扩展GNPM公式来解决这个问题,以解释其测量误差遵循任意分布的特征观测值。这是通过增加GNPM似然函数来实现的,使其包含一个表示仅基于特征观察的轨迹到轨迹分配的增量似然的项。计算结果说明了该方法的成功。
{"title":"Feature-aided global nearest pattern matching with non-Gaussian feature measurement errors","authors":"Todd Fercho, D. Papageorgiou","doi":"10.1109/AERO.2009.4839481","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839481","url":null,"abstract":"System-level discrimination performance for missile defense relies on how well data can be associated between participating sensors. Under the existing architecture, there may be a handover of tracks between two sensors in which tracks formed by one sensor are passed to another sensor to improve knowledge of the targets. The global nearest pattern matching (GNPM) problem is a mathematical programming formulation that has proven to be successful at correctly correlating tracks based solely on kinematic data from two sensors, while simultaneously removing inter-sensor bias and accounting for false tracks and missed detections. Despite this success, there is continued interest to improve correlation performance by exploiting feature data collected on targets. This paper addresses this issue by extending the GNPM formulation to account for feature observations whose measurement errors follow an arbitrary distribution. This is accomplished by augmenting the GNPM likelihood function to include a term representing the incremental likelihood of track-to-track assignments based solely on feature observations. Computational results are presented to illustrate the success of this approach.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"7 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121007159","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
Investigating the effects of atmospheric seeing on the detection of near earth orbiting asteroids 研究大气观测对探测近地轨道小行星的影响
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839455
Anthony P. O'Dell, S. Cain
Computer simulations are used to compare the results of correlating a simulated image of an asteroid with a point spread function while varying the atmospheric parameter. The images contain a point source object that is smeared due to the atmosphere. The point spread function is calculated using r0, since r0 can be measured at the time of time of data collection. These results are evaluated against an uncorrelated threshold detection algorithm using the same data input. The resulting receiver operating characteristic (ROC) curves show the effects of the different atmospheres on detection of different sized Near Earth Objects (NEOs) for both the correlation and threshold algorithm. These results are discussed and compared. Recommendations are made for applying these algorithms in the search for NEOs.
计算机模拟用于比较在改变大气参数的情况下将模拟的小行星图像与点扩散函数相关联的结果。图像包含一个点源物体,由于大气而被涂抹。点扩散函数用r0计算,因为r0在数据采集时刻可以测量。使用相同的数据输入,根据不相关的阈值检测算法对这些结果进行评估。所得的接收机工作特性(ROC)曲线显示了不同大气对相关算法和阈值算法检测不同大小近地天体的影响。对这些结果进行了讨论和比较。对在近地天体搜索中应用这些算法提出了建议。
{"title":"Investigating the effects of atmospheric seeing on the detection of near earth orbiting asteroids","authors":"Anthony P. O'Dell, S. Cain","doi":"10.1109/AERO.2009.4839455","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839455","url":null,"abstract":"Computer simulations are used to compare the results of correlating a simulated image of an asteroid with a point spread function while varying the atmospheric parameter. The images contain a point source object that is smeared due to the atmosphere. The point spread function is calculated using r0, since r0 can be measured at the time of time of data collection. These results are evaluated against an uncorrelated threshold detection algorithm using the same data input. The resulting receiver operating characteristic (ROC) curves show the effects of the different atmospheres on detection of different sized Near Earth Objects (NEOs) for both the correlation and threshold algorithm. These results are discussed and compared. Recommendations are made for applying these algorithms in the search for NEOs.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"185 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124920674","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}
引用次数: 3
Verification and validation of air traffic systems: Tactical separation assurance 空中交通系统的验证和确认:战术分离保证
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839621
David H. Bushnell, D. Giannakopoulou, P. Mehlitz, R. Paielli, C. Pasareanu
The expected future increase in air traffic requires the development of innovative algorithms and software systems to automate safety critical functions such as separation assurance - the task of maintaining a safe distance between aircraft at all times. Extensive verification and validation (V&V) of such functions will be crucial for the acceptance of new air traffic management systems. This paper reports on work performed at the NASA Ames Research Center. We discuss how advanced V&V technologies can be used to create robust software prototypes for air traffic control software, and how conformance of production code with such prototypes can be assured. We present preliminary results of V&V efforts for a prototype of the Tactical Separation Assisted Flight Environment system (TSAFE).
预计未来空中交通的增加需要开发创新的算法和软件系统,以实现安全关键功能的自动化,例如分离保证-始终保持飞机之间的安全距离的任务。这些功能的广泛核查和确认(V&V)对于接受新的空中交通管理系统至关重要。这篇论文报告了在NASA艾姆斯研究中心进行的工作。我们讨论了如何使用先进的V&V技术为空中交通管制软件创建健壮的软件原型,以及如何确保生产代码与这些原型的一致性。我们提出了战术分离辅助飞行环境系统(TSAFE)原型机的V&V工作的初步结果。
{"title":"Verification and validation of air traffic systems: Tactical separation assurance","authors":"David H. Bushnell, D. Giannakopoulou, P. Mehlitz, R. Paielli, C. Pasareanu","doi":"10.1109/AERO.2009.4839621","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839621","url":null,"abstract":"The expected future increase in air traffic requires the development of innovative algorithms and software systems to automate safety critical functions such as separation assurance - the task of maintaining a safe distance between aircraft at all times. Extensive verification and validation (V&V) of such functions will be crucial for the acceptance of new air traffic management systems. This paper reports on work performed at the NASA Ames Research Center. We discuss how advanced V&V technologies can be used to create robust software prototypes for air traffic control software, and how conformance of production code with such prototypes can be assured. We present preliminary results of V&V efforts for a prototype of the Tactical Separation Assisted Flight Environment system (TSAFE).","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"200 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123021394","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}
引用次数: 16
A diagnostic approach for electro-mechanical actuators in aerospace systems 航空航天系统中机电作动器的诊断方法
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839661
E. Balaban, P. Bansal, P. Stoelting, A. Saxena, K. Goebel, S. Curran
Electro-mechanical actuators (EMA) are finding increasing use in aerospace applications, especially with the trend towards all all-electric aircraft and spacecraft designs. However, electro-mechanical actuators still lack the knowledge base accumulated for other fielded actuator types, particularly with regard to fault detection and characterization. This paper presents a thorough analysis of some of the critical failure modes documented for EMAs and describes experiments conducted on detecting and isolating a subset of them. The list of failures has been prepared through an extensive Failure Modes and Criticality Analysis (FMECA) reference, literature review, and accessible industry experience. Methods for data acquisition and validation of algorithms on EMA test stands are described. A variety of condition indicators were developed that enabled detection, identification, and isolation among the various fault modes. A diagnostic algorithm based on an artificial neural network is shown to operate successfully using these condition indicators and furthermore, robustness of these diagnostic routines to sensor faults is demonstrated by showing their ability to distinguish between them and component failures. The paper concludes with a roadmap leading from this effort towards developing successful prognostic algorithms for electromechanical actuators.
机电致动器(EMA)在航空航天应用中的应用越来越多,特别是随着全电动飞机和航天器设计的趋势。然而,机电致动器仍然缺乏其他领域致动器类型积累的知识库,特别是在故障检测和表征方面。本文对EMAs中记录的一些关键失效模式进行了全面分析,并描述了检测和隔离其中一部分的实验。故障列表是通过广泛的故障模式和临界分析(FMECA)参考,文献回顾和可访问的行业经验准备的。介绍了EMA试验台的数据采集和算法验证方法。开发了各种状态指示器,可以在各种故障模式之间进行检测、识别和隔离。基于人工神经网络的诊断算法使用这些状态指标成功运行,此外,这些诊断程序对传感器故障的鲁棒性通过显示它们区分故障和部件故障的能力来证明。本文的结论是一个路线图,从这一努力走向开发成功的机电致动器预测算法。
{"title":"A diagnostic approach for electro-mechanical actuators in aerospace systems","authors":"E. Balaban, P. Bansal, P. Stoelting, A. Saxena, K. Goebel, S. Curran","doi":"10.1109/AERO.2009.4839661","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839661","url":null,"abstract":"Electro-mechanical actuators (EMA) are finding increasing use in aerospace applications, especially with the trend towards all all-electric aircraft and spacecraft designs. However, electro-mechanical actuators still lack the knowledge base accumulated for other fielded actuator types, particularly with regard to fault detection and characterization. This paper presents a thorough analysis of some of the critical failure modes documented for EMAs and describes experiments conducted on detecting and isolating a subset of them. The list of failures has been prepared through an extensive Failure Modes and Criticality Analysis (FMECA) reference, literature review, and accessible industry experience. Methods for data acquisition and validation of algorithms on EMA test stands are described. A variety of condition indicators were developed that enabled detection, identification, and isolation among the various fault modes. A diagnostic algorithm based on an artificial neural network is shown to operate successfully using these condition indicators and furthermore, robustness of these diagnostic routines to sensor faults is demonstrated by showing their ability to distinguish between them and component failures. The paper concludes with a roadmap leading from this effort towards developing successful prognostic algorithms for electromechanical actuators.","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131504083","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}
引用次数: 147
Development of a New Generation Spaceborne GPS Receiver 新一代星载GPS接收机的研制
Pub Date : 2009-03-07 DOI: 10.1109/AERO.2009.4839417
Yoshinori Kondoh, Y. Ishijima, I. Kawano, T. Iwata, Hideto Suzuki, Susumu Kumagai, Masahiro Kakinuma, Tomoaki Eda, Masaru Kasahara
We are investigating a New Generation Spaceborne GPS Receiver that can determine a position more precisely, but which is smaller, with lower cost and lower power consumption than a conventional receiver. This new type of spaceborne receiver includes a CMOS Silicon on Insulator (SOI) chip and adopts a direct
我们正在研究新一代星载GPS接收器,它可以更精确地确定位置,但比传统接收器更小,成本更低,功耗更低。这种新型星载接收机包括一个CMOS绝缘体上硅(SOI)芯片,并采用了一种直接通信方式
{"title":"Development of a New Generation Spaceborne GPS Receiver","authors":"Yoshinori Kondoh, Y. Ishijima, I. Kawano, T. Iwata, Hideto Suzuki, Susumu Kumagai, Masahiro Kakinuma, Tomoaki Eda, Masaru Kasahara","doi":"10.1109/AERO.2009.4839417","DOIUrl":"https://doi.org/10.1109/AERO.2009.4839417","url":null,"abstract":"We are investigating a New Generation Spaceborne GPS Receiver that can determine a position more precisely, but which is smaller, with lower cost and lower power consumption than a conventional receiver. This new type of spaceborne receiver includes a CMOS Silicon on Insulator (SOI) chip and adopts a direct","PeriodicalId":117250,"journal":{"name":"2009 IEEE Aerospace conference","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126979333","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
期刊
2009 IEEE Aerospace conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1