arXiv subjects

Zhi Li

Publications and source records attributed to Zhi Li.

At least 343 records · Page 19Linked to original sources

arXiv2017

Exploring topological double-Weyl semimetals with cold atoms in optical lattices

We explore the topological properties of double-Weyl semimetals with cold atoms in optical lattices. We first propose to realize a tight-binding model of simulating the double-Weyl semimetal with a pair of double-Weyl points by engineering the atomic hopping in a three-dimensional optical lattice. We show that the double-Weyl points with topological charges of \$pm2$ behave as sink and source of Berry flux in momentum space connecting by two Fermi arcs and they are stabilized by the \$C_{4h}$ point-group symmetry. By applying a realizable \$C_4$ breaking term, we find that each double-Weyl point splits into two single-Weyl points and obtain rich phase diagrams in the parameter space spanned by the strengths of an effective Zeeman term and the \$C_4$ breaking term, which contains a topological and a normal insulating phases and two topological Weyl semimetal phases with eight and four single-Weyl points, apart from the double-Weyl semimetal phase. Furthermore, we demonstrate with numerical simulations that (i) the mimicked double- and single-Weyl points can be detected by measuring the atomic transfer fractions after a Bloch oscillation; (ii) the Chern number of different quantum phases in the phase diagram can be extracted from the center shift of the hybrid Wannier functions, which can be directly measured with the time-of-flight imaging; (iii) the band topology of the \$C_4$ symmetric Bloch Hamiltonian can be detected simply from measuring the spin polarization at the high symmetry momentum points with a condensate in the optical lattice. The proposed system would provide a promising platform for elaborating the intrinsic exotic physics of double-Weyl semimetals and the related topological phase transitions.

cond-mat.quant-gas↗

arXiv2017

Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach

Self-adaptive systems (SASs) are capable of adjusting its behavior in response to meaningful changes in the operational con-text and itself. The adaptation needs to be performed automatically through self-managed reactions and decision-making processes at runtime. To support this kind of automatic behavior, SASs must be endowed by a rich runtime support that can detect requirements violations and reason about adaptation decisions. Requirements Engineering for SASs primarily aims to model adaptation logic and mechanisms. Requirements models will guide the design decisions and runtime behaviors of sys-tem-to-be. This paper proposes a model-driven approach for achieving adaptation against non-functional requirements (NFRs), i.e. reliability and performances. The approach begins with the models in RE stage and provides runtime support for self-adaptation. We capture adaptation mechanisms as graphical elements in the goal model. By assigning reliability and performance attributes to related system tasks, we derive the tagged sequential diagram for specifying the reliability and performances of system behaviors. To formalize system behavior, we transform the requirements model to the corresponding behavior model, expressed by Label Transition Systems (LTS). To analyze the reliability requirements and performance requirements, we merged the sequential diagram and LTS to a variable Discrete-Time Markov Chains (DTMC) and a variable Continuous-Time Markov Chains (CTMC) respectively. Adaptation candidates are characterized by the variable states. The optimal decision is derived by verifying the concerned NFRs and reducing the decision space. Our approach is implemented through the demonstration of a mobile information system.

cs.SE↗

arXiv2017

Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach

Self-adaptive software (SAS) is capable of adjusting its behavior in response to meaningful changes in the operational context and itself. Due to the inherent volatility of the open and changeable environment in which SAS is embedded, the ability of adaptation is highly demanded by many software-intensive systems. Two concerns, i.e., the requirements uncertainty and the context uncertainty are most important among others at Requirements Engineering (RE) stage. However, requirements analyzers can hardly figure out the mathematical relation between requirements, system behavior and context, especially for complex and nonlinear systems, due to the existence of above uncertainties, misunderstanding and ambiguity of prior knowledge. An essential issue to be addressed is how to model and specify these uncertainties at RE stage and how to utilize the prior knowledge to achieve adaptation. In this paper, we propose a fuzzy-based approach to modeling uncertainty and achieving evolution. The approach introduces specifications to describe fuzziness. Based on the specifications, we derive a series of reasoning rules as knowledge base for achieving adaptation and evolution. These two targets are implemented through four reasoning schemas from a control theory perspective. Specifically, forward reasoning schema is used for direct adaptation; backward reasoning schema is used for optimal adaptation. Parameter-identified schema implements learning evolution by considering SAS as the gray-box system, while system-identified reasoning schema implements learning evolution by considering SAS as the gray-box system. The former two schemas function as the control group, while the latter two are de-signed as the experimental groups to illustrate the learning ability. Our approach is implemented under three types of context through the demonstration of a mobile computing application.

cs.SE↗

arXiv2017

A Model-Based Fuzzy Control Approach to Achieving Adaptation with Contextual Uncertainties

Self-adaptive system (SAS) is capable of adjusting its behavior in response to meaningful changes in the operational context and itself. Due to the inherent volatility of the open and changeable environment in which SAS is embedded, the ability of adaptation is highly demanded by many software-intensive systems. Two concerns, i.e., the requirements uncertainty and the context uncertainty are most important among others. An essential issue to be addressed is how to dynamically adapt non-functional requirements (NFRs) and task configurations of SASs with context uncertainty. In this paper, we propose a model-based fuzzy control approach that is underpinned by the feedforward-feedback control mechanism. This approach identifies and represents NFR uncertainties, task uncertainties and context uncertainties with linguistic variables, and then designs an inference structure and rules for the fuzzy controller based on the relations between the requirements model and the context model. The adaptation of NFRs and task configurations is achieved through fuzzification, inference, defuzzification and readaptation. Our approach is demonstrated with a mobile computing application and is evaluated through a series of simulation experiments.

cs.SE↗

arXiv2017

A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems

Over the last decade, researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this topic, few of them have categorized and summarized these areas of research in require-ments modeling and analysis. This study aims to investigate the research themes based on the utilized modeling methods and RE activities. We conduct a thematic study in the systematic literature review. The results are derived by synthesizing the extracted data with statistical methods. This paper provides an updated review of the research literature, enabling researchers and practitioners to better understand the research themes in these areas and identify research gaps which need to be further studied.

cs.SE↗

arXiv2017

Review on Requirements Modeling and Analysis for Self-Adaptive Systems: A Ten-Year Perspective

Context: Over the last decade, software researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of this field, no systematic study has been performed on summarizing modeling methods and corresponding requirements activities. Objective: This study summarizes the state-of-the-art research trends, details the modeling methods and corresponding requirements activities, identifies relevant quality attributes and application domains and assesses the quality of each study. Method: We perform a systematic literature review underpinned by a rigorously established and reviewed protocol. To ensure the quality of the study, we choose 21 highly regarded publication venues and 8 popular digital libraries. In addition, we apply text mining to derive search strings and use Kappa coefficient to mitigate disagreements of researchers. Results: We selected 109 papers during the period of 2003-2013 and presented the research distributions over various kinds of factors. We extracted 29 modeling methods which are classified into 8 categories and identified 14 requirements activities which are classified into 4 requirements timelines. We captured 8 concerned software quality attributes based on the ISO 9126 standard and 12 application domains. Conclusion: The frequency of application of modeling methods varies greatly. Enterprise models were more widely used while behavior models were more rigorously evaluated. Requirements-driven runtime adaptation was the most frequently studied requirements activity. Activities at runtime were conveyed with more details. Finally, we draw other conclusions by discussing how well modeling dimensions were considered in these modeling methods and how well assurance dimensions were conveyed in requirements activities.

cs.SE↗

arXiv2016

Upper bounds on the first eigenvalue for the $p$-Laplacian

In this paper, we establish gradient estimates for positive solutions to the following equation with respect to the $p$-Laplacian $$Δ_{p}u=-λ|u|^{p-2}u$$ with $p>1$ on a given complete Riemannian manifold. Consequently, we derive upper bound estimates of the first nontrivial eigenvalue of the $p$-Laplacian.

math.DG↗

arXiv2016

Learning Multi-Scale Deep Features for High-Resolution Satellite Image Classification

In this paper, we propose a multi-scale deep feature learning method for high-resolution satellite image classification. Specifically, we firstly warp the original satellite image into multiple different scales. The images in each scale are employed to train a deep convolutional neural network (DCNN). However, simultaneously training multiple DCNNs is time-consuming. To address this issue, we explore DCNN with spatial pyramid pooling (SPP-net). Since different SPP-nets have the same number of parameters, which share the identical initial values, and only fine-tuning the parameters in fully-connected layers ensures the effectiveness of each network, thereby greatly accelerating the training process. Then, the multi-scale satellite images are fed into their corresponding SPP-nets respectively to extract multi-scale deep features. Finally, a multiple kernel learning method is developed to automatically learn the optimal combination of such features. Experiments on two difficult datasets show that the proposed method achieves favorable performance compared to other state-of-the-art methods.

cs.CV↗

arXiv2016

Dynamics of Weyl quasiparticles emerged in an optical lattice

We investigate the dynamics of the Weyl quasiparticles emerged in an optical lattice where the topological Weyl semimental and trivial band insulator phases can be adjusted with the on-site energy. The evolution of the density distribution is demonstrated to have an anomalous velocity in Weyl semimental but a steady Zitterbewegung effect in the band insulator. Our analysis demonstrates that the topological Chern number and the chirality of the system can be directly determined from the positions of the atomic center-of-mass. Furthermore, the amplitude and the period of the relativistic Zitterbewegung oscillations are shown to be observable with the time-of-flight experiments.

cond-mat.quant-gas↗

arXiv2016

Visualizing the elongated vortices in $γ$-Ga nanostrips

We study the magnetic response of superconducting $γ$-Ga via low temperature scanning tunneling microscopy and spectroscopy. The magnetic vortex cores rely substantially on the Ga geometry, and exhibit an unexpectedly-large axial elongation with aspect ratio up to 40 in rectangular Ga nano-strips (width $l$ $<$ 100 nm). This is in stark contrast with the isotropic circular vortex core in a larger round-shaped Ga island. We suggest that the unusual elongated vortices in Ga nanostrips originate from geometric confinement effect probably via the strong repulsive interaction between the vortices and Meissner screening currents at the sample edge. Our finding provides novel conceptual insights into the geometrical confinement effect on magnetic vortices and forms the basis for the technological applications of superconductors.

cond-mat.supr-con↗

arXiv2016

Gas dynamics in the Milky Way: a low pattern speed model

We present gas flow models for the Milky Way based on high-resolution grid-based hydrodynamical simulations. The basic galactic potential we use is from a N-body model constrained by the density of red clump giants in the Galactic bulge. We augment this potential with a nuclear bulge, two pairs of spiral arms and additional mass at the bar end to represent the long bar component. With this combined model we can reproduce many features in the observed ($l,v$) diagram with a bar pattern speed of $33\; {\rm km}\;{\rm s}^{-1}\;{\rm kpc}^{-1}$ and a spiral pattern speed of $23\; {\rm km}\;{\rm s}^{-1}\;{\rm kpc}^{-1}$. The shape and kinematics of the nuclear ring, Bania's Clump 2, the Connecting arm, the Near and Far 3-kpc arms, the Molecular Ring, and the spiral arm tangent points in our simulations are comparable to those in the observations. Our results imply that a low pattern speed model for the bar in our Milky Way reproduces the observations for a suitable Galactic potential. Our best model gives a better match to the ($l,v$) diagram than previous high pattern speed hydrodynamical simulations.

astro-ph.GA↗

arXiv2016

Fog Computing: Focusing on Mobile Users at the Edge

With smart devices, particular smartphones, becoming our everyday companions, the ubiquitous mobile Internet and computing applications pervade people daily lives. With the surge demand on high-quality mobile services at anywhere, how to address the ubiquitous user demand and accommodate the explosive growth of mobile traffics is the key issue of the next generation mobile networks. The Fog computing is a promising solution towards this goal. Fog computing extends cloud computing by providing virtualized resources and engaged location-based services to the edge of the mobile networks so as to better serve mobile traffics. Therefore, Fog computing is a lubricant of the combination of cloud computing and mobile applications. In this article, we outline the main features of Fog computing and describe its concept, architecture and design goals. Lastly, we discuss some of the future research issues from the networking perspective.

cs.NI↗

arXiv2016

A View of Fog Computing from Networking Perspective

With smart devices, particular smartphones, becoming our everyday companions, the ubiquitous mobile Internet and computing applications pervade people's daily lives. With the surge demand on high-quality mobile services at anywhere, how to address the ubiquitous user demand and accommodate the explosive growth of mobile traffics is the key issue of the next generation mobile networks. The Fog computing is a promising solution towards this goal. Fog computing extends cloud computing by providing virtualized resources and engaged location-based services to the edge of the mobile networks so as to better serve mobile traffics. Therefore, Fog computing is a lubricant of the combination of cloud computing and mobile applications. In this article, we outline the main features of Fog computing and describe its concept, architecture and design goals. Lastly, we discuss some of the future research issues from the networking perspective.

cs.NI↗

arXiv2015

Stochastic Duty Cycling for Heterogenous Energy Harvesting Networks

In recent years, there have been several kinds of energy harvesting networks containing some tiny devices, such as ambient backscatter, ring and renewable sensor networks. During energy harvesting, such networks suffer from the energy heterogeneity, dynamics and prediction hardness because the access to natural resources is often spatiotemporal different and timely changing among the devices. Meanwhile, the charging efficiency is quite low especially when the power of the harvested energy is weak. It results in the energy waste to store the harvested energy indirectly. These features bring challenging and interesting issues on efficient allocation of the harvested energy. This paper studies the \emph{stochastic duty cycling} by considering these features with the objective characterized by maximizing the common active time. We consider two cases: offline and online stochastic duty cycling. For the offline case, we design an optimal solution: offline duty cycling algorithm. For the online case, we design an online duty cycling algorithm, which achieves the approximation ratio with at least $1-e^{-γ^2}$, where $γ$ is the probability able to harvest energy. We also evaluate our algorithms with the experiment on a real energy harvesting network. The experiment results show that the performance of the online algorithm can be very close to the offline algorithm.

cs.NI↗

arXiv2015

Monotonicity formulas of eigenvalues and energy functionals along the rescaled List's extended Ricci flow

In this paper, we study monotonicity formulas of eigenvalues and entropies along the rescaled List's extended Ricci flow. We derive some monotonicity formulas of eigenvalues of Laplacian which generalize those of Li in [8] and Cao-Hou-Ling in [3]. Moreover, we also consider monotonicity formulas of $\mathcal{F}_k$-functional which can be seen as a generalized $\mathcal{F}$-functional corresponding with steady Ricci breathers, and $\mathcal{W}_k$-functional which generalizes $\mathcal{W}$-functional corresponding with expanding Ricci breathers.

math.DG↗

arXiv2015

GdN thin-film: Chern Insulating State on Square Lattice

Using first-principles calculations, we predict a Chern insulating phase in thin films of the ferromagnetic semi-metal GdN. In contrast to previously proposed Chern insulator candidates, which mostly rely on honeycomb lattices, this system affords a great chance to realize the quantum anomalous Hall Effect on a square lattice without either a magnetic substrate or transition metal doping, making synthesis easier. The band inversion between 5d-orbitals of Gd and 2p-orbitals of N is verified by first-principles calculation based on density functional theory, and the band gap can be as large as 100 meV within GdN trilayer. With further increase of film thickness, the band gap tends to close and the metallic bulk property becomes obvious.

cond-mat.mtrl-sci↗

arXiv2015

Observation of van Hove Singularities in Twisted Silicene Multilayers

Interlayer interactions perturb the electronic structure of two-dimensional materials and lead to new physical phenomena, such as van Hove singularities and Hofstadter's butterfly pattern. Silicene, the recently discovered two-dimensional form of silicon, is quite unique, in that silicon atoms adopt competing sp 2 and sp 3 hybridization states leading to a low-buckled structure promising relatively strong interlayer interaction. In multilayer silicene, the stacking order provides an important yet rarely explored degree of freedom for tuning its electronic structures through manipulating interlayer coupling. Here, we report the emergence of van Hove singularities in the multilayer silicene created by an interlayer rotation. We demonstrate that even a large-angle rotation (> 20 o ) between stacked silicene layers can generate a Moire pattern and van Hove singularities due to the strong interlayer coupling in multilayer silicene. Our study suggests an intriguing method for expanding the tunability of the electronic structure for electronic applications in this two-dimensional material.

cond-mat.mtrl-sci↗

arXiv2015

Metal-Silicene Interaction Studied by Scanning Tunneling Microscopy

Ag atoms have been deposited on 3x3 silicene and R3xR3 silicene films by molecular beam epitaxy method in ultrahigh vacuum. Using scanning tunneling microscopy and Raman spectroscopy, we found that Ag atoms do not form chemical bonds with both 3x3 silicene and R3xR3 silicene films,which is due to chemically inert surface of silicene. On 3x3 silicene films, Ag atoms mostly form into stable flat top Ag islands. In contrast, Ag atoms form nanoclusters and glide on silicene films, suggesting more inert nature. Raman spectroscopy suggests that there is more sp2 hybridization in R3xR3 than in R7xR7/3x3silicene films

cond-mat.mtrl-sci↗