The expansion of a thick-walled hollow cylinder in soil is of non-self-similar nature that the stress/deformation paths are not the same for different soil material points.As a result,this problem cannot be solved by ...The expansion of a thick-walled hollow cylinder in soil is of non-self-similar nature that the stress/deformation paths are not the same for different soil material points.As a result,this problem cannot be solved by the common self-similar-based similarity techniques.This paper proposes a novel,exact solution for rigorous drained expansion analysis of a hollow cylinder of critical state soils.Considering stress-dependent elastic moduli of soils,new analytical stress and displacement solutions for the nonself-similar problem are developed taking the small strain assumption in the elastic zone.In the plastic zone,the cavity expansion response is formulated into a set of first-order partial differential equations(PDEs)with the combination use of Eulerian and Lagrangian descriptions,and a novel solution algorithm is developed to efficiently solve this complex boundary value problem.The solution is presented in a general form and thus can be useful for a wide range of soils.With the new solution,the non-self-similar nature induced by the finite outer boundary is clearly demonstrated and highlighted,which is found to be greatly different to the behaviour of cavity expansion in infinite soil mass.The present solution may serve as a benchmark for verifying the performance of advanced numerical techniques with critical state soil models and be used to capture the finite boundary effect for pressuremeter tests in small-sized calibration chambers.展开更多
Phase-matching quantum key distribution is a promising scheme for remote quantum key distribution,breaking through the traditional linear key-rate bound.In practical applications,finite data size can cause significant...Phase-matching quantum key distribution is a promising scheme for remote quantum key distribution,breaking through the traditional linear key-rate bound.In practical applications,finite data size can cause significant system performance to deteriorate when data size is below 1010.In this work,an improved statistical fluctuation analysis method is applied for the first time to two decoy-states phase-matching quantum key distribution,offering a new insight and potential solutions for improving the key generation rate and the maximum transmission distance while maintaining security.Moreover,we also compare the influence of the proposed improved statistical fluctuation analysis method on system performance with those of the Gaussian approximation and Chernoff-Hoeffding boundary methods on system performance.The simulation results show that the proposed scheme significantly improves the key generation rate and maximum transmission distance in comparison with the Chernoff-Hoeffding approach,and approach the results obtained when the Gaussian approximation is employed.At the same time,the proposed scheme retains the same security level as the Chernoff-Hoeffding method,and is even more secure than the Gaussian approximation.展开更多
We present an efficient scheme for the complete analysis of hyperentangled Greenberger–Horne–Zeilinger(GHZ)state in polarization and time-bin degrees of freedom with two steps. Firstly, the polarization GHZ state is...We present an efficient scheme for the complete analysis of hyperentangled Greenberger–Horne–Zeilinger(GHZ)state in polarization and time-bin degrees of freedom with two steps. Firstly, the polarization GHZ state is distinguished completely and nondestructively, resorting to the controlled phase flip(CPF) gate constructed by the cavity-assisted interaction. Subsequently, the time-bin GHZ state is analyzed by using the preserved polarization entanglement. With the help of CPF gate and self-assisted mechanism, our scheme can be directly generalized to the complete N-photon hyperentangled GHZ state analysis, and it may have potential applications in the hyperentanglement-based quantum communication.展开更多
We propose a scheme capable of performing complete Bell-state analysis for a single-photon hybrid entangled state.Our single-photon state is encoded in both polarization and frequency degrees of freedom.The setup of t...We propose a scheme capable of performing complete Bell-state analysis for a single-photon hybrid entangled state.Our single-photon state is encoded in both polarization and frequency degrees of freedom.The setup of the scheme is composed of polarizing beam splitters,half wave plates,frequency shifters,and independent wavelength division multiplexers,which are feasible using current technology.We also show that with this setup we can perform complete two-photon Bell-state analysis schemes for polarization degrees of freedom.Moreover,it can also be used to perform the teleportation scheme between different degrees of freedom.This setup may allow extensive applications in current quantum communications.展开更多
In the ultrasonic nondestructive evaluation of the quality of solid state welded joints, such as friction bonding and diffusion bonding, the main difficulty is the identification of micro defects which are most likel...In the ultrasonic nondestructive evaluation of the quality of solid state welded joints, such as friction bonding and diffusion bonding, the main difficulty is the identification of micro defects which are most likely to emerge in the welding process. The ultrasonic echo on the screen of a commercial ultrasonic detector due to a micro defect is so weak that it is completely masked by noise, and impossible to be pointed out. In the present paper, wavelet analysis (WA) is utilized to process A scan ultrasonic signals from weak bonding defects in friction bonding joints and porosity in diffusion bonding joints. First, perception of WA for engineers is given, which demonstrates the physical mechanism of WA when applied to signal processing. From this point of view, WA can be understood easily and more thoroughly. Then the signals from welding joints are decomposed into a time scale plane by means of WA. We notice that noise and the signal echo attributed to the micro defect occupy different scales, which make it possible to enhance the signal to noise ratio of the signals by proper selection and threshold processing of the time scale components of the signals, followed by reconstruction of the processed components.展开更多
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.展开更多
Thermal runaway(TR)is a critical issue hindering the large-scale application of lithium-ion batteries(LIBs).Understanding the thermal safety behavior of LIBs at the cell and module level under different state of charg...Thermal runaway(TR)is a critical issue hindering the large-scale application of lithium-ion batteries(LIBs).Understanding the thermal safety behavior of LIBs at the cell and module level under different state of charges(SOCs)has significant implications for reinforcing the thermal safety design of the lithium-ion battery module.This study first investigates the thermal safety boundary(TSB)correspondence at the cells and modules level under the guidance of a newly proposed concept,safe electric quantity boundary(SEQB).A reasonable thermal runaway propagation(TRP)judgment indicator,peak heat transfer power(PHTP),is proposed to predict whether TRP occurs.Moreover,a validated 3D model is used to quantitatively clarify the TSB at different SOCs from the perspective of PHTP,TR trigger temperature,SOC,and the full cycle life.Besides,three different TRP transfer modes are discovered.The interconversion relationship of three different TRP modes is investigated from the perspective of PHTP.This paper explores the TSB of LIBs under different SOCs at both cell and module levels for the first time,which has great significance in guiding the thermal safety design of battery systems.展开更多
An efficient observability analysis method is proposed to enable online detection of performance degradation of an optimization-based sliding window visual-inertial state estimation framework.The proposed methodology ...An efficient observability analysis method is proposed to enable online detection of performance degradation of an optimization-based sliding window visual-inertial state estimation framework.The proposed methodology leverages numerical techniques in nonlinear observability analysis to enable online evaluation of the system observability and indication of the state estimation performance.Specifically,an empirical observability Gramian based approach is introduced to efficiently measure the observability condition of the windowed nonlinear system,and a scalar index is proposed to quantify the average system observability.The proposed approach is specialized to a challenging optimizationbased sliding window monocular visual-inertial state estimation formulation and evaluated through simulation and experiments to assess the efficacy of the methodology.The analysis result shows that the proposed approach can correctly indicate degradation of the state estimation accuracy with real-time performance.展开更多
For the system with the fuzzy failure state, the effects of the input random variables and the fuzzy failure state on the fuzzy probability of failure for the structural system are studied, and the moment-independence...For the system with the fuzzy failure state, the effects of the input random variables and the fuzzy failure state on the fuzzy probability of failure for the structural system are studied, and the moment-independence global sensitivity analysis(GSA) model is proposed to quantitatively measure these effects. According to the fuzzy random theory, the fuzzy failure state is transformed into an equivalent new random variable for the system, and the complementary function of the membership function of the fuzzy failure state is defined as the cumulative distribution function(CDF) of the new random variable. After introducing the new random variable, the equivalent performance function of the original problem is built. The difference between the unconditional fuzzy probability of failure and conditional fuzzy probability of failure is defined as the moment-independent GSA index. In order to solve the proposed GSA index efficiently, the Kriging-based algorithm is developed to estimate the defined moment-independence GSA index. Two engineering examples are employed to verify the feasibility and rationality of the presented GSA model, and the advantages of the developed Kriging method are also illustrated.展开更多
We present a deterministic nondestructive hyperentangled Bell state analysis protocol for photons entangled in three degrees of freedom(DOFs),including polarization,spatial-mode,and time-bin DOFs.The polarization Bell...We present a deterministic nondestructive hyperentangled Bell state analysis protocol for photons entangled in three degrees of freedom(DOFs),including polarization,spatial-mode,and time-bin DOFs.The polarization Bell state analyzer and spatial-mode Bell state analyzer are constructed by polarization parity-check quantum nondemolition detector(P-QND)and spatial-mode parity-check quantum nondemolition detector(S-QND)using cross-Kerr nonlinearity,respectively.The time-bin Bell state analyzer is constructed by the swap gate for polarization state and time-bin state of a photon(P-T swap gate)and P-QND.The Bell states analyzer for one DOF will not destruct the Bell states of other two DOFs,so the polarization-spatial-time-bin hyperentangled Bell states can be determinately distinguished without destruction.This deterministic nondestructive state analysis method has useful applications in quantum information protocols.展开更多
Based on daily observation data of the Three Gorges Region(TGR)of the Yangtze River basin and global reanalysis data,the climate characteristics,climate events,and meteorological disasters of the TGR in 2022 and 2023 ...Based on daily observation data of the Three Gorges Region(TGR)of the Yangtze River basin and global reanalysis data,the climate characteristics,climate events,and meteorological disasters of the TGR in 2022 and 2023 were analyzed.For the TGR,the average annual temperature for 2022 and 2023 was 0.8℃ and 0.4℃ higher than normal,respectively,making them the two warmest years in the past decade.In 2022,the TGR experienced its warmest summer on record.The average air temperature was 2.4℃ higher than the average,and there were 24.8 days of above-average high temperature days during summer.Rainfall in the TGR varied significantly between 2022 and 2023.Annual rainfall was 18.4%below normal and drier than normal in most parts of the region.In contrast,the precipitation in 2023 was considerably higher than the long-term average,and above normal for almost the entire year.The average wind speed exhibited minimal variation between the two years.However,the number of foggy days and relative humidity increased in 2023 compared to 2022.In 2022–2023,the TGR mainly experienced meteorological disasters such as extreme high temperatures,regional heavy rain and flooding,overcast rain,and inverted spring chill.Analysis indicates that the abnormal western Pacific subtropical high and the abnormal persistence of the eastward-shifted South Asian high were the two important drivers of the durative enhancement of record-breaking high temperature in the summer of 2022.展开更多
This paper proceeds from the general case of the unsymmetric linearized multi-degrees of free- dom(MDOF)systems.By adopting the general complex modal theory of the state space,the response analysis for a sys- tem subj...This paper proceeds from the general case of the unsymmetric linearized multi-degrees of free- dom(MDOF)systems.By adopting the general complex modal theory of the state space,the response analysis for a sys- tem subjected to random excitation of the same source is carried out using as a kind of direct spectrum analysis method in frequency domain.With the input of power spectral density function given,the explicit expression of the power spectral density function matrix of the output response can be obtained.By taking Fourier inverse transform,the integrated expres- sions of the correlation function matrix and of the spectrum moment matrix are obtained.Comparing with the time domain method,this method enjoys the merit of visualization and avoids the procedure of transformation from the obtained re- sponse correlation function to be solved for the output spectrum utilizing Fourier transform.This paper has extended the application range of the traditional frequency domain analysis method.The mean square values and variety of statistical val- ues can be obtained conveniently.This method and the time domain method are different in approach but equally satisfac- tory in their results.展开更多
A methodology is proposed to enable real-time evaluation of the observability of local motions,and generate a local observability cost map to enable informed local motion planning in order to avoid potential degradati...A methodology is proposed to enable real-time evaluation of the observability of local motions,and generate a local observability cost map to enable informed local motion planning in order to avoid potential degradation or degeneracy in state estimator performance.The proposed approach leverages efficient numerical techniques in nonlinear observability analysis and motion primitive-based planning technique to realize the local observability prediction with real-time performance.The degradation of the state estimation performance can be readily predicted with the local observability evaluation result.The proposed approach is specialized to a representative optimization-based monocular visual-inertial state estimation formulation and evaluated through simulation and experiments.The experimental results demonstrated the ability of the proposed methodology to correctly anticipate the potential state estimation degradation.展开更多
The crystal structure of a solid electrolyte, beta-A12O3, was investigated by XRD analysis and demonstrated by Diamond software. Its chemical formula was verified by the Ag ion molten salt exchange method and X-ray fl...The crystal structure of a solid electrolyte, beta-A12O3, was investigated by XRD analysis and demonstrated by Diamond software. Its chemical formula was verified by the Ag ion molten salt exchange method and X-ray fluorescence analysis (XRF). The chemical formula of β- A12O3 is Na2O·8.52A12O3, and its crystal is of hexagonal, space group P63/mmc, with a = 5.5941 A and c = 22.5300 A. The chemical formula of β-Al20 is Na2O·6.03A12O3, and its crystal is of trigonal, space group R3m, with a = 5.6017 A and c = 33.6219 A. The maximum span in the sodion migration of β-phase (2.4283 A) is only about a third of that for the β-phase (6.9037 A), so the β-phase has higher ionic conductivity than the r-phase.展开更多
This paper presents a concept of the 3-state device system with link-capacity, whichcan, besides its normal operative state, assume two different failure states: an open-mode and ashorted-mode failure state. The 3-sta...This paper presents a concept of the 3-state device system with link-capacity, whichcan, besides its normal operative state, assume two different failure states: an open-mode and ashorted-mode failure state. The 3-state system reliability analysis often uses flow required andprobability of the device to compute the probability of the system with link-capacity. We use themethod of max-flow and min-cut theorem, give four theorems to reduce 3-state device network withlink-capacity reliability problems to 2-state problems. For practical, relevant network sizes (up to100 components), the algorithm is fast and efficient.展开更多
This paper studies the deterioration of bridge substructures utilizing the Long-Term Bridge Performance(LTBP)Program InfoBridge^(TM)and develops a survival model using Cox proportional hazards regression.The survival ...This paper studies the deterioration of bridge substructures utilizing the Long-Term Bridge Performance(LTBP)Program InfoBridge^(TM)and develops a survival model using Cox proportional hazards regression.The survival analysis is based on the National Bridge Inventory(NBI)dataset.The study calculates the survival rate of reinforced and prestressed concrete piles on bridges under marine conditions over a 29-year span(from 1992 to 2020).The state of Maryland is the primary focus of this study,with data from three neighboring regions,the District of Columbia,Virginia,and Delaware to expand the sample size.The data obtained from the National Bridge Inventory are condensed and filtered to acquire the most relevant information for model development.The Cox proportional hazards regression is applied to the condensed NBI data with six parameters:Age,ADT,ADTT,number of spans,span length,and structural length.Two survival models are generated for the bridge substructures:Reinforced and prestressed concrete piles in Maryland and reinforced and prestressed concrete piles in wet service conditions in the District of Columbia,Maryland,Delaware,and Virginia.Results from the Cox proportional hazards regression are used to construct Markov chains to demonstrate the sequence of the deterioration of bridge substructures.The Markov chains can be used as a tool to assist in the prediction and decision-making for repair,rehabilitation,and replacement of bridge piles.Based on the numerical model,the Pile Assessment Matrix Program(PAM)is developed to facilitate the assessment and maintenance of current bridge structures.The program integrates the NBI database with the inspection and research reports from various states’department of transportation,to serve as a tool for condition state simulation based on maintenance or rehabilitation strategies.展开更多
It is significant to research the voltage stability of the wind power centralized system (WPCS) for the effective development of the large scale clustering wind energy resources. A steady state voltage stability analy...It is significant to research the voltage stability of the wind power centralized system (WPCS) for the effective development of the large scale clustering wind energy resources. A steady state voltage stability analysis of the WPCS by employing the PV curve and model analysis is proposed to reveal the voltage stability influence from different aspects. The PV curve is utilized to trace and indicate the voltage collapse point of the WPCS when the small disturbance of wind power is increased gradually. Then the steady state voltage instability modes of the WPCS are analyzed by calculating the bus participation factors of the minimum eigenvalue model at the collapse point. The simulation results of an actual WPCS in North China show that the static state voltage instability mode of the WPCS is closely related to the operating features and control strategies of different reactive power sources. In addition, the implementation of the doubly-fed induction generator wind turbine generator voltage control is beneficial to improve the WPCS voltage stability.展开更多
We calculate the Rydberg and autoionization Rydberg spectra of antimony (Sb) from first principles by relativistic multichannel theory within the framework of multichannel quantum defect theory. Our calculation can ...We calculate the Rydberg and autoionization Rydberg spectra of antimony (Sb) from first principles by relativistic multichannel theory within the framework of multichannel quantum defect theory. Our calculation can be used to classify and assign the atomic states described in recently reported three Rydberg series and four autoionizing states. The perturbation effects on line intensity, variation and line profile are discussed. Assignments of the perturber states and autoionizing states are presented.展开更多
Solid-state light sources based on laser diode are becoming great alternative for LEDs. Improvement of the thermal characteristics of InGaN LD is very important for realizing reliable devices. In this investigation th...Solid-state light sources based on laser diode are becoming great alternative for LEDs. Improvement of the thermal characteristics of InGaN LD is very important for realizing reliable devices. In this investigation the influence of the temperature of diode on light parameters was studied. White light was obtained by coupling blue light of diode with yellow phosphors: YAG:Ce3+ and GYAG:Ce3+ with nitride. For three values of the temperature of LD’s stem, regulated by Peltier module, CCT, CRI and chromaticity coordinates were measured by spectroradiometer. The importance of emission characteristics of materials was shown. Subsequently, the influence of temperature on laser diode intensity was investigated for 120 hours. This experiment was repeated for different levels of current and temperature. Finally, the steady state of thermal finite element analysis was performed to reveal the distribution of the temperature. The analysis showed the importance of heat sink and also temperature control.展开更多
In this paper modelling and analysis in autonomous mode of dual three-phase induction generator (DTPIG) with a new algorithm have been done. We develop the steady state model of a dual three-phase self-excited inducti...In this paper modelling and analysis in autonomous mode of dual three-phase induction generator (DTPIG) with a new algorithm have been done. We develop the steady state model of a dual three-phase self-excited induction generator for stand-alone renewable generation dispensing with the segregating real and imaginary components of the complex impedance of the induction generator. The obtained admittance yields the adequate magnetizing reactance and the frequency. These two key parameters are then used to compute the self-excitation process requirements in terms of the prime mover speed, the capacitance and the load impedance on the one hand and to predict the generator steady state performance parameters on the other. Steady state performances and characteristics of different configurations are clearly examined and compared. The analytical results are found to be in good agreement with experimental results.展开更多
基金funding support from the National Key Research and Development Program of China(Grant No.2023YFB2604004)the National Natural Science Foundation of China(Grant No.52108374)the“Taishan”Scholar Program of Shandong Province,China(Grant No.tsqn201909016)。
文摘The expansion of a thick-walled hollow cylinder in soil is of non-self-similar nature that the stress/deformation paths are not the same for different soil material points.As a result,this problem cannot be solved by the common self-similar-based similarity techniques.This paper proposes a novel,exact solution for rigorous drained expansion analysis of a hollow cylinder of critical state soils.Considering stress-dependent elastic moduli of soils,new analytical stress and displacement solutions for the nonself-similar problem are developed taking the small strain assumption in the elastic zone.In the plastic zone,the cavity expansion response is formulated into a set of first-order partial differential equations(PDEs)with the combination use of Eulerian and Lagrangian descriptions,and a novel solution algorithm is developed to efficiently solve this complex boundary value problem.The solution is presented in a general form and thus can be useful for a wide range of soils.With the new solution,the non-self-similar nature induced by the finite outer boundary is clearly demonstrated and highlighted,which is found to be greatly different to the behaviour of cavity expansion in infinite soil mass.The present solution may serve as a benchmark for verifying the performance of advanced numerical techniques with critical state soil models and be used to capture the finite boundary effect for pressuremeter tests in small-sized calibration chambers.
文摘Phase-matching quantum key distribution is a promising scheme for remote quantum key distribution,breaking through the traditional linear key-rate bound.In practical applications,finite data size can cause significant system performance to deteriorate when data size is below 1010.In this work,an improved statistical fluctuation analysis method is applied for the first time to two decoy-states phase-matching quantum key distribution,offering a new insight and potential solutions for improving the key generation rate and the maximum transmission distance while maintaining security.Moreover,we also compare the influence of the proposed improved statistical fluctuation analysis method on system performance with those of the Gaussian approximation and Chernoff-Hoeffding boundary methods on system performance.The simulation results show that the proposed scheme significantly improves the key generation rate and maximum transmission distance in comparison with the Chernoff-Hoeffding approach,and approach the results obtained when the Gaussian approximation is employed.At the same time,the proposed scheme retains the same security level as the Chernoff-Hoeffding method,and is even more secure than the Gaussian approximation.
文摘We present an efficient scheme for the complete analysis of hyperentangled Greenberger–Horne–Zeilinger(GHZ)state in polarization and time-bin degrees of freedom with two steps. Firstly, the polarization GHZ state is distinguished completely and nondestructively, resorting to the controlled phase flip(CPF) gate constructed by the cavity-assisted interaction. Subsequently, the time-bin GHZ state is analyzed by using the preserved polarization entanglement. With the help of CPF gate and self-assisted mechanism, our scheme can be directly generalized to the complete N-photon hyperentangled GHZ state analysis, and it may have potential applications in the hyperentanglement-based quantum communication.
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 11104159,61201164,and 61271238)the Open Research Fund Program of the State Key Laboratory of Low-Dimensional Quantum Physics Scientific,Tsinghua University,China+2 种基金the Open Research Fund Program of National Laboratory of Solid State Microstructures,Nanjing University,China (Grant Nos. M25020 and M25022)the Priority Academic Development Program of Jiangsu Higher Education Institutions,China,the Open Research Fund of National Mobile Communications Research Laboratory of Southeast University,China (Grant No. 2011D05)the Specialized Research Fund for the Doctoral Program of Higher Education of China (Grant No. 20123223110003)
文摘We propose a scheme capable of performing complete Bell-state analysis for a single-photon hybrid entangled state.Our single-photon state is encoded in both polarization and frequency degrees of freedom.The setup of the scheme is composed of polarizing beam splitters,half wave plates,frequency shifters,and independent wavelength division multiplexers,which are feasible using current technology.We also show that with this setup we can perform complete two-photon Bell-state analysis schemes for polarization degrees of freedom.Moreover,it can also be used to perform the teleportation scheme between different degrees of freedom.This setup may allow extensive applications in current quantum communications.
基金This work is financially supported by the Beijing Natural Science Foundation!(No.2 962 0 0 4 )
文摘In the ultrasonic nondestructive evaluation of the quality of solid state welded joints, such as friction bonding and diffusion bonding, the main difficulty is the identification of micro defects which are most likely to emerge in the welding process. The ultrasonic echo on the screen of a commercial ultrasonic detector due to a micro defect is so weak that it is completely masked by noise, and impossible to be pointed out. In the present paper, wavelet analysis (WA) is utilized to process A scan ultrasonic signals from weak bonding defects in friction bonding joints and porosity in diffusion bonding joints. First, perception of WA for engineers is given, which demonstrates the physical mechanism of WA when applied to signal processing. From this point of view, WA can be understood easily and more thoroughly. Then the signals from welding joints are decomposed into a time scale plane by means of WA. We notice that noise and the signal echo attributed to the micro defect occupy different scales, which make it possible to enhance the signal to noise ratio of the signals by proper selection and threshold processing of the time scale components of the signals, followed by reconstruction of the processed components.
基金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.
基金supported by the National Natural Science Foundation of China(No.U20A20310 and No.52176199)sponsored by the Program of Shanghai Academic/Technology Research Leader(No.22XD1423800)。
文摘Thermal runaway(TR)is a critical issue hindering the large-scale application of lithium-ion batteries(LIBs).Understanding the thermal safety behavior of LIBs at the cell and module level under different state of charges(SOCs)has significant implications for reinforcing the thermal safety design of the lithium-ion battery module.This study first investigates the thermal safety boundary(TSB)correspondence at the cells and modules level under the guidance of a newly proposed concept,safe electric quantity boundary(SEQB).A reasonable thermal runaway propagation(TRP)judgment indicator,peak heat transfer power(PHTP),is proposed to predict whether TRP occurs.Moreover,a validated 3D model is used to quantitatively clarify the TSB at different SOCs from the perspective of PHTP,TR trigger temperature,SOC,and the full cycle life.Besides,three different TRP transfer modes are discovered.The interconversion relationship of three different TRP modes is investigated from the perspective of PHTP.This paper explores the TSB of LIBs under different SOCs at both cell and module levels for the first time,which has great significance in guiding the thermal safety design of battery systems.
文摘An efficient observability analysis method is proposed to enable online detection of performance degradation of an optimization-based sliding window visual-inertial state estimation framework.The proposed methodology leverages numerical techniques in nonlinear observability analysis to enable online evaluation of the system observability and indication of the state estimation performance.Specifically,an empirical observability Gramian based approach is introduced to efficiently measure the observability condition of the windowed nonlinear system,and a scalar index is proposed to quantify the average system observability.The proposed approach is specialized to a challenging optimizationbased sliding window monocular visual-inertial state estimation formulation and evaluated through simulation and experiments to assess the efficacy of the methodology.The analysis result shows that the proposed approach can correctly indicate degradation of the state estimation accuracy with real-time performance.
基金supported by the National Natural Science Foundation of China(11702281)the Science Challenge Project(TZ2018007)the Technology Foundation Project of State Administration of Science,Technology and Industry for National Defence,PRC(JSZL2017212A001)
文摘For the system with the fuzzy failure state, the effects of the input random variables and the fuzzy failure state on the fuzzy probability of failure for the structural system are studied, and the moment-independence global sensitivity analysis(GSA) model is proposed to quantitatively measure these effects. According to the fuzzy random theory, the fuzzy failure state is transformed into an equivalent new random variable for the system, and the complementary function of the membership function of the fuzzy failure state is defined as the cumulative distribution function(CDF) of the new random variable. After introducing the new random variable, the equivalent performance function of the original problem is built. The difference between the unconditional fuzzy probability of failure and conditional fuzzy probability of failure is defined as the moment-independent GSA index. In order to solve the proposed GSA index efficiently, the Kriging-based algorithm is developed to estimate the defined moment-independence GSA index. Two engineering examples are employed to verify the feasibility and rationality of the presented GSA model, and the advantages of the developed Kriging method are also illustrated.
基金Project supported by the National Natural Science Foundation of China(Grant No.11604226)Science and Technology Program Foundation of the Beijing Municipal Commission of Education of China(Grants No.CIT&TCD201904080).
文摘We present a deterministic nondestructive hyperentangled Bell state analysis protocol for photons entangled in three degrees of freedom(DOFs),including polarization,spatial-mode,and time-bin DOFs.The polarization Bell state analyzer and spatial-mode Bell state analyzer are constructed by polarization parity-check quantum nondemolition detector(P-QND)and spatial-mode parity-check quantum nondemolition detector(S-QND)using cross-Kerr nonlinearity,respectively.The time-bin Bell state analyzer is constructed by the swap gate for polarization state and time-bin state of a photon(P-T swap gate)and P-QND.The Bell states analyzer for one DOF will not destruct the Bell states of other two DOFs,so the polarization-spatial-time-bin hyperentangled Bell states can be determinately distinguished without destruction.This deterministic nondestructive state analysis method has useful applications in quantum information protocols.
基金supported by the National Key Research and Development Program of China[grant number 2023YFC3206001]the Three Gorges Project Comprehensive Monitoring Program for Operational Safety[grant number SK2023019]which funded by the Ministry of Water Resources of China.
文摘Based on daily observation data of the Three Gorges Region(TGR)of the Yangtze River basin and global reanalysis data,the climate characteristics,climate events,and meteorological disasters of the TGR in 2022 and 2023 were analyzed.For the TGR,the average annual temperature for 2022 and 2023 was 0.8℃ and 0.4℃ higher than normal,respectively,making them the two warmest years in the past decade.In 2022,the TGR experienced its warmest summer on record.The average air temperature was 2.4℃ higher than the average,and there were 24.8 days of above-average high temperature days during summer.Rainfall in the TGR varied significantly between 2022 and 2023.Annual rainfall was 18.4%below normal and drier than normal in most parts of the region.In contrast,the precipitation in 2023 was considerably higher than the long-term average,and above normal for almost the entire year.The average wind speed exhibited minimal variation between the two years.However,the number of foggy days and relative humidity increased in 2023 compared to 2022.In 2022–2023,the TGR mainly experienced meteorological disasters such as extreme high temperatures,regional heavy rain and flooding,overcast rain,and inverted spring chill.Analysis indicates that the abnormal western Pacific subtropical high and the abnormal persistence of the eastward-shifted South Asian high were the two important drivers of the durative enhancement of record-breaking high temperature in the summer of 2022.
基金The project is supported by National Natural Science Foundation of China and National Education Commission Science Foundation of China
文摘This paper proceeds from the general case of the unsymmetric linearized multi-degrees of free- dom(MDOF)systems.By adopting the general complex modal theory of the state space,the response analysis for a sys- tem subjected to random excitation of the same source is carried out using as a kind of direct spectrum analysis method in frequency domain.With the input of power spectral density function given,the explicit expression of the power spectral density function matrix of the output response can be obtained.By taking Fourier inverse transform,the integrated expres- sions of the correlation function matrix and of the spectrum moment matrix are obtained.Comparing with the time domain method,this method enjoys the merit of visualization and avoids the procedure of transformation from the obtained re- sponse correlation function to be solved for the output spectrum utilizing Fourier transform.This paper has extended the application range of the traditional frequency domain analysis method.The mean square values and variety of statistical val- ues can be obtained conveniently.This method and the time domain method are different in approach but equally satisfac- tory in their results.
文摘A methodology is proposed to enable real-time evaluation of the observability of local motions,and generate a local observability cost map to enable informed local motion planning in order to avoid potential degradation or degeneracy in state estimator performance.The proposed approach leverages efficient numerical techniques in nonlinear observability analysis and motion primitive-based planning technique to realize the local observability prediction with real-time performance.The degradation of the state estimation performance can be readily predicted with the local observability evaluation result.The proposed approach is specialized to a representative optimization-based monocular visual-inertial state estimation formulation and evaluated through simulation and experiments.The experimental results demonstrated the ability of the proposed methodology to correctly anticipate the potential state estimation degradation.
基金supported by NSFC projects(21203095)China Postdoctoral Science Foundation Projects(2012M511261)Jiangsu Colleges and Universities Advantage Discipline Construction projects
文摘The crystal structure of a solid electrolyte, beta-A12O3, was investigated by XRD analysis and demonstrated by Diamond software. Its chemical formula was verified by the Ag ion molten salt exchange method and X-ray fluorescence analysis (XRF). The chemical formula of β- A12O3 is Na2O·8.52A12O3, and its crystal is of hexagonal, space group P63/mmc, with a = 5.5941 A and c = 22.5300 A. The chemical formula of β-Al20 is Na2O·6.03A12O3, and its crystal is of trigonal, space group R3m, with a = 5.6017 A and c = 33.6219 A. The maximum span in the sodion migration of β-phase (2.4283 A) is only about a third of that for the β-phase (6.9037 A), so the β-phase has higher ionic conductivity than the r-phase.
文摘This paper presents a concept of the 3-state device system with link-capacity, whichcan, besides its normal operative state, assume two different failure states: an open-mode and ashorted-mode failure state. The 3-state system reliability analysis often uses flow required andprobability of the device to compute the probability of the system with link-capacity. We use themethod of max-flow and min-cut theorem, give four theorems to reduce 3-state device network withlink-capacity reliability problems to 2-state problems. For practical, relevant network sizes (up to100 components), the algorithm is fast and efficient.
基金This research receives funding from the Maryland Department of Transportation State Highway Administration.
文摘This paper studies the deterioration of bridge substructures utilizing the Long-Term Bridge Performance(LTBP)Program InfoBridge^(TM)and develops a survival model using Cox proportional hazards regression.The survival analysis is based on the National Bridge Inventory(NBI)dataset.The study calculates the survival rate of reinforced and prestressed concrete piles on bridges under marine conditions over a 29-year span(from 1992 to 2020).The state of Maryland is the primary focus of this study,with data from three neighboring regions,the District of Columbia,Virginia,and Delaware to expand the sample size.The data obtained from the National Bridge Inventory are condensed and filtered to acquire the most relevant information for model development.The Cox proportional hazards regression is applied to the condensed NBI data with six parameters:Age,ADT,ADTT,number of spans,span length,and structural length.Two survival models are generated for the bridge substructures:Reinforced and prestressed concrete piles in Maryland and reinforced and prestressed concrete piles in wet service conditions in the District of Columbia,Maryland,Delaware,and Virginia.Results from the Cox proportional hazards regression are used to construct Markov chains to demonstrate the sequence of the deterioration of bridge substructures.The Markov chains can be used as a tool to assist in the prediction and decision-making for repair,rehabilitation,and replacement of bridge piles.Based on the numerical model,the Pile Assessment Matrix Program(PAM)is developed to facilitate the assessment and maintenance of current bridge structures.The program integrates the NBI database with the inspection and research reports from various states’department of transportation,to serve as a tool for condition state simulation based on maintenance or rehabilitation strategies.
文摘It is significant to research the voltage stability of the wind power centralized system (WPCS) for the effective development of the large scale clustering wind energy resources. A steady state voltage stability analysis of the WPCS by employing the PV curve and model analysis is proposed to reveal the voltage stability influence from different aspects. The PV curve is utilized to trace and indicate the voltage collapse point of the WPCS when the small disturbance of wind power is increased gradually. Then the steady state voltage instability modes of the WPCS are analyzed by calculating the bus participation factors of the minimum eigenvalue model at the collapse point. The simulation results of an actual WPCS in North China show that the static state voltage instability mode of the WPCS is closely related to the operating features and control strategies of different reactive power sources. In addition, the implementation of the doubly-fed induction generator wind turbine generator voltage control is beneficial to improve the WPCS voltage stability.
基金Supported by the Beijing Natural Science Foundation under Grant No 1164016the National Natural Science Foundation of China under Grant No 11604334the Funding from TRIUMF which receives Federal Funding via a Contribution Agreement with the National Research Council of Canada and through a Natural Sciences and Engineering Research Council of Canada under Grant No 386343-2011
文摘We calculate the Rydberg and autoionization Rydberg spectra of antimony (Sb) from first principles by relativistic multichannel theory within the framework of multichannel quantum defect theory. Our calculation can be used to classify and assign the atomic states described in recently reported three Rydberg series and four autoionizing states. The perturbation effects on line intensity, variation and line profile are discussed. Assignments of the perturber states and autoionizing states are presented.
文摘Solid-state light sources based on laser diode are becoming great alternative for LEDs. Improvement of the thermal characteristics of InGaN LD is very important for realizing reliable devices. In this investigation the influence of the temperature of diode on light parameters was studied. White light was obtained by coupling blue light of diode with yellow phosphors: YAG:Ce3+ and GYAG:Ce3+ with nitride. For three values of the temperature of LD’s stem, regulated by Peltier module, CCT, CRI and chromaticity coordinates were measured by spectroradiometer. The importance of emission characteristics of materials was shown. Subsequently, the influence of temperature on laser diode intensity was investigated for 120 hours. This experiment was repeated for different levels of current and temperature. Finally, the steady state of thermal finite element analysis was performed to reveal the distribution of the temperature. The analysis showed the importance of heat sink and also temperature control.
文摘In this paper modelling and analysis in autonomous mode of dual three-phase induction generator (DTPIG) with a new algorithm have been done. We develop the steady state model of a dual three-phase self-excited induction generator for stand-alone renewable generation dispensing with the segregating real and imaginary components of the complex impedance of the induction generator. The obtained admittance yields the adequate magnetizing reactance and the frequency. These two key parameters are then used to compute the self-excitation process requirements in terms of the prime mover speed, the capacitance and the load impedance on the one hand and to predict the generator steady state performance parameters on the other. Steady state performances and characteristics of different configurations are clearly examined and compared. The analytical results are found to be in good agreement with experimental results.