The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management （HM/FM） scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets （SPN） to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.展开更多
As the information network plays a more and more important role globally,the traditional network theories and technologies,especially those related to network security,can no longer meet the network development requir...As the information network plays a more and more important role globally,the traditional network theories and technologies,especially those related to network security,can no longer meet the network development requirements.Offering the system with secure and trusted services has become a new focus in network research.This paper first discusses the meaning of and aspects involved in the trusted network.According to this paper,the trusted network should be a network where the network's and users'behaviors and their results are always predicted and manageable.The trustworthiness of a network mainly involves three aspects:service provider,information transmission and terminal user.This paper also analyzes the trusted network in terms of trusted model for network/user behaviors,architecture of trusted network,service survivability and network manageability,which is designed to give ideas on solving the problems that may be faced in developing the trusted network.展开更多
Two-phase closed thermosyphons(TPCTs)are widely used in infrastructure constructions in permafrost regions.Due to different climatic conditions,the effectiveness of TPCT will also be different,especially in the extrem...Two-phase closed thermosyphons(TPCTs)are widely used in infrastructure constructions in permafrost regions.Due to different climatic conditions,the effectiveness of TPCT will also be different,especially in the extremely cold region of the Da Xing'anling Mountains.In this study,a series of three-dimensional finite element TPCT embankment models were established based on the ZhanglingMohe highway TPCT test section in Da Xing'anling Mountains,and the thermal characteristics and the cooling effect of the TPCTs were analyzed.The results indicated that the TPCTs installed in the northeastern high-latitude regions is effective in cooling and stabilizing the embankment.The working cycle of the TPCTs is nearly 7 months,and the cooling range of the TPCTs can reach 3 m in this region.However,due to the extremely low temperature,the TPCT generates a large radial gradient in the permafrost layer.Meanwhile,by changing the climate conditions,the same type of TPCT embankment located in the Da Xing'anling Mountains,the Xiao Xing'anling Mountains,and the Qinghai-Tibet Plateau permafrost regions were simulated.Based on the comparison of the climate differences between the Qinghai-Tibet Plateau and Northeast China,the differences in the effectiveness of TPCTs were studied.Finally,the limitations of using existing TPCTs in high-latitude permafrost regions of China were discussed and the potential improvements of the TPCT in cold regions were presented.展开更多
基金supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504)the Tsinghua University Initiative Scientific Research Programthe National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
文摘The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management （HM/FM） scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets （SPN） to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.
基金the National NaturalScience Foundation of China under Grant90412012 and 60673187
文摘As the information network plays a more and more important role globally,the traditional network theories and technologies,especially those related to network security,can no longer meet the network development requirements.Offering the system with secure and trusted services has become a new focus in network research.This paper first discusses the meaning of and aspects involved in the trusted network.According to this paper,the trusted network should be a network where the network's and users'behaviors and their results are always predicted and manageable.The trustworthiness of a network mainly involves three aspects:service provider,information transmission and terminal user.This paper also analyzes the trusted network in terms of trusted model for network/user behaviors,architecture of trusted network,service survivability and network manageability,which is designed to give ideas on solving the problems that may be faced in developing the trusted network.
基金the National Natural Science Foundation of China(No.41971076No.42171128)the Heilongjiang Provincial Department of Science and Technology(GA21A501)。
文摘Two-phase closed thermosyphons(TPCTs)are widely used in infrastructure constructions in permafrost regions.Due to different climatic conditions,the effectiveness of TPCT will also be different,especially in the extremely cold region of the Da Xing'anling Mountains.In this study,a series of three-dimensional finite element TPCT embankment models were established based on the ZhanglingMohe highway TPCT test section in Da Xing'anling Mountains,and the thermal characteristics and the cooling effect of the TPCTs were analyzed.The results indicated that the TPCTs installed in the northeastern high-latitude regions is effective in cooling and stabilizing the embankment.The working cycle of the TPCTs is nearly 7 months,and the cooling range of the TPCTs can reach 3 m in this region.However,due to the extremely low temperature,the TPCT generates a large radial gradient in the permafrost layer.Meanwhile,by changing the climate conditions,the same type of TPCT embankment located in the Da Xing'anling Mountains,the Xiao Xing'anling Mountains,and the Qinghai-Tibet Plateau permafrost regions were simulated.Based on the comparison of the climate differences between the Qinghai-Tibet Plateau and Northeast China,the differences in the effectiveness of TPCTs were studied.Finally,the limitations of using existing TPCTs in high-latitude permafrost regions of China were discussed and the potential improvements of the TPCT in cold regions were presented.
