Modified DS np Chart Using Generalized Multiple Dependent State Sampling under Time Truncated Life Test

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.

Designing Adaptive Multiple Dependent State Sampling Plan for Accelerated Life Tests

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.

大锻件统计学Chi-square test的研究和应用

根据大锻件生产的特点和统计学的基本理论方法,首次深入浅出地论述了大锻件的Chi-square test,即X2检验,并给出了具体应用示例。该方法可用于大锻件工艺参数的科学分析和生产验证,可用于大锻件质量分析和判断,可帮助逐步建立起大锻件的工序能力,帮助实现稳定并提升大锻件工艺和质量控制水平。

Experimental study on the size effect on the equation of state of concretes under shock loading

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.

Large Deviations and Moderate Deviations for the Chi-Square Test in Type Ⅱ Error

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.

Use of Pearson’s Chi-Square for Testing Equality of Percentile Profiles across Multiple Populations

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.

A Simple Chi-Square Statistic for Testing Homogeneity of Zero-Inflated 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.

Real-time embedded software testing method based on extended finite state machine

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.

A PREDICTION OF THE VORTEX-RING STATE BOUNDARY BASED ON MODEL TESTS

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.

A Novel Multiple Dependent State Sampling Plan Based on Time Truncated Life Tests Using Mean Lifetime

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.

Adding Transitions of Undefined States to State Transition Tables for Testability Enhancement

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.

Impact of Typical Steady-state Conditions and Transient Conditions on Flow Ripple and Its Test Accuracy for Axial Piston Pump

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.

A Test Method for the Static/Moving State of Targets Applied to Airport Surface Surveillance MLAT System

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.

Advanced test methods of material property characterization:high strain-rate testing and experimental simulation of multiaxial stress states

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.

Ultrasonic Nondestructive Testing of Superplastic Solid-State Welding Joint for Different Steels

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.

Quantum private comparison of arbitrary single qubit states based on swap test

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.

Chi-Square Distribution: New Derivations and Environmental Application

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.

Test Selection on Extended Finite State Machines with Provable Guarantees

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.

“Transition States” Testing America's Global Strategy

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"