首页 > 最新文献

2008 IEEE National Aerospace and Electronics Conference最新文献

英文 中文
Robot Localization Using RE and Inertial Sensors 基于RE和惯性传感器的机器人定位
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806569
M. Zmuda, A. Elesev, Y. Morton
A mobile robot must know its position in order to operate autonomously. The process of determining the robot's absolute position from sensor data is called robot localization. Sonar, inertial, RF, and laser sensors can all be used for navigation and localization purposes. These sensors can achieve good accuracy when operating in certain conditions. For example, sonar is useful when operating in a mapped environment containing known obstacles. Inertial sensors have trouble with drift, which is accentuated when moving continuously for long periods of time. By merging the results from multiple sensors, the accuracy over a wider range of conditions can be obtained. This work proposes a technique of merging heterogeneous signals from inertial and RF sensors. Since sensors have errors associated with their readings, the robot's state will be represented probabilistically. Based on the sensors used in this work, the robot's position, velocity, and acceleration will be estimated using a joint probability distribution function (PDF). At each time step, this PDF will be updated based on the RF readings and then updated again based on the readings from the inertial sensor. The proposed algorithm will be applied to simulation of an uncluttered, level environment. The accuracy of the localization algorithm is compared to the accuracies obtained by other localization algorithms. The results show better localization accuracy when using the RF and inertial sensors together.
移动机器人必须知道自己的位置才能自主操作。从传感器数据中确定机器人绝对位置的过程称为机器人定位。声纳、惯性、射频和激光传感器都可以用于导航和定位目的。这些传感器在一定条件下工作时可以达到很好的精度。例如,声纳在包含已知障碍物的地图环境中工作时很有用。惯性传感器有漂移的问题,当长时间连续移动时,这种问题会加剧。通过合并多个传感器的结果,可以获得更大范围条件下的精度。本文提出了一种融合来自惯性和射频传感器的异构信号的技术。由于传感器的读数存在误差,因此机器人的状态将以概率方式表示。基于这项工作中使用的传感器,机器人的位置、速度和加速度将使用联合概率分布函数(PDF)进行估计。在每个时间步,该PDF将根据RF读数更新,然后根据惯性传感器的读数再次更新。提出的算法将应用于一个整洁的水平环境的仿真。将该定位算法的精度与其他定位算法的精度进行了比较。结果表明,射频传感器与惯性传感器结合使用时,定位精度更高。
{"title":"Robot Localization Using RE and Inertial Sensors","authors":"M. Zmuda, A. Elesev, Y. Morton","doi":"10.1109/NAECON.2008.4806569","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806569","url":null,"abstract":"A mobile robot must know its position in order to operate autonomously. The process of determining the robot's absolute position from sensor data is called robot localization. Sonar, inertial, RF, and laser sensors can all be used for navigation and localization purposes. These sensors can achieve good accuracy when operating in certain conditions. For example, sonar is useful when operating in a mapped environment containing known obstacles. Inertial sensors have trouble with drift, which is accentuated when moving continuously for long periods of time. By merging the results from multiple sensors, the accuracy over a wider range of conditions can be obtained. This work proposes a technique of merging heterogeneous signals from inertial and RF sensors. Since sensors have errors associated with their readings, the robot's state will be represented probabilistically. Based on the sensors used in this work, the robot's position, velocity, and acceleration will be estimated using a joint probability distribution function (PDF). At each time step, this PDF will be updated based on the RF readings and then updated again based on the readings from the inertial sensor. The proposed algorithm will be applied to simulation of an uncluttered, level environment. The accuracy of the localization algorithm is compared to the accuracies obtained by other localization algorithms. The results show better localization accuracy when using the RF and inertial sensors together.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121035349","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
Defense against Side-Channel Power Analysis Attacks on Microelectronic Systems 微电子系统侧信道功率分析攻击防御
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806536
V. Sundaresan, S. Rammohan, R. Vemuri
Side-channel power analysis attacks have become a potent threat to the security of embedded cryptographic devices in microelectronic systems. In this paper, we present an overview of the various side-channel power analysis attacks and defenses (countermeasures) against side-channel power analysis attacks. We introduce these countermeasures and present analyses based on security strength, ease of integration with EDA flows, and hardware characteristics like area, performance and power consumption. This paper is intended as a stepping stone towards developing more practical security-centric design methods that can be efficiently integrated with existing commercially viable designs and EDA flows, resulting in secure as well as hardware optimal implementations of side-channel power analysis attack resistant cryptographic devices.
侧信道功率分析攻击已成为微电子系统中嵌入式加密设备安全的严重威胁。在本文中,我们概述了各种边信道功率分析攻击和对边信道功率分析攻击的防御(对策)。我们介绍了这些对策,并根据安全强度、与EDA流集成的便利性以及硬件特性(如面积、性能和功耗)进行了分析。本文旨在为开发更实用的以安全为中心的设计方法奠定基础,这些设计方法可以有效地与现有的商业可行设计和EDA流程集成,从而实现安全以及防侧信道功率分析攻击的加密设备的硬件优化实现。
{"title":"Defense against Side-Channel Power Analysis Attacks on Microelectronic Systems","authors":"V. Sundaresan, S. Rammohan, R. Vemuri","doi":"10.1109/NAECON.2008.4806536","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806536","url":null,"abstract":"Side-channel power analysis attacks have become a potent threat to the security of embedded cryptographic devices in microelectronic systems. In this paper, we present an overview of the various side-channel power analysis attacks and defenses (countermeasures) against side-channel power analysis attacks. We introduce these countermeasures and present analyses based on security strength, ease of integration with EDA flows, and hardware characteristics like area, performance and power consumption. This paper is intended as a stepping stone towards developing more practical security-centric design methods that can be efficiently integrated with existing commercially viable designs and EDA flows, resulting in secure as well as hardware optimal implementations of side-channel power analysis attack resistant cryptographic devices.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"600 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132184467","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}
引用次数: 18
Inkjet Printing of DNA for Use in Bioelectronic Applications DNA喷墨打印在生物电子学中的应用
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806527
K.M. Singh, L. Brott, J. Grote, R. Naik
Biopolymers have received much attention lately for use in electronic applications. Salmon DNA complexed with cetyltrimethyl ammonium chloride (DNA-CTMA) produces a material soluble in organic solvents, enhancing the ease of processing. DNA-CTMA has shown promise as an electron blocking layer in organic light emitting diodes (OLEDs) and potential as a gate insulating material in field effect transistors (FETs). To realize an all bio-based FET, we are continuing to investigate the use of DNA as the semiconducting layer. In addition to tailoring the properties of the biomaterial to increase the conductivity, we are also trying to better characterize these materials and explore different deposition techniques. Inkjet printing offers an unique ability to reproducibly deposit materials in a spatially controlled fashion, using picoliter amounts with high throughput. This paper will present how parameters such as solvent evaporation rate and substrate influence film properties. The characterization of the resulting DNA films includes atomic force microscopy (AFM) and white light interferometry.
近年来,生物聚合物在电子领域的应用受到了广泛的关注。鲑鱼DNA与十六烷基三甲基氯化铵(DNA- ctma)络合产生一种可溶于有机溶剂的物质,提高了加工的便利性。DNA-CTMA作为有机发光二极管(oled)中的电子阻挡层和场效应晶体管(fet)中的栅极绝缘材料具有广阔的应用前景。为了实现全生物基场效应管,我们正在继续研究使用DNA作为半导体层。除了调整生物材料的特性以增加导电性外,我们还试图更好地表征这些材料并探索不同的沉积技术。喷墨打印提供了一种独特的能力,以空间控制的方式可重复沉积材料,使用高吞吐量的皮升量。本文将介绍溶剂蒸发速率和衬底等参数对薄膜性能的影响。所得到的DNA薄膜的表征包括原子力显微镜(AFM)和白光干涉测量。
{"title":"Inkjet Printing of DNA for Use in Bioelectronic Applications","authors":"K.M. Singh, L. Brott, J. Grote, R. Naik","doi":"10.1109/NAECON.2008.4806527","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806527","url":null,"abstract":"Biopolymers have received much attention lately for use in electronic applications. Salmon DNA complexed with cetyltrimethyl ammonium chloride (DNA-CTMA) produces a material soluble in organic solvents, enhancing the ease of processing. DNA-CTMA has shown promise as an electron blocking layer in organic light emitting diodes (OLEDs) and potential as a gate insulating material in field effect transistors (FETs). To realize an all bio-based FET, we are continuing to investigate the use of DNA as the semiconducting layer. In addition to tailoring the properties of the biomaterial to increase the conductivity, we are also trying to better characterize these materials and explore different deposition techniques. Inkjet printing offers an unique ability to reproducibly deposit materials in a spatially controlled fashion, using picoliter amounts with high throughput. This paper will present how parameters such as solvent evaporation rate and substrate influence film properties. The characterization of the resulting DNA films includes atomic force microscopy (AFM) and white light interferometry.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124562809","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
Planning for a Real-Time JPEG2000 Compression System 实时JPEG2000压缩系统的规划
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806552
D. Walker, L. Hogrebe, B. Fortener, D. Lucking
Since the initiation of JPEG in the mid-to-late 1980's, the JPEG standard has remained a viable solution for image compression in many applications. However, many modern applications seek significant improvements in image compression, particularly for compressed image representations at higher compression gains. Coupled with the growing interest in improving compression technology is the fact that bigger image sizes have become increasingly popular. In addition to the combined challenges of higher compression gains, large image sizes, and extremely long image sequences (e.g. in persistent surveillance durations consisting of hours, days, or months), many applications desire real-time or near real-time availability of compressed images for viewing and distribution. JPEG2000 is an often sought compression solution and is being increasingly adopted for future compression systems. However, for real-time compression systems one of the major challenges JPEG2000 presents is its very demanding computational intensity. It is this high computational intensity that mitigates much of the current interest in expanding JPEG2000's use in embedded and real-time applications. Planning for the implementation of a JPEG2000 system requires addressing all of the challenges listed above, particularly the computational needs. Fortunately, this intensive processing can be partitioned into concurrent processing modules that are suitable for FPGA implementation. This paper focuses on providing an outline of the major components of a JPEG2000 encoder and the requirements they impose for an example embedded application.
自从JPEG在20世纪80年代中后期出现以来,JPEG标准一直是许多应用程序中图像压缩的可行解决方案。然而,许多现代应用程序在图像压缩方面寻求重大改进,特别是在压缩增益较高的压缩图像表示方面。随着人们对改进压缩技术越来越感兴趣,更大的图像尺寸已经变得越来越流行。除了更高的压缩增益、大图像尺寸和极长的图像序列(例如,在持续监视持续时间由几个小时、几天或几个月组成)的综合挑战之外,许多应用程序都需要实时或接近实时的压缩图像可用性,以便查看和分发。JPEG2000是一种常用的压缩解决方案,并且越来越多地用于未来的压缩系统。然而,对于实时压缩系统,JPEG2000提出的主要挑战之一是其非常苛刻的计算强度。正是这种高计算强度降低了当前对扩展JPEG2000在嵌入式和实时应用程序中的使用的兴趣。规划JPEG2000系统的实现需要解决上面列出的所有挑战,特别是计算需求。幸运的是,这种密集的处理可以划分为适合FPGA实现的并发处理模块。本文重点介绍了JPEG2000编码器的主要组件及其对嵌入式应用程序的要求。
{"title":"Planning for a Real-Time JPEG2000 Compression System","authors":"D. Walker, L. Hogrebe, B. Fortener, D. Lucking","doi":"10.1109/NAECON.2008.4806552","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806552","url":null,"abstract":"Since the initiation of JPEG in the mid-to-late 1980's, the JPEG standard has remained a viable solution for image compression in many applications. However, many modern applications seek significant improvements in image compression, particularly for compressed image representations at higher compression gains. Coupled with the growing interest in improving compression technology is the fact that bigger image sizes have become increasingly popular. In addition to the combined challenges of higher compression gains, large image sizes, and extremely long image sequences (e.g. in persistent surveillance durations consisting of hours, days, or months), many applications desire real-time or near real-time availability of compressed images for viewing and distribution. JPEG2000 is an often sought compression solution and is being increasingly adopted for future compression systems. However, for real-time compression systems one of the major challenges JPEG2000 presents is its very demanding computational intensity. It is this high computational intensity that mitigates much of the current interest in expanding JPEG2000's use in embedded and real-time applications. Planning for the implementation of a JPEG2000 system requires addressing all of the challenges listed above, particularly the computational needs. Fortunately, this intensive processing can be partitioned into concurrent processing modules that are suitable for FPGA implementation. This paper focuses on providing an outline of the major components of a JPEG2000 encoder and the requirements they impose for an example embedded application.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129356967","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
Reconfigurable and Evolvable Architecture for Autonomous on-board systems 自主车载系统的可重构和进化架构
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806550
Y. Shiyanovskii, F. Wolff, C. Papachristou, D. McIntyre
Self-reconfigurable and evolvable hardware is a new emerging technology which will enable adaptation of computing systems to changing environments. This paper deals with the design architecture of an autonomous on-board system and the development of a real-time scheduler for the adaptation manager of reconfigurable hardware fabric. Our approach employs computer architecture with two key layers: the adaptation manager and the real time configuration kernel. This has significant advantages in terms of flexibility, scalability, cost, and compatibility with embedded technology. Some preliminary results are presented.
自重构和演化硬件是一种新兴的技术,它使计算系统能够适应不断变化的环境。本文讨论了自主车载系统的设计体系结构,以及可重构硬件结构自适应管理器的实时调度程序的开发。我们的方法采用了具有两个关键层的计算机体系结构:适配管理器和实时配置内核。这在灵活性、可伸缩性、成本和与嵌入式技术的兼容性方面具有显著的优势。给出了一些初步结果。
{"title":"Reconfigurable and Evolvable Architecture for Autonomous on-board systems","authors":"Y. Shiyanovskii, F. Wolff, C. Papachristou, D. McIntyre","doi":"10.1109/NAECON.2008.4806550","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806550","url":null,"abstract":"Self-reconfigurable and evolvable hardware is a new emerging technology which will enable adaptation of computing systems to changing environments. This paper deals with the design architecture of an autonomous on-board system and the development of a real-time scheduler for the adaptation manager of reconfigurable hardware fabric. Our approach employs computer architecture with two key layers: the adaptation manager and the real time configuration kernel. This has significant advantages in terms of flexibility, scalability, cost, and compatibility with embedded technology. Some preliminary results are presented.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117353964","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
Dynamically Reconfigurable Radios from a High-Level Specification 来自高级规格的动态可重构无线电
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806546
S. Craven, P. Athanas
The dynamic reconfigurability of field programmable gate arrays offers great benefits to software defined radio applications. Leveraging these benefits is difficult, owing to a lack of tool support and the detailed architectural knowledge required. To fully exploit the potential of dynamic hardware, a high-level development environment has been created. This development environment has been validated by implementing a reconfigurable AM radio on a software defined radio platform.
现场可编程门阵列的动态可重构性为软件无线电应用提供了巨大的好处。由于缺乏工具支持和所需的详细架构知识,利用这些好处是困难的。为了充分利用动态硬件的潜力,创建了一个高级开发环境。通过在软件定义无线电平台上实现可重构调幅无线电,验证了该开发环境的有效性。
{"title":"Dynamically Reconfigurable Radios from a High-Level Specification","authors":"S. Craven, P. Athanas","doi":"10.1109/NAECON.2008.4806546","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806546","url":null,"abstract":"The dynamic reconfigurability of field programmable gate arrays offers great benefits to software defined radio applications. Leveraging these benefits is difficult, owing to a lack of tool support and the detailed architectural knowledge required. To fully exploit the potential of dynamic hardware, a high-level development environment has been created. This development environment has been validated by implementing a reconfigurable AM radio on a software defined radio platform.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115479675","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
Fault Modeling and Analysis for Bridging Defects in a Synchronizer 同步器桥接缺陷故障建模与分析
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806580
Hyoung-Kook Kim, W. Jone
This paper presents fault modeling and analysis for bridging defects in a synchronizer that is implemented by two D flip-flops. Bridging defects are injected into any two nodes of the syncronizer, and HSPICE is used to perform circuit analysis. The defects are exhaustively injected and simulated to find all possible faults that might occur in the synchronizer. The results obtained can be used to develop methods for testing the interfacing circuits between different clock domains.
本文对由两个二维触发器实现的同步器中的桥接缺陷进行了故障建模和分析。将桥接缺陷注入同步器的任意两个节点,并使用HSPICE进行电路分析。对缺陷进行详尽的注入和模拟,以找出同步器中可能发生的所有可能的故障。所得结果可用于开发测试不同时钟域之间接口电路的方法。
{"title":"Fault Modeling and Analysis for Bridging Defects in a Synchronizer","authors":"Hyoung-Kook Kim, W. Jone","doi":"10.1109/NAECON.2008.4806580","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806580","url":null,"abstract":"This paper presents fault modeling and analysis for bridging defects in a synchronizer that is implemented by two D flip-flops. Bridging defects are injected into any two nodes of the syncronizer, and HSPICE is used to perform circuit analysis. The defects are exhaustively injected and simulated to find all possible faults that might occur in the synchronizer. The results obtained can be used to develop methods for testing the interfacing circuits between different clock domains.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121967952","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
Safety-Centric Design of Distributed Embedded Avionics 以安全为中心的分布式嵌入式航空电子设计
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806561
R. Vemuri, M. Borowczak, A. Avakian
This paper describes a methodology for safety-centric development of distributed embedded avionics realized as sense-actuate-control (SAC) networks. The methodology has consists of two parts. First, formal methods are used in defining and deriving families of SAC node architectures. This methodology eliminates redundant verification and validation (V&V) efforts across members of the same family of architectures. Second, proof-directed run-time error-monitor generation methodology is presented. This methodology links design-time verification with run-time error checking. Robust error monitors can be derived and reused across the members of a family of architectures.
本文描述了一种以安全为中心的分布式嵌入式航空电子设备开发方法,该方法实现为感知驱动控制(SAC)网络。该方法由两部分组成。首先,使用形式化方法定义和推导SAC节点体系结构族。这种方法消除了同一体系结构家族成员之间的冗余验证和确认(V&V)工作。其次,提出了基于证明的运行时错误监视器生成方法。此方法将设计时验证与运行时错误检查联系起来。可以派生出健壮的错误监视器,并在一系列体系结构的成员之间重用。
{"title":"Safety-Centric Design of Distributed Embedded Avionics","authors":"R. Vemuri, M. Borowczak, A. Avakian","doi":"10.1109/NAECON.2008.4806561","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806561","url":null,"abstract":"This paper describes a methodology for safety-centric development of distributed embedded avionics realized as sense-actuate-control (SAC) networks. The methodology has consists of two parts. First, formal methods are used in defining and deriving families of SAC node architectures. This methodology eliminates redundant verification and validation (V&V) efforts across members of the same family of architectures. Second, proof-directed run-time error-monitor generation methodology is presented. This methodology links design-time verification with run-time error checking. Robust error monitors can be derived and reused across the members of a family of architectures.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116454439","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
FPGA Based Sensory/Actuation Embedded System 基于FPGA的传感/驱动嵌入式系统
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806554
M. Jamali, B. Tran
Modern flight control systems process data from various sensors, execute control algorithms, and send data to various output devices and actuators. All control operations must be processed in real-time. Implementation of this system in embedded form would require the use of modern technology such as, DSPs, FPGAs or ASICs.
现代飞行控制系统处理来自各种传感器的数据,执行控制算法,并将数据发送到各种输出设备和执行器。所有控制操作必须实时处理。以嵌入式形式实现该系统需要使用现代技术,如dsp, fpga或asic。
{"title":"FPGA Based Sensory/Actuation Embedded System","authors":"M. Jamali, B. Tran","doi":"10.1109/NAECON.2008.4806554","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806554","url":null,"abstract":"Modern flight control systems process data from various sensors, execute control algorithms, and send data to various output devices and actuators. All control operations must be processed in real-time. Implementation of this system in embedded form would require the use of modern technology such as, DSPs, FPGAs or ASICs.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132065489","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
Sensor Management Fusion Using Operating Conditions 使用工况的传感器管理融合
Pub Date : 2008-07-16 DOI: 10.1109/NAECON.2008.4806559
B. Kahler, Erik Blasch
System control includes sensor management, user refinement, and mission accomplishment (SUM). An example of simultaneous tracking and identification includes (1) mission goals of resource appropriation and goal priorities, (2) user selection of targets and areas of coverage, and (3) fusion of data and sensory information. Many sensor management (SM) approaches are data-driven which includes filtering, aggregation, and normalization; however that does not include intelligent design. A top-down approach would facilitate the use of the right sensor, collecting the needed information, at the correct time. In order to better design SM algorithms, we utilize sensor, target, environmental, and automatic target recognition performance models for automatic target exploitation (ATE) prediction. Similar to pruning nodes in a Bayes net aggregation, a sensor manager can utilize the operating conditions (OCs) {i.e. sensor, target, environment} to condition the cost function, sensor-to-target assignment constraints, and scheduling times. An example is presented of determining task value of electro-optical sensor selection and scheduling based on the range to target, target size, and environmental conditions (e.g. occlusions). The key aspect of the SMOC provides accurate assignment and scheduling based on up-to-date database information, a capabilities matrix, and pragmatic sensor use to improve task satisfaction.
系统控制包括传感器管理、用户细化和任务完成(SUM)。同步跟踪和识别的示例包括(1)资源分配和目标优先级的任务目标,(2)目标和覆盖区域的用户选择,以及(3)数据和感官信息的融合。许多传感器管理(SM)方法是数据驱动的,包括过滤、聚合和规范化;然而,这并不包括智能设计。自上而下的方法将有助于使用正确的传感器,在正确的时间收集所需的信息。为了更好地设计SM算法,我们利用传感器、目标、环境和自动目标识别性能模型进行自动目标开发(ATE)预测。类似于在贝叶斯网络聚合中修剪节点,传感器管理器可以利用操作条件(OCs){即。传感器,目标,环境}条件成本函数,传感器到目标分配约束,和调度时间。给出了一个基于目标距离、目标尺寸和环境条件(如遮挡)确定光电传感器选择和调度任务值的实例。SMOC的关键方面提供了基于最新数据库信息、能力矩阵和实用传感器的精确分配和调度,以提高任务满意度。
{"title":"Sensor Management Fusion Using Operating Conditions","authors":"B. Kahler, Erik Blasch","doi":"10.1109/NAECON.2008.4806559","DOIUrl":"https://doi.org/10.1109/NAECON.2008.4806559","url":null,"abstract":"System control includes sensor management, user refinement, and mission accomplishment (SUM). An example of simultaneous tracking and identification includes (1) mission goals of resource appropriation and goal priorities, (2) user selection of targets and areas of coverage, and (3) fusion of data and sensory information. Many sensor management (SM) approaches are data-driven which includes filtering, aggregation, and normalization; however that does not include intelligent design. A top-down approach would facilitate the use of the right sensor, collecting the needed information, at the correct time. In order to better design SM algorithms, we utilize sensor, target, environmental, and automatic target recognition performance models for automatic target exploitation (ATE) prediction. Similar to pruning nodes in a Bayes net aggregation, a sensor manager can utilize the operating conditions (OCs) {i.e. sensor, target, environment} to condition the cost function, sensor-to-target assignment constraints, and scheduling times. An example is presented of determining task value of electro-optical sensor selection and scheduling based on the range to target, target size, and environmental conditions (e.g. occlusions). The key aspect of the SMOC provides accurate assignment and scheduling based on up-to-date database information, a capabilities matrix, and pragmatic sensor use to improve task satisfaction.","PeriodicalId":254758,"journal":{"name":"2008 IEEE National Aerospace and Electronics Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116269985","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}
引用次数: 76
期刊
2008 IEEE National Aerospace and Electronics 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