arXiv subjects

Jingyue Li

Publications and source records attributed to Jingyue Li.

23 records · Page 2Linked to original sources

arXiv2021

Consensus in Blockchain Systems with Low Network Throughput: A Systematic Mapping Study

Blockchain technologies originate from cryptocurrencies. Thus, most blockchain technologies assume an environment with a fast and stable network. However, in some blockchain-based systems, e.g., supply chain management (SCM) systems, some Internet of Things (IOT) nodes can only rely on the low-quality network sometimes to achieve consensus. Thus, it is critical to understand the applicability of existing consensus algorithms in such environments. We performed a systematic mapping study to evaluate and compare existing consensus mechanisms' capability to provide integrity and security with varying network properties. Our study identified 25 state-of-the-art consensus algorithms from published and preprint literature. We categorized and compared the consensus algorithms qualitatively based on established performance and integrity metrics and well-known blockchain security issues. Results show that consensus algorithms rely on the synchronous network for correctness cannot provide the expected integrity. Such consensus algorithms may also be vulnerable to distributed-denial-of-service (DDOS) and routing attacks, given limited network throughput. Conversely, asynchronous consensus algorithms, e.g., Honey-BadgerBFT, are deemed more robust against many of these attacks and may provide high integrity in asynchrony events.

cs.PF↗

arXiv2020

Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs). Testing and Verification (T&V) of NN-based control software in safety-critical domains are gaining interest and attention from both software engineering and safety engineering researchers and practitioners. Objective: With the increase in studies on the T&V of NN-based control software in safety-critical domains, it is important to systematically review the state-of-the-art T&V methodologies, to classify approaches and tools that are invented, and to identify challenges and gaps for future studies. Method: We retrieved 950 papers on the T&V of NN-based Safety-Critical Control Software (SCCS). To reach our result, we filtered 83 primary papers published between 2001 and 2018, applied the thematic analysis approach for analyzing the data extracted from the selected papers, presented the classification of approaches, and identified challenges. Conclusion: The approaches were categorized into five high-order themes: assuring robustness of NNs, assuring safety properties of NN-based control software, improving the failure resilience of NNs, measuring and ensuring test completeness, and improving the interpretability of NNs. From the industry perspective, improving the interpretability of NNs is a crucial need in safety-critical applications. We also investigated nine safety integrity properties within four major safety lifecycle phases to investigate the achievement level of T&V goals in IEC 61508-3. Results show that correctness, completeness, freedom from intrinsic faults, and fault tolerance have drawn most attention from the research community. However, little effort has been invested in achieving repeatability; no reviewed study focused on precisely defined testing configuration or on defense against common cause failure.

cs.LG↗

arXiv2020

On the $C_0$ semigroup generated by the Oseen operator around a steady flow exterior to a rotating obstacle

We consider the motion of an incompressible viscous fluid filling the whole space exterior to a moving with rotation and translation obstacle. We show that the Stokes operator around the steady flow in the exterior of this obstacle generates a $C_0$-semigroup in $L^p$ space and then develop a series of $L^p$-$L^q$ estimates of such semigroup. As an application, we give out the stability of such steady flow when the initial disturbance in $L^3$ and the steady flow are sufficiently small.

math.AP↗

arXiv2019

Global existence of uniformly locally energy solutions for the incompressible fractional Navier-Stokes equations

In this paper, we introduce the concept of local Leray solutions starting from a locally square-integrable initial data to the fractional Navier-Stokes equations with $s\in [3/4,1)$. Furthermore, we prove its local in time existence when $s\in (3/4, 1)$. In particular, if the locally square-integrable initial data vanishs at infinity, we show that the fractional Navier-Stokes equations admit a global-in-time local Leray solution when $s\in [5/6, 1)$. For such local Leray solutions starting from locally square-integrable initial data vanishing at infinity, the singularity only occurs in $B_R(0)$ for some $R$.

math.AP↗

arXiv2018

Minimal blow-up initial data in critical Fourier-Herz spaces for potential Navier-Stokes singularities

In this paper, we mainly prove the existence of the minimal blow-up initial data in critical Fourier-Herz space $F\dot{B}^{2-{\frac3p}}_{p,q}(\RR^3)$ with $1<p\leq\infty$ and $1\leq q<\infty$ for the three dimensional incompressible potential Navier-Stokes equations by developing techniques of "localization in space" involving the partial regularity given by the De Giorgi iteration, weak-strong uniqueness, the short-time behaviour of the kinetic energy and stability of singularity of Calderón's solution.

math.AP↗