The Xiadian Fault is a very important concealed active fault in the Beijing Plain. It is the seismogenic fault of the Sanhe-Pinggu MS8. 0 earthquake in 1679. The ancient earthquake sequence in the long historical peri...The Xiadian Fault is a very important concealed active fault in the Beijing Plain. It is the seismogenic fault of the Sanhe-Pinggu MS8. 0 earthquake in 1679. The ancient earthquake sequence in the long historical period is of great significance to understand accurately the activity characteristics of the fault and effectively reduce the earthquake disaster risk in Beijing. We have re-interpreted the Dahuzhuang trench,and identified three layers of buried paleosol,six collapsed wedges and one sand liquefaction event. Further,through the comparison with the landmark strata and paleo-earthquake events revealed by other trenches on the fault,an ancient earthquake sequence with a long historical period of the Xiadian Fault was established:since the 31 ka,the Xiadian Fault has 11 occurrences of earthquake events(including the 1679 earthquake),and the average recurrence interval is about 2. 8 ka. The paleo-seismic sequence also shows that there is an ancient earthquake cluster period from 25 ka to 15 ka,and there are 5 strong earthquakes in the cluster period.The average recurrence interval is about 2. 0 ka,which reflects the phase difference of the Xiadian Fault activity.展开更多
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs...Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs as permanent faults （PFs）, which are the major cause of the problems of false alarms, cannot duplication and no fault found in aircraft avionics. To address this problem, a new fault model which includes PFs and IFs is presented based on discrete event systems （DESs）. Thereafter, an approach is given to discriminate between PFs and IFs by diagnosing the current fault. In this paper, the regulations of （PFs and IFs） fault evolution through fault and reset events along the traces of system are studied, and then label propagation function is modified to account for PFs and the dynamic behavior of IFs and diagnosability of PFs and IFs are defined. Finally, illustrative examples are presented to demonstrate the proposed approach, and the analysis results show the fault types can be discriminated within bounded delay if the system is diagnosable.展开更多
Dextral-slip thrust movement of the Songpan-Garze terrain over the Sichuan block caused the Ms 8.0 Wenchuan earthquake of May 12, 2008 and offset the Central Longmenshan Fault （CLF） along a distance of -250 km. Disp...Dextral-slip thrust movement of the Songpan-Garze terrain over the Sichuan block caused the Ms 8.0 Wenchuan earthquake of May 12, 2008 and offset the Central Longmenshan Fault （CLF） along a distance of -250 km. Displacement along the CLF changes from Yingxiu to Qingchuan. The total oblique slip of up to 7.6 m in Yingxiu near the epicenter of the earthquake, decreases northeastward to 5.3 m, 6.6 m, 4.4 m, 2.5 m and 1.1 m in Hongkou, Beichuan, Pingtong, Nanba and Qingchuan, respectively. This offset apparently occurred during a sequence of four reported seismic events, EQ1-EQ4, which were identified by seismic inversion of the source mechanism. These events occurred in rapid succession as the fault break propagated northeastward during the earthquake. Variations in the plunge of slickensides along the CLF appear to match these events. The Mw 7.5 EQ1 event occurred during the first 0-10 s along the Yingxiu-Hongkou section of the CLF and is characterized by 1.7 m vertical slip and vertical slickensides. The Mw 8.0 EQ2 event, which occurred during the next 10-42 s along the Yingxiu-Yanziyan section of the CLF, is marked by major dextralslip with minor thrust and slickensides plunging 25°-35° southwestward. The Mw 7.5 EQ3 event occurred during the following 42-60 s and resulted in dextral-slip and slickensides plunging 10° southwestward in Beichuan and plunging 73° southwestward in Hongkou. The Mw 7.7 EQ4 event, which occurred during the final 60-95 s along the Beichuan-Qingchuan section of the CLF, is characterized by nearly equal values of dextral and vertical slips with slickensides plunging 45°-50° southwestward. These seismic events match and evidently controlled the concentrations of landslide dams caused by the Wenchuan earthquake in Longmenshan Mountains.展开更多
Event correlation is one key technique in network fault management. For the event sample acquisition problem in event correlation, a novel approach is proposed to collect the samples by constructing network simulation...Event correlation is one key technique in network fault management. For the event sample acquisition problem in event correlation, a novel approach is proposed to collect the samples by constructing network simulation platform. The platform designed can set kinds of network faults according to user's demand and generate a lot of network fault events, which will benefit the research on efficient event correlation techniques.展开更多
A co-design scheme of event-triggered sampling mechanism and active fault tolerant control(FTC) is developed. Firstly,a fault diagnosis observer is designed to estimate both the fault and the state simultaneously by u...A co-design scheme of event-triggered sampling mechanism and active fault tolerant control(FTC) is developed. Firstly,a fault diagnosis observer is designed to estimate both the fault and the state simultaneously by using the event-triggered sampled output. Some H∞constraints between the estimation errors and the event-triggered sampling mechanism are established to ensure the estimation accuracy. Then, based on the constraints and the obtained fault information, an event-triggered detector and a static fault tolerant controller are co-designed to guarantee the stability of the faulty system and to reduce the sensor communication cost.Furthermore, the problem of the event detector and dynamic FTC co-design is also investigated. Simulation results of an unstable batch reactor are finally provided to illustrate the effectiveness of the proposed method.展开更多
Event region detection is the important application for wireless sensor networks（WSNs）, where the existing faulty sensors would lead to drastic deterioration of network quality of service.Considering single-moment n...Event region detection is the important application for wireless sensor networks（WSNs）, where the existing faulty sensors would lead to drastic deterioration of network quality of service.Considering single-moment nodes fault-tolerance, a novel distributed fault-tolerant detection algorithm named distributed fault-tolerance based on weighted distance（DFWD） is proposed, which exploits the spatial correlation among sensor nodes and their redundant information.In sensor networks, neighborhood sensor nodes will be endowed with different relative weights respectively according to the distances between them and the central node.Having syncretized the weighted information of dual-neighborhood nodes appropriately, it is reasonable to decide the ultimate status of the central sensor node.Simultaneously, readings of faulty sensors would be corrected during this process.Simulation results demonstrate that the DFWD has a higher fault detection accuracy compared with other algorithms, and when the sensor fault probability is 10%, the DFWD can still correct more than 91% faulty sensor nodes, which significantly improves the performance of the whole sensor network.展开更多
Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES)...Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.展开更多
基金sponsored by the TeachingReform Project in Hebei Province(2017GJJG257)the National Natural Science Foundation of China(41372216)Top-quality Course Project of College of Disaster Prevention Science and Technology(JPJS2018006)
文摘The Xiadian Fault is a very important concealed active fault in the Beijing Plain. It is the seismogenic fault of the Sanhe-Pinggu MS8. 0 earthquake in 1679. The ancient earthquake sequence in the long historical period is of great significance to understand accurately the activity characteristics of the fault and effectively reduce the earthquake disaster risk in Beijing. We have re-interpreted the Dahuzhuang trench,and identified three layers of buried paleosol,six collapsed wedges and one sand liquefaction event. Further,through the comparison with the landmark strata and paleo-earthquake events revealed by other trenches on the fault,an ancient earthquake sequence with a long historical period of the Xiadian Fault was established:since the 31 ka,the Xiadian Fault has 11 occurrences of earthquake events(including the 1679 earthquake),and the average recurrence interval is about 2. 8 ka. The paleo-seismic sequence also shows that there is an ancient earthquake cluster period from 25 ka to 15 ka,and there are 5 strong earthquakes in the cluster period.The average recurrence interval is about 2. 0 ka,which reflects the phase difference of the Xiadian Fault activity.
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
基金co-supported by National Natural Science Foundation of China (No. 51175502)National Defence Pre-research Foundation of China (No. 9140A17060411KG01)
文摘Almost all work on model-based diagnosis （MBD） potentially presumes faults are per- sistent and does not take intermittent faults （IFs） into account. Therefore, it is common for diag- nosis systems to misjudge IFs as permanent faults （PFs）, which are the major cause of the problems of false alarms, cannot duplication and no fault found in aircraft avionics. To address this problem, a new fault model which includes PFs and IFs is presented based on discrete event systems （DESs）. Thereafter, an approach is given to discriminate between PFs and IFs by diagnosing the current fault. In this paper, the regulations of （PFs and IFs） fault evolution through fault and reset events along the traces of system are studied, and then label propagation function is modified to account for PFs and the dynamic behavior of IFs and diagnosability of PFs and IFs are defined. Finally, illustrative examples are presented to demonstrate the proposed approach, and the analysis results show the fault types can be discriminated within bounded delay if the system is diagnosable.
基金supported by Sino-Probe project and Ministry of Science and Technology of China undergrant 2006DFB21330
文摘Dextral-slip thrust movement of the Songpan-Garze terrain over the Sichuan block caused the Ms 8.0 Wenchuan earthquake of May 12, 2008 and offset the Central Longmenshan Fault （CLF） along a distance of -250 km. Displacement along the CLF changes from Yingxiu to Qingchuan. The total oblique slip of up to 7.6 m in Yingxiu near the epicenter of the earthquake, decreases northeastward to 5.3 m, 6.6 m, 4.4 m, 2.5 m and 1.1 m in Hongkou, Beichuan, Pingtong, Nanba and Qingchuan, respectively. This offset apparently occurred during a sequence of four reported seismic events, EQ1-EQ4, which were identified by seismic inversion of the source mechanism. These events occurred in rapid succession as the fault break propagated northeastward during the earthquake. Variations in the plunge of slickensides along the CLF appear to match these events. The Mw 7.5 EQ1 event occurred during the first 0-10 s along the Yingxiu-Hongkou section of the CLF and is characterized by 1.7 m vertical slip and vertical slickensides. The Mw 8.0 EQ2 event, which occurred during the next 10-42 s along the Yingxiu-Yanziyan section of the CLF, is marked by major dextralslip with minor thrust and slickensides plunging 25°-35° southwestward. The Mw 7.5 EQ3 event occurred during the following 42-60 s and resulted in dextral-slip and slickensides plunging 10° southwestward in Beichuan and plunging 73° southwestward in Hongkou. The Mw 7.7 EQ4 event, which occurred during the final 60-95 s along the Beichuan-Qingchuan section of the CLF, is characterized by nearly equal values of dextral and vertical slips with slickensides plunging 45°-50° southwestward. These seismic events match and evidently controlled the concentrations of landslide dams caused by the Wenchuan earthquake in Longmenshan Mountains.
基金the National Natural Science Foundation of China(69983 0 0 5 )
文摘Event correlation is one key technique in network fault management. For the event sample acquisition problem in event correlation, a novel approach is proposed to collect the samples by constructing network simulation platform. The platform designed can set kinds of network faults according to user's demand and generate a lot of network fault events, which will benefit the research on efficient event correlation techniques.
基金supported by the National Natural Science Foundation of China(6147315961374136+1 种基金61104028)the Research Innovation Program of Nantong University(YKC16004)
文摘A co-design scheme of event-triggered sampling mechanism and active fault tolerant control(FTC) is developed. Firstly,a fault diagnosis observer is designed to estimate both the fault and the state simultaneously by using the event-triggered sampled output. Some H∞constraints between the estimation errors and the event-triggered sampling mechanism are established to ensure the estimation accuracy. Then, based on the constraints and the obtained fault information, an event-triggered detector and a static fault tolerant controller are co-designed to guarantee the stability of the faulty system and to reduce the sensor communication cost.Furthermore, the problem of the event detector and dynamic FTC co-design is also investigated. Simulation results of an unstable batch reactor are finally provided to illustrate the effectiveness of the proposed method.
基金supported by the National Science Foundation for Outstanding Young Scientists (60425310)the Science Foundation for Post-doctoral Scientists of Central South University (2008)
文摘Event region detection is the important application for wireless sensor networks（WSNs）, where the existing faulty sensors would lead to drastic deterioration of network quality of service.Considering single-moment nodes fault-tolerance, a novel distributed fault-tolerant detection algorithm named distributed fault-tolerance based on weighted distance（DFWD） is proposed, which exploits the spatial correlation among sensor nodes and their redundant information.In sensor networks, neighborhood sensor nodes will be endowed with different relative weights respectively according to the distances between them and the central node.Having syncretized the weighted information of dual-neighborhood nodes appropriately, it is reasonable to decide the ultimate status of the central sensor node.Simultaneously, readings of faulty sensors would be corrected during this process.Simulation results demonstrate that the DFWD has a higher fault detection accuracy compared with other algorithms, and when the sensor fault probability is 10%, the DFWD can still correct more than 91% faulty sensor nodes, which significantly improves the performance of the whole sensor network.
基金supported by TATA Consultancy Services(TCS),India through TCS Research Fellowship Program
文摘Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.
