Showing 1–20 of 20 results for author: Zhao, N

Stochastic Multi-objective Multi-trip AMR Routing Problem with Time Windows

Authors: Lulu Cheng, Ning Zhao

Abstract: In recent years, with the rapidly aging population, alleviating the pressure on medical staff has become a critical issue. To improve the work efficiency of medical staff and reduce the risk of infection, we consider the multi-trip autonomous mobile robot (AMR) routing problem with the stochastic environment to find the solution to minimizing the total expected operating cost and maximizing the to… ▽ More In recent years, with the rapidly aging population, alleviating the pressure on medical staff has become a critical issue. To improve the work efficiency of medical staff and reduce the risk of infection, we consider the multi-trip autonomous mobile robot (AMR) routing problem with the stochastic environment to find the solution to minimizing the total expected operating cost and maximizing the total service quality of patients so that each route violates the vehicle capacity and the time window with only a very small probability. The travel time of AMRs is stochastic affected by the surrounding environment, the demand for each ward is unknown until the AMR reaches the ward, and the service time is linearly related to the actual demand. We develop a population-based tabu search algorithm (PTS) that combines the genetic algorithm with the tabu search algorithm to solve the problem. Extensive numerical experiments were conducted on the modified Solomon instances to show that the PTS algorithm the efficient and reveals the impacts of the confidence level on the optimal solution, providing insights for the decision-maker to devise delivery schemes that trade-off the operating cost for patient satisfaction. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Order picking efficiency: A scattered storage and clustered allocation strategy in automated drug dispensing systems

Authors: Mengge Yuan, Ning Zhao, Kan Wu, Lulu Cheng

Abstract: In the smart hospital, optimizing prescription order fulfilment processes in outpatient pharmacies is crucial. A promising device, automated drug dispensing systems (ADDSs), has emerged to streamline these processes. These systems involve human order pickers who are assisted by ADDSs. The ADDS's robotic arm transports bins from storage locations to the input/output (I/O) points, while the pharmaci… ▽ More In the smart hospital, optimizing prescription order fulfilment processes in outpatient pharmacies is crucial. A promising device, automated drug dispensing systems (ADDSs), has emerged to streamline these processes. These systems involve human order pickers who are assisted by ADDSs. The ADDS's robotic arm transports bins from storage locations to the input/output (I/O) points, while the pharmacist sorts the requested drugs from the bins at the I/O points. This paper focuses on coordinating the ADDS and the pharmacists to optimize the order-picking strategy. Another critical aspect of order-picking systems is the storage location assignment problem (SLAP), which determines the allocation of drugs to storage locations. In this study, we consider the ADDS as a smart warehouse and propose a two-stage scattered storage and clustered allocation (SSCA) strategy to optimize the SLAP for ADDSs. The first stage primarily adopts a scattered storage approach, and we develop a mathematical programming model to group drugs accordingly. In the second stage, we introduce a sequential alternating (SA) heuristic algorithm that takes into account the drug demand frequency and the correlation between drugs to cluster and locate them effectively. To evaluate the proposed SSCA strategy, we develop a double objective integer programming model for the order-picking problem in ADDSs to minimize the number of machines visited in prescription orders while maintaining the shortest average picking time of orders. The numerical results demonstrate that the proposed strategy can optimize the SLAP in ADDSs and improve significantly the order-picking efficiency of ADDSs in a human-robot cooperation environment. △ Less

Submitted 18 December, 2023; originally announced February 2024.

Geometric topics related to Besov type spaces on the Grushin setting

Authors: Nan Zhao, Zhiyong Wang, Pengtao Li, Yu Liu

Abstract: The Grushin spaces, as one of the most important models in the Carnot-Carathéodory space, are a class of locally compact and geodesic metric spaces which admit a dilation. Function spaces on Grushin spaces and some related geometric problems are always the research hotspots in this field. Firstly, we investigate two classes of Besov type spaces based on the Grushin semigroup and the fractional Gru… ▽ More The Grushin spaces, as one of the most important models in the Carnot-Carathéodory space, are a class of locally compact and geodesic metric spaces which admit a dilation. Function spaces on Grushin spaces and some related geometric problems are always the research hotspots in this field. Firstly, we investigate two classes of Besov type spaces based on the Grushin semigroup and the fractional Grushin semigroup, respectively, and prove some important properties of these two Besov type spaces. Moreover, we also reveal the relationship between them. Secondly, we establish the isoperimetric inequality for the fractional perimeter, which is defined by the Grushin-Laplace operator on Grushin spaces. Finally, we combine the semigroup theory with a nonlocal calculus for the Grushin-Laplace operator to obtain the Sobolev type inequality. As a corollary, we also obtain the embedding theorem for Besov type spaces. △ Less

Submitted 7 January, 2024; originally announced January 2024.

A Quick Response Algorithm for Dynamic Autonomous Mobile Robot Routing Problem with Time Windows

Authors: Lulu Cheng, Ning Zhao, Mengge Yuan, Kan Wu

Abstract: This paper investigates the optimization problem of scheduling autonomous mobile robots (AMRs) in hospital settings, considering dynamic requests with different priorities. The primary objective is to minimize the daily service cost by dynamically planning routes for the limited number of available AMRs. The total cost consists of AMR's purchase cost, transportation cost, delay penalty cost, and l… ▽ More This paper investigates the optimization problem of scheduling autonomous mobile robots (AMRs) in hospital settings, considering dynamic requests with different priorities. The primary objective is to minimize the daily service cost by dynamically planning routes for the limited number of available AMRs. The total cost consists of AMR's purchase cost, transportation cost, delay penalty cost, and loss of denial of service. To address this problem, we have established a two-stage mathematical programming model. In the first stage, a tabu search algorithm is employed to plan prior routes for all known medical requests. The second stage involves planning for real-time received dynamic requests using the efficient insertion algorithm with decision rules, which enables quick response based on the time window and demand constraints of the dynamic requests. One of the main contributions of this study is to make resource allocation decisions based on the present number of service AMRs for dynamic requests with different priorities. Computational experiments using Lackner instances demonstrate the efficient insertion algorithm with decision rules is very fast and robust in solving the dynamic AMR routing problem with time windows and request priority. Additionally, we provide managerial insights concerning the AMR's safety stock settings, which can aid in decision-making processes. △ Less

Submitted 26 November, 2023; originally announced November 2023.

On the energy method for the global solutions to the three dimensional incompressible non-resistive MHD near equilibrium

Authors: Yuan Cai, Bin Han, Na Zhao

Abstract: We prove the global existence of the smooth solutions near equilibrium to the Cauchy problem of the incompressible non-resistive magnetohydrodynamic equations in the whole three dimensional space under some admissible condition. The result has been obtained by Xu and Zhang (SIAM J. Math. Anal. 47: 26--65, 2015) in anisotropic Besov space framework. In this paper, we provide a new proof based on th… ▽ More We prove the global existence of the smooth solutions near equilibrium to the Cauchy problem of the incompressible non-resistive magnetohydrodynamic equations in the whole three dimensional space under some admissible condition. The result has been obtained by Xu and Zhang (SIAM J. Math. Anal. 47: 26--65, 2015) in anisotropic Besov space framework. In this paper, we provide a new proof based on the temporal weighted energy method. △ Less

Submitted 15 October, 2023; originally announced October 2023.

Stochastic scheduling of autonomous mobile robots at hospitals

Authors: Lulu Cheng, Ning Zhao, Mengge Yuan, Kan Wu

Abstract: This paper studies the scheduling of autonomous mobile robots (AMRs) at hospitals where the stochastic travel times and service times of AMRs are affected by the surrounding environment. The routes of AMRs are planned to minimize the daily cost of the hospital (including the AMR fixed cost, penalty cost of violating the time window, and transportation cost). To efficiently generate high-quality so… ▽ More This paper studies the scheduling of autonomous mobile robots (AMRs) at hospitals where the stochastic travel times and service times of AMRs are affected by the surrounding environment. The routes of AMRs are planned to minimize the daily cost of the hospital (including the AMR fixed cost, penalty cost of violating the time window, and transportation cost). To efficiently generate high-quality solutions, some properties are identified and incorporated into an improved tabu search (I-TS) algorithm for problem-solving. Experimental evaluations demonstrate that the I-TS algorithm outperforms existing methods by producing high-quality solutions. Based on the characteristics of healthcare requests and the AMR working environment, scheduling AMRs reasonably can effectively provide medical services, improve the utilization of medical resources, and reduce hospital costs. △ Less

Submitted 23 November, 2023; v1 submitted 30 July, 2023; originally announced September 2023.

The Multi-Trip Autonomous Mobile Robot Scheduling Problem with Time Windows in a Stochastic Environment at Smart Hospitals

Authors: Lulu Cheng, Ning Zhao, Kan Wu, Zhibin Chen

Abstract: Autonomous mobile robots (AMRs) play a crucial role in transportation and service tasks at hospitals, contributing to enhanced efficiency and meeting medical demands. This paper investigates the optimization problem of scheduling strategies for AMRs at smart hospitals, where the service and travel times of AMRs are stochastic. A stochastic mixed-integer programming model is formulated to minimize… ▽ More Autonomous mobile robots (AMRs) play a crucial role in transportation and service tasks at hospitals, contributing to enhanced efficiency and meeting medical demands. This paper investigates the optimization problem of scheduling strategies for AMRs at smart hospitals, where the service and travel times of AMRs are stochastic. A stochastic mixed-integer programming model is formulated to minimize the total cost of the hospital by reducing the number of AMRs and travel distance while satisfying constraints such as AMR battery state of charge, AMR capacity, and time windows for medical requests. To address this objective, some properties of the solutions with time window constraints are identified. The variable neighborhood search (VNS) algorithm is adjusted by incorporating the properties of the AMR scheduling problem to solve the model. Experimental results demonstrate that VNS generates high-quality solutions. Both enhanced efficiency and the meeting of medical demands are achieved through intelligently arranging the driving routes of AMRs for both charging and service requests, resulting in substantial cost reductions for hospitals and enhanced utilization of medical resources. △ Less

Submitted 23 November, 2023; v1 submitted 30 July, 2023; originally announced July 2023.

Finite speed axially symmetric Navier-Stokes flows passing a cone

Authors: Zi** Li, Xinghong Pan, Xin Yang, Chulan Zeng, Qi S. Zhang, Na Zhao

Abstract: Let $D$ be the exterior of a cone inside a ball, with its altitude angle at most $π/6$ in $\mathbb{R}^3$, which touches the $x_3$ axis at the origin. For any initial value $v_0 = v_{0,r}e_{r} + v_{0,θ} e_θ + v_{0,3} e_{3}$ in a $C^2(\overline{D})$ class, which has the usual even-odd-odd symmetry in the $x_3$ variable and has the partial smallness only in the swirl direction:… ▽ More Let $D$ be the exterior of a cone inside a ball, with its altitude angle at most $π/6$ in $\mathbb{R}^3$, which touches the $x_3$ axis at the origin. For any initial value $v_0 = v_{0,r}e_{r} + v_{0,θ} e_θ + v_{0,3} e_{3}$ in a $C^2(\overline{D})$ class, which has the usual even-odd-odd symmetry in the $x_3$ variable and has the partial smallness only in the swirl direction: $ | r v_{0, θ} | \leq \frac{1}{100}$, the axially symmetric Navier-Stokes equations (ASNS) with Navier-Hodge-Lions slip boundary condition has a finite-energy solution that stays bounded for all time. In particular, no finite-time blowup of the fluid velocity occurs. Compared with standard smallness assumptions on the initial velocity, no size restriction is made on the components $v_{0,r}$ and $v_{0,3}$. In a broad sense, this result appears to solve $2/3$ of the regularity problem of ASNS in such domains in the class of solutions with the above symmetry. Equivalently, this result is connected to the general open question which asks that if an absolute smallness of one component of the initial velocity implies the global smoothness, see e.g. page 873 in \cite{CZZ17}. Our result seems to give a positive answer in a special setting. As a byproduct, we also construct an unbounded solution of the forced Navier Stokes equation in a special cusp domain that has finite energy. The forcing term, with the scaling factor of $-1$, is in the standard regularity class. This result confirms the intuition that if the channel of a fluid is very thin, arbitrarily high speed in the classical sense can be attained under a mildly singular force which is physically reasonable in view that Newtonian gravity and Coulomb force have scaling factor $-2$. △ Less

Submitted 13 February, 2023; v1 submitted 18 July, 2022; originally announced July 2022.

Comments: 85 pages. A blow up solution in a special cusp domain, two references and a few sentences added

MSC Class: 35Q30; 76D05

Effect of Choices of Boundary Conditions on the Numerical Efficiency of Direct Solutions of Finite Difference frequency Domain Systems with Perfectly Matched Layers

Authors: Nathan Zhao, Shanhui Fan

Abstract: Direct solvers are a common method for solving finite difference frequency domain (FDFD) systems that arise in numerical solutions of Maxwell's equations. In a direct solver, one factorizes the system matrix. Since the system matrix is typically very sparse, the fill-in of these factors is the single most important computational consideration in terms of time complexity and memory requirements. As… ▽ More Direct solvers are a common method for solving finite difference frequency domain (FDFD) systems that arise in numerical solutions of Maxwell's equations. In a direct solver, one factorizes the system matrix. Since the system matrix is typically very sparse, the fill-in of these factors is the single most important computational consideration in terms of time complexity and memory requirements. As a result, it is of great interest to determine ways in which this fill-in can be systematically reduced. In this paper, we show that in the context of commonly used perfectly matched boundary layer methods, the choice of boundary condition behind the perfectly matched boundary layer can be exploited to reduce fill-in incurred during the factorization, leading to significant gains of up to 40 percent in the efficiency of the factorization procedure. We illustrate our findings by solving linear systems and eigenvalue problems associated with the FDFD method. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Convex Optimization of Speed and Energy Management System for Fuel Cell Hybrid Trains

Authors: Rabee Jibrin, Stuart Hillmansen, Clive Roberts, Ning Zhao, Zhongbei Tian

Abstract: We look into minimizing the hydrogen fuel consumption of hydrogen hybrid trains by optimizing their operation. The powertrain considered is a fuel cell charge-sustaining hybrid. Convex optimization is utilized to compute optimal speed and energy management trajectories. The barrier method is used to solve the optimization problems quickly on the order of tens of seconds for the entire journey. Sim… ▽ More We look into minimizing the hydrogen fuel consumption of hydrogen hybrid trains by optimizing their operation. The powertrain considered is a fuel cell charge-sustaining hybrid. Convex optimization is utilized to compute optimal speed and energy management trajectories. The barrier method is used to solve the optimization problems quickly on the order of tens of seconds for the entire journey. Simulations show a considerable reduction in fuel consumption when both trajectories -- speed and energy management -- are optimized concurrently within a single optimization problem in comparison to being optimized separately in a sequential manner -- optimizing energy management after optimizing speed. It is concluded that the concurrent method greatly benefits from its holistic powertrain knowledge while optimizing all trajectories together within a single optimization problem. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: submitted to IEEE VPPC 2021

Global Calderón--Zygmund theory for parabolic $p$-Laplacian system: the case $1<p\leq \frac{2n}{n+2}$

Authors: Ke Chen, Quoc-Hung Nguyen, Na Zhao

Abstract: The aim of this paper is to establish global Calderón--Zygmund theory to parabolic $p$-Laplacian system: $$ u_t -\operatorname{div}(|\nabla u|^{p-2}\nabla u) = \operatorname{div} (|F|^{p-2}F)~\text{in}~Ω\times (0,T)\subset \mathbb{R}^{n+1}, $$ proving that $$F\in L^q\Rightarrow \nabla u\in L^q,$$ for any $q>\max\{p,\frac{n(2-p)}{2}\}$ and $p>1$. Acerbi and Mingione \cite{Acerbi07} proved this… ▽ More The aim of this paper is to establish global Calderón--Zygmund theory to parabolic $p$-Laplacian system: $$ u_t -\operatorname{div}(|\nabla u|^{p-2}\nabla u) = \operatorname{div} (|F|^{p-2}F)~\text{in}~Ω\times (0,T)\subset \mathbb{R}^{n+1}, $$ proving that $$F\in L^q\Rightarrow \nabla u\in L^q,$$ for any $q>\max\{p,\frac{n(2-p)}{2}\}$ and $p>1$. Acerbi and Mingione \cite{Acerbi07} proved this estimate in the case $p>\frac{2n}{n+2}$. In this article we settle the case $1<p\leq \frac{2n}{n+2}$. We also treat systems with discontinuous coefficients having small BMO (bounded mean oscillation) norm. △ Less

Submitted 13 September, 2021; v1 submitted 6 September, 2021; originally announced September 2021.

Comments: We made a minor correction in the proof of Lemma 2.1

Lowest Degree Decomposition of Complex Networks

Authors: Yong Yu, Ming **g, Na Zhao, Tao Zhou

Abstract: The heterogeneous structure implies that a very few nodes may play the critical role in maintaining structural and functional properties of a large-scale network. Identifying these vital nodes is one of the most important tasks in network science, which allow us to better conduct successful social advertisements, immunize a network against epidemics, discover drug target candidates and essential p… ▽ More The heterogeneous structure implies that a very few nodes may play the critical role in maintaining structural and functional properties of a large-scale network. Identifying these vital nodes is one of the most important tasks in network science, which allow us to better conduct successful social advertisements, immunize a network against epidemics, discover drug target candidates and essential proteins, and prevent cascading breakdowns in power grids, financial markets and ecological systems. Inspired by the nested nature of real networks, we propose a decomposition method where at each step the nodes with the lowest degree are pruned. We have strictly proved that this so-called lowest degree decomposition (LDD) is a subdivision of the famous k-core decomposition. Extensive numerical analyses on epidemic spreading, synchronization and nonlinear mutualistic dynamics show that the LDD can more accurately find out the most influential spreaders, the most efficient controllers and the most vulnerable species than k-core decomposition and other well-known indices. The present method only makes use of local topological information, and thus has high potential to become a powerful tool for network analysis. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Comments: 12 pages, 2 figures, 4 tables

Second-Order Convergence of Asynchronous Parallel Stochastic Gradient Descent: When Is the Linear Speedup Achieved?

Authors: Lifu Wang, Bo Shen, Ning Zhao

Abstract: In machine learning, asynchronous parallel stochastic gradient descent (APSGD) is broadly used to speed up the training process through multi-workers. Meanwhile, the time delay of stale gradients in asynchronous algorithms is generally proportional to the total number of workers, which brings additional deviation from the accurate gradient due to using delayed gradients. This may have a negative i… ▽ More In machine learning, asynchronous parallel stochastic gradient descent (APSGD) is broadly used to speed up the training process through multi-workers. Meanwhile, the time delay of stale gradients in asynchronous algorithms is generally proportional to the total number of workers, which brings additional deviation from the accurate gradient due to using delayed gradients. This may have a negative influence on the convergence of the algorithm. One may ask: How many workers can we use at most to achieve a good convergence and the linear speedup? In this paper, we consider the second-order convergence of asynchronous algorithms in non-convex optimization. We investigate the behaviors of APSGD with consistent read near strictly saddle points and provide a theoretical guarantee that if the total number of workers is bounded by $\widetilde{O}(K^{1/3}M^{-1/3})$ ($K$ is the total steps and $M$ is the mini-batch size), APSGD will converge to good stationary points ($||\nabla f(x)||\leq ε, \nabla^2 f(x)\succeq -\sqrtε\bm{I}, ε^2\leq O(\sqrt{\frac{1}{MK}}) $) and the linear speedup is achieved. Our works give the first theoretical guarantee on the second-order convergence for asynchronous algorithms. The technique we provide can be generalized to analyze other types of asynchronous algorithms to understand the behaviors of asynchronous algorithms in distributed asynchronous parallel training. △ Less

Submitted 7 June, 2020; v1 submitted 14 October, 2019; originally announced October 2019.

Decay and vanishing of some D-solutions of the Navier-Stokes equations

Authors: Bryan Carrillo, Xinghong Pan, Qi S. Zhang, Na Zhao

Abstract: An old problem since Leray \cite{Le:1} asks whether homogeneous D solutions of the 3 dimensional Navier-Stokes equation in $\mathbb{R}^3$ or some noncompact domains are 0. In this paper, we give a positive solution to the problem in two special cases: (1) when the solution is axially symmetric and periodic in the vertical variable; (2) full 3 dimensional slab case $\mathbb{R}^2 \times [0, 1]$ with… ▽ More An old problem since Leray \cite{Le:1} asks whether homogeneous D solutions of the 3 dimensional Navier-Stokes equation in $\mathbb{R}^3$ or some noncompact domains are 0. In this paper, we give a positive solution to the problem in two special cases: (1) when the solution is axially symmetric and periodic in the vertical variable; (2) full 3 dimensional slab case $\mathbb{R}^2 \times [0, 1]$ with Dirichlet boundary condition. Other partial results are also presented. The paper is self contained comparing with the first part \cite{CPZ:1} although the general idea is related. △ Less

Submitted 23 April, 2020; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: revised after referee's suggestions

MSC Class: 35Q30; 76N10

Journal ref: Arch. Ration. Mech. Anal. 237 (2020)

A Liouville type theorem for axially symmetric $D$-solutions to steady Navier-Stokes Equations

Authors: Na Zhao

Abstract: We study axially symmetric $D$-solutions of three dimensional steady Navier-Stokes equations. We prove that if the velocity $u$ decays like $|x'|^{-(\frac{2}{3})^+}$ uniformly for $z$, or the vorticity $ω$ decays like $|x'|^{-(\frac{5}{3})^+}$ uniformly for $z$, then $u$ vanishes. Here $|x'|$ denotes the distance to the axis. We study axially symmetric $D$-solutions of three dimensional steady Navier-Stokes equations. We prove that if the velocity $u$ decays like $|x'|^{-(\frac{2}{3})^+}$ uniformly for $z$, or the vorticity $ω$ decays like $|x'|^{-(\frac{5}{3})^+}$ uniformly for $z$, then $u$ vanishes. Here $|x'|$ denotes the distance to the axis. △ Less

Submitted 24 August, 2018; v1 submitted 10 May, 2018; originally announced May 2018.

Comments: 15 pages, proof of Theorem 1.1 is updated

Sharp one component regularity for Navier-Stokes

Authors: Bin Han, Zhen Lei, Dong Li, Na Zhao

Abstract: We consider the conditional regularity of mild solution $v$ to the incompressible Navier-Stokes equations in three dimensions. Let $e \in \mathbb{S}^2$ and $0 < T^\ast < \infty$. J. Chemin and P. Zhang \cite{CP} proved the regularity of $v$ on $(0,T^\ast]$ if there exists $p \in (4, 6)$ such that $$\int_0^{T^\ast}\|v\cdot e\|^p_{\dot{H}^{\frac{1}{2}+\frac{2}{p}}}dt < \infty.$$ J. Chemin, P. Zhang… ▽ More We consider the conditional regularity of mild solution $v$ to the incompressible Navier-Stokes equations in three dimensions. Let $e \in \mathbb{S}^2$ and $0 < T^\ast < \infty$. J. Chemin and P. Zhang \cite{CP} proved the regularity of $v$ on $(0,T^\ast]$ if there exists $p \in (4, 6)$ such that $$\int_0^{T^\ast}\|v\cdot e\|^p_{\dot{H}^{\frac{1}{2}+\frac{2}{p}}}dt < \infty.$$ J. Chemin, P. Zhang and Z. F. Zhang \cite{CPZ} extended the range of $p$ to $(4, \infty)$. In this article we settle the case $p \in [2, 4]$. Our proof also works for the case $p \in (4,\infty)$. △ Less

Submitted 14 August, 2017; originally announced August 2017.

Representation of asymptotic values for nonexpansive stochastic control systems

Authors: Juan Li, Nana Zhao

Abstract: In ergodic stochastic problems the limit of the value function $V_λ$ of the associated discounted cost functional with infinite time horizon is studied, when the discounted factor $λ$ tends to zero. These problems have been well studied in the literature and the used assumptions guarantee that the value function $λV_λ$ converges uniformly to a constant as $λ\to 0$. The objective of this work consi… ▽ More In ergodic stochastic problems the limit of the value function $V_λ$ of the associated discounted cost functional with infinite time horizon is studied, when the discounted factor $λ$ tends to zero. These problems have been well studied in the literature and the used assumptions guarantee that the value function $λV_λ$ converges uniformly to a constant as $λ\to 0$. The objective of this work consists in studying these problems under assumptions, namely, the nonexpansivity assumption, under which the limit function is not necessarily constant. Our discussion goes beyond the case of the stochastic control problem with infinite time horizon and discusses also $V_λ$ given by a Hamilton-Jacobi-Bellman equation of second order which is not necessarily associated with a stochastic control problem. On the other hand, the stochastic control case generalizes considerably earlier works by considering cost functionals defined through a backward stochastic differential equation with infinite time horizon and we give an explicit representation formula for the limit of $λV_λ$, as $λ\to 0$. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Long-term Blood Pressure Prediction with Deep Recurrent Neural Networks

Authors: Peng Su, Xiao-Rong Ding, Yuan-Ting Zhang, **g Liu, Fen Miao, Ni Zhao

Abstract: Existing methods for arterial blood pressure (BP) estimation directly map the input physiological signals to output BP values without explicitly modeling the underlying temporal dependencies in BP dynamics. As a result, these models suffer from accuracy decay over a long time and thus require frequent calibration. In this work, we address this issue by formulating BP estimation as a sequence predi… ▽ More Existing methods for arterial blood pressure (BP) estimation directly map the input physiological signals to output BP values without explicitly modeling the underlying temporal dependencies in BP dynamics. As a result, these models suffer from accuracy decay over a long time and thus require frequent calibration. In this work, we address this issue by formulating BP estimation as a sequence prediction problem in which both the input and target are temporal sequences. We propose a novel deep recurrent neural network (RNN) consisting of multilayered Long Short-Term Memory (LSTM) networks, which are incorporated with (1) a bidirectional structure to access larger-scale context information of input sequence, and (2) residual connections to allow gradients in deep RNN to propagate more effectively. The proposed deep RNN model was tested on a static BP dataset, and it achieved root mean square error (RMSE) of 3.90 and 2.66 mmHg for systolic BP (SBP) and diastolic BP (DBP) prediction respectively, surpassing the accuracy of traditional BP prediction models. On a multi-day BP dataset, the deep RNN achieved RMSE of 3.84, 5.25, 5.80 and 5.81 mmHg for the 1st day, 2nd day, 4th day and 6th month after the 1st day SBP prediction, and 1.80, 4.78, 5.0, 5.21 mmHg for corresponding DBP prediction, respectively, which outperforms all previous models with notable improvement. The experimental results suggest that modeling the temporal dependencies in BP dynamics significantly improves the long-term BP prediction accuracy. △ Less

Submitted 14 January, 2018; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: To appear in IEEE BHI 2018

Improved Liouville theorems for axially symmetric Navier-Stokes equations

Authors: Zhen Lei, Qi S Zhang, Na Zhao

Abstract: In this paper, we consider the Liouville property for ancient solutions of the incompressible Navier-Stokes equations. In 2D and the 3D axially symmetric case without swirl, we prove sharp Liouville theorems for smooth ancient mild solutions: velocity fields $v$ are constants if vorticity fields satisfy certain condition and $v$ are sublinear with respect to spatial variables, and we also give cou… ▽ More In this paper, we consider the Liouville property for ancient solutions of the incompressible Navier-Stokes equations. In 2D and the 3D axially symmetric case without swirl, we prove sharp Liouville theorems for smooth ancient mild solutions: velocity fields $v$ are constants if vorticity fields satisfy certain condition and $v$ are sublinear with respect to spatial variables, and we also give counterexamples when $v$ are linear with respect to spatial variables. The condition which vorticity fields need to satisfy is $\lim\limits_{|x|\rightarrow +\infty}|w(x,t)|=0$ and $\lim\limits_{r\rightarrow +\infty}\frac{|w|}{\sqrt{x_1^2+x_2^2}}=0$ uniformly for all $t\in(-\infty,0)$ in 2D and 3D axially symmetric case without swirl, respectively. In the case when solutions are axially symmetric with nontrivial swirl, we prove that if $Γ=rv_θ\in L^\infty_tL^p_x(\mathbb{R}^3\times(-\infty,0))$ where $1\leq p<\infty$, then bounded ancient mild solutions are constants. △ Less

Submitted 3 January, 2017; originally announced January 2017.

Comments: 22 pages

MSC Class: 35Q30

Journal ref: This is the English translation of the paper in Science China Mathematics, Vol. 47, no. 10, 2017, a special issue dedicated to Professor Li Ta-Tsien, for his 80th birthday

Analysis and Approximation of Dual Tandem Queues with Finite Buffer Capacity

Authors: Kan Wu, Ning Zhao

Abstract: Tandem queues with finite buffer capacity commonly exist in practical applications. By viewing a tandem queue as an integrated system, an innovative approach has been developed to analyze its performance through the insight from reduction method. In our approach, the starvation at the bottleneck caused by service time randomness is modeled and captured by interruptions. Fundamental properties of t… ▽ More Tandem queues with finite buffer capacity commonly exist in practical applications. By viewing a tandem queue as an integrated system, an innovative approach has been developed to analyze its performance through the insight from reduction method. In our approach, the starvation at the bottleneck caused by service time randomness is modeled and captured by interruptions. Fundamental properties of tandem queues with finite buffer capacity are examined. We show that in general system service rate of a dual tandem queue with finite buffer capacity is equal or smaller than its bottleneck service rate, and virtual interruptions, which are the extra idle period at the bottleneck caused by the non-bottlenecks, depend on arrival rates. Hence, system service rate is a function of arrival rate when the buffer capacity of a tandem queue is finite. Approximation for the mean queue time of a dual tandem queue has been developed through the concept of virtual interruptions. △ Less

Submitted 31 May, 2016; v1 submitted 10 July, 2014; originally announced July 2014.

Comments: Proposition 4 and Corollary 5 are wrong. The proofs have obvious defects