检索结果-内蒙古大学图书馆

arXiv 2017年

作者： Li, Keren Li, Youning Han, Muxin Lu, Sirui Zhou, Jie Ruan, Dong Long, Guilu Wan, Yidun Lu, Dawei Zeng, Bei Laflamme, Raymond State Key Laboratory of Low-Dimensional Quantum Physics and Department of Physics Tsinghua University Beijing100084 China Institute for Quantum Computing Department of Physics and Astronomy University of Waterloo WaterlooONN2L 3G1 Canada Department of Physics Florida Atlantic University 777 Glades Road Boca RatonFL33431 United States Institut für Quantengravitation Universität Erlangen-Nürnberg Staudtstr. 7/B2 Erlangen91058 Germany Perimeter Institute for Theoretical Physics WaterlooONN2L 2Y5 Canada Department of Physics Center for Field Theory and Particle Physics Fudan University Shanghai200433 China Collaborative Innovation Center of Advanced Microstructures Nanjing210093 China Department of Physics and Institute for Quantum Science and Engineering Southern University of Science and Technology Shenzhen518055 China Department of Mathematics and Statistics University of Guelph GuelphONN1G 2W1 Canada Canadian Institute for Advanced Research TorontoONM5G 1Z8 Canada

We experimentally simulate the spin networks—a fundamental description of quantum spacetime at the Planck level. We achieve this by simulating quantum tetrahedra and their interactions. The tensor product of these quantum tetrahedra comprises spin networks. In this initial attempt to study quantum spacetime by quantum information processing, on a four-qubit nuclear magnetic resonance quantum simulator, we simulate the basic module—comprising five quantum tetrahedra—of the interactions of quantum spacetime. By measuring the geometric properties on the corresponding quantum tetrahedra and simulate their interactions, our experiment serves as the basic module that represents the Feynman diagram vertex in the spin-network formulation of quantum spacetime. Copyright © 2017, The Authors. All rights reserved.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

Bounded model checking of traffic light control system

Bounded model checking of traffic light control system

引用

作者： Yu, Bin Duan, Zhenhua Tian, Cong Institute of Computing Theory and Technology ISN Lab. Xidian University Xi'an China

Traffic Light Control System (TLCS) is widely used in our daily life. It is of great importance to ensure the correctness of TLCS. In this paper, bounded model checking (BMC) is chosen to verify a simple but practical TLCS. To this end, Propositional Projection Temporal Logic (PPTL) used as the property specification language and the process of BMC for PPTL are briefly introduced. Then, a TLCS is described and its corresponding Kripke structure is given. Finally, two related properties specified by PPTL formulas are verified for the system using the BMC approach. The verification result using our bounded model checker, BMC4PPTL, shows that the behavior of TLCS is consistent with the specification. © 2014 The Authors. Published by Elsevier B.V.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Insecurity of Detector-Device-Independent Quantum Key Distribution

引用

Physical Review Letters 2016年第25期117卷 250505-250505页

作者： Shihan Sajeed Anqi Huang Shihai Sun Feihu Xu Vadim Makarov Marcos Curty Institute for Quantum Computing University of Waterloo Waterloo Ontario N2L 3G1 Canada Department of Electrical and Computer Engineering University of Waterloo Waterloo Ontario N2L 3G1 Canada College of Science National University of Defense Technology Changsha 410073 China Research Laboratory of Electronics Massachusetts Institute of Technology 77 Massachusetts Avenue Cambridge Massachusetts 02139 USA Department of Physics and Astronomy University of Waterloo Waterloo Ontario N2L 3G1 Canada Escuela de Ingeniería de Telecomunicación Department of Signal Theory and Communications University of Vigo Vigo E-36310 Spain

Detector-device-independent quantum key distribution (DDI-QKD) held the promise of being robust to detector side channels, a major security loophole in quantum key distribution (QKD) implementations. In contrast to what has been claimed, however, we demonstrate that the security of DDI-QKD is not based on postselected entanglement, and we introduce various eavesdropping strategies that show that DDI-QKD is in fact insecure against detector side-channel attacks as well as against other attacks that exploit devices’ imperfections of the receiver. Our attacks are valid even when the QKD apparatuses are built by the legitimate users of the system themselves, and thus, free of malicious modifications, which is a key assumption in DDI-QKD.

关键词： Quantum communication Quantum cryptography Quantum information processing Quantum optics

来源：评论

学校读者我要写书评

暂无评论

Modeling and verification of RBC handover protocol

Modeling and verification of RBC handover protocol

引用

作者： Yang, Kai Duan, Zhenhua Tian, Cong Institute of Computing Theory and Technology ISN Lab. Xidian University Xi'an China

Radio Block Center (RBC) is a core part of the Chinese Train Control System level 3 (CTCS-3) which is a protocol for safety critical systems. The correctness of the RBC handover protocol is one of the most important factors affecting the safety of systems. Hence, it is of great importance to ensure the correctness of the protocol. To this end, some formal methods have been used to model and verify the protocol. In this paper, we use Modeling, Simulation and Verification Language (MSVL) as the formal language to model and verify the protocol. The result shows that the behavior of RBC handover is consistent with the specification. © 2014 The Authors. Published by Elsevier B.V.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Electronic structure of palladium in the presence of many-body effects

引用

Physical Review B 2016年第15期93卷 155152-155152页

作者： A. Östlin W. H. Appelt I. Di Marco W. Sun M. Radonjić M. Sekania L. Vitos O. Tjernberg L. Chioncel Theoretical Physics III Center for Electronic Correlations and Magnetism Institute of Physics University of Augsburg D-86135 Augsburg Germany Augsburg Center for Innovative Technologies University of Augsburg D-86135 Augsburg Germany Department of Physics and Astronomy Division of Materials Theory Uppsala University Box 516 SE-75120 Uppsala Sweden Scientific Computing Laboratory Institute of Physics Belgrade University of Belgrade Pregrevica 118 11080 Belgrade Serbia Andronikashvili Institute of Physics Tamarashvili 6 0177 Tbilisi Georgia Department of Materials Science and Engineering Applied Materials Physics KTH Royal Institute of Technology SE-10044 Stockholm Sweden Research Institute for Solid State Physics and Optics Wigner Research Center for Physics P.O. Box 49 H-1525 Budapest Hungary Materials Physics KTH Royal Institute of Technology SE-16440 Kista Sweden

Including on-site electronic interactions described by the multiorbital Hubbard model we study the correlation effects in the electronic structure of bulk palladium. We use a combined density functional and dynamical mean-field theory, LDA+DMFT, based on the fluctuation exchange approximation. The agreement between the experimentally determined and the theoretical lattice constant and bulk modulus is improved when correlation effects are included. It is found that correlations modify the Fermi surface around the neck at the L point while the Fermi surface tube structures show little correlation effects. At the same time we discuss the possibility of satellite formation in the high-energy binding region. Spectral functions obtained within the LDA+DMFT and GW methods are compared to discuss nonlocal correlation effects. For relatively weak local Coulomb interaction and Hund's exchange coupling the LDA+DMFT spectra show no major difference in comparison to GW.

关键词： Electronic structure DFT+DMFT GW method Hubbard model

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 3 Antwerp, Belgium. 15-20 July 2017 Abstracts

引用

BMC NEUROSCIENCE 2017年第SUPPL 1期18卷 95-176页

作者： [Anonymous] Department of Neuroscience Yale University New Haven CT 06520 USA Department Physiology & Pharmacology SUNY Downstate Brooklyn NY 11203 USA NYU School of Engineering 6 MetroTech Center Brooklyn NY 11201 USA Departament de Matemàtica Aplicada Universitat Politècnica de Catalunya Barcelona 08028 Spain Institut de Neurobiologie de la Méditerrannée (INMED) INSERM UMR901 Aix-Marseille Univ Marseille France Center of Neural Science New York University New York NY USA Aix-Marseille Univ INSERM INS Inst Neurosci Syst Marseille France Laboratoire de Physique Théorique et Modélisation CNRS UMR 8089 Université de Cergy-Pontoise 95300 Cergy-Pontoise Cedex France Department of Mathematics and Computer Science ENSAT Abdelmalek Essaadi’s University Tangier Morocco Laboratory of Natural Computation Department of Information and Electrical Engineering and Applied Mathematics University of Salerno 84084 Fisciano SA Italy Department of Medicine University of Salerno 84083 Lancusi SA Italy Dipartimento di Fisica Università degli Studi Aldo Moro Bari and INFN Sezione Di Bari Italy Data Analysis Department Ghent University Ghent Belgium Coma Science Group University of Liège Liège Belgium Cruces Hospital and Ikerbasque Research Center Bilbao Spain BIOtech Department of Industrial Engineering University of Trento and IRCS-PAT FBK 38010 Trento Italy Department of Data Analysis Ghent University Ghent 9000 Belgium The Wellcome Trust Centre for Neuroimaging University College London London WC1N 3BG UK Department of Electronic Engineering NED University of Engineering and Technology Karachi Pakistan Blue Brain Project École Polytechnique Fédérale de Lausanne Lausanne Switzerland Departement of Mathematics Swansea University Swansea Wales UK Laboratory for Topology and Neuroscience at the Brain Mind Institute École polytechnique fédérale de Lausanne Lausanne Switzerland Institute of Mathematics University of Aberdeen Aberdeen Scotland UK Department of Integrativ

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROSCIENCE 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Domain decomposition and terabyte tallies with the openmc monte carlo neutron transport code

Domain decomposition and terabyte tallies with the openmc mo...

引用

2014 International Conference on Physics of Reactors, PHYSOR 2014

作者： Horelik, Nicholas Forget, Benoit Smith, Kord Siegel, Andrew Department of Nuclear Science and Engineering Massachusetts Institute of Technology CambridgeMA United States Argonne National Laboratory Theory and Computing Sciences ArgonneIL60439 United States

Memory limitations are a key obstacle to applying Monte Carlo neutron transport methods to high-fidelity full-core reactor analysis. Billions of unique regions are needed to carry out full-core depletion and fuel performance analyses, equating to terabytes of memory for isotopic abundances and tally scores-far more than can fit on a single computational node in modern architectures. Thiswork introduces an implementation of domain decomposition that addresses this problem, demonstrating excellent scaling up to a 2.39TB mesh-Tally distributed across 512 compute nodes running a full-core reactor benchmark on the Mira Blue Gene/Q supercomputer at Argonne National laboratory. © Proceedings of the International Conference on Physics of Reactors, PHYSOR 2014. All right reserved.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

New analysis of ηπ tensor resonances measured at the COMPASS experiment

arXiv

引用

arXiv 2017年

作者： Jackura, A. Fernández-Ramírez, C. Mikhasenko, M. Pilloni, A. Mathieu, V. Nys, J. Pauk, V. Szczepaniak, A.P. Fox, G. Aghasyan, M. Akhunzyanov, R. Alexeev, M.G. Alexeev, G.D. Amoroso, A. Andrieux, V. Anfimov, N.V. Anosov, V. Antoshkin, A. Augsten, K. Augustyniak, W. Austregesilo, A. Azevedo, C.D.R. Badelek, B. Balestra, F. Ball, M. Barth, J. Beck, R. Bedfer, Y. Bernhard, J. Bicker, K. Bielert, E.R. Birsa, R. Bodlak, M. Bordalo, P. Bradamante, F. Bressan, A. Büchele, M. Burtsev, V.E. Chang, W.-C. Chatterjee, C. Chiosso, M. Choi, I. Chumakov, A.G. Chung, S.-U. Cicuttin, A. Crespo, M.L. Dalla Torre, S. Dasgupta, S.S. Dasgupta, S. Denisov, O.Yu. Dhara, L. Donskov, S.V. Doshita, N. Dreisbach, Ch. Dusaev, R.R. Dziewiecki, M. Efremov, A. Eversheim, P.D. Ferrero, A. Finger, M. Finger, M. Fischer, H. Franco, C. du Fresne von Hohenesche, N. Friedrich, J.M. Frolov, V. Fuchey, E. Gautheron, F. Gavrichtchouk, O.P. Gerassimov, S. Giarra, J. Giordano, F. Gnesi, I. Gorzellik, M. Grasso, A. Grosse Perdekamp, M. Grube, B. Grussenmeyer, T. Guskov, A. Hahne, D. Hamar, G. von Harrach, D. Heinsius, F.H. Heitz, R. Herrmann, F. Horikawa, N. d'Hose, N. Hsieh, C.-Y. Huber, S. Ishimoto, S. Ivanov, A. Ivanshin, Yu. Iwata, T. Jary, V. Joosten, R. Jörg, P. Kabuß, E. Kerbizi, A. Ketzer, B. Khaustov, G.V. Khokhlov, Yu.A. Kisselev, Yu. Klein, F. Koivuniemi, J.H. Kolosov, V.N. Kondo, K. Königsmann, K. Konorov, I. Konstantinov, V.F. Kotzinian, A.M. Kouznetsov, O.M. Kral, Z. Krämer, M. Kremser, P. Krinner, F. Kroumchtein, Z.V. Kulinich, Y. Kunne, F. Kurek, K. Kurjata, R.P. Kuznetsov, I.I. Kveton, A. Lednev, A.A. Levchenko, E.A. Levillain, M. Levorato, S. Lian, Y.-S. Lichtenstadt, J. Longo, R. Lyubovitskij, V.E. Maggiora, A. Magnon, A. Makins, N. Makke, N. Mallot, G.K. Mamon, S.A. Marianski, B. Martin, A. Marzec, J. Matoušek, J. Matsuda, H. Matsuda, T. Meshcheryakov, G.V. Meyer, M. Meyer, W. Mikhailov, Yu.V. Mikhasenko, M. Mitrofanov, E. Mitrofanov, N. Miyachi, Y. University of Aveiro Dept. of Physics Aveiro3810-193 Portugal Physics Dept. Indiana University BloomingtonIN47405 United States Center for Exploration of Energy and Matter Indiana University BloomingtonIN47403 United States School of Informatics and Computing Indiana University BloomingtonIN47405 United States Universität Bochum Institut für Experimentalphysik Bochum44780 Germany Universität Bonn Helmholtz-Institut für Strahlen- und Kernphysik Bonn53115 Germany Universität Bonn Physikalisches Institut Bonn53115 Germany Institute of Scientific Instruments AS CR Brno61264 Czech Republic Matrivani Institute of Experimental Research & Education Calcutta700 030 India Joint Institute for Nuclear Research Dubna Moscow region141980 Russia Dept. of Physics and Astronomy Ghent University Ghent9000 Belgium Universität Freiburg Physikalisches Institut Freiburg79104 Germany CERN Geneva 231211 Switzerland Technical University in Liberec Liberec46117 Czech Republic LIP Lisbon1000-149 Portugal Universität Mainz Institut für Kernphysik Mainz55099 Germany Instituto de Ciencias Nucleares Universidad Nacional Autónoma de México Ciudad de México04510 Mexico University of Miyazaki Miyazaki889-2192 Japan Lebedev Physical Institute Moscow119991 Russia Technische Universität München Physik Dept. Garching85748 Germany Theory Center Thomas Jefferson National Accelerator Facility Newport NewsVA23606 United States Nagoya University Nagoya464 Japan Charles University in Prague Faculty of Mathematics and Physics Prague18000 Czech Republic Czech Technical University in Prague Prague16636 Czech Republic State Scientific Center Institute for High Energy Physics of National Research Center 'Kurchatov Institute' Protvino142281 Russia IRFU CEA Université Paris-Saclay Gif-sur-Yvette91191 France Academia Sinica Institute of Physics Taipei11529 Taiwan Tel Aviv University School of Physics and Astronomy Tel Aviv69978 Israel University of Trieste

We present a new amplitude analysis of the ηπ D-wave in π− p → ηπ− p measured by COMPASS. Employing an analytical model based on the principles of the relativistic S-matrix, we find two resonances that can be identified with the a2(1320) and the excited a02(1700), and perform a comprehensive analysis of their pole positions. For the mass and width of the a2 we find M = (1307 ±1 ± 6) MeV and Γ = (112±1±8) MeV, and for the excited state a02 we obtain M = (1720±10±60) MeV and Γ = (280 ±10 ±70) MeV, respectively. Copyright © 2017, The Authors. All rights reserved.

关键词： Excited states

来源：评论

学校读者我要写书评

暂无评论

Compressed sensing image reconstruction algorithm by dictionary learning 14

Compressed sensing image reconstruction algorithm by diction...

引用

6th International Conference on Internet Multimedia computing and Service, ICIMCS 2014

作者： Shen, Yanfei Zhu, Guangyu Li, Jintao Zhu, Zhenmin Institute of Computing Technology Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China MOE Key Laboratory for Transportation Complex Systems Theory and Technology Beijing Jiaotong University Beijing China World Capital Cities Smooth Traffic Collaborative Innovation Center Beijing China

ISBN: (纸本)9781450328104

It is a challenging task to reconstruct images from compressed sensing measurement due to its implicit ill-posed property. In this paper, we propose an image reconstruction algorithm for compressed sensing image application based on the adaptive dictionary, which is learned from the reconstructed image itself. The sparsity level is enhanced since the sparse coding of overlapping image patches takes into account the local image features, and accordingly the quality of the reconstructed image is improved. In addition, linearization technique is also exploited to remove the computation of matrix inversion. Numerical experiments are conducted on several test images with a variety of sampling ratios. The results demonstrate that our proposed algorithm can efficiently reconstruct images from compressed sensing measurements and achieve more than 3dB gain averagely over the current state-of-art compressed sensing reconstruction algorithms. Copyright 2014 ACM.

关键词： Image reconstruction

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：