Source author record

Yiling Yang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Distributed, Parallel, and Cluster Computing nlin.SI Formal Languages and Automata Theory math-ph math.MP Software Engineering

Catalog footprint

Research overview

7works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Long-time asymptotic behavior for the Novikov equation in solitonic regions of space time

In this paper, we study the long time asymptotic behavior for the Cauchy problem of the Novikov equation with $3\times 3$ matrix spectral problem \begin{align} &u_{t}-u_{txx}+4 u_{x}=3uu_xu_{xx}+u^2u_{xxx}, \nonumber &u(x, 0)=u_{0}(x),\nonumber \end{align} where $u_0(x)$ $u_0(x)\rightarrow κ>0, \ x\rightarrow \pm \infty$ and $u_0(x)-κ$ is assumed in the Schwarz space. It is shown that the solution of the Cauchy problem can be characterized via a Riemann-Hilbert problem in a new scale $(y,t)$ with $y=x-\int_{x}^{\infty}\left( (u-u_{xx}+1)^{2/3} -1\right) ds.$ In different space-time solitonic regions of $ξ=y/t\in (-\infty,-1/8)\cup(1,+\infty)$ and $ξ\in(-1/8,1)$ , we apply $\overline\partial$ steepest descent method to obtain the different long time asymptotic expansions of the solution $u(y,t)$ . The corresponding residual error order is $\mathcal{O}(t^{-1+ρ})$ and $\mathcal{O}(t^{-3/4})$ respectively from a $\overline\partial$ -equation. Our result implies that soliton resolution can be characterized with an $N(Λ)$ -soliton whose parameters are modulated by a sum of localized soliton-soliton interactions as one moves through the regions.

preprint2021arXiv

Long time asymptotic behavior for the derivative Schrödinger equation with nonzero boundary conditions

In this paper, we apply $\overline\partial$ steepest descent method to study the Cauchy problem for the derivative nonlinear Schrödinger equation with nonzero boundary conditions \begin{align} &iq_{t}+q_{xx}+iσ(|q|^2q)_{x}=0,\\ & (x,0) = q_0(x), \quad\lim_{x\to\pm\infty} q_0(x) = q_\pm,\end{align} where $|q_\pm|=1$ . Based on the spectral analysis of the Lax pair, we express the solution of the derivative nonlinear Schrödinger equation in terms of solutions of a Riemann-Hilbert problem.In a fixed space-time solitonic region $-3<x/t<-1$ , we compute the long time asymptotic expansion of the solution $q(x,t)$ ,which implies soliton resolution conjecture and can be characterized with an $N(Λ)$ -soliton whose parameters are modulated bya sum of localized soliton-soliton interactions as one moves through the region; the residual error order $\mathcal{O}( t^{-3/4})$ from a $\overline\partial$ equation.

preprint2020arXiv

Soliton Resolution for the Short-pluse Equation

In this paper, we study the Cauchy problem for the focusing nonlinear short-pluse equation by using $\overline\partial$ steepest descent method. \begin{align} &u_{xt}=u+\frac{1}{6}(u^3)_{xx}, \nonumber\\ &u(x,0)=u_0(x)\in H^{1,1}(R),\nonumber \end{align} where $H^{1,1}(R)$ is a weighted Sobolev space. Because the spectral variable z is the same order in the WKI-type Lax pair, we construct the solution of SP equation in the new scale $(y,t)$ , whereas the original scale $(x,t)$ is given in terms of functions in the new scale and the solution of Riemann-Hilbert problem. In any fixed space-time cone of the new scale $(y,t)$ which stratify that $v_1\leq v_1 \in R^-$ and $ξ=\frac{y}{t}<0$ , \begin{equation} C(y_1,y_2,v_1,v_2) = \left\lbrace (y,t) \in R^2|y=y_0+vt, y_0 \in[y_1,y_2]\text{, } v\in[v_1,v_2]\right\rbrace, \nonumber \end{equation} we compute the long time asymptotic expansion of the solution $u(x,t)$ , which prove soliton resolution conjecture consisting of three terms: the leading order term can be characterized with an $N(I)$ -soliton whose parameters are modulated by a sum of localied soliton-soliton interactions as one moves through the cone; the second $t^{-1/2}$ order term coming from soliton-radiation interactions on continuous spectrum up to an residual error order $\mathcal{O}(|t|^{-1})$ from a $\overline\partial$ equation. Our results also show that soliton solutions of short-pluse equation are asymptotically stable.

preprint2019arXiv

Riemann-Hilbert approach to the modified nonlinear Schröinger equation with non-vanishing asymptotic boundary conditions

The modified nonlinear Schrödinger (NLS) equation was proposed to describe the nonlinear propagation of the Alfven waves and the femtosecond optical pulses in a nonlinear single-mode optical fiber. In this paper, the inverse scattering transform for the modified NLS equation with non-vanishing asymptotic boundary at infinity is presented. An appropriate two-sheeted Riemann surface is introduced to map the original spectral parameter $k$ into a single-valued parameter $z$ . The asymptotic behaviors, analyticity and the symmetries of the Jost solutions of Lax pair for the modified NLS equation, as well as the spectral matrix are analyzed in details. Then a matrix Riemann-Hilbert (RH) problem associated with the problem of nonzero asymptotic boundary conditions is established, from which $N$ -soliton solutions is obtained via the corresponding reconstruction formulae. As an illustrate examples of $N$ -soliton formula, two kinds of one-soliton solutions and three kinds of two-soliton solutions are explicitly presented according to different distribution of the spectrum. The dynamical feature of those solutions are characterized in the particular case with a quartet of discrete eigenvalues. It is shown that distribution of the spectrum and non-vanishing boundary also affect feature of soliton solutions. Finally, we analyze the differences between our results and those on zero boundary case.

preprint2015arXiv

Understanding the Timed Distributed Trace of a Partially Synchronous System at Runtime

It has gained broad attention to understand the timed distributed trace of a cyber-physical system at runtime, which is often achieved by verifying properties over the observed trace of system execution. However, this verification is facing severe challenges. First, in realistic settings, the computing entities only have imperfectly synchronized clocks. A proper timing model is essential to the interpretation of the trace of system execution. Second, the specification should be able to express properties with real-time constraints despite the asynchrony, and the semantics should be interpreted over the currently-observed and continuously-growing trace. To address these challenges, we propose PARO - the partially synchronous system observation framework, which i) adopts the partially synchronous model of time, and introduces the lattice and the timed automata theories to model the trace of system execution; ii) adopts a tailored subset of TCTL to specify temporal properties, and defines the 3-valued semantics to interpret the properties over the currently-observed finite trace; iii) constructs the timed automaton corresponding to the trace at runtime, and reduces the satisfaction of the 3-valued semantics over finite traces to that of the classical boolean semantics over infinite traces. PARO is implemented over MIPA - the open-source middleware we developed. Performance measurements show the cost-effectiveness of PARO in different settings of key environmental factors.

preprint2013arXiv

Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments

Pervasive applications are involving more and more autonomous computing and communicating devices, augmented with the abilities of sensing and controlling the logical / physical environment. To enable context-awareness for such applications, we are challenged by the intrinsic asynchrony among the context collecting devices. To this end, we introduce the predicate detection theory and propose the Predicate-Detection-based Context-Awareness (PD-CA) framework, in which: a) logical time is used to explicitly cope with the asynchrony; b) specification of predicates enables the applications to express contextual properties of their concerns; c) online and incremental predicate detection algorithms effectively enable context-awareness at runtime. Under the guidance of the PD-CA framework, we present the design and implementation of the MIPA middleware, which shields the applications from the burden of processing the asynchronous contexts. We also demonstrate how PD-CA simplifies the development of context-aware applications. Experimental evaluations show the performance of MIPA in supporting context-aware applications despite of the asynchrony.

preprint2011arXiv

Design of a Sliding Window over Asynchronous Event Streams

The proliferation of sensing and monitoring applications motivates adoption of the event stream model of computation. Though sliding windows are widely used to facilitate effective event stream processing, it is greatly challenged when the event sources are distributed and asynchronous. To address this challenge, we first show that the snapshots of the asynchronous event streams within the sliding window form a convex distributive lattice (denoted by Lat-Win). Then we propose an algorithm to maintain Lat-Win at runtime. The Lat-Win maintenance algorithm is implemented and evaluated on the open-source context-aware middleware we developed. The evaluation results first show the necessity of adopting sliding windows over asynchronous event streams. Then they show the performance of detecting specified predicates within Lat-Win, even when faced with dynamic changes in the computing environment.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.