# Zheng Wang - East China Normal University

## Contact Details

NameZheng Wang |
||

AffiliationEast China Normal University |
||

CountryChina |
||

## Pubs By Year |
||

## Pub CategoriesPhysics - Optics (9) Physics - Strongly Correlated Electrons (6) High Energy Physics - Experiment (4) Computer Science - Cryptography and Security (4) Mathematics - Information Theory (4) Physics - Instrumentation and Detectors (4) Physics - Mesoscopic Systems and Quantum Hall Effect (4) Computer Science - Information Theory (4) Mathematics - Numerical Analysis (3) Physics - Materials Science (2) Computer Science - Logic in Computer Science (2) Quantum Physics (2) Computer Science - Software Engineering (2) Physics - Superconductivity (1) Quantitative Biology - Neurons and Cognition (1) Mathematical Physics (1) Computer Science - Learning (1) Statistics - Machine Learning (1) Mathematics - Mathematical Physics (1) Computer Science - Robotics (1) Computer Science - Data Structures and Algorithms (1) Physics - Soft Condensed Matter (1) Computer Science - Computation and Language (1) Computer Science - Artificial Intelligence (1) Statistics - Computation (1) Computer Science - Other (1) Computer Science - Networking and Internet Architecture (1) Computer Science - Performance (1) Quantitative Biology - Quantitative Methods (1) |

## Publications Authored By Zheng Wang

The ability to shape and control light using silicon---the leading material in microchip manufacturing---has fueled rapid growth of the field of silicon photonics. By routing and manipulating optical signals using silicon waveguides, modulators, and detectors, this burgeoning field has brought about an array of new technologies, spanning from energy-efficient computing to protein sequencing on a chip. Despite this tremendous progress, there remains a pressing need for new laser technologies in silicon as the basis for metrology, sensing, and signal processing applications. Read More

Distant supervision significantly reduces human efforts in building training data for many classification tasks. While promising, this technique often introduces noise to the generated training data, which can severely affect the model performance. In this paper, we take a deep look at the application of distant supervision in relation extraction. Read More

**Category:**Quantum Physics

This article presents general procedures for constructing, estimating, and testing Hilbert space multi-dimensional (HSM) models, which are based on quantum probability theory. HSM models can be applied to collections of K different contingency tables obtained from a set of p variables that are measured under different contexts. A context is defined by the measurement of a subset of the p variables that are used to form a table. Read More

Sampling from the lattice Gaussian distribution is an efficient way for solving the closest vector problem (CVP) in lattice decoding. In this paper, decoding by MCMC-based lattice Gaussian sampling is investigated in full details. First of all, the spectral gap of the transition matrix of the Markov chain induced by the independent Metropolis-Hastings-Klein (MHK) algorithm is derived, dictating an exponential convergence rate to the target lattice Gaussian distribution. Read More

Morphological transformations of amphiphilic AB diblock copolymers in mixtures of a common solvent (S1) and a selective solvent (S2) for the B block are studied using the simulated annealing method. We focus on the morphological transformation depending on the fraction of the selective solvent CS2, the concentration of the polymer CP, and the polymer-solvent interactions {\epsilon}ij (i = A, B; j = S1, S2). Morphology diagrams are constructed as functions of CP, CS2, and/or {\epsilon}AS2. Read More

In this work, we study the guaranteed delivery model which is widely used in online display advertising. In the guaranteed delivery scenario, ad exposures (which are also called impressions in some works) to users are guaranteed by contracts signed in advance between advertisers and publishers. A crucial problem for the advertising platform is how to fully utilize the valuable user traffic to generate as much as possible revenue. Read More

This paper studies the optimal risk-averse timing to sell a risky asset. The investor's risk preference is described by the exponential, power, or log utility. Two stochastic models are considered for the asset price -- the geometric Brownian motion and exponential Ornstein-Uhlenbeck models -- to account for, respectively, the trending and mean-reverting price dynamics. Read More

We present a high order time-domain nodal discontinuous Galerkin method for wave problems on hybrid meshes consisting of both wedge and tetrahedral elements. We allow for vertically mapped wedges which can be deformed along the extruded coordinate, and present a simple method for producing quasi-uniform wedge meshes for layered domains. We show that standard mass lumping techniques result in a loss of energy stability on meshes of vertically mapped wedges, and propose an alternative which is both energy stable and efficient. Read More

Prior distributions for Bayesian inference that rely on the $l_1$-norm of the parameters are of considerable interest, in part because they promote parameter fields with less regularity than Gaussian priors (e.g., discontinuities and blockiness). Read More

The DNS relies on caching to ensure high scalability and good performance. In optimizing caching, TTL adjustment provides a means of balancing between query load and TTL-dependent performances such as data consistency, load balancing, migration time, etc. To gain the desired balance, TTL adjustment depends on predictions of query loads under alternative TTLs. Read More

Parallelization is featured by DNS recursive servers to do time-consuming recursions on behalf on clients. As common DNS configurations, recursive servers should allow a reasonable timeout for each recursion which may take as long as several seconds. However, it is proposed in this paper that recursion parallelization may be exploited by attackers to compromise the recursion timeout mechanism for the purpose of DoS or DDoS attacks. Read More

**Category:**Physics - Strongly Correlated Electrons

The quantum phase transition, scaling behaviors, and thermodynamics in the spin-1/2 quantum Heisenberg model with antiferromagnetic coupling $J>0$ in armchair direction and ferromagnetic interaction $J'<0$ in zigzag direction on a honeycomb lattice are systematically studied using the continuous-time quantum Monte Carlo method. By calculating the Binder ratio $Q_{2}$ and spin stiffness $\rho$ in two directions for various coupling ratio $\alpha=J'/J$ under different lattice sizes, we found that a quantum phase transition from the dimerized phase to the stripe phase occurs at the quantum critical point $\alpha_c=-0.93$. Read More

The Domain Name System (DNS) is one of the most fundamental components of the Internet. While glue is widely used and heavily relied on in DNS operations, there is little thinking about the necessity, complexity, and venerability of such prevalent configuration. This work is the first to provide extensive and systematic analysis of DNS glue. Read More

This paper proposes a defense scheme against malicious use of DNS tunnel. A tunnel validator is designed to provide trustworthy tunnel-aware defensive recursive service. In addition to the detection algorithm of malicious tunnel domains, the tunnel validation relies on registered tunnel domains as whitelist and identified malicious tunnel domains as blacklist. Read More

Robots that autonomously manipulate objects within warehouses have the potential to shorten the package delivery time and improve the efficiency of the e-commerce industry. In this paper, we present a robotic system that is capable of both picking and placing general objects in warehouse scenarios. Given a target object, the robot autonomously detects it from a shelf or a table and estimates its full 6D pose. Read More

We report extremely large positive magnetoresistance of 1.72 million percent in single crystal TaSb$_{2}$ at moderate conditions of 1.5 K and 15 T. Read More

The threats of caching poisoning attacks largely stimulate the deployment of DNSSEC. Being a strong but demanding cryptographical defense, DNSSEC has its universal adoption predicted to go through a lengthy transition. Thus the DNSSEC practitioners call for a secure yet lightweight solution to speed up DNSSEC deployment while offering an acceptable DNSSEC-like defense. Read More

This paper proposes a new approach for estimating the failure time distribution using the indicator data. The indicators, which are checked by periodic inspection of a standby redundant system, only convey whether at least one failure occurs per interval. The estimation procedure first obtains the estimation of the forward recurrence time using the indicator data. Read More

**Category:**

This paper studies the problem of trading futures with transaction costs when the underlying spot price is mean-reverting. Specifically, we model the spot dynamics by the Ornstein-Uhlenbeck (OU), Cox-Ingersoll-Ross (CIR), or exponential Ornstein-Uhlenbeck (XOU) model. The futures term structure is derived and its connection to futures price dynamics is examined. Read More

**Authors:**Yuxiang Jiang, Tal Ronnen Oron, Wyatt T Clark, Asma R Bankapur, Daniel D'Andrea, Rosalba Lepore, Christopher S Funk, Indika Kahanda, Karin M Verspoor, Asa Ben-Hur, Emily Koo, Duncan Penfold-Brown, Dennis Shasha, Noah Youngs, Richard Bonneau, Alexandra Lin, Sayed ME Sahraeian, Pier Luigi Martelli, Giuseppe Profiti, Rita Casadio, Renzhi Cao, Zhaolong Zhong, Jianlin Cheng, Adrian Altenhoff, Nives Skunca, Christophe Dessimoz, Tunca Dogan, Kai Hakala, Suwisa Kaewphan, Farrokh Mehryary, Tapio Salakoski, Filip Ginter, Hai Fang, Ben Smithers, Matt Oates, Julian Gough, Petri Törönen, Patrik Koskinen, Liisa Holm, Ching-Tai Chen, Wen-Lian Hsu, Kevin Bryson, Domenico Cozzetto, Federico Minneci, David T Jones, Samuel Chapman, Dukka B K. C., Ishita K Khan, Daisuke Kihara, Dan Ofer, Nadav Rappoport, Amos Stern, Elena Cibrian-Uhalte, Paul Denny, Rebecca E Foulger, Reija Hieta, Duncan Legge, Ruth C Lovering, Michele Magrane, Anna N Melidoni, Prudence Mutowo-Meullenet, Klemens Pichler, Aleksandra Shypitsyna, Biao Li, Pooya Zakeri, Sarah ElShal, Léon-Charles Tranchevent, Sayoni Das, Natalie L Dawson, David Lee, Jonathan G Lees, Ian Sillitoe, Prajwal Bhat, Tamás Nepusz, Alfonso E Romero, Rajkumar Sasidharan, Haixuan Yang, Alberto Paccanaro, Jesse Gillis, Adriana E Sedeño-Cortés, Paul Pavlidis, Shou Feng, Juan M Cejuela, Tatyana Goldberg, Tobias Hamp, Lothar Richter, Asaf Salamov, Toni Gabaldon, Marina Marcet-Houben, Fran Supek, Qingtian Gong, Wei Ning, Yuanpeng Zhou, Weidong Tian, Marco Falda, Paolo Fontana, Enrico Lavezzo, Stefano Toppo, Carlo Ferrari, Manuel Giollo, Damiano Piovesan, Silvio Tosatto, Angela del Pozo, José M Fernández, Paolo Maietta, Alfonso Valencia, Michael L Tress, Alfredo Benso, Stefano Di Carlo, Gianfranco Politano, Alessandro Savino, Hafeez Ur Rehman, Matteo Re, Marco Mesiti, Giorgio Valentini, Joachim W Bargsten, Aalt DJ van Dijk, Branislava Gemovic, Sanja Glisic, Vladmir Perovic, Veljko Veljkovic, Nevena Veljkovic, Danillo C Almeida-e-Silva, Ricardo ZN Vencio, Malvika Sharan, Jörg Vogel, Lakesh Kansakar, Shanshan Zhang, Slobodan Vucetic, Zheng Wang, Michael JE Sternberg, Mark N Wass, Rachael P Huntley, Maria J Martin, Claire O'Donovan, Peter N Robinson, Yves Moreau, Anna Tramontano, Patricia C Babbitt, Steven E Brenner, Michal Linial, Christine A Orengo, Burkhard Rost, Casey S Greene, Sean D Mooney, Iddo Friedberg, Predrag Radivojac

Background: The increasing volume and variety of genotypic and phenotypic data is a major defining characteristic of modern biomedical sciences. At the same time, the limitations in technology for generating data and the inherently stochastic nature of biomolecular events have led to the discrepancy between the volume of data and the amount of knowledge gleaned from it. A major bottleneck in our ability to understand the molecular underpinnings of life is the assignment of function to biological macromolecules, especially proteins. Read More

The KM2A(one kilometer square extensive air shower array) is the largest detector array in the LHAA- SO(Large High Altitude Air Shower Observatory) project. The KM2A consists of 5635 EDs(Electromagnetic particle Detectors) and 1221 MDs(Muon Detectors). The EDs are distributed and exposed in the wild. Read More

Photonic crystal slabs have been widely used in nanophotonics for light confinement, dispersion engineering, nonlinearity enhancement, and other unusual effects arising from their structural periodicity. Sub-micron device sizes and mode volumes are routine for silicon-based photonic crystal slabs, however spectrally they are limited to operate in the near infrared. Here, we show that two single-layer graphene sheets allow silicon photonic crystal slabs with submicron periodicity to operate in the terahertz regime, with an extreme 100x wavelength reduction and excellent out-of-plane confinement. Read More

We demonstrate that graphene placed on top of structured substrates offers a novel approach for trapping and guiding surface plasmons. A monolayer graphene with a spatially varying curvature exhibits an effective trapping potential for graphene plasmons near curved areas such as bumps, humps and wells. We derive the governing equation for describing such localized channel plasmons guided by curved graphene and validate our theory by the first-principle numerical simulations. Read More

We examine the unusual dispersion and attenuation of transverse electromagnetic waves in the few-THz regime on nanoscale graphene and copper transmission lines. Conventionally, such propagation has been considered to be highly dispersive, due to the RC-constant-driven voltage diffusion below 1THz and plasmonic effects at higher frequencies. Our numerical modelling between the microwave and optical regimes reveals that conductor kinetic inductance creates an ultra-broadband LC region. Read More

**Authors:**Fengpeng An, Guangpeng An, Qi An, Vito Antonelli, Eric Baussan, John Beacom, Leonid Bezrukov, Simon Blyth, Riccardo Brugnera, Margherita Buizza Avanzini, Jose Busto, Anatael Cabrera, Hao Cai, Xiao Cai, Antonio Cammi, Guofu Cao, Jun Cao, Yun Chang, Shaomin Chen, Shenjian Chen, Yixue Chen, Davide Chiesa, Massimiliano Clemenza, Barbara Clerbaux, Janet Conrad, Davide D'Angelo, Herve De Kerret, Zhi Deng, Ziyan Deng, Yayun Ding, Zelimir Djurcic, Damien Dornic, Marcos Dracos, Olivier Drapier, Stefano Dusini, Stephen Dye, Timo Enqvist, Donghua Fan, Jian Fang, Laurent Favart, Richard Ford, Marianne Goger-Neff, Haonan Gan, Alberto Garfagnini, Marco Giammarchi, Maxim Gonchar, Guanghua Gong, Hui Gong, Michel Gonin, Marco Grassi, Christian Grewing, Mengyun Guan, Vic Guarino, Gang Guo, Wanlei Guo, Xin-Heng Guo, Caren Hagner, Ran Han, Miao He, Yuekun Heng, Yee Hsiung, Jun Hu, Shouyang Hu, Tao Hu, Hanxiong Huang, Xingtao Huang, Lei Huo, Ara Ioannisian, Manfred Jeitler, Xiangdong Ji, Xiaoshan Jiang, Cecile Jollet, Li Kang, Michael Karagounis, Narine Kazarian, Zinovy Krumshteyn, Andre Kruth, Pasi Kuusiniemi, Tobias Lachenmaier, Rupert Leitner, Chao Li, Jiaxing Li, Weidong Li, Weiguo Li, Xiaomei Li, Xiaonan Li, Yi Li, Yufeng Li, Zhi-Bing Li, Hao Liang, Guey-Lin Lin, Tao Lin, Yen-Hsun Lin, Jiajie Ling, Ivano Lippi, Dawei Liu, Hongbang Liu, Hu Liu, Jianglai Liu, Jianli Liu, Jinchang Liu, Qian Liu, Shubin Liu, Shulin Liu, Paolo Lombardi, Yongbing Long, Haoqi Lu, Jiashu Lu, Jingbin Lu, Junguang Lu, Bayarto Lubsandorzhiev, Livia Ludhova, Shu Luo, Vladimir Lyashuk, Randolph Mollenberg, Xubo Ma, Fabio Mantovani, Yajun Mao, Stefano M. Mari, William F. McDonough, Guang Meng, Anselmo Meregaglia, Emanuela Meroni, Mauro Mezzetto, Lino Miramonti, Thomas Mueller, Dmitry Naumov, Lothar Oberauer, Juan Pedro Ochoa-Ricoux, Alexander Olshevskiy, Fausto Ortica, Alessandro Paoloni, Haiping Peng, Jen-Chieh Peng, Ezio Previtali, Ming Qi, Sen Qian, Xin Qian, Yongzhong Qian, Zhonghua Qin, Georg Raffelt, Gioacchino Ranucci, Barbara Ricci, Markus Robens, Aldo Romani, Xiangdong Ruan, Xichao Ruan, Giuseppe Salamanna, Mike Shaevitz, Valery Sinev, Chiara Sirignano, Monica Sisti, Oleg Smirnov, Michael Soiron, Achim Stahl, Luca Stanco, Jochen Steinmann, Xilei Sun, Yongjie Sun, Dmitriy Taichenachev, Jian Tang, Igor Tkachev, Wladyslaw Trzaska, Stefan van Waasen, Cristina Volpe, Vit Vorobel, Lucia Votano, Chung-Hsiang Wang, Guoli Wang, Hao Wang, Meng Wang, Ruiguang Wang, Siguang Wang, Wei Wang, Yi Wang, Yi Wang, Yifang Wang, Zhe Wang, Zheng Wang, Zhigang Wang, Zhimin Wang, Wei Wei, Liangjian Wen, Christopher Wiebusch, Bjorn Wonsak, Qun Wu, Claudia-Elisabeth Wulz, Michael Wurm, Yufei Xi, Dongmei Xia, Yuguang Xie, Zhi-zhong Xing, Jilei Xu, Baojun Yan, Changgen Yang, Chaowen Yang, Guang Yang, Lei Yang, Yifan Yang, Yu Yao, Ugur Yegin, Frederic Yermia, Zhengyun You, Boxiang Yu, Chunxu Yu, Zeyuan Yu, Sandra Zavatarelli, Liang Zhan, Chao Zhang, Hong-Hao Zhang, Jiawen Zhang, Jingbo Zhang, Qingmin Zhang, Yu-Mei Zhang, Zhenyu Zhang, Zhenghua Zhao, Yangheng Zheng, Weili Zhong, Guorong Zhou, Jing Zhou, Li Zhou, Rong Zhou, Shun Zhou, Wenxiong Zhou, Xiang Zhou, Yeling Zhou, Yufeng Zhou, Jiaheng Zou

The Jiangmen Underground Neutrino Observatory (JUNO), a 20 kton multi-purpose underground liquid scintillator detector, was proposed with the determination of the neutrino mass hierarchy as a primary physics goal. It is also capable of observing neutrinos from terrestrial and extra-terrestrial sources, including supernova burst neutrinos, diffuse supernova neutrino background, geoneutrinos, atmospheric neutrinos, solar neutrinos, as well as exotic searches such as nucleon decays, dark matter, sterile neutrinos, etc. We present the physics motivations and the anticipated performance of the JUNO detector for various proposed measurements. Read More

Topological states of quantum matter exhibit unique disorder-immune surface states protected by underlying nontrivial topological invariants of the bulk. Such immunity from backscattering makes topological surface or edge states ideal carriers for both classical and quantum information. So far, topological matters have been explored only in the realms of electronics and photonics, with limited range of bulk properties and largely immutable materials. Read More

We present a time-explicit discontinuous Galerkin (DG) solver for the time-domain acoustic wave equation on hybrid meshes containing vertex-mapped hexahedral, wedge, pyramidal and tetrahedral elements. Discretely energy-stable formulations are presented for both Gauss-Legendre and Gauss-Legendre-Lobatto (Spectral Element) nodal bases for the hexahedron. Stable timestep restrictions for hybrid meshes are derived by bounding the spectral radius of the DG operator using order-dependent constants in trace and Markov inequalities. Read More

This paper studies the timing of trades under mean-reverting price dynamics subject to fixed transaction costs. We solve an optimal double stopping problem to determine the optimal times to enter and subsequently exit the market, when prices are driven by an exponential Ornstein-Uhlenbeck process. In addition, we analyze a related optimal switching problem that involves an infinite sequence of trades, and identify the conditions under which the double stopping and switching problems admit the same optimal entry and/or exit timing strategies. Read More

The neutrino detector of the Jiangmen Underground Neutrino Observatory (JUNO) is designed to use 20 kilotons of liquid scintillator and approximately 16,000 20-inch photomultipliers (PMTs).One of the options is to use the 20-inch R12860 PMT with high quantum efficiency which has recently been developed by Hamamatsu Photonics. The performance of the newly developed PMT preproduction samples is evaluated. Read More

Sampling from the lattice Gaussian distribution is emerging as an important problem in coding and cryptography. In this paper, the classic Metropolis-Hastings (MH) algorithm from Markov chain Monte Carlo (MCMC) methods is adapted for lattice Gaussian sampling. Two MH-based algorithms are proposed, which overcome the restriction suffered by the default Klein's algorithm. Read More

This paper analyzes the problem of starting and stopping a Cox-Ingersoll-Ross (CIR) process with fixed costs. In addition, we also study a related optimal switching problem that involves an infinite sequence of starts and stops. We establish the conditions under which the starting-stopping and switching problems admit the same optimal starting and/or stopping strategies. Read More

Rapid progress in silicon photonics has fostered numerous chip-scale sensing, computing, and signal processing technologies. However, many crucial filtering and signal delay operations are difficult to perform with all-optical devices. Unlike photons propagating at luminal speeds, GHz-acoustic phonons with slow velocity allow information to be stored, filtered, and delayed over comparatively smaller length-scales with remarkable fidelity. Read More

Single-layer graphene exhibits exceptional mechanical properties attractive for optomechanics: it combines low mass density, large tensile modulus, and low bending stiffness. However, at visible wavelengths, graphene absorbs weakly and reflects even less, thereby inadequate to generate large optical forces needed in optomechanics. Here, we numerically show that a single-layer graphene sheet is sufficient to produce strong optical forces under terahertz or infrared illumination. Read More

This article starts out with a detailed example illustrating the utility of applying quantum probability to psychology. Then it describes several alternative mathematical methods for mapping fundamental quantum concepts (such as state preparation, measurement, state evolution) to fundamental psychological concepts (such as stimulus, response, information processing). For state preparation, we consider both pure states and densities with mixtures. Read More

Sampling from a lattice Gaussian distribution is emerging as an important problem in various areas such as coding and cryptography. The default sampling algorithm --- Klein's algorithm yields a distribution close to the lattice Gaussian only if the standard deviation is sufficiently large. In this paper, we propose the Markov chain Monte Carlo (MCMC) method for lattice Gaussian sampling when this condition is not satisfied. Read More

**Authors:**Yaping Cheng, Sen Qian, Zhe Ning, Jingkai Xia, Wenwen Wang, Yifang Wang, Jun Cao, Xiaoshan Jiang, Zheng Wang, Xiaonan Li, Ming Qi, Yuekun Heng, Shulin Liu, Xiangcui Lei, Zhi Wu

A system employing a desktop FADC has been developed to investigate the features of 8 inches Hamamatsu PMT. The system stands out for its high-speed and informative results as a consequence of adopting fast waveform sampling technology. Recording full waveforms allows us to perform digital signal processing, pulse shape analysis, and precision timing extraction. Read More

In this paper, we propose an efficient and scalable low rank matrix completion algorithm. The key idea is to extend orthogonal matching pursuit method from the vector case to the matrix case. We further propose an economic version of our algorithm by introducing a novel weight updating rule to reduce the time and storage complexity. Read More

We discuss spin-$S$ antiferromagnetic Heisenberg chains with three-spin interactions, next-nearest-neighbor interactions, and bond alternation. First, we prove rigorously that there exist parameter regions of the exact dimerized ground state in this system. This is a generalization of the Majumdar-Ghosh model to arbitrary $S$. Read More

In this paper, a derandomized algorithm for sampling decoding is proposed to achieve near-optimal performance in lattice decoding. By setting a probability threshold to sample candidates, the whole sampling procedure becomes deterministic, which brings considerable performance improvement and complexity reduction over to the randomized sampling. Moreover, the upper bound on the sample size K, which corresponds to near-maximum likelihood (ML) performance, is derived. Read More

Recently, it was discussed that the $\nu=1/3$ fractional quantum Hall state can be expressed by a one-dimensional lattice model with an exact matrix-prduct ground state, when toroidal boundary conditions are assumed for a narrow strip [Phys. Rev. Lett. Read More

While nanoscale modal confinement radically enhances a variety of nonlinear light-matter interactions within silicon waveguides, traveling-wave stimulated Brillouin scattering nonlinearities have never been observed in silicon nanophotonics. Through a new class of hybrid photonic-phononic waveguides, we demonstrate tailorable traveling-wave forward stimulated Brillouin scattering in nanophotonic silicon waveguides for the first time, yielding 3000 times stronger forward SBS responses than any previous waveguide system. Simulations reveal that a coherent combination of electrostrictive forces and radiation pressures are responsible for greatly enhanced photon-phonon coupling at nano-scales. Read More

**Authors:**Zheng Wang

^{1}, Geguang Pu

^{2}, Jianwen Li

^{3}, Jifeng He

^{4}, Shengchao Qin

^{5}, Kim G. Larsen

^{6}, Jan Madsen

^{7}, Bin Gu

^{8}

**Affiliations:**

^{1}East China Normal University,

^{2}East China Normal University,

^{3}East China Normal University,

^{4}East China Normal University,

^{5}University of Teesside,

^{6}Aalborg University of Denmark,

^{7}Technical University of Denmark,

^{8}Beijing Institute of Control Engineering

Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modelling languages for such systems in the relevant industry. Read More

By combining exotic band dispersion with nontrivial band topology, an interesting type of band structure, namely the flat chern band (FCB), has recently been proposed to spawn high-temperature fractional quantum hall states. Despite the proposal of several theoretical lattice models, however, it remains a doubt whether such a "romance of flatland" could exist in a real material. Here, we present a first-principles design of a two-dimensional (2D) Indium-Phenylene Organometallic Framework (IPOF) that realizes a nearly FCB right around the Fermi level by combining lattice geometry, spin-orbit coupling and ferromagnetism. Read More

We develop a general method of calculating Stimulated Brillouin Scattering (SBS) gain coefficient in axially periodic waveguides. Applying this method to a silicon periodic waveguide suspended in air, we demonstrate that SBS nonlinearity can be dramatically enhanced at the brillouin zone boundary where the decreased group velocity of light magnifies photon-phonon interaction. In addition, we show that the symmetry plane perpendicular to the propagation axis plays an important role in both forward and backward SBS processes. Read More

We develop a general framework of evaluating the gain coefficient of Stimulated Brillouin Scattering (SBS) in optical waveguides via the overlap integral between optical and elastic eigen-modes. We show that spatial symmetry of the optical force dictates the selection rules of the excitable elastic modes. By applying this method to a rectangular silicon waveguide, we demonstrate the spatial distributions of optical force and elastic eigen-modes jointly determine the magnitude and scaling of SBS gain coefficient in both forward and backward SBS processes. Read More

In this paper, we consider the problem of translating LTL formulas to Buechi automata. We first translate the given LTL formula into a special disjuctive-normal form (DNF). The formula will be part of the state, and its DNF normal form specifies the atomic properties that should hold immediately (labels of the transitions) and the formula that should hold afterwards (the corresponding successor state). Read More

Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive computing in their modes. Despite the fact that such control systems are widely used in the above-mentioned safety-critical embedded domains, there is lack of domain-specific formal modelling languages for such systems in the relevant industry. Read More

**Authors:**Peter Bulychev

^{1}, Alexandre David

^{2}, Kim Gulstrand Larsen

^{3}, Marius Mikučionis

^{4}, Danny Bøgsted Poulsen

^{5}, Axel Legay

^{6}, Zheng Wang

^{7}

**Affiliations:**

^{1}Aalborg University, Denmark,

^{2}Aalborg University, Denmark,

^{3}Aalborg University, Denmark,

^{4}Aalborg University, Denmark,

^{5}Aalborg University, Denmark,

^{6}INRIA rennes, France and Aalborg University, Denmark,

^{7}East China Normal University, China

This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of networks of priced timed automata under a natural stochastic semantics. In particular, uppaalsmc relies on a series of extensions of the statistical model checking approach generalized to handle real-time systems and estimate undecidable problems. Read More

We introduce one-dimensional lattice models with exact matrix-product ground states describing the fractional quantum Hall (FQH) states in Laughlin series (given by filling factors $\nu=1/q$) on torus geometry. Surprisingly, the exactly solvable Hamiltonian has the same mathematical structure as that of the pseudopotential for the Laughlin wave function, and naturally derives the general properties of the Laughlin wave function such as the $Z_2$ properties of the FQH states and the fermion-boson relation. The obtained exact ground states have high overlaps with the Laughlin states and well describe their properties. Read More

By direct quenching or post-annealing followed by quenching, we have successfully obtained a series of KxFe2-ySe2 samples with different properties. It is found that the samples directly quenched in the cooling process of growth show superconductivity and the one cooled with furnace is insulating even though their stoichiometries are similar. The sample cooled with furnace can be tuned from insulating to superconducting by post-annealing and then quenching. Read More