The delay compensation method plays an essential role in maintaining the stability and achieving accurate real-time hybrid simulation results. The effectiveness of various compensation methods in different test scenar...The delay compensation method plays an essential role in maintaining the stability and achieving accurate real-time hybrid simulation results. The effectiveness of various compensation methods in different test scenarios, however, needs to be quantitatively evaluated. In this study, four compensation methods (i.e., the polynomial extrapolation, the linear acceleration extrapolation, the inverse compensation and the adaptive inverse compensation) are selected and compared experimentally using a frequency evaluation index (FEI) method. The effectiveness of the FEI method is first verified through comparison with the discrete transfer fimction approach for compensation methods assuming constant delay. Incomparable advantage is further demonstrated for the FEI method when applied to adaptive compensation methods, where the discrete transfer function approach is difficult to implement. Both numerical simulation and laboratory tests with predefined displacements are conducted using sinusoidal signals and random signals as inputs. Findings from numerical simulation and experimental results demonstrate that the FEI method is an efficient and effective approach to compare the performance of different compensation methods, especially for those requiring adaptation of compensation parameters.展开更多
In this paper, a class of real-time parallel combined methods (RTPCM) of the digital simulation for a partitioned large system is presented. By means of combination of the parallelism across the system with the parall...In this paper, a class of real-time parallel combined methods (RTPCM) of the digital simulation for a partitioned large system is presented. By means of combination of the parallelism across the system with the parallelism across the method, stiff and non-stiff subsystems are solved in parallel on parallel computer by a parallel Rosenbrock method and a parallel RK method, respectively. Their construction, convergence and numerical stability are discussed, and the digitalsimulation experiments are conducted.展开更多
A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and rela...A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and relaxing the dependence of stage value computation on sampling time of input function, a class of modified real-time parallel combined methods are constructed. Stiff and nonstiff subsystems are solved in parallel on a parallel computer by a parallel Rosen-brock method and a parallel RK method, respectively. Their order conditions and convergences are discussed. The numerical simulation experiments show that this class of modified algorithms can get high speed and efficiency.展开更多
Based on the hybrid numerical method (HNM) combining with a reduced-basis method (RBM), the real-time transient response of a functionally graded material (FGM) plates is obtained. The large eigenvalue problem in wave...Based on the hybrid numerical method (HNM) combining with a reduced-basis method (RBM), the real-time transient response of a functionally graded material (FGM) plates is obtained. The large eigenvalue problem in wavenumber domain has been solved through real-time off-line/on-line calculation. At off-line stage, a reduced-basis space is constructed in sample wavenumbers according to the solved eigenvalue problems. The matrices independent of parameters are projected onto the reduced-basis spaces. At on-line stage, the reduced eigenvalue problems of the arbitrary wavenumbers are built. Subsequently, the responses in wavenumber domain are obtained by the approximated eigen-pairs. Because of the application of RBM, the computational cost of transient displacement analysis of FGM plate is decreased significantly, while the accuracy of the solution and the physics of the structure are still retained. The efficiency and validity of the proposed method are demonstrated through a numerical example.展开更多
The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems i...The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.展开更多
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.展开更多
Real-time seam tracking can improve welding quality and enhance welding efficiency during the welding process in automobile manufacturing.However,the teaching-playing welding process,an off-line seam tracking method,i...Real-time seam tracking can improve welding quality and enhance welding efficiency during the welding process in automobile manufacturing.However,the teaching-playing welding process,an off-line seam tracking method,is still dominant in automobile industry,which is less flexible when welding objects or situation change.A novel real-time algorithm consisting of seam detection and generation is proposed to track seam.Using captured 3D points,space vectors were created between two adjacent points along each laser line and then a vector angle based algorithm was developed to detect target points on the seam.Least square method was used to fit target points to a welding trajectory for seam tracking.Furthermore,the real-time seam tracking process was simulated in MATLAB/Simulink.The trend of joint angles vs.time was logged and a comparison between the off-line and the proposed seam tracking algorithm was conducted.Results show that the proposed real-time seam tracking algorithm can work in a real-time scenario and have high accuracy in welding point positioning.展开更多
In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to e...In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to enhance the video image brightness visualization and the color performance depending on the certain hardware property and function parameters. The experimental results prove that this method can enhance the colors and the contrast of the video images, based on the estimated quality feature values of each frame, without using the extra Digital Signal Processor (DSP).展开更多
A real-time quantitative optical method to characterize crack propagation in colloidal photonic crystal film(CPCF)is developed based on particle deformation models and previous real-time crack observations. The crac...A real-time quantitative optical method to characterize crack propagation in colloidal photonic crystal film(CPCF)is developed based on particle deformation models and previous real-time crack observations. The crack propagation process and temperature dependence of the crack propagation rate in CPCF are investigated. By this method, the crack propagation rate is found to slow down gradually to zero when cracks become more numerous and dense. Meanwhile, with the temperature increasing, the crack propagation rate constant decreases. The negative temperature dependence of the crack propagation rate is due to the increase of van der Waals attraction, which finally results in the decrease of resultant force. The findings provide new insight into the crack propagation process in CPCF.展开更多
[Objective] The aim was to study the rear-end real-time data quality control method of regional automatic weather station. [Method] The basic content and steps of rear-end real-time data quality control of regional au...[Objective] The aim was to study the rear-end real-time data quality control method of regional automatic weather station. [Method] The basic content and steps of rear-end real-time data quality control of regional automatic weather station were introduced. Each element was treated with systematic quality control procedure. The existence of rear-end real time data of regional meteorological station in Guangxi was expounded. Combining with relevant elements and linear changes, improvement based on traditional quality control method was made. By dint of evaluation and relevant check of element, the quality of temperature and pressure was controlled. [Result] The method was optimized based on traditional quality control method, and it narrowed the effectiveness of real-time data quality control. The quality check of hourly precipitation applied relevant check of hourly minimum temperature, vertical consistency check of radar data, which can effectively improve the accuracy and credibility of hourly precipitation quality control. [Conclusion] The method was on trial for one year in the quality control of real-time data in the regional automatic meteorological station in Guangxi and had gained good outcome.展开更多
为探讨PRRSV感染后机体的体液免疫应答、从分子水平深入研究PRRSV的免疫机制,本研究针对Th2型细胞因子IL-4、IL-6、IL-10以及看家基因β-actin的基因序列分别设计一对特异性引物,构建含有各自引物扩增序列的重组质粒作为阳性标准品,建...为探讨PRRSV感染后机体的体液免疫应答、从分子水平深入研究PRRSV的免疫机制,本研究针对Th2型细胞因子IL-4、IL-6、IL-10以及看家基因β-actin的基因序列分别设计一对特异性引物,构建含有各自引物扩增序列的重组质粒作为阳性标准品,建立了检测IL-4、IL-6、IL-10及β-actin的SYBR Green Ⅰ real-time PCR方法。该方法线性关系好,各种细胞因子及β-actin标准曲线的相关系数均达到0.997以上;敏感性高,初始模板的检出下限均达到1×101copies/μL;特异性强,扩增产物形成单一的特异性熔解峰;重复性好,组内与组间的变异系数均小于3%。应用所建立的方法对猪繁殖与呼吸综合征病毒(PRRSV)感染仔猪外周血单个核细胞(PBMC)中IL-4、IL-6和IL-10mRNA的表达水平进行了检测。结果表明,本研究建立的real-timePCR检测方法灵敏度高、特异性强、重复性好,可以用于猪Th2型细胞因子的检测及定量分析。展开更多
Efficient real time data exchange over the Internet plays a crucial role in the successful application of web-based systems. In this paper, a data transfer mechanism over the Internet is proposed for real time web bas...Efficient real time data exchange over the Internet plays a crucial role in the successful application of web-based systems. In this paper, a data transfer mechanism over the Internet is proposed for real time web based applications. The mechanism incorporates the eXtensible Markup Language (XML) and Hierarchical Data Format (HDF) to provide a flexible and efficient data format. Heterogeneous transfer data is classified into light and heavy data, which are stored using XML and HDF respectively; the HDF data format is then mapped to Java Document Object Model (JDOM) objects in XML in the Java environment. These JDOM data objects are sent across computer networks with the support of the Java Remote Method Invocation (RMI) data transfer infrastructure. Client's defined data priority levels are implemented in RMI, which guides a server to transfer data objects at different priorities. A remote monitoring system for an industrial reactor process simulator is used as a case study to illustrate the proposed data transfer mechanism.展开更多
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.展开更多
基金National Natural Science Foundation of China under Grant No.51378107the Fundamental Research Funds for the Central Universities and Priority Academic Program Development of Jiangsu Higher Education Institutions under Grant No.KYLX-0158the National Natural Science Foundation under Grant No.CMMI-1227962
文摘The delay compensation method plays an essential role in maintaining the stability and achieving accurate real-time hybrid simulation results. The effectiveness of various compensation methods in different test scenarios, however, needs to be quantitatively evaluated. In this study, four compensation methods (i.e., the polynomial extrapolation, the linear acceleration extrapolation, the inverse compensation and the adaptive inverse compensation) are selected and compared experimentally using a frequency evaluation index (FEI) method. The effectiveness of the FEI method is first verified through comparison with the discrete transfer fimction approach for compensation methods assuming constant delay. Incomparable advantage is further demonstrated for the FEI method when applied to adaptive compensation methods, where the discrete transfer function approach is difficult to implement. Both numerical simulation and laboratory tests with predefined displacements are conducted using sinusoidal signals and random signals as inputs. Findings from numerical simulation and experimental results demonstrate that the FEI method is an efficient and effective approach to compare the performance of different compensation methods, especially for those requiring adaptation of compensation parameters.
文摘In this paper, a class of real-time parallel combined methods (RTPCM) of the digital simulation for a partitioned large system is presented. By means of combination of the parallelism across the system with the parallelism across the method, stiff and non-stiff subsystems are solved in parallel on parallel computer by a parallel Rosenbrock method and a parallel RK method, respectively. Their construction, convergence and numerical stability are discussed, and the digitalsimulation experiments are conducted.
基金This project was supported by the National Natural Science Foundation of China (19871080).
文摘A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and relaxing the dependence of stage value computation on sampling time of input function, a class of modified real-time parallel combined methods are constructed. Stiff and nonstiff subsystems are solved in parallel on a parallel computer by a parallel Rosen-brock method and a parallel RK method, respectively. Their order conditions and convergences are discussed. The numerical simulation experiments show that this class of modified algorithms can get high speed and efficiency.
文摘Based on the hybrid numerical method (HNM) combining with a reduced-basis method (RBM), the real-time transient response of a functionally graded material (FGM) plates is obtained. The large eigenvalue problem in wavenumber domain has been solved through real-time off-line/on-line calculation. At off-line stage, a reduced-basis space is constructed in sample wavenumbers according to the solved eigenvalue problems. The matrices independent of parameters are projected onto the reduced-basis spaces. At on-line stage, the reduced eigenvalue problems of the arbitrary wavenumbers are built. Subsequently, the responses in wavenumber domain are obtained by the approximated eigen-pairs. Because of the application of RBM, the computational cost of transient displacement analysis of FGM plate is decreased significantly, while the accuracy of the solution and the physics of the structure are still retained. The efficiency and validity of the proposed method are demonstrated through a numerical example.
文摘The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.
基金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.
基金Supported by Ministerial Level Advanced Research Foundation(65822576)Beijing Municipal Education Commission(KM201310858004,KM201310858001)
文摘Real-time seam tracking can improve welding quality and enhance welding efficiency during the welding process in automobile manufacturing.However,the teaching-playing welding process,an off-line seam tracking method,is still dominant in automobile industry,which is less flexible when welding objects or situation change.A novel real-time algorithm consisting of seam detection and generation is proposed to track seam.Using captured 3D points,space vectors were created between two adjacent points along each laser line and then a vector angle based algorithm was developed to detect target points on the seam.Least square method was used to fit target points to a welding trajectory for seam tracking.Furthermore,the real-time seam tracking process was simulated in MATLAB/Simulink.The trend of joint angles vs.time was logged and a comparison between the off-line and the proposed seam tracking algorithm was conducted.Results show that the proposed real-time seam tracking algorithm can work in a real-time scenario and have high accuracy in welding point positioning.
文摘In certain environments and under some conditions, the video images taken by the intelligent mobile video phones seem dark, and the colors are not bright or saturated enough.This paper presents an adaptive method to enhance the video image brightness visualization and the color performance depending on the certain hardware property and function parameters. The experimental results prove that this method can enhance the colors and the contrast of the video images, based on the estimated quality feature values of each frame, without using the extra Digital Signal Processor (DSP).
基金Project supported by the National Basic Research Program of China(Grant Nos.2012CB932903 and 2012CB932904)the National Natural Science Foundation of China(Grant Nos.51372270,11474333,and 21173260)
文摘A real-time quantitative optical method to characterize crack propagation in colloidal photonic crystal film(CPCF)is developed based on particle deformation models and previous real-time crack observations. The crack propagation process and temperature dependence of the crack propagation rate in CPCF are investigated. By this method, the crack propagation rate is found to slow down gradually to zero when cracks become more numerous and dense. Meanwhile, with the temperature increasing, the crack propagation rate constant decreases. The negative temperature dependence of the crack propagation rate is due to the increase of van der Waals attraction, which finally results in the decrease of resultant force. The findings provide new insight into the crack propagation process in CPCF.
文摘[Objective] The aim was to study the rear-end real-time data quality control method of regional automatic weather station. [Method] The basic content and steps of rear-end real-time data quality control of regional automatic weather station were introduced. Each element was treated with systematic quality control procedure. The existence of rear-end real time data of regional meteorological station in Guangxi was expounded. Combining with relevant elements and linear changes, improvement based on traditional quality control method was made. By dint of evaluation and relevant check of element, the quality of temperature and pressure was controlled. [Result] The method was optimized based on traditional quality control method, and it narrowed the effectiveness of real-time data quality control. The quality check of hourly precipitation applied relevant check of hourly minimum temperature, vertical consistency check of radar data, which can effectively improve the accuracy and credibility of hourly precipitation quality control. [Conclusion] The method was on trial for one year in the quality control of real-time data in the regional automatic meteorological station in Guangxi and had gained good outcome.
文摘为探讨PRRSV感染后机体的体液免疫应答、从分子水平深入研究PRRSV的免疫机制,本研究针对Th2型细胞因子IL-4、IL-6、IL-10以及看家基因β-actin的基因序列分别设计一对特异性引物,构建含有各自引物扩增序列的重组质粒作为阳性标准品,建立了检测IL-4、IL-6、IL-10及β-actin的SYBR Green Ⅰ real-time PCR方法。该方法线性关系好,各种细胞因子及β-actin标准曲线的相关系数均达到0.997以上;敏感性高,初始模板的检出下限均达到1×101copies/μL;特异性强,扩增产物形成单一的特异性熔解峰;重复性好,组内与组间的变异系数均小于3%。应用所建立的方法对猪繁殖与呼吸综合征病毒(PRRSV)感染仔猪外周血单个核细胞(PBMC)中IL-4、IL-6和IL-10mRNA的表达水平进行了检测。结果表明,本研究建立的real-timePCR检测方法灵敏度高、特异性强、重复性好,可以用于猪Th2型细胞因子的检测及定量分析。
文摘Efficient real time data exchange over the Internet plays a crucial role in the successful application of web-based systems. In this paper, a data transfer mechanism over the Internet is proposed for real time web based applications. The mechanism incorporates the eXtensible Markup Language (XML) and Hierarchical Data Format (HDF) to provide a flexible and efficient data format. Heterogeneous transfer data is classified into light and heavy data, which are stored using XML and HDF respectively; the HDF data format is then mapped to Java Document Object Model (JDOM) objects in XML in the Java environment. These JDOM data objects are sent across computer networks with the support of the Java Remote Method Invocation (RMI) data transfer infrastructure. Client's defined data priority levels are implemented in RMI, which guides a server to transfer data objects at different priorities. A remote monitoring system for an industrial reactor process simulator is used as a case study to illustrate the proposed data transfer mechanism.
基金supported by the Foundation for Innovative Research Groups of National Natural Science Foundation of China(No.51321065)the Foundation for Key Program of Natural Science Foundation of High Arch Dam(No.51339003)the National Basic Research Program of China(‘‘973’’Program,No.2013CB035904)
基金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.