Searcharxiv⌕ Search

arXiv subjects

Yu Jiang

Publications and source records attributed to Yu Jiang.

At least 181 records · Page 10Linked to original sources

DLFuzz: Differential Fuzzing Testing of Deep Learning Systems

Deep learning (DL) systems are increasingly applied to safety-critical domains such as autonomous driving cars. It is of significant importance to ensure the reliability and robustness of DL systems. Existing testing methodologies always fail to include rare inputs in the testing dataset and exhibit low neuron coverage. In this paper, we propose DLFuzz, the frst differential fuzzing testing framework to guide DL systems exposing incorrect behaviors. DLFuzz keeps minutely mutating the input to maximize the neuron coverage and the prediction difference between the original input and the mutated input, without manual labeling effort or cross-referencing oracles from other DL systems with the same functionality. We present empirical evaluations on two well-known datasets to demonstrate its efficiency. Compared with DeepXplore, the state-of-the-art DL whitebox testing framework, DLFuzz does not require extra efforts to find similar functional DL systems for cross-referencing check, but could generate 338.59% more adversarial inputs with 89.82% smaller perturbations, averagely obtain 2.86% higher neuron coverage, and save 20.11% time consumption.

cs.SE↗

Pythia v0.1: the Winning Entry to the VQA Challenge 2018

This document describes Pythia v0.1, the winning entry from Facebook AI Research (FAIR)'s A-STAR team to the VQA Challenge 2018. Our starting point is a modular re-implementation of the bottom-up top-down (up-down) model. We demonstrate that by making subtle but important changes to the model architecture and the learning rate schedule, fine-tuning image features, and adding data augmentation, we can significantly improve the performance of the up-down model on VQA v2.0 dataset -- from 65.67% to 70.22%. Furthermore, by using a diverse ensemble of models trained with different features and on different datasets, we are able to significantly improve over the 'standard' way of ensembling (i.e. same model with different random seeds) by 1.31%. Overall, we achieve 72.27% on the test-std split of the VQA v2.0 dataset. Our code in its entirety (training, evaluation, data-augmentation, ensembling) and pre-trained models are publicly available at: https://github.com/facebookresearch/pythia

cs.CV↗

Equilibrium Points and Orbits around Asteroid with the Full Gravitational Potential Caused by the 3D Irregular Shape

We investigate the equilibrium points and orbits around asteroid 1333 Cevenola by considering the full gravitational potential caused by the 3D irregular shape. The gravitational potential and effective potential of asteroid 1333 Cevenola are calculated. The zero velocity curves for a massless particle orbiting in the gravitational environment have been discussed. The linearized dynamic equation, the characteristic equation, and the conserved quantity of the equilibria for the large size ratio binary asteroid system have been derived. It is found that there are totally five equilibrium points close to 1333 Cevenola. The topological cases of the outside equilibrium points have a staggered distribution. The simulation of orbits in the full gravitational potential caused by the 3D irregular shape of 1333 Cevenola shows that the moonlets orbit is more likely to be stable if the orbit inclination is small.

astro-ph.EP↗

Stability and Motion around Equilibrium Points in the Rotating Plane-Symmetric Potential Field

This study presents a study of equilibrium points, periodic orbits, stabilities, and manifolds in a rotating plane symmetric potential field. It has been found that the dynamical behaviour near equilibrium points is completely determined by the structure of the submanifolds and subspaces. The non-degenerate equilibrium points are classified into twelve cases. The necessary and sufficient conditions for linearly stable, non resonant unstable and resonant equilibrium points are established. Furthermore, the results show that a resonant equilibrium point is a Hopf bifurcation point. In addition, if the rotating speed changes, two non degenerate equilibria may collide and annihilate each other. The theory developed here is lastly applied to two particular cases, motions around a rotating, homogeneous cube and the asteroid 1620 Geographos. We found that the mutual annihilation of equilibrium points occurs as the rotating speed increases, and then the first surface shedding begins near the intersection point of the x axis and the surface. The results can be applied to planetary science, including the birth and evolution of the minor bodies in the Solar system, the rotational breakup and surface mass shedding of asteroids, etc.

astro-ph.EP↗

Annihilation of Relative Equilibria in the Gravitational Field of Irregular-shaped Minor Celestial Bodies

The rotational speeds of irregular shaped minor celestial bodies can be changed by the YORP effect. This variation in speed can make the numbers, positions, stabilities, and topological cases of the minor body s relative equilibrium points vary. The numbers of relative equilibrium points can be reduced through the collision and annihilation of relative equilibrium points, or increase through the creation and separation of relative equilibrium points. Here we develop a classification system of multiple annihilation behaviors of the equilibrium points for irregular shaped minor celestial bodies. Most minor bodies have five equilibrium points; there are twice the number of annihilations per equilibrium point when the number of equilibrium points is between one and five. We present the detailed annihilation classifications for equilibria of objects which have five equilibrium points. Additionally, the annihilation classification for the seven equilibria of Kleopatra shaped objects and the nine equilibria of Bennu shaped objects are also discussed. Equilibria of different objects fall into different annihilation classifications. By letting the rotational speeds vary, we studied the annihilations and creations of relative equilibria in the gravitational field of ten minor bodies.

astro-ph.EP↗

Dynamical Model of Binary Asteroid Systems Using Binary Octahedrons

We used binary octahedrons to investigate the dynamical behaviors of binary asteroid systems. The mutual potential of the binary polyhedron method is derived from the fourth order to the sixth order. The irregular shapes, relative orbits, attitude angles, as well as the angular velocities of the binary asteroid system are included in the model. We investigated the relative trajectory of the secondary relative to the primary, the total angular momentum and total energy of the system, the three-axis attitude angular velocity of the binary system, as well as the angular momentum of the two components. The relative errors of total angular momentum and total energy indicate the calculation has a high precision. It is found that the influence of the orbital and attitude motion of the primary from the gravitational force of the secondary is obvious. This study is useful for understanding the complicated dynamical behaviors of the binary asteroid systems discovered in our Solar system.

astro-ph.EP↗

Stable Periodic Orbits for Spacecrafts around Minor Celestial Bodies

We are interested in stable periodic orbits for spacecrafts in the gravitational field of minor celestial bodies. The stable periodic orbits around minor celestial bodies are useful not only for the mission design of the deep space exploration, but also for studying the long-time stability of small satellites in the large-size-ratio binary asteroids. The irregular shapes and gravitational fields of the minor celestial bodies are modeled by the polyhedral model. Using the topological classifications of periodic orbits and the grid search method, the stable periodic orbits can be calculated and the topological cases can be determined. Furthermore, we find five different types of stable periodic orbits around minor celestial bodies: A) Stable periodic orbits generated from the stable equilibrium points outside the minor celestial body, B) Stable periodic orbits continued from the unstable periodic orbits around the unstable equilibrium points, C) Retrograde and nearly circular periodic orbits with zero-inclination around minor celestial bodies, D) Resonance periodic orbits, E) Near-surface inclined periodic orbits. We take asteroid 243 Ida, 433 Eros, 6489 Golevka, 101955 Bennu, and the comet 1P/Halley for examples.

astro-ph.EP↗

Dynamical Environment in the Vicinity of Asteroids with an Application to 41 Daphne

We studied the dynamical environment in the vicinity of the primary of the binary asteroid. The gravitational field of the primary is calculated by the polyhedron model with observational data of the irregular shape. The equilibrium points, zero velocity surfaces, as well as Jacobi integral have been investigated. The results show that the deviations of equilibrium points are large from the principal axes of moment of inertia. We take binary asteroid 41 Daphne and S 2008 41 1 for example. The distribution of topological cases of equilibrium points around 41 Daphne is different from other asteroids. The topological cases of the outer equilibrium points E1 E4 are Case 2, Case 5, Case 2, and Case 1. The topological case of the inner equilibrium point E5 is Case 1. Among the four outer equilibrium points E1 E4, E4 is linearly stable and other outer equilibrium points are unstable. Considering the shape variety of the body from Daphne to a sphere, we calculated the zero velocity surfaces and the locations as well as eigenvalues of equilibrium points. It is found that the topological case of the outer equilibrium point E2 change from Case 5 to Case 1, and its stability change from unstable to linearly stable. Using the gravitational force acceleration calculated by the polyhedron model with the irregular shape, we simulated the orbit for the moonlet in the potential of 41 Daphne.

astro-ph.EP↗

Orbital Stability Close to Asteroid 624 Hektor using the Polyhedral Model

We investigate the orbital stability close to the unique L4-point Jupiter binary Trojan asteroid 624 Hektor. The gravitational potential of 624 Hektor is calculated using the polyhedron model with observational data of 2038 faces and 1021 vertexes. Previous studies have presented three different density values for 624 Hektor. The equilibrium points in the gravitational potential of 624 Hektor with different density values have been studied in detail. There are five equilibrium points in the gravitational potential of 624 Hektor no matter the density value. The positions, Jacobian, eigenvalues, topological cases, stability, as well as the Hessian matrix of the equilibrium points are investigated. For the three different density values the number, topological cases, and the stability of the equilibrium points with different density values are the same. However, the positions of the equilibrium points vary with the density value of the asteroid 624 Hektor. The outer equilibrium points move away from the asteroid s mass center when the density increases, and the inner equilibrium point moves close to the asteroid s mass center when the density increases. There exist unstable periodic orbits near the surface of 624 Hektor. We calculated an orbit near the primary s equatorial plane of this binary Trojan asteroid, the results indicate that the orbit remains stable after 28.8375 d.

astro-ph.EP↗

Relative Effect of Inclinations for Moonlets in the Triple Asteroidal Systems

We present the analysis and computational results for the inclination relative effect of moonlets of triple asteroidal systems. Perturbations on moonlets due to the primarys non-sphericity gravity, the solar gravity, and moonlets relative gravity are discussed. The inclination vector for each moonlet follows a periodic elliptical motion; the motion period depends on the moonlets semi-major axis and the primarys J2 perturbations. Perturbation on moonlets from the Solar gravity and moonlets relative gravity makes the motion of the x component of the inclination vector of moonlet 1 and the y component of the inclination vector of moonlet 2 to be periodic.The mean motion of x component and the y component of the inclination vector of each moonlet forms an ellipse. However, the instantaneous motion of x component and the y component of the inclination vector may be an elliptical disc due to the coupling effect of perturbation forces. Furthermore, the x component of the inclination vector of moonlet 1 and the y component of the inclination vector of moonlet 2 form a quasi-periodic motion. Numerical calculation of dynamical configurations of two triple asteroidal systems (216) Kleopatra and (153591) 2001 SN263 validates the conclusion.

astro-ph.EP↗

Hamiltonian Formulation and Perturbations for Dust Motion around Cometary Nuclei

In this paper we analyze the dynamical behavior of large dust grains in the vicinity of a cometary nucleus. To this end we consider the gravitational field of the irregularly shaped body, as well as its electric and magnetic fields. Without considering the effect of gas friction and solar radiation, we find that there exist grains which are static relative to the cometary nucleus; the positions of these grains are the stable equibria. There also exist grains in the stable periodic orbits close to the cometary nucleus. The grains in the stable equibria or the stable periodic orbits will not escape or impact on the surface of the cometary nucleus. The results are applicable for large charge dusts with small area-mass ratio which are near the cometary nucleus and far from the Solar. It is found that the resonant periodic orbit can be stable, and there exist stable non-resonant periodic orbits, stable resonant periodic orbits and unstable resonant periodic orbits in the potential field of cometary nuclei. The comet gravity force, solar gravity force, electric froce, magnetic force, solar radiation pressure, as well as the gas drag force are all considered to analyze the order of magnitude of these forces acting on the grains with different parameters. Let the distance of the dust grain relative to the mass centre of the cometary nucleus, the charge and the mass of the dust grain vary, respectively, fix other parameters, we clacluated the strengths of different forces.

astro-ph.EP↗

Convergence of Lebenberg-Marquard method for the Inverse Problem with an Interior Measurement

The convergence of Levenberg-Marquard method is discussed for the inverse problem to reconstruct the storage modulus and loss modulus for the so called scalar model by single interior measurement. The scalar model is the most simplest model for data analysis used as the modeling partial differential equation in the diagnosing modality called the magnetic resonance elastography which is used to diagnose for instance lever cancer. The convergence of the method is proved by showing that the measurement map which maps the above unknown moduli to the measured data satisfies the so called the tangential cone condition. The argument of the proof is quite general and in principle can be applied to any similar inverse problem to reconstruct the unknown coefficients of the model equation given as a partial differential equation of divergence form by one single interior measurement. The performance of the method is numerically tested for the two layered picewise homogneneous scalar model in a rectangular domain.

math.NA↗

Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances

The ultimate objective of medical cyber-physical systems is to enhance the safety and effectiveness of patient care. To ensure safe and effective care during emergency patient transfer from rural areas to center tertiary hospitals, reliable and real-time communication is essential. Unfortunately, real-time monitoring of patients involves transmission of various clinical multimedia data including videos, medical images, and vital signs, which requires use of mobile network with high-fidelity communication bandwidth. However, the wireless networks along the roads in rural areas range from 4G to 2G to low speed satellite links, which poses a significant challenge to transmit critical patient information. In this paper, we present a bandwidth-compliant criticality-aware system for transmission of massive clinical multimedia data adaptive to varying bandwidths during patient transport. Model-based clinical automata are used to determine the criticality of clinical multimedia data. We borrow concepts from DASH, and propose physiology-aware adaptation techniques to transmit more critical clinical data with higher fidelity in response to changes in disease, clinical states, and bandwidth condition. In collaboration with Carle's ambulance service center, we develop a bandwidth profiler, and use it as proof of concept to support our experiments. Our preliminary evaluation results show that our solutions ensure that most critical patient's clinical data are communicated with higher fidelity.

cs.NI↗

On the Brauer constructions and generic Jordan types of Young modules

Let p be a prime number. We study the dimensions of Brauer constructions of Young and Young permutation modules with respect to p-subgroups of the symmetric groups. They depend only on partitions labelling the modules and the orbits of the action of the p-subgroups, and are related to their generic Jordan types. We obtain some reductive formulae and, in the case of two-part partitions, make some explicit calculation.

math.RT↗

A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport

Use of telecommunication technologies for remote, continuous monitoring of patients can enhance effectiveness of emergency ambulance care during transport from rural areas to a regional center hospital. However, the communication along the various routes in rural areas may have wide bandwidth ranges from 2G to 4G; some regions may have only lower satellite bandwidth available. Bandwidth fluctuation together with real-time communication of various clinical multimedia pose a major challenge during rural patient ambulance transport.; AB@The availability of a pre-transport route-dependent communication bandwidth database is an important resource in remote monitoring and clinical multimedia transmission in rural ambulance transport. Here, we present a geo-communication dataset from extensive profiling of 4 major US mobile carriers in Illinois, from the rural location of Hoopeston to the central referral hospital center at Urbana. In collaboration with Carle Foundation Hospital, we developed a profiler, and collected various geographical and communication traces for realistic emergency rural ambulance transport scenarios. Our dataset is to support our ongoing work of proposing "physiology-aware DASH", which is particularly useful for adaptive remote monitoring of critically ill patients in emergency rural ambulance transport. It provides insights on ensuring higher Quality of Service (QoS) for most critical clinical multimedia in response to changes in patients' physiological states and bandwidth conditions. Our dataset is available online for research community.

cs.CY↗

One-Dimensional Photon Transport Through a Two-Terminal Scattering Cluster: Tight-Binding Formalism

Employing tight-binding approximation we derive a transfer matrix formalism for one-dimensional single photon transport through a composite scattering center, which consists of parallel connected resonator optical waveguides. By solving the single-mode eigenvectors of the Hamiltonian, we investigate the quantum interference effects of parallel couplings on the photon transport through this parallel waveguide structure. We find a perfect reflection regime determined by the number of coupled resonator waveguides. Numerical analysis reveals that by changing atom transition frequency, the window of perfect reflection may shift to cover almost all incoming photon energy, indicating the effective control of single photon scattering by photon-atom interaction.

quant-ph↗

Global Adaptive Dynamic Programming for Continuous-Time Nonlinear Systems

This paper presents a novel method of global adaptive dynamic programming (ADP) for the adaptive optimal control of nonlinear polynomial systems. The strategy consists of relaxing the problem of solving the Hamilton-Jacobi-Bellman (HJB) equation to an optimization problem, which is solved via a new policy iteration method. The proposed method distinguishes from previously known nonlinear ADP methods in that the neural network approximation is avoided, giving rise to significant computational improvement. Instead of semiglobally or locally stabilizing, the resultant control policy is globally stabilizing for a general class of nonlinear polynomial systems. Furthermore, in the absence of the a priori knowledge of the system dynamics, an online learning method is devised to implement the proposed policy iteration technique by generalizing the current ADP theory. Finally, three numerical examples are provided to validate the effectiveness of the proposed method.

math.DS↗