BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Dandan Ji

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

ResearcherUnclaimed source record
physics.flu-dynmath.DGgr-qcmath.APSoftware Engineering

Catalog footprint

What is connected

8works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

8 published item(s)

preprint2022arXiv

Morest: Model-based RESTful API Testing with Execution Feedback

RESTful APIs are arguably the most popular endpoints for accessing Web services. Blackbox testing is one of the emerging techniques for ensuring the reliability of RESTful APIs. The major challenge in testing RESTful APIs is the need for correct sequences of API operation calls for in-depth testing. To build meaningful operation call sequences, researchers have proposed techniques to learn and utilize the API dependencies based on OpenAPI specifications. However, these techniques either lack the overall awareness of how all the APIs are connected or the flexibility of adaptively fixing the learned knowledge. In this paper, we propose Morest, a model-based RESTful API testing technique that builds and maintains a dynamically updating RESTful-service Property Graph (RPG) to model the behaviors of RESTful-services and guide the call sequence generation. We empirically evaluated Morest and the results demonstrate that Morest can successfully request an average of 152.66%-232.45% more API operations, cover 26.16%-103.24% more lines of code, and detect 40.64%-215.94% more bugs than state-of-the-art techniques. In total, we applied Morest to 6 real-world projects and found 44 bugs (13 of them cannot be detected by existing approaches). Specifically, 2 of the confirmed bugs are from Bitbucket, a famous code management service with more than 6 million users.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Effects of tilt on the orientation dynamics of the large-scale circulation in turbulent Rayleigh-B{é}nard convection

We experimentally test the effects of tilting a turbulent Rayleigh-B{é}nard convection cell on the dynamics of the large-scale circulation (LSC) orientation $θ_0$. The probability distribution of $θ_0$ is measured, and used to obtain a tilt-induced potential acting on $θ_0$, which is used in a low-dimensional model of diffusion of $θ_0$ in a potential. The form of the potential is sinusoidal in $θ_0$, and linear in tilt angle for small tilt angles, which is explained by a simple geometric model of the vector direction of the mean buoyancy force acting on the LSC. However, the magnitude of the tilt-induced forcing is found to be two orders of magnitude larger than previously predicted. When this parameter is adjusted to match values obtained from the probability distribution of $θ_0$, the diffusive model can quantitatively predict effects of tilt on $θ_0$. In particular, tilt causes a change in potential barrier height between neighboring corners of a cubic cell, and changes in the barrier-crossing rate for $θ_0$ to escape a corner are predicted with an accuracy of $\pm30\%$. As a cylindrical cell is tilted, the tilt-induced potential provides a restoring force which induces oscillations when it exceeds the strength of damping; this critical tilt angle is predicted within 20\%, and the prediction is consistent with measured oscillation frequencies. These observations show that a self-consistent low-dimensional model can be extended to include the dynamics of $θ_0$ due to tilt. However, the underprediction of the effect of tilt on $θ_0$ warrants revisiting the predicted magnitude.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Low-dimensional model of the large-scale circulation of turbulent Rayleigh-B{é}nard convection in a cubic container

We test the ability of a low-dimensional turbulence model to predict how dynamics of large-scale coherent structures such as convection rolls change in different cell geometries. We performed Rayleigh-Bénard convection experiments in a cubic container, in which there is a single convection roll known as the large-scale circulation (LSC). The model describes the motion of the orientation $θ_0$ of the LSC as diffusion in a potential which is predicted as a function of the shape of the cell from an approximate solutions of the Navier-Stokes equations. The model predicts advected oscillation modes, driven by a restoring force created by the non-circular cell cross-section. We observe the predicted lowest-wavenumber mode in which the LSC orientation $θ_0$ oscillates around a corner, and a slosh angle $α$ rocks back and forth, which is distinct from the higher-wavenumber advected twisting and sloshing oscillations found in cylindrical cells. The potential has quadratic minima near each corner with the same curvature in both the LSC orientation $θ_0$ and slosh angle $α$, as predicted. The new oscillation mode around corners is found above a critical Ra $=4\times10^8$, which appears in the model as a crossing of an underdamped-overdamped transition. The natural frequency of the potential, oscillation period, power spectrum, and critical Ra for oscillations are all within a factor of 3 of model predictions for the Rayleigh number range $8\times10^7 \le Ra \le 3\times 10^9$. However, these uncertainties in model parameters are too large to correctly predict whether the system is in the underdamped or overdamped state at a given Ra. The success of the model at predicting the potential and flow modes for a cubic cell suggests that such a modeling approach could be applied more generally to different cell geometries that support a single convection roll.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Oscillation in the temperature profile of the large-scale circulation of turbulent convection induced by a cubic container

We present observations of oscillations in the shape of the temperature profile of the large-scale circulation (LSC) of turbulent Rayleigh-B{é}nard convection. Temperature measurements are broken down into Fourier moments as a function of $θ-θ_0$, where $θ$ is the azimuthal angle in a horizontal plane at mid-height, and $θ_0$ is the LSC orientation. The oscillation structure is dominated by a 3rd order sine moment and 3rd order cosine moment in a cubic cell. In contrast, these moments are not found to oscillate in a cylindrical cell. This geometry-dependent behavior can be explained by a model that assumes that the heat transported by the LSC is conducted from the thermal boundary layers, and is proportional to pathlength of the LSC along boundary layers at the top and bottom plates. In a non-circular cross-section cell, oscillations of the LSC orientation $θ_0$ result in an oscillation in the container shape in the reference frame of the LSC, resulting in an oscillation in the pathlength of the LSC at a given $θ-θ_0$. In a square-cross-section cell, this model predicts the dominant 3rd order sine moment and 3rd order cosine moment with magnitudes within 50\% of measured values, when using the amplitude of the oscillation of $θ_0$ as input. A cylindrical cell is special in that the pathlength is independent of $θ_0$, and so these oscillating moments are not induced. In a cylindrical cell, the model reproduces the sinusoidal mean temperature profile with a sloshing oscillation dominated by the 2nd order sine moment, consistent with previous observations in that geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Exhaustion of isoperimetric regions in asymptotically hyperbolic manifolds with scalar curvature $R\geq -6$

In this paper, aimed at exploring the fundamental properties of isoperimetric region in $3$-manifold $(M^3,g)$ which is asymptotic to Anti-de Sitter-Schwarzschild manifold with scalar curvature $R\geq -6$, we prove that connected isoperimetric region $\{D_i\}$ with $\mathcal{H}_g ^3(D_i)\geq δ_0>0$ cannot slide off to the infinity of $(M^3,g)$ provided that $(M^3,g)$ is not isometric to the hyperbolic space. Furthermore, we prove that isoperimetric region $\{D_i\}$ with topological sphere $\{\partial D_i\}$ as boundary is exhausting regions of $M$ if Hawking mass $m_H(\partial D_i)$ has uniform bound. In the case of exhausting isoperimetric region, we obtain a formula on expansion of isoperimetric profile in terms of renormalized volume.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A low-dimensional model predicting geometry-dependent dynamics of large-scale coherent structures in turbulence

We test the ability of a general low-dimensional model for turbulence to predict geometry-dependent dynamics of large-scale coherent structures, such as convection rolls. The model consists of stochastic ordinary differential equations, which are derived as a function of boundary geometry from the Navier-Stokes equations (Brown and Ahlers 2008). We test the model using Rayleigh-Bénard convection experiments in a cubic container. The model predicts a new mode in which the alignment of a convection roll switches between diagonals. We observe this mode with a measured switching rate within 30% of the prediction.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Volume comparison of conformally compact manifolds with scalar curvature $R\geq -n\left(n-1\right)$

In this paper, we use the normalized Ricci-DeTurk flow to prove a stability result for strictly stable conformally compact Einstein manifolds. As an application, we show a local volume comparison of conformally compact manifolds with scalar curvature $R\geq -n\left(n-1\right)$ and also the rigidity result when certain renormalized volume is zero.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the asymptotic behavior of Einstein manifolds with an integral bound on the Weyl curvature

In this paper we consider the geometric behavior near infinity of some Einstein manifolds $(X^n, g)$ with Weyl curvature belonging to a certain $L^p$ space. Namely, we show that if $(X^n, g)$, $n \geq 7$, admits an essential set and has its Weyl curvature in $L^p$ for some $1<p<\frac{n-1}{2}$, then $(X^n, g)$ must be asymptotically locally hyperbolic. One interesting application of this theorem is to show a rigidity result for the hyperbolic space under an integral condition for the curvature.

0 citations0 reviewsNo code linkedOpen access