Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effec...Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.展开更多
In this paper, we present the modeling and optimization of a Real-Time Protocol（RTP） used in Train Communication Networks（TCN）. In the proposed RTP, message arbitration is represented by a probabilistic model and ...In this paper, we present the modeling and optimization of a Real-Time Protocol（RTP） used in Train Communication Networks（TCN）. In the proposed RTP, message arbitration is represented by a probabilistic model and the number of arbitration checks is minimized by using the probability of device activity. Our optimized protocol is fully compatible with the original standard and can thus be implemented easily. The experimental results demonstrate that the proposed algorithm can reduce the number of checks by about 50%, thus significantly enhancing bandwidth.展开更多
The Internet of Things(IoT)and mobile technology have significantly transformed healthcare by enabling real-time monitoring and diagnosis of patients.Recognizing Medical-Related Human Activities(MRHA)is pivotal for he...The Internet of Things(IoT)and mobile technology have significantly transformed healthcare by enabling real-time monitoring and diagnosis of patients.Recognizing Medical-Related Human Activities(MRHA)is pivotal for healthcare systems,particularly for identifying actions critical to patient well-being.However,challenges such as high computational demands,low accuracy,and limited adaptability persist in Human Motion Recognition(HMR).While some studies have integrated HMR with IoT for real-time healthcare applications,limited research has focused on recognizing MRHA as essential for effective patient monitoring.This study proposes a novel HMR method tailored for MRHA detection,leveraging multi-stage deep learning techniques integrated with IoT.The approach employs EfficientNet to extract optimized spatial features from skeleton frame sequences using seven Mobile Inverted Bottleneck Convolutions(MBConv)blocks,followed by Convolutional Long Short Term Memory(ConvLSTM)to capture spatio-temporal patterns.A classification module with global average pooling,a fully connected layer,and a dropout layer generates the final predictions.The model is evaluated on the NTU RGB+D 120 and HMDB51 datasets,focusing on MRHA such as sneezing,falling,walking,sitting,etc.It achieves 94.85%accuracy for cross-subject evaluations and 96.45%for cross-view evaluations on NTU RGB+D 120,along with 89.22%accuracy on HMDB51.Additionally,the system integrates IoT capabilities using a Raspberry Pi and GSM module,delivering real-time alerts via Twilios SMS service to caregivers and patients.This scalable and efficient solution bridges the gap between HMR and IoT,advancing patient monitoring,improving healthcare outcomes,and reducing costs.展开更多
Secure real-time databases must simultaneously satisfy two requirements in guaranteeing data security and minimizing the missing deadlines ratio of transactions. However, these two requirements can conflict with each ...Secure real-time databases must simultaneously satisfy two requirements in guaranteeing data security and minimizing the missing deadlines ratio of transactions. However, these two requirements can conflict with each other and achieve one requirement is to sacrifice the other. This paper presents a secure real-time concurrency control protocol based on optimistic method. The concurrency control protocol incorporates security constraints in a real-time optimistic concurrency control protocol and makes a suitable tradeoff between security and real-time requirements by introducing secure influence factor and real-time influence factor. The experimental results show the concurrency control protocol achieves data security without degrading real-time perform ance significantly.展开更多
The authors propose a new persistent transmission based real time Ethernet MAC protocol that provides a predictable upper bound for the delivery delay of real time frames. Moreover, it is compatible with the protocol ...The authors propose a new persistent transmission based real time Ethernet MAC protocol that provides a predictable upper bound for the delivery delay of real time frames. Moreover, it is compatible with the protocol used by the existing Ethernet controllers for conventional datagram traffic and thus standard Ethernet stations can be used in the system without any modification. The paper describes the protocol in detail and analyses the maximum delivery delay for real time traffic and the efficiency of the channel.展开更多
Graphic processing units （GPUs） have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due ...Graphic processing units （GPUs） have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due to the lack in framework for real-time analysis. In order to guarantee real-time requirements while maintaining system utilization ~in modern heterogeneous systems, such as multicore multi-GPU systems, a novel suspension-based k-exclusion real-time locking protocol and the associated suspension-aware schedulability analysis are proposed. The proposed protocol provides a synchronization framework that enables multiple GPUs to be efficiently integrated in multicore real-time systems. Comparative evaluations show that the proposed methods improve upon the existing work in terms of schedulability.展开更多
Along with process control,perception represents the main function performed by the Edge Layer of an Internet of Things(IoT)network.Many of these networks implement various applications where the response time does no...Along with process control,perception represents the main function performed by the Edge Layer of an Internet of Things(IoT)network.Many of these networks implement various applications where the response time does not represent an important parameter.However,in critical applications,this parameter represents a crucial aspect.One important sensing device used in IoT designs is the accelerometer.In most applications,the response time of the embedded driver software handling this device is generally not analysed and not taken into account.In this paper,we present the design and implementation of a predictable real-time driver stack for a popular accelerometer and gyroscope device family.We provide clear justifications for why this response time is extremely important for critical applications in the acquisition process of such data.We present extensive measurements and experimental results that demonstrate the predictability of our solution,making it suitable for critical real-time systems.展开更多
Considering characteristic of mHealth communication and problems of existing methods, this paper presents a real-time communication method for mHealth based on extended XMPP protocol. The method can maintain the role ...Considering characteristic of mHealth communication and problems of existing methods, this paper presents a real-time communication method for mHealth based on extended XMPP protocol. The method can maintain the role status efficiently and reduce data latency during the communication process. Meanwhile, it can be extended flexibly to meet increasing communication demands of mHealth services. Furthermore, a system framework is presented to support telemonitoring scene. Finally, system implementation and feasibility tests verify the effectiveness of the method and framework.展开更多
This paper presents a novel real-time routing protocol, called CBRR, with less energy consumption for wireless sensor networks (WSNs). End-to-End real-time requirements are fulfilled with speed or delay constraint at ...This paper presents a novel real-time routing protocol, called CBRR, with less energy consumption for wireless sensor networks (WSNs). End-to-End real-time requirements are fulfilled with speed or delay constraint at each hop through integrating the contention and neighbor table mechanisms. More precisely, CBRR maintains a neighbor table via the contention mechanism being dependent on wireless broadcast instead of beacons. Comprehensive simulations show that CBRR can not only achieve higher performance in static networks, but also work well for dynamic networks.展开更多
In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can e...In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can enhance the performance of real-time concurrency control mechanism by reducing the number of transactions that might miss their deadlines, and compare the performance of validation concurrency control protocol with that of HP2PL(High priority two phase locking) protocol and OCC-TI-WAIT-50(Optimistic concurrency control-time interval-wait-50) protocol under shared-disk architecture by simulation. The simulation results reveal that the protocol the author presented can effectively reduce the number of transactions restarting which might miss their deadlines and performs better than HP2PL and OCC-TI-WAIT-50. It works well when arrival rate of transaction is lesser than threshold. However, due to resource contention the percentage of missing deadline increases sharply when arrival rate is greater than the threshold.展开更多
Real-time semantic segmentation tasks place stringent demands on network inference speed,often requiring a reduction in network depth to decrease computational load.However,shallow networks tend to exhibit degradation...Real-time semantic segmentation tasks place stringent demands on network inference speed,often requiring a reduction in network depth to decrease computational load.However,shallow networks tend to exhibit degradation in feature extraction completeness and inference accuracy.Therefore,balancing high performance with real-time requirements has become a critical issue in the study of real-time semantic segmentation.To address these challenges,this paper proposes a lightweight bilateral dual-residual network.By introducing a novel residual structure combined with feature extraction and fusion modules,the proposed network significantly enhances representational capacity while reducing computational costs.Specifically,an improved compound residual structure is designed to optimize the efficiency of information propagation and feature extraction.Furthermore,the proposed feature extraction and fusion module enables the network to better capture multi-scale information in images,improving the ability to detect both detailed and global semantic features.Experimental results on the publicly available Cityscapes dataset demonstrate that the proposed lightweight dual-branch network achieves outstanding performance while maintaining low computational complexity.In particular,the network achieved a mean Intersection over Union(mIoU)of 78.4%on the Cityscapes validation set,surpassing many existing semantic segmentation models.Additionally,in terms of inference speed,the network reached 74.5 frames per second when tested on an NVIDIA GeForce RTX 3090 GPU,significantly improving real-time performance.展开更多
Here,a novel real-time monitoring sensor that integrates the oxidation of peroxymonosulfate(PMS)and the in situ monitoring of the pollutant degradation process is proposed.Briefly,FeCo@carbon fiber(FeCo@CF)was utilize...Here,a novel real-time monitoring sensor that integrates the oxidation of peroxymonosulfate(PMS)and the in situ monitoring of the pollutant degradation process is proposed.Briefly,FeCo@carbon fiber(FeCo@CF)was utilized as the anode electrode,while graphite rods served as the cathode electrode in assembling the galvanic cell.The FeCo@CF electrode exhibited rapid reactivity with PMS,generating reactive oxygen species that efficiently degrade organic pollutants.The degradation experiments indicate that complete bisphenol A(BPA)degradation was achieved within 10 min under optimal conditions.The real-time electrochemical signal was measured in time during the catalytic reaction,and a linear relationship between BPA concentration and the real-time charge(Q)was confirmed by the equation ln(C0/C)=4.393Q(correlation coefficients,R^(2)=0.998).Furthermore,experiments conducted with aureomycin and tetracycline further validated the effectiveness of the monitoring sensor.First-principles investigation confirmed the superior adsorption energy and improved electron transfer in FeCo@CF.The integration of pollutant degradation with in situ monitoring of catalytic reactions offers promising prospects for expanding the scope of the monitoring of catalytic processes and making significant contributions to environmental purification.展开更多
In this study,a high-confining pressure and real-time large-displacement shearing-flow setup was developed.The test setup can be used to analyze the injection pressure conditions that increase the hydro-shearing perme...In this study,a high-confining pressure and real-time large-displacement shearing-flow setup was developed.The test setup can be used to analyze the injection pressure conditions that increase the hydro-shearing permeability and injection-induced seismicity during hot dry rock geothermal extraction.For optimizing injection strategies and improving engineering safety,real-time permeability,deformation,and energy release characteristics of fractured granite samples driven by injected water pressure under different critical sliding conditions were evaluated.The results indicated that:(1)A low injection water pressure induced intermittent small-deformation stick-slip behavior in fractures,and a high injection pressure primarily caused continuous high-speed large-deformation sliding in fractures.The optimal injection water pressure range was defined for enhancing hydraulic shear permeability and preventing large injection-induced earthquakes.(2)Under the same experimental conditions,fracture sliding was deemed as the major factor that enhanced the hydraulic shear-permeability enhancement and the maximum permeability increased by 36.54 and 41.59 times,respectively,in above two slip modes.(3)Based on the real-time transient evolution of water pressure during fracture sliding,the variation coefficients of slip rate,permeability,and water pressure were fitted,and the results were different from those measured under quasi-static conditions.(4)The maximum and minimum shear strength criteria for injection-induced fracture sliding were also determined(μ=0.6665 andμ=0.1645,respectively,μis friction coefficient).Using the 3D(three-dimensional)fracture surface scanning technology,the weakening effect of injection pressure on fracture surface damage characteristics was determined,which provided evidence for the geological markers of fault sliding mode and sliding nature transitions under the fluid influence.展开更多
The exponential expansion of the Internet of Things(IoT),Industrial Internet of Things(IIoT),and Transportation Management of Things(TMoT)produces vast amounts of real-time streaming data.Ensuring system dependability...The exponential expansion of the Internet of Things(IoT),Industrial Internet of Things(IIoT),and Transportation Management of Things(TMoT)produces vast amounts of real-time streaming data.Ensuring system dependability,operational efficiency,and security depends on the identification of anomalies in these dynamic and resource-constrained systems.Due to their high computational requirements and inability to efficiently process continuous data streams,traditional anomaly detection techniques often fail in IoT systems.This work presents a resource-efficient adaptive anomaly detection model for real-time streaming data in IoT systems.Extensive experiments were carried out on multiple real-world datasets,achieving an average accuracy score of 96.06%with an execution time close to 7.5 milliseconds for each individual streaming data point,demonstrating its potential for real-time,resourceconstrained applications.The model uses Principal Component Analysis(PCA)for dimensionality reduction and a Z-score technique for anomaly detection.It maintains a low computational footprint with a sliding window mechanism,enabling incremental data processing and identification of both transient and sustained anomalies without storing historical data.The system uses a Multivariate Linear Regression(MLR)based imputation technique that estimates missing or corrupted sensor values,preserving data integrity prior to anomaly detection.The suggested solution is appropriate for many uses in smart cities,industrial automation,environmental monitoring,IoT security,and intelligent transportation systems,and is particularly well-suited for resource-constrained edge devices.展开更多
In the foundry industries,process design has traditionally relied on manuals and complex theoretical calculations.With the advent of 3D design in casting,computer-aided design(CAD)has been applied to integrate the fea...In the foundry industries,process design has traditionally relied on manuals and complex theoretical calculations.With the advent of 3D design in casting,computer-aided design(CAD)has been applied to integrate the features of casting process,thereby expanding the scope of design options.These technologies use parametric model design techniques for rapid component creation and use databases to access standard process parameters and design specifications.However,3D models are currently still created through inputting or calling parameters,which requires numerous verifications through calculations to ensure the design rationality.This process may be significantly slowed down due to repetitive modifications and extended design time.As a result,there are increasingly urgent demands for a real-time verification mechanism to address this issue.Therefore,this study proposed a novel closed-loop model and software development method that integrated contextual design with real-time verification,dynamically verifying relevant rules for designing 3D casting components.Additionally,the study analyzed three typical closed-loop scenarios of agile design in an independent developed intelligent casting process system.It is believed that foundry industries can potentially benefit from favorably reduced design cycles to yield an enhanced competitive product market.展开更多
Aiming at the problem that the traditional SRP-PHAT sound source localization method performs intensive search in a 360-degree space,resulting in high computational complexity and difficulty in meeting real-time requi...Aiming at the problem that the traditional SRP-PHAT sound source localization method performs intensive search in a 360-degree space,resulting in high computational complexity and difficulty in meeting real-time requirements,an innovative high-precision sound source localization method is proposed.This method combines the selective SRP-PHAT algorithm with real-time visual analysis.Its core innovations include using face detection to dynamically determine the scanning angle range to achieve visually guided selective scanning,distinguishing face sound sources from background noise through a sound source classification mechanism,and implementing intelligent background orientation selection to ensure comprehensive monitoring of environmental noise.Experimental results show that the method achieves a positioning accuracy of±5 degrees and a processing speed of more than 10FPS in complex real environments,and its performance is significantly better than the traditional full-angle scanning method.展开更多
Combining the background of modern construction engineering site safety management,this article analyzes the real-time monitoring and alarm strategies for site construction safety under the integration of BIM and AI.T...Combining the background of modern construction engineering site safety management,this article analyzes the real-time monitoring and alarm strategies for site construction safety under the integration of BIM and AI.This includes the analysis of BIM and AI technologies and their integration advantages,real-time monitoring and alarm strategies for construction site safety based on BIM and AI integration,as well as the development direction of BIM and AI integration in real-time monitoring and alarm for construction site safety.It is hoped that through this analysis,a scientific reference can be provided for the digital and intelligent management of construction site safety,promoting the digital and intelligent development of its safety management work.展开更多
Tree trunk instance segmentation is crucial for under-canopy unmanned aerial vehicles(UAVs)to autonomously extract standing tree stem attributes.Using cameras as sensors makes these UAVs compact and lightweight,facili...Tree trunk instance segmentation is crucial for under-canopy unmanned aerial vehicles(UAVs)to autonomously extract standing tree stem attributes.Using cameras as sensors makes these UAVs compact and lightweight,facilitating safe and flexible navigation in dense forests.However,their limited onboard computational power makes real-time,image-based tree trunk segmentation challenging,emphasizing the urgent need for lightweight and efficient segmentation models.In this study,we present RT-Trunk,a model specifically designed for real-time tree trunk instance segmentation in complex forest environments.To ensure real-time performance,we selected SparseInst as the base framework.We incorporated ConvNeXt-T as the backbone to enhance feature extraction for tree trunks,thereby improving segmentation accuracy.We further integrate the lightweight convolutional block attention module(CBAM),enabling the model to focus on tree trunk features while suppressing irrelevant information,which leads to additional gains in segmentation accuracy.To enable RT-Trunk to operate effectively under diverse complex forest environments,we constructed a comprehensive dataset for training and testing by combining self-collected data with multiple public datasets covering different locations,seasons,weather conditions,tree species,and levels of forest clutter.Com-pared with the other tree trunk segmentation methods,the RT-Trunk method achieved an average precision of 91.4%and the fastest inference speed of 32.9 frames per second.Overall,the proposed RT-Trunk provides superior trunk segmentation performance that balances speed and accu-racy,making it a promising solution for supporting under-canopy UAVs in the autonomous extraction of standing tree stem attributes.The code for this work is available at https://github.com/NEFU CVRG/RT Trunk.展开更多
With the widespread adoption of encrypted Domain Name System(DNS)technologies such as DNS over Hyper Text Transfer Protocol Secure(HTTPS),traditional port and protocol-based traffic analysis methods have become ineffe...With the widespread adoption of encrypted Domain Name System(DNS)technologies such as DNS over Hyper Text Transfer Protocol Secure(HTTPS),traditional port and protocol-based traffic analysis methods have become ineffective.Although encrypted DNS enhances user privacy protection,it also provides concealed communication channels for malicious software,compelling detection technologies to shift towards statistical featurebased and machine learning approaches.However,these methods still face challenges in real-time performance and privacy protection.This paper proposes a real-time identification technology for encrypted DNS traffic with privacy protection.Firstly,a hierarchical architecture of cloud-edge-end collaboration is designed,incorporating task offloading strategies to balance privacy protection and identification efficiency.Secondly,a privacy-preserving federated learning mechanismbased on Federated Robust Aggregation(FedRA)is proposed,utilizingMedoid aggregation and differential privacy techniques to ensure data privacy and enhance identification accuracy.Finally,an edge offloading strategy based on a dynamic priority scheduling algorithm(DPSA)is designed to alleviate terminal burden and reduce latency.Simulation results demonstrate that the proposed technology significantly improves the accuracy and realtime performance of encrypted DNS traffic identification while protecting privacy,making it suitable for various network environments.展开更多
Objective:To evaluate the value of real-time two-dimensional shear wave elastography(SWE)in predicting liver parenchymal stiffness in non-alcoholic fatty liver disease(NAFLD).Methods:A total of 200 NAFLD patients(70 i...Objective:To evaluate the value of real-time two-dimensional shear wave elastography(SWE)in predicting liver parenchymal stiffness in non-alcoholic fatty liver disease(NAFLD).Methods:A total of 200 NAFLD patients(70 in the mild group,70 in the moderate group,and 60 in the severe group)and 60 healthy individuals(control group)who visited the hospital from December 2023 to December 2024 underwent real-time two-dimensional SWE examinations.Results:Except for high-density lipoprotein,comparisons of body mass index and biochemical indicators showed that the severe group>moderate group>mild group>control group,with P<0.05.Comparisons of liver stiffness values also showed that the severe group>moderate group>mild group>control group,with P<0.05.Pearson correlation analysis revealed a positive correlation between liver stiffness values and body mass index,triglycerides,total cholesterol,low-density lipoprotein,fasting blood glucose,and glycosylated hemoglobin.Analysis of the ROC curve indicated that the AUC,standard deviation,and P-value for liver stiffness values were 0.901,0.025,and 0.01,respectively,suggesting that liver stiffness values can predict the severity of NAFLD.Conclusion:The real-time two-dimensional shear wave elastography(SWE)technique for diagnosing NAFLD can differentiate between NAFLD patients and healthy individuals,as well as determine liver parenchymal stiffness,thereby assisting physicians in quantifying the degree of fatty liver.展开更多
基金the National Basic Research Program of China (973 Program) (Grant No. 2003CB314801)the National Natural Science Foundation of China (Grant No. 60572082)
文摘Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.
基金supported by the National Natural Science Foundation of China (Nos. U1201251 and 61402248)the National Key Technologies Research and Development Program of China (No. 2015BAG14B01-02)MIIT IT funds (Research and application of TCN key technologies) of China
文摘In this paper, we present the modeling and optimization of a Real-Time Protocol（RTP） used in Train Communication Networks（TCN）. In the proposed RTP, message arbitration is represented by a probabilistic model and the number of arbitration checks is minimized by using the probability of device activity. Our optimized protocol is fully compatible with the original standard and can thus be implemented easily. The experimental results demonstrate that the proposed algorithm can reduce the number of checks by about 50%, thus significantly enhancing bandwidth.
基金funded by the ICT Division of theMinistry of Posts,Telecommunications,and Information Technology of Bangladesh under Grant Number 56.00.0000.052.33.005.21-7(Tracking No.22FS15306)support from the University of Rajshahi.
文摘The Internet of Things(IoT)and mobile technology have significantly transformed healthcare by enabling real-time monitoring and diagnosis of patients.Recognizing Medical-Related Human Activities(MRHA)is pivotal for healthcare systems,particularly for identifying actions critical to patient well-being.However,challenges such as high computational demands,low accuracy,and limited adaptability persist in Human Motion Recognition(HMR).While some studies have integrated HMR with IoT for real-time healthcare applications,limited research has focused on recognizing MRHA as essential for effective patient monitoring.This study proposes a novel HMR method tailored for MRHA detection,leveraging multi-stage deep learning techniques integrated with IoT.The approach employs EfficientNet to extract optimized spatial features from skeleton frame sequences using seven Mobile Inverted Bottleneck Convolutions(MBConv)blocks,followed by Convolutional Long Short Term Memory(ConvLSTM)to capture spatio-temporal patterns.A classification module with global average pooling,a fully connected layer,and a dropout layer generates the final predictions.The model is evaluated on the NTU RGB+D 120 and HMDB51 datasets,focusing on MRHA such as sneezing,falling,walking,sitting,etc.It achieves 94.85%accuracy for cross-subject evaluations and 96.45%for cross-view evaluations on NTU RGB+D 120,along with 89.22%accuracy on HMDB51.Additionally,the system integrates IoT capabilities using a Raspberry Pi and GSM module,delivering real-time alerts via Twilios SMS service to caregivers and patients.This scalable and efficient solution bridges the gap between HMR and IoT,advancing patient monitoring,improving healthcare outcomes,and reducing costs.
基金Supported by the Defense Pre-Research Project ofthe"Tenth Five-Year-Plan"of China (413150403)
文摘Secure real-time databases must simultaneously satisfy two requirements in guaranteeing data security and minimizing the missing deadlines ratio of transactions. However, these two requirements can conflict with each other and achieve one requirement is to sacrifice the other. This paper presents a secure real-time concurrency control protocol based on optimistic method. The concurrency control protocol incorporates security constraints in a real-time optimistic concurrency control protocol and makes a suitable tradeoff between security and real-time requirements by introducing secure influence factor and real-time influence factor. The experimental results show the concurrency control protocol achieves data security without degrading real-time perform ance significantly.
基金TheNationalNaturalScienceFoundationofChina (No .6 9984 0 0 3)
文摘The authors propose a new persistent transmission based real time Ethernet MAC protocol that provides a predictable upper bound for the delivery delay of real time frames. Moreover, it is compatible with the protocol used by the existing Ethernet controllers for conventional datagram traffic and thus standard Ethernet stations can be used in the system without any modification. The paper describes the protocol in detail and analyses the maximum delivery delay for real time traffic and the efficiency of the channel.
基金supported by the National Natural Science Foundation of China under Grant No.61003032/F020207
文摘Graphic processing units （GPUs） have been widely recognized as cost-efficient co-processors with acceptable size, weight, and power consumption. However, adopting GPUs in real-time systems is still challenging, due to the lack in framework for real-time analysis. In order to guarantee real-time requirements while maintaining system utilization ~in modern heterogeneous systems, such as multicore multi-GPU systems, a novel suspension-based k-exclusion real-time locking protocol and the associated suspension-aware schedulability analysis are proposed. The proposed protocol provides a synchronization framework that enables multiple GPUs to be efficiently integrated in multicore real-time systems. Comparative evaluations show that the proposed methods improve upon the existing work in terms of schedulability.
文摘Along with process control,perception represents the main function performed by the Edge Layer of an Internet of Things(IoT)network.Many of these networks implement various applications where the response time does not represent an important parameter.However,in critical applications,this parameter represents a crucial aspect.One important sensing device used in IoT designs is the accelerometer.In most applications,the response time of the embedded driver software handling this device is generally not analysed and not taken into account.In this paper,we present the design and implementation of a predictable real-time driver stack for a popular accelerometer and gyroscope device family.We provide clear justifications for why this response time is extremely important for critical applications in the acquisition process of such data.We present extensive measurements and experimental results that demonstrate the predictability of our solution,making it suitable for critical real-time systems.
文摘Considering characteristic of mHealth communication and problems of existing methods, this paper presents a real-time communication method for mHealth based on extended XMPP protocol. The method can maintain the role status efficiently and reduce data latency during the communication process. Meanwhile, it can be extended flexibly to meet increasing communication demands of mHealth services. Furthermore, a system framework is presented to support telemonitoring scene. Finally, system implementation and feasibility tests verify the effectiveness of the method and framework.
文摘This paper presents a novel real-time routing protocol, called CBRR, with less energy consumption for wireless sensor networks (WSNs). End-to-End real-time requirements are fulfilled with speed or delay constraint at each hop through integrating the contention and neighbor table mechanisms. More precisely, CBRR maintains a neighbor table via the contention mechanism being dependent on wireless broadcast instead of beacons. Comprehensive simulations show that CBRR can not only achieve higher performance in static networks, but also work well for dynamic networks.
文摘In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can enhance the performance of real-time concurrency control mechanism by reducing the number of transactions that might miss their deadlines, and compare the performance of validation concurrency control protocol with that of HP2PL(High priority two phase locking) protocol and OCC-TI-WAIT-50(Optimistic concurrency control-time interval-wait-50) protocol under shared-disk architecture by simulation. The simulation results reveal that the protocol the author presented can effectively reduce the number of transactions restarting which might miss their deadlines and performs better than HP2PL and OCC-TI-WAIT-50. It works well when arrival rate of transaction is lesser than threshold. However, due to resource contention the percentage of missing deadline increases sharply when arrival rate is greater than the threshold.
文摘Real-time semantic segmentation tasks place stringent demands on network inference speed,often requiring a reduction in network depth to decrease computational load.However,shallow networks tend to exhibit degradation in feature extraction completeness and inference accuracy.Therefore,balancing high performance with real-time requirements has become a critical issue in the study of real-time semantic segmentation.To address these challenges,this paper proposes a lightweight bilateral dual-residual network.By introducing a novel residual structure combined with feature extraction and fusion modules,the proposed network significantly enhances representational capacity while reducing computational costs.Specifically,an improved compound residual structure is designed to optimize the efficiency of information propagation and feature extraction.Furthermore,the proposed feature extraction and fusion module enables the network to better capture multi-scale information in images,improving the ability to detect both detailed and global semantic features.Experimental results on the publicly available Cityscapes dataset demonstrate that the proposed lightweight dual-branch network achieves outstanding performance while maintaining low computational complexity.In particular,the network achieved a mean Intersection over Union(mIoU)of 78.4%on the Cityscapes validation set,surpassing many existing semantic segmentation models.Additionally,in terms of inference speed,the network reached 74.5 frames per second when tested on an NVIDIA GeForce RTX 3090 GPU,significantly improving real-time performance.
基金supported by the National Natural Science Foundation of China(No.22306076)the Natural Science Foundation of Jiangsu Province(No.BK20230676)the Natural Science Foundation of Jiangsu Higher Education Institutions of China(No.22KJB610011).
文摘Here,a novel real-time monitoring sensor that integrates the oxidation of peroxymonosulfate(PMS)and the in situ monitoring of the pollutant degradation process is proposed.Briefly,FeCo@carbon fiber(FeCo@CF)was utilized as the anode electrode,while graphite rods served as the cathode electrode in assembling the galvanic cell.The FeCo@CF electrode exhibited rapid reactivity with PMS,generating reactive oxygen species that efficiently degrade organic pollutants.The degradation experiments indicate that complete bisphenol A(BPA)degradation was achieved within 10 min under optimal conditions.The real-time electrochemical signal was measured in time during the catalytic reaction,and a linear relationship between BPA concentration and the real-time charge(Q)was confirmed by the equation ln(C0/C)=4.393Q(correlation coefficients,R^(2)=0.998).Furthermore,experiments conducted with aureomycin and tetracycline further validated the effectiveness of the monitoring sensor.First-principles investigation confirmed the superior adsorption energy and improved electron transfer in FeCo@CF.The integration of pollutant degradation with in situ monitoring of catalytic reactions offers promising prospects for expanding the scope of the monitoring of catalytic processes and making significant contributions to environmental purification.
基金supported by the National Natural Science Foundation of China (Grant No.52122405)Science and Technology Major Project of Shanxi Province,China (Grant No.202101060301024)Science and Technology Major Project of Xizang Autonomous Region,China (Grant No.XZ202201ZD0004G0204).
文摘In this study,a high-confining pressure and real-time large-displacement shearing-flow setup was developed.The test setup can be used to analyze the injection pressure conditions that increase the hydro-shearing permeability and injection-induced seismicity during hot dry rock geothermal extraction.For optimizing injection strategies and improving engineering safety,real-time permeability,deformation,and energy release characteristics of fractured granite samples driven by injected water pressure under different critical sliding conditions were evaluated.The results indicated that:(1)A low injection water pressure induced intermittent small-deformation stick-slip behavior in fractures,and a high injection pressure primarily caused continuous high-speed large-deformation sliding in fractures.The optimal injection water pressure range was defined for enhancing hydraulic shear permeability and preventing large injection-induced earthquakes.(2)Under the same experimental conditions,fracture sliding was deemed as the major factor that enhanced the hydraulic shear-permeability enhancement and the maximum permeability increased by 36.54 and 41.59 times,respectively,in above two slip modes.(3)Based on the real-time transient evolution of water pressure during fracture sliding,the variation coefficients of slip rate,permeability,and water pressure were fitted,and the results were different from those measured under quasi-static conditions.(4)The maximum and minimum shear strength criteria for injection-induced fracture sliding were also determined(μ=0.6665 andμ=0.1645,respectively,μis friction coefficient).Using the 3D(three-dimensional)fracture surface scanning technology,the weakening effect of injection pressure on fracture surface damage characteristics was determined,which provided evidence for the geological markers of fault sliding mode and sliding nature transitions under the fluid influence.
基金funded by the Ongoing Research Funding Program(ORF-2025-890)King Saud University,Riyadh,Saudi Arabia and was supported by the Competitive Research Fund of theUniversity of Aizu,Japan.
文摘The exponential expansion of the Internet of Things(IoT),Industrial Internet of Things(IIoT),and Transportation Management of Things(TMoT)produces vast amounts of real-time streaming data.Ensuring system dependability,operational efficiency,and security depends on the identification of anomalies in these dynamic and resource-constrained systems.Due to their high computational requirements and inability to efficiently process continuous data streams,traditional anomaly detection techniques often fail in IoT systems.This work presents a resource-efficient adaptive anomaly detection model for real-time streaming data in IoT systems.Extensive experiments were carried out on multiple real-world datasets,achieving an average accuracy score of 96.06%with an execution time close to 7.5 milliseconds for each individual streaming data point,demonstrating its potential for real-time,resourceconstrained applications.The model uses Principal Component Analysis(PCA)for dimensionality reduction and a Z-score technique for anomaly detection.It maintains a low computational footprint with a sliding window mechanism,enabling incremental data processing and identification of both transient and sustained anomalies without storing historical data.The system uses a Multivariate Linear Regression(MLR)based imputation technique that estimates missing or corrupted sensor values,preserving data integrity prior to anomaly detection.The suggested solution is appropriate for many uses in smart cities,industrial automation,environmental monitoring,IoT security,and intelligent transportation systems,and is particularly well-suited for resource-constrained edge devices.
基金the financial support of the Natural Science Foundation of Hubei Province,China (Grant No.2022CFB770)。
文摘In the foundry industries,process design has traditionally relied on manuals and complex theoretical calculations.With the advent of 3D design in casting,computer-aided design(CAD)has been applied to integrate the features of casting process,thereby expanding the scope of design options.These technologies use parametric model design techniques for rapid component creation and use databases to access standard process parameters and design specifications.However,3D models are currently still created through inputting or calling parameters,which requires numerous verifications through calculations to ensure the design rationality.This process may be significantly slowed down due to repetitive modifications and extended design time.As a result,there are increasingly urgent demands for a real-time verification mechanism to address this issue.Therefore,this study proposed a novel closed-loop model and software development method that integrated contextual design with real-time verification,dynamically verifying relevant rules for designing 3D casting components.Additionally,the study analyzed three typical closed-loop scenarios of agile design in an independent developed intelligent casting process system.It is believed that foundry industries can potentially benefit from favorably reduced design cycles to yield an enhanced competitive product market.
基金the research result of the 2024 Guangxi Higher Education Undergraduate Teaching Reform Project“OBE-Guided,Digitally Empowered‘Hadoop Big Data Development Technology’Course Ideological and Political Construction Innovation Exploration and Practice”(Project No.:2024JGA396).
文摘Aiming at the problem that the traditional SRP-PHAT sound source localization method performs intensive search in a 360-degree space,resulting in high computational complexity and difficulty in meeting real-time requirements,an innovative high-precision sound source localization method is proposed.This method combines the selective SRP-PHAT algorithm with real-time visual analysis.Its core innovations include using face detection to dynamically determine the scanning angle range to achieve visually guided selective scanning,distinguishing face sound sources from background noise through a sound source classification mechanism,and implementing intelligent background orientation selection to ensure comprehensive monitoring of environmental noise.Experimental results show that the method achieves a positioning accuracy of±5 degrees and a processing speed of more than 10FPS in complex real environments,and its performance is significantly better than the traditional full-angle scanning method.
基金“Research on AI-Intelligent Management Technology for Construction Safety Based on BIM Technology and Smart Construction Site Scenarios”(Project No.:KJQN202401904)“Research on Intelligent Monitoring System for Construction Quality and Safety Based on BIM and AI Technologies”(Project No.:202412608006)。
文摘Combining the background of modern construction engineering site safety management,this article analyzes the real-time monitoring and alarm strategies for site construction safety under the integration of BIM and AI.This includes the analysis of BIM and AI technologies and their integration advantages,real-time monitoring and alarm strategies for construction site safety based on BIM and AI integration,as well as the development direction of BIM and AI integration in real-time monitoring and alarm for construction site safety.It is hoped that through this analysis,a scientific reference can be provided for the digital and intelligent management of construction site safety,promoting the digital and intelligent development of its safety management work.
基金supported in part by the National Natural Science Foundation of China(No.31470714 and 61701105).
文摘Tree trunk instance segmentation is crucial for under-canopy unmanned aerial vehicles(UAVs)to autonomously extract standing tree stem attributes.Using cameras as sensors makes these UAVs compact and lightweight,facilitating safe and flexible navigation in dense forests.However,their limited onboard computational power makes real-time,image-based tree trunk segmentation challenging,emphasizing the urgent need for lightweight and efficient segmentation models.In this study,we present RT-Trunk,a model specifically designed for real-time tree trunk instance segmentation in complex forest environments.To ensure real-time performance,we selected SparseInst as the base framework.We incorporated ConvNeXt-T as the backbone to enhance feature extraction for tree trunks,thereby improving segmentation accuracy.We further integrate the lightweight convolutional block attention module(CBAM),enabling the model to focus on tree trunk features while suppressing irrelevant information,which leads to additional gains in segmentation accuracy.To enable RT-Trunk to operate effectively under diverse complex forest environments,we constructed a comprehensive dataset for training and testing by combining self-collected data with multiple public datasets covering different locations,seasons,weather conditions,tree species,and levels of forest clutter.Com-pared with the other tree trunk segmentation methods,the RT-Trunk method achieved an average precision of 91.4%and the fastest inference speed of 32.9 frames per second.Overall,the proposed RT-Trunk provides superior trunk segmentation performance that balances speed and accu-racy,making it a promising solution for supporting under-canopy UAVs in the autonomous extraction of standing tree stem attributes.The code for this work is available at https://github.com/NEFU CVRG/RT Trunk.
文摘With the widespread adoption of encrypted Domain Name System(DNS)technologies such as DNS over Hyper Text Transfer Protocol Secure(HTTPS),traditional port and protocol-based traffic analysis methods have become ineffective.Although encrypted DNS enhances user privacy protection,it also provides concealed communication channels for malicious software,compelling detection technologies to shift towards statistical featurebased and machine learning approaches.However,these methods still face challenges in real-time performance and privacy protection.This paper proposes a real-time identification technology for encrypted DNS traffic with privacy protection.Firstly,a hierarchical architecture of cloud-edge-end collaboration is designed,incorporating task offloading strategies to balance privacy protection and identification efficiency.Secondly,a privacy-preserving federated learning mechanismbased on Federated Robust Aggregation(FedRA)is proposed,utilizingMedoid aggregation and differential privacy techniques to ensure data privacy and enhance identification accuracy.Finally,an edge offloading strategy based on a dynamic priority scheduling algorithm(DPSA)is designed to alleviate terminal burden and reduce latency.Simulation results demonstrate that the proposed technology significantly improves the accuracy and realtime performance of encrypted DNS traffic identification while protecting privacy,making it suitable for various network environments.
文摘Objective:To evaluate the value of real-time two-dimensional shear wave elastography(SWE)in predicting liver parenchymal stiffness in non-alcoholic fatty liver disease(NAFLD).Methods:A total of 200 NAFLD patients(70 in the mild group,70 in the moderate group,and 60 in the severe group)and 60 healthy individuals(control group)who visited the hospital from December 2023 to December 2024 underwent real-time two-dimensional SWE examinations.Results:Except for high-density lipoprotein,comparisons of body mass index and biochemical indicators showed that the severe group>moderate group>mild group>control group,with P<0.05.Comparisons of liver stiffness values also showed that the severe group>moderate group>mild group>control group,with P<0.05.Pearson correlation analysis revealed a positive correlation between liver stiffness values and body mass index,triglycerides,total cholesterol,low-density lipoprotein,fasting blood glucose,and glycosylated hemoglobin.Analysis of the ROC curve indicated that the AUC,standard deviation,and P-value for liver stiffness values were 0.901,0.025,and 0.01,respectively,suggesting that liver stiffness values can predict the severity of NAFLD.Conclusion:The real-time two-dimensional shear wave elastography(SWE)technique for diagnosing NAFLD can differentiate between NAFLD patients and healthy individuals,as well as determine liver parenchymal stiffness,thereby assisting physicians in quantifying the degree of fatty liver.
