Source author record

Zhiyu Liu

Zhiyu Liu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Artificial Intelligence Computer Vision eess.SY Formal Languages and Automata Theory Logic in Computer Science math.AG math.CV math.DG physics.ao-ph Robotics Systems and Control

Catalog footprint

What is connected

6works

11topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

A moduli theoretic approach to Lagrangian subvarieties of hyperkähler varieties: Examples

We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperkähler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures in several cases, recovering classical examples. As a corollary, we confirm a conjecture of O'Grady in several instances on the existence of Lagrangian covering families for hyperkähler varieties.

preprint2022arXiv

Efficient textual explanations for complex road and traffic scenarios based on semantic segmentation

The complex driving environment brings great challenges to the visual perception of autonomous vehicles. It's essential to extract clear and explainable information from the complex road and traffic scenarios and offer clues to decision and control. However, the previous scene explanation had been implemented as a separate model. The black box model makes it difficult to interpret the driving environment. It cannot detect comprehensive textual information and requires a high computational load and time consumption. Thus, this study proposed a comprehensive and efficient textual explanation model. From 336k video frames of the driving environment, critical images of complex road and traffic scenarios were selected into a dataset. Through transfer learning, this study established an accurate and efficient segmentation model to obtain the critical traffic elements in the environment. Based on the XGBoost algorithm, a comprehensive model was developed. The model provided textual information about states of traffic elements, the motion of conflict objects, and scenario complexity. The approach was verified on the real-world road. It improved the perception accuracy of critical traffic elements to 78.8%. The time consumption reached 13 minutes for each epoch, which was 11.5 times more efficient than the pre-trained network. The textual information analyzed from the model was also accordant with reality. The findings offer clear and explainable information about the complex driving environment, which lays a foundation for subsequent decision and control. It can improve the visual perception ability and enrich the prior knowledge and judgments of complex traffic situations.

preprint2020arXiv

A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots

We propose a new graph-based spatial temporal logic for knowledge representation and automated reasoning in this paper. The proposed logic achieves a balance between expressiveness and tractability in applications such as cognitive robots. The satisfiability of the proposed logic is decidable. We apply a Hilbert style axiomatization for the proposed graph-based spatial temporal logic, in which Modus ponens and IRR are the inference rules. We show that the corresponding deduction system is sound and complete and can be implemented through SAT.

preprint2020arXiv

Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic

We aim to enable an autonomous robot to learn new skills from demo videos and use these newly learned skills to accomplish non-trivial high-level tasks. The goal of developing such autonomous robot involves knowledge representation, specification mining, and automated task planning. For knowledge representation, we use a graph-based spatial temporal logic (GSTL) to capture spatial and temporal information of related skills demonstrated by demo videos. We design a specification mining algorithm to generate a set of parametric GSTL formulas from demo videos by inductively constructing spatial terms and temporal formulas. The resulting parametric GSTL formulas from specification mining serve as a domain theory, which is used in automated task planning for autonomous robots. We propose an automatic task planning based on GSTL where a proposer is used to generate ordered actions, and a verifier is used to generate executable task plans. A table setting example is used throughout the paper to illustrate the main ideas.

preprint2015arXiv

On instability and mixing on the UK Continental Shelf

The stability of stratified flows at locations in the Clyde, Irish and Celtic Seas on the UK Continental Shelf is examined. Flows are averaged over periods of 12-30 min in each hour, corresponding to the times taken to obtain reliable estimates of the rate of dissipation of turbulent kinetic energy per unit mass, $\varepsilon$. The Taylor-Goldstein equation is solved to find the maximum growth rate of small disturbances to these averaged flows, and the critical gradient Richardson number, $\textrm{Ri}_\textrm{c}$. The proportion of unstable periods where the minimum gradient Richardson number, $\textrm{Ri}_{\textrm{min}}$, is less than $\textrm{Ri}_\textrm{c}$ is about 35%. Cases are found in which $\textrm{Ri}_\textrm{c} <$ 0.25; 37% of the flows with $\textrm{Ri}_{\textrm{min}}<$ 0.25 are stable, and $\textrm{Ri}_\textrm{c}<$ 0.24 in 68% of the periods where $\textrm{Ri}_{\textrm{min}}<$ 0.25. Marginal conditions with 0.8 $<$ Ri$_{\textrm{min}}$$/$Ri$_\textrm{c}$ $<$ 1.2 occur in 30% of the periods examined. The mean dissipation rate at the level where the fastest growing disturbance has its maximum amplitude is examined to assess whether the turbulence there is isotropic and how it relates to the Wave-Turbulence boundary. It is concluded that there is a background level of dissipation that is augmented by instability; instability of the averaged flow does not account for all the turbulence observed in mid-water. The effects of a horizontal separation of the measurements of shear and buoyancy are considered. The available data do not support the hypothesis that the turbulent flows observed on the UK shelf adjust rapidly to conditions that are close to being marginal, or that flows in a particular location and period of time in one sea have stability characteristics that are very similar to those in another.

preprint2014arXiv

Global geometry and topology of spacelike stationary surfaces in the 4-dimensional Lorentz space

For spacelike stationary (i.e. zero mean curvature) surfaces in 4-dimensional Lorentz space one can naturally introduce two Gauss maps and Weierstrass representation. In this paper we investigate their global geometry systematically. The total Gaussian curvature is related with the surface topology as well as the indices of the so-called good singular ends by a generalized Jorge-Meeks formula. On the other hand, as shown by a family of counter-examples to Osserman's theorem, finite total curvature no longer implies that Gauss maps extend to the ends. Interesting examples include the generalization of the classical catenoids, helicoids, the Enneper surface, and Jorge-Meeks' k-noids. Any of them could be embedded in the 4-dimensional Lorentz space, showing a sharp contrast with the case of 3-dimensional Euclidean space.