In this paper we discuss the smoothness of inertial manifolds under time discretization. By the fibre contract principle, see Section 4, we obtain a sufficient condition for C-k(k greater than or equal to 1) inertial ...In this paper we discuss the smoothness of inertial manifolds under time discretization. By the fibre contract principle, see Section 4, we obtain a sufficient condition for C-k(k greater than or equal to 1) inertial manifolds. In view of the numerical computation for dissipative nonlinear evolution equations, it is more important to consider the discretized case than continuous case([3]).展开更多
In this paper a new approach for time discretization of an integro-differential equation of parabolic type is proposed. The methods are based on the backward-Euler and Crank-Nicolson Schemes but the memory and computa...In this paper a new approach for time discretization of an integro-differential equation of parabolic type is proposed. The methods are based on the backward-Euler and Crank-Nicolson Schemes but the memory and computational requirements are greatly reduced without assuming more regularities on the solution u.展开更多
In this paper, we use Hermite weighted essentially non-oscillatory （HWENO） schemes with a Lax-Wendroff time discretization procedure, termed HWENO-LW schemes, to solve Hamilton-Jacobi equations. The idea of the reco...In this paper, we use Hermite weighted essentially non-oscillatory （HWENO） schemes with a Lax-Wendroff time discretization procedure, termed HWENO-LW schemes, to solve Hamilton-Jacobi equations. The idea of the reconstruction in the HWENO schemes comes from the original WENO schemes, however both the function and its first derivative values are evolved in time and are used in the reconstruction. One major advantage of HWENO schemes is its compactness in the reconstruction. We explore the possibility in avoiding the nonlinear weights for part of the procedure, hence reducing the cost but still maintaining non-oscillatory properties for problems with strong discontinuous derivative. As a result, comparing with HWENO with Runge-Kutta time discretizations schemes （HWENO-RK） of Qiu and Shu [19] for Hamilton-Jacobi equations, the major advantages of HWENO-LW schemes are their saving of computational cost and their compactness in the reconstruction. Extensive numerical experiments are performed to illustrate the capability of the method.展开更多
In this paper,we discuss the local discontinuous Galerkin methods coupled with two specific explicitimplicit-null time discretizations for solving one-dimensional nonlinear diffusion problems Ut=(a(U)Ux)x.The basic id...In this paper,we discuss the local discontinuous Galerkin methods coupled with two specific explicitimplicit-null time discretizations for solving one-dimensional nonlinear diffusion problems Ut=(a(U)Ux)x.The basic idea is to add and subtract two equal terms a0 Uxx the right-hand side of the partial differential equation,then to treat the term a0 Uxx implicitly and the other terms(a(U)Ux)x-a0 Uxx explicitly.We give stability analysis for the method on a simplified model by the aid of energy analysis,which gives a guidance for the choice of a0,i.e.,a0≥max{a(u)}/2 to ensure the unconditional stability of the first order and second order schemes.The optimal error estimate is also derived for the simplified model,and numerical experiments are given to demonstrate the stability,accuracy and performance of the schemes for nonlinear diffusion equations.展开更多
In this paper, we study the strong stability preserving （SSP） property of a class of deferred correction time discretization methods, for solving the method-of-lines schemes approximating hyperbolic partial differen...In this paper, we study the strong stability preserving （SSP） property of a class of deferred correction time discretization methods, for solving the method-of-lines schemes approximating hyperbolic partial differential equations.展开更多
This paper studies the two-stage fourth-order accurate time discretization[J.Q.Li and Z.F.Du,SIAM J.Sci.Comput.,38(2016)]and its application to the special relativistic hydrodynamical equations.Our analysis reveals th...This paper studies the two-stage fourth-order accurate time discretization[J.Q.Li and Z.F.Du,SIAM J.Sci.Comput.,38(2016)]and its application to the special relativistic hydrodynamical equations.Our analysis reveals that the new two-stage fourth-order accurate time discretizations can be proposed.With the aid of the direct Eulerian GRP(generalized Riemann problem)methods and the analytical resolution of the local“quasi 1D”GRP,the two-stage fourth-order accurate time discretizations are successfully implemented for the 1D and 2D special relativistic hydrodynamical equations.Several numerical experiments demonstrate the performance and accuracy as well as robustness of our schemes.展开更多
This paper is devoted to the study of a nonlinear evolution eddy current model of the type δtB（H） ＋ △↓× （ △↓ × H） =0 subject to homogeneous Dirichlet boundary conditions H × v = 0 and a given ...This paper is devoted to the study of a nonlinear evolution eddy current model of the type δtB（H） ＋ △↓× （ △↓ × H） =0 subject to homogeneous Dirichlet boundary conditions H × v = 0 and a given initial datum. Here, the magnetic properties of a soft ferromagnet are linked by a nonlinear material law described by B（H）. We apply the backward Euler method for the time discretization and we derive the error estimates in suitable function spaces. The results depend on the nonlinearity of B（H）.展开更多
The uniform L^2 stability and convergence properties for the time discretization of an evolution equation with a memory term are studied. The methods are based on the second-order backward difference methods. The memo...The uniform L^2 stability and convergence properties for the time discretization of an evolution equation with a memory term are studied. The methods are based on the second-order backward difference methods. The memory term is approximated by the second-order convolution quadrature and interpolant quadrature.展开更多
This paper introduces the Advanced Observer Model (AOM), a novel framework that integrates classical mechanics, quantum mechanics, and relativity through the observer’s role in constructing reality. Central to the AO...This paper introduces the Advanced Observer Model (AOM), a novel framework that integrates classical mechanics, quantum mechanics, and relativity through the observer’s role in constructing reality. Central to the AOM is the Static Configuration/Dynamic Configuration (SC/DC) conjugate, which examines physical systems through the interaction between static spatial configurations and dynamic quantum states. The model introduces a Constant Frame Rate (CFR) to quantize time perception, providing a discrete model for time evolution in quantum systems. By modifying the Schrödinger equation with CFR, the AOM bridges quantum and classical physics, offering a unified interpretation where classical determinism and quantum uncertainty coexist. A key feature of the AOM is its energy scaling model, where energy grows exponentially with spatial dimensionality, following the relationshipE∝(π)n. This dimensional scaling connects the discrete time perception of the observer with both quantum and classical energy distributions, providing insights into the nature of higher-dimensional spaces. Additionally, the AOM posits that spacetime curvature arises from quantum interactions, shaped by the observer’s discrete time perception. The model emphasizes the observer’s consciousness as a co-creator of reality, offering new approaches to understanding the quantum-classical transition. While speculative, the AOM opens new avenues for addressing foundational questions in quantum mechanics, relativity, dimensionality, and the nature of reality.展开更多
During May 11–13,2022,the International Workshop on Efficient High-Order TimeDiscretization Methods for Partial Differential Equations(PDEs)took place at Villa Orlandiin Anacapri,Italy,a conference center of the Unive...During May 11–13,2022,the International Workshop on Efficient High-Order TimeDiscretization Methods for Partial Differential Equations(PDEs)took place at Villa Orlandiin Anacapri,Italy,a conference center of the University of Naples Federico II.Due to theCOVID-19 pandemic,the workshop was held in a hybrid format.Approximately 50 seniorresearchers,young scholars,and Ph.D.students attended this workshop.The purpose of theevent was to explore recent trends and directions in the area of time discretization for thenumerical solution of evolutionary PDEs with particular focus to high-order methods forhyperbolic systems with source terms and advection-diffusion-reaction equations,and withspecial emphasis on efficient time-stepping methods such as the implicit-explicit(IMEX),and the semi-implicit and strong stability preserving(SSP)time discretization.This focusedsection entitled“Efficient High-Order Time Discretization Methods for Partial DifferentialEquations”in Communications on Applied Mathematics and Computation(CAMC)consistsof six regularly peer-reviewed manuscripts,selected from submissions of works presentedduring the workshop.展开更多
In this paper, we discuss a discrete time repairable queuing system with Markovian arrival process, where lifetime of server, service time and repair time of server are all discrete phase type random variables. Using...In this paper, we discuss a discrete time repairable queuing system with Markovian arrival process, where lifetime of server, service time and repair time of server are all discrete phase type random variables. Using the theory of matrix geometric solution, we give the steady state distribution of queue length and waiting time. In addition, the stable availability of the system is also provided.展开更多
A discrete time stochastic traffic assignment model is proposed. The model provides a discrete time description of the variations of flows on a road network during a day or a peak period. The congestion effect at li...A discrete time stochastic traffic assignment model is proposed. The model provides a discrete time description of the variations of flows on a road network during a day or a peak period. The congestion effect at links and link junctions are taken into account. The first in first out principle is enforced on all links at all periods of the day. A stochastic user equilibrium assignment is achieved when the tripmaker is unable to find better travel alternatives. A computational procedure is also presented.展开更多
The robust stability analysis of discrete time systems with fast time varying uncertainties is considered in this paper. The necessary and sufficient conditions for quadratic stability are presented. Moreover, the s...The robust stability analysis of discrete time systems with fast time varying uncertainties is considered in this paper. The necessary and sufficient conditions for quadratic stability are presented. Moreover, the stability robustness index is introduced as the measurement of the stability robustness. For the systems with given uncertain parameter bounds, checking the necessary and sufficient conditions and calculating the stability robust index are converted to solving minimax problems. It is shown that the maximization can be reduced to comparisons between the functional values of the corners when the parameter region is bounded by hyperpolydredon, and any local minimum value in the minimization is exactly the global minimum.展开更多
Signal filtering and differential acquisition are classic yet challenging issues in control engineering.The discrete-time optimal control(DTOC)based on classic tracking differentiator(TD)can effectively extract differ...Signal filtering and differential acquisition are classic yet challenging issues in control engineering.The discrete-time optimal control(DTOC)based on classic tracking differentiator(TD)can effectively extract differentiation signals and filter signals,while eliminating the chattering problem that arises during the discretization of the continuous solution.However,under external disturbance,the convergence mode may change,leading to overshoot and noise amplification.In this paper,a dual-switching strategy is proposed,which can alternate between the base double-integral system and its dual system according to the quadrant of the system’s state.And a novel linearized control law is also introduced,deriving a novel dual-switch tracking differentiator.Further analysis of system convergence and time optimality is provided.Simulation results show that the application of this dual-switching strategy notably reduces overshoot in both tracking and differential signals while enhancing noise filtering performance.Moreover,experiments conducted on a permanent magnet synchronous motor(PMSM)platform,where the proposed TD acts as a filter in the speed feedback loop,demonstrate that the standard deviation between the reference speed and the target speed(at a constant speed of 378 r/min)decreased from 5.63 r/min to 4.93 r/min,compared to the moving average algorithm.展开更多
Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to prese...Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.展开更多
This paper addresses the challenge of synchronized multiple spacecraft attitude reorientation in presence of pointing and boundary constraints with limited inter-spacecraft communication link.Relative attitude pointin...This paper addresses the challenge of synchronized multiple spacecraft attitude reorientation in presence of pointing and boundary constraints with limited inter-spacecraft communication link.Relative attitude pointing constraint among the fleet of spacecraft has also been modeled and considered during the attitude maneuvers toward the desired states.Formation fling control structure that consists of decentralized path planners based on virtual structure approach joint with discrete time optimal local controller is designed to achieve the mission's goals.Due to digital computing of spacecraft's onboard computer,local optimal controller based on discrete time prediction and correction algorithm has been utilized.The time step of local optimal algorithm execution is designed so that the spacecraft track their desired attitudes with appropriate error bound.The convergence of the proposed architecture and stability of local controller's tracking error within appropriate upper bound are proved.Finally,a numerical simulation of a stereo imaging scenario is presented to verify the performance of the proposed architecture and the effectiveness of the algorithm.展开更多
Recent advances in intelligent transportation system allow traffic safety studies to extend from historic data-based analyses to real-time applications. The study presents a new method to predict crash likelihood with...Recent advances in intelligent transportation system allow traffic safety studies to extend from historic data-based analyses to real-time applications. The study presents a new method to predict crash likelihood with traffic data collected by discrete loop detectors as well as the web-crawl weather data. Matched case-control method and support vector machines （SVMs） technique were employed to identify the risk status. The adaptive synthetic over-sampling technique was applied to solve the imbalanced dataset issues. Random forest technique was applied to select the contributing factors and avoid the over-fitting issues. The results indicate that the SVMs classifier could successfully classify 76.32% of the crashes on the test dataset and 87.52% of the crashes on the overall dataset, which were relatively satisfactory compared with the results of the previous studies. Compared with the SVMs classifier without the data, the SVMs classifier with the web-crawl weather data increased the crash prediction accuracy by 1.32% and decreased the false alarm rate by 1.72%, showing the potential value of the massive web weather data. Mean impact value method was employed to evaluate the variable effects, and the results are identical with the results of most of previous studies. The emerging technique based on the discrete traffic data and web weather data proves to be more applicable on real- time safety management on freeways.展开更多
In this paper, by defining new state vectors and developing new transfer matrices of various elements mov- ing in space, the discrete time transfer matrix method of multi-rigid-flexible-body system is expanded to stud...In this paper, by defining new state vectors and developing new transfer matrices of various elements mov- ing in space, the discrete time transfer matrix method of multi-rigid-flexible-body system is expanded to study the dynamics of multibody system with flexible beams moving in space. Formulations and numerical example of a rigid- flexible-body three pendulums system moving in space are given to validate the method. Using the new method to study the dynamics of multi-rigid-flexible-body system mov- ing in space, the global dynamics equations of system are not needed, the orders of involved matrices of the system are very low and the computational speed is high, irrespec- tive of the size of the system. The new method is simple, straightforward, practical, and provides a powerful tool for multi-rigid-flexible-body system dynamics.展开更多
For flight control systems with time-varying delay, an H∞ output tracking controller is proposed. The controller is designed for the discrete-time state-space model of general aircraft to reduce the effects of uncert...For flight control systems with time-varying delay, an H∞ output tracking controller is proposed. The controller is designed for the discrete-time state-space model of general aircraft to reduce the effects of uncertainties of the mathematical model, external disturbances, and bounded time-varying delay. It is assumed that the feedback-control loop is closed by the communication network, and the network-based control architecture induces time-delays in the feedback information. Suppose that the time delay has both an upper bound and a lower bound. By using the Lyapu- nov-Krasovskii function and the linear matrix inequality （LMI）, the delay-dependent stability criterion is derived for the time-delay system. Based on the criterion, a state-feedback H∞ output tracking controller for systems with norm-bounded uncertainties and time-varying delay is presented. The control scheme is applied to the high incidence research model （HIRM）, which shows the effectiveness of the proposed approach.展开更多
文摘In this paper we discuss the smoothness of inertial manifolds under time discretization. By the fibre contract principle, see Section 4, we obtain a sufficient condition for C-k(k greater than or equal to 1) inertial manifolds. In view of the numerical computation for dissipative nonlinear evolution equations, it is more important to consider the discretized case than continuous case([3]).
文摘In this paper a new approach for time discretization of an integro-differential equation of parabolic type is proposed. The methods are based on the backward-Euler and Crank-Nicolson Schemes but the memory and computational requirements are greatly reduced without assuming more regularities on the solution u.
基金Research partially supported by NNSFC grant 10371118,SRF for ROCS,SEM and Nanjing University Talent Development Foundation.
文摘In this paper, we use Hermite weighted essentially non-oscillatory （HWENO） schemes with a Lax-Wendroff time discretization procedure, termed HWENO-LW schemes, to solve Hamilton-Jacobi equations. The idea of the reconstruction in the HWENO schemes comes from the original WENO schemes, however both the function and its first derivative values are evolved in time and are used in the reconstruction. One major advantage of HWENO schemes is its compactness in the reconstruction. We explore the possibility in avoiding the nonlinear weights for part of the procedure, hence reducing the cost but still maintaining non-oscillatory properties for problems with strong discontinuous derivative. As a result, comparing with HWENO with Runge-Kutta time discretizations schemes （HWENO-RK） of Qiu and Shu [19] for Hamilton-Jacobi equations, the major advantages of HWENO-LW schemes are their saving of computational cost and their compactness in the reconstruction. Extensive numerical experiments are performed to illustrate the capability of the method.
基金supported by National Natural Science Foundation of China(Grant Nos.11601241,11671199,11571290 and 11672082)Natural Science Foundation of Jiangsu Province(Grant No.BK20160877)+1 种基金ARO(Grant No.W911NF-15-1-0226)National Science Foundation of USA(Grant No.DMS-1719410)
文摘In this paper,we discuss the local discontinuous Galerkin methods coupled with two specific explicitimplicit-null time discretizations for solving one-dimensional nonlinear diffusion problems Ut=(a(U)Ux)x.The basic idea is to add and subtract two equal terms a0 Uxx the right-hand side of the partial differential equation,then to treat the term a0 Uxx implicitly and the other terms(a(U)Ux)x-a0 Uxx explicitly.We give stability analysis for the method on a simplified model by the aid of energy analysis,which gives a guidance for the choice of a0,i.e.,a0≥max{a(u)}/2 to ensure the unconditional stability of the first order and second order schemes.The optimal error estimate is also derived for the simplified model,and numerical experiments are given to demonstrate the stability,accuracy and performance of the schemes for nonlinear diffusion equations.
基金NSFC grant 10671190 while he was visiting the Department of Mathematics,University of Science and Technology of ChinaARO grant W911NF-04-1-0291+1 种基金NSF grant DMS-0510345NSFC grant 10671190
文摘In this paper, we study the strong stability preserving （SSP） property of a class of deferred correction time discretization methods, for solving the method-of-lines schemes approximating hyperbolic partial differential equations.
基金The authors were partially supported by the Special Project on High-performance Computing under the National Key R&D Program(No.2016YF B0200603)Sci-ence Challenge Project(No.JCK Y2016212A502)the National Natural Science Foundation of China(Nos.91630310&11421101).
文摘This paper studies the two-stage fourth-order accurate time discretization[J.Q.Li and Z.F.Du,SIAM J.Sci.Comput.,38(2016)]and its application to the special relativistic hydrodynamical equations.Our analysis reveals that the new two-stage fourth-order accurate time discretizations can be proposed.With the aid of the direct Eulerian GRP(generalized Riemann problem)methods and the analytical resolution of the local“quasi 1D”GRP,the two-stage fourth-order accurate time discretizations are successfully implemented for the 1D and 2D special relativistic hydrodynamical equations.Several numerical experiments demonstrate the performance and accuracy as well as robustness of our schemes.
基金the BOF/GOA-project No.01G00607 of Ghent Universitythe grant number 3G008206 of the Fund for Scientific Research-Flanders
文摘This paper is devoted to the study of a nonlinear evolution eddy current model of the type δtB（H） ＋ △↓× （ △↓ × H） =0 subject to homogeneous Dirichlet boundary conditions H × v = 0 and a given initial datum. Here, the magnetic properties of a soft ferromagnet are linked by a nonlinear material law described by B（H）. We apply the backward Euler method for the time discretization and we derive the error estimates in suitable function spaces. The results depend on the nonlinearity of B（H）.
文摘The uniform L^2 stability and convergence properties for the time discretization of an evolution equation with a memory term are studied. The methods are based on the second-order backward difference methods. The memory term is approximated by the second-order convolution quadrature and interpolant quadrature.
文摘This paper introduces the Advanced Observer Model (AOM), a novel framework that integrates classical mechanics, quantum mechanics, and relativity through the observer’s role in constructing reality. Central to the AOM is the Static Configuration/Dynamic Configuration (SC/DC) conjugate, which examines physical systems through the interaction between static spatial configurations and dynamic quantum states. The model introduces a Constant Frame Rate (CFR) to quantize time perception, providing a discrete model for time evolution in quantum systems. By modifying the Schrödinger equation with CFR, the AOM bridges quantum and classical physics, offering a unified interpretation where classical determinism and quantum uncertainty coexist. A key feature of the AOM is its energy scaling model, where energy grows exponentially with spatial dimensionality, following the relationshipE∝(π)n. This dimensional scaling connects the discrete time perception of the observer with both quantum and classical energy distributions, providing insights into the nature of higher-dimensional spaces. Additionally, the AOM posits that spacetime curvature arises from quantum interactions, shaped by the observer’s discrete time perception. The model emphasizes the observer’s consciousness as a co-creator of reality, offering new approaches to understanding the quantum-classical transition. While speculative, the AOM opens new avenues for addressing foundational questions in quantum mechanics, relativity, dimensionality, and the nature of reality.
文摘During May 11–13,2022,the International Workshop on Efficient High-Order TimeDiscretization Methods for Partial Differential Equations(PDEs)took place at Villa Orlandiin Anacapri,Italy,a conference center of the University of Naples Federico II.Due to theCOVID-19 pandemic,the workshop was held in a hybrid format.Approximately 50 seniorresearchers,young scholars,and Ph.D.students attended this workshop.The purpose of theevent was to explore recent trends and directions in the area of time discretization for thenumerical solution of evolutionary PDEs with particular focus to high-order methods forhyperbolic systems with source terms and advection-diffusion-reaction equations,and withspecial emphasis on efficient time-stepping methods such as the implicit-explicit(IMEX),and the semi-implicit and strong stability preserving(SSP)time discretization.This focusedsection entitled“Efficient High-Order Time Discretization Methods for Partial DifferentialEquations”in Communications on Applied Mathematics and Computation(CAMC)consistsof six regularly peer-reviewed manuscripts,selected from submissions of works presentedduring the workshop.
文摘In this paper, we discuss a discrete time repairable queuing system with Markovian arrival process, where lifetime of server, service time and repair time of server are all discrete phase type random variables. Using the theory of matrix geometric solution, we give the steady state distribution of queue length and waiting time. In addition, the stable availability of the system is also provided.
文摘A discrete time stochastic traffic assignment model is proposed. The model provides a discrete time description of the variations of flows on a road network during a day or a peak period. The congestion effect at links and link junctions are taken into account. The first in first out principle is enforced on all links at all periods of the day. A stochastic user equilibrium assignment is achieved when the tripmaker is unable to find better travel alternatives. A computational procedure is also presented.
文摘The robust stability analysis of discrete time systems with fast time varying uncertainties is considered in this paper. The necessary and sufficient conditions for quadratic stability are presented. Moreover, the stability robustness index is introduced as the measurement of the stability robustness. For the systems with given uncertain parameter bounds, checking the necessary and sufficient conditions and calculating the stability robust index are converted to solving minimax problems. It is shown that the maximization can be reduced to comparisons between the functional values of the corners when the parameter region is bounded by hyperpolydredon, and any local minimum value in the minimization is exactly the global minimum.
基金Project(QZKFKT2023-012)supported by the State Key Laboratory of Heavy-duty and Express High-power Electric Locomotive,China。
文摘Signal filtering and differential acquisition are classic yet challenging issues in control engineering.The discrete-time optimal control(DTOC)based on classic tracking differentiator(TD)can effectively extract differentiation signals and filter signals,while eliminating the chattering problem that arises during the discretization of the continuous solution.However,under external disturbance,the convergence mode may change,leading to overshoot and noise amplification.In this paper,a dual-switching strategy is proposed,which can alternate between the base double-integral system and its dual system according to the quadrant of the system’s state.And a novel linearized control law is also introduced,deriving a novel dual-switch tracking differentiator.Further analysis of system convergence and time optimality is provided.Simulation results show that the application of this dual-switching strategy notably reduces overshoot in both tracking and differential signals while enhancing noise filtering performance.Moreover,experiments conducted on a permanent magnet synchronous motor(PMSM)platform,where the proposed TD acts as a filter in the speed feedback loop,demonstrate that the standard deviation between the reference speed and the target speed(at a constant speed of 378 r/min)decreased from 5.63 r/min to 4.93 r/min,compared to the moving average algorithm.
基金supported by TATA Consultancy Servies(TCS)Research Fellowship Program,India
文摘Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.
文摘This paper addresses the challenge of synchronized multiple spacecraft attitude reorientation in presence of pointing and boundary constraints with limited inter-spacecraft communication link.Relative attitude pointing constraint among the fleet of spacecraft has also been modeled and considered during the attitude maneuvers toward the desired states.Formation fling control structure that consists of decentralized path planners based on virtual structure approach joint with discrete time optimal local controller is designed to achieve the mission's goals.Due to digital computing of spacecraft's onboard computer,local optimal controller based on discrete time prediction and correction algorithm has been utilized.The time step of local optimal algorithm execution is designed so that the spacecraft track their desired attitudes with appropriate error bound.The convergence of the proposed architecture and stability of local controller's tracking error within appropriate upper bound are proved.Finally,a numerical simulation of a stereo imaging scenario is presented to verify the performance of the proposed architecture and the effectiveness of the algorithm.
基金supported by the National Natural Science Foundation (71301119)the Shanghai Natural Science Foundation (12ZR1434100)
文摘Recent advances in intelligent transportation system allow traffic safety studies to extend from historic data-based analyses to real-time applications. The study presents a new method to predict crash likelihood with traffic data collected by discrete loop detectors as well as the web-crawl weather data. Matched case-control method and support vector machines （SVMs） technique were employed to identify the risk status. The adaptive synthetic over-sampling technique was applied to solve the imbalanced dataset issues. Random forest technique was applied to select the contributing factors and avoid the over-fitting issues. The results indicate that the SVMs classifier could successfully classify 76.32% of the crashes on the test dataset and 87.52% of the crashes on the overall dataset, which were relatively satisfactory compared with the results of the previous studies. Compared with the SVMs classifier without the data, the SVMs classifier with the web-crawl weather data increased the crash prediction accuracy by 1.32% and decreased the false alarm rate by 1.72%, showing the potential value of the massive web weather data. Mean impact value method was employed to evaluate the variable effects, and the results are identical with the results of most of previous studies. The emerging technique based on the discrete traffic data and web weather data proves to be more applicable on real- time safety management on freeways.
基金supported by the Natural Science Foundation of China Government (10902051)the Natural Science Foundation of Jiangsu Province (BK2008046)the German Science Foundation
文摘In this paper, by defining new state vectors and developing new transfer matrices of various elements mov- ing in space, the discrete time transfer matrix method of multi-rigid-flexible-body system is expanded to study the dynamics of multibody system with flexible beams moving in space. Formulations and numerical example of a rigid- flexible-body three pendulums system moving in space are given to validate the method. Using the new method to study the dynamics of multi-rigid-flexible-body system mov- ing in space, the global dynamics equations of system are not needed, the orders of involved matrices of the system are very low and the computational speed is high, irrespec- tive of the size of the system. The new method is simple, straightforward, practical, and provides a powerful tool for multi-rigid-flexible-body system dynamics.
基金supported by the National Natural Science Foundation of China (Nos:61074027 and 61273083)
文摘For flight control systems with time-varying delay, an H∞ output tracking controller is proposed. The controller is designed for the discrete-time state-space model of general aircraft to reduce the effects of uncertainties of the mathematical model, external disturbances, and bounded time-varying delay. It is assumed that the feedback-control loop is closed by the communication network, and the network-based control architecture induces time-delays in the feedback information. Suppose that the time delay has both an upper bound and a lower bound. By using the Lyapu- nov-Krasovskii function and the linear matrix inequality （LMI）, the delay-dependent stability criterion is derived for the time-delay system. Based on the criterion, a state-feedback H∞ output tracking controller for systems with norm-bounded uncertainties and time-varying delay is presented. The control scheme is applied to the high incidence research model （HIRM）, which shows the effectiveness of the proposed approach.
