Source author record

Jisheng Zhao

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

2 published item(s)

preprint2020arXiv

Phase dynamics of effective drag and lift in vortex-induced vibration at low mass-damping

In this work, we investigate the dynamics of vortex-induced vibration of an elastically mounted cylinder with very low values of mass and damping. We use two methods to investigate this canonical problem: first we calculate the instantaneous phase between the cylinder motion and the fluid forcing; second we decompose the total hydrodynamic force into drag and lift components that act along and normal to, respectively, the instantaneous effective angle of attack. We focus on the phase dynamics in the large-amplitude-response range, consisting of the initial, upper and lower branches of response. The instantaneous phase between the transverse force and displacement shows repeated phase slips separating periods of constant, or continuous-drifting, phase in the second half of the upper branch. The phase between the lift component and displacement shows strong phase locking throughout the large-amplitude range - the average phase varies linearly with the primary frequency - however the modulation of this phase is largest in the second half of the upper branch. These observations suggest that the large-amplitude-response dynamics is driven by two distinct limit cycles - one that is stable over a very small range of reduced velocity at the beginning of the upper branch, and another that consists of the lower branch. The chaotic oscillation between them - the majority of the upper branch - occurs when neither limit cycle is stable. The transition between the upper and lower branches is marked by intermittent switching with epochs of time where different states exist at a constant reduced velocity. These different states are clearly apparent in the phase between the lift and displacement, illustrating the utility of the force decomposition employed.

preprint2015arXiv

Finding Tizen security bugs through whole-system static analysis

Tizen is a new Linux-based open source platform for consumer devices including smartphones, televisions, vehicles, and wearables. While Tizen provides kernel-level mandatory policy enforcement, it has a large collection of libraries, implemented in a mix of C and C++, which make their own security checks. In this research, we describe the design and engineering of a static analysis engine which drives a full information flow analysis for apps and a control flow analysis for the full library stack. We implemented these static analyses as extensions to LLVM, requiring us to improve LLVM's native analysis features to get greater precision and scalability, including knotty issues like the coexistence of C++ inheritance with C function pointer use. With our tools, we found several unexpected behaviors in the Tizen system, including paths through the system libraries that did not have inline security checks. We show how our tools can help the Tizen app store to verify important app properties as well as helping the Tizen development process avoid the accidental introduction of subtle vulnerabilities.