For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study prop...For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper.展开更多
A new real-time underwater equipment location method adopting an electric field induced by a standard current source is proposed.Our goals were real-time tracking and location of stationary or moving underwater equipm...A new real-time underwater equipment location method adopting an electric field induced by a standard current source is proposed.Our goals were real-time tracking and location of stationary or moving underwater equipment both in shallow and deep seas,under noisy conditions.The main features of this method are as follows:(1)a standard current source on the water surface,which can be towed by a vehicle,consisting of two electrodes,a signal generator,and a GPS unit;(2)measurement of the extremely low frequency(ELF)electric field emitted by the current source,made possible by electric field sensors on the underwater equipment;(3)position of the underwater equipment is estimated in real time based on a progressive update extended Kalman filter(PUEKF),which is carried out using the propagation model of an ELF electric field because the electric field at the position of the underwater equipment and the current source position are known.We verified the accuracy of our method and confirmed real-time location feasibility through numerical,physical scale,and real-time sea experiments.Through numerical experiments,we verified that our method works for underwater equipment location in real-world conditions,and the location error can be less than 0.2 m.Next,real-time location experiments for stationary underwater measuring equipment in water tank were conducted.The result shows that the location error can be less than 0.1 m.We also confirmed real-time location feasibility through the use of offshore experiment.We expect that our method will complement conventional underwater acoustic location methods for underwater equipment in acoustically noisy environments.展开更多
Seismic isolation effectively reduces seismic demands on building structures by isolating the superstructure from ground vibrations during earthquakes.However,isolation strategies give less attention to acceleration-s...Seismic isolation effectively reduces seismic demands on building structures by isolating the superstructure from ground vibrations during earthquakes.However,isolation strategies give less attention to acceleration-sensitive systems or equipment.Meanwhile,as the isolation layer’s displacement grows,the stiffness and frequency of traditional rolling and sliding isolation bearings increases,potentially causing self-centering and resonance concerns.As a result,a new conical pendulum bearing has been selected for acceleration-sensitive equipment to increase self-centering capacity,and additional viscous dampers are incorporated to enhance system damping.Moreover,the theoretical formula for conical pendulum bearings is supplied to analyze the device’s dynamic parameters,and shake table experiments are used to determine the proposed device’s isolation efficiency under various conditions.According to the test results,the newly proposed devices have remarkable isolation performance in terms of minimizing both acceleration and displacement responses.Finally,a numerical model of the isolation system is provided for further research,and the accuracy is demonstrated by the aforementioned experiments.展开更多
Complex terrain and working equipment in coal mine underground need a way to ensure coal mine safety. In this paper, the way to monitor the real-time status of underground equipment was put forward, and it was proved ...Complex terrain and working equipment in coal mine underground need a way to ensure coal mine safety. In this paper, the way to monitor the real-time status of underground equipment was put forward, and it was proved to be effective as commanding and dispatching system. Monitoring system for underground equipment based on panoramic images was effectively combined with real-time sensor data and static panoramic images of underground surrounding, which not only realizes real-time status monitoring for underground equipment, but also gets a direct scene for underground surrounding. B/S mode was applied in the monitoring system and this is convenient for users to monitor the equipment. Meantime, it can reduce the waste of the data resource.展开更多
To fulfill the requirements for hybrid real-time system scheduling, a long-release-interval-first (LRIF) real-time scheduling algorithm is proposed. The algorithm adopts both the fixed priority and the dynamic prior...To fulfill the requirements for hybrid real-time system scheduling, a long-release-interval-first (LRIF) real-time scheduling algorithm is proposed. The algorithm adopts both the fixed priority and the dynamic priority to assign priorities for tasks. By assigning higher priorities to the aperiodic soft real-time jobs with longer release intervals, it guarantees the executions for periodic hard real-time tasks and further probabilistically guarantees the executions for aperiodic soft real-time tasks. The schedulability test approach for the LRIF algorithm is presented. The implementation issues of the LRIF algorithm are also discussed. Simulation result shows that LRIF obtains better schedulable performance than the maximum urgency first (MUF) algorithm, the earliest deadline first (EDF) algorithm and EDF for hybrid tasks. LRIF has great capability to schedule both periodic hard real-time and aperiodic soft real-time tasks.展开更多
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
It is well-recognized that a transfer system response delay that reduces the test stability inevitably exists in real-time dynamic hybrid testing (RTDHT). This paper focuses on the delay-dependent stability and adde...It is well-recognized that a transfer system response delay that reduces the test stability inevitably exists in real-time dynamic hybrid testing (RTDHT). This paper focuses on the delay-dependent stability and added damping of SDOF systems in RTDHT. The exponential delay term is transferred into a rational fraction by the Pad6 approximation, and the delay-dependent stability conditions and instability mechanism of SDOF RTDHT systems are investigated by the root locus technique. First, the stability conditions are discussed separately for the cases of stiffness, mass, and damping experimental substructure. The use of root locus plots shows that the added damping effect and instability mechanism for mass are different from those for stiffness. For the stiffness experimental substructure case, the instability results from the inherent mode because of an obvious negative damping effect of the delay. For the mass case, the delay introduces an equivalent positive damping into the inherent mode, and instability occurs at an added high frequency mode. Then, the compound stability condition is investigated for a general case and the results show that the mass ratio may have both upper and lower limits to remain stable. Finally, a high-emulational virtual shaking table model is built to validate the stability conclusions.展开更多
AIM:To compare the clinical performance of a real-time PCR assay with the COBAS Amplicor Hepatitis B Virus (HBV) Monitor test for quantitation of HBV DNA in serum samples. METHODS: The reference sera of the Chinese Na...AIM:To compare the clinical performance of a real-time PCR assay with the COBAS Amplicor Hepatitis B Virus (HBV) Monitor test for quantitation of HBV DNA in serum samples. METHODS: The reference sera of the Chinese National Institute for the Control of Pharmaceutical and Biological Products and the National Center for Clinical Laboratories of China, and 158 clinical serum samples were used in this study. The linearity, accuracy, reproducibility, assay time, and costs of the real-time PCR were evaluated and compared with those of the Cobas Amplicor test. RESULTS: The intra-assay and inter-assay variations of the real-time PCR ranged from 0.3% to 3.8% and 1.4% to 8.1%, respectively. The HBV DNA levels measured by the real-time PCR correlated very well with those obtained with the COBAS Amplicor test (r = 0.948). The real-time PCR HBV DNA kit was much cheaper and had a wider dynamic range. CONCLUSION: The real-time PCR assay is an excellent tool for monitoring of HBV DNA levels in patients with chronic hepatitis B.展开更多
A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element (FE) numerical substructures. The analysis of the FE numerical substructure is split into response anal...A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element (FE) numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom (DOFs). Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.展开更多
Testing is the premise and foundation of realizing equipment health management (EHM). To address the problem that the static periodic test strategy may cause deficient test or excessive test, a dynamic sequential te...Testing is the premise and foundation of realizing equipment health management (EHM). To address the problem that the static periodic test strategy may cause deficient test or excessive test, a dynamic sequential test strategy (DSTS) for EHM is presented. Considering the situation that equipment health state is not completely observable in reality, a DSTS optimization method based on partially observable semi-Markov decision pro- cess (POSMDP) is proposed. Firstly, an equipment health state degradation model is constructed by Markov process, and the control limit maintenance policy is also introduced. Secondly, POSMDP is formulated in great detail. And then, POSMDP is converted to completely observable belief semi-Markov decision process (BSMDP) through belief state. The optimal equation and the corresponding optimal DSTS, which minimize the long-run ex- pected average cost per unit time, are obtained with BSMDP. The results of application in complex equipment show that the proposed DSTS is feasible and effective.展开更多
In order to research the effects of built-in test(BIT) on the system and select BITand test strategy,the complex repairable systems with BITequipment are modeled and simulated by using Simulink.Based on the model,the ...In order to research the effects of built-in test(BIT) on the system and select BITand test strategy,the complex repairable systems with BITequipment are modeled and simulated by using Simulink.Based on the model,the influences of different built-in test equipments,maintenance time and error probabilities on the system usability are evaluated.The simulation results showthat they effect on the system differently.The simulation method of complex system based on Simulink provides a technique approach to research the effects of BITon the system and select BITand test strategy.展开更多
To solve the problems of low precision of weak feature extraction,heavy reliance on labor and low efficiency of weak feature extraction in X-ray weld detection image of ultra-high voltage(UHV)equipment key parts,an au...To solve the problems of low precision of weak feature extraction,heavy reliance on labor and low efficiency of weak feature extraction in X-ray weld detection image of ultra-high voltage(UHV)equipment key parts,an automatic feature extraction algorithm is proposed.Firstly,the original weld image is denoised while retaining the characteristic information of weak defects by the proposed monostable stochastic resonance method.Then,binarization is achieved by combining Laplacian edge detection and Otsu threshold segmentation.Finally,the automatic identification of weld defect area is realized based on the sequential traversal of binary tree.Several characteristic analysis dimensions are established for weld defects of UHV key parts,including defect area,perimeter,slenderness ratio,duty cycle,etc.The experiment using theweld detection image of the actual production site shows that the proposedmethod can effectively extract theweak feature information ofweld defects and further provide reference for decision-making.展开更多
Double packer equipment for hydraulic test can be used to measure pressure of test zone directly, and it is frequently used to perform many kinds of hydraulic tests and take groundwater sample from borehole. The test ...Double packer equipment for hydraulic test can be used to measure pressure of test zone directly, and it is frequently used to perform many kinds of hydraulic tests and take groundwater sample from borehole. The test method of this equipment mainly includes the test design, implementation, interpretation and synthetic analysis. By adopting the double packer equipment for hydraulic test, the parameter distribution of rock permeability along borehole can be acquired, as well as the connectivity, water conductivity and water bearing capacity of the disclosed structure and the chemical characteristics of the deep groundwater. It is a necessary method for the research and evaluation of the complex hypotonicity terrace site selection under geological conditions. This method is not only suitable for the geological disposal of high level radioactive waste, but also can be used in the site selection of underground facilities such as storage of petroleum and carbon dioxide. Meanwhile, it has a good application prospect in other hydrogeological investigation fields.展开更多
This paper employs a velocity plus displacement(V+D)-based equivalent force control(EFC) method to solve the velocity/displacement difference equation in a real-time substructure test. This method uses type 2 fee...This paper employs a velocity plus displacement(V+D)-based equivalent force control(EFC) method to solve the velocity/displacement difference equation in a real-time substructure test. This method uses type 2 feedback control loops to replace mathematical iteration to solve the nonlinear dynamic equation. A spectral radius analysis of the amplification matrix shows that the type 2 EFC-explicit, Newmark-β method has beneficial numerical characteristics for this method. Its stability limit of Ω = 2 remains unchanged regardless of the system damping because the velocity is achieved with very high accuracy during simulation. In contrast, the stability limits of the central difference method using direct velocity prediction and the EFC-average acceleration method with linear interpolation are shown to decrease with an increase in system damping. In fact, the EFC-average acceleration method is shown to change from unconditionally stable to conditionally stable. We also show that if an over-damped system with a damping ratio of 1.05 is considered, the stability limit is reduced to Ω =1.45. Finally, the results from an experiment with a single-degree-of-freedom structure installed with a magneto-rheological(MR) damper are presented. The results demonstrate that the proposed method is able to follow both displacement and velocity commands with moderate accuracy, resulting in improved test performance and accuracy for structures that are sensitive to both velocity and displacement inputs. Although the findings of the study are promising, additional test data and several further improvements will be required to draw general conclusions.展开更多
This paper discusses causes of the rate ripple in inertia guidance test equipment IGET, systematically analyses their effects an the rate ripple in IGTE. The analysis result shows: The rate ripple caused by the perio...This paper discusses causes of the rate ripple in inertia guidance test equipment IGET, systematically analyses their effects an the rate ripple in IGTE. The analysis result shows: The rate ripple caused by the periodic errors of inductosyn and angular encoder is higher at high speed than that caused by magnetic ripple torque and friction torque, and it cannot be eliminated by adjusting control parameters of the system. And based on the nonlinear adaptive control system theory, the paper puts forward a new control system scheme to eliminate the rate ripple caused by the periodic errors of inductosyn and angular encoder, develops the adaptive control rules and makes simulation and test. Experimental result shows a significant improvement on those tables for the period disturbs under the system scheme designed. By this plan, with the input of rate 200°/s, the rate ripple falls from 5°/s to 0. 4°/s within about 6s adaptive adjustment time, being a twelfth of before adaptation, which can not be reached by common classical controls. The experimental results conform with the simulation, which proves the validity and practicability of the plan.展开更多
National Quality Supervision & Inspection Center for Refractories Business scope: Selective examination for national quality supervision; Identification of production license; Arbitration inspection and technical ac...National Quality Supervision & Inspection Center for Refractories Business scope: Selective examination for national quality supervision; Identification of production license; Arbitration inspection and technical achievements evaluation; Commodities inspection and otherquality inspections .展开更多
The objective of this work was to study the use of standard equipment in amplitude and frequency tests of dental scaler tip according to ISO 18397.Four types of standard equipment:a laser displacement sensor,a microsc...The objective of this work was to study the use of standard equipment in amplitude and frequency tests of dental scaler tip according to ISO 18397.Four types of standard equipment:a laser displacement sensor,a microscope,a tachometer,and an ultrasonic frequency meter,were experimentally investigated to test a tip.The standard laser displacement sensor and the standard microscope were used to test the unloaded amplitude of the scaler tip.It was found that two types of standard equipment were able to measure the unloaded amplitude of the tip.The standard microscope was also employed for the loaded amplitude test.This test was performed by pressing the scaler tip with a load of 1 N,which was measured by a load cell set.The peak-to-peak amplitude found from the test was 116.7 m.The frequency test of the scaler tip was conducted using the standard laser displacement sensor,the tachometer and the ultrasonic frequency meter.All three types of standard equipment were found to be able to test the frequency of the tip without cooling liquid.Nevertheless,only the standard tachometer was capable of measuring the frequency of the tip with cooling liquid applied.展开更多
A mobile in-situ testing equipment used to detect geotechnical thermophysical properties was developed. The equipment is composed of a heat pump, frequency pumps, an electric tee joint regulator valve, some sensors, a...A mobile in-situ testing equipment used to detect geotechnical thermophysical properties was developed. The equipment is composed of a heat pump, frequency pumps, an electric tee joint regulator valve, some sensors, an electric control system, data acquisition and control system, which can do tests under the condition of extracting and storing subsurface heat. Applying the line source and the cylinder source heat transfer model, and combining the parameters estimation, the average thermophysieal property parameters of rock and soil will be calculated, which provides the basis for designing the ground source heat pump systems.展开更多
The paper intfoduces a PC-DSP based real-time digital simulator which is portable in size and aimed at the closed-loop testing of various types of protective relays for their design and application. The simulator can ...The paper intfoduces a PC-DSP based real-time digital simulator which is portable in size and aimed at the closed-loop testing of various types of protective relays for their design and application. The simulator can be widely used in not only concerning utilities but also manufacturers and research / certification institutes because of its many functions. The hardware architecture and software implementation of the simulator are described. The main features and functions of the simulator are also展开更多
基金National Natural Science Foundation of China under Grant Nos.51978213 and 51778190the National Key Research and Development Program of China under Grant Nos.2017YFC0703605 and 2016YFC0701106。
文摘For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper.
基金supported by the Youth Foundation of the National Natural Science Foundation of China(Grant No.51509252)。
文摘A new real-time underwater equipment location method adopting an electric field induced by a standard current source is proposed.Our goals were real-time tracking and location of stationary or moving underwater equipment both in shallow and deep seas,under noisy conditions.The main features of this method are as follows:(1)a standard current source on the water surface,which can be towed by a vehicle,consisting of two electrodes,a signal generator,and a GPS unit;(2)measurement of the extremely low frequency(ELF)electric field emitted by the current source,made possible by electric field sensors on the underwater equipment;(3)position of the underwater equipment is estimated in real time based on a progressive update extended Kalman filter(PUEKF),which is carried out using the propagation model of an ELF electric field because the electric field at the position of the underwater equipment and the current source position are known.We verified the accuracy of our method and confirmed real-time location feasibility through numerical,physical scale,and real-time sea experiments.Through numerical experiments,we verified that our method works for underwater equipment location in real-world conditions,and the location error can be less than 0.2 m.Next,real-time location experiments for stationary underwater measuring equipment in water tank were conducted.The result shows that the location error can be less than 0.1 m.We also confirmed real-time location feasibility through the use of offshore experiment.We expect that our method will complement conventional underwater acoustic location methods for underwater equipment in acoustically noisy environments.
基金Scientific Research Fund of Institute of Engineering Mechanics,CEA under Grant No.2019A03Scientific Research Fund of Institute of Engineering Mechanics,CEA under Grant No.2021D12National Key R&D Program of China under No.2018YFC1504404。
文摘Seismic isolation effectively reduces seismic demands on building structures by isolating the superstructure from ground vibrations during earthquakes.However,isolation strategies give less attention to acceleration-sensitive systems or equipment.Meanwhile,as the isolation layer’s displacement grows,the stiffness and frequency of traditional rolling and sliding isolation bearings increases,potentially causing self-centering and resonance concerns.As a result,a new conical pendulum bearing has been selected for acceleration-sensitive equipment to increase self-centering capacity,and additional viscous dampers are incorporated to enhance system damping.Moreover,the theoretical formula for conical pendulum bearings is supplied to analyze the device’s dynamic parameters,and shake table experiments are used to determine the proposed device’s isolation efficiency under various conditions.According to the test results,the newly proposed devices have remarkable isolation performance in terms of minimizing both acceleration and displacement responses.Finally,a numerical model of the isolation system is provided for further research,and the accuracy is demonstrated by the aforementioned experiments.
基金Supported by the National Natural Science Foundation of China (51075029)
文摘Complex terrain and working equipment in coal mine underground need a way to ensure coal mine safety. In this paper, the way to monitor the real-time status of underground equipment was put forward, and it was proved to be effective as commanding and dispatching system. Monitoring system for underground equipment based on panoramic images was effectively combined with real-time sensor data and static panoramic images of underground surrounding, which not only realizes real-time status monitoring for underground equipment, but also gets a direct scene for underground surrounding. B/S mode was applied in the monitoring system and this is convenient for users to monitor the equipment. Meantime, it can reduce the waste of the data resource.
基金The Natural Science Foundation of Jiangsu Province(NoBK2005408)
文摘To fulfill the requirements for hybrid real-time system scheduling, a long-release-interval-first (LRIF) real-time scheduling algorithm is proposed. The algorithm adopts both the fixed priority and the dynamic priority to assign priorities for tasks. By assigning higher priorities to the aperiodic soft real-time jobs with longer release intervals, it guarantees the executions for periodic hard real-time tasks and further probabilistically guarantees the executions for aperiodic soft real-time tasks. The schedulability test approach for the LRIF algorithm is presented. The implementation issues of the LRIF algorithm are also discussed. Simulation result shows that LRIF obtains better schedulable performance than the maximum urgency first (MUF) algorithm, the earliest deadline first (EDF) algorithm and EDF for hybrid tasks. LRIF has great capability to schedule both periodic hard real-time and aperiodic soft real-time tasks.
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金State Key Laboratory of Hydroscience and Engineering Under Grant No.2008-TC-2National Natural Science Foundation of China Under Grant No.90510018,50779021 and 90715041
文摘It is well-recognized that a transfer system response delay that reduces the test stability inevitably exists in real-time dynamic hybrid testing (RTDHT). This paper focuses on the delay-dependent stability and added damping of SDOF systems in RTDHT. The exponential delay term is transferred into a rational fraction by the Pad6 approximation, and the delay-dependent stability conditions and instability mechanism of SDOF RTDHT systems are investigated by the root locus technique. First, the stability conditions are discussed separately for the cases of stiffness, mass, and damping experimental substructure. The use of root locus plots shows that the added damping effect and instability mechanism for mass are different from those for stiffness. For the stiffness experimental substructure case, the instability results from the inherent mode because of an obvious negative damping effect of the delay. For the mass case, the delay introduces an equivalent positive damping into the inherent mode, and instability occurs at an added high frequency mode. Then, the compound stability condition is investigated for a general case and the results show that the mass ratio may have both upper and lower limits to remain stable. Finally, a high-emulational virtual shaking table model is built to validate the stability conclusions.
文摘AIM:To compare the clinical performance of a real-time PCR assay with the COBAS Amplicor Hepatitis B Virus (HBV) Monitor test for quantitation of HBV DNA in serum samples. METHODS: The reference sera of the Chinese National Institute for the Control of Pharmaceutical and Biological Products and the National Center for Clinical Laboratories of China, and 158 clinical serum samples were used in this study. The linearity, accuracy, reproducibility, assay time, and costs of the real-time PCR were evaluated and compared with those of the Cobas Amplicor test. RESULTS: The intra-assay and inter-assay variations of the real-time PCR ranged from 0.3% to 3.8% and 1.4% to 8.1%, respectively. The HBV DNA levels measured by the real-time PCR correlated very well with those obtained with the COBAS Amplicor test (r = 0.948). The real-time PCR HBV DNA kit was much cheaper and had a wider dynamic range. CONCLUSION: The real-time PCR assay is an excellent tool for monitoring of HBV DNA levels in patients with chronic hepatitis B.
基金National Natural Science Foundation under Grant Nos.51179093,91215301 and 41274106the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20130002110032Tsinghua University Initiative Scientific Research Program under Grant No.20131089285
文摘A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element (FE) numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom (DOFs). Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.
基金supported by the National Natural Science Foundation of China (51175502)
文摘Testing is the premise and foundation of realizing equipment health management (EHM). To address the problem that the static periodic test strategy may cause deficient test or excessive test, a dynamic sequential test strategy (DSTS) for EHM is presented. Considering the situation that equipment health state is not completely observable in reality, a DSTS optimization method based on partially observable semi-Markov decision pro- cess (POSMDP) is proposed. Firstly, an equipment health state degradation model is constructed by Markov process, and the control limit maintenance policy is also introduced. Secondly, POSMDP is formulated in great detail. And then, POSMDP is converted to completely observable belief semi-Markov decision process (BSMDP) through belief state. The optimal equation and the corresponding optimal DSTS, which minimize the long-run ex- pected average cost per unit time, are obtained with BSMDP. The results of application in complex equipment show that the proposed DSTS is feasible and effective.
文摘In order to research the effects of built-in test(BIT) on the system and select BITand test strategy,the complex repairable systems with BITequipment are modeled and simulated by using Simulink.Based on the model,the influences of different built-in test equipments,maintenance time and error probabilities on the system usability are evaluated.The simulation results showthat they effect on the system differently.The simulation method of complex system based on Simulink provides a technique approach to research the effects of BITon the system and select BITand test strategy.
文摘To solve the problems of low precision of weak feature extraction,heavy reliance on labor and low efficiency of weak feature extraction in X-ray weld detection image of ultra-high voltage(UHV)equipment key parts,an automatic feature extraction algorithm is proposed.Firstly,the original weld image is denoised while retaining the characteristic information of weak defects by the proposed monostable stochastic resonance method.Then,binarization is achieved by combining Laplacian edge detection and Otsu threshold segmentation.Finally,the automatic identification of weld defect area is realized based on the sequential traversal of binary tree.Several characteristic analysis dimensions are established for weld defects of UHV key parts,including defect area,perimeter,slenderness ratio,duty cycle,etc.The experiment using theweld detection image of the actual production site shows that the proposedmethod can effectively extract theweak feature information ofweld defects and further provide reference for decision-making.
文摘Double packer equipment for hydraulic test can be used to measure pressure of test zone directly, and it is frequently used to perform many kinds of hydraulic tests and take groundwater sample from borehole. The test method of this equipment mainly includes the test design, implementation, interpretation and synthetic analysis. By adopting the double packer equipment for hydraulic test, the parameter distribution of rock permeability along borehole can be acquired, as well as the connectivity, water conductivity and water bearing capacity of the disclosed structure and the chemical characteristics of the deep groundwater. It is a necessary method for the research and evaluation of the complex hypotonicity terrace site selection under geological conditions. This method is not only suitable for the geological disposal of high level radioactive waste, but also can be used in the site selection of underground facilities such as storage of petroleum and carbon dioxide. Meanwhile, it has a good application prospect in other hydrogeological investigation fields.
基金Scientific Research Fund of the Institute of Engineering Mechanics,CEA under Grant No.2016B09,2017A02 and 2016A06the National Natural Science Foundation of China under Grant No,51378478,51408565,51678538 and 51161120360the National ScienceTechnology Support Plan Projects(2016YFC0701106)
文摘This paper employs a velocity plus displacement(V+D)-based equivalent force control(EFC) method to solve the velocity/displacement difference equation in a real-time substructure test. This method uses type 2 feedback control loops to replace mathematical iteration to solve the nonlinear dynamic equation. A spectral radius analysis of the amplification matrix shows that the type 2 EFC-explicit, Newmark-β method has beneficial numerical characteristics for this method. Its stability limit of Ω = 2 remains unchanged regardless of the system damping because the velocity is achieved with very high accuracy during simulation. In contrast, the stability limits of the central difference method using direct velocity prediction and the EFC-average acceleration method with linear interpolation are shown to decrease with an increase in system damping. In fact, the EFC-average acceleration method is shown to change from unconditionally stable to conditionally stable. We also show that if an over-damped system with a damping ratio of 1.05 is considered, the stability limit is reduced to Ω =1.45. Finally, the results from an experiment with a single-degree-of-freedom structure installed with a magneto-rheological(MR) damper are presented. The results demonstrate that the proposed method is able to follow both displacement and velocity commands with moderate accuracy, resulting in improved test performance and accuracy for structures that are sensitive to both velocity and displacement inputs. Although the findings of the study are promising, additional test data and several further improvements will be required to draw general conclusions.
文摘This paper discusses causes of the rate ripple in inertia guidance test equipment IGET, systematically analyses their effects an the rate ripple in IGTE. The analysis result shows: The rate ripple caused by the periodic errors of inductosyn and angular encoder is higher at high speed than that caused by magnetic ripple torque and friction torque, and it cannot be eliminated by adjusting control parameters of the system. And based on the nonlinear adaptive control system theory, the paper puts forward a new control system scheme to eliminate the rate ripple caused by the periodic errors of inductosyn and angular encoder, develops the adaptive control rules and makes simulation and test. Experimental result shows a significant improvement on those tables for the period disturbs under the system scheme designed. By this plan, with the input of rate 200°/s, the rate ripple falls from 5°/s to 0. 4°/s within about 6s adaptive adjustment time, being a twelfth of before adaptation, which can not be reached by common classical controls. The experimental results conform with the simulation, which proves the validity and practicability of the plan.
文摘National Quality Supervision & Inspection Center for Refractories Business scope: Selective examination for national quality supervision; Identification of production license; Arbitration inspection and technical achievements evaluation; Commodities inspection and otherquality inspections .
文摘The objective of this work was to study the use of standard equipment in amplitude and frequency tests of dental scaler tip according to ISO 18397.Four types of standard equipment:a laser displacement sensor,a microscope,a tachometer,and an ultrasonic frequency meter,were experimentally investigated to test a tip.The standard laser displacement sensor and the standard microscope were used to test the unloaded amplitude of the scaler tip.It was found that two types of standard equipment were able to measure the unloaded amplitude of the tip.The standard microscope was also employed for the loaded amplitude test.This test was performed by pressing the scaler tip with a load of 1 N,which was measured by a load cell set.The peak-to-peak amplitude found from the test was 116.7 m.The frequency test of the scaler tip was conducted using the standard laser displacement sensor,the tachometer and the ultrasonic frequency meter.All three types of standard equipment were found to be able to test the frequency of the tip without cooling liquid.Nevertheless,only the standard tachometer was capable of measuring the frequency of the tip with cooling liquid applied.
基金Supported by Special Project of Public Sector Funding for Scientific Research,Ministry of Land and Resources,China(No.200811066)
文摘A mobile in-situ testing equipment used to detect geotechnical thermophysical properties was developed. The equipment is composed of a heat pump, frequency pumps, an electric tee joint regulator valve, some sensors, an electric control system, data acquisition and control system, which can do tests under the condition of extracting and storing subsurface heat. Applying the line source and the cylinder source heat transfer model, and combining the parameters estimation, the average thermophysieal property parameters of rock and soil will be calculated, which provides the basis for designing the ground source heat pump systems.
文摘The paper intfoduces a PC-DSP based real-time digital simulator which is portable in size and aimed at the closed-loop testing of various types of protective relays for their design and application. The simulator can be widely used in not only concerning utilities but also manufacturers and research / certification institutes because of its many functions. The hardware architecture and software implementation of the simulator are described. The main features and functions of the simulator are also