This study presents the design of a modified attributed control chart based on a double sampling(DS)np chart applied in combination with generalized multiple dependent state(GMDS)sampling to monitor the mean life of t...This study presents the design of a modified attributed control chart based on a double sampling(DS)np chart applied in combination with generalized multiple dependent state(GMDS)sampling to monitor the mean life of the product based on the time truncated life test employing theWeibull distribution.The control chart developed supports the examination of the mean lifespan variation for a particular product in the process of manufacturing.Three control limit levels are used:the warning control limit,inner control limit,and outer control limit.Together,they enhance the capability for variation detection.A genetic algorithm can be used for optimization during the in-control process,whereby the optimal parameters can be established for the proposed control chart.The control chart performance is assessed using the average run length,while the influence of the model parameters upon the control chart solution is assessed via sensitivity analysis based on an orthogonal experimental design withmultiple linear regression.A comparative study was conducted based on the out-of-control average run length,in which the developed control chart offered greater sensitivity in the detection of process shifts while making use of smaller samples on average than is the case for existing control charts.Finally,to exhibit the utility of the developed control chart,this paper presents its application using simulated data with parameters drawn from the real set of data.展开更多
A novel adaptive multiple dependent state sampling plan(AMDSSP)was designed to inspect products from a continuous manufacturing process under the accelerated life test(ALT)using both double sampling plan(DSP)and multi...A novel adaptive multiple dependent state sampling plan(AMDSSP)was designed to inspect products from a continuous manufacturing process under the accelerated life test(ALT)using both double sampling plan(DSP)and multiple dependent state sampling plan(MDSSP)concepts.Under accelerated conditions,the lifetime of a product follows the Weibull distribution with a known shape parameter,while the scale parameter can be determined using the acceleration factor(AF).The Arrhenius model is used to estimate AF when the damaging process is temperature-sensitive.An economic design of the proposed sampling plan was also considered for the ALT.A genetic algorithm with nonlinear optimization was used to estimate optimal plan parameters to minimize the average sample number(ASN)and total cost of inspection(TC)under both producer’s and consumer’s risks.Numerical results are presented to support the AMDSSP for the ALT,while performance comparisons between the AMDSSP,the MDSSP and a single sampling plan(SSP)for the ALT are discussed.Results indicated that the AMDSSP was more flexible and efficient for ASN and TC than the MDSSP and SSP plans under accelerated conditions.The AMDSSP also had a higher operating characteristic(OC)curve than both the existing sampling plans.Two real datasets of electronic devices for the ALT at high temperatures demonstrated the practicality and usefulness of the proposed sampling plan.展开更多
Adopting the classical theory of hydrocodes,the constitutive relations of concretes are separated into an equation of state(EoS)which describes the volumetric behavior of concrete material and a strength model which d...Adopting the classical theory of hydrocodes,the constitutive relations of concretes are separated into an equation of state(EoS)which describes the volumetric behavior of concrete material and a strength model which depicts the shear properties of concrete.The experiments on the EoS of concrete is always challenging due to the technical difficulties and equipment limitations,especially for the specimen size effect on the EoS.Although some researchers investigate the shock properties of concretes by fly-plate impact tests,the specimens used in their tests are usually in one size.In this paper,the fly-plate impact tests on concrete specimens with different sizes are performed to investigate the size effect on the shock properties of concrete materials.The mechanical background of the size effect on the shock properties are revealed,which is related to the lateral rarefaction effect and the deviatoric stress produced in the specimen.According to the tests results,the modified EoS considering the size effect on the shock properties of concrete are proposed,which the bulk modulus of concrete is unpredicted by up to 20% if size effects are not accounted for.展开更多
We study the asymptotics tot the statistic of chi-square in type Ⅱ error. By the contraction principle, the large deviations and moderate deviations are obtained, and the rate function of moderate deviations can be c...We study the asymptotics tot the statistic of chi-square in type Ⅱ error. By the contraction principle, the large deviations and moderate deviations are obtained, and the rate function of moderate deviations can be calculated explicitly which is a squared function.展开更多
In large sample studies where distributions may be skewed and not readily transformed to symmetry, it may be of greater interest to compare different distributions in terms of percentiles rather than means. For exampl...In large sample studies where distributions may be skewed and not readily transformed to symmetry, it may be of greater interest to compare different distributions in terms of percentiles rather than means. For example, it may be more informative to compare two or more populations with respect to their within population distributions by testing the hypothesis that their corresponding respective 10th, 50th, and 90th percentiles are equal. As a generalization of the median test, the proposed test statistic is asymptotically distributed as Chi-square with degrees of freedom dependent upon the number of percentiles tested and constraints of the null hypothesis. Results from simulation studies are used to validate the nominal 0.05 significance level under the null hypothesis, and asymptotic power properties that are suitable for testing equality of percentile profiles against selected profile discrepancies for a variety of underlying distributions. A pragmatic example is provided to illustrate the comparison of the percentile profiles for four body mass index distributions.展开更多
Zero-inflated distributions are common in statistical problems where there is interest in testing homogeneity of two or more independent groups. Often, the underlying distribution that has an inflated number of zero-v...Zero-inflated distributions are common in statistical problems where there is interest in testing homogeneity of two or more independent groups. Often, the underlying distribution that has an inflated number of zero-valued observations is asymmetric, and its functional form may not be known or easily characterized. In this case, comparisons of the groups in terms of their respective percentiles may be appropriate as these estimates are nonparametric and more robust to outliers and other irregularities. The median test is often used to compare distributions with similar but asymmetric shapes but may be uninformative when there are excess zeros or dissimilar shapes. For zero-inflated distributions, it is useful to compare the distributions with respect to their proportion of zeros, coupled with the comparison of percentile profiles for the observed non-zero values. A simple chi-square test for simultaneous testing of these two components is proposed, applicable to both continuous and discrete data. Results of simulation studies are reported to summarize empirical power under several scenarios. We give recommendations for the minimum sample size which is necessary to achieve suitable test performance in specific examples.展开更多
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.展开更多
To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - t...To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - the Whirling Beam. The test results showed some unsteady aerodynamic behavior of the model rotor operating in the vortex-ring state. A very irregular variation of the rotortorque at low rate-of-descent was observed here for the first time. We considered it to be the start of the 'power settling' and determined the critical descent velocity according to this observation. A previous criterion for the vortex-ring state was modified to give a semi-empirical method for predicting the entire vortex-ring state boundary. The computed boundary shows a good correlation with the model test results and the flight experiences.展开更多
The design of a new adaptive version of the multiple dependent state(AMDS)sampling plan is presented based on the time truncated life test under the Weibull distribution.We achieved the proposed sampling plan by apply...The design of a new adaptive version of the multiple dependent state(AMDS)sampling plan is presented based on the time truncated life test under the Weibull distribution.We achieved the proposed sampling plan by applying the concept of the double sampling plan and existing multiple dependent state sampling plans.A warning sign for acceptance number was proposed to increase the probability of current lot acceptance.The optimal plan parameters were determined simultaneously with nonlinear optimization problems under the producer’s risk and consumer’s risk.A simulation study was presented to support the proposed sampling plan.A comparison between the proposed and existing sampling plans,namely multiple dependent state(MDS)sampling plans and a modified multiple dependent state(MMDS)sampling plan,was considered under the average sampling number and operating characteristic curve values.In addition,the use of two real datasets demonstrated the practicality and usefulness of the proposed sampling plan.The results indicated that the proposed plan is more flexible and efficient in terms of the average sample number compared to the existing MDS and MMDS sampling plans.展开更多
In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in stat...In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.展开更多
The current research about the flow ripple of axial piston pump mainly focuses on the effect of the structure of parts on the flow ripple. Therein, the structure of parts are usually designed and optimized at rated wo...The current research about the flow ripple of axial piston pump mainly focuses on the effect of the structure of parts on the flow ripple. Therein, the structure of parts are usually designed and optimized at rated working conditions. However, the pump usually has to work in large-scale and time-variant working conditions. Therefore, the flow ripple characteristics of pump and analysis for its test accuracy with respect to variant steady-state conditions and transient conditions in a wide range of operating parameters are focused in this paper. First, a simulation model has been constructed, which takes the kinematics of oil film within friction pairs into account for higher accuracy. Afterwards, a test bed which adopts Secondary Source Method is built to verify the model. The simulation and tests results show that the angular position of the piston, corresponding to the position where the peak flow ripple is produced, varies with the different pressure. The pulsating amplitude and pulsation rate of flow ripple increase with the rise of pressure and the variation rate of pressure. For the pump working at a constant speed, the flow pulsation rate decreases dramatically with the increasing speed when the speed is less than 27.78% of the maximum speed, subsequently presents a small decrease tendency with the speed further increasing. With the rise of the variation rate of speed, the pulsating amplitude and pulsation rate of flow ripple increase. As the swash plate angle augments, the pulsating amplitude of flow ripple increases, nevertheless the flow pulsation rate decreases. In contrast with the effect of the variation of pressure, the test accuracy of flow ripple is more sensitive to the variation of speed. It makes the test accuracy above 96.20% available for the pulsating amplitude of pressure deviating within a range of ~6% from the mean pressure. However, with a variation of speed deviating within a range of ±2% from the mean speed, the attainable test accuracy of flow ripple is above 93.07%. The model constructed in this research proposes a method to determine the flow ripple characteristics of pump and its attainable test accuracy under the large-scale and time-variant working conditions. Meanwhile, a discussion about the variation of flow ripple and its obtainable test accuracy with the conditions of the pump working in wide operating ranges is given as well.展开更多
Due to the particularity of its location algorithm,there are some unique difficulties and features regarding the test of target motion states of multilateration(MLAT)system for airport surface surveillance.This paper ...Due to the particularity of its location algorithm,there are some unique difficulties and features regarding the test of target motion states of multilateration(MLAT)system for airport surface surveillance.This paper proposed a test method applicable for the airport surface surveillance MLAT system,which can effectively determine whether the target is static or moving at a certain speed.Via a normalized test statistic designed in the sliding data window,the proposed method not only eliminates the impact of geometry Dilution of precision(GDOP)effectively,but also transforms the test of different motion states into the test of different probability density functions.Meanwhile,by adjusting the size of the sliding window,it can fulfill different test performance requirements.The method was developed through strict theoretical extrapolation and performance analysis,and simulations results verified its correctness and effectiveness.展开更多
Optimum utilization of the loading capability of engineering materials is an important and active contribution to protect nature's limited resources,and it is the key for economic design methods.In order to make u...Optimum utilization of the loading capability of engineering materials is an important and active contribution to protect nature's limited resources,and it is the key for economic design methods.In order to make use of the materials' resources,those must be known very well;but conventional test methods will offer only limited informational value.The range of questions raised is as wide as the application of engineering materials,and partially they are very specific.The development of huge computer powers enables numeric modelling to simulate structural behaviour in rather complex loading environments-so the real material behaviour is known under the given loading conditions.Here the art of material testing design starts.To study the material behaviour under very distinct and specific loading conditions makes it necessary to simulate different temperature ranges,loading speeds, environments etc.and mostly there doesn't exist any commonly agreed test standard.In this contribution two popular,non-standard test procedures and test systems will be discussed on the base of their application background,special design features as well as test results and typically gained information:The demand for highspeed tests up to 1000 s^(-1) of strain rate is very specific and originates primarily in the automotive industry and the answers enable CAE analysis of crashworthiness of vehicle structures under crash conditions.The information on the material behaviour under multiaxial loading conditions is a more general one.Multiaxial stress states can be reduced to an equivalent stress,which allows the evaluation of the material's constraint and criticality of stress state.Both discussed examples shall show that the open dialogue between the user and the producer of testing machines allows custom-tailored test solutions.展开更多
Based on quantitative microscopic examinations of welds and welding rate for different steels(40Cr and T10A) joint,which possess the ultra-fine microstructure after high frequency hardening(HFH) and salt-bath cyclic q...Based on quantitative microscopic examinations of welds and welding rate for different steels(40Cr and T10A) joint,which possess the ultra-fine microstructure after high frequency hardening(HFH) and salt-bath cyclic quenching(SCQ),the suitable defect grey scale threshold value was determined,and the welding rate of superplastic solid-state welding of different steels(40Cr and T10 A steel) was systematically inspected and analyzed by means of self-made ultrasonic imaging inspection system.The experimental results showed that the superplastic solid-state weld of different steels can be inspected more accurately,reliably and quickly by this system,and the results were in good accordance with that of metallographic observation.The welding rate of superplastic welding is in linear relation with tensile strength of joint.展开更多
By using swap test,a quantum private comparison(QPC) protocol of arbitrary single qubit states with a semi-honest third party is proposed.The semi-honest third party(TP) is required to help two participants perform th...By using swap test,a quantum private comparison(QPC) protocol of arbitrary single qubit states with a semi-honest third party is proposed.The semi-honest third party(TP) is required to help two participants perform the comparison.She can record intermediate results and do some calculations in the whole process of the protocol execution,but she cannot conspire with any of participants.In the process of comparison,the TP cannot get two participants’ private information except the comparison results.According to the security analysis,the proposed protocol can resist both outsider attacks and participants’ attacks.Compared with the existing QPC protocols,the proposed one does not require any entanglement swapping technology,but it can compare two participants’ qubits by performing swap test,which is easier to implement with current technology.Meanwhile,the proposed protocol can compare secret integers.It encodes secret integers into the amplitude of quantum state rather than transfer them as binary representations,and the encoded quantum state is compared by performing the swap test.Additionally,the proposed QPC protocol is extended to the QPC of arbitrary single qubit states by using multi-qubit swap test.展开更多
We describe two new derivations of the chi-square distribution. The first derivation uses the induction method, which requires only a single integral to calculate. The second derivation uses the Laplace transform and ...We describe two new derivations of the chi-square distribution. The first derivation uses the induction method, which requires only a single integral to calculate. The second derivation uses the Laplace transform and requires minimum assumptions. The new derivations are compared with the established derivations, such as by convolution, moment generating function, and Bayesian inference. The chi-square testing has seen many applications to physics and other fields. We describe a unique version of the chi-square test where both the variance and location are tested, which is then applied to environmental data. The chi-square test is used to make a judgment whether a laboratory method is capable of detection of gross alpha and beta radioactivity in drinking water for regulatory monitoring to protect health of population. A case of a failure of the chi-square test and its amelioration are described. The chi-square test is compared to and supplemented by the t-test.展开更多
Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test...Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.展开更多
Elexible variety has all along been a hallmark of America’s global strategy withdifferentiated treatment for specific nations. In the new century, Washingtondivides the major world forces into four categories in ligh...Elexible variety has all along been a hallmark of America’s global strategy withdifferentiated treatment for specific nations. In the new century, Washingtondivides the major world forces into four categories in light of a comprehensive crite-rion of whether they have been fused into the international system, are going to-ward democracy or benefit world stability. They include: insiders or allies (Europeand Japan), marginalized ones (some underdeveloped African nations), outsidersor "rogues" (Iraq, North Korea) and finally, travelers on the way or "transitionstates". Interpretations by U.S. strategic reports define the "transition states"展开更多
基金the Science,Research and Innovation Promotion Funding(TSRI)(Grant No.FRB660012/0168)managed under Rajamangala University of Technology Thanyaburi(FRB66E0646O.4).
文摘This study presents the design of a modified attributed control chart based on a double sampling(DS)np chart applied in combination with generalized multiple dependent state(GMDS)sampling to monitor the mean life of the product based on the time truncated life test employing theWeibull distribution.The control chart developed supports the examination of the mean lifespan variation for a particular product in the process of manufacturing.Three control limit levels are used:the warning control limit,inner control limit,and outer control limit.Together,they enhance the capability for variation detection.A genetic algorithm can be used for optimization during the in-control process,whereby the optimal parameters can be established for the proposed control chart.The control chart performance is assessed using the average run length,while the influence of the model parameters upon the control chart solution is assessed via sensitivity analysis based on an orthogonal experimental design withmultiple linear regression.A comparative study was conducted based on the out-of-control average run length,in which the developed control chart offered greater sensitivity in the detection of process shifts while making use of smaller samples on average than is the case for existing control charts.Finally,to exhibit the utility of the developed control chart,this paper presents its application using simulated data with parameters drawn from the real set of data.
基金This research was supported by The Science,Research and Innovation Promotion Funding(TSRI)(Grant No.FRB650070/0168)This research block grants was managed under Rajamangala University of Technology Thanyaburi(FRB65E0634M.3).
文摘A novel adaptive multiple dependent state sampling plan(AMDSSP)was designed to inspect products from a continuous manufacturing process under the accelerated life test(ALT)using both double sampling plan(DSP)and multiple dependent state sampling plan(MDSSP)concepts.Under accelerated conditions,the lifetime of a product follows the Weibull distribution with a known shape parameter,while the scale parameter can be determined using the acceleration factor(AF).The Arrhenius model is used to estimate AF when the damaging process is temperature-sensitive.An economic design of the proposed sampling plan was also considered for the ALT.A genetic algorithm with nonlinear optimization was used to estimate optimal plan parameters to minimize the average sample number(ASN)and total cost of inspection(TC)under both producer’s and consumer’s risks.Numerical results are presented to support the AMDSSP for the ALT,while performance comparisons between the AMDSSP,the MDSSP and a single sampling plan(SSP)for the ALT are discussed.Results indicated that the AMDSSP was more flexible and efficient for ASN and TC than the MDSSP and SSP plans under accelerated conditions.The AMDSSP also had a higher operating characteristic(OC)curve than both the existing sampling plans.Two real datasets of electronic devices for the ALT at high temperatures demonstrated the practicality and usefulness of the proposed sampling plan.
基金supported by the National Natural Science Foundation of China[Grant Nos.51938011 and 51908405]Australian Research Council。
文摘Adopting the classical theory of hydrocodes,the constitutive relations of concretes are separated into an equation of state(EoS)which describes the volumetric behavior of concrete material and a strength model which depicts the shear properties of concrete.The experiments on the EoS of concrete is always challenging due to the technical difficulties and equipment limitations,especially for the specimen size effect on the EoS.Although some researchers investigate the shock properties of concretes by fly-plate impact tests,the specimens used in their tests are usually in one size.In this paper,the fly-plate impact tests on concrete specimens with different sizes are performed to investigate the size effect on the shock properties of concrete materials.The mechanical background of the size effect on the shock properties are revealed,which is related to the lateral rarefaction effect and the deviatoric stress produced in the specimen.According to the tests results,the modified EoS considering the size effect on the shock properties of concrete are proposed,which the bulk modulus of concrete is unpredicted by up to 20% if size effects are not accounted for.
基金the National Natural Science Foundation of China (10571139)
文摘We study the asymptotics tot the statistic of chi-square in type Ⅱ error. By the contraction principle, the large deviations and moderate deviations are obtained, and the rate function of moderate deviations can be calculated explicitly which is a squared function.
文摘In large sample studies where distributions may be skewed and not readily transformed to symmetry, it may be of greater interest to compare different distributions in terms of percentiles rather than means. For example, it may be more informative to compare two or more populations with respect to their within population distributions by testing the hypothesis that their corresponding respective 10th, 50th, and 90th percentiles are equal. As a generalization of the median test, the proposed test statistic is asymptotically distributed as Chi-square with degrees of freedom dependent upon the number of percentiles tested and constraints of the null hypothesis. Results from simulation studies are used to validate the nominal 0.05 significance level under the null hypothesis, and asymptotic power properties that are suitable for testing equality of percentile profiles against selected profile discrepancies for a variety of underlying distributions. A pragmatic example is provided to illustrate the comparison of the percentile profiles for four body mass index distributions.
文摘Zero-inflated distributions are common in statistical problems where there is interest in testing homogeneity of two or more independent groups. Often, the underlying distribution that has an inflated number of zero-valued observations is asymmetric, and its functional form may not be known or easily characterized. In this case, comparisons of the groups in terms of their respective percentiles may be appropriate as these estimates are nonparametric and more robust to outliers and other irregularities. The median test is often used to compare distributions with similar but asymmetric shapes but may be uninformative when there are excess zeros or dissimilar shapes. For zero-inflated distributions, it is useful to compare the distributions with respect to their proportion of zeros, coupled with the comparison of percentile profiles for the observed non-zero values. A simple chi-square test for simultaneous testing of these two components is proposed, applicable to both continuous and discrete data. Results of simulation studies are reported to summarize empirical power under several scenarios. We give recommendations for the minimum sample size which is necessary to achieve suitable test performance in specific examples.
基金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.
文摘To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - the Whirling Beam. The test results showed some unsteady aerodynamic behavior of the model rotor operating in the vortex-ring state. A very irregular variation of the rotortorque at low rate-of-descent was observed here for the first time. We considered it to be the start of the 'power settling' and determined the critical descent velocity according to this observation. A previous criterion for the vortex-ring state was modified to give a semi-empirical method for predicting the entire vortex-ring state boundary. The computed boundary shows a good correlation with the model test results and the flight experiences.
基金This research was supported by Thailand ScienceResearch and Innovation(TSRI)and Rajamangala University of Technology Thanyaburi(RMUTT)under National Science,Research and Innovation Fund(NSRF)BasicResearch Fund:Fiscal year 2022(ContractNo.FRB650070/0168 and under Project number FRB65E0634 M.3).
文摘The design of a new adaptive version of the multiple dependent state(AMDS)sampling plan is presented based on the time truncated life test under the Weibull distribution.We achieved the proposed sampling plan by applying the concept of the double sampling plan and existing multiple dependent state sampling plans.A warning sign for acceptance number was proposed to increase the probability of current lot acceptance.The optimal plan parameters were determined simultaneously with nonlinear optimization problems under the producer’s risk and consumer’s risk.A simulation study was presented to support the proposed sampling plan.A comparison between the proposed and existing sampling plans,namely multiple dependent state(MDS)sampling plans and a modified multiple dependent state(MMDS)sampling plan,was considered under the average sampling number and operating characteristic curve values.In addition,the use of two real datasets demonstrated the practicality and usefulness of the proposed sampling plan.The results indicated that the proposed plan is more flexible and efficient in terms of the average sample number compared to the existing MDS and MMDS sampling plans.
文摘In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.
基金Supported by National Basic Research Program of China(973 Program,Grant No.2014CB046403)National Key Technology R&D Program of the Twelfth Five-year Plan of China(Grant No.2013BAF07B01)
文摘The current research about the flow ripple of axial piston pump mainly focuses on the effect of the structure of parts on the flow ripple. Therein, the structure of parts are usually designed and optimized at rated working conditions. However, the pump usually has to work in large-scale and time-variant working conditions. Therefore, the flow ripple characteristics of pump and analysis for its test accuracy with respect to variant steady-state conditions and transient conditions in a wide range of operating parameters are focused in this paper. First, a simulation model has been constructed, which takes the kinematics of oil film within friction pairs into account for higher accuracy. Afterwards, a test bed which adopts Secondary Source Method is built to verify the model. The simulation and tests results show that the angular position of the piston, corresponding to the position where the peak flow ripple is produced, varies with the different pressure. The pulsating amplitude and pulsation rate of flow ripple increase with the rise of pressure and the variation rate of pressure. For the pump working at a constant speed, the flow pulsation rate decreases dramatically with the increasing speed when the speed is less than 27.78% of the maximum speed, subsequently presents a small decrease tendency with the speed further increasing. With the rise of the variation rate of speed, the pulsating amplitude and pulsation rate of flow ripple increase. As the swash plate angle augments, the pulsating amplitude of flow ripple increases, nevertheless the flow pulsation rate decreases. In contrast with the effect of the variation of pressure, the test accuracy of flow ripple is more sensitive to the variation of speed. It makes the test accuracy above 96.20% available for the pulsating amplitude of pressure deviating within a range of ~6% from the mean pressure. However, with a variation of speed deviating within a range of ±2% from the mean speed, the attainable test accuracy of flow ripple is above 93.07%. The model constructed in this research proposes a method to determine the flow ripple characteristics of pump and its attainable test accuracy under the large-scale and time-variant working conditions. Meanwhile, a discussion about the variation of flow ripple and its obtainable test accuracy with the conditions of the pump working in wide operating ranges is given as well.
基金supported by the National Science and Technology Pillar Program of China (No.2011BAH24B06)the National Nature Science Foundation of China+1 种基金Chinese Civil Aviation Jointly Funded Foundation Project (No.U1433129)the Sichuan Provincial Department of Education Foundation(No.13ZB0287)
文摘Due to the particularity of its location algorithm,there are some unique difficulties and features regarding the test of target motion states of multilateration(MLAT)system for airport surface surveillance.This paper proposed a test method applicable for the airport surface surveillance MLAT system,which can effectively determine whether the target is static or moving at a certain speed.Via a normalized test statistic designed in the sliding data window,the proposed method not only eliminates the impact of geometry Dilution of precision(GDOP)effectively,but also transforms the test of different motion states into the test of different probability density functions.Meanwhile,by adjusting the size of the sliding window,it can fulfill different test performance requirements.The method was developed through strict theoretical extrapolation and performance analysis,and simulations results verified its correctness and effectiveness.
文摘Optimum utilization of the loading capability of engineering materials is an important and active contribution to protect nature's limited resources,and it is the key for economic design methods.In order to make use of the materials' resources,those must be known very well;but conventional test methods will offer only limited informational value.The range of questions raised is as wide as the application of engineering materials,and partially they are very specific.The development of huge computer powers enables numeric modelling to simulate structural behaviour in rather complex loading environments-so the real material behaviour is known under the given loading conditions.Here the art of material testing design starts.To study the material behaviour under very distinct and specific loading conditions makes it necessary to simulate different temperature ranges,loading speeds, environments etc.and mostly there doesn't exist any commonly agreed test standard.In this contribution two popular,non-standard test procedures and test systems will be discussed on the base of their application background,special design features as well as test results and typically gained information:The demand for highspeed tests up to 1000 s^(-1) of strain rate is very specific and originates primarily in the automotive industry and the answers enable CAE analysis of crashworthiness of vehicle structures under crash conditions.The information on the material behaviour under multiaxial loading conditions is a more general one.Multiaxial stress states can be reduced to an equivalent stress,which allows the evaluation of the material's constraint and criticality of stress state.Both discussed examples shall show that the open dialogue between the user and the producer of testing machines allows custom-tailored test solutions.
基金Item Sponsored by Provincial Natural Science Foundation of Henan(984040900)State Key Laboratory of Laser Technology([2001]0110)
文摘Based on quantitative microscopic examinations of welds and welding rate for different steels(40Cr and T10A) joint,which possess the ultra-fine microstructure after high frequency hardening(HFH) and salt-bath cyclic quenching(SCQ),the suitable defect grey scale threshold value was determined,and the welding rate of superplastic solid-state welding of different steels(40Cr and T10 A steel) was systematically inspected and analyzed by means of self-made ultrasonic imaging inspection system.The experimental results showed that the superplastic solid-state weld of different steels can be inspected more accurately,reliably and quickly by this system,and the results were in good accordance with that of metallographic observation.The welding rate of superplastic welding is in linear relation with tensile strength of joint.
基金Project supported by the National Natural Science Foundation of China(Grant No.62076042)the Key Research and Development Project of Sichuan Province,China(Grant Nos.2020YFG0307 and 2021YFSY0012)+2 种基金the Key Research and Development Project of Chengdu Municipality,China(Grant No.2019-YF05-02028-GX)the Innovation Team of Quantum Security Communication of Sichuan Province,China(Grant No.17TD0009)the Academic and Technical Leaders Training Funding Support Projects of Sichuan Province,China(Grant No.2016120080102643)。
文摘By using swap test,a quantum private comparison(QPC) protocol of arbitrary single qubit states with a semi-honest third party is proposed.The semi-honest third party(TP) is required to help two participants perform the comparison.She can record intermediate results and do some calculations in the whole process of the protocol execution,but she cannot conspire with any of participants.In the process of comparison,the TP cannot get two participants’ private information except the comparison results.According to the security analysis,the proposed protocol can resist both outsider attacks and participants’ attacks.Compared with the existing QPC protocols,the proposed one does not require any entanglement swapping technology,but it can compare two participants’ qubits by performing swap test,which is easier to implement with current technology.Meanwhile,the proposed protocol can compare secret integers.It encodes secret integers into the amplitude of quantum state rather than transfer them as binary representations,and the encoded quantum state is compared by performing the swap test.Additionally,the proposed QPC protocol is extended to the QPC of arbitrary single qubit states by using multi-qubit swap test.
文摘We describe two new derivations of the chi-square distribution. The first derivation uses the induction method, which requires only a single integral to calculate. The second derivation uses the Laplace transform and requires minimum assumptions. The new derivations are compared with the established derivations, such as by convolution, moment generating function, and Bayesian inference. The chi-square testing has seen many applications to physics and other fields. We describe a unique version of the chi-square test where both the variance and location are tested, which is then applied to environmental data. The chi-square test is used to make a judgment whether a laboratory method is capable of detection of gross alpha and beta radioactivity in drinking water for regulatory monitoring to protect health of population. A case of a failure of the chi-square test and its amelioration are described. The chi-square test is compared to and supplemented by the t-test.
文摘Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.
文摘Elexible variety has all along been a hallmark of America’s global strategy withdifferentiated treatment for specific nations. In the new century, Washingtondivides the major world forces into four categories in light of a comprehensive crite-rion of whether they have been fused into the international system, are going to-ward democracy or benefit world stability. They include: insiders or allies (Europeand Japan), marginalized ones (some underdeveloped African nations), outsidersor "rogues" (Iraq, North Korea) and finally, travelers on the way or "transitionstates". Interpretations by U.S. strategic reports define the "transition states"
