Safe and efficient sortie scheduling on the confined flight deck is crucial for maintaining high combat effectiveness of the aircraft carrier.The primary difficulty exactly lies in the spatiotemporal coordination,i.e....Safe and efficient sortie scheduling on the confined flight deck is crucial for maintaining high combat effectiveness of the aircraft carrier.The primary difficulty exactly lies in the spatiotemporal coordination,i.e.,allocation of limited supporting resources and collision-avoidance between heterogeneous dispatch entities.In this paper,the problem is investigated in the perspective of hybrid flow-shop scheduling problem by synthesizing the precedence,space and resource constraints.Specifically,eight processing procedures are abstracted,where tractors,preparing spots,catapults,and launching are virtualized as machines.By analyzing the constraints in sortie scheduling,a mixed-integer planning model is constructed.In particular,the constraint on preparing spot occupancy is improved to further enhance the sortie efficiency.The basic trajectory library for each dispatch entity is generated and a delayed strategy is integrated to address the collision-avoidance issue.To efficiently solve the formulated HFSP,which is essentially a combinatorial problem with tightly coupled constraints,a chaos-initialized genetic algorithm is developed.The solution framework is validated by the simulation environment referring to the Fort-class carrier,exhibiting higher sortie efficiency when compared to existing strategies.And animation of the simulation results is available at www.bilibili.com/video/BV14t421A7Tt/.The study presents a promising supporting technique for autonomous flight deck operation in the foreseeable future,and can be easily extended to other supporting scenarios,e.g.,ammunition delivery and aircraft maintenance.展开更多
Recently,unmanned aerial vehicle(UAV)-aided free-space optical(FSO)communication has attracted widespread attentions.However,most of the existing research focuses on communication performance only.The authors investig...Recently,unmanned aerial vehicle(UAV)-aided free-space optical(FSO)communication has attracted widespread attentions.However,most of the existing research focuses on communication performance only.The authors investigate the integrated scheduling of communication,sensing,and control for UAV-aided FSO communication systems.Initially,a sensing-control model is established via the control theory.Moreover,an FSO communication channel model is established by considering the effects of atmospheric loss,atmospheric turbulence,geometrical loss,and angle-of-arrival fluctuation.Then,the relationship between the motion control of the UAV and radial displacement is obtained to link the control aspect and communication aspect.Assuming that the base station has instantaneous channel state information(CSI)or statistical CSI,the thresholds of the sensing-control pattern activation are designed,respectively.Finally,an integrated scheduling scheme for performing communication,sensing,and control is proposed.Numerical results indicate that,compared with conventional time-triggered scheme,the proposed integrated scheduling scheme obtains comparable communication and control performance,but reduces the sensing consumed power by 52.46%.展开更多
The dwell scheduling problem for a multifunctional radar system is led to the formation of corresponding optimiza-tion problem.In order to solve the resulting optimization prob-lem,the dwell scheduling process in a sc...The dwell scheduling problem for a multifunctional radar system is led to the formation of corresponding optimiza-tion problem.In order to solve the resulting optimization prob-lem,the dwell scheduling process in a scheduling interval(SI)is formulated as a Markov decision process(MDP),where the state,action,and reward are specified for this dwell scheduling problem.Specially,the action is defined as scheduling the task on the left side,right side or in the middle of the radar idle time-line,which reduces the action space effectively and accelerates the convergence of the training.Through the above process,a model-free reinforcement learning framework is established.Then,an adaptive dwell scheduling method based on Q-learn-ing is proposed,where the converged Q value table after train-ing is utilized to instruct the scheduling process.Simulation results demonstrate that compared with existing dwell schedul-ing algorithms,the proposed one can achieve better scheduling performance considering the urgency criterion,the importance criterion and the desired execution time criterion comprehen-sively.The average running time shows the proposed algorithm has real-time performance.展开更多
Recovery is a crucial supporting process for carrier aircraft,where a reasonable landing scheduling is expected to guide the fleet landing safely and quickly.Currently,there is little research on this topic,and most o...Recovery is a crucial supporting process for carrier aircraft,where a reasonable landing scheduling is expected to guide the fleet landing safely and quickly.Currently,there is little research on this topic,and most of it neglects potential influence factors,leaving the corresponding supporting efficiency questionable.In this paper,we study the landing scheduling problem for carrier aircraft considering the effects of bolting and aerial refueling.Based on the analysis of recovery mode involving the above factors,two types of primary constraints(i.e.,fuel constraint and wake interval constraint)are first described.Then,taking the landing sequencing as decision variables,a combinatorial optimization model with a compound objective function is formulated.Aiming at an efficient solution,an improved firefly algorithm is designed by integrating multiple evolutionary operators.In addition,a dynamic replanning mechanism is introduced to deal with special situations(i.e.,the occurrence of bolting and fuel shortage),where the high efficiency of the designed algorithm facilitates the online scheduling adjustment within seconds.Finally,numerical simulations with sufficient and insufficient fuel cases are both carried out,highlighting the necessity to consider bolting and aerial refueling during the planning procedure.Simulation results reveal that a higher bolting probability,as well as extra aerial refueling operations caused by fuel shortage,will lead to longer recovery complete time.Meanwhile,due to the strong optimum-seeking capability and solution efficiency of the improved algorithm,adaptive scheduling can be generated within milliseconds to deal with special situations,significantly improving the safety and efficiency of the recovery process.An animation is accessible at bilibili.com/video/BV1QprKY2EwD.展开更多
The multifunctional integration system(MFIS)is based on a common hardware platform that controls and regulates the system’s configurable parameters through software to meet dif-ferent operational requirements.Dwell s...The multifunctional integration system(MFIS)is based on a common hardware platform that controls and regulates the system’s configurable parameters through software to meet dif-ferent operational requirements.Dwell scheduling is a key for the system to realize multifunction and maximize the resource uti-lization.In this paper,an adaptive dwell scheduling optimization model for MFIS which considers the aperture partition and joint radar communication(JRC)waveform is established.To solve the formulated optimization problem,JRC scheduling condi-tions are proposed,including time overlapping condition,beam direction condition and aperture condition.Meanwhile,an effec-tive mechanism to dynamically occupy and release the aperture resource is introduced,where the time-pointer will slide to the earliest ending time of all currently scheduled tasks so that the occupied aperture resource can be released timely.Based on them,an adaptive dwell scheduling algorithm for MFIS with aperture partition and JRC waveform is put forward.Simulation results demonstrate that the proposed algorithm has better com-prehensive scheduling performance than up-to-date algorithms in all considered metrics.展开更多
Based on the abort strategy of fixed periods, a novel predictive control scheduling methodology was proposed to efficiently solve overrun problems. By applying the latest control value in the prediction sequences to t...Based on the abort strategy of fixed periods, a novel predictive control scheduling methodology was proposed to efficiently solve overrun problems. By applying the latest control value in the prediction sequences to the control objective, the new strategy was expected to optimize the control system for better performance and yet guarantee the schedulability of all tasks under overrun. The schedulability of the real-time systems with p-period overruns was analyzed, and the corresponding stability criteria was given as well. The simulation results show that the new approach can improve the performance of control system compared to that of conventional abort strategy, it can reduce the overshoot and adjust time as well as ensure the schedulability and stability.展开更多
The emergent task is a kind of uncertain event that satellite systems often encounter in the application process.In this paper,the multi-satellite distributed coordinating and scheduling problem considering emergent t...The emergent task is a kind of uncertain event that satellite systems often encounter in the application process.In this paper,the multi-satellite distributed coordinating and scheduling problem considering emergent tasks is studied.Due to the limitation of onboard computational resources and time,common online onboard rescheduling methods for such problems usually adopt simple greedy methods,sacrificing the solution quality to deliver timely solutions.To better solve the problem,a new multi-satellite onboard scheduling and coordinating framework based on multi-solution integration is proposed.This method uses high computational power on the ground and generates multiple solutions,changing the complex onboard rescheduling problem to a solution selection problem.With this method,it is possible that little time is used to generate a solution that is as good as the solutions on the ground.We further propose several multi-satellite coordination methods based on the multi-agent Markov decision process(MMDP)and mixed-integer programming(MIP).These methods enable the satellite to make independent decisions and produce high-quality solutions.Compared with the traditional centralized scheduling method,the proposed distributed method reduces the cost of satellite communication and increases the response speed for emergent tasks.Extensive experiments show that the proposed multi-solution integration framework and the distributed coordinating strategies are efficient and effective for onboard scheduling considering emergent tasks.展开更多
A new scheduling algorithm called deferrable scheduling with time slice exchange (DS-EXC) was proposed to maintain the temporal validity of real-time data. In DS-EXC, the time slice exchange method was designed to fur...A new scheduling algorithm called deferrable scheduling with time slice exchange (DS-EXC) was proposed to maintain the temporal validity of real-time data. In DS-EXC, the time slice exchange method was designed to further defer the release time of transaction instances derived by the deferrable scheduling algorithm (DS-FP). In this way, more CPU time would be left for lower priority transactions and other transactions. In order to minimize the scheduling overhead, an off-line scheme was designed. In particular, the schedule for a transaction set is generated off-line until a repeating pattern is found, and then the pattern is used to construct the schedule on-line. The performance of DS-EXC was evaluated by sets of experiments. The results show that DS-EXC outperforms DS-FP in terms of increasing schedulable ratio. It also provides better performance under mixed workloads.展开更多
A DMVOCC-MVDA （distributed multiversion optimistic concurrency control with multiversion dynamic adjustment） protocol was presented to process mobile distributed real-time transaction in mobile broadcast environment...A DMVOCC-MVDA （distributed multiversion optimistic concurrency control with multiversion dynamic adjustment） protocol was presented to process mobile distributed real-time transaction in mobile broadcast environments. At the mobile hosts, all transactions perform local pre-validation. The local pre-validation process is carried out against the committed transactions at the server in the last broadcast cycle. Transactions that survive in local pre-validation must be submitted to the server for local final validation. The new protocol eliminates conflicts between mobile read-only and mobile update transactions, and resolves data conflicts flexibly by using multiversion dynamic adjustment of serialization order to avoid unnecessary restarts of transactions. Mobile read-only transactions can be committed with no-blocking, and respond time of mobile read-only transactions is greatly shortened. The tolerance of mobile transactions of disconnections from the broadcast channel is increased. In global validation mobile distributed transactions have to do check to ensure distributed serializability in all participants. The simulation results show that the new concurrency control protocol proposed offers better performance than other protocols in terms of miss rate, restart rate, commit rate. Under high work load （think time is ls） the miss rate of DMVOCC-MVDA is only 14.6%, is significantly lower than that of other protocols. The restart rate of DMVOCC-MVDA is only 32.3%, showing that DMVOCC-MVDA can effectively reduce the restart rate of mobile transactions. And the commit rate of DMVOCC-MVDA is up to 61.2%, which is obviously higher than that of other protocols.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
Ship motions induced by waves have a significant impact on the efficiency and safety of offshore operations.Real-time prediction of ship motions in the next few seconds plays a crucial role in performing sensitive act...Ship motions induced by waves have a significant impact on the efficiency and safety of offshore operations.Real-time prediction of ship motions in the next few seconds plays a crucial role in performing sensitive activities.However,the obvious memory effect of ship motion time series brings certain difficulty to rapid and accurate prediction.Therefore,a real-time framework based on the Long-Short Term Memory(LSTM)neural network model is proposed to predict ship motions in regular and irregular head waves.A 15000 TEU container ship model is employed to illustrate the proposed framework.The numerical implementation and the real-time ship motion prediction in irregular head waves corresponding to the different time scales are carried out based on the container ship model.The related experimental data were employed to verify the numerical simulation results.The results show that the proposed method is more robust than the classical extreme short-term prediction method based on potential flow theory in the prediction of nonlinear ship motions.展开更多
Controlled laboratory experiments are proved to be a valuable tool for investigating changes in underground physical properties and the related response of surface geophysical signals.The self-potential(SP)method is w...Controlled laboratory experiments are proved to be a valuable tool for investigating changes in underground physical properties and the related response of surface geophysical signals.The self-potential(SP)method is widely used in mineral resource exploration due to its direct correlation with underground electrochemical gradients.This paper presented the design and construction of an experimental platform based on a multi-channel SP monitoring system.The proposed platform was used to monitor the anodizing corrosion process of different metal blocks from a laboratory perspective,record the real-time SP signal generated by the redox reaction,as well as investigate the geobattery mechanism associated with the natural polarization process of metal mineral resources.The experimental results demonstrate that the constructed SP monitoring platform effectively captures time-series SP signals and provides direct laboratory evidence for the geobattery model.The measured SP data were quantitatively interpreted using the simulated annealing algorithm,and the inversion results closely match the real model.This finding highlights the potential of the SP method as a promising tool for determining the location and spatial distribution of underground polarizers.The study holds reference value for the exploration and exploitation of mineral resources in both terrestrial and marine environments.展开更多
A low-Earth-orbit(LEO)satellite network can provide full-coverage access services worldwide and is an essential candidate for future 6G networking.However,the large variability of the geographic distribution of the Ea...A low-Earth-orbit(LEO)satellite network can provide full-coverage access services worldwide and is an essential candidate for future 6G networking.However,the large variability of the geographic distribution of the Earth’s population leads to an uneven service volume distribution of access service.Moreover,the limitations on the resources of satellites are far from being able to serve the traffic in hotspot areas.To enhance the forwarding capability of satellite networks,we first assess how hotspot areas under different load cases and spatial scales significantly affect the network throughput of an LEO satellite network overall.Then,we propose a multi-region cooperative traffic scheduling algorithm.The algorithm migrates low-grade traffic from hotspot areas to coldspot areas for forwarding,significantly increasing the overall throughput of the satellite network while sacrificing some latency of end-to-end forwarding.This algorithm can utilize all the global satellite resources and improve the utilization of network resources.We model the cooperative multi-region scheduling of large-scale LEO satellites.Based on the model,we build a system testbed using OMNET++to compare the proposed method with existing techniques.The simulations show that our proposed method can reduce the packet loss probability by 30%and improve the resource utilization ratio by 3.69%.展开更多
Natural events have had a significant impact on overall flight activity,and the aviation industry plays a vital role in helping society cope with the impact of these events.As one of the most impactful weather typhoon...Natural events have had a significant impact on overall flight activity,and the aviation industry plays a vital role in helping society cope with the impact of these events.As one of the most impactful weather typhoon seasons appears and continues,airlines operating in threatened areas and passengers having travel plans during this time period will pay close attention to the development of tropical storms.This paper proposes a deep multimodal fusion and multitasking trajectory prediction model that can improve the reliability of typhoon trajectory prediction and reduce the quantity of flight scheduling cancellation.The deep multimodal fusion module is formed by deep fusion of the feature output by multiple submodal fusion modules,and the multitask generation module uses longitude and latitude as two related tasks for simultaneous prediction.With more dependable data accuracy,problems can be analysed rapidly and more efficiently,enabling better decision-making with a proactive versus reactive posture.When multiple modalities coexist,features can be extracted from them simultaneously to supplement each other’s information.An actual case study,the typhoon Lichma that swept China in 2019,has demonstrated that the algorithm can effectively reduce the number of unnecessary flight cancellations compared to existing flight scheduling and assist the new generation of flight scheduling systems under extreme weather.展开更多
A dynamic multi-beam resource allocation algorithm for large low Earth orbit(LEO)constellation based on on-board distributed computing is proposed in this paper.The allocation is a combinatorial optimization process u...A dynamic multi-beam resource allocation algorithm for large low Earth orbit(LEO)constellation based on on-board distributed computing is proposed in this paper.The allocation is a combinatorial optimization process under a series of complex constraints,which is important for enhancing the matching between resources and requirements.A complex algorithm is not available because that the LEO on-board resources is limi-ted.The proposed genetic algorithm(GA)based on two-dimen-sional individual model and uncorrelated single paternal inheri-tance method is designed to support distributed computation to enhance the feasibility of on-board application.A distributed system composed of eight embedded devices is built to verify the algorithm.A typical scenario is built in the system to evalu-ate the resource allocation process,algorithm mathematical model,trigger strategy,and distributed computation architec-ture.According to the simulation and measurement results,the proposed algorithm can provide an allocation result for more than 1500 tasks in 14 s and the success rate is more than 91%in a typical scene.The response time is decreased by 40%com-pared with the conditional GA.展开更多
[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been propo...[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been proposed for monitoring cow ruminant behavior,including video surveillance,sound recognition,and sensor monitoring methods.How‐ever,the application of edge device gives rise to the issue of inadequate real-time performance.To reduce the volume of data transmission and cloud computing workload while achieving real-time monitoring of dairy cow rumination behavior,a real-time monitoring method was proposed for cow ruminant behavior based on edge computing.[Methods]Autono‐mously designed edge devices were utilized to collect and process six-axis acceleration signals from cows in real-time.Based on these six-axis data,two distinct strategies,federated edge intelligence and split edge intelligence,were investigat‐ed for the real-time recognition of cow ruminant behavior.Focused on the real-time recognition method for cow ruminant behavior leveraging federated edge intelligence,the CA-MobileNet v3 network was proposed by enhancing the MobileNet v3 network with a collaborative attention mechanism.Additionally,a federated edge intelligence model was designed uti‐lizing the CA-MobileNet v3 network and the FedAvg federated aggregation algorithm.In the study on split edge intelli‐gence,a split edge intelligence model named MobileNet-LSTM was designed by integrating the MobileNet v3 network with a fusion collaborative attention mechanism and the Bi-LSTM network.[Results and Discussions]Through compara‐tive experiments with MobileNet v3 and MobileNet-LSTM,the federated edge intelligence model based on CA-Mo‐bileNet v3 achieved an average Precision rate,Recall rate,F1-Score,Specificity,and Accuracy of 97.1%,97.9%,97.5%,98.3%,and 98.2%,respectively,yielding the best recognition performance.[Conclusions]It is provided a real-time and effective method for monitoring cow ruminant behavior,and the proposed federated edge intelligence model can be ap‐plied in practical settings.展开更多
基金the financial support of the National Key Research and Development Plan(2021YFB3302501)the financial support of the National Natural Science Foundation of China(12102077)。
文摘Safe and efficient sortie scheduling on the confined flight deck is crucial for maintaining high combat effectiveness of the aircraft carrier.The primary difficulty exactly lies in the spatiotemporal coordination,i.e.,allocation of limited supporting resources and collision-avoidance between heterogeneous dispatch entities.In this paper,the problem is investigated in the perspective of hybrid flow-shop scheduling problem by synthesizing the precedence,space and resource constraints.Specifically,eight processing procedures are abstracted,where tractors,preparing spots,catapults,and launching are virtualized as machines.By analyzing the constraints in sortie scheduling,a mixed-integer planning model is constructed.In particular,the constraint on preparing spot occupancy is improved to further enhance the sortie efficiency.The basic trajectory library for each dispatch entity is generated and a delayed strategy is integrated to address the collision-avoidance issue.To efficiently solve the formulated HFSP,which is essentially a combinatorial problem with tightly coupled constraints,a chaos-initialized genetic algorithm is developed.The solution framework is validated by the simulation environment referring to the Fort-class carrier,exhibiting higher sortie efficiency when compared to existing strategies.And animation of the simulation results is available at www.bilibili.com/video/BV14t421A7Tt/.The study presents a promising supporting technique for autonomous flight deck operation in the foreseeable future,and can be easily extended to other supporting scenarios,e.g.,ammunition delivery and aircraft maintenance.
文摘Recently,unmanned aerial vehicle(UAV)-aided free-space optical(FSO)communication has attracted widespread attentions.However,most of the existing research focuses on communication performance only.The authors investigate the integrated scheduling of communication,sensing,and control for UAV-aided FSO communication systems.Initially,a sensing-control model is established via the control theory.Moreover,an FSO communication channel model is established by considering the effects of atmospheric loss,atmospheric turbulence,geometrical loss,and angle-of-arrival fluctuation.Then,the relationship between the motion control of the UAV and radial displacement is obtained to link the control aspect and communication aspect.Assuming that the base station has instantaneous channel state information(CSI)or statistical CSI,the thresholds of the sensing-control pattern activation are designed,respectively.Finally,an integrated scheduling scheme for performing communication,sensing,and control is proposed.Numerical results indicate that,compared with conventional time-triggered scheme,the proposed integrated scheduling scheme obtains comparable communication and control performance,but reduces the sensing consumed power by 52.46%.
基金supported by the National Natural Science Foundation of China(6177109562031007).
文摘The dwell scheduling problem for a multifunctional radar system is led to the formation of corresponding optimiza-tion problem.In order to solve the resulting optimization prob-lem,the dwell scheduling process in a scheduling interval(SI)is formulated as a Markov decision process(MDP),where the state,action,and reward are specified for this dwell scheduling problem.Specially,the action is defined as scheduling the task on the left side,right side or in the middle of the radar idle time-line,which reduces the action space effectively and accelerates the convergence of the training.Through the above process,a model-free reinforcement learning framework is established.Then,an adaptive dwell scheduling method based on Q-learn-ing is proposed,where the converged Q value table after train-ing is utilized to instruct the scheduling process.Simulation results demonstrate that compared with existing dwell schedul-ing algorithms,the proposed one can achieve better scheduling performance considering the urgency criterion,the importance criterion and the desired execution time criterion comprehen-sively.The average running time shows the proposed algorithm has real-time performance.
基金the financial support of the National Natural Science Foundation of China(12102077,12161076)the Natural Science and Technology Program of Liaoning Province(2023-BS-061).
文摘Recovery is a crucial supporting process for carrier aircraft,where a reasonable landing scheduling is expected to guide the fleet landing safely and quickly.Currently,there is little research on this topic,and most of it neglects potential influence factors,leaving the corresponding supporting efficiency questionable.In this paper,we study the landing scheduling problem for carrier aircraft considering the effects of bolting and aerial refueling.Based on the analysis of recovery mode involving the above factors,two types of primary constraints(i.e.,fuel constraint and wake interval constraint)are first described.Then,taking the landing sequencing as decision variables,a combinatorial optimization model with a compound objective function is formulated.Aiming at an efficient solution,an improved firefly algorithm is designed by integrating multiple evolutionary operators.In addition,a dynamic replanning mechanism is introduced to deal with special situations(i.e.,the occurrence of bolting and fuel shortage),where the high efficiency of the designed algorithm facilitates the online scheduling adjustment within seconds.Finally,numerical simulations with sufficient and insufficient fuel cases are both carried out,highlighting the necessity to consider bolting and aerial refueling during the planning procedure.Simulation results reveal that a higher bolting probability,as well as extra aerial refueling operations caused by fuel shortage,will lead to longer recovery complete time.Meanwhile,due to the strong optimum-seeking capability and solution efficiency of the improved algorithm,adaptive scheduling can be generated within milliseconds to deal with special situations,significantly improving the safety and efficiency of the recovery process.An animation is accessible at bilibili.com/video/BV1QprKY2EwD.
基金supported by the National Natural Science Foundation of China(6203100762371093).
文摘The multifunctional integration system(MFIS)is based on a common hardware platform that controls and regulates the system’s configurable parameters through software to meet dif-ferent operational requirements.Dwell scheduling is a key for the system to realize multifunction and maximize the resource uti-lization.In this paper,an adaptive dwell scheduling optimization model for MFIS which considers the aperture partition and joint radar communication(JRC)waveform is established.To solve the formulated optimization problem,JRC scheduling condi-tions are proposed,including time overlapping condition,beam direction condition and aperture condition.Meanwhile,an effec-tive mechanism to dynamically occupy and release the aperture resource is introduced,where the time-pointer will slide to the earliest ending time of all currently scheduled tasks so that the occupied aperture resource can be released timely.Based on them,an adaptive dwell scheduling algorithm for MFIS with aperture partition and JRC waveform is put forward.Simulation results demonstrate that the proposed algorithm has better com-prehensive scheduling performance than up-to-date algorithms in all considered metrics.
基金Project (60505018) supported by the National Natural Science Foundation of China
文摘Based on the abort strategy of fixed periods, a novel predictive control scheduling methodology was proposed to efficiently solve overrun problems. By applying the latest control value in the prediction sequences to the control objective, the new strategy was expected to optimize the control system for better performance and yet guarantee the schedulability of all tasks under overrun. The schedulability of the real-time systems with p-period overruns was analyzed, and the corresponding stability criteria was given as well. The simulation results show that the new approach can improve the performance of control system compared to that of conventional abort strategy, it can reduce the overshoot and adjust time as well as ensure the schedulability and stability.
基金supported by the National Natural Science Foundation of China(72001212,71701204,71801218)the China Hunan Postgraduate Research Innovating Project(CX2018B020)。
文摘The emergent task is a kind of uncertain event that satellite systems often encounter in the application process.In this paper,the multi-satellite distributed coordinating and scheduling problem considering emergent tasks is studied.Due to the limitation of onboard computational resources and time,common online onboard rescheduling methods for such problems usually adopt simple greedy methods,sacrificing the solution quality to deliver timely solutions.To better solve the problem,a new multi-satellite onboard scheduling and coordinating framework based on multi-solution integration is proposed.This method uses high computational power on the ground and generates multiple solutions,changing the complex onboard rescheduling problem to a solution selection problem.With this method,it is possible that little time is used to generate a solution that is as good as the solutions on the ground.We further propose several multi-satellite coordination methods based on the multi-agent Markov decision process(MMDP)and mixed-integer programming(MIP).These methods enable the satellite to make independent decisions and produce high-quality solutions.Compared with the traditional centralized scheduling method,the proposed distributed method reduces the cost of satellite communication and increases the response speed for emergent tasks.Extensive experiments show that the proposed multi-solution integration framework and the distributed coordinating strategies are efficient and effective for onboard scheduling considering emergent tasks.
基金Project(60873030) supported by the National Natural Science Foundation of China
文摘A new scheduling algorithm called deferrable scheduling with time slice exchange (DS-EXC) was proposed to maintain the temporal validity of real-time data. In DS-EXC, the time slice exchange method was designed to further defer the release time of transaction instances derived by the deferrable scheduling algorithm (DS-FP). In this way, more CPU time would be left for lower priority transactions and other transactions. In order to minimize the scheduling overhead, an off-line scheme was designed. In particular, the schedule for a transaction set is generated off-line until a repeating pattern is found, and then the pattern is used to construct the schedule on-line. The performance of DS-EXC was evaluated by sets of experiments. The results show that DS-EXC outperforms DS-FP in terms of increasing schedulable ratio. It also provides better performance under mixed workloads.
基金Project(20030533011)supported by the National Research Foundation for the Doctoral Program of Higher Education of China
文摘A DMVOCC-MVDA （distributed multiversion optimistic concurrency control with multiversion dynamic adjustment） protocol was presented to process mobile distributed real-time transaction in mobile broadcast environments. At the mobile hosts, all transactions perform local pre-validation. The local pre-validation process is carried out against the committed transactions at the server in the last broadcast cycle. Transactions that survive in local pre-validation must be submitted to the server for local final validation. The new protocol eliminates conflicts between mobile read-only and mobile update transactions, and resolves data conflicts flexibly by using multiversion dynamic adjustment of serialization order to avoid unnecessary restarts of transactions. Mobile read-only transactions can be committed with no-blocking, and respond time of mobile read-only transactions is greatly shortened. The tolerance of mobile transactions of disconnections from the broadcast channel is increased. In global validation mobile distributed transactions have to do check to ensure distributed serializability in all participants. The simulation results show that the new concurrency control protocol proposed offers better performance than other protocols in terms of miss rate, restart rate, commit rate. Under high work load （think time is ls） the miss rate of DMVOCC-MVDA is only 14.6%, is significantly lower than that of other protocols. The restart rate of DMVOCC-MVDA is only 32.3%, showing that DMVOCC-MVDA can effectively reduce the restart rate of mobile transactions. And the commit rate of DMVOCC-MVDA is up to 61.2%, which is obviously higher than that of other protocols.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
文摘Ship motions induced by waves have a significant impact on the efficiency and safety of offshore operations.Real-time prediction of ship motions in the next few seconds plays a crucial role in performing sensitive activities.However,the obvious memory effect of ship motion time series brings certain difficulty to rapid and accurate prediction.Therefore,a real-time framework based on the Long-Short Term Memory(LSTM)neural network model is proposed to predict ship motions in regular and irregular head waves.A 15000 TEU container ship model is employed to illustrate the proposed framework.The numerical implementation and the real-time ship motion prediction in irregular head waves corresponding to the different time scales are carried out based on the container ship model.The related experimental data were employed to verify the numerical simulation results.The results show that the proposed method is more robust than the classical extreme short-term prediction method based on potential flow theory in the prediction of nonlinear ship motions.
基金Project(42174170)supported by the National Natural Science Foundation of China。
文摘Controlled laboratory experiments are proved to be a valuable tool for investigating changes in underground physical properties and the related response of surface geophysical signals.The self-potential(SP)method is widely used in mineral resource exploration due to its direct correlation with underground electrochemical gradients.This paper presented the design and construction of an experimental platform based on a multi-channel SP monitoring system.The proposed platform was used to monitor the anodizing corrosion process of different metal blocks from a laboratory perspective,record the real-time SP signal generated by the redox reaction,as well as investigate the geobattery mechanism associated with the natural polarization process of metal mineral resources.The experimental results demonstrate that the constructed SP monitoring platform effectively captures time-series SP signals and provides direct laboratory evidence for the geobattery model.The measured SP data were quantitatively interpreted using the simulated annealing algorithm,and the inversion results closely match the real model.This finding highlights the potential of the SP method as a promising tool for determining the location and spatial distribution of underground polarizers.The study holds reference value for the exploration and exploitation of mineral resources in both terrestrial and marine environments.
基金This work was supported by the National Key R&D Program of China(2021YFB2900604).
文摘A low-Earth-orbit(LEO)satellite network can provide full-coverage access services worldwide and is an essential candidate for future 6G networking.However,the large variability of the geographic distribution of the Earth’s population leads to an uneven service volume distribution of access service.Moreover,the limitations on the resources of satellites are far from being able to serve the traffic in hotspot areas.To enhance the forwarding capability of satellite networks,we first assess how hotspot areas under different load cases and spatial scales significantly affect the network throughput of an LEO satellite network overall.Then,we propose a multi-region cooperative traffic scheduling algorithm.The algorithm migrates low-grade traffic from hotspot areas to coldspot areas for forwarding,significantly increasing the overall throughput of the satellite network while sacrificing some latency of end-to-end forwarding.This algorithm can utilize all the global satellite resources and improve the utilization of network resources.We model the cooperative multi-region scheduling of large-scale LEO satellites.Based on the model,we build a system testbed using OMNET++to compare the proposed method with existing techniques.The simulations show that our proposed method can reduce the packet loss probability by 30%and improve the resource utilization ratio by 3.69%.
基金supported by the National Natural Science Foundation of China(62073330)。
文摘Natural events have had a significant impact on overall flight activity,and the aviation industry plays a vital role in helping society cope with the impact of these events.As one of the most impactful weather typhoon seasons appears and continues,airlines operating in threatened areas and passengers having travel plans during this time period will pay close attention to the development of tropical storms.This paper proposes a deep multimodal fusion and multitasking trajectory prediction model that can improve the reliability of typhoon trajectory prediction and reduce the quantity of flight scheduling cancellation.The deep multimodal fusion module is formed by deep fusion of the feature output by multiple submodal fusion modules,and the multitask generation module uses longitude and latitude as two related tasks for simultaneous prediction.With more dependable data accuracy,problems can be analysed rapidly and more efficiently,enabling better decision-making with a proactive versus reactive posture.When multiple modalities coexist,features can be extracted from them simultaneously to supplement each other’s information.An actual case study,the typhoon Lichma that swept China in 2019,has demonstrated that the algorithm can effectively reduce the number of unnecessary flight cancellations compared to existing flight scheduling and assist the new generation of flight scheduling systems under extreme weather.
基金This work was supported by the National Key Research and Development Program of China(2021YFB2900603)the National Natural Science Foundation of China(61831008).
文摘A dynamic multi-beam resource allocation algorithm for large low Earth orbit(LEO)constellation based on on-board distributed computing is proposed in this paper.The allocation is a combinatorial optimization process under a series of complex constraints,which is important for enhancing the matching between resources and requirements.A complex algorithm is not available because that the LEO on-board resources is limi-ted.The proposed genetic algorithm(GA)based on two-dimen-sional individual model and uncorrelated single paternal inheri-tance method is designed to support distributed computation to enhance the feasibility of on-board application.A distributed system composed of eight embedded devices is built to verify the algorithm.A typical scenario is built in the system to evalu-ate the resource allocation process,algorithm mathematical model,trigger strategy,and distributed computation architec-ture.According to the simulation and measurement results,the proposed algorithm can provide an allocation result for more than 1500 tasks in 14 s and the success rate is more than 91%in a typical scene.The response time is decreased by 40%com-pared with the conditional GA.
文摘[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been proposed for monitoring cow ruminant behavior,including video surveillance,sound recognition,and sensor monitoring methods.How‐ever,the application of edge device gives rise to the issue of inadequate real-time performance.To reduce the volume of data transmission and cloud computing workload while achieving real-time monitoring of dairy cow rumination behavior,a real-time monitoring method was proposed for cow ruminant behavior based on edge computing.[Methods]Autono‐mously designed edge devices were utilized to collect and process six-axis acceleration signals from cows in real-time.Based on these six-axis data,two distinct strategies,federated edge intelligence and split edge intelligence,were investigat‐ed for the real-time recognition of cow ruminant behavior.Focused on the real-time recognition method for cow ruminant behavior leveraging federated edge intelligence,the CA-MobileNet v3 network was proposed by enhancing the MobileNet v3 network with a collaborative attention mechanism.Additionally,a federated edge intelligence model was designed uti‐lizing the CA-MobileNet v3 network and the FedAvg federated aggregation algorithm.In the study on split edge intelli‐gence,a split edge intelligence model named MobileNet-LSTM was designed by integrating the MobileNet v3 network with a fusion collaborative attention mechanism and the Bi-LSTM network.[Results and Discussions]Through compara‐tive experiments with MobileNet v3 and MobileNet-LSTM,the federated edge intelligence model based on CA-Mo‐bileNet v3 achieved an average Precision rate,Recall rate,F1-Score,Specificity,and Accuracy of 97.1%,97.9%,97.5%,98.3%,and 98.2%,respectively,yielding the best recognition performance.[Conclusions]It is provided a real-time and effective method for monitoring cow ruminant behavior,and the proposed federated edge intelligence model can be ap‐plied in practical settings.
