On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy par...On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset(SEU)is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy(TMR) is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis(HLS) is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26%compared to TMR,while fault missing rate is 0.15%.展开更多
This paper presents the initial steps to integrating a distributed discrete event simulation system with a framework for intelligent software agents. The resulting system has a simulation component that is based on th...This paper presents the initial steps to integrating a distributed discrete event simulation system with a framework for intelligent software agents. The resulting system has a simulation component that is based on the high-level architecture (HLA) and an agent component that implements the belief-desire-intention (BDI) approach to agent modelling. The architecture is connected to a real-time information source. The framework was successfully applied to a real-life monitoring system for a tunnel-boring machine excavation project that helped with forecasting and managing the project timelines in response to the changes in the uncertain excavation environment. This project is presented as a test case and demonstrates encouraging results for integrative modelling of large-scale problems with elements of uncertainty.展开更多
基金Supported by the National S&T Major Project(No.2011ZX03003-003-01,2011ZX03004-004)the National Basic Research Program of China(No.2012CB316002)
文摘On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset(SEU)is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy(TMR) is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis(HLS) is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26%compared to TMR,while fault missing rate is 0.15%.
文摘This paper presents the initial steps to integrating a distributed discrete event simulation system with a framework for intelligent software agents. The resulting system has a simulation component that is based on the high-level architecture (HLA) and an agent component that implements the belief-desire-intention (BDI) approach to agent modelling. The architecture is connected to a real-time information source. The framework was successfully applied to a real-life monitoring system for a tunnel-boring machine excavation project that helped with forecasting and managing the project timelines in response to the changes in the uncertain excavation environment. This project is presented as a test case and demonstrates encouraging results for integrative modelling of large-scale problems with elements of uncertainty.
