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.展开更多
Ship motions induced by waves have a significant impact on the efficiency and safety of offshore operations.Real-time prediction of ship motions in the next few seconds plays a crucial role in performing sensitive act...Ship motions induced by waves have a significant impact on the efficiency and safety of offshore operations.Real-time prediction of ship motions in the next few seconds plays a crucial role in performing sensitive activities.However,the obvious memory effect of ship motion time series brings certain difficulty to rapid and accurate prediction.Therefore,a real-time framework based on the Long-Short Term Memory(LSTM)neural network model is proposed to predict ship motions in regular and irregular head waves.A 15000 TEU container ship model is employed to illustrate the proposed framework.The numerical implementation and the real-time ship motion prediction in irregular head waves corresponding to the different time scales are carried out based on the container ship model.The related experimental data were employed to verify the numerical simulation results.The results show that the proposed method is more robust than the classical extreme short-term prediction method based on potential flow theory in the prediction of nonlinear ship motions.展开更多
Controlled laboratory experiments are proved to be a valuable tool for investigating changes in underground physical properties and the related response of surface geophysical signals.The self-potential(SP)method is w...Controlled laboratory experiments are proved to be a valuable tool for investigating changes in underground physical properties and the related response of surface geophysical signals.The self-potential(SP)method is widely used in mineral resource exploration due to its direct correlation with underground electrochemical gradients.This paper presented the design and construction of an experimental platform based on a multi-channel SP monitoring system.The proposed platform was used to monitor the anodizing corrosion process of different metal blocks from a laboratory perspective,record the real-time SP signal generated by the redox reaction,as well as investigate the geobattery mechanism associated with the natural polarization process of metal mineral resources.The experimental results demonstrate that the constructed SP monitoring platform effectively captures time-series SP signals and provides direct laboratory evidence for the geobattery model.The measured SP data were quantitatively interpreted using the simulated annealing algorithm,and the inversion results closely match the real model.This finding highlights the potential of the SP method as a promising tool for determining the location and spatial distribution of underground polarizers.The study holds reference value for the exploration and exploitation of mineral resources in both terrestrial and marine environments.展开更多
[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been propo...[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been proposed for monitoring cow ruminant behavior,including video surveillance,sound recognition,and sensor monitoring methods.How‐ever,the application of edge device gives rise to the issue of inadequate real-time performance.To reduce the volume of data transmission and cloud computing workload while achieving real-time monitoring of dairy cow rumination behavior,a real-time monitoring method was proposed for cow ruminant behavior based on edge computing.[Methods]Autono‐mously designed edge devices were utilized to collect and process six-axis acceleration signals from cows in real-time.Based on these six-axis data,two distinct strategies,federated edge intelligence and split edge intelligence,were investigat‐ed for the real-time recognition of cow ruminant behavior.Focused on the real-time recognition method for cow ruminant behavior leveraging federated edge intelligence,the CA-MobileNet v3 network was proposed by enhancing the MobileNet v3 network with a collaborative attention mechanism.Additionally,a federated edge intelligence model was designed uti‐lizing the CA-MobileNet v3 network and the FedAvg federated aggregation algorithm.In the study on split edge intelli‐gence,a split edge intelligence model named MobileNet-LSTM was designed by integrating the MobileNet v3 network with a fusion collaborative attention mechanism and the Bi-LSTM network.[Results and Discussions]Through compara‐tive experiments with MobileNet v3 and MobileNet-LSTM,the federated edge intelligence model based on CA-Mo‐bileNet v3 achieved an average Precision rate,Recall rate,F1-Score,Specificity,and Accuracy of 97.1%,97.9%,97.5%,98.3%,and 98.2%,respectively,yielding the best recognition performance.[Conclusions]It is provided a real-time and effective method for monitoring cow ruminant behavior,and the proposed federated edge intelligence model can be ap‐plied in practical settings.展开更多
介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系...介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。展开更多
应用SYBR Green I染料能选择性结合双链DNA的特点,可检测到沙门氏菌fimI基因特异性靶序列扩增所产生的荧光信号,通过熔解曲线可知其熔点值约为85.6℃,而对其他非沙门氏菌则检测不到荧光信号。建立了一种肉品中的沙门氏菌Real-time PCR...应用SYBR Green I染料能选择性结合双链DNA的特点,可检测到沙门氏菌fimI基因特异性靶序列扩增所产生的荧光信号,通过熔解曲线可知其熔点值约为85.6℃,而对其他非沙门氏菌则检测不到荧光信号。建立了一种肉品中的沙门氏菌Real-time PCR检测方法,用该方法检测市售牛肉、香肠中的沙门氏菌,其检测灵敏度分别为13,12 cfu/25 g,从样品的处理到得出检验结果可以在10 h内完成。该检测方法具有简便、快速、特异性强、敏感度高等特点。展开更多
文摘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.
文摘Ship motions induced by waves have a significant impact on the efficiency and safety of offshore operations.Real-time prediction of ship motions in the next few seconds plays a crucial role in performing sensitive activities.However,the obvious memory effect of ship motion time series brings certain difficulty to rapid and accurate prediction.Therefore,a real-time framework based on the Long-Short Term Memory(LSTM)neural network model is proposed to predict ship motions in regular and irregular head waves.A 15000 TEU container ship model is employed to illustrate the proposed framework.The numerical implementation and the real-time ship motion prediction in irregular head waves corresponding to the different time scales are carried out based on the container ship model.The related experimental data were employed to verify the numerical simulation results.The results show that the proposed method is more robust than the classical extreme short-term prediction method based on potential flow theory in the prediction of nonlinear ship motions.
基金Project(42174170)supported by the National Natural Science Foundation of China。
文摘Controlled laboratory experiments are proved to be a valuable tool for investigating changes in underground physical properties and the related response of surface geophysical signals.The self-potential(SP)method is widely used in mineral resource exploration due to its direct correlation with underground electrochemical gradients.This paper presented the design and construction of an experimental platform based on a multi-channel SP monitoring system.The proposed platform was used to monitor the anodizing corrosion process of different metal blocks from a laboratory perspective,record the real-time SP signal generated by the redox reaction,as well as investigate the geobattery mechanism associated with the natural polarization process of metal mineral resources.The experimental results demonstrate that the constructed SP monitoring platform effectively captures time-series SP signals and provides direct laboratory evidence for the geobattery model.The measured SP data were quantitatively interpreted using the simulated annealing algorithm,and the inversion results closely match the real model.This finding highlights the potential of the SP method as a promising tool for determining the location and spatial distribution of underground polarizers.The study holds reference value for the exploration and exploitation of mineral resources in both terrestrial and marine environments.
文摘[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been proposed for monitoring cow ruminant behavior,including video surveillance,sound recognition,and sensor monitoring methods.How‐ever,the application of edge device gives rise to the issue of inadequate real-time performance.To reduce the volume of data transmission and cloud computing workload while achieving real-time monitoring of dairy cow rumination behavior,a real-time monitoring method was proposed for cow ruminant behavior based on edge computing.[Methods]Autono‐mously designed edge devices were utilized to collect and process six-axis acceleration signals from cows in real-time.Based on these six-axis data,two distinct strategies,federated edge intelligence and split edge intelligence,were investigat‐ed for the real-time recognition of cow ruminant behavior.Focused on the real-time recognition method for cow ruminant behavior leveraging federated edge intelligence,the CA-MobileNet v3 network was proposed by enhancing the MobileNet v3 network with a collaborative attention mechanism.Additionally,a federated edge intelligence model was designed uti‐lizing the CA-MobileNet v3 network and the FedAvg federated aggregation algorithm.In the study on split edge intelli‐gence,a split edge intelligence model named MobileNet-LSTM was designed by integrating the MobileNet v3 network with a fusion collaborative attention mechanism and the Bi-LSTM network.[Results and Discussions]Through compara‐tive experiments with MobileNet v3 and MobileNet-LSTM,the federated edge intelligence model based on CA-Mo‐bileNet v3 achieved an average Precision rate,Recall rate,F1-Score,Specificity,and Accuracy of 97.1%,97.9%,97.5%,98.3%,and 98.2%,respectively,yielding the best recognition performance.[Conclusions]It is provided a real-time and effective method for monitoring cow ruminant behavior,and the proposed federated edge intelligence model can be ap‐plied in practical settings.
文摘介绍了INS/DR/MM车辆组合导航系统以及系统的部件组成,对系统的软硬件结构进行了分析。结合目前各主流嵌入式平台的性能,利用Windows XP Embedded(XPE)嵌入式操作系统体积小和易扩展的优势,选用Windows XP Embedded作为车辆组合导航系统的开发平台。为了满足车辆导航实时、快速的要求,设计了基于模糊逻辑的地图匹配算法。经过多次实际跑车试验证明,该嵌入式车辆导航系统可以正确实时地将地图匹配后的位置信息显示在电子地图上。
