This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs t...This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.展开更多
In view of the problems and the weaknesses of component-based software ( CBS ) reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliabili...In view of the problems and the weaknesses of component-based software ( CBS ) reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliability process analysis model is proposed incorporating debugging time delay, im- perfect debugging and limited debugging resources. CBS integration testing is formulated as a multi- queue muhichannel and finite server queuing model (MMFSQM) to illustrate fault detection process (FDP) and fault correction process (FCP). A unified FCP is sketched, given debugging delay, the diversities of faults processing and the limitations of debugging resources. Furthermore, the impacts of imperfect debugging on fault detection and correction are explicitly elaborated, and the expres- sions of the cumulative number of fault detected and corrected are illustrated. Finally, the results of numerical experiments verify the effectiveness and rationality of the proposed model. By comparison, the proposed model is superior to the other models. The proposed model is closer to real CBS testing process and facilitates software engineer' s quantitatively analyzing, measuring and predicting CBS reliability. K展开更多
To understand the processes and energy dissipation performance caused by turbulence during the wave run-up over a stepped revetment,hydraulic model tests with steady flow conditions are conducted and correlated with u...To understand the processes and energy dissipation performance caused by turbulence during the wave run-up over a stepped revetment,hydraulic model tests with steady flow conditions are conducted and correlated with unsteady flow conditions of the wave run-up within a short time frame.Under irregular waves,the run-up reduction over a stepped revetment is dependent on the Iribarren number and decreases for decreasing Iribarren numbers.Velocity gradients are found to be similar in a steady and unsteady flow regime near the pseudo-bottom.展开更多
A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault inje...A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault injection model to trigger security exceptions.The testing process could be recorded by the monitoring mechanism of the strategy,and the monitoring information was written into the security log.The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log.Lastly,some experiments were done in an integration testing platform to verify the applicability of the strategy.The experimental results show that the strategy is effective and operable.The detecting rate is more than 90%for vulnerability components.展开更多
Many studies have been conducted by analyzing crash data that included road profile, site conditions, vehicle configurations and weights, driver behavior, etc.. However, limited studies have been conducted evaluating ...Many studies have been conducted by analyzing crash data that included road profile, site conditions, vehicle configurations and weights, driver behavior, etc.. However, limited studies have been conducted evaluating the impact of these factors on crashes and/or rollover through simulations. This is mainly due to lack of availability of verified full vehicle flexible-body models. The verification process is costly as it requires instrumentation of a heavy vehicle, scanning of road surfaces, and collection of data by running the vehicle over different road conditions, performing various maneuvering, etc. This paper presents the reverse engineering process of a class-8 truck and validation of a full flexible-body simulation model of a Wabash 53-foot trailer against the strain data recoded from proving ground testing of an instrumented truck. Simulation results show that, with the exception of the noise from the strain gage data from instrumented test run at 30 mph, there is a good agreement in periodicity and relative amplitude with the ADAMS model. A comparison of strain data from the flex-body model and the instrumented truck shows that the modeling and verification approach presented in this paper can be confidently used to validate the full flexible-body models developed for specific analyses.展开更多
In order to compensate for limitations of microscopic study on loess triaxial tests, taking the loess in Longxi area as an example, the authors established the loess triaxial test model by using PFC3D software and sim...In order to compensate for limitations of microscopic study on loess triaxial tests, taking the loess in Longxi area as an example, the authors established the loess triaxial test model by using PFC3D software and simulating tfiaxial shear test under the different confining pressures in 0 kPa, 50 kPa and 300 kPa. Compared with laboratory triaxial shear test, the numerical simulation test has a guiding role in loess mechanical strength analysis.展开更多
The tensile properties of a series of soybean protein yarns are tested in USTER THINKPAID Ⅲ. A nonlinear viscoelastic model has been proposed to describe the tensile behavior of soybean protein yarns. The model is co...The tensile properties of a series of soybean protein yarns are tested in USTER THINKPAID Ⅲ. A nonlinear viscoelastic model has been proposed to describe the tensile behavior of soybean protein yarns. The model is composed of a Maxwell element, a linear spring and a nonlinear spring. The tensile properties of soybean protein yam are analyzed. The stress-strain curves of the yams are fitted. The average breaking tenacity and specific work of rupture are calculated using the average breaking strain. Comparisons indicate that theoretical predictions conform the experimental results very well.展开更多
XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity...XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity of XML technology for web-based software engineering with the emphasis on collaborative software testing in-volving the use of statechart. The paper presents the approach of building the statechart schema with XML Sche-ma. It also describes the use of the schema in a web-based collaborative software testing CASE environment.展开更多
To explore the feasibility of the full automatic animal experimental cabin to establish the animal models in normobaric/hypobaric hypoxic and high carbon dioxide environment. Methods: Sixty SPF-class male DS rats wer...To explore the feasibility of the full automatic animal experimental cabin to establish the animal models in normobaric/hypobaric hypoxic and high carbon dioxide environment. Methods: Sixty SPF-class male DS rats were divided into 2 groups, 20 for normobaric, hypoxic conditions and the other 40 for hypobaric, hypoxic conditions. For each group, the pulmonary arterial pressure and carotid arterial pressure indicators of rats were examined by using the physiological multi-detector, and the pulmonary vascular changes in the structure were observed. Results: The normobaric/hypobaric hypoxic with high carbon dioxide environment can promote the formation of pulmonary hypertension and accelerate changes in pulmonary vascular remodeling, and promote the right ventricular hypertrophy. Conclusion: Clinical applications showed that the animal experimental cabin has observed and controlled accurately. The result was safe, reliable and reproducible. The cabin can successfully establish the pulmonary hypertension model in normobaric/hypobaric hypoxic with high carbon dioxide environment, and in order to study the physiological mechanism of a variety of circulation and respiratory diseases caused by lack of oxygen, which provided an experimental technology platform for clinical research.展开更多
This paper aims at investigating the efficacy of different state-of-art damage detection methods when applied to real worm structures subjected to ground motion excitations, for which the literature contributions are,...This paper aims at investigating the efficacy of different state-of-art damage detection methods when applied to real worm structures subjected to ground motion excitations, for which the literature contributions are, at present, still not fully comprehensive. To this purpose the paper analyses two test structures: (1) a four-story scaled steel frame tested on a shake table in a controlled laboratory conditions, and (2) a seven-story reinforced concrete building monitored during the seismic excitations of the 1999 Chi-Chi (Taiwan) Earthquake main shock and numerous fore and afiershocks. Some model based damage approaches and statistics based damage indexes are reviewed. The different methodologies and indexes are, then, applied to the two test structures with the final aim of analysing their performance and validity within the case of a laboratory scaled model and a real world structure subjected to input ground motion.展开更多
Linear mixed-effects models are widely used in analysis of longitudinal data. However, testing for zero-variance components of random effects has not been well-resolved in statistical literature, although some likelih...Linear mixed-effects models are widely used in analysis of longitudinal data. However, testing for zero-variance components of random effects has not been well-resolved in statistical literature, although some likelihood-based procedures have been proposed and studied. In this article, we propose a generalized p-value based method in coupling with fiducial inference to tackle this problem. The proposed method is also applied to test linearity of the nonparametric functions in additive models. We provide theoretical justifications and develop an implementation algorithm for the proposed method. We evaluate its finite-sample performance and compare it with that of the restricted likelihood ratio test via simulation experiments. We illustrate the proposed approach using an application from a nutritional study.展开更多
Contact binary systems,including massive,middle-mass and low-mass systems,have been observed.It is necessary to construct the evolutionary model for contact binary systems with all different masses.The model introduce...Contact binary systems,including massive,middle-mass and low-mass systems,have been observed.It is necessary to construct the evolutionary model for contact binary systems with all different masses.The model introduced by Huang,Song and Bi indicates some special and unique understandings of the physical processes occurring in the contact binaries.It is necessary to test whether this model can be applied to the early-type contact binaries.The best way to test a theoretical model is to know whether this model can explain the observational phenomena of such binaries.For this aim,a comparison is performed for the relations of mass-luminosity,mass-radius,and the distribution in the HR diagram obtained from the model introduced by Huang et al.and those from the astronomical observations.A good result is obtained by the comparison.This means the model can be used in calculating the evolution of early-type contact binaries,and can explain the observational phenomena of such binaries.展开更多
Single-index varying-coefficient models (SIVCMs) are very useful in multivariate nonparametric regression.However,there has less attention focused on inferences of the SIVCMs.Using the local linear method,we propose e...Single-index varying-coefficient models (SIVCMs) are very useful in multivariate nonparametric regression.However,there has less attention focused on inferences of the SIVCMs.Using the local linear method,we propose estimates of the unknowns in the SIVCMs.In this article,our main purpose is to examine whether the generalized likelihood ratio (GLR) tests are applicable to the testing problem for the index parameter in the SIVCMs.Under the null hypothesis our proposed GLR statistic follows the chi-squared distribution asymptotically with scale constant and degree of freedom independent of the nuisance parameters or functions,which is called as Wilks' phenomenon (see Fan et al.,2001).A simulation study is conducted to illustrate the proposed methodology.展开更多
文摘This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development beginning already early in the requirements definition phase. Testing requirements are some of the most important techniques to give feedback and to increase the quality of the result. Therefore testing of artifacts should be introduced as early as possible, even in the requirements definition phase.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Natural Science Foundation of China(No.60503015)+1 种基金the National Key R&D Program of China(No.2013BA17F02)the Shandong Province Science and Technology Program of China(No.2011GGX10108,2010GGX10104)
文摘In view of the problems and the weaknesses of component-based software ( CBS ) reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliability process analysis model is proposed incorporating debugging time delay, im- perfect debugging and limited debugging resources. CBS integration testing is formulated as a multi- queue muhichannel and finite server queuing model (MMFSQM) to illustrate fault detection process (FDP) and fault correction process (FCP). A unified FCP is sketched, given debugging delay, the diversities of faults processing and the limitations of debugging resources. Furthermore, the impacts of imperfect debugging on fault detection and correction are explicitly elaborated, and the expres- sions of the cumulative number of fault detected and corrected are illustrated. Finally, the results of numerical experiments verify the effectiveness and rationality of the proposed model. By comparison, the proposed model is superior to the other models. The proposed model is closer to real CBS testing process and facilitates software engineer' s quantitatively analyzing, measuring and predicting CBS reliability. K
基金part of the joint research project ‘wave STEPS’ funded by the German Federal Ministry of Education and Research(BMBF) through the German Coastal Engineering Research council(KFKI,03KIS108 and 03KIS119)
文摘To understand the processes and energy dissipation performance caused by turbulence during the wave run-up over a stepped revetment,hydraulic model tests with steady flow conditions are conducted and correlated with unsteady flow conditions of the wave run-up within a short time frame.Under irregular waves,the run-up reduction over a stepped revetment is dependent on the Iribarren number and decreases for decreasing Iribarren numbers.Velocity gradients are found to be similar in a steady and unsteady flow regime near the pseudo-bottom.
基金Project(513150601)supported by the National Pre-Research Project Foundation of China
文摘A fault injection model-oriented testing strategy was proposed for detecting component vulnerabilities.A fault injection model was defined,and the faults were injected into the tested component based on the fault injection model to trigger security exceptions.The testing process could be recorded by the monitoring mechanism of the strategy,and the monitoring information was written into the security log.The component vulnerabilities could be detected by the detecting algorithm through analyzing the security log.Lastly,some experiments were done in an integration testing platform to verify the applicability of the strategy.The experimental results show that the strategy is effective and operable.The detecting rate is more than 90%for vulnerability components.
文摘Many studies have been conducted by analyzing crash data that included road profile, site conditions, vehicle configurations and weights, driver behavior, etc.. However, limited studies have been conducted evaluating the impact of these factors on crashes and/or rollover through simulations. This is mainly due to lack of availability of verified full vehicle flexible-body models. The verification process is costly as it requires instrumentation of a heavy vehicle, scanning of road surfaces, and collection of data by running the vehicle over different road conditions, performing various maneuvering, etc. This paper presents the reverse engineering process of a class-8 truck and validation of a full flexible-body simulation model of a Wabash 53-foot trailer against the strain data recoded from proving ground testing of an instrumented truck. Simulation results show that, with the exception of the noise from the strain gage data from instrumented test run at 30 mph, there is a good agreement in periodicity and relative amplitude with the ADAMS model. A comparison of strain data from the flex-body model and the instrumented truck shows that the modeling and verification approach presented in this paper can be confidently used to validate the full flexible-body models developed for specific analyses.
文摘In order to compensate for limitations of microscopic study on loess triaxial tests, taking the loess in Longxi area as an example, the authors established the loess triaxial test model by using PFC3D software and simulating tfiaxial shear test under the different confining pressures in 0 kPa, 50 kPa and 300 kPa. Compared with laboratory triaxial shear test, the numerical simulation test has a guiding role in loess mechanical strength analysis.
文摘The tensile properties of a series of soybean protein yarns are tested in USTER THINKPAID Ⅲ. A nonlinear viscoelastic model has been proposed to describe the tensile behavior of soybean protein yarns. The model is composed of a Maxwell element, a linear spring and a nonlinear spring. The tensile properties of soybean protein yam are analyzed. The stress-strain curves of the yams are fitted. The average breaking tenacity and specific work of rupture are calculated using the average breaking strain. Comparisons indicate that theoretical predictions conform the experimental results very well.
基金Sponsored by Guangxi Science Research Foundation (Grant No. 0141046)
文摘XML is an important technology for Internet-based data exchange with far reaching capabilities be-yond for just data exchange. The paper describes the first results of a project that aims to explore the applicabil-ity of XML technology for web-based software engineering with the emphasis on collaborative software testing in-volving the use of statechart. The paper presents the approach of building the statechart schema with XML Sche-ma. It also describes the use of the schema in a web-based collaborative software testing CASE environment.
文摘To explore the feasibility of the full automatic animal experimental cabin to establish the animal models in normobaric/hypobaric hypoxic and high carbon dioxide environment. Methods: Sixty SPF-class male DS rats were divided into 2 groups, 20 for normobaric, hypoxic conditions and the other 40 for hypobaric, hypoxic conditions. For each group, the pulmonary arterial pressure and carotid arterial pressure indicators of rats were examined by using the physiological multi-detector, and the pulmonary vascular changes in the structure were observed. Results: The normobaric/hypobaric hypoxic with high carbon dioxide environment can promote the formation of pulmonary hypertension and accelerate changes in pulmonary vascular remodeling, and promote the right ventricular hypertrophy. Conclusion: Clinical applications showed that the animal experimental cabin has observed and controlled accurately. The result was safe, reliable and reproducible. The cabin can successfully establish the pulmonary hypertension model in normobaric/hypobaric hypoxic with high carbon dioxide environment, and in order to study the physiological mechanism of a variety of circulation and respiratory diseases caused by lack of oxygen, which provided an experimental technology platform for clinical research.
文摘This paper aims at investigating the efficacy of different state-of-art damage detection methods when applied to real worm structures subjected to ground motion excitations, for which the literature contributions are, at present, still not fully comprehensive. To this purpose the paper analyses two test structures: (1) a four-story scaled steel frame tested on a shake table in a controlled laboratory conditions, and (2) a seven-story reinforced concrete building monitored during the seismic excitations of the 1999 Chi-Chi (Taiwan) Earthquake main shock and numerous fore and afiershocks. Some model based damage approaches and statistics based damage indexes are reviewed. The different methodologies and indexes are, then, applied to the two test structures with the final aim of analysing their performance and validity within the case of a laboratory scaled model and a real world structure subjected to input ground motion.
基金supported by Shandong Provincial Natural Science Foundation of China(Grant No.ZR2014AM019)National Natural Science Foundation of China(Grant Nos.11171188 and 11529101)the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry of China,and National Science Foundation of USA(Grant Nos.DMS-1418042 and DMS-1620898)
文摘Linear mixed-effects models are widely used in analysis of longitudinal data. However, testing for zero-variance components of random effects has not been well-resolved in statistical literature, although some likelihood-based procedures have been proposed and studied. In this article, we propose a generalized p-value based method in coupling with fiducial inference to tackle this problem. The proposed method is also applied to test linearity of the nonparametric functions in additive models. We provide theoretical justifications and develop an implementation algorithm for the proposed method. We evaluate its finite-sample performance and compare it with that of the restricted likelihood ratio test via simulation experiments. We illustrate the proposed approach using an application from a nutritional study.
基金supported by the National Natural Science Foundation of China (Grant No.10933002)
文摘Contact binary systems,including massive,middle-mass and low-mass systems,have been observed.It is necessary to construct the evolutionary model for contact binary systems with all different masses.The model introduced by Huang,Song and Bi indicates some special and unique understandings of the physical processes occurring in the contact binaries.It is necessary to test whether this model can be applied to the early-type contact binaries.The best way to test a theoretical model is to know whether this model can explain the observational phenomena of such binaries.For this aim,a comparison is performed for the relations of mass-luminosity,mass-radius,and the distribution in the HR diagram obtained from the model introduced by Huang et al.and those from the astronomical observations.A good result is obtained by the comparison.This means the model can be used in calculating the evolution of early-type contact binaries,and can explain the observational phenomena of such binaries.
基金supported by National Natural Science Foundation of China (Grant Nos.10871072,11101114 and 11171112)PhD Program Foundation of Ministry of Education of China (Grant No.20090076110001)
文摘Single-index varying-coefficient models (SIVCMs) are very useful in multivariate nonparametric regression.However,there has less attention focused on inferences of the SIVCMs.Using the local linear method,we propose estimates of the unknowns in the SIVCMs.In this article,our main purpose is to examine whether the generalized likelihood ratio (GLR) tests are applicable to the testing problem for the index parameter in the SIVCMs.Under the null hypothesis our proposed GLR statistic follows the chi-squared distribution asymptotically with scale constant and degree of freedom independent of the nuisance parameters or functions,which is called as Wilks' phenomenon (see Fan et al.,2001).A simulation study is conducted to illustrate the proposed methodology.