Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and...Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.展开更多
The function of the UHVDC test base of the State Grid Corporation of China (SGCC) is oriented to serve UHVDC power transmission and substation projects, especially power transmission from West China to East China, and...The function of the UHVDC test base of the State Grid Corporation of China (SGCC) is oriented to serve UHVDC power transmission and substation projects, especially power transmission from West China to East China, and to promote localization of UHVDC transmission and substation equipment. In essentials, this test base consists of UHVDC test transmission line, corona cage, outdoor test site, UHV test hall, pollution and environment laboratory, electromagnetic environment simulation test site, insulator laboratory, arrester laboratory and live equipment test field. This paper introduces the function and design idea of the test base, presents the main performance parameters of the above-mentioned test facilities, and summarizes the matters of concern when siting and planning.展开更多
The construction of the UHVAC test base of SGCC is an important component of the pilot project on UHVAC power transmission and transformation in China. This paper introduces the layout, technical requirements and main...The construction of the UHVAC test base of SGCC is an important component of the pilot project on UHVAC power transmission and transformation in China. This paper introduces the layout, technical requirements and main test functions of the UHVAC test base as well as difficulties during construction. It lays stress on the characterization of a 1 000-kV single-circuit test line, a 1 000-kV one-tower double-circuit test line, a full voltage test site for UHV equipment, a climate laboratory, a corona cage and a long-wave-front impulse voltage generator.展开更多
Objectives:to verify the feasibility and reliability of the electronic version of Chinese SF-36 based on the Quality-of-Life-Recorder. Design: A crossover randomized controlled trial, comparing a paper-based and an el...Objectives:to verify the feasibility and reliability of the electronic version of Chinese SF-36 based on the Quality-of-Life-Recorder. Design: A crossover randomized controlled trial, comparing a paper-based and an electronic version of the Chinese SF-36, was conducted. According to generated random numbers, interviewees were asked to fill out either the electronic version or the paper version first. The second version was filled in after a pause of at least 10 min. Settings and participants: One group of 100 medical students at the School of Medicine of Zhejiang University and the other group of 50 outpatients at a clinic for general practice in Hangzhou City (China) were eventually recruited in this study. Results: The acceptance of the electronic version was good (60% of medical students and 84% of outpatients preferred the electronic version). At the level of eight-scale scores, the mean-difference for each scale (except for general health) between the two versions was less than 5%. At the level of 36 questions, the percentage of "exact agreement" ranged within 64%～99%; the percentage of "global agreement" ranged within 72%～99%; 77% of the kappa coefficients demonstrated "good/excellent agreement" and 23% of the kappa coefficients demonstrated "medium agreement". Conclusion: This study, for the first time, can provide empirical basis for the confirmation of the feasibility and reliability of the electronic version of the Chinese SF-36 and may provide an impulse towards widespread deployment of the Quality-of-Life-Recorder in Chinese populations.展开更多
The study on slide stability of hydraulic structures on subbed soil was made. Using the slide test results of dragged concreting base plates on subbed soil pits, the decreased value of bearing capacity on slide after ...The study on slide stability of hydraulic structures on subbed soil was made. Using the slide test results of dragged concreting base plates on subbed soil pits, the decreased value of bearing capacity on slide after re- bound and repression influence of subbed soil was determined, and the envelope of ultimate slide shear resistance was also quantitatively determined. Due to the lack of similar mechanisms of slide stability on subbed soil and base plate of hydraulic structures, different safety coefficients for the slide stability were adopted. It was suggested to use the maximum compressive stress O＇m~ of eccentric load to predict structure displacement, slide and creepy slippage of subbed soil, to determine the sliding creepy contour and limit the maximum load on subbed soil. Two hydraulic structures that had been put into operation were reviewed by this method, and the results accorded with the real conditions.展开更多
In this article, some of the main contributions to BI （Bio-Impedance） parameter-based systems for medical, biological and industrial fields, oriented to develop micro laboratory systems are summarized. These small s...In this article, some of the main contributions to BI （Bio-Impedance） parameter-based systems for medical, biological and industrial fields, oriented to develop micro laboratory systems are summarized. These small systems are enabled by the development of new measurement techniques and systems （labs）, based on the impedance as biomarker. The electrical properties of the life mater allow the straightforward, low cost and usually non-invasive measurement methods to define its status or value, with the possibility to know its time evolution. This work proposes a review of bio-impedance based methods being employed to develop new LoC （Lab-on-a-Chips） systems, and some open problems identified as main research challenges, such as, the accuracy limits of measurements techniques, the role of the microelectrode-biological impedance modeling in measurements and system portability specifications demanded for many applications.展开更多
In this paper,a physical base friction test model of a slope is established.The model is based on similarity principles and the geological conditions of a complicated bridge slope during construction,deformation and f...In this paper,a physical base friction test model of a slope is established.The model is based on similarity principles and the geological conditions of a complicated bridge slope during construction,deformation and failure.The behavior of the slope in both its natural state and during excavation loading is qualitatively analyzed through base friction tests.The base friction test results are then subjected to comparison and analysis using finite element numerical simulation.The findings show that the whole engineered slope tends to stabilize in its natural state,whereas instabilities will arise at faulted rock masses located near bridge piers during excavation loading.Therefore,to ensure normal construction operation of bridge works,it is suggested that pre-reinforcement of faulted rock masses be performed.展开更多
Background:The ingestion of golden thread contaminated with heavy metals through the food chain leads to detrimental effects to human health.During digestion,not all of the heavy metals could be released to the gastro...Background:The ingestion of golden thread contaminated with heavy metals through the food chain leads to detrimental effects to human health.During digestion,not all of the heavy metals could be released to the gastrointestinal tract and readily to be absorbed by human body.Thus,bioaccessibility is an important issue in health risk assessments.Aims and Objectives:The aims and objectives of this study were to investigate the bioaccessibility of Cd in golden thread and assess the associated health risks based on the exposure to bioaccessible Cd.Materials and Methods:Inductively coupled plasma mass spectrometry(ICP-MS)has been applied to determine the Cd content in golden thread.Physiologically based extraction test(PBET)digestion was performed in the in vitro/Caco2 cell model to investigate the bioaccessibility of Cd in golden thread.Furthermore,the target hazard quotient(THQ)was used to assess the risks of the total and the bioaccessible content of Cd in golden thread.Results:The results revealed that the total Cd content in six batches of golden thread ranged from 3.203 to 5.723 mg/kg.After uptake by Caco2 cells,the bioaccessibility of Cd ranged from 42.36%to 59.73%.The results of the risk assessment indicated that prior to uptake by Caco2 cells,the THQ values of Cd for all batches of golden thread were greater than 1.However,after uptake by Caco2 cells,the THQ values of Cd in all samples were less than 1,thus suggesting that the risks were at a safe level.Conclusion:This study was the first to perform health risk assessment with bioaccessible heavy metals present in traditional Chinese medicine by PBET digestion using an in vitro/Caco2 cell model,thus enabling us to obtain more accurate and objective results while allowing us to avoid unnecessary government intervention and to establish more reasonable limit standards for heavy metals.展开更多
Screening for colorectal cancer(CRC)is among the mosteffective approaches to cancer prevention,yet achievinghigh adherence to effective screening offers is challenging[1].Blood-based tests that could be easily impleme...Screening for colorectal cancer(CRC)is among the mosteffective approaches to cancer prevention,yet achievinghigh adherence to effective screening offers is challenging[1].Blood-based tests that could be easily implemented inroutine medical practice might be a promising approachto achieve higher adherence rates than with conven-tional stool-based or endoscopic screening[2,3].However,neoplasm detection rates of previously developed and pro-posed blood-based tests have not been competitive tothose of modern stool-based tests[2],in particular fecalimmunochemical tests(FITs)that are meanwhile widelyused for CRC screening in an increasing number of coun-tries[4].Most recently,performance of a novel cell-freeDNA(cfDNA)blood-based test for detecting colorectalneoplasms was validated in the ECLIPSE study,a largescreening population undergoing screening colonoscopy[5],being the first of its kind to achieve FDA approval asa primary screening option for CRC.展开更多
Calibration coefficients validation is the foundation for ascertaining the sensor performance and carrying out the quantitative application.Based on the analysis of the differences between the calibration and validati...Calibration coefficients validation is the foundation for ascertaining the sensor performance and carrying out the quantitative application.Based on the analysis of the differences between the calibration and validation,two calibration coefficients validation methods were introduced in this paper.Taking the HJ-1A satellite CCD1 camera as an example,the uncertainties of calibration coefficients validation were analyzed.The calibration coefficients validation errors were simulated based on the measured data at an Inner Mongolia test site.The result showed that in the large view angle,the ground directional reflectance variation and the atmospheric path variation were the main error sources in calibration coefficients validation.The ground directional reflectance correction and atmospheric observation angle normalization should be carried out to improve the validation accuracy of calibration coefficients.展开更多
The stability of slopes is essential for ensuring safe production in open-pit mines.Analyzing and managing the deformation and failure of the slope rock mass becomes more challenging as the slope height increases.To i...The stability of slopes is essential for ensuring safe production in open-pit mines.Analyzing and managing the deformation and failure of the slope rock mass becomes more challenging as the slope height increases.To investigate the damage patterns of slopes with varying heights,three slope models were developed based on a rock slope in Dagushan,China.The deformation failure processes of slopes under the influence of excavation and unloading were analyzed using the base friction test method in combination with digital image technology contrasting.The results supported the following findings:(1)Unloading tensile stress caused lateral partitioning in the slope.Both the foot and top of the slope underwent initial tensile cracks.(2)The destabilization mechanism of unloading deformation in slopes of different heights involved a combination of traction at the foot of the slope or pushing at the top of the slope,followed by accelerated deformation,deceleration creep,and overall destabilization.(3)The unloading damage patterns of slopes at different heights were summarized as follows:compression tension cracking,traction,and slip damage for medium and low slopes;compression tension cracking,traction,and slip failure for the upper part of high slopes;and relaxation tension cracking,pushing,traction,and slip failure for the lower part.Moreover,the upper part of ultra-high slopes exhibited compression tension cracking,traction,and slip failure,while the middle and lower parts displayed relaxation tension cracking,pushing,traction,and slip patterns.Finally,numerical simulations were conducted to verify the results of the test analyses,which demonstrated good consistency.These research results were of great engineering value for proposing effective safety management measures for high slopes.展开更多
Tianiin Automotive Test Center has a test capability as well as a capability of conducting universality techniques research. With fixed assets of around RMB 76.44 million yuan and an architectural area of 11,200 sqm, ...Tianiin Automotive Test Center has a test capability as well as a capability of conducting universality techniques research. With fixed assets of around RMB 76.44 million yuan and an architectural area of 11,200 sqm, test labs mainly include: auto emission test lab, full-scale vehicle crash test lab, auto safety test lab, auto lighting and view field test lab, engine test lab,展开更多
For several decades, much attention has been paid to the two-sample Behrens-Fisher (BF) problem which tests the equality of the means or mean vectors of two normal populations with unequal variance/covariance structur...For several decades, much attention has been paid to the two-sample Behrens-Fisher (BF) problem which tests the equality of the means or mean vectors of two normal populations with unequal variance/covariance structures. Little work, however, has been done for the k-sample BF problem for high dimensional data which tests the equality of the mean vectors of several high-dimensional normal populations with unequal covariance structures. In this paper we study this challenging problem via extending the famous Scheffe’s transformation method, which reduces the k-sample BF problem to a one-sample problem. The induced one-sample problem can be easily tested by the classical Hotelling’s T 2 test when the size of the resulting sample is very large relative to its dimensionality. For high dimensional data, however, the dimensionality of the resulting sample is often very large, and even much larger than its sample size, which makes the classical Hotelling’s T 2 test not powerful or not even well defined. To overcome this difficulty, we propose and study an L 2-norm based test. The asymptotic powers of the proposed L 2-norm based test and Hotelling’s T 2 test are derived and theoretically compared. Methods for implementing the L 2-norm based test are described. Simulation studies are conducted to compare the L 2-norm based test and Hotelling’s T 2 test when the latter can be well defined, and to compare the proposed implementation methods for the L 2-norm based test otherwise. The methodologies are motivated and illustrated by a real data example.展开更多
The use of mathematics for documenting, in- specting, and testing software is explained and illus- trated. Three measures of software quality are described and discussed. Then three distinct complementary approaches t...The use of mathematics for documenting, in- specting, and testing software is explained and illus- trated. Three measures of software quality are described and discussed. Then three distinct complementary approaches to software quality assurance are presented. A case study, the testing and inspection of a safety-critical system, is discussed in detail.展开更多
文摘Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.
文摘The function of the UHVDC test base of the State Grid Corporation of China (SGCC) is oriented to serve UHVDC power transmission and substation projects, especially power transmission from West China to East China, and to promote localization of UHVDC transmission and substation equipment. In essentials, this test base consists of UHVDC test transmission line, corona cage, outdoor test site, UHV test hall, pollution and environment laboratory, electromagnetic environment simulation test site, insulator laboratory, arrester laboratory and live equipment test field. This paper introduces the function and design idea of the test base, presents the main performance parameters of the above-mentioned test facilities, and summarizes the matters of concern when siting and planning.
文摘The construction of the UHVAC test base of SGCC is an important component of the pilot project on UHVAC power transmission and transformation in China. This paper introduces the layout, technical requirements and main test functions of the UHVAC test base as well as difficulties during construction. It lays stress on the characterization of a 1 000-kV single-circuit test line, a 1 000-kV one-tower double-circuit test line, a full voltage test site for UHV equipment, a climate laboratory, a corona cage and a long-wave-front impulse voltage generator.
基金Project (No. WKJ2006-2-016) supported by the project of "Effect of Chronic Disease and Health-Related Quality of Life on Health Service Utilization" from the Ministry of Health, China
文摘Objectives:to verify the feasibility and reliability of the electronic version of Chinese SF-36 based on the Quality-of-Life-Recorder. Design: A crossover randomized controlled trial, comparing a paper-based and an electronic version of the Chinese SF-36, was conducted. According to generated random numbers, interviewees were asked to fill out either the electronic version or the paper version first. The second version was filled in after a pause of at least 10 min. Settings and participants: One group of 100 medical students at the School of Medicine of Zhejiang University and the other group of 50 outpatients at a clinic for general practice in Hangzhou City (China) were eventually recruited in this study. Results: The acceptance of the electronic version was good (60% of medical students and 84% of outpatients preferred the electronic version). At the level of eight-scale scores, the mean-difference for each scale (except for general health) between the two versions was less than 5%. At the level of 36 questions, the percentage of "exact agreement" ranged within 64%～99%; the percentage of "global agreement" ranged within 72%～99%; 77% of the kappa coefficients demonstrated "good/excellent agreement" and 23% of the kappa coefficients demonstrated "medium agreement". Conclusion: This study, for the first time, can provide empirical basis for the confirmation of the feasibility and reliability of the electronic version of the Chinese SF-36 and may provide an impulse towards widespread deployment of the Quality-of-Life-Recorder in Chinese populations.
文摘The study on slide stability of hydraulic structures on subbed soil was made. Using the slide test results of dragged concreting base plates on subbed soil pits, the decreased value of bearing capacity on slide after re- bound and repression influence of subbed soil was determined, and the envelope of ultimate slide shear resistance was also quantitatively determined. Due to the lack of similar mechanisms of slide stability on subbed soil and base plate of hydraulic structures, different safety coefficients for the slide stability were adopted. It was suggested to use the maximum compressive stress O＇m~ of eccentric load to predict structure displacement, slide and creepy slippage of subbed soil, to determine the sliding creepy contour and limit the maximum load on subbed soil. Two hydraulic structures that had been put into operation were reviewed by this method, and the results accorded with the real conditions.
文摘In this article, some of the main contributions to BI （Bio-Impedance） parameter-based systems for medical, biological and industrial fields, oriented to develop micro laboratory systems are summarized. These small systems are enabled by the development of new measurement techniques and systems （labs）, based on the impedance as biomarker. The electrical properties of the life mater allow the straightforward, low cost and usually non-invasive measurement methods to define its status or value, with the possibility to know its time evolution. This work proposes a review of bio-impedance based methods being employed to develop new LoC （Lab-on-a-Chips） systems, and some open problems identified as main research challenges, such as, the accuracy limits of measurements techniques, the role of the microelectrode-biological impedance modeling in measurements and system portability specifications demanded for many applications.
基金The authors gratefully acknowledge the financial support of this work,which was provided by the National Natural Science Foundation of China(Grant Nos.41172260 and 51108393)the Specialized Research Fund for the Doctoral Program of Higher Education(No.20110184110018)the National Basic Research Program of China(No.2008CB425801).
文摘In this paper,a physical base friction test model of a slope is established.The model is based on similarity principles and the geological conditions of a complicated bridge slope during construction,deformation and failure.The behavior of the slope in both its natural state and during excavation loading is qualitatively analyzed through base friction tests.The base friction test results are then subjected to comparison and analysis using finite element numerical simulation.The findings show that the whole engineered slope tends to stabilize in its natural state,whereas instabilities will arise at faulted rock masses located near bridge piers during excavation loading.Therefore,to ensure normal construction operation of bridge works,it is suggested that pre-reinforcement of faulted rock masses be performed.
基金financially supported by the 13th Five-Year National Significant New Drugs Creation Feature Subjects grant(2018ZX09735006)by the Project for Medicine and Medical Instruments Review and Approval System Reform grant(ZG2016-1)
文摘Background:The ingestion of golden thread contaminated with heavy metals through the food chain leads to detrimental effects to human health.During digestion,not all of the heavy metals could be released to the gastrointestinal tract and readily to be absorbed by human body.Thus,bioaccessibility is an important issue in health risk assessments.Aims and Objectives:The aims and objectives of this study were to investigate the bioaccessibility of Cd in golden thread and assess the associated health risks based on the exposure to bioaccessible Cd.Materials and Methods:Inductively coupled plasma mass spectrometry(ICP-MS)has been applied to determine the Cd content in golden thread.Physiologically based extraction test(PBET)digestion was performed in the in vitro/Caco2 cell model to investigate the bioaccessibility of Cd in golden thread.Furthermore,the target hazard quotient(THQ)was used to assess the risks of the total and the bioaccessible content of Cd in golden thread.Results:The results revealed that the total Cd content in six batches of golden thread ranged from 3.203 to 5.723 mg/kg.After uptake by Caco2 cells,the bioaccessibility of Cd ranged from 42.36%to 59.73%.The results of the risk assessment indicated that prior to uptake by Caco2 cells,the THQ values of Cd for all batches of golden thread were greater than 1.However,after uptake by Caco2 cells,the THQ values of Cd in all samples were less than 1,thus suggesting that the risks were at a safe level.Conclusion:This study was the first to perform health risk assessment with bioaccessible heavy metals present in traditional Chinese medicine by PBET digestion using an in vitro/Caco2 cell model,thus enabling us to obtain more accurate and objective results while allowing us to avoid unnecessary government intervention and to establish more reasonable limit standards for heavy metals.
基金funded by grants from the GermanResearch Council(DFG,grant No.BR1704/16-1)the Fed-eral Ministry of Education and Research(BMBF,grantno.01GL1712 and 01KD2104A)the German CancerAid(No.70113330).
文摘Screening for colorectal cancer(CRC)is among the mosteffective approaches to cancer prevention,yet achievinghigh adherence to effective screening offers is challenging[1].Blood-based tests that could be easily implemented inroutine medical practice might be a promising approachto achieve higher adherence rates than with conven-tional stool-based or endoscopic screening[2,3].However,neoplasm detection rates of previously developed and pro-posed blood-based tests have not been competitive tothose of modern stool-based tests[2],in particular fecalimmunochemical tests(FITs)that are meanwhile widelyused for CRC screening in an increasing number of coun-tries[4].Most recently,performance of a novel cell-freeDNA(cfDNA)blood-based test for detecting colorectalneoplasms was validated in the ECLIPSE study,a largescreening population undergoing screening colonoscopy[5],being the first of its kind to achieve FDA approval asa primary screening option for CRC.
基金supported by the International Science and Technology Cooperation Program of China(Grant No.2008DFA21540)the National Hi-Tech Research and Development Program of China(Grant No.2006AA12Z113)+1 种基金the Chinese Defense Advance Research Program of Science and Technologythe Young Talents Filed Special Project of Institute of Remote Sensing and Application of Chinese Academy of Sciences
文摘Calibration coefficients validation is the foundation for ascertaining the sensor performance and carrying out the quantitative application.Based on the analysis of the differences between the calibration and validation,two calibration coefficients validation methods were introduced in this paper.Taking the HJ-1A satellite CCD1 camera as an example,the uncertainties of calibration coefficients validation were analyzed.The calibration coefficients validation errors were simulated based on the measured data at an Inner Mongolia test site.The result showed that in the large view angle,the ground directional reflectance variation and the atmospheric path variation were the main error sources in calibration coefficients validation.The ground directional reflectance correction and atmospheric observation angle normalization should be carried out to improve the validation accuracy of calibration coefficients.
基金funded by the National Natural Science Foundation of China(No.52308316)China Postdoctoral Science Foundation(No.2022M721885)supported by Key Laboratory of Rock Mechanics and Geohazards of Zhejiang Province(No.ZJRMG2022-01)。
文摘The stability of slopes is essential for ensuring safe production in open-pit mines.Analyzing and managing the deformation and failure of the slope rock mass becomes more challenging as the slope height increases.To investigate the damage patterns of slopes with varying heights,three slope models were developed based on a rock slope in Dagushan,China.The deformation failure processes of slopes under the influence of excavation and unloading were analyzed using the base friction test method in combination with digital image technology contrasting.The results supported the following findings:(1)Unloading tensile stress caused lateral partitioning in the slope.Both the foot and top of the slope underwent initial tensile cracks.(2)The destabilization mechanism of unloading deformation in slopes of different heights involved a combination of traction at the foot of the slope or pushing at the top of the slope,followed by accelerated deformation,deceleration creep,and overall destabilization.(3)The unloading damage patterns of slopes at different heights were summarized as follows:compression tension cracking,traction,and slip damage for medium and low slopes;compression tension cracking,traction,and slip failure for the upper part of high slopes;and relaxation tension cracking,pushing,traction,and slip failure for the lower part.Moreover,the upper part of ultra-high slopes exhibited compression tension cracking,traction,and slip failure,while the middle and lower parts displayed relaxation tension cracking,pushing,traction,and slip patterns.Finally,numerical simulations were conducted to verify the results of the test analyses,which demonstrated good consistency.These research results were of great engineering value for proposing effective safety management measures for high slopes.
文摘Tianiin Automotive Test Center has a test capability as well as a capability of conducting universality techniques research. With fixed assets of around RMB 76.44 million yuan and an architectural area of 11,200 sqm, test labs mainly include: auto emission test lab, full-scale vehicle crash test lab, auto safety test lab, auto lighting and view field test lab, engine test lab,
基金supported by the National University of Singapore Academic Research Grant (Grant No. R-155-000-085-112)
文摘For several decades, much attention has been paid to the two-sample Behrens-Fisher (BF) problem which tests the equality of the means or mean vectors of two normal populations with unequal variance/covariance structures. Little work, however, has been done for the k-sample BF problem for high dimensional data which tests the equality of the mean vectors of several high-dimensional normal populations with unequal covariance structures. In this paper we study this challenging problem via extending the famous Scheffe’s transformation method, which reduces the k-sample BF problem to a one-sample problem. The induced one-sample problem can be easily tested by the classical Hotelling’s T 2 test when the size of the resulting sample is very large relative to its dimensionality. For high dimensional data, however, the dimensionality of the resulting sample is often very large, and even much larger than its sample size, which makes the classical Hotelling’s T 2 test not powerful or not even well defined. To overcome this difficulty, we propose and study an L 2-norm based test. The asymptotic powers of the proposed L 2-norm based test and Hotelling’s T 2 test are derived and theoretically compared. Methods for implementing the L 2-norm based test are described. Simulation studies are conducted to compare the L 2-norm based test and Hotelling’s T 2 test when the latter can be well defined, and to compare the proposed implementation methods for the L 2-norm based test otherwise. The methodologies are motivated and illustrated by a real data example.
文摘The use of mathematics for documenting, in- specting, and testing software is explained and illus- trated. Three measures of software quality are described and discussed. Then three distinct complementary approaches to software quality assurance are presented. A case study, the testing and inspection of a safety-critical system, is discussed in detail.
