Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instr...Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.展开更多
A variety of test methodologies are commonly used to assess if a photovoltaic system can perform in line with expectations generated by a computer simulation. One of the commonly used methodologies across the PV indus...A variety of test methodologies are commonly used to assess if a photovoltaic system can perform in line with expectations generated by a computer simulation. One of the commonly used methodologies across the PV industry is an ASTM E2848. ASTM E2848-13, 2023 test method provides measurement and analysis procedures for determining the capacity of a specific photovoltaic system built in a particular place and in operation under natural sunlight. This test method is mainly used for acceptance testing of newly installed photovoltaic systems, reporting of DC or AC system performance, and monitoring of photovoltaic system performance. The purpose of the PV Capacity Test and modeled energy test is to verify that the integrated system formed from all components of the PV Project has a production capacity that achieves the Guaranteed Capacity and the Guaranteed modeled AEP under measured weather conditions that occur when each PV Capacity Test is conducted. In this paper, we will be discussing ASTM E2848 PV Capacity test plan purpose and scope, methodology, Selection of reporting conditions (RC), data requirements, calculation of results, reporting, challenges, acceptance criteria on pass/fail test results, Cure period, and Sole remedy for EPC contractors for bifacial irradiance.展开更多
The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomi...The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional (2-D) interval polynomials (2-D s-z hybrid polynomials), proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.展开更多
Customizing applications through program configuration options has been proved by many open-source and commercial projects as one of the best practices in software engineering. However, traditional performance testing...Customizing applications through program configuration options has been proved by many open-source and commercial projects as one of the best practices in software engineering. However, traditional performance testing is not in synch with this industrial practice. Traditional performance testing techniques consider program inputs as the only external factor. It ignores the performance influence of configuration options. This study aims to stimulate research interest in performance testing in the context of configurable software systems by answering three research questions. That is, why it is necessary to conduct research in performance testing, what are the state-of-the-art techniques, and how do we conduct performance testing research in configurable software systems. In this study, we examine the unique characteristics and challenges of performance testing research in configurable software systems. We review and discuss research topics on the performance bug study, performance anti-patterns, program analysis, and performance testing. We share the research findings from the empirical study and outline the opening opportunities for new and advanced researchers to contribute to the research community.展开更多
Clinical laboratory tests are basic elements that support healthcare tasks such as disease detection, diagnosis and monitoring of response to treatments. Current laboratory information systems focus on the patient dat...Clinical laboratory tests are basic elements that support healthcare tasks such as disease detection, diagnosis and monitoring of response to treatments. Current laboratory information systems focus on the patient database, tests and results, with multiple modules available, connecting with the various analytical systems or work areas. However laboratory information systems functioned as “islands of information”, because their design was fundamentally inward-looking and disconnected from other healthcare computer applications. Actually, the Electronic Health Register (EHR) is considered by clinicians as a tool with great potential healthcare benefits. The EHR, in the sense of a unique and complete record of a patient’s healthcare and state of health, regardless of the healthcare level used, is a real attempt to eliminate these “islands of information” and need modules to act as “bridges” with the laboratory information systems. This type of module, which in generic terms may be referred to as a laboratory test request module, has become an essential feature of the EHR. These modules need to use a laboratory coding system as a common language for exchanging information, ensuring that tests and results are unequivocally identified. The development of the laboratory test request module requires the commitment of professionals and political authorities, being necessary time for their design and an adequate pilot phase. The laboratory professionals have to assume a leadership role in the whole process of design, development and implementation of these modules, integrating in the equipment of information technologies of healthcare providers. In our manuscript we review the elements that may prove electronic systems for requesting clinical laboratory test into digital clinical records and the key elements to move from theory to practice.展开更多
Based on the asymptotic spectral distribution of Wigner matrices, a new normality test method is proposed via reforming the white noise sequence. In this work, the asymptotic cumulative distribution function (CDF) o...Based on the asymptotic spectral distribution of Wigner matrices, a new normality test method is proposed via reforming the white noise sequence. In this work, the asymptotic cumulative distribution function (CDF) of eigenvalues of the Wigner matrix is deduced. A numerical Kullback-Leibler divergence of the empiric-d spectral CDF based on test samples from the deduced asymptotic CDF is established, which is treated as the test statistic. For validating the superiority of our proposed normality test, we apply the method to weak SIPSK signal detection in the single-input single-output (SISO) system and the single-input multiple-output (SIMO) system. By comparing with other common normality tests and the existing signal detection methods, simulation results show that the proposed method is superior and robust.展开更多
In order to improve the system reliability and performance and to reduce the system cost, volume and weight, we have designed, fabricated and tested the multibus adapter system of a trimodular redundant fault tolerant...In order to improve the system reliability and performance and to reduce the system cost, volume and weight, we have designed, fabricated and tested the multibus adapter system of a trimodular redundant fault tolerant computer system on a single chip of 5000 gate CMOS gate array. The design, fabrication and test of this single chip system will be discussed..展开更多
Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems...Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems (BESSs) are one such possible resource for providing grid stability. It has been proposed that decentralized BESSs could help support microgrids (MGs) with intelligent control when advanced functionalities are implemented with variable DERs. One key challenge is developing and testing smart inverter controls for DERs. This paper presents a standardized method to test the interoperability and functionality of BESSs. First, a survey of grid-support standards prevalent in several countries was conducted. Then, the following four interoperability functions defined in IEC TR 61850-90-7 were tested: the specified active power from storage test (INV4), the var-priority Volt/VAR test (VV) and the specified power factor test (INV3) and frequency-watt control (FW). This study then out-lines the remaining technical issues related to basic BESS smart inverter test protocols.展开更多
A complex autonomous inventory coupled system is considered. It can take, for example, the form of a network of chemical or biochemical reactors, where the inventory interactions perform the recycling of by-products b...A complex autonomous inventory coupled system is considered. It can take, for example, the form of a network of chemical or biochemical reactors, where the inventory interactions perform the recycling of by-products between the subsystems. Because of the flexible subsystems interactions, each of them can be operated with their own periods utilizing advantageously their dynamic properties. A multifrequency second-order test generalizing the p-test for single systems is described. It can be used to decide which kind of the operation (the static one, the periodic one or the multiperiodic one) will intensify the productivity of a complex system. An illustrative example of the multiperiodic optimization of a complex chemical production system is presented.展开更多
New tests for checking asymptotic stability of positive 1D continuous-time and discrete-time linear systems without and with delays and of positive 2D linear systems described by the general and the Roesser models are...New tests for checking asymptotic stability of positive 1D continuous-time and discrete-time linear systems without and with delays and of positive 2D linear systems described by the general and the Roesser models are proposed. Checking of the asymptotic stability of positive 2D linear systems is reduced to checking of suitable corresponding 1D positive linear systems. It is shown that the stability tests can be also applied to checking the asymptotic stability of fractional discrete-time linear systems with delays. Effectiveness of the tests is shown on numerical examples.展开更多
Recently, virtual realities and simulations play important roles in the development of automated driving functionalities. By an appropriate abstraction, they help to design, investigate and communicate real traffic sc...Recently, virtual realities and simulations play important roles in the development of automated driving functionalities. By an appropriate abstraction, they help to design, investigate and communicate real traffic scenario complexity. Especially, for edge cases investigations of interactions between vulnerable road users (VRU) and highly automated driving functions, valid virtual models are essential for the quality of results. The aim of this study is to measure, process and integrate real human movement behaviour into a virtual test environment for highly automated vehicle functionalities. The overall system consists of a georeferenced virtual city model and a vehicle dynamics model, including probabilistic sensor descriptions. By motion capture hardware, real humanoid behaviour is applied to a virtual human avatar in the test environment. Through retargeting methods, which enable the independency of avatar and person under test (PuT) dimensions, the virtual avatar diversity is increased. To verify the biomechanical behaviour of the virtual avatars, a qualitative study is performed, which funds on a representative movement sequence. The results confirm the functionality of the used methodology and enable PuT independence control of the virtual avatars in real-time.展开更多
Based on the recommendation of ICTD'09 TPC members, this Special Issue of the Journal of Electronic Science & Technology of China (JESTC) contained 22 high quality papers selected from the Proceedings of 2009 IEEE...Based on the recommendation of ICTD'09 TPC members, this Special Issue of the Journal of Electronic Science & Technology of China (JESTC) contained 22 high quality papers selected from the Proceedings of 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis (ICTD '09) which is fully sponsored by the IEEE Circuits and Systems Society (CASS), and is technically co-sponsored by the University of Electronic Science and Technology of China (UESTC), the Chinese Institute of Electronics (CIE), the China Instrument & Control Society (CIS), and organized by UESTC.展开更多
This paper describes the required testing and approval procedures of new track systems operated in Europe. To begin with, test methods and performance specifications according to European Standard (EN) are outlined....This paper describes the required testing and approval procedures of new track systems operated in Europe. To begin with, test methods and performance specifications according to European Standard (EN) are outlined. These include the repeated loading test, the determination of the static and dynamic stiffness of rail pads, clamping force and longitudinal rail resistance. The fact that labor tests are unable to simulate all the conditions in situ shows that these labor tests are not sufficient for the evaluation of the long term behaviour of a new track system: a test track of sufficient length must be constructed and exposed to traffic loads. In Europe to be accredited as a new system, a new slab track system must have a trial time of more than two years, during which the features of the whole system can be recognized. In the second part of this paper, the experience of the Institute of Road, Railway and Airfield Construction of TUM concerning the measuring methods of slab track systems carrying traffic are outlined. Also the approval procedure of the new slab tracks in Germany is discussed.展开更多
Model test-systems for biochemical determination of glucose and cholesterol are designed by covalent coupling of enzymes to the surface of modified nanodiamonds (MND). In both cases after immobilization on MND the enz...Model test-systems for biochemical determination of glucose and cholesterol are designed by covalent coupling of enzymes to the surface of modified nanodiamonds (MND). In both cases after immobilization on MND the enzymes exhibit activity and catalyze the formation of a colored product in the chain of successive enzymatic reactions of oxidative azocoupling (Н2О2—4-aminoantipyrine—phenol). Produced MND-enzymes complexes: function in DI water and various buffers, over a wide range of temperature and pH, provide for the linear product yield over a broad concentration range of analyzed substances, make possible to test cholesterol and glucose in vitro many times, exhibit functional activity after long storage at + 4°C.展开更多
Quantitative safety assessment of safety systems plays an important role in decision making at all stages of system lifecycle, i.e., design, deployment and phase out. Most safety assessment methods consider only syste...Quantitative safety assessment of safety systems plays an important role in decision making at all stages of system lifecycle, i.e., design, deployment and phase out. Most safety assessment methods consider only system parameters, such as configuration, hazard rate, coverage, repair rate, etc. along with periodic proof-tests (or inspection). Not considering demand rate will give a pessimistic safety estimate for an application with low demand rate such as nuclear power plants, chemical plants, etc. In this paper, a basic model of IEC 61508 is used. The basic model is extended to incorporate process demand and behavior of electronic- and/or computer-based system following diagnosis or proof-test. A new safety index, probability of failure on actual demand (PFAD) based on extended model and demand rate is proposed. Periodic proof-test makes the model semi-Markovian, so a piece-wise continuous time Markov chain (CTMC) based method is used to derive mean state probabilities of elementary or aggregated state. Method to determine probability of failure on demand (PFD) (IEC 61508) and PFAD based on these state probabilities are described. In example, safety indices of PFD and PFAD are compared.展开更多
It is difficult to determine the stability of linear systems with interval delays (LID systems) because the roots of the characteristic polynomials of the systems are continuous and vary in a complex plane with the ...It is difficult to determine the stability of linear systems with interval delays (LID systems) because the roots of the characteristic polynomials of the systems are continuous and vary in a complex plane with the delay. To solve the problem, this paper develops a stability test of LID systems by resorting to 2-D hybrid polynomials and 2-D Hurwitz-Schur stability. Comparing with the existing test approaches for LID systems, the proposed 2-D Hurwitz-Schur stability test is easy to apply, and can obtain closed form constraint conditions for system parameters. This paper proposes some theorems as sufficient conditions for the stability of LID systems, and also reveals that recent results about the stability test of linear systems with any delays (LAD systems) are not suitable for LID systems because they are very conservative for the stability of LID systems.展开更多
In this paper we present some of our recent results on applications of spectral techniques over finite fields to the problems of testing and diagnosis of computer systems.
Indentation creep behavior with cylindrical flat indenters on the thermal barrier coating (TBC) was studied by finite element method (FEM). On ike constant applied indentation creep stress, there is a steady creep rat...Indentation creep behavior with cylindrical flat indenters on the thermal barrier coating (TBC) was studied by finite element method (FEM). On ike constant applied indentation creep stress, there is a steady creep rate for each case studied for different creep properties of the TBC system. The steady creep depth rate depends on the applied indentation creep stress and size of the indenters as well as the creep properties of the bond coat of the TBC and the substrate. The possibilities to determine the creep properties of a thermal barrier system from indention creep testing were discussed. As an example, with two different size indenters, the creep properties of bond coat of the TBC system can be derived by an inverse FEM method. This study not only provides a numerical method to obtain the creep properties of the TBC system, but also extends the application of indentation creep method with cylindrical flat indenters.展开更多
文摘Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.
文摘A variety of test methodologies are commonly used to assess if a photovoltaic system can perform in line with expectations generated by a computer simulation. One of the commonly used methodologies across the PV industry is an ASTM E2848. ASTM E2848-13, 2023 test method provides measurement and analysis procedures for determining the capacity of a specific photovoltaic system built in a particular place and in operation under natural sunlight. This test method is mainly used for acceptance testing of newly installed photovoltaic systems, reporting of DC or AC system performance, and monitoring of photovoltaic system performance. The purpose of the PV Capacity Test and modeled energy test is to verify that the integrated system formed from all components of the PV Project has a production capacity that achieves the Guaranteed Capacity and the Guaranteed modeled AEP under measured weather conditions that occur when each PV Capacity Test is conducted. In this paper, we will be discussing ASTM E2848 PV Capacity test plan purpose and scope, methodology, Selection of reporting conditions (RC), data requirements, calculation of results, reporting, challenges, acceptance criteria on pass/fail test results, Cure period, and Sole remedy for EPC contractors for bifacial irradiance.
基金This project was supported by the National Science Foundation of China (60572093).
文摘The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional (2-D) interval polynomials (2-D s-z hybrid polynomials), proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.
文摘Customizing applications through program configuration options has been proved by many open-source and commercial projects as one of the best practices in software engineering. However, traditional performance testing is not in synch with this industrial practice. Traditional performance testing techniques consider program inputs as the only external factor. It ignores the performance influence of configuration options. This study aims to stimulate research interest in performance testing in the context of configurable software systems by answering three research questions. That is, why it is necessary to conduct research in performance testing, what are the state-of-the-art techniques, and how do we conduct performance testing research in configurable software systems. In this study, we examine the unique characteristics and challenges of performance testing research in configurable software systems. We review and discuss research topics on the performance bug study, performance anti-patterns, program analysis, and performance testing. We share the research findings from the empirical study and outline the opening opportunities for new and advanced researchers to contribute to the research community.
文摘Clinical laboratory tests are basic elements that support healthcare tasks such as disease detection, diagnosis and monitoring of response to treatments. Current laboratory information systems focus on the patient database, tests and results, with multiple modules available, connecting with the various analytical systems or work areas. However laboratory information systems functioned as “islands of information”, because their design was fundamentally inward-looking and disconnected from other healthcare computer applications. Actually, the Electronic Health Register (EHR) is considered by clinicians as a tool with great potential healthcare benefits. The EHR, in the sense of a unique and complete record of a patient’s healthcare and state of health, regardless of the healthcare level used, is a real attempt to eliminate these “islands of information” and need modules to act as “bridges” with the laboratory information systems. This type of module, which in generic terms may be referred to as a laboratory test request module, has become an essential feature of the EHR. These modules need to use a laboratory coding system as a common language for exchanging information, ensuring that tests and results are unequivocally identified. The development of the laboratory test request module requires the commitment of professionals and political authorities, being necessary time for their design and an adequate pilot phase. The laboratory professionals have to assume a leadership role in the whole process of design, development and implementation of these modules, integrating in the equipment of information technologies of healthcare providers. In our manuscript we review the elements that may prove electronic systems for requesting clinical laboratory test into digital clinical records and the key elements to move from theory to practice.
基金Supported by the National Natural Science Foundation of China under Grant No 61371170the Fundamental Research Funds for the Central Universities under Grant Nos NP2015404 and NS2016038+1 种基金the Aeronautical Science Foundation of China under Grant No 20152052028the Funding of Jiangsu Innovation Program for Graduate Education under Grant No KYLX15_0282
文摘Based on the asymptotic spectral distribution of Wigner matrices, a new normality test method is proposed via reforming the white noise sequence. In this work, the asymptotic cumulative distribution function (CDF) of eigenvalues of the Wigner matrix is deduced. A numerical Kullback-Leibler divergence of the empiric-d spectral CDF based on test samples from the deduced asymptotic CDF is established, which is treated as the test statistic. For validating the superiority of our proposed normality test, we apply the method to weak SIPSK signal detection in the single-input single-output (SISO) system and the single-input multiple-output (SIMO) system. By comparing with other common normality tests and the existing signal detection methods, simulation results show that the proposed method is superior and robust.
文摘In order to improve the system reliability and performance and to reduce the system cost, volume and weight, we have designed, fabricated and tested the multibus adapter system of a trimodular redundant fault tolerant computer system on a single chip of 5000 gate CMOS gate array. The design, fabrication and test of this single chip system will be discussed..
文摘Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems (BESSs) are one such possible resource for providing grid stability. It has been proposed that decentralized BESSs could help support microgrids (MGs) with intelligent control when advanced functionalities are implemented with variable DERs. One key challenge is developing and testing smart inverter controls for DERs. This paper presents a standardized method to test the interoperability and functionality of BESSs. First, a survey of grid-support standards prevalent in several countries was conducted. Then, the following four interoperability functions defined in IEC TR 61850-90-7 were tested: the specified active power from storage test (INV4), the var-priority Volt/VAR test (VV) and the specified power factor test (INV3) and frequency-watt control (FW). This study then out-lines the remaining technical issues related to basic BESS smart inverter test protocols.
文摘A complex autonomous inventory coupled system is considered. It can take, for example, the form of a network of chemical or biochemical reactors, where the inventory interactions perform the recycling of by-products between the subsystems. Because of the flexible subsystems interactions, each of them can be operated with their own periods utilizing advantageously their dynamic properties. A multifrequency second-order test generalizing the p-test for single systems is described. It can be used to decide which kind of the operation (the static one, the periodic one or the multiperiodic one) will intensify the productivity of a complex system. An illustrative example of the multiperiodic optimization of a complex chemical production system is presented.
文摘New tests for checking asymptotic stability of positive 1D continuous-time and discrete-time linear systems without and with delays and of positive 2D linear systems described by the general and the Roesser models are proposed. Checking of the asymptotic stability of positive 2D linear systems is reduced to checking of suitable corresponding 1D positive linear systems. It is shown that the stability tests can be also applied to checking the asymptotic stability of fractional discrete-time linear systems with delays. Effectiveness of the tests is shown on numerical examples.
文摘Recently, virtual realities and simulations play important roles in the development of automated driving functionalities. By an appropriate abstraction, they help to design, investigate and communicate real traffic scenario complexity. Especially, for edge cases investigations of interactions between vulnerable road users (VRU) and highly automated driving functions, valid virtual models are essential for the quality of results. The aim of this study is to measure, process and integrate real human movement behaviour into a virtual test environment for highly automated vehicle functionalities. The overall system consists of a georeferenced virtual city model and a vehicle dynamics model, including probabilistic sensor descriptions. By motion capture hardware, real humanoid behaviour is applied to a virtual human avatar in the test environment. Through retargeting methods, which enable the independency of avatar and person under test (PuT) dimensions, the virtual avatar diversity is increased. To verify the biomechanical behaviour of the virtual avatars, a qualitative study is performed, which funds on a representative movement sequence. The results confirm the functionality of the used methodology and enable PuT independence control of the virtual avatars in real-time.
文摘Based on the recommendation of ICTD'09 TPC members, this Special Issue of the Journal of Electronic Science & Technology of China (JESTC) contained 22 high quality papers selected from the Proceedings of 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis (ICTD '09) which is fully sponsored by the IEEE Circuits and Systems Society (CASS), and is technically co-sponsored by the University of Electronic Science and Technology of China (UESTC), the Chinese Institute of Electronics (CIE), the China Instrument & Control Society (CIS), and organized by UESTC.
文摘This paper describes the required testing and approval procedures of new track systems operated in Europe. To begin with, test methods and performance specifications according to European Standard (EN) are outlined. These include the repeated loading test, the determination of the static and dynamic stiffness of rail pads, clamping force and longitudinal rail resistance. The fact that labor tests are unable to simulate all the conditions in situ shows that these labor tests are not sufficient for the evaluation of the long term behaviour of a new track system: a test track of sufficient length must be constructed and exposed to traffic loads. In Europe to be accredited as a new system, a new slab track system must have a trial time of more than two years, during which the features of the whole system can be recognized. In the second part of this paper, the experience of the Institute of Road, Railway and Airfield Construction of TUM concerning the measuring methods of slab track systems carrying traffic are outlined. Also the approval procedure of the new slab tracks in Germany is discussed.
文摘Model test-systems for biochemical determination of glucose and cholesterol are designed by covalent coupling of enzymes to the surface of modified nanodiamonds (MND). In both cases after immobilization on MND the enzymes exhibit activity and catalyze the formation of a colored product in the chain of successive enzymatic reactions of oxidative azocoupling (Н2О2—4-aminoantipyrine—phenol). Produced MND-enzymes complexes: function in DI water and various buffers, over a wide range of temperature and pH, provide for the linear product yield over a broad concentration range of analyzed substances, make possible to test cholesterol and glucose in vitro many times, exhibit functional activity after long storage at + 4°C.
文摘Quantitative safety assessment of safety systems plays an important role in decision making at all stages of system lifecycle, i.e., design, deployment and phase out. Most safety assessment methods consider only system parameters, such as configuration, hazard rate, coverage, repair rate, etc. along with periodic proof-tests (or inspection). Not considering demand rate will give a pessimistic safety estimate for an application with low demand rate such as nuclear power plants, chemical plants, etc. In this paper, a basic model of IEC 61508 is used. The basic model is extended to incorporate process demand and behavior of electronic- and/or computer-based system following diagnosis or proof-test. A new safety index, probability of failure on actual demand (PFAD) based on extended model and demand rate is proposed. Periodic proof-test makes the model semi-Markovian, so a piece-wise continuous time Markov chain (CTMC) based method is used to derive mean state probabilities of elementary or aggregated state. Method to determine probability of failure on demand (PFD) (IEC 61508) and PFAD based on these state probabilities are described. In example, safety indices of PFD and PFAD are compared.
基金supported by the National Natural Science Foundation of China (60572093)the Natural Science Foundation of Beijing(4102050)
文摘It is difficult to determine the stability of linear systems with interval delays (LID systems) because the roots of the characteristic polynomials of the systems are continuous and vary in a complex plane with the delay. To solve the problem, this paper develops a stability test of LID systems by resorting to 2-D hybrid polynomials and 2-D Hurwitz-Schur stability. Comparing with the existing test approaches for LID systems, the proposed 2-D Hurwitz-Schur stability test is easy to apply, and can obtain closed form constraint conditions for system parameters. This paper proposes some theorems as sufficient conditions for the stability of LID systems, and also reveals that recent results about the stability test of linear systems with any delays (LAD systems) are not suitable for LID systems because they are very conservative for the stability of LID systems.
基金This work was supported by the National Science Foundation(USA)under grant MIP 9630096the NATO under Grant 910411Volkswagen Foundation(Germany)
文摘In this paper we present some of our recent results on applications of spectral techniques over finite fields to the problems of testing and diagnosis of computer systems.
基金supported by the National Natural Science Foundation of China(50005016,50375124)China Aviation Foundation(02c53011,03B53003)as well as the Yangtze River Foundation.
文摘Indentation creep behavior with cylindrical flat indenters on the thermal barrier coating (TBC) was studied by finite element method (FEM). On ike constant applied indentation creep stress, there is a steady creep rate for each case studied for different creep properties of the TBC system. The steady creep depth rate depends on the applied indentation creep stress and size of the indenters as well as the creep properties of the bond coat of the TBC and the substrate. The possibilities to determine the creep properties of a thermal barrier system from indention creep testing were discussed. As an example, with two different size indenters, the creep properties of bond coat of the TBC system can be derived by an inverse FEM method. This study not only provides a numerical method to obtain the creep properties of the TBC system, but also extends the application of indentation creep method with cylindrical flat indenters.