arXiv subjects

Fang Wang

Publications and source records attributed to Fang Wang.

At least 145 records · Page 8Linked to original sources

arXiv2016

A Symbolic Decision Procedure for Symbolic Alternating Finite Automata

We introduce Symbolic Alternating Finite Automata (s-AFA) as an expressive, succinct, and decidable model for describing sets of finite sequences over arbitrary alphabets. Boolean operations over s-AFAs have linear complexity, which is in sharp contrast with the quadratic cost of intersection and union for non-alternating symbolic automata. Due to this succinctness, emptiness and equivalence checking are PSpace-hard. We introduce an algorithm for checking the equivalence of two s-AFAs based on bisimulation up to congruence. This algorithm allows us to exploit the power of SAT and SMT solvers to efficiently search the state space of the s-AFAs. We evaluate our decision procedure on two verification and security applications: 1) checking satisfiability of linear temporal logic formulas over finite traces, and 2) checking equivalence of Boolean combinations of regular expressions. Our experiments show that our technique often outperforms existing techniques and it can be beneficial in both such applications.

cs.FL↗

arXiv2016

Prediction of Manipulation Actions

Looking at a person's hands one often can tell what the person is going to do next, how his/her hands are moving and where they will be, because an actor's intentions shape his/her movement kinematics during action execution. Similarly, active systems with real-time constraints must not simply rely on passive video-segment classification, but they have to continuously update their estimates and predict future actions. In this paper, we study the prediction of dexterous actions. We recorded from subjects performing different manipulation actions on the same object, such as "squeezing", "flipping", "washing", "wiping" and "scratching" with a sponge. In psychophysical experiments, we evaluated human observers' skills in predicting actions from video sequences of different length, depicting the hand movement in the preparation and execution of actions before and after contact with the object. We then developed a recurrent neural network based method for action prediction using as input patches around the hand. We also used the same formalism to predict the forces on the finger tips using for training synchronized video and force data streams. Evaluations on two new datasets showed that our system closely matches human performance in the recognition task, and demonstrate the ability of our algorithm to predict what and how a dexterous action is performed.

cs.CV↗

arXiv2016

On the positivity of scattering operators for Poincaré-Einstein manifolds

In this paper, we mainly study the scattering operators for the Poincaré-Einstein manifolds. Those operators give the fractional GJMS operators $P_{2γ}$ for the conformal infinity. If a Poincaré-Einstein manifolds $(X^{n+1}, g_+)$ is locally conformally flat and there exists an representative $g$ for the conformal infinity $(M, [g])$ such that the scalar curvature $R$ is a positive constant and $Q_4>0$, then we prove that $P_{2γ}$ is positive for $γ\in (1,2)$ and thus the first real scattering pole is less than $\frac{n}{2}-2$.

math.DG↗

arXiv2016

Electron Bunch Train Excited Higher-Order Modes in a Superconducting RF Cavity

Higher-order mode (HOM) based intra-cavity beam diagnostics has been proved effectively and conveniently in superconducting radio-frequency (SRF) accelerators. Our recent research shows that the beam harmonics in the bunch train excited HOM spectrum, which have much higher signal-to-noise ratio than the intrinsic HOM peaks, may also be useful for beam diagnostics. In this paper, we will present our study on bunch train excited HOMs, including the theoretic model and recent experiments carried out based on the DC-SRF photoinjector and SRF linac at Peking University.

physics.acc-ph↗

arXiv2016

The Feynman rules for neutrinos and new neutralinos in BLMSSM

In a supersymmetric extension of the standard model where baryon and lepton numbers are local gauge symmetries(BLMSSM), we deduce the Feynman rules for neutrinos and new neutralinos. We briey introduce the mass matrices for the particles and the related couplings in this work, which are very useful to research the neutrinos and new neutralinos.

hep-ph↗

arXiv2016

Supermassive Black Holes with High Accretion Rates in Active Galactic Nuclei. VI. Velocity-resolved Reverberation Mapping of H$β$ Line

In the sixth of the series of papers reporting on a large reverberation mapping (RM) campaign of active galactic nuclei (AGNs) with high accretion rates, we present velocity-resolved time lags of H$β$ emission lines for nine objects observed in the campaign during 2012$-$2013. In order to correct the line-broadening caused by seeing and instruments before the analysis of velocity-resolved RM, we adopt Richardson-Lucy deconvolution to reconstruct their H$β$ profiles. The validity and effectiveness of the deconvolution are checked out by Monte Carlo simulation. Five among the nine objects show clear dependence of time delay on velocity. Mrk 335 and Mrk 486 show signatures of gas inflow whereas the clouds in the broad-line regions (BLRs) of Mrk 142 and MCG +06-26-012 tend to be radial outflowing. Mrk 1044 is consistent with the case of virialized motions. The lags of the rest four are not velocity-resolvable. The velocity-resolved RM of super-Eddington accreting massive black holes (SEAMBHs) shows that they have diversity of the kinematics in their BLRs. Comparing with the AGNs with sub-Eddington accretion rates, we do not find significant differences in the BLR kinematics of SEAMBHs.

astro-ph.GA↗

arXiv2016

Improving Bandwidth Efficiency of FBMC-OQAM Through Virtual Symbols

Filter bank multicarrier (FBMC) systems that are based on offset quadrature amplitude modulation (OQAM), namely, FBMC-OQAM, have been criticized for their inefficiency in the use of spectral resources, because of the long ramp-up and ramp-down tails at the beginning and the end of each data packet, respectively. We propose a novel method for shortening these tails. By appending a set of virtual (i.e., none data carrying) symbols to the beginning and the end of each packet, and clever selection of these symbols, we show that the ramp-up and rampdown tails in FMBC-OQAM can be suppressed to an extent that they deem as negligible and thus may be ignored. This shortens the length of signal burst in each FBMC-OQAM packet, hence, improves on its bandwidth efficiency, viz., the same data is transmitted over a shorter period of time. We develop an optimization method that allows computation of virtual symbols, for each data packet. Simulation results show that, compared to existing methods, the proposed tail-shortening approach leads to a superior out-of-band (OOB) emission performance and a much lower error vector magnitude (EVM) for the demodulated symbols.

cs.IT↗

arXiv2015

Multi-color optical monitoring of Mrk 501 from 2010 to 2015

We have monitored the BL Lac object Mrk 501 in optical $V$, $R$ and $I$ bands from 2010 to 2015. For Mrk 501, the presence of strong host galaxy component can affect the results of photometry. After subtracting the host galaxy contributions, the source shows intraday and long-term variabilities for optical flux and color indices. The average variability amplitudes of $V$, $R$ and $I$ bands are $22.05\%, 22.25\%, 23.82\%$ respectively, and the value of duty cycle 14.87 per cent. A minimal variability timescale of 106 minutes is detected. No significant time lag between $V$ and $I$ bands is found on one night. The bluer-when-brighter (BWB) trend is dominant for Mrk 501 on intermediate, short and intraday timescales which supports the shock-in-jet model. For the long timescale, Mrk 501 in different state can have different BWB trend. The corresponding results of non-correcting host galaxy contributions are also presented.

astro-ph.HE↗

arXiv2015

Compositional Memory for Visual Question Answering

Visual Question Answering (VQA) emerges as one of the most fascinating topics in computer vision recently. Many state of the art methods naively use holistic visual features with language features into a Long Short-Term Memory (LSTM) module, neglecting the sophisticated interaction between them. This coarse modeling also blocks the possibilities of exploring finer-grained local features that contribute to the question answering dynamically over time. This paper addresses this fundamental problem by directly modeling the temporal dynamics between language and all possible local image patches. When traversing the question words sequentially, our end-to-end approach explicitly fuses the features associated to the words and the ones available at multiple local patches in an attention mechanism, and further combines the fused information to generate dynamic messages, which we call episode. We then feed the episodes to a standard question answering module together with the contextual visual information and linguistic information. Motivated by recent practices in deep learning, we use auxiliary loss functions during training to improve the performance. Our experiments on two latest public datasets suggest that our method has a superior performance. Notably, on the DARQUAR dataset we advanced the state of the art by 6$\%$, and we also evaluated our approach on the most recent MSCOCO-VQA dataset.

cs.CV↗

arXiv2015

Sketch-based 3D Shape Retrieval using Convolutional Neural Networks

Retrieving 3D models from 2D human sketches has received considerable attention in the areas of graphics, image retrieval, and computer vision. Almost always in state of the art approaches a large amount of "best views" are computed for 3D models, with the hope that the query sketch matches one of these 2D projections of 3D models using predefined features. We argue that this two stage approach (view selection -- matching) is pragmatic but also problematic because the "best views" are subjective and ambiguous, which makes the matching inputs obscure. This imprecise nature of matching further makes it challenging to choose features manually. Instead of relying on the elusive concept of "best views" and the hand-crafted features, we propose to define our views using a minimalism approach and learn features for both sketches and views. Specifically, we drastically reduce the number of views to only two predefined directions for the whole dataset. Then, we learn two Siamese Convolutional Neural Networks (CNNs), one for the views and one for the sketches. The loss function is defined on the within-domain as well as the cross-domain similarities. Our experiments on three benchmark datasets demonstrate that our method is significantly better than state of the art approaches, and outperforms them in all conventional metrics.

cs.CV↗

arXiv2015

Supermassive Black Holes with High Accretion Rates in Active Galactic Nuclei. III. Detection of Fe II Reverberation in Nine Narrow-Line Seyfert 1 Galaxies

This is the third in a series of papers reporting on a large reverberation-mapping campaign aimed to study the properties of active galactic nuclei (AGNs) with high accretion rates. We present new results on the variability of the optical Fe II emission lines in 10 AGNs observed by the Yunnan Observatory 2.4m telescope during 2012--2013. We detect statistically significant time lags, relative to the AGN continuum, in nine of the sources. This accurate measurement is achieved by using a sophisticated spectral fitting scheme that allows for apparent flux variations of the host galaxy, and several narrow lines, due to the changing observing conditions. Six of the newly detected lags are indistinguishable from the Hbeta lags measured in the same sources. Two are significantly longer and one is slightly shorter. Combining with Fe II lags reported in previous studies, we find a Fe II radius--luminosity relationship similar to the one for Hbeta, although our sample by itself shows no clear correlation. The results support the idea that Fe II emission lines originate in photoionized gas which, for the majority of the newly reported objects, is indistinguishable from the Hbeta-emitting gas. We also present a tentative correlation between the lag and intensity of Fe II and Hbeta and comment on its possible origin.

astro-ph.GA↗

arXiv2014

Radiation field for Einstein vacuum equations with spacial dimension $n\geq 4$

In this paper, the radiation field is defined for solutions to Einstein vacuum equations which are close to Minkowski space-time with spacial dimension $n\geq 4$. The regularity properties and asymptotic behavior of those Einstein vacuum solutions are established at the same time. In particular, the map from Cauchy intial data to the radiation field is proved to be an isomorphism when restricting to a small neighborhood of Minkowski data in suitable weighted b-Sobolev spaces.

math.AP↗

arXiv2014

SDSS J013127.34$-$032100.1: A newly discovered radio-loud quasar at $z=5.18$ with extremely high luminosity

Only very few z>5 quasars discovered to date are radio-loud, with a radio-to-optical flux ratio (radio-loudness parameter) higher than 10. Here we report the discovery of an optically luminous radio-loud quasar, SDSS J013127.34-032100.1 (J0131-0321 in short), at z=5.18+-0.01 using the Lijiang 2.4m and Magellan telescopes. J0131-0321 has a spectral energy distribution consistent with that of radio-loud quasars. With an i-band magnitude of 18.47 and radio flux density of 33 mJy, its radio-loudness parameter is ~100. The optical and near-infrared spectra taken by Magellan enable us to estimate its bolometric luminosity to be L_bol ~ 1.1E48 erg/s, approximately 4.5 times greater than that of the most distant quasar known to date. The black hole mass of J0131-0321 is estimated to be 2.7E9 solar masses, with an uncertainty up to 0.4 dex. Detailed physical properties of this high-redshift, radio-loud, potentially super-Eddington quasar can be probed in the future with more dedicated and intensive follow-up observations using multi-wavelength facilities.

astro-ph.GA↗

arXiv2014

Supermassive black holes with high accretion rates in active galactic nuclei: II. the most luminous standard candles in the Universe

This is the second in a series of papers reporting on a large reverberation mapping (RM) campaign to measure black hole (BH) mass in high accretion rate active galactic nuclei (AGNs). The goal is to identify super-Eddington accreting massive black holes (SEAMBHs) and to use their unique properties to construct a new method for measuring cosmological distances. Based on theoretical models, the saturated bolometric luminosity of such sources is proportional to the BH mass which can be used to obtain their distance. Here we report on five new RM measurements and show that in four of the cases we can measure the BH mass and three of these sources are SEAMBHs. Together with the three sources from our earlier work, we now have six new sources of this type. We use a novel method based on a minimal radiation efficiency to identify nine additional SEAMBHs from earlier RM-based mass measurements. We use a Bayesian analysis to determine the parameters of the new distance expression, and the method uncertainties, from the observed properties of the objects in the sample. The ratio of the newly measured distances to the standard cosmological ones has a mean scatter of 0.14 dex, indicating that SEAMBHs can be use as cosmological distance probes. With their high luminosity, long period of activity and large numbers at high redshifts, SEAMBHs have a potential to extend the cosmic distance ladder beyond the range now explored by type Ia supernovae.

astro-ph.HE↗

arXiv2014

Weak Galerkin method for the coupled Darcy-Stokes flow

A family of weak Galerkin finite element discretization is developed for solving the coupled Darcy-Stokes equation. The equation in consideration admits the Beaver-Joseph-Saffman condition on the interface. By using the weak Galerkin approach, in the discrete space we are able to impose the normal continuity of velocity explicitly. Or in other words, strong coupling is achieved in the discrete space. Different choices of weak Galerkin finite element spaces are discussed, and error estimates are given.

math.NA↗

arXiv2014

Comment on "Fault-Tolerate Quantum Private Comparison Based on GHZ States and ECC"

A two-party quantum private comparison scheme using GHZ states and error-correcting code (ECC) was introduced in Li et al.'s paper [Int. J. Theor. Phys. 52: 2818-2815, 2013], which holds the capability of fault-tolerate and could be performed in a none-ideal scenario. However, this study points out there exists a fatal loophole under a special attack, namely the twice-Hadamard-CNOT attack. A malicious party may intercept the other's particles, firstly executes the Hadamard operations on these intercepted particles and his (her) own ones respectively, and then sequentially performs twice CNOT operations on them and the auxiliary particles prepared in advance. As a result, the secret input will be revealed without being detected through measuring the auxiliary particles. For resisting this special attack, an improvement is proposed by applying a permutation operator before TP sends the particle sequences to all the participants.

quant-ph↗

arXiv2014

Test for a Mean Vector with Fixed or Divergent Dimension

It has been a long history in testing whether a mean vector with a fixed dimension has a specified value. Some well-known tests include the Hotelling $T^2$-test and the empirical likelihood ratio test proposed by Owen [Biometrika 75 (1988) 237-249; Ann. Statist. 18 (1990) 90-120]. Recently, Hotelling $T^2$-test has been modified to work for a high-dimensional mean, and the empirical likelihood method for a mean has been shown to be valid when the dimension of the mean vector goes to infinity. However, the asymptotic distributions of these tests depend on whether the dimension of the mean vector is fixed or goes to infinity. In this paper, we propose to split the sample into two parts and then to apply the empirical likelihood method to two equations instead of d equations, where d is the dimension of the underlying random vector. The asymptotic distribution of the new test is independent of the dimension of the mean vector. A simulation study shows that the new test has a very stable size with respect to the dimension of the mean vector, and is much more powerful than the modified Hotelling $T^2$-test.

stat.ME↗

arXiv2014

The low level radio frequency control system for DC-SRF photo-injector at Peking University

A low level radio frequency (LLRF) control system is designed and constructed at Peking University, which is for the DC-SRF photo injector operating at 2K. Besides with continuous wave (CW), the system is also reliable with pulsed RF and pulsed beam, the stability of amplitude and phase can achieve 0.13% and 0.1°respectively. It is worth noting that the system works perfectly when the cavity is driven at both generator driven resonator (GDR) and self-excited loop (SEL), the latter is useful in measuring the performance of the cavity.

physics.acc-ph↗