We consider an extension to Sequential Probability Ratio Tests for when we have uncertain costs, but also opportunity to learn about these in an adaptive manner. In doing so we demonstrate the effects that allowing un...We consider an extension to Sequential Probability Ratio Tests for when we have uncertain costs, but also opportunity to learn about these in an adaptive manner. In doing so we demonstrate the effects that allowing uncertainty has on observation cost, and the costs associated with Type I and Type II error. The value of information relating to modelled uncertainties is derived and the case of statistical dependence between the parameter affecting decision outcome and the parameter affecting unknown cost is also examined. Numerical examples of the derived theory are provided, along with a simulation comparing this adaptive learning framework to the classical one.展开更多
To date, Wald sequential probability ratio test(WSPRT) has been widely applied to track management of multiple hypothesis tracking(MHT). But in a real situation, if the false alarm spatial density is much larger than ...To date, Wald sequential probability ratio test(WSPRT) has been widely applied to track management of multiple hypothesis tracking(MHT). But in a real situation, if the false alarm spatial density is much larger than the new target spatial density, the original track score will be very close to the deletion threshold of the WSPRT. Consequently, all tracks, including target tracks, may easily be deleted, which means that the tracking performance is sensitive to the tracking environment. Meanwhile, if a target exists for a long time, its track will have a high score, which will make the track survive for a long time even after the target has disappeared. In this paper, to consider the relationship between the hypotheses of the test, we adopt the Shiryayev SPRT(SSPRT) for track management in MHT. By introducing a hypothesis transition probability, the original track score can increase faster, which solves the first problem. In addition, by setting an independent SSPRT for track deletion, the track score can decrease faster, which solves the second problem. The simulation results show that the proposed SSPRT-based MHT can achieve better tracking performance than MHT based on the WSPRT under a high false alarm spatial density.展开更多
The aircraft braking system is critical to ensure the safe take-off and landing of the aircraft.However,the braking system is often exposed to high temperatures and strong vibration working environments,which makes th...The aircraft braking system is critical to ensure the safe take-off and landing of the aircraft.However,the braking system is often exposed to high temperatures and strong vibration working environments,which makes the sensor prone to failure.Sensor failure has the potential to compromise aircraft safety.In order to improve the safety of the aircraft braking system,a fault detection and fault-tolerant control(FDFTC)strategy for the aircraft brake pressure sensor is designed.Firstly,a model based on a bidirectional long short-term memory(Bi-LSTM)network is constructed to estimate the brake pressure.Then,the residual sequence is obtained by comparing the measured pressure with the estimated pressure.On this basis,the improved sequential probability ratio test(SPRT)method based on mathematical statistics is applied to analyze the residual sequence to detect the fault.Finally,simulation and hardware-in-the-loop(HIL)testing results indicate that the proposed FDFTC strategy can detect sensor faults in time and efficiently complete braking when faults occur.Hence,the proposed FDFTC strategy can effectively deal with the faults of the aircraft brake pressure sensor,which is of great significance to improve the reliability and safety of the aircraft.展开更多
Analytic redundancy-based fault diagnosis technique （ARFDT） is applied to onboard maintenance system （OMS）. The principle of the proposed ARFDT scheme is to design a redundancy configuration using ARFDT to enhance...Analytic redundancy-based fault diagnosis technique （ARFDT） is applied to onboard maintenance system （OMS）. The principle of the proposed ARFDT scheme is to design a redundancy configuration using ARFDT to enhance the functions of redundancy management and built in test equipment （BITE） monitor. Redundancy configuration for dual-redundancy and analytic redundancy is proposed, in which, the fault diagnosis includes detection and isolation. In order to keep the balance between rapid diagnosis and binary hypothesis, a filter together with an elapsed time limit is designed for sequential probability ratio test （SPRT） in the process of isolation. Diagnosis results would be submitted to central maintenance computer （CMC） together with BITE information. Moreover, by adopting reconstruction, the designed method not only provides analytic redundancy to help redundancy management, but also compensates the output when both of the sensors of the same type are faulty. Our scheme is applied to an aircraft’s sensors in a simulation experiment, and the results show that the proposed filter SPRT （FSPRT） saves at least 50% of isolation time than Wald SPRT （WSPRT）. Also, effectiveness, practicability and rapidity of the proposed scheme can be successfully achieved in OMS.展开更多
Cube attacks, proposed by Dinur and Shamir at EUROCRYPT 2009, have shown huge power against stream ciphers. In the original cube attacks, a linear system of secret key bits is exploited for key recovery attacks. Howev...Cube attacks, proposed by Dinur and Shamir at EUROCRYPT 2009, have shown huge power against stream ciphers. In the original cube attacks, a linear system of secret key bits is exploited for key recovery attacks. However, we find a number of equations claimed linear in previous literature actually nonlinear and not fit into the theoretical framework of cube attacks. Moreover, cube attacks are hard to apply if linear equations are rare. Therefore, it is of significance to make use of probabilistic linear equations, namely nonlinear superpolys that can be approximated by linear expressions effectively. In this paper, we suggest a way to test out and utilize these probabilistic linear equations, thus extending cube attacks to a wider scope. Concretely, we employ the standard parameter estimation approach and the sequential probability ratio test （SPRT） for linearity test in the preprocessing phase, and use maximum likelihood decoding （MLD） for solving the probabilistic linear equations in the online phase. As an application, we exhibit our new attack against 672 rounds of Trivium and reduce the number of key bits to search by 7.展开更多
文摘We consider an extension to Sequential Probability Ratio Tests for when we have uncertain costs, but also opportunity to learn about these in an adaptive manner. In doing so we demonstrate the effects that allowing uncertainty has on observation cost, and the costs associated with Type I and Type II error. The value of information relating to modelled uncertainties is derived and the case of statistical dependence between the parameter affecting decision outcome and the parameter affecting unknown cost is also examined. Numerical examples of the derived theory are provided, along with a simulation comparing this adaptive learning framework to the classical one.
基金supported by National Natural Science Foundation of China (Grant Nos. 61471019, 61501011)
文摘To date, Wald sequential probability ratio test(WSPRT) has been widely applied to track management of multiple hypothesis tracking(MHT). But in a real situation, if the false alarm spatial density is much larger than the new target spatial density, the original track score will be very close to the deletion threshold of the WSPRT. Consequently, all tracks, including target tracks, may easily be deleted, which means that the tracking performance is sensitive to the tracking environment. Meanwhile, if a target exists for a long time, its track will have a high score, which will make the track survive for a long time even after the target has disappeared. In this paper, to consider the relationship between the hypotheses of the test, we adopt the Shiryayev SPRT(SSPRT) for track management in MHT. By introducing a hypothesis transition probability, the original track score can increase faster, which solves the first problem. In addition, by setting an independent SSPRT for track deletion, the track score can decrease faster, which solves the second problem. The simulation results show that the proposed SSPRT-based MHT can achieve better tracking performance than MHT based on the WSPRT under a high false alarm spatial density.
基金Supported by National Natural Science Foundation of China(Grant No.52205045)National Key Research and Development Program of China(Grant No.2021YFB2011300)+2 种基金Aeronautical Science Foundation of China(Grant No.2022Z029051001)Zhejiang Provincial Natural Science Foundation of China(Grant No.LZ24E050006)Research Fund of State Key Laboratory of Mechanics and Control for Aerospace Structures(Nanjing University of Aeronautics and Astronautics)(Grant No.MCAS-E-0224G01).
文摘The aircraft braking system is critical to ensure the safe take-off and landing of the aircraft.However,the braking system is often exposed to high temperatures and strong vibration working environments,which makes the sensor prone to failure.Sensor failure has the potential to compromise aircraft safety.In order to improve the safety of the aircraft braking system,a fault detection and fault-tolerant control(FDFTC)strategy for the aircraft brake pressure sensor is designed.Firstly,a model based on a bidirectional long short-term memory(Bi-LSTM)network is constructed to estimate the brake pressure.Then,the residual sequence is obtained by comparing the measured pressure with the estimated pressure.On this basis,the improved sequential probability ratio test(SPRT)method based on mathematical statistics is applied to analyze the residual sequence to detect the fault.Finally,simulation and hardware-in-the-loop(HIL)testing results indicate that the proposed FDFTC strategy can detect sensor faults in time and efficiently complete braking when faults occur.Hence,the proposed FDFTC strategy can effectively deal with the faults of the aircraft brake pressure sensor,which is of great significance to improve the reliability and safety of the aircraft.
基金Aeronautical Science Foundation of China (20100753009)
文摘Analytic redundancy-based fault diagnosis technique （ARFDT） is applied to onboard maintenance system （OMS）. The principle of the proposed ARFDT scheme is to design a redundancy configuration using ARFDT to enhance the functions of redundancy management and built in test equipment （BITE） monitor. Redundancy configuration for dual-redundancy and analytic redundancy is proposed, in which, the fault diagnosis includes detection and isolation. In order to keep the balance between rapid diagnosis and binary hypothesis, a filter together with an elapsed time limit is designed for sequential probability ratio test （SPRT） in the process of isolation. Diagnosis results would be submitted to central maintenance computer （CMC） together with BITE information. Moreover, by adopting reconstruction, the designed method not only provides analytic redundancy to help redundancy management, but also compensates the output when both of the sensors of the same type are faulty. Our scheme is applied to an aircraft’s sensors in a simulation experiment, and the results show that the proposed filter SPRT （FSPRT） saves at least 50% of isolation time than Wald SPRT （WSPRT）. Also, effectiveness, practicability and rapidity of the proposed scheme can be successfully achieved in OMS.
文摘Cube attacks, proposed by Dinur and Shamir at EUROCRYPT 2009, have shown huge power against stream ciphers. In the original cube attacks, a linear system of secret key bits is exploited for key recovery attacks. However, we find a number of equations claimed linear in previous literature actually nonlinear and not fit into the theoretical framework of cube attacks. Moreover, cube attacks are hard to apply if linear equations are rare. Therefore, it is of significance to make use of probabilistic linear equations, namely nonlinear superpolys that can be approximated by linear expressions effectively. In this paper, we suggest a way to test out and utilize these probabilistic linear equations, thus extending cube attacks to a wider scope. Concretely, we employ the standard parameter estimation approach and the sequential probability ratio test （SPRT） for linearity test in the preprocessing phase, and use maximum likelihood decoding （MLD） for solving the probabilistic linear equations in the online phase. As an application, we exhibit our new attack against 672 rounds of Trivium and reduce the number of key bits to search by 7.
