Too much screen time is bad for your brain and body.It can also waste your time.So,try to spend less time on scree ns.Changing habits is not easy,but you can do it.Use an app to track your time on your smartphone.Do y...Too much screen time is bad for your brain and body.It can also waste your time.So,try to spend less time on scree ns.Changing habits is not easy,but you can do it.Use an app to track your time on your smartphone.Do you waste a lot of time on some ofyour phone apps?Take them off or set time limits for them.Less screen time means more free time for other things.Go hiking,visit a museum or try a new hobby.Use your phone less and appreciate life more.展开更多
This paper investigates modified fixed-time synchronization(FxTS)of complex networks(CNs)with time-varying delays based on continuous and discontinuous controllers.First,for the sake of making the settling time(ST)of ...This paper investigates modified fixed-time synchronization(FxTS)of complex networks(CNs)with time-varying delays based on continuous and discontinuous controllers.First,for the sake of making the settling time(ST)of FxTS is independent of the initial values and parameters of the CNs,a modified fixed-time(FxT)stability theorem is proposed,where the ST is determined by an arbitrary positive number given in advance.Then,continuous controller and discontinuous controller are designed to realize the modified FxTS target of CNs.In addition,based on the designed controllers,CNs can achieve synchronization at any given time,or even earlier.And control strategies effectively solve the problem of ST related to the parameters of CNs.Finally,an appropriate simulation example is conducted to examine the effectiveness of the designed control strategies.展开更多
In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-...In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-view (FOV) constraints based on biased proportional navigation guidance (PNG) is developed in this paper. The remaining flight time (time-to-go) estimation method is derived considering aerodynamic force and gravity. The number of differential equations is reduced and the integration step is increased by changing the integral variable, which makes it possible to obtain time-to-go through integration. An impact time controller with FOV constraints is proposed by analyzing the influence of the biased term on time-to-go and FOV constraint. Then, numerical simulations are performed to verify the correctness and superiority of the method.展开更多
Iced transmission line galloping poses a significant threat to the safety and reliability of power systems,leading directly to line tripping,disconnections,and power outages.Existing early warning methods of iced tran...Iced transmission line galloping poses a significant threat to the safety and reliability of power systems,leading directly to line tripping,disconnections,and power outages.Existing early warning methods of iced transmission line galloping suffer from issues such as reliance on a single data source,neglect of irregular time series,and lack of attention-based closed-loop feedback,resulting in high rates of missed and false alarms.To address these challenges,we propose an Internet of Things(IoT)empowered early warning method of transmission line galloping that integrates time series data from optical fiber sensing and weather forecast.Initially,the method applies a primary adaptive weighted fusion to the IoT empowered optical fiber real-time sensing data and weather forecast data,followed by a secondary fusion based on a Back Propagation(BP)neural network,and uses the K-medoids algorithm for clustering the fused data.Furthermore,an adaptive irregular time series perception adjustment module is introduced into the traditional Gated Recurrent Unit(GRU)network,and closed-loop feedback based on attentionmechanism is employed to update network parameters through gradient feedback of the loss function,enabling closed-loop training and time series data prediction of the GRU network model.Subsequently,considering various types of prediction data and the duration of icing,an iced transmission line galloping risk coefficient is established,and warnings are categorized based on this coefficient.Finally,using an IoT-driven realistic dataset of iced transmission line galloping,the effectiveness of the proposed method is validated through multi-dimensional simulation scenarios.展开更多
To address the problem of multi-missile cooperative interception against maneuvering targets at a prespecified impact time and desired Line-of-Sight(LOS)angles in ThreeDimensional(3D)space,this paper proposes a 3D lea...To address the problem of multi-missile cooperative interception against maneuvering targets at a prespecified impact time and desired Line-of-Sight(LOS)angles in ThreeDimensional(3D)space,this paper proposes a 3D leader-following cooperative interception guidance law.First,in the LOS direction of the leader,an impact time-controlled guidance law is derived based on the fixed-time stability theory,which enables the leader to complete the interception task at a prespecified impact time.Next,in the LOS direction of the followers,by introducing a time consensus tracking error function,a fixed-time consensus tracking guidance law is investigated to guarantee the consensus tracking convergence of the time-to-go.Then,in the direction normal to the LOS,by combining the designed global integral sliding mode surface and the second-order Sliding Mode Control(SMC)theory,an innovative 3D LOS-angle-constrained interception guidance law is developed,which eliminates the reaching phase in the traditional sliding mode guidance laws and effectively saves energy consumption.Moreover,it effectively suppresses the chattering phenomenon while avoiding the singularity issue,and compensates for unknown interference caused by target maneuvering online,making it convenient for practical engineering applications.Finally,theoretical proof analysis and multiple sets of numerical simulation results verify the effectiveness,superiority,and robustness of the investigated guidance law.展开更多
It is shown that time asymmetry is essential for deriving thermodynamic law and arises from the turnover of energy while reducing its information content and driving entropy increase. A dynamically interpreted princip...It is shown that time asymmetry is essential for deriving thermodynamic law and arises from the turnover of energy while reducing its information content and driving entropy increase. A dynamically interpreted principle of least action enables time asymmetry and time flow as a generation of action and redefines useful energy as an information system which implements a form of acting information. This is demonstrated using a basic formula, originally applied for time symmetry/energy conservation considerations, relating time asymmetry (which is conventionally denied but here expressly allowed), to energy behaviour. The results derived then explained that a dynamic energy is driving time asymmetry. It is doing it by decreasing the information content of useful energy, thus generating action and entropy increase, explaining action-time as an information phenomenon. Thermodynamic laws follow directly. The formalism derived readily explains what energy is, why it is conserved (1st law of thermodynamics), why entropy increases (2nd law) and that maximum entropy production within the restraints of the system controls self-organized processes of non-linear irreversible thermodynamics. The general significance of the principle of least action arises from its role of controlling the action generating oriented time of nature. These results contrast with present understanding of time neutrality and clock-time, which are here considered a source of paradoxes, intellectual contradictions and dead-end roads in models explaining nature and the universe.展开更多
The information exchange among satellites is crucial for the implementation of cluster satellite cooperative missions.However,achieving fast perception,rapid networking,and highprecision time synchronization among nod...The information exchange among satellites is crucial for the implementation of cluster satellite cooperative missions.However,achieving fast perception,rapid networking,and highprecision time synchronization among nodes without the support of the Global Navigation Satellite System(GNSS)and other prior information remains a formidable challenge to real-time wireless networks design.Therefore,a self-organizing network methodology based on multi-agent negotiation is proposed,which autonomously determines the master node through collaborative negotiation and competitive elections.On this basis,a real-time network protocol design is carried out and a high-precision time synchronization method with motion compensation is proposed.Simulation results demonstrate that the proposed method enables rapid networking with the capability of selfdiscovery,self-organization,and self-healing.For a cluster of 8 satellites,the networking time and the reorganization time are less than 4 s.The time synchronization accuracy exceeds 10-10s with motion compensation,demonstrating excellent real-time performance and stability.The research presented in this paper provides a valuable reference for the design and application of spacebased self-organizing networks for satellite cluster.展开更多
The acquisition of neutron time spectrum data plays a pivotal role in the precise quantification of uranium via prompt fission neutron uranium logging(PFNUL).However,the impact of the detector dead-time effect remains...The acquisition of neutron time spectrum data plays a pivotal role in the precise quantification of uranium via prompt fission neutron uranium logging(PFNUL).However,the impact of the detector dead-time effect remains paramount in the accurate acquisition of the neutron time spectrum.Therefore,it is imperative for neutron logging instruments to establish a dead-time correction method that is not only uncomplicated but also practical and caters to various logging sites.This study has formulated an innovative equation for determining dead time and introduced a dead-time correction method for the neutron time spectrum,called the“dual flux method.”Using this approach,a logging instrument captures two neutron time spectra under disparate neutron fluxes.By carefully selecting specific“windows”on the neutron time spectrum,the dead time can be accurately ascertained.To substantiate its efficacy and discern the influencing factors,experiments were conducted utilizing a deuterium-tritium(D-T)neutron source,a Helium-3(3He)detector,and polyethylene shielding to collate and analyze the neutron time spectrum under varying neutron fluxes(at high voltages).The findings underscore that the“height”and“spacing”of the two windows are the most pivotal influencing factors.Notably,the“height”(fd)should surpass 2,and the“spacing”twd should exceed 200μs.The dead time of the 3 He detector determined in the experiment was 7.35μs.After the dead-time correction,the deviation of the decay coefficients from the theoretical values for the neutron time spectrum under varying neutron fluxes decreased from 12.4%to within 5%.Similarly,for the PFNUL instrument,the deviation in the decay coefficients decreased from 22.94 to 0.49%after correcting for the dead-time effect.These results demonstrate the exceptional efficacy of the proposed method in ensuring precise uranium quantification.The dual flux method was experimentally validated as a universal approach applicable to pulsed neutron logging instruments and holds immense significance for uranium exploration.展开更多
This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-sta...This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.展开更多
We use out-of-time order correlators(OTOCs)to investigate the quantum instability and Ehrenfest time for an inverted harmonic oscillator(IHO).For initial states located in the stable manifolds of the IHO we find that ...We use out-of-time order correlators(OTOCs)to investigate the quantum instability and Ehrenfest time for an inverted harmonic oscillator(IHO).For initial states located in the stable manifolds of the IHO we find that the corresponding OTOC exhibits identical evolutionary characteristics to the saddle point before the Ehrenfest time.For initial states located in the unstable manifolds,the OTOCs still grow exponentially but the time to maintain exponential growth is related to the center position of its wave packet in phase space.Moreover,we use the Husimi Q function to visualize the quantum wave packets during exponential growth of the OTOCs.Our results show that quantum instability exists at arbitrary orbits in the IHO system,and the Ehrenfest time in the IHO system depends not only on the photon number of the initial system but also on the central positions of the initial states in phase space.展开更多
This paper study the finite time internal synchronization and the external synchronization(hybrid synchronization)for duplex heterogeneous complex networks by time-varying intermittent control.There few study hybrid s...This paper study the finite time internal synchronization and the external synchronization(hybrid synchronization)for duplex heterogeneous complex networks by time-varying intermittent control.There few study hybrid synchronization of heterogeneous duplex complex networks.Therefore,we study the finite time hybrid synchronization of heterogeneous duplex networks,which employs the time-varying intermittent control to drive the duplex heterogeneous complex networks to achieve hybrid synchronization in finite time.To be specific,the switch frequency of the controllers can be changed with time by devise Lyapunov function and boundary function,the internal synchronization and external synchronization are achieved simultaneously in finite time.Finally,numerical examples are presented to illustrate the validness of theoretical results.展开更多
The time-varying periodic variations in Global Navigation Satellite System(GNSS)stations affect the reliable time series analysis and appropriate geophysical interpretation.In this study,we apply the singular spectrum...The time-varying periodic variations in Global Navigation Satellite System(GNSS)stations affect the reliable time series analysis and appropriate geophysical interpretation.In this study,we apply the singular spectrum analysis(SSA)method to characterize and interpret the periodic patterns of GNSS deformations in China using multiple geodetic datasets.These include 23-year observations from the Crustal Movement Observation Network of China(CMONOC),displacements inferred from the Gravity Recovery and Climate Experiment(GRACE),and loadings derived from Geophysical models(GM).The results reveal that all CMONOC time series exhibit seasonal signals characterized by amplitude and phase modulations,and the SSA method outperforms the traditional least squares fitting(LSF)method in extracting and interpreting the time-varying seasonal signals from the original time series.The decrease in the root mean square(RMS)correlates well with the annual cycle variance estimated by the SSA method,and the average reduction in noise amplitudes is nearly twice as much for SSA filtered results compared with those from the LSF method.With SSA analysis,the time-varying seasonal signals for all the selected stations can be identified in the reconstructed components corresponding to the first ten eigenvalues.Moreover,both RMS reduction and correlation analysis imply the advantages of GRACE solutions in explaining the GNSS periodic variations,and the geophysical effects can account for 71%of the GNSS annual amplitudes,and the average RMS reduction is 15%.The SSA method has proved to be useful for investigating the GNSS timevarying seasonal signals.It could be applicable as an auxiliary tool in the improvement of nonlinear variations investigations.展开更多
The rise of time-sensitive applications with broad geographical scope drives the development of time-sensitive networking(TSN)from intra-domain to inter-domain to ensure overall end-to-end connectivity requirements in...The rise of time-sensitive applications with broad geographical scope drives the development of time-sensitive networking(TSN)from intra-domain to inter-domain to ensure overall end-to-end connectivity requirements in heterogeneous deployments.When multiple TSN networks interconnect over non-TSN networks,all devices in the network need to be syn-chronized by sharing a uniform time reference.How-ever,most non-TSN networks are best-effort.Path delay asymmetry and random noise accumulation can introduce unpredictable time errors during end-to-end time synchronization.These factors can degrade syn-chronization performance.Therefore,cross-domain time synchronization becomes a challenging issue for multiple TSN networks interconnected by non-TSN networks.This paper presents a cross-domain time synchronization scheme that follows the software-defined TSN(SD-TSN)paradigm.It utilizes a com-bined control plane constructed by a coordinate con-troller and a domain controller for centralized control and management of cross-domain time synchroniza-tion.The general operation flow of the cross-domain time synchronization process is designed.The mecha-nism of cross-domain time synchronization is revealed by introducing a synchronization model and an error compensation method.A TSN cross-domain proto-type testbed is constructed for verification.Results show that the scheme can achieve end-to-end high-precision time synchronization with accuracy and sta-bility.展开更多
The habitual use of smartphones during meals has become a common behavior,raising concerns about its potential impact on eating habits and metabolic health.The present narrative review investigates how using a smartph...The habitual use of smartphones during meals has become a common behavior,raising concerns about its potential impact on eating habits and metabolic health.The present narrative review investigates how using a smartphone or tablet during meals can cause distractions and negatively affect metabolic health.A comprehensive narrative review was conducted by synthesizing peer-reviewed studies on the interplay between smartphone use during meals,eating behaviors,and metabolic health.Relevant literature was identified through searches in electronic databases and organized thematically to highlight trends and research gaps.By synthesizing evidence from existing literature,this review highlights that smartphone use during meals is associated with increased caloric intake,altered food composition,and disruptions in postprandial metabolic responses.These effects are mediated by reduced meal awareness and psychological distractions,including multitasking.Variability in findings arises from differences in study designs and populations.This review identifies critical research gaps,including the lack of longitudinal studies and the need to explore mechanisms underlying these relationships.By summarizing trends and patterns,this narrative review offers valuable insights into the complex interplay between digital device use,eating habits,and metabolic health,providing a foundation for future research and interventions.展开更多
Accurate time synchronization is fundamental to the correct and efficient operation of Wireless Sensor Networks(WSNs),especially in security-critical,time-sensitive applications.However,most existing protocols degrade...Accurate time synchronization is fundamental to the correct and efficient operation of Wireless Sensor Networks(WSNs),especially in security-critical,time-sensitive applications.However,most existing protocols degrade substantially under malicious interference.We introduce iSTSP,an Intelligent and Secure Time Synchronization Protocol that implements a four-stage defense pipeline to ensure robust,precise synchronization even in hostile environments:(1)trust preprocessing that filters node participation using behavioral trust scoring;(2)anomaly isolation employing a lightweight autoencoder to detect and excise malicious nodes in real time;(3)reliability-weighted consensus that prioritizes high-trust nodes during time aggregation;and(4)convergence-optimized synchronization that dynamically adjusts parameters using theoretical stability bounds.We provide rigorous convergence analysis including a closed-form expression for convergence time,and validate the protocol through both simulations and realworld experiments on a controlled 16-node testbed.Under Sybil attacks with five malicious nodes within this testbed,iSTSP maintains synchronization error increases under 12%and achieves a rapid convergence.Compared to state-ofthe-art protocols like TPSN,SE-FTSP,and MMAR-CTS,iSTSP offers 60%faster detection,broader threat coverage,and more than 7 times lower synchronization error,with a modest 9.3%energy overhead over 8 h.We argue this is an acceptable trade-off for mission-critical deployments requiring guaranteed security.These findings demonstrate iSTSP’s potential as a reliable solution for secure WSN synchronization and motivate future work on large-scale IoT deployments and integration with energy-efficient communication protocols.展开更多
We study age-structured branching models with reproduction law depending on the remaining lifetime of the parent. The lifespan of an individual is determined at its birth and its remaining lifetime decreases at the un...We study age-structured branching models with reproduction law depending on the remaining lifetime of the parent. The lifespan of an individual is determined at its birth and its remaining lifetime decreases at the unit speed. The models, without or with immigration, are constructed as measure-valued processes by pathwise unique solutions of stochastic equations driven by time-space Poisson random measures. In the subcritical branching case, we give a sufficient condition for the ergodicity of the process with immigration. Two large number laws and a central limit theorem of the occupation times are proved.展开更多
This article broadens terminology and approaches that continue to advance time modelling within a relationalist framework. Time is modeled as a single dimension, flowing continuously through independent privileged poi...This article broadens terminology and approaches that continue to advance time modelling within a relationalist framework. Time is modeled as a single dimension, flowing continuously through independent privileged points. Introduced as absolute point-time, abstract continuous time is a backdrop for concrete relational-based time that is finite and discrete, bound to the limits of a real-world system. We discuss how discrete signals at a point are used to temporally anchor zero-temporal points [t = 0] in linear time. Object-oriented temporal line elements, flanked by temporal point elements, have a proportional geometric identity quantifiable by a standard unit system and can be mapped on a natural number line. Durations, line elements, are divisible into ordered unit ratio elements using ancient timekeeping formulas. The divisional structure provides temporal classes for rotational (Rt24t) and orbital (Rt18) sample periods, as well as a more general temporal class (Rt12) applicable to either sample or frame periods. We introduce notation for additive cyclic counts of sample periods, including divisional units, for calendar-like formatting. For system modeling, unit structures with dihedral symmetry, group order, and numerical order are shown to be applicable to Euclidean modelling. We introduce new functions for bijective and non-bijective mapping, modular arithmetic for cyclic-based time counts, and a novel formula relating to a subgroup of Pythagorean triples, preserving dihedral n-polygon symmetries. This article presents a new approach to model time in a relationalistic framework.展开更多
文摘Too much screen time is bad for your brain and body.It can also waste your time.So,try to spend less time on scree ns.Changing habits is not easy,but you can do it.Use an app to track your time on your smartphone.Do you waste a lot of time on some ofyour phone apps?Take them off or set time limits for them.Less screen time means more free time for other things.Go hiking,visit a museum or try a new hobby.Use your phone less and appreciate life more.
基金Supported by the National Natural Science Foundation of China(62476082)。
文摘This paper investigates modified fixed-time synchronization(FxTS)of complex networks(CNs)with time-varying delays based on continuous and discontinuous controllers.First,for the sake of making the settling time(ST)of FxTS is independent of the initial values and parameters of the CNs,a modified fixed-time(FxT)stability theorem is proposed,where the ST is determined by an arbitrary positive number given in advance.Then,continuous controller and discontinuous controller are designed to realize the modified FxTS target of CNs.In addition,based on the designed controllers,CNs can achieve synchronization at any given time,or even earlier.And control strategies effectively solve the problem of ST related to the parameters of CNs.Finally,an appropriate simulation example is conducted to examine the effectiveness of the designed control strategies.
基金supported by the National Natural Science Foundation of China(U21B2028).
文摘In the existing impact time control guidance (ITCG) laws for moving-targets, the effects of time-varying velocity caused by aerodynamics and gravity cannot be effectively con-sidered. Therefore, an ITCG with field-of-view (FOV) constraints based on biased proportional navigation guidance (PNG) is developed in this paper. The remaining flight time (time-to-go) estimation method is derived considering aerodynamic force and gravity. The number of differential equations is reduced and the integration step is increased by changing the integral variable, which makes it possible to obtain time-to-go through integration. An impact time controller with FOV constraints is proposed by analyzing the influence of the biased term on time-to-go and FOV constraint. Then, numerical simulations are performed to verify the correctness and superiority of the method.
基金research was funded by Science and Technology Project of State Grid Corporation of China under grant number 5200-202319382A-2-3-XG.
文摘Iced transmission line galloping poses a significant threat to the safety and reliability of power systems,leading directly to line tripping,disconnections,and power outages.Existing early warning methods of iced transmission line galloping suffer from issues such as reliance on a single data source,neglect of irregular time series,and lack of attention-based closed-loop feedback,resulting in high rates of missed and false alarms.To address these challenges,we propose an Internet of Things(IoT)empowered early warning method of transmission line galloping that integrates time series data from optical fiber sensing and weather forecast.Initially,the method applies a primary adaptive weighted fusion to the IoT empowered optical fiber real-time sensing data and weather forecast data,followed by a secondary fusion based on a Back Propagation(BP)neural network,and uses the K-medoids algorithm for clustering the fused data.Furthermore,an adaptive irregular time series perception adjustment module is introduced into the traditional Gated Recurrent Unit(GRU)network,and closed-loop feedback based on attentionmechanism is employed to update network parameters through gradient feedback of the loss function,enabling closed-loop training and time series data prediction of the GRU network model.Subsequently,considering various types of prediction data and the duration of icing,an iced transmission line galloping risk coefficient is established,and warnings are categorized based on this coefficient.Finally,using an IoT-driven realistic dataset of iced transmission line galloping,the effectiveness of the proposed method is validated through multi-dimensional simulation scenarios.
文摘To address the problem of multi-missile cooperative interception against maneuvering targets at a prespecified impact time and desired Line-of-Sight(LOS)angles in ThreeDimensional(3D)space,this paper proposes a 3D leader-following cooperative interception guidance law.First,in the LOS direction of the leader,an impact time-controlled guidance law is derived based on the fixed-time stability theory,which enables the leader to complete the interception task at a prespecified impact time.Next,in the LOS direction of the followers,by introducing a time consensus tracking error function,a fixed-time consensus tracking guidance law is investigated to guarantee the consensus tracking convergence of the time-to-go.Then,in the direction normal to the LOS,by combining the designed global integral sliding mode surface and the second-order Sliding Mode Control(SMC)theory,an innovative 3D LOS-angle-constrained interception guidance law is developed,which eliminates the reaching phase in the traditional sliding mode guidance laws and effectively saves energy consumption.Moreover,it effectively suppresses the chattering phenomenon while avoiding the singularity issue,and compensates for unknown interference caused by target maneuvering online,making it convenient for practical engineering applications.Finally,theoretical proof analysis and multiple sets of numerical simulation results verify the effectiveness,superiority,and robustness of the investigated guidance law.
文摘It is shown that time asymmetry is essential for deriving thermodynamic law and arises from the turnover of energy while reducing its information content and driving entropy increase. A dynamically interpreted principle of least action enables time asymmetry and time flow as a generation of action and redefines useful energy as an information system which implements a form of acting information. This is demonstrated using a basic formula, originally applied for time symmetry/energy conservation considerations, relating time asymmetry (which is conventionally denied but here expressly allowed), to energy behaviour. The results derived then explained that a dynamic energy is driving time asymmetry. It is doing it by decreasing the information content of useful energy, thus generating action and entropy increase, explaining action-time as an information phenomenon. Thermodynamic laws follow directly. The formalism derived readily explains what energy is, why it is conserved (1st law of thermodynamics), why entropy increases (2nd law) and that maximum entropy production within the restraints of the system controls self-organized processes of non-linear irreversible thermodynamics. The general significance of the principle of least action arises from its role of controlling the action generating oriented time of nature. These results contrast with present understanding of time neutrality and clock-time, which are here considered a source of paradoxes, intellectual contradictions and dead-end roads in models explaining nature and the universe.
基金supported by the National Natural Science Foundation of China(No.62401597)the Natural Science Foundation of Hunan Province,China(No.2024JJ6469)the Scientific Research Project of National University of Defense Technology,China(No.ZK22-02)。
文摘The information exchange among satellites is crucial for the implementation of cluster satellite cooperative missions.However,achieving fast perception,rapid networking,and highprecision time synchronization among nodes without the support of the Global Navigation Satellite System(GNSS)and other prior information remains a formidable challenge to real-time wireless networks design.Therefore,a self-organizing network methodology based on multi-agent negotiation is proposed,which autonomously determines the master node through collaborative negotiation and competitive elections.On this basis,a real-time network protocol design is carried out and a high-precision time synchronization method with motion compensation is proposed.Simulation results demonstrate that the proposed method enables rapid networking with the capability of selfdiscovery,self-organization,and self-healing.For a cluster of 8 satellites,the networking time and the reorganization time are less than 4 s.The time synchronization accuracy exceeds 10-10s with motion compensation,demonstrating excellent real-time performance and stability.The research presented in this paper provides a valuable reference for the design and application of spacebased self-organizing networks for satellite cluster.
基金supported by the National Natural Science Foundation of China(No.42374226)Jiangxi Provincial Natural Science Foundation(Nos.20232BAB201043 and 20232BCJ23006)+2 种基金Nuclear Energy Development Project(20201192-01)National Key Laboratory of Uranium Resource Exploration-Mining and Nuclear Remote Sensing(ECUT)(2024QZ-TD-09)Fundamental Science on Radioactive Geology and Exploration Technology Laboratory(2022RGET20).
文摘The acquisition of neutron time spectrum data plays a pivotal role in the precise quantification of uranium via prompt fission neutron uranium logging(PFNUL).However,the impact of the detector dead-time effect remains paramount in the accurate acquisition of the neutron time spectrum.Therefore,it is imperative for neutron logging instruments to establish a dead-time correction method that is not only uncomplicated but also practical and caters to various logging sites.This study has formulated an innovative equation for determining dead time and introduced a dead-time correction method for the neutron time spectrum,called the“dual flux method.”Using this approach,a logging instrument captures two neutron time spectra under disparate neutron fluxes.By carefully selecting specific“windows”on the neutron time spectrum,the dead time can be accurately ascertained.To substantiate its efficacy and discern the influencing factors,experiments were conducted utilizing a deuterium-tritium(D-T)neutron source,a Helium-3(3He)detector,and polyethylene shielding to collate and analyze the neutron time spectrum under varying neutron fluxes(at high voltages).The findings underscore that the“height”and“spacing”of the two windows are the most pivotal influencing factors.Notably,the“height”(fd)should surpass 2,and the“spacing”twd should exceed 200μs.The dead time of the 3 He detector determined in the experiment was 7.35μs.After the dead-time correction,the deviation of the decay coefficients from the theoretical values for the neutron time spectrum under varying neutron fluxes decreased from 12.4%to within 5%.Similarly,for the PFNUL instrument,the deviation in the decay coefficients decreased from 22.94 to 0.49%after correcting for the dead-time effect.These results demonstrate the exceptional efficacy of the proposed method in ensuring precise uranium quantification.The dual flux method was experimentally validated as a universal approach applicable to pulsed neutron logging instruments and holds immense significance for uranium exploration.
基金supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)the Science and Technology Fund,FDCT,Macao SAR(0064/2021/A2)
文摘This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.
基金supported by the National Natural Science Foundation of China under Grant Nos.12275078,11875026,12035005,2020YFC2201400the innovative research group of Hunan Province under Grant No.2024JJ1006。
文摘We use out-of-time order correlators(OTOCs)to investigate the quantum instability and Ehrenfest time for an inverted harmonic oscillator(IHO).For initial states located in the stable manifolds of the IHO we find that the corresponding OTOC exhibits identical evolutionary characteristics to the saddle point before the Ehrenfest time.For initial states located in the unstable manifolds,the OTOCs still grow exponentially but the time to maintain exponential growth is related to the center position of its wave packet in phase space.Moreover,we use the Husimi Q function to visualize the quantum wave packets during exponential growth of the OTOCs.Our results show that quantum instability exists at arbitrary orbits in the IHO system,and the Ehrenfest time in the IHO system depends not only on the photon number of the initial system but also on the central positions of the initial states in phase space.
基金Project supported by Jilin Provincial Science and Technology Development Plan(Grant No.20220101137JC).
文摘This paper study the finite time internal synchronization and the external synchronization(hybrid synchronization)for duplex heterogeneous complex networks by time-varying intermittent control.There few study hybrid synchronization of heterogeneous duplex complex networks.Therefore,we study the finite time hybrid synchronization of heterogeneous duplex networks,which employs the time-varying intermittent control to drive the duplex heterogeneous complex networks to achieve hybrid synchronization in finite time.To be specific,the switch frequency of the controllers can be changed with time by devise Lyapunov function and boundary function,the internal synchronization and external synchronization are achieved simultaneously in finite time.Finally,numerical examples are presented to illustrate the validness of theoretical results.
基金supported by the National Natural Science Foundation of China(NO.42104028,42174030 and 42004017)the Open Fund of Hubei Luojia Laboratory(No.220100048 and 230100021)the Scientific Research Project of Hubei Provincial Department of Education,and Research Foundation of the Department of Natural Resources of Hunan Province(No.20230104CH)。
文摘The time-varying periodic variations in Global Navigation Satellite System(GNSS)stations affect the reliable time series analysis and appropriate geophysical interpretation.In this study,we apply the singular spectrum analysis(SSA)method to characterize and interpret the periodic patterns of GNSS deformations in China using multiple geodetic datasets.These include 23-year observations from the Crustal Movement Observation Network of China(CMONOC),displacements inferred from the Gravity Recovery and Climate Experiment(GRACE),and loadings derived from Geophysical models(GM).The results reveal that all CMONOC time series exhibit seasonal signals characterized by amplitude and phase modulations,and the SSA method outperforms the traditional least squares fitting(LSF)method in extracting and interpreting the time-varying seasonal signals from the original time series.The decrease in the root mean square(RMS)correlates well with the annual cycle variance estimated by the SSA method,and the average reduction in noise amplitudes is nearly twice as much for SSA filtered results compared with those from the LSF method.With SSA analysis,the time-varying seasonal signals for all the selected stations can be identified in the reconstructed components corresponding to the first ten eigenvalues.Moreover,both RMS reduction and correlation analysis imply the advantages of GRACE solutions in explaining the GNSS periodic variations,and the geophysical effects can account for 71%of the GNSS annual amplitudes,and the average RMS reduction is 15%.The SSA method has proved to be useful for investigating the GNSS timevarying seasonal signals.It could be applicable as an auxiliary tool in the improvement of nonlinear variations investigations.
基金supported in part by National Key R&D Program of China(Grant No.2022YFC3803700)in part by the National Natural Science Foundation of China(Grant No.92067102)in part by the project of Beijing Laboratory of Advanced Information Networks.
文摘The rise of time-sensitive applications with broad geographical scope drives the development of time-sensitive networking(TSN)from intra-domain to inter-domain to ensure overall end-to-end connectivity requirements in heterogeneous deployments.When multiple TSN networks interconnect over non-TSN networks,all devices in the network need to be syn-chronized by sharing a uniform time reference.How-ever,most non-TSN networks are best-effort.Path delay asymmetry and random noise accumulation can introduce unpredictable time errors during end-to-end time synchronization.These factors can degrade syn-chronization performance.Therefore,cross-domain time synchronization becomes a challenging issue for multiple TSN networks interconnected by non-TSN networks.This paper presents a cross-domain time synchronization scheme that follows the software-defined TSN(SD-TSN)paradigm.It utilizes a com-bined control plane constructed by a coordinate con-troller and a domain controller for centralized control and management of cross-domain time synchroniza-tion.The general operation flow of the cross-domain time synchronization process is designed.The mecha-nism of cross-domain time synchronization is revealed by introducing a synchronization model and an error compensation method.A TSN cross-domain proto-type testbed is constructed for verification.Results show that the scheme can achieve end-to-end high-precision time synchronization with accuracy and sta-bility.
文摘The habitual use of smartphones during meals has become a common behavior,raising concerns about its potential impact on eating habits and metabolic health.The present narrative review investigates how using a smartphone or tablet during meals can cause distractions and negatively affect metabolic health.A comprehensive narrative review was conducted by synthesizing peer-reviewed studies on the interplay between smartphone use during meals,eating behaviors,and metabolic health.Relevant literature was identified through searches in electronic databases and organized thematically to highlight trends and research gaps.By synthesizing evidence from existing literature,this review highlights that smartphone use during meals is associated with increased caloric intake,altered food composition,and disruptions in postprandial metabolic responses.These effects are mediated by reduced meal awareness and psychological distractions,including multitasking.Variability in findings arises from differences in study designs and populations.This review identifies critical research gaps,including the lack of longitudinal studies and the need to explore mechanisms underlying these relationships.By summarizing trends and patterns,this narrative review offers valuable insights into the complex interplay between digital device use,eating habits,and metabolic health,providing a foundation for future research and interventions.
基金this project under Geran Putra Inisiatif(GPI)with reference of GP-GPI/2023/976210。
文摘Accurate time synchronization is fundamental to the correct and efficient operation of Wireless Sensor Networks(WSNs),especially in security-critical,time-sensitive applications.However,most existing protocols degrade substantially under malicious interference.We introduce iSTSP,an Intelligent and Secure Time Synchronization Protocol that implements a four-stage defense pipeline to ensure robust,precise synchronization even in hostile environments:(1)trust preprocessing that filters node participation using behavioral trust scoring;(2)anomaly isolation employing a lightweight autoencoder to detect and excise malicious nodes in real time;(3)reliability-weighted consensus that prioritizes high-trust nodes during time aggregation;and(4)convergence-optimized synchronization that dynamically adjusts parameters using theoretical stability bounds.We provide rigorous convergence analysis including a closed-form expression for convergence time,and validate the protocol through both simulations and realworld experiments on a controlled 16-node testbed.Under Sybil attacks with five malicious nodes within this testbed,iSTSP maintains synchronization error increases under 12%and achieves a rapid convergence.Compared to state-ofthe-art protocols like TPSN,SE-FTSP,and MMAR-CTS,iSTSP offers 60%faster detection,broader threat coverage,and more than 7 times lower synchronization error,with a modest 9.3%energy overhead over 8 h.We argue this is an acceptable trade-off for mission-critical deployments requiring guaranteed security.These findings demonstrate iSTSP’s potential as a reliable solution for secure WSN synchronization and motivate future work on large-scale IoT deployments and integration with energy-efficient communication protocols.
基金supported by the National Key R&D Program of China(2020YFA0712901).
文摘We study age-structured branching models with reproduction law depending on the remaining lifetime of the parent. The lifespan of an individual is determined at its birth and its remaining lifetime decreases at the unit speed. The models, without or with immigration, are constructed as measure-valued processes by pathwise unique solutions of stochastic equations driven by time-space Poisson random measures. In the subcritical branching case, we give a sufficient condition for the ergodicity of the process with immigration. Two large number laws and a central limit theorem of the occupation times are proved.
文摘This article broadens terminology and approaches that continue to advance time modelling within a relationalist framework. Time is modeled as a single dimension, flowing continuously through independent privileged points. Introduced as absolute point-time, abstract continuous time is a backdrop for concrete relational-based time that is finite and discrete, bound to the limits of a real-world system. We discuss how discrete signals at a point are used to temporally anchor zero-temporal points [t = 0] in linear time. Object-oriented temporal line elements, flanked by temporal point elements, have a proportional geometric identity quantifiable by a standard unit system and can be mapped on a natural number line. Durations, line elements, are divisible into ordered unit ratio elements using ancient timekeeping formulas. The divisional structure provides temporal classes for rotational (Rt24t) and orbital (Rt18) sample periods, as well as a more general temporal class (Rt12) applicable to either sample or frame periods. We introduce notation for additive cyclic counts of sample periods, including divisional units, for calendar-like formatting. For system modeling, unit structures with dihedral symmetry, group order, and numerical order are shown to be applicable to Euclidean modelling. We introduce new functions for bijective and non-bijective mapping, modular arithmetic for cyclic-based time counts, and a novel formula relating to a subgroup of Pythagorean triples, preserving dihedral n-polygon symmetries. This article presents a new approach to model time in a relationalistic framework.
