To address the seismic face stability challenges encountered in urban and subsea tunnel construction,an efficient probabilistic analysis framework for shield tunnel faces under seismic conditions is proposed.Based on ...To address the seismic face stability challenges encountered in urban and subsea tunnel construction,an efficient probabilistic analysis framework for shield tunnel faces under seismic conditions is proposed.Based on the upper-bound theory of limit analysis,an improved three-dimensional discrete deterministic mechanism,accounting for the heterogeneous nature of soil media,is formulated to evaluate seismic face stability.The metamodel of failure probabilistic assessments for seismic tunnel faces is constructed by integrating the sparse polynomial chaos expansion method(SPCE)with the modified pseudo-dynamic approach(MPD).The improved deterministic model is validated by comparing with published literature and numerical simulations results,and the SPCE-MPD metamodel is examined with the traditional MCS method.Based on the SPCE-MPD metamodels,the seismic effects on face failure probability and reliability index are presented and the global sensitivity analysis(GSA)is involved to reflect the influence order of seismic action parameters.Finally,the proposed approach is tested to be effective by a engineering case of the Chengdu outer ring tunnel.The results show that higher uncertainty of seismic response on face stability should be noticed in areas with intense earthquakes and variation of seismic wave velocity has the most profound influence on tunnel face stability.展开更多
Group testing is a method that can be used to estimate the prevalence of rare infectious diseases,which can effectively save time and reduce costs compared to the method of random sampling.However,previous literature ...Group testing is a method that can be used to estimate the prevalence of rare infectious diseases,which can effectively save time and reduce costs compared to the method of random sampling.However,previous literature only demonstrated the optimality of group testing strategy while estimating prevalence under some strong assumptions.This article weakens the assumption of misclassification rate in the previous literature,considers the misclassification rate of the infected samples as a differentiable function of the pool size,and explores some optimal properties of group testing for estimating prevalence in the presence of differential misclassification conforming to this assumption.This article theoretically demonstrates that the group testing strategy performs better than the sample by sample procedure in estimating disease prevalence when the total number of sample pools is given or the size of the test population is determined.Numerical simulation experiments were conducted to evaluate the performance of group tests in estimating prevalence in the presence of dilution effect.展开更多
Objective:Pelvic floor sensory training is commonly used in clinical practice for the treatment of stress urinary incontinence(SUI);however,there is a lack of comparative studies evaluating pelvic floor sensation betw...Objective:Pelvic floor sensory training is commonly used in clinical practice for the treatment of stress urinary incontinence(SUI);however,there is a lack of comparative studies evaluating pelvic floor sensation between women with SUI and healthy controls.Additionally,normative data for two-point discrimination thresholds in the female pelvic floor region remain scarce.This study aims to compare the results of 4 sensory tests in the pelvic floor region between women with mild SUI and healthy women,in order to provide reference values for two-point discrimination thresholds in this area.Methods:From April 1 to October 30,2023,108 healthy women[(32.5±3.6)years]and 90 women with mild SUI[(32.9±3.3)years]were recruited from the Third Xiangya Hospital,Central South University.Participants underwent 4 sensory tests in the pelvic floor region:Two-dot discrimination,weight perception,shape recognition,and 9-grid localization.The results were compared between the 2 groups.Results:Compared with healthy women,those with mild SUI had lower sensitivity and higher thresholds in 2-dot discrimination tests in the pelvic floor region(all P<0.001).No significant differences were found between groups in weight perception,shape recognition,or grid localization tests(P>0.05).Conclusion:Women with mild stress urinary incontinence have impaired two-point discrimination ability in the pelvic floor region.展开更多
The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled h...The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled hyperonantihyperon pairs to be produced at Super Tau-Charm Facility(STCF),the CP asymmetry of hyperon is expected to be tested with a statistical sensitivity of 10^(−4) or even better.To cope with the statistical precision,the systematic effects from various aspects are critical and need to be studied in detail.In this paper,the sensitivity effects on the CP violation parameters associated with the detector resolution,including those of the position and momentum,are studied and discussed in detail.The results provide valuable guidance for the design of STCF detector.展开更多
Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various f...Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various factors affect roots reinforcement during seismic loading have rarely been studied.The objective is to conduct a series of cyclic direct simple shear tests and DEM numerical simulation to investigate the cyclic behaviour of rooted loess.The effects of initial static shear stress and loading frequency on the cyclic resistance of root-soil composites were first investigated.After that,cyclic direct simple shear simulations at constant volume were carried out based on the discrete element method(PFC^(3D))to investigate the effects of root geome-try,mechanical traits and root-soil bond strength on the cyclic strength of rooted loess.It was discovered that the roots could effectively improve the cyclic resistance of loess.The cyclic resistance of the root-soil composite decreases with the increase of the initial shear stress,then increases,and improves with the increase of the frequency.The simulation result show that increases in root elastic modulus and root-soil interfacial bond strength can all enhance the cyclic resistance of root-soil composites,and the maximum cyclic resistance of the root-soil composite was obtained when the initial inclination angle of the root system was 90°.展开更多
The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flig...The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flight test duration and cost are established to set up the framework of flight test process.The top-level arrangement for flight test is optimized by multi-objective algorithm to reduce the duration and cost of flight test.In order to verify the necessity and validity of the mathematical models and the optimization algorithm of top-level arrangement,real flight test data is used to make an example calculation.Results show that the multi-objective optimization results of the top-level flight arrangement are better than the initial arrangement data,which can shorten the duration,reduce the cost,and improve the efficiency of flight test.展开更多
With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and...With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and using them in contemporary warfare.An electric probe-type cylinder test measured the displacement-time behavior of NEPE high-energy solid propellant,and the parameters of the Jones-Wilkins-Lee(JWL)equation of state(EOS)were derived using particle swarm optimization(PSO)with the Gurney energy model.Further,the parameters of JWL-Miller EOS,determined through AUTODYN simulations,were validated by comparing airburst process simulations with experimental overpressure data.The study established a method for determining EOS parameters of high-energy propellants,achieving a high degree of accuracy.The derived parameters ensure precise modeling of propellant behavior,offering a reliable foundation for future applications in solid rocket motor performance optimization and safety assessment.展开更多
This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the edu...This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the educational program has achieved what it set out to achieve, or how much the learners have learned what they were supposed to learn. Some effective listening tests are given to help the teacher improve the teaching method in which the teacher focus much on the process of listening, little on the product. The teacher can teach the skill rather than simply practise the listening.展开更多
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协...2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,展开更多
The required reinforcement force to prevent instability and the yield acceleration of reinforced slopes are computed under seismic loading by applying the kinematic approach of limit analysis in conjunction with the p...The required reinforcement force to prevent instability and the yield acceleration of reinforced slopes are computed under seismic loading by applying the kinematic approach of limit analysis in conjunction with the pseudo-dynamic method for a wide range of soil cohesion, friction angle, dilation angle and horizontal and vertical seismic coefficients. Each parameter threatening the stability of the slope enhances the magnitude of the required reinforcement force and vice versa. Moreover, the yield acceleration increases with the increase in soil shear strength parameters but decreases with the increase in the slope angle. The comparison of the present work with some of the available solutions in the literatures shows a reasonable agreement.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
Probabilistic analysis is a rational approach for engineering design because it provides more insight than traditional deterministic analysis. Probabilistic evaluation on seismic stability of three dimensional (3D) sl...Probabilistic analysis is a rational approach for engineering design because it provides more insight than traditional deterministic analysis. Probabilistic evaluation on seismic stability of three dimensional (3D) slopes is studied in this paper. The slope safety factor is computed by combining the kinematic approach of limit analysis using a three-dimensional rotational failure mechanism with the pseudo-dynamic approach. The variability of input parameters, including six pseudo-dynamic parameters and two soil shear strength parameters, are taken into account by means of Monte-Carlo Simulations (MCS) method. The influences of pseudo-dynamic input variables on the computed failure probabilities are investigated and discussed. It is shown that the obtained failure probabilities increase with the pseudo-dynamic input variables and the pseudo-dynamic approach gives more conservative failure probability estimates compared with the pseudo-static approach.展开更多
In detecting system fault algorithms,the false alarm rate and undectect rate generated by residual Chi-square test can affect the stability of filters.The paper proposes a fault detection algorithm based on sequential...In detecting system fault algorithms,the false alarm rate and undectect rate generated by residual Chi-square test can affect the stability of filters.The paper proposes a fault detection algorithm based on sequential residual Chi-square test and applies to fault detection of an integrated navigation system.The simulation result shows that the algorithm can accurately detect the fault information of global positioning system（GPS）,eliminate the influence of false alarm and missed detection on filter,and enhance fault tolerance of integrated navigation systems.展开更多
In order to investigate the stability problem of shield tunnel faces subjected to seismic loading,the pseudodynamic method(P-DM)was employed to analyze the seismic effect on the face.Two kinds of failure mechanisms of...In order to investigate the stability problem of shield tunnel faces subjected to seismic loading,the pseudodynamic method(P-DM)was employed to analyze the seismic effect on the face.Two kinds of failure mechanisms of active collapse and passive extrusion were considered,and a seismic reliability model of shield tunnel faces under multifailure mode was established.The limit analysis method and the response surface method(RSM)were used together to solve the reliability of shield tunnel faces subjected to seismic action.Comparing with existing results,the results of this work are effective.The effects of seismic load and rock mass strength on the collapse pressure,extrusion pressure and reliability index were discussed,and reasonable ranges of support pressure of shield tunnel faces under seismic action were presented.This method can provide a new idea for solving the shield thrust parameter under the seismic loading.展开更多
A new method was presented to determine the safety factor of wall stability against overturning based on pseudo-dynamic approach. In this time-dependent method, the actual dynamic effect with variation of time and pro...A new method was presented to determine the safety factor of wall stability against overturning based on pseudo-dynamic approach. In this time-dependent method, the actual dynamic effect with variation of time and propagation of shear and primary wave velocities through the backfills was considered. Planar failure surface was considered behind the retaining wall. The results were compared with those obtained from Mononobe-Okabe theory. It is found that there is a higher value of safety factor by the present dynamic analysis. The effects of wall inclination, wall friction angle, soil friction angle and horizontal and vertical seismic coefficients on the overturning stability of retaining wall were investigated. The parametric study shows that both horizontal and vertical seismic accelerations have decreasing effect on the overturning stability of retaining wall.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
In order to evaluate the seismic stability of reinforced soil walls against bearing capacity failure,the seismic safety factor of reinforced soil walls was determined by using pseudo-dynamic method,and calculated by c...In order to evaluate the seismic stability of reinforced soil walls against bearing capacity failure,the seismic safety factor of reinforced soil walls was determined by using pseudo-dynamic method,and calculated by considering different parameters,such as horizontal and vertical seismic acceleration coefficients,ratio of reinforcement length to wall height,back fill friction angle,foundation soil friction angle,soil reinforcement interface friction angle and surcharge.The parametric study shows that the seismic safety factor increases by 24-fold when the foundation soil friction angle varies from 25°to 45°,and increases by 2-fold when the soil reinforcement interface friction angle varies from 0 to 30°.That is to say,the bigger values the foundation soil and/or soil reinforcement interface friction angles have,the safer the reinforced soil walls become in the seismic design.The results were also compared with those obtained from pseudo-static method.It is found that there is a higher value of the safety factor by the present work.展开更多
The optimum design of equivalent accelerated life testing plan based on proportional hazards-proportional odds model using D-optimality is presented. The defined equivalent test plan is the test plan that has the same...The optimum design of equivalent accelerated life testing plan based on proportional hazards-proportional odds model using D-optimality is presented. The defined equivalent test plan is the test plan that has the same value of the determinant of Fisher information matrix. The equivalent test plan of step stress accelerated life testing （SSALT） to a baseline optimum constant stress accelerated life testing （CSALT） plan is obtained by adjusting the censoring time of SSALT and solving the optimization problem for each case to achieve the same value of the determinant of Fisher information matrix as in the baseline optimum CSALT plan. Numer- ical examples are given finally which demonstrate the equivalent SSALT plan to the baseline optimum CSALT plan reduces almost half of the test time while achieving approximately the same estimation errors of model parameters.展开更多
基金Project([2018]3010)supported by the Guizhou Provincial Science and Technology Major Project,China。
文摘To address the seismic face stability challenges encountered in urban and subsea tunnel construction,an efficient probabilistic analysis framework for shield tunnel faces under seismic conditions is proposed.Based on the upper-bound theory of limit analysis,an improved three-dimensional discrete deterministic mechanism,accounting for the heterogeneous nature of soil media,is formulated to evaluate seismic face stability.The metamodel of failure probabilistic assessments for seismic tunnel faces is constructed by integrating the sparse polynomial chaos expansion method(SPCE)with the modified pseudo-dynamic approach(MPD).The improved deterministic model is validated by comparing with published literature and numerical simulations results,and the SPCE-MPD metamodel is examined with the traditional MCS method.Based on the SPCE-MPD metamodels,the seismic effects on face failure probability and reliability index are presented and the global sensitivity analysis(GSA)is involved to reflect the influence order of seismic action parameters.Finally,the proposed approach is tested to be effective by a engineering case of the Chengdu outer ring tunnel.The results show that higher uncertainty of seismic response on face stability should be noticed in areas with intense earthquakes and variation of seismic wave velocity has the most profound influence on tunnel face stability.
基金supported by the National Natural Science Foundation of China(Grant No.72091212).
文摘Group testing is a method that can be used to estimate the prevalence of rare infectious diseases,which can effectively save time and reduce costs compared to the method of random sampling.However,previous literature only demonstrated the optimality of group testing strategy while estimating prevalence under some strong assumptions.This article weakens the assumption of misclassification rate in the previous literature,considers the misclassification rate of the infected samples as a differentiable function of the pool size,and explores some optimal properties of group testing for estimating prevalence in the presence of differential misclassification conforming to this assumption.This article theoretically demonstrates that the group testing strategy performs better than the sample by sample procedure in estimating disease prevalence when the total number of sample pools is given or the size of the test population is determined.Numerical simulation experiments were conducted to evaluate the performance of group tests in estimating prevalence in the presence of dilution effect.
基金supported by the Key Research and Development Program of Hunan Province,China(2023SK2038).
文摘Objective:Pelvic floor sensory training is commonly used in clinical practice for the treatment of stress urinary incontinence(SUI);however,there is a lack of comparative studies evaluating pelvic floor sensation between women with SUI and healthy controls.Additionally,normative data for two-point discrimination thresholds in the female pelvic floor region remain scarce.This study aims to compare the results of 4 sensory tests in the pelvic floor region between women with mild SUI and healthy women,in order to provide reference values for two-point discrimination thresholds in this area.Methods:From April 1 to October 30,2023,108 healthy women[(32.5±3.6)years]and 90 women with mild SUI[(32.9±3.3)years]were recruited from the Third Xiangya Hospital,Central South University.Participants underwent 4 sensory tests in the pelvic floor region:Two-dot discrimination,weight perception,shape recognition,and 9-grid localization.The results were compared between the 2 groups.Results:Compared with healthy women,those with mild SUI had lower sensitivity and higher thresholds in 2-dot discrimination tests in the pelvic floor region(all P<0.001).No significant differences were found between groups in weight perception,shape recognition,or grid localization tests(P>0.05).Conclusion:Women with mild stress urinary incontinence have impaired two-point discrimination ability in the pelvic floor region.
基金supported by the National Key R&D Program of China(2022YFA1602200)the International Partnership Program of the Chinese Academy of Sciences(211134KYSB20200057).
文摘The study of the charge conjugation and parity(CP)violation of hyperon is the precision frontier for probing possible new CP violation sources beyond the standard model(SM).With the large number of quantum entangled hyperonantihyperon pairs to be produced at Super Tau-Charm Facility(STCF),the CP asymmetry of hyperon is expected to be tested with a statistical sensitivity of 10^(−4) or even better.To cope with the statistical precision,the systematic effects from various aspects are critical and need to be studied in detail.In this paper,the sensitivity effects on the CP violation parameters associated with the detector resolution,including those of the position and momentum,are studied and discussed in detail.The results provide valuable guidance for the design of STCF detector.
文摘Plant roots are widely known to provide mechanical reinforcement to soils against shearing and further increase slope stability.However,whether roots provide reinforcement to loess cyclic re-sistance and how various factors affect roots reinforcement during seismic loading have rarely been studied.The objective is to conduct a series of cyclic direct simple shear tests and DEM numerical simulation to investigate the cyclic behaviour of rooted loess.The effects of initial static shear stress and loading frequency on the cyclic resistance of root-soil composites were first investigated.After that,cyclic direct simple shear simulations at constant volume were carried out based on the discrete element method(PFC^(3D))to investigate the effects of root geome-try,mechanical traits and root-soil bond strength on the cyclic strength of rooted loess.It was discovered that the roots could effectively improve the cyclic resistance of loess.The cyclic resistance of the root-soil composite decreases with the increase of the initial shear stress,then increases,and improves with the increase of the frequency.The simulation result show that increases in root elastic modulus and root-soil interfacial bond strength can all enhance the cyclic resistance of root-soil composites,and the maximum cyclic resistance of the root-soil composite was obtained when the initial inclination angle of the root system was 90°.
基金supported by the National Natural Science Foundation of China(62073267,61903305)the Fundamental Research Funds for the Central Universities(HXGJXM202214).
文摘The lack of systematic and scientific top-level arrangement in the field of civil aircraft flight test leads to the problems of long duration and high cost.Based on the flight test activity,mathematical models of flight test duration and cost are established to set up the framework of flight test process.The top-level arrangement for flight test is optimized by multi-objective algorithm to reduce the duration and cost of flight test.In order to verify the necessity and validity of the mathematical models and the optimization algorithm of top-level arrangement,real flight test data is used to make an example calculation.Results show that the multi-objective optimization results of the top-level flight arrangement are better than the initial arrangement data,which can shorten the duration,reduce the cost,and improve the efficiency of flight test.
基金supported by"the Fundamental Research Funds for the Central Universities",No.30924010503.
文摘With the development of high energy solid propellants,it is critical to evaluate the safety and power performance of solid propellants in the face of threats such as unmanned aerial vehicles(UAVs)when transporting and using them in contemporary warfare.An electric probe-type cylinder test measured the displacement-time behavior of NEPE high-energy solid propellant,and the parameters of the Jones-Wilkins-Lee(JWL)equation of state(EOS)were derived using particle swarm optimization(PSO)with the Gurney energy model.Further,the parameters of JWL-Miller EOS,determined through AUTODYN simulations,were validated by comparing airburst process simulations with experimental overpressure data.The study established a method for determining EOS parameters of high-energy propellants,achieving a high degree of accuracy.The derived parameters ensure precise modeling of propellant behavior,offering a reliable foundation for future applications in solid rocket motor performance optimization and safety assessment.
文摘This paper subscribes to the view that the classroom listening test can improve the teaching listening. It can motivate a student. By analyzing the test result, the teacher can check whether and to what degree the educational program has achieved what it set out to achieve, or how much the learners have learned what they were supposed to learn. Some effective listening tests are given to help the teacher improve the teaching method in which the teacher focus much on the process of listening, little on the product. The teacher can teach the skill rather than simply practise the listening.
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
文摘2016年5月22日,在奥地利维也纳召开的2016年欧洲肾脏病年会上,北京大学第一医院肾内科张宏教授代表＂＂评价糖皮质激素治疗Ig A肾病全球研究＂（Therapeutic Evaluation of Steroids in Ig A Nephropathy Global study,TESTING研究）协作组报告了该研究的中期分析结果。研究显示：对于全球最常见的肾小球肾炎——Ig A肾病,糖皮质激素（甲基泼尼松龙）治疗虽然可以减少三分之二以上的肾衰竭事件,
文摘The required reinforcement force to prevent instability and the yield acceleration of reinforced slopes are computed under seismic loading by applying the kinematic approach of limit analysis in conjunction with the pseudo-dynamic method for a wide range of soil cohesion, friction angle, dilation angle and horizontal and vertical seismic coefficients. Each parameter threatening the stability of the slope enhances the magnitude of the required reinforcement force and vice versa. Moreover, the yield acceleration increases with the increase in soil shear strength parameters but decreases with the increase in the slope angle. The comparison of the present work with some of the available solutions in the literatures shows a reasonable agreement.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
文摘Probabilistic analysis is a rational approach for engineering design because it provides more insight than traditional deterministic analysis. Probabilistic evaluation on seismic stability of three dimensional (3D) slopes is studied in this paper. The slope safety factor is computed by combining the kinematic approach of limit analysis using a three-dimensional rotational failure mechanism with the pseudo-dynamic approach. The variability of input parameters, including six pseudo-dynamic parameters and two soil shear strength parameters, are taken into account by means of Monte-Carlo Simulations (MCS) method. The influences of pseudo-dynamic input variables on the computed failure probabilities are investigated and discussed. It is shown that the obtained failure probabilities increase with the pseudo-dynamic input variables and the pseudo-dynamic approach gives more conservative failure probability estimates compared with the pseudo-static approach.
基金supported by the National Natural Science Foundation of China(6063403060702066)+1 种基金the Aerospace Science Foundation(20090853013)Fundmental Research Foundation of NWPU(JC201015),Soaring Star of NWPU
文摘In detecting system fault algorithms,the false alarm rate and undectect rate generated by residual Chi-square test can affect the stability of filters.The paper proposes a fault detection algorithm based on sequential residual Chi-square test and applies to fault detection of an integrated navigation system.The simulation result shows that the algorithm can accurately detect the fault information of global positioning system（GPS）,eliminate the influence of false alarm and missed detection on filter,and enhance fault tolerance of integrated navigation systems.
基金Projects(51804113,52074116)supported by the National Natural Science Foundation of ChinaProject(2020M682563)supported by the China Postdoctoral Science Foundation+1 种基金Project(19C0743)supported by the Scientific Research Foundation of Hunan Provincial Education Department,ChinaProject(E52076)supported by the Science Foundation of Hunan University of Science and Technology,China。
文摘In order to investigate the stability problem of shield tunnel faces subjected to seismic loading,the pseudodynamic method(P-DM)was employed to analyze the seismic effect on the face.Two kinds of failure mechanisms of active collapse and passive extrusion were considered,and a seismic reliability model of shield tunnel faces under multifailure mode was established.The limit analysis method and the response surface method(RSM)were used together to solve the reliability of shield tunnel faces subjected to seismic action.Comparing with existing results,the results of this work are effective.The effects of seismic load and rock mass strength on the collapse pressure,extrusion pressure and reliability index were discussed,and reasonable ranges of support pressure of shield tunnel faces under seismic action were presented.This method can provide a new idea for solving the shield thrust parameter under the seismic loading.
基金Project(50879077) supported by the National Natural Science Foundation of China
文摘A new method was presented to determine the safety factor of wall stability against overturning based on pseudo-dynamic approach. In this time-dependent method, the actual dynamic effect with variation of time and propagation of shear and primary wave velocities through the backfills was considered. Planar failure surface was considered behind the retaining wall. The results were compared with those obtained from Mononobe-Okabe theory. It is found that there is a higher value of safety factor by the present dynamic analysis. The effects of wall inclination, wall friction angle, soil friction angle and horizontal and vertical seismic coefficients on the overturning stability of retaining wall were investigated. The parametric study shows that both horizontal and vertical seismic accelerations have decreasing effect on the overturning stability of retaining wall.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘In order to evaluate the seismic stability of reinforced soil walls against bearing capacity failure,the seismic safety factor of reinforced soil walls was determined by using pseudo-dynamic method,and calculated by considering different parameters,such as horizontal and vertical seismic acceleration coefficients,ratio of reinforcement length to wall height,back fill friction angle,foundation soil friction angle,soil reinforcement interface friction angle and surcharge.The parametric study shows that the seismic safety factor increases by 24-fold when the foundation soil friction angle varies from 25°to 45°,and increases by 2-fold when the soil reinforcement interface friction angle varies from 0 to 30°.That is to say,the bigger values the foundation soil and/or soil reinforcement interface friction angles have,the safer the reinforced soil walls become in the seismic design.The results were also compared with those obtained from pseudo-static method.It is found that there is a higher value of the safety factor by the present work.
文摘The optimum design of equivalent accelerated life testing plan based on proportional hazards-proportional odds model using D-optimality is presented. The defined equivalent test plan is the test plan that has the same value of the determinant of Fisher information matrix. The equivalent test plan of step stress accelerated life testing （SSALT） to a baseline optimum constant stress accelerated life testing （CSALT） plan is obtained by adjusting the censoring time of SSALT and solving the optimization problem for each case to achieve the same value of the determinant of Fisher information matrix as in the baseline optimum CSALT plan. Numer- ical examples are given finally which demonstrate the equivalent SSALT plan to the baseline optimum CSALT plan reduces almost half of the test time while achieving approximately the same estimation errors of model parameters.
