Still searching Arxiv, refresh for possibly better results.

Results for "Zhaohui Yang"

total 15614took 0.12s
Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing NetworksFeb 08 2019Feb 13 2019In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles ... More
Joint Time Allocation and Power Control in Multi-Cell Networks with Load Coupling: Energy Saving and Rate ImprovementJul 01 2017In this paper, we consider the problems of minimizing sum power and maximizing sum rate for multi-cell networks with load coupling, where coupling relation occurs among cells due to inter-cell interference. This coupling relation is characterized by the ... More
Robust Transmission Design for Multi-Cell D2D Underlaid Cellular NetworksApr 14 2018This paper investigates the robust transmission design (RTD) of a multi-cell device-to-device (D2D) underlaid cellular network with imperfect channel state information (CSI). The bounded model is adopted to characterize the CSI impairment and the aim ... More
Joint Time-Frequency Splitting for Multiuser SWIPT OFDM NetworksFeb 08 2019In this paper, we propose a joint time-frequency splitting (TFS) strategy for a multiuser orthogonal frequency division multiplexing (OFDM) system with simultaneous wireless information and power transfer (SWIPT). In TFS, the time sharing factors for ... More
A control strategy algorithm for finite alternating transition systemsDec 29 2012Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, ... More
Linear time logic control of linear systems with disturbancesDec 29 2012The formal analysis and design of control systems is one of recent trends in control theory. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. In non-disturbance ... More
Meteorological data from KLAWS-2G for an astronomical site survey of Dome A, AntarcticaOct 12 2018We present an analysis of meteorological data from the second generation of the Kunlun Automated Weather Station (KLAWS-2G) at Dome A, Antarctica during 2015 and 2016. We find that a strong temperature inversion exists for all the elevations up to 14 ... More
Compressive Sensing Based User Clustering for Downlink NOMA Systems with Decoding PowerMar 13 2018This letter investigates joint power control and user clustering for downlink non-orthogonal multiple access systems. Our aim is to minimize the total power consumption by taking into account not only the conventional transmission power but also the decoding ... More
Optimal Fairness-Aware Time and Power Allocation in Wireless Powered Communication NetworksFeb 14 2018In this paper, we consider the sum $\alpha$-fair utility maximization problem for joint downlink (DL) and uplink (UL) transmissions of a wireless powered communication network (WPCN) via time and power allocation. In the DL, the users with energy harvesting ... More
Energy Efficient Resource Allocation in Machine-to-Machine Communications with Multiple Access and Energy Harvesting for IoTNov 29 2017This paper studies energy efficient resource allocation for a machine-to-machine (M2M) enabled cellular network with non-linear energy harvesting, especially focusing on two different multiple access strategies, namely non-orthogonal multiple access (NOMA) ... More
Resource Allocation for D2D Communications Underlaying a NOMA-Based Cellular NetworkOct 14 2017This letter investigates the power control and channel assignment problem in device-to-device (D2D) communications underlaying a non-orthogonal multiple access (NOMA) cellular network. With the successive interference cancellation decoding order constraints, ... More
Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing NetworksFeb 08 2019In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles ... More
Majorization in Quantum Adiabatic AlgorithmsJun 01 2006Sep 01 2010The majorization theory has been applied to analyze the mathematical structure of quantum algorithms. An empirical conclusion by numerical simulations obtained in the previous literature indicates that step-by-step majorization seems to appear universally ... More
The First Release of the AST3-1 Point Source Catalogue from Dome A, AntarcticaMay 15 2018The three Antarctic Survey Telescopes (AST3) aim to carry out time domain imaging survey at Dome A, Antarctica. The first of the three telescopes (AST3-1) was successfully deployed on January 2012. AST3-1 is a 500\,mm aperture modified Schmidt telescope ... More
Power Control for Multi-Cell Networks with Non-Orthogonal Multiple AccessJun 14 2017Nov 02 2017In this paper, we investigate the problems of sum power minimization and sum rate maximization for multi-cell networks with non-orthogonal multiple access. Considering the sum power minimization, we obtain closed-form solutions to the optimal power allocation ... More
Transverse writing of three-dimensional tubular optical waveguides in glass with slit-shaped femtosecond laser beamsFeb 04 2016May 11 2016We report on fabrication of tubular optical waveguides buried in ZBLAN glass based on transverse femtosecond laser direct writing. Irradiation in ZBLAN with focused femtosecond laser pulses leads to decrease of refractive index in the modified region. ... More
High-throughput in-volume processing in glass with isotropic spatial resolutions in three dimensionsSep 19 2016We report on fabrication of three dimensional (3D) microstructures in glass with isotropic spatial resolutions. To achieve high throughput fabrication, we expand the focal spot size with a low-numerical-aperture lens, which naturally results in a degraded ... More
Fabrication of polarization-independent single-mode waveguides in lithium niobate crystal with femtosecond laser pulsesMay 21 2016We report on fabrication of depressed cladding optical waveguides buried in lithium niobate crystal with shaped femtosecond laser pulses. Depressed cladding waveguides of variable mode-field sizes are fabricated by forming the four sides of the cladding ... More
Joint Altitude, Beamwidth, Location and Bandwidth Optimization for UAV-Enabled CommunicationsJun 06 2018This letter investigates an uplink power control problem for unmanned aerial vehicles (UAVs) assisted wireless communications. We jointly optimize the UAV's flying altitude, antenna beamwidth, UAV's location and ground terminals' allocated bandwidth and ... More
Cache Placement in Two-Tier HetNets with Limited Storage Capacity: Cache or Buffer?Jun 06 2018In this paper, we aim to minimize the average file transmission delay via bandwidth allocation and cache placement in two-tier heterogeneous networks with limited storage capacity, which consists of cache capacity and buffer capacity. For average delay ... More
The First Release of the CSTAR Point Source Catalog from Dome A, AntarcticaJan 27 2010In 2008 January the 24th Chinese expedition team successfully deployed the Chinese Small Telescope ARray (CSTAR) to DomeA, the highest point on the Antarctic plateau. CSTAR consists of four 14.5cm optical telescopes, each with a different filter (g, r, ... More
Interfacial Multiferroics of TiO2/PbTiO3 Heterostructure Driven by Ferroelectric Polarization DiscontinuityFeb 22 2017Novel phenomena appear when two different oxide materials are combined together to form an interface. For example, at the interface of LaAlO3/SrTiO3, two dimensional conductive states form to avoid the polar discontinuity and magnetic properties are found ... More
Time-resolved shadowgraphs of transient plasma induced by spatiotemporally focused femtosecond laser pulses in fused silica glassOct 26 2015We report on experimental observations of formation and evolution of transient plasma produced in fused silica glass with spatiotemporally focused (STF) femtosecond laser pulses using a pump-probe shadow imaging technique. Surprisingly, the observation ... More
Fabrication of an integrated high-quality-factor (high-Q) optofluidic sensor by femtosecond laser micromachiningApr 18 2014We report on fabrication of a microtoroid resonator of a high-quality factor (i. e., Q-factor of ~3.24x10^6 measured under the critical coupling condition) integrated in a microfluidic channel using femtosecond laser three-dimensional (3D) micromachining. ... More
Device-independent characterizations of the quantum state in a Bell experimentSep 05 2016In a Bell experiment two parties share a quantum state and perform local measurements on their subsystems separately, and the statistics of the measurement outcomes are recorded as a Bell correlation. For any Bell correlation, it turns out a quantum state ... More
Linearity and Quantum Adiabatic TheoremJan 19 2007Feb 17 2007We show that in a quantum adiabatic evolution, even though the adiabatic approximation is valid, the total phase of the final state indicated by the adiabatic theorem may evidently differ from the actual total phase. This invalidates the application of ... More
On characterizing quantum correlated equilibriaMay 26 2011Quantum game theory lays a foundation for understanding the interaction of people using quantum computers with conflicting interests. Recently Zhang proposed a simple yet rich model to study quantum strategic games, and addressed some quantitative questions ... More
A relation between fidelity and quantum adiabatic evolutionApr 15 2005Dec 01 2005Recently, some quantum algorithms have been implemented by quantum adiabatic evolutions. In this paper, we discuss the accurate relation between the running time and the distance of the initial state and the final state of a kind of quantum adiabatic ... More
Semi-simplicial Types in Logic-enriched Homotopy Type TheoryJun 16 2015The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recognized as important during the Year of Univalent Foundations at the Institute of Advanced Study. According to the interpretation of HoTT in Quillen model ... More
A Modal Characterization of Alternating Approximate BisimilarityDec 19 2012Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity ... More
Quantum game players can have advantage without discordFeb 01 2015The last two decades have witnessed a rapid development of quantum information processing, a new paradigm which studies the power and limit of "quantum advantages" in various information processing tasks. Problems such as when quantum advantage exists, ... More
The Generation Cost of Bipartite Quantum States under LOCCDec 01 2014Dec 16 2014We consider a realistic setting of quantum tasks that generate shared bipartite quantum states. Suppose \alice and \bob are located at different places and need to produce a target shared quantum state $\rho$. In order to save quantum communication, they ... More
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type TheorySep 11 2008Jan 15 2009We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTW, including Weyl's definition of the cardinality ... More
Evidence for Extraction of Photoexcited Hot Carriers from GrapheneMar 26 2012Jul 11 2012We report evidence of nonequilibrium hot carriers extraction from graphene by gate-dependent photocurrent study. Scanning photocurrent excited by femtosecond pulse laser shows unusual gate dependence compared with continuous wave (CW) laser excitation. ... More
Quantum search algorithm by adiabatic evolution under a priori probabilityDec 15 2004Grover's algorithm is one of the most important quantum algorithms, which performs the task of searching an unsorted database without a priori probability. Recently the adiabatic evolution has been used to design and reproduce quantum algorithms, including ... More
Quantum adiabatic evolutions that can't be used to design efficient algorithmsApr 11 2006Apr 12 2006Quantum adiabatic computation is a novel paradigm for the design of quantum algorithms, which is usually used to find the minimum of a classical function. In this paper, we show that if the initial hamiltonian of a quantum adiabatic evolution with a interpolation ... More
A modified quantum adiabatic evolution for the Deutsch-Jozsa problemDec 01 2005Dec 04 2005Deutsch-Jozsa algorithm has been implemented via a quantum adiabatic evolution by S. Das et al. [Phys. Rev. A 65, 062310 (2002)]. This adiabatic algorithm gives rise to a quadratic speed up over classical algorithms. We show that a modified version of ... More
Efficient One-way Quantum Computations for Quantum Error CorrectionDec 14 2007Aug 18 2008We show how to explicitly construct an $O(nd)$ size and constant quantum depth circuit which encodes any given $n$-qubit stabilizer code with $d$ generators. Our construction is derived using the graphic description for stabilizer codes and the one-way ... More
The square root rank of the correlation polytope is exponentialNov 25 2014The square root rank of a nonnegative matrix $A$ is the minimum rank of a matrix $B$ such that $A=B \circ B$, where $\circ$ denotes entrywise product. We show that the square root rank of the slack matrix of the correlation polytope is exponential. Our ... More
Typed Operational Semantics for Dependent Record TypesMar 17 2011Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics. In particular, ... More
Classical Predicative Logic-Enriched Type TheoriesJun 09 2009Aug 18 2010A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTTO and LTTO*, which we claim correspond closely to the classical predicative systems of second ... More
Upper triangular matrices and Billiard ArraysAug 18 2015Jan 15 2016Fix a nonnegative integer $d$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. Let $T$ denote an invertible upper triangular matrix in ${\rm Mat}_{d+1}(\mathbb{F})$. Using $T$ we construct three flags on $V$. We find ... More
Principal Component Analysis of AGN SpectraMar 26 2004We discuss spectral principal component analysis (SPCA) and show examples of its application in analyzing AGN spectra in both small and large samples. It can be used to identify peculiar spectra and classify AGN spectra. Its application to correlation ... More
Parametric amplification in single-walled carbon nanotube nanoelectromechanical resonatorsJun 13 2011Jul 26 2011The low quality factor (Q) of Single-walled carbon nanotube (SWNT) resonators has limited their sensitivity in sensing application. To this end, we employ the technique of parametric amplification by modulating the spring constant of SWNT resonators at ... More
Capacitive Spring Softening in Single-Walled Carbon Nanotube Nanoelectromechanical ResonatorsOct 28 2010We report the capacitive spring softening effect observed in single-walled carbon nanotube (SWNT) nanoelectromechanical (NEM) resonators. The nanotube resonators adopt dual-gate configuration with both bottom-gate and side-gate capable of tuning the resonance ... More
Indicators of Black Hole Mass and Eddington Accretion Ratio from QSO X-ray and UV SpectraJan 28 2003The evolution of luminous QSOs is linked to the evolution of massive galaxies. We know this because the relic black-holes found locally have masses dependent on the properties of the host galaxy's bulge. An important way to explore this evolution would ... More
A Statistical Model of Pressure Drop Increase with Deposition in Granular FiltersApr 27 2014As deposits accumulate in a granular filter, pressure drop across the filter bed required to maintain a constant fluid flow rate may increase. Two pressure drop increase patterns had been observed. In slow sand filters pressure drop remains unchanged ... More
Interferometric characterization of pulse front tilt of spatiotemporally focused femtosecond laser pulses for three-dimensional micromachining applicationAug 31 2014We report on an experimental measurement of the pulse front tilt (PFT) of spatiotemporally focused femtosecond laser pulses in the focal plane in both air and bulk transparent materials, which is achieved by examination of the interference pattern between ... More
Cavity mediated manipulation of distant spin currents using cavity-magnon-polaritonJun 01 2017Using electrical detection of a strongly coupled spin-photon system comprised of a microwave cavity mode and two magnetic samples, we demonstrate the long distance manipulation of spin currents. This distant control is not limited by the spin diffusion ... More
Terahertz and Far-Infrared Windows Opened at Dome A, AntarcticaSep 20 2016The terahertz and far-infrared (FIR) band, from approximately 0.3 THz to 15 THz (1 mm to 20 micron), is important for astrophysics as the thermal radiation of much of the universe peaks at these wavelengths and many spectral lines that trace the cycle ... More
On the minimum dimension of a Hilbert space needed to generate a quantum correlationJul 01 2015Oct 07 2015Consider a two-party correlation that can be generated by performing local measurements on a bipartite quantum system. A question of fundamental importance is to understand how many resources, which we quantify by the dimension of the underlying quantum ... More
Device-independent dimension tests in the prepare-and-measure scenarioJun 13 2016Analyzing the dimension of an unknown quantum system in a device-independent manner, i.e., using only the measurement statistics, is a fundamental task in quantum physics and quantum information theory. In this paper, we consider this problem in the prepare-and-measure ... More
Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$Feb 12 2015In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by L\"{u}ttgen and Vogler. It has been shown that such behavioural preorder is the largest precongruence w.r.t parallel and conjunction composition ... More
Wafer Scale Homogeneous Bilayer Graphene Films by Chemical Vapor DepositionNov 18 2010The discovery of electric field induced bandgap opening in bilayer graphene opens new door for making semiconducting graphene without aggressive size scaling or using expensive substrates. However, bilayer graphene samples have been limited to um size ... More
Complete Characterization of the Ground Space Structure of Two-Body Frustration-Free Hamiltonians for QubitsOct 12 2010The problem of finding the ground state of a frustration-free Hamiltonian carrying only two-body interactions between qubits is known to be solvable in polynomial time. It is also shown recently that, for any such Hamiltonian, there is always a ground ... More
Device-independent dimension tests in the prepare-and-measure scenarioJun 13 2016Oct 25 2016Analyzing the dimension of an unknown quantum system in a device-independent manner, i.e., using only the measurement statistics, is a fundamental task in quantum physics and quantum information theory. In this paper, we consider this problem in the prepare-and-measure ... More
On the greatest solution of equations in $\text{CLL}_R$Feb 12 2015It is shown that, for any equation $X=_{RS} t_X$ in the LLTS-oriented process calculus $\text{CLL}_R$, if $X$ is strongly guarded in $t_X$, then the recursive term $\langle X|X=t_X \rangle$ is the greatest solution of this equation w.r.t L\"{u}ttgen and ... More
Merging Process Algebra and Action-based Computation Tree LogicDec 31 2012Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches take different standpoint for looking at specifications and verifications, ... More
The orientation dependence of quasar spectral energy distributionsSep 01 2013We investigate the orientation dependence of the spectral energy distributions in a sample of radio-loud quasars. Selected specifically to study orientation issues, the sample contains 52 sources with redshifts in the range 0.16<z<1.4 and measurements ... More
Measurement-Based Quantum Computing with Valence-Bond-SolidsNov 22 2011Measurement-based quantum computing (MBQC) is a model of quantum computing that proceeds by sequential measurements of individual spins in an entangled resource state. However, it remains a challenge to produce efficiently such resource states. Would ... More
Some upper and lower bounds on PSD-rankJul 16 2014Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for showing lower bounds ... More
Finite Heat conduction in 2D LatticesJul 30 2001This paper gives a 2D hamonic lattices model with missing bond defects, when the capacity ratio of defects is enough large, the temperature gradient can be formed and the finite heat conduction is found in the model. The defects in the 2D harmonic lattices ... More
Multiwave tomography in a closed domain: averaged sharp time reversalDec 29 2014Feb 05 2015We study the mathematical model of multiwave tomography including thermo and photoacoustic tomography with a variable speed for a fixed time interval $[0,T]$. We assume that the waves reflect from the boundary of the domain. We propose an averaged sharp ... More
A Unified Successive Pseudo-Convex Approximation FrameworkJun 16 2015Apr 07 2016In this paper, we propose a successive pseudo-convex approximation algorithm to efficiently compute stationary points for a large class of possibly nonconvex optimization problems. The stationary points are obtained by solving a sequence of successively ... More
Observability transition in real networksJul 25 2016We consider the observability model in networks with arbitrary topologies. We introduce a system of coupled nonlinear equations, valid under the locally tree-like ansatz, to describe the size of the largest observable cluster as a function of the fraction ... More
$(N,q)$-Laplacian problems with critical Trudinger-Moser nonlinearitiesNov 09 2014Oct 29 2015We obtain nontrivial solutions of a $(N,q)$-Laplacian problem with a critical Trudinger-Moser nonlinearity in a bounded domain. In addition to the usual difficulty of the loss of compactness associated with problems involving critical nonlinearities, ... More
$N$-Laplacian problems with critical Trudinger-Moser nonlinearitiesJun 24 2014Jan 03 2016We prove existence and multiplicity results for a $N$-Laplacian problem with a critical exponential nonlinearity that is a natural analog of the Brezis-Nirenberg problem for the borderline case of the Sobolev inequality. This extends results in the literature ... More
Bound-preserving discontinuous Galerkin method for compressible miscible displacement in porous mediaJul 18 2017In this paper, we develop bound-preserving discontinuous Galerkin (DG) methods for the coupled system of compressible miscible displacement problems. We consider the problem with two components and the (volumetric) concentration of the $i$th component ... More
Singularites in the Bousseneq equation and in the generalized KdV equationAug 16 2001In this paper, two kinds of the exact singular solutions are obtained by the improved homogeneous balance (HB) method and a nonlinear transformation. The two exact solutions show that special singular wave patterns exists in the classical model of some ... More
Maximal Function Characterizations of Musielak-Orlicz-Hardy Spaces Associated to Non-negative Self-adjoint Operators Satisfying Gaussian EstimatesMar 16 2016Let $L$ be a non-negative self-adjoint operator on $L^2(\mathbb{R}^n)$ whose heat kernels have the Gaussian upper bound estimates. Assume that the growth function $\varphi:\,\mathbb{R}^n\times[0,\infty) \to[0,\infty)$ satisfies that $\varphi(x,\cdot)$ ... More
Weighted Local Orlicz-Hardy Spaces with Applications to Pseudo-differential OperatorsJul 17 2011Let $\Phi$ be a concave function on $(0,\infty)$ of strictly lower type $p_{\Phi}\in(0,1]$ and $\omega\in A^{\mathop\mathrm{loc}}_{\infty}(\mathbb{R}^n)$. We introduce the weighted local Orlicz-Hardy space $h^{\Phi}_{\omega}(\mathbb{R}^n)$ via the local ... More
Orlicz-Hardy Spaces Associated with Divergence Operators on Unbounded Strongly Lipschitz Domains of $\mathbb{R}^n$Jul 15 2011Jun 29 2012Let $\Omega$ be either $\mathbb{R}^n$ or an unbounded strongly Lipschitz domain of $\mathbb{R}^n$, and $\Phi$ be a continuous, strictly increasing, subadditive and positive function on $(0,\infty)$ of upper type 1 and of strictly critical lower type $p_{\Phi}\in(n/(n+1),1]$. ... More
Botnets Drilling Away Privacy InfrastructureDec 20 2015In this paper, we explore various technologies and their roles in subverting the privacy infrastructure of the Internet. We also provide mitigation techniques on the attack vectors the technologies provide, and assess the overall severity of these threats. ... More
The Inverse Problem for the Dirichlet-to-Neumann map on Lorentzian manifoldsJul 29 2016Sep 27 2016We consider the Dirichlet-to-Neumann map $\Lambda$ on a cylinder-like Lorentzian manifold related to the wave equation related to the metric $g$, a magnetic field $A$ and a potential $q$. We show that we can recover the jet of $g,A,q$ on the boundary ... More
On some properties of nonnegative weakly irreducible tensorsNov 03 2011Mar 13 2012In this paper, we mainly focus on how to generalize some conclusions from nonnegative irreducible tensors to nonnegative weakly irreducible tensors. To do so, a basic and important lemma is proven using new tools. First, we give the definition of stochastic ... More
A note on the geometric simplicity of the spectral radius of nonnegative irreducible tensorsJan 13 2011Mar 13 2012We prove that the spectral radius of even order nonnegative irreducible tensors is real geometrically simple. In the case when the order of the tensor is odd, or in the complex field, some conditions are given to guarantee the geometric simplicity of ... More
Thermo and photoacoustic Tomography with variable speed and planar detectorsMay 03 2016We analyze the mathematical model of multiwave tomography with a variable speed with integrating measurements on planes tangent to a sphere surrounding the source. We prove sharp uniqueness and stability estimates with full and partial data and propose ... More
Multiwave tomography with reflectors: Landweber's iterationMar 23 2016Apr 19 2016We use the Landweber method for numerical simulations for the multiwave tomography problem with a reflecting boundary and compare it with the averaged time reversal method. We also analyze the rate of convergence and the dependence on the step size for ... More
Musielak-Orlicz Hardy Spaces Associated with Operators and Their ApplicationsJan 26 2012Jun 29 2012Let $\mathcal{X}$ be a metric space with doubling measure and $L$ a nonnegative self-adjoint operator in $L^2(\mathcal{X})$ satisfying the Davies-Gaffney estimates. Let $\varphi:\,\mathcal{X}\times[0,\infty)\to[0,\infty)$ be a function such that $\varphi(x,\cdot)$ ... More
Boundedness of Linear Operators via Atoms on Hardy Spaces with Non-doubling MeasuresJun 07 2009Let $\mu$ be a non-negative Radon measure on ${\mathbb R}^d$ which only satisfies the polynomial growth condition. Let ${\mathcal Y}$ be a Banach space and $H^1(\mu)$ the Hardy space of Tolsa. In this paper, the authors prove that a linear operator $T$ ... More
Real-variable Characterizations of Orlicz-Hardy Spaces on Strongly Lipschitz Domains of $\mathbb{R}^n$Jul 17 2011Let $\Omega$ be a strongly Lipschitz domain of $\mathbb{R}^n$, whose complement in $\mathbb{R}^n$ is unbounded. Let $L$ be a second order divergence form elliptic operator on $L^2 (\Omega)$ with the Dirichlet boundary condition, and the heat semigroup ... More
Application of EOS-ELM with binary Jaya-based feature selection to real-time transient stability assessment using PMU dataSep 08 2018Recent studies show that pattern-recognition-based transient stability assessment (PRTSA) is a promising approach for predicting the transient stability status of power systems. However, many of the current well-known PRTSA methods suffer from excessive ... More
Greatest solutions of equations in $\text{CLL}_R$ and its applicationNov 04 2014This paper explores the process calculus $\text{CLL}_R$ furtherly. First, we prove that for any equation $X=_{RS} t_X$ such that $X$ is strongly guarded in $t_X$, $\langle X|X=t_X \rangle$ is the largest solution w.r.t $\sqsubseteq_{RS}$. Second, we encode ... More
On Recursive Operations Over Logic LTSJan 15 2013Nov 25 2013Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has been introduced and explored. A variety of constructors over LLTS, including ... More
Minimum Dimension of a Hilbert Space Needed to Generate a Quantum CorrelationJul 01 2015Oct 25 2016Consider a two-party correlation that can be generated by performing local measurements on a bipartite quantum system. A question of fundamental importance is to understand how many resources, which we quantify by the dimension of the underlying quantum ... More
Adiabatic Quantum Counting by Geometric Phase EstimationMay 09 2008Aug 21 2009We design an adiabatic quantum algorithm for the counting problem, i.e., approximating the proportion, $\alpha$, of the marked items in a given database. As the quantum system undergoes a designed cyclic adiabatic evolution, it acquires a Berry phase ... More
Optical Sky Brightness and Transparency during the Winter Season at Dome A Antarctica from the Gattini-Allsky CameraOct 31 2016The summit of the Antarctic plateau, Dome A, is proving to be an excellent site for optical, NIR, and THz astronomical observations. GATTINI was a wide-field camera installed on the PLATO instrument module as part of the Chinese-led traverse to Dome A ... More
Optical Sky Brightness and Transparency During the Winter Season at Dome A Antarctica From the Gattini-Allsky CameraOct 31 2016Apr 12 2017The summit of the Antarctic plateau, Dome A, is proving to be an excellent site for optical, NIR, and THz astronomical observations. GATTINI was a wide-field camera installed on the PLATO instrument module as part of the Chinese-led traverse to Dome A ... More
Optical Sky Brightness and Transparency During the Winter Season at Dome A Antarctica From the Gattini-Allsky CameraOct 31 2016Nov 08 2016The summit of the Antarctic plateau, Dome A, is proving to be an excellent site for optical, NIR, and THz astronomical observations. GATTINI was a wide-field camera installed on the PLATO instrument module as part of the Chinese-led traverse to Dome A ... More
Adaptive elastic net and Separate Selection from Least Squares for ultra-high dimensional regression modelsOct 14 2014This paper studies the asymptotic properties of the adaptive elastic net in ultra-high dimensional sparse linear regression models and proposes a new method called SSLS (Separate Selection from Least Squares) to improve prediction accuracy. Besides, we ... More
Research on Information Security Enhancement Approaches and the Applications on HCI SystemsFeb 02 2016With rapid development of computer techniques, the human computer interaction scenarios are becoming more and more frequent. The development history of the human-computer interaction is from a person to adapt to the computer to the computer and continually ... More
Further Results for Perron-Frobenius Theorem for Nonnegative Tensors IIApr 02 2011Nov 20 2012In this paper, we generalize some conclusions from the nonnegative irreducible tensor to the nonnegative weakly irreducible tensor and give more properties of eigenvalue problems.
$L^2$ Forms and Ricci flow with bounded curvature on Complete Non-compact manifoldsSep 11 2005In this paper, we study the evolution of $L^2$ one forms under Ricci flow with bounded curvature on a non-compact Rimennian manifold. We show on such a manifold that the $L^2$ norm of a smooth one form with compact support is non-increasing along the ... More
Real-Variable Characterizations Of Hardy Spaces Associated With Bessel OperatorsFeb 07 2011Let $\lambda>0$, $p\in((2\lz+1)/(2\lz+2), 1]$, and $\triangle_\lambda\equiv-\frac{d^2}{dx^2}-\frac{2\lambda}{x} \frac d{dx}$ be the Bessel operator. In this paper, the authors establish the characterizations of atomic Hardy spaces $H^p((0, \infty), dm_\lambda)$ ... More
Decay of correlations for maximal measure of maps derived from Anosov: I: mostly contracting centerOct 03 2016It was proven by Ures that $C^1$ diffeomorphism on three dimensional torus that is derived from Anosov admits a unique maximal measure. Here we show that the maximal measure has exponential decay of correlations for H\"older observables, assuming the ... More
The Heart-shaped Supernova Remnant 3C391 viewed in Multi-bandsMar 29 2007Using Chandra X-ray, Spitzer mid-IR, and 1.5 GHz radio data, we examine the spatial structure of SNR 3C391. The X-ray surface brightness is generally anti-correlative with the IR and radio brightness. The multiband data clearly exhibit a heart-shaped ... More
Narrow Band Chandra X-ray Analysis of Supernova Remnant 3C391May 02 2005We present the narrow-band and the equivalent width (EW) images of the thermal composite supernova remnant (SNR) 3C391 for the X-ray emission lines of elements Mg, Si, & S using the Chandra ACIS Observational data. These EW images reveal the spatial distribution ... More
Photometry of Variable Stars from Dome A, Antarctica: Results from the 2010 Observing SeasonSep 12 2013We present results from a season of observations with the Chinese Small Telescope ARray (CSTAR), obtained over 183 days of the 2010 Antarctic winter. We carried out high-cadence time-series aperture photometry of 20,000 stars with i<15.3 mag located in ... More
Photometry of Variable Stars from Dome A, AntarcticaAug 02 2011Oct 14 2011Dome A on the Antarctic plateau is likely one of the best observing sites on Earth thanks to the excellent atmospheric conditions present at the site during the long polar winter night. We present high-cadence time-series aperture photometry of 10,000 ... More
Exchange-Correlation Energy from Pairing Matrix Fluctuation and the Particle-Particle Random Phase ApproximationJun 20 2013We formulate an adiabatic connection for the exchange-correlation energy in terms of pairing matrix fluctuation. This connection opens new channels for density functional approximations based on pairing interactions. Even the simplest approximation to ... More