Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a ...Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a solid data foundation when attempting to improve the error feedback mechanisms.This paper makes a survey of 834 students across various programming courses and investigates student perceptions of error feedback mechanisms on online programming platforms.It explores the effectiveness of existing feedback,student satisfaction,and preferences for potential improvements,focusing on automatic error localization and program repair mechanisms.Results reveal a significant portion of students are dissatisfied with current feedback due to its limited informativeness.Students also express a clear demand for stronger feedback mechanisms,such as error localization and repair hints.Nevertheless,they prefer feedback that subtly guides them toward solutions,rather than providing direct and explicit answers,valuing the opportunity to enhance their debugging skills.The findings suggest a need for balanced,educational-focused feedback mechanisms that aid learning while promoting independent problem-solving.展开更多
Electroacoustic Tomography(EAT)is an imaging technique that detects ultrasound waves induced by electrical pulses,offering a solution for real-time electroporation monitoring.This study presents EAT system using a dua...Electroacoustic Tomography(EAT)is an imaging technique that detects ultrasound waves induced by electrical pulses,offering a solution for real-time electroporation monitoring.This study presents EAT system using a dual-frequency ultrasound array.The broadband nature of electroacoustic signals requires ultrasound detector to cover both the high-frequency range(around 6MHz)signals generated by small targets and the low-frequency range(around 1MHz)signals generated by large targets.In our EAT system,we use the 6 MHz array to detect high-frequency signals from the electrodes,and the 1 MHz array for the electrical field.To test this,we conducted simulations using COMSOL Multiphysics^(®) and MATLAB's k-Wave toolbox,followed by experiments using a custom-built setup with a dual-frequency transducer and real-time data acquisition.The results demonstrated that the dual-frequency EAT system could accurately and simultaneously monitor the electroporation process,effectively showing both the treatment area and electrode placement with the application of 1 kV electric pulses with 100 ns duration.The axial resolution of the 6MHz array for EAT was 0.45 mm,significantly better than the 2mm resolution achieved with the 1MHz array.These findings validate the potential of dual-frequency EAT as a superior method for real-time electroporation monitoring.展开更多
Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disruptin...Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.展开更多
As a fundamental component in computer vision,edges can be categorized into four types based on discontinuities in reflectance,illumination,surface normal,or depth.While deep CNNs have significantly advanced generic e...As a fundamental component in computer vision,edges can be categorized into four types based on discontinuities in reflectance,illumination,surface normal,or depth.While deep CNNs have significantly advanced generic edge detection,real-time multi-class semantic edge detection under resource constraints remains challenging.To address this,we propose a lightweight framework based on PiDiNet that enables fine-grained semantic edge detection.Our model simultaneously predicts background and four edge categories from full-resolution inputs,balancing accuracy and efficiency.Key contributions include:a multi-channel output structure expanding binary edge prediction to five classes,supported by a deep supervision mechanism;a dynamic class-balancing strategy combining adaptive weighting with physical priors to handle extreme class imbalance;and maintained architectural efficiency enabling real-time inference.Extensive evaluations on BSDS-RIND show our approach achieves accuracy competitive with state-of-the-art methods while operating in real time.展开更多
In the era of the Internet of Things,distributed computing alleviates the problem of insufficient terminal computing power by integrating idle resources of heterogeneous devices.However,the imbalance between task exec...In the era of the Internet of Things,distributed computing alleviates the problem of insufficient terminal computing power by integrating idle resources of heterogeneous devices.However,the imbalance between task execution delay and node energy consumption,and the scheduling and adaptation challenges brought about by device heterogeneity,urgently need to be addressed.To tackle this problem,this paper constructs a multi-objective real-time task scheduling model that considers task real-time performance,execution delay,system energy consumption,and node interests.The model aims to minimize the delay upper bound and total energy consumption while maximizing system satisfaction.A real-time task scheduling algorithm based on bilateral matching game is proposed.By designing a bidirectional preference mechanism between tasks and computing nodes,combined with a multi-round stable matching strategy,accurate matching between tasks and nodes is achieved.Simulation results show that compared with the baseline scheme,the proposed algorithm significantly reduces the total execution cost,effectively balances the task execution delay and the energy consumption of compute nodes,and takes into account the interests of each network compute node.展开更多
During geothermal resource exploitation,the potential deterioration of mechanical properties in high-temperature granite subjected to cooling poses a significant safety concern.To address this,the present study invest...During geothermal resource exploitation,the potential deterioration of mechanical properties in high-temperature granite subjected to cooling poses a significant safety concern.To address this,the present study investigates the coupled thermo-mechanical behavior of granite during heating and cooling through a combination of laboratory tests and finite difference method analysis.Initial investigations involve X-ray diffraction,thermal expansion test,thermogravimetric analysis,and uniaxial compression test.Results show the significant variations of granite properties under different thermal conditions,attributed to temperature gradients,water evaporation,and mineral phase transitions.Subsequently,a model considering temperature-dependent parameters and real-time cooling rates was employed to simulate linear heating and nonlinear cooling processes.Simulation results indicate that the thermal cracking predominantly occurs during the heating stage,with tensile failure as the primary mode.Additionally,a faster real-time cooling rate at higher temperatures intensifies the thermal cracking behavior in granite.This study effectively elucidates the thermomechanical coupling behavior of granite during heating and cooling processes,providing insights into the mechanisms of mechanical property changes with rising or decreasing temperatures.展开更多
The intelligent environmental sensing systems are quickly transforming the sparse and retrospective monitoring to dense and decision-oriented environmental intelligence.This review brings together the manner in which ...The intelligent environmental sensing systems are quickly transforming the sparse and retrospective monitoring to dense and decision-oriented environmental intelligence.This review brings together the manner in which integration of Internet of Things(IoT)sensing,edge computing,and real-time analytics facilitates timely detection,interpretation,and prediction of the environmental conditions across the applications,such as urban air quality,watershed and coastal surveillance,industrial safety,agriculture,and disaster response.We define end-to-end architectural patterns to organize devices,edge nodes,and cloud services to satisfy latency,reliability,bandwidth,and governance constraints with emphasis on event-time processing,adaptive offloading,and hierarchical aggregation.Then we look at sensing and infrastructure foundations,emphasizing the effects of sensor modality and power autonomy,connectivity,and the practices of calibration on the practicable analytics and eventual plausibility.It is on this basis that we examine real-time analytics pipelines and Artificial Intelligence(AI)techniques to preprocess,sensor combine,anomaly detect,and short-horizon forecast,with a focus on edge-deployable models,quantification of uncertainties,and query resistance to drift and domain shift.Lastly,we address the realities of deployment that condition operational success,such as lifecycle engineering,provenance-aware data management,security and privacy risks,ethical governance,and evaluation methodologies,which place end-to-end latency and field generalization as a priority.This review offers cohesion to algorithmic capabilities and systems engineering and governance to define an overall framework,show open areas of research directions,and provide practical recommendations on how to design trustworthy,scalable,and sustainable environmental monitoring systems.展开更多
To investigate the energy relief effect of real-time drilling in preventing rockburst in high-stress rock,a series of high-stress real-time drilling uniaxial compression tests were conducted on red sandstone specimens...To investigate the energy relief effect of real-time drilling in preventing rockburst in high-stress rock,a series of high-stress real-time drilling uniaxial compression tests were conducted on red sandstone specimens using the SG4500 drilling rig.Results showed that the mechanical behavior(i.e.peak strength and rockburst intensity)of the rock was weakened under high-stress real-time drilling and exhibited a downward trend as the drilling diameter increased.The real-time drilling energy dissipation index(ERD)was proposed to characterize the energy relief during high-stress real-time drilling.The ERD exhibited a linear increase with the real-time drilling diameter.Furthermore,the elastic strain energy of post-drilling rock showed a linear relationship with the square of stress across different stress levels,which also applied to the peak elastic strain energy and the square of peak stress.This findingreveals the intrinsic link between the weakening effect of peak elastic strain energy and peak strength due to high-stress real-time drilling,confirmingthe consistency between energy relief and pressure relief effects.By establishing relationships among rockburst proneness,peak elastic strain energy,and peak strength,it was demonstrated that high-stress real-time drilling reduces rockburst proneness through energy dissipation.Specifically,both peak elastic strain energy and rockburst proneness decreased with larger drill bit diameters,consistent with reductions in peak strength,rockburst intensity,and fractal dimensions of high-stress real-time drilled rock.These results validate the energy relief mechanism of real-time drilling in mitigating rockburst risks.展开更多
An innovative real-time monitoring method for surrounding rock damage based on microseismic time-lapse double-difference tomography is proposed for delayed dynamic damage identification and insufficient detection of a...An innovative real-time monitoring method for surrounding rock damage based on microseismic time-lapse double-difference tomography is proposed for delayed dynamic damage identification and insufficient detection of adverse geological conditions in deep-buried tunnel construction.The installation techniques for microseismic sensors were optimized by mounting sensors at bolt ends which significantly improves signal-to-noise ratio(SNR)and anti-interference capability compared to conventional borehole placement.Subsequently,a 3D wave velocity evolution model that incorporates construction-induced disturbances was established,enabling the first visualization of spatiotemporal variations in surrounding rock wave velocity.It finds significant wave velocity reduction near the tunnel face,with roof and floor damage zones extending 40–50 m;wave velocities approaching undisturbed levels at 15 m ahead of the working face and on the laterally undisturbed side;pronounced spatial asymmetry in wave velocity distribution—values on the left side exceed those on the right,with a clear stress concentration or transition zone located 10–15 m;and systematically lower velocities behind the face than in front,indicating asymmetric rock damage development.These results provide essential theoretical support and practical guidance for optimizing dynamic construction strategies,enabling real-time adjustment of support parameters,and establishing safety early warning systems in deep-buried tunnel engineering.展开更多
In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,w...In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.展开更多
Online examinations have become a dominant assessment mode,increasing concerns over academic integrity.To address the critical challenge of detecting cheating behaviours,this study proposes a hybrid deep learning appr...Online examinations have become a dominant assessment mode,increasing concerns over academic integrity.To address the critical challenge of detecting cheating behaviours,this study proposes a hybrid deep learning approach that combines visual detection and temporal behaviour classification.The methodology utilises object detection models—You Only Look Once(YOLOv12),Faster Region-based Convolutional Neural Network(RCNN),and Single Shot Detector(SSD)MobileNet—integrated with classification models such as Convolutional Neural Networks(CNN),Bidirectional Gated Recurrent Unit(Bi-GRU),and CNN-LSTM(Long Short-Term Memory).Two distinct datasets were used:the Online Exam Proctoring(EOP)dataset from Michigan State University and the School of Computer Science,Duy Tan Unievrsity(SCS-DTU)dataset collected in a controlled classroom setting.A diverse set of cheating behaviours,including book usage,unauthorised interaction,internet access,and mobile phone use,was categorised.Comprehensive experiments evaluated the models based on accuracy,precision,recall,training time,inference speed,and memory usage.We evaluate nine detector-classifier pairings under a unified budget and score them via a calibrated harmonic mean of detection and classification accuracies,enabling deployment-oriented selection under latency and memory constraints.Macro-Precision/Recall/F1 and Receiver Operating Characteristic-Area Under the Curve(ROC-AUC)are reported for the top configurations,revealing consistent advantages of object-centric pipelines for fine-grained cheating cues.The highest overall score is achieved by YOLOv12+CNN(97.15%accuracy),while SSD-MobileNet+CNN provides the best speed-efficiency trade-off for edge devices.This research provides valuable insights into selecting and deploying appropriate deep learning models for maintaining exam integrity under varying resource constraints.展开更多
The highly dynamic nature,strong uncertainty,and coupled multiple safety constraints inherent in carrier aircraft recovery operations pose severe challenges for real-time decision-making.Addressing bolter scenarios,th...The highly dynamic nature,strong uncertainty,and coupled multiple safety constraints inherent in carrier aircraft recovery operations pose severe challenges for real-time decision-making.Addressing bolter scenarios,this study proposes an intelligent decision-making framework based on a deep long short-term memory Q-network.This framework transforms the real-time sequencing for bolter recovery problem into a partially observable Markov decision process.It employs a stacked long shortterm memory network to accurately capture the long-range temporal dependencies of bolter event chains and fuel consumption.Furthermore,it integrates a prioritized experience replay training mechanism to construct a safe and adaptive scheduling system capable of millisecond-level real-time decision-making.Experimental demonstrates that,within large-scale mass recovery scenarios,the framework achieves zero safety violations in static environments and maintains a fuel safety violation rate below 10%in dynamic scenarios,with single-step decision times at the millisecond level.The model exhibits strong generalization capability,effectively responding to unforeseen emergent situations—such as multiple bolters and fuel emergencies—without requiring retraining.This provides robust support for efficient carrier-based aircraft recovery operations.展开更多
The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programmi...The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programming(LGP)has been developed for a full-scale annular ramjet combustor.The LGP is used to generate control laws that include multi-frequency forcing.These laws are then transformed into square waves to actuate the solenoid valve,which modulates the kerosene supply for open-loop control.The results show that the duty cycle has little effect on instability amplitude,whereas an increase in frequency leads to a remarked reduction in combustion amplitude.After five generations evolvements,the pressure amplitude is reduced by 40.6% under the optimal control law generated by LGP.Furthermore,the machine learning process is depicted using a proximity map of control law similarity,with the search pathway visualized by the steepest descent.All individuals go forward to the upper left corner of the map with the evolution process,terminating at the optimal individual of the fifth generation.展开更多
During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive...During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive distance)to a moving target as quickly as possible,resulting in the extended minimum-time intercept problem(EMTIP).Existing research has primarily focused on the zero-distance intercept problem,MTIP,establishing the necessary or sufficient conditions for MTIP optimality,and utilizing analytic algorithms,such as root-finding algorithms,to calculate the optimal solutions.However,these approaches depend heavily on the properties of the analytic algorithm,making them inapplicable when problem settings change,such as in the case of a positive effective range or complicated target motions outside uniform rectilinear motion.In this study,an approach employing a high-accuracy and quality-guaranteed mixed-integer piecewise-linear program(QG-PWL)is proposed for the EMTIP.This program can accommodate different effective interception ranges and complicated target motions(variable velocity or complicated trajectories).The high accuracy and quality guarantees of QG-PWL originate from elegant strategies such as piecewise linearization and other developed operation strategies.The approximate error in the intercept path length is proved to be bounded to h^(2)/(4√2),where h is the piecewise length.展开更多
Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,compl...Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,complex,untethered,and rapid deformations.However,current MRC-based devices primarily rely on soft matrices,which revert to their original shapes and cease functioning when external magnetic fields are removed.Moreover,their magnetization programming,deformations,and functioning need to alternate between encoding and actuation platforms,limiting the adaptability and efficiency.Here,we present a reprogrammable magnetic shape-memory composite(RM-SMC)integrating a shape-memory polymer(SMP)skeleton with phase-transition magnetic microcapsules.High-intensity laser melts microcapsules for magnetic realignment under programmed fields,while low-intensity laser softens SMP for structural reconfiguration without compromising integrity.This dual-laser strategy facilitates in situ magnetization programming,shape morphing,and function execution within a single material system.Our innovative approach enables unique applications,including omnidirectional multi-degree-of-freedom actuators that can activate light switches,solar trackers that optimize energy capture,and adaptive impellers that modulate fluid pumping.By eliminating platform alternation and enabling shape/function retention post-actuation,the RM-SMC platform overcomes critical limitations in conventional MRCs,establishing a paradigm for multifunctional devices requiring persistent configuration control and field-independent operation.展开更多
Programmed cell death(PCD)plays a crucial role in the biological processes of living organisms and occurs in various forms,such as apoptosis,necroptosis and ferroptosis.However,traditional methods for PCD analysis are...Programmed cell death(PCD)plays a crucial role in the biological processes of living organisms and occurs in various forms,such as apoptosis,necroptosis and ferroptosis.However,traditional methods for PCD analysis are time-consuming and complex.In this paper,we propose a facile surface-enhanced Raman spectroscopy(SERS)-based strategy for the real-time analysis of three PCD patterns utilizing black phosphorus–gold nanoparticles(BP–Au NPs)as the ultrasensitive unlabeled Raman probe.BP–Au NPs,which possess excellent biocompatibility,are capable of detecting dye molecules at concentrations as low as 5×10^(-8)M and remain stable for at least one week in different physiological environments.In view of this,BP–Au NPs-based SERS technique can distinguish the tiny differences in the molecular fingerprints of cancer cells undergoing three PCD patterns(apoptosis,necroptosis and ferroptosis)triggered by doxorubicin,shikonin and erastin,respectively.We also have real-time monitoring of the intracellular molecular events during PCD,which spy the fluctuations of some typical SERS bands assigned to protein,DNA and lipid,revealing the unique phenotypic characteristics of each PCD pattern.This strategy provides a detailed and comprehensive analysis of the mechanisms of drug-induced PCD at the Raman level.展开更多
Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells c...Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.展开更多
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.展开更多
基金supported by the National Natural Science Foundation of China under Grant No.92582204,No.62577007,and No.62177003the Fundamental Research Funds for the Central Universities under Grant No.JKF-2025011975129.
文摘Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a solid data foundation when attempting to improve the error feedback mechanisms.This paper makes a survey of 834 students across various programming courses and investigates student perceptions of error feedback mechanisms on online programming platforms.It explores the effectiveness of existing feedback,student satisfaction,and preferences for potential improvements,focusing on automatic error localization and program repair mechanisms.Results reveal a significant portion of students are dissatisfied with current feedback due to its limited informativeness.Students also express a clear demand for stronger feedback mechanisms,such as error localization and repair hints.Nevertheless,they prefer feedback that subtly guides them toward solutions,rather than providing direct and explicit answers,valuing the opportunity to enhance their debugging skills.The findings suggest a need for balanced,educational-focused feedback mechanisms that aid learning while promoting independent problem-solving.
基金supported by the National Institute of Health(R37CA240806,U01CA288351,and R50CA283816)support from UCI Chao Family Comprehensive Cancer Center(P30CA062203).
文摘Electroacoustic Tomography(EAT)is an imaging technique that detects ultrasound waves induced by electrical pulses,offering a solution for real-time electroporation monitoring.This study presents EAT system using a dual-frequency ultrasound array.The broadband nature of electroacoustic signals requires ultrasound detector to cover both the high-frequency range(around 6MHz)signals generated by small targets and the low-frequency range(around 1MHz)signals generated by large targets.In our EAT system,we use the 6 MHz array to detect high-frequency signals from the electrodes,and the 1 MHz array for the electrical field.To test this,we conducted simulations using COMSOL Multiphysics^(®) and MATLAB's k-Wave toolbox,followed by experiments using a custom-built setup with a dual-frequency transducer and real-time data acquisition.The results demonstrated that the dual-frequency EAT system could accurately and simultaneously monitor the electroporation process,effectively showing both the treatment area and electrode placement with the application of 1 kV electric pulses with 100 ns duration.The axial resolution of the 6MHz array for EAT was 0.45 mm,significantly better than the 2mm resolution achieved with the 1MHz array.These findings validate the potential of dual-frequency EAT as a superior method for real-time electroporation monitoring.
基金financially supported by Ministerio de Ciencia e Innovación projects SAF2017-82736-C2-1-R to MTMFin Universidad Autónoma de Madrid and by Fundación Universidad Francisco de Vitoria to JS+2 种基金a predoctoral scholarship from Fundación Universidad Francisco de Vitoriafinancial support from a 6-month contract from Universidad Autónoma de Madrida 3-month contract from the School of Medicine of Universidad Francisco de Vitoria。
文摘Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.
基金supported by the National Natural Science Foundation of China 62402171.
文摘As a fundamental component in computer vision,edges can be categorized into four types based on discontinuities in reflectance,illumination,surface normal,or depth.While deep CNNs have significantly advanced generic edge detection,real-time multi-class semantic edge detection under resource constraints remains challenging.To address this,we propose a lightweight framework based on PiDiNet that enables fine-grained semantic edge detection.Our model simultaneously predicts background and four edge categories from full-resolution inputs,balancing accuracy and efficiency.Key contributions include:a multi-channel output structure expanding binary edge prediction to five classes,supported by a deep supervision mechanism;a dynamic class-balancing strategy combining adaptive weighting with physical priors to handle extreme class imbalance;and maintained architectural efficiency enabling real-time inference.Extensive evaluations on BSDS-RIND show our approach achieves accuracy competitive with state-of-the-art methods while operating in real time.
基金Supported by the National Program on Key Basic Research Project(2020YFA0713600)the National Natural Science Foundation of China(62272214)。
文摘In the era of the Internet of Things,distributed computing alleviates the problem of insufficient terminal computing power by integrating idle resources of heterogeneous devices.However,the imbalance between task execution delay and node energy consumption,and the scheduling and adaptation challenges brought about by device heterogeneity,urgently need to be addressed.To tackle this problem,this paper constructs a multi-objective real-time task scheduling model that considers task real-time performance,execution delay,system energy consumption,and node interests.The model aims to minimize the delay upper bound and total energy consumption while maximizing system satisfaction.A real-time task scheduling algorithm based on bilateral matching game is proposed.By designing a bidirectional preference mechanism between tasks and computing nodes,combined with a multi-round stable matching strategy,accurate matching between tasks and nodes is achieved.Simulation results show that compared with the baseline scheme,the proposed algorithm significantly reduces the total execution cost,effectively balances the task execution delay and the energy consumption of compute nodes,and takes into account the interests of each network compute node.
基金National Natural Science Foundation of China,Grant/Award Number:52104120Hunan Provincial Key Laboratory of Key Technology on Hydropower Development,Grant/Award Number:PKLHD202303。
文摘During geothermal resource exploitation,the potential deterioration of mechanical properties in high-temperature granite subjected to cooling poses a significant safety concern.To address this,the present study investigates the coupled thermo-mechanical behavior of granite during heating and cooling through a combination of laboratory tests and finite difference method analysis.Initial investigations involve X-ray diffraction,thermal expansion test,thermogravimetric analysis,and uniaxial compression test.Results show the significant variations of granite properties under different thermal conditions,attributed to temperature gradients,water evaporation,and mineral phase transitions.Subsequently,a model considering temperature-dependent parameters and real-time cooling rates was employed to simulate linear heating and nonlinear cooling processes.Simulation results indicate that the thermal cracking predominantly occurs during the heating stage,with tensile failure as the primary mode.Additionally,a faster real-time cooling rate at higher temperatures intensifies the thermal cracking behavior in granite.This study effectively elucidates the thermomechanical coupling behavior of granite during heating and cooling processes,providing insights into the mechanisms of mechanical property changes with rising or decreasing temperatures.
基金supported by Jiangxi Polytechnic Institute Key Research Topics in Educational Reform 2025-JGJG-07.
文摘The intelligent environmental sensing systems are quickly transforming the sparse and retrospective monitoring to dense and decision-oriented environmental intelligence.This review brings together the manner in which integration of Internet of Things(IoT)sensing,edge computing,and real-time analytics facilitates timely detection,interpretation,and prediction of the environmental conditions across the applications,such as urban air quality,watershed and coastal surveillance,industrial safety,agriculture,and disaster response.We define end-to-end architectural patterns to organize devices,edge nodes,and cloud services to satisfy latency,reliability,bandwidth,and governance constraints with emphasis on event-time processing,adaptive offloading,and hierarchical aggregation.Then we look at sensing and infrastructure foundations,emphasizing the effects of sensor modality and power autonomy,connectivity,and the practices of calibration on the practicable analytics and eventual plausibility.It is on this basis that we examine real-time analytics pipelines and Artificial Intelligence(AI)techniques to preprocess,sensor combine,anomaly detect,and short-horizon forecast,with a focus on edge-deployable models,quantification of uncertainties,and query resistance to drift and domain shift.Lastly,we address the realities of deployment that condition operational success,such as lifecycle engineering,provenance-aware data management,security and privacy risks,ethical governance,and evaluation methodologies,which place end-to-end latency and field generalization as a priority.This review offers cohesion to algorithmic capabilities and systems engineering and governance to define an overall framework,show open areas of research directions,and provide practical recommendations on how to design trustworthy,scalable,and sustainable environmental monitoring systems.
基金supported by the National Natural Science Foundation of China(Grant No.42077244)the Postgraduate Research&Practice Innovation Program of Jiangsu Province(Grant No.KYCX24_0434).
文摘To investigate the energy relief effect of real-time drilling in preventing rockburst in high-stress rock,a series of high-stress real-time drilling uniaxial compression tests were conducted on red sandstone specimens using the SG4500 drilling rig.Results showed that the mechanical behavior(i.e.peak strength and rockburst intensity)of the rock was weakened under high-stress real-time drilling and exhibited a downward trend as the drilling diameter increased.The real-time drilling energy dissipation index(ERD)was proposed to characterize the energy relief during high-stress real-time drilling.The ERD exhibited a linear increase with the real-time drilling diameter.Furthermore,the elastic strain energy of post-drilling rock showed a linear relationship with the square of stress across different stress levels,which also applied to the peak elastic strain energy and the square of peak stress.This findingreveals the intrinsic link between the weakening effect of peak elastic strain energy and peak strength due to high-stress real-time drilling,confirmingthe consistency between energy relief and pressure relief effects.By establishing relationships among rockburst proneness,peak elastic strain energy,and peak strength,it was demonstrated that high-stress real-time drilling reduces rockburst proneness through energy dissipation.Specifically,both peak elastic strain energy and rockburst proneness decreased with larger drill bit diameters,consistent with reductions in peak strength,rockburst intensity,and fractal dimensions of high-stress real-time drilled rock.These results validate the energy relief mechanism of real-time drilling in mitigating rockburst risks.
基金support of the National Natural Science Foundation of China(No.52274176)the Guangdong Province Key Areas R&D Program(No.2022B0101070001)+5 种基金Chongqing Elite Innovation and Entrepreneurship Leading talent Project(No.CQYC20220302517)the Chongqing Natural Science Foundation Innovation and Development Joint Fund(No.CSTB2022NSCQ-LZX0079)the National Key Research and Development Program Young Scientists Project(No.2022YFC2905700)the Chongqing Municipal Education Commission“Shuangcheng Economic Circle Construction in Chengdu-Chongqing Area”Science and Technology Innovation Project(No.KJCX2020031)the Fundamental Research Funds for the Central Universities(No.2024CDJGF-009)the Key Project for Technological Innovation and Application Development in Chongqing(No.CSTB2025TIAD-KPX0029).
文摘An innovative real-time monitoring method for surrounding rock damage based on microseismic time-lapse double-difference tomography is proposed for delayed dynamic damage identification and insufficient detection of adverse geological conditions in deep-buried tunnel construction.The installation techniques for microseismic sensors were optimized by mounting sensors at bolt ends which significantly improves signal-to-noise ratio(SNR)and anti-interference capability compared to conventional borehole placement.Subsequently,a 3D wave velocity evolution model that incorporates construction-induced disturbances was established,enabling the first visualization of spatiotemporal variations in surrounding rock wave velocity.It finds significant wave velocity reduction near the tunnel face,with roof and floor damage zones extending 40–50 m;wave velocities approaching undisturbed levels at 15 m ahead of the working face and on the laterally undisturbed side;pronounced spatial asymmetry in wave velocity distribution—values on the left side exceed those on the right,with a clear stress concentration or transition zone located 10–15 m;and systematically lower velocities behind the face than in front,indicating asymmetric rock damage development.These results provide essential theoretical support and practical guidance for optimizing dynamic construction strategies,enabling real-time adjustment of support parameters,and establishing safety early warning systems in deep-buried tunnel engineering.
基金Supported by the National Natural Science Foundation of China(Grant Nos.12571317 and 12071133).
文摘In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.
文摘Online examinations have become a dominant assessment mode,increasing concerns over academic integrity.To address the critical challenge of detecting cheating behaviours,this study proposes a hybrid deep learning approach that combines visual detection and temporal behaviour classification.The methodology utilises object detection models—You Only Look Once(YOLOv12),Faster Region-based Convolutional Neural Network(RCNN),and Single Shot Detector(SSD)MobileNet—integrated with classification models such as Convolutional Neural Networks(CNN),Bidirectional Gated Recurrent Unit(Bi-GRU),and CNN-LSTM(Long Short-Term Memory).Two distinct datasets were used:the Online Exam Proctoring(EOP)dataset from Michigan State University and the School of Computer Science,Duy Tan Unievrsity(SCS-DTU)dataset collected in a controlled classroom setting.A diverse set of cheating behaviours,including book usage,unauthorised interaction,internet access,and mobile phone use,was categorised.Comprehensive experiments evaluated the models based on accuracy,precision,recall,training time,inference speed,and memory usage.We evaluate nine detector-classifier pairings under a unified budget and score them via a calibrated harmonic mean of detection and classification accuracies,enabling deployment-oriented selection under latency and memory constraints.Macro-Precision/Recall/F1 and Receiver Operating Characteristic-Area Under the Curve(ROC-AUC)are reported for the top configurations,revealing consistent advantages of object-centric pipelines for fine-grained cheating cues.The highest overall score is achieved by YOLOv12+CNN(97.15%accuracy),while SSD-MobileNet+CNN provides the best speed-efficiency trade-off for edge devices.This research provides valuable insights into selecting and deploying appropriate deep learning models for maintaining exam integrity under varying resource constraints.
基金supported by the National Natural Science Foundation of China(Grant No.62403486)。
文摘The highly dynamic nature,strong uncertainty,and coupled multiple safety constraints inherent in carrier aircraft recovery operations pose severe challenges for real-time decision-making.Addressing bolter scenarios,this study proposes an intelligent decision-making framework based on a deep long short-term memory Q-network.This framework transforms the real-time sequencing for bolter recovery problem into a partially observable Markov decision process.It employs a stacked long shortterm memory network to accurately capture the long-range temporal dependencies of bolter event chains and fuel consumption.Furthermore,it integrates a prioritized experience replay training mechanism to construct a safe and adaptive scheduling system capable of millisecond-level real-time decision-making.Experimental demonstrates that,within large-scale mass recovery scenarios,the framework achieves zero safety violations in static environments and maintains a fuel safety violation rate below 10%in dynamic scenarios,with single-step decision times at the millisecond level.The model exhibits strong generalization capability,effectively responding to unforeseen emergent situations—such as multiple bolters and fuel emergencies—without requiring retraining.This provides robust support for efficient carrier-based aircraft recovery operations.
基金support from the National Natural Science Foundation of China(No.12002372)the Young Elite Scientists Sponsorship Program by China Association for Science and Technology(No.2022QNRC001)the Natural Science Foundation of Hunan Province,China(No.2021JJ40674)。
文摘The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programming(LGP)has been developed for a full-scale annular ramjet combustor.The LGP is used to generate control laws that include multi-frequency forcing.These laws are then transformed into square waves to actuate the solenoid valve,which modulates the kerosene supply for open-loop control.The results show that the duty cycle has little effect on instability amplitude,whereas an increase in frequency leads to a remarked reduction in combustion amplitude.After five generations evolvements,the pressure amplitude is reduced by 40.6% under the optimal control law generated by LGP.Furthermore,the machine learning process is depicted using a proximity map of control law similarity,with the search pathway visualized by the steepest descent.All individuals go forward to the upper left corner of the map with the evolution process,terminating at the optimal individual of the fifth generation.
基金supported by the National Natural Sci‐ence Foundation of China(Grant No.62306325)。
文摘During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive distance)to a moving target as quickly as possible,resulting in the extended minimum-time intercept problem(EMTIP).Existing research has primarily focused on the zero-distance intercept problem,MTIP,establishing the necessary or sufficient conditions for MTIP optimality,and utilizing analytic algorithms,such as root-finding algorithms,to calculate the optimal solutions.However,these approaches depend heavily on the properties of the analytic algorithm,making them inapplicable when problem settings change,such as in the case of a positive effective range or complicated target motions outside uniform rectilinear motion.In this study,an approach employing a high-accuracy and quality-guaranteed mixed-integer piecewise-linear program(QG-PWL)is proposed for the EMTIP.This program can accommodate different effective interception ranges and complicated target motions(variable velocity or complicated trajectories).The high accuracy and quality guarantees of QG-PWL originate from elegant strategies such as piecewise linearization and other developed operation strategies.The approximate error in the intercept path length is proved to be bounded to h^(2)/(4√2),where h is the piecewise length.
基金supported by the National Natural Science Foundation of China(Nos.52075516,61927814,62325507,and 52122511)the National Key Research and Development Program of China(No.2021YFF0502700)+2 种基金the Major Scientific and Technological Projects in Anhui Province(202103a05020005,202203a05020014)the Students’Innovation and Entrepreneurship Foundation of USTC(CY2022G09)the Hefei Municipal Natural Science Foundation(No.HZR2450)。
文摘Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,complex,untethered,and rapid deformations.However,current MRC-based devices primarily rely on soft matrices,which revert to their original shapes and cease functioning when external magnetic fields are removed.Moreover,their magnetization programming,deformations,and functioning need to alternate between encoding and actuation platforms,limiting the adaptability and efficiency.Here,we present a reprogrammable magnetic shape-memory composite(RM-SMC)integrating a shape-memory polymer(SMP)skeleton with phase-transition magnetic microcapsules.High-intensity laser melts microcapsules for magnetic realignment under programmed fields,while low-intensity laser softens SMP for structural reconfiguration without compromising integrity.This dual-laser strategy facilitates in situ magnetization programming,shape morphing,and function execution within a single material system.Our innovative approach enables unique applications,including omnidirectional multi-degree-of-freedom actuators that can activate light switches,solar trackers that optimize energy capture,and adaptive impellers that modulate fluid pumping.By eliminating platform alternation and enabling shape/function retention post-actuation,the RM-SMC platform overcomes critical limitations in conventional MRCs,establishing a paradigm for multifunctional devices requiring persistent configuration control and field-independent operation.
基金supported by the National Natural Science Foundation of China(62175071 and 32071399)the Guangdong Basic and Applied Basic Research Foundation(2021A1515011988 and 2021A1515110265)+2 种基金the Project of the Education Department of Guangdong Province,China(2021KTSCX238 and 2022ZDZX2077)the Project of Guangdong Food and Drug Vocational College(2020ZR01,2022ZR02 and 2024GCZX01)the Open Foundation of Key Laboratory of Optoelectronic Science and Technology for Medicine(Fujian Normal University),Ministry of Education,China(JYG2008 and JYG2009).
文摘Programmed cell death(PCD)plays a crucial role in the biological processes of living organisms and occurs in various forms,such as apoptosis,necroptosis and ferroptosis.However,traditional methods for PCD analysis are time-consuming and complex.In this paper,we propose a facile surface-enhanced Raman spectroscopy(SERS)-based strategy for the real-time analysis of three PCD patterns utilizing black phosphorus–gold nanoparticles(BP–Au NPs)as the ultrasensitive unlabeled Raman probe.BP–Au NPs,which possess excellent biocompatibility,are capable of detecting dye molecules at concentrations as low as 5×10^(-8)M and remain stable for at least one week in different physiological environments.In view of this,BP–Au NPs-based SERS technique can distinguish the tiny differences in the molecular fingerprints of cancer cells undergoing three PCD patterns(apoptosis,necroptosis and ferroptosis)triggered by doxorubicin,shikonin and erastin,respectively.We also have real-time monitoring of the intracellular molecular events during PCD,which spy the fluctuations of some typical SERS bands assigned to protein,DNA and lipid,revealing the unique phenotypic characteristics of each PCD pattern.This strategy provides a detailed and comprehensive analysis of the mechanisms of drug-induced PCD at the Raman level.
基金supported by Canada First Research Excellence Fund,Medicine by Design(to CMM)。
文摘Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.
基金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.
