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

arXiv 2022年

作者： Lin, Weiyan Feng, Yang Wang, Yongchao Lian, Zichen Li, Hao Wu, Yang Liu, Chang Wang, Yihua Zhang, Jinsong Wang, Yayu Zhou, Xiaodong Shen, Jian State Key Laboratory of Surface Physics Institute for Nanoelectronic Devices and Quantum Computing Fudan University Shanghai China Department of Physics Fudan University Shanghai China State Key Laboratory of Low Dimensional Quantum Physics Department of Physics Tsinghua University Beijing China Beijing Innovation Center for Future Chips Tsinghua University Beijing China School of Materials Science and Engineering Tsinghua University Beijing China Tsinghua-Foxconn Nanotechnology Research Center Department of Physics Tsinghua University Beijing China Department of Mechanical Engineering Tsinghua University Beijing China Beijing Academy of Quantum Information Science Beijing China Shanghai Research Center for Quantum Sciences Shanghai China Frontier Science Center for Quantum Information Beijing China Collaborative Innovation Center of Advanced Microstructures Nanjing China Shanghai Qi Zhi Institute Shanghai China Zhangjiang Fudan International Innovation Center Fudan University Shanghai China

The beauty of quantum Hall (QH) effect is the metrological precision of Hall resistance quantization that originates from the topological edge states. Understanding the factors that lead to quantization breakdown not only provides important insights on the nature of the topological protection of these edge states, but is beneficial for device applications involving such quantized transport. In this work, we combine conventional transport and real space conductivity mapping to investigate whether the quantization breakdown is tied to the disappearance of edge state in the hotly studied MnBi2Te4system. Our experimental results unambiguously show that topological edge state does exist when quantization breakdown occurs. Such edge state is dissipative in nature and could lead to a quantization breakdown due to its diffusive character causing overlapping with bulk and other edge states in real devices. Our findings bring attentions to issues that are generally inaccessible in the transport study of QH, but can play important roles in practical measurements and device applications. © 2022, CC BY-NC-SA.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Matrix Classifier On Dynamic Functional Connectivity For Mci Identification

Matrix Classifier On Dynamic Functional Connectivity For Mci...

引用

IEEE International Conference on Image Processing

作者： Lei Zhou Liang Zhang Xiao Bai Jun Zhou School of Computer Science and Engineering Beijing Advanced Innovation Center for Big Data and Brain Computing State Key Laboratory of Software Development Environment Beihang University Beijing School of Information and Communication Technology Griffith University Nathan

ISBN: (数字)9781728163956

ISBN: (纸本)9781728163963

One of the most popular method for Alzheimer's disease (AD) diagnosis is exploring the Brain functional connectivity (FC) from resting-state functional magnetic resonance imaging (RS-fMRI). To early prevent AD, it is crucial to distinguish AD and and its preclinical stage, mild cognitive impairment (MCI) and early MCI (eMCI). In many existing works, dynamic functional connectivity (dFC) which contains rich spatiotemporal information has been exploited for the MCI and eMCI identification. However, most of these dFC based methods only consider the correlation between discrete brain status while ignore the valuable spatiotemporal information contained in dFC. To overcome this limitation, we propose a matrix classifier based method on the dFC signal for MCI and eMCI identification. Specifically, we first represent the dFC correlations by matrix features which contain rich spatiotemporal information and then learn the support matrix machines (SMM) to classify AD and its preclinical stage. Experiments on 600 real people data provide by the Alzheimer's Disease Neuroimaging Initiative (ADNI) demonstrate that our proposed matrix classifier based method outperforms other FC and dFC based methods for both normal controls (NC)/MCI identification and NC/eMCI identification.

关键词： Feature extraction Correlation Dementia Microsoft Windows Spatiotemporal phenomena Training

来源：评论

学校读者我要写书评

暂无评论

A Novel Timing-based Network Covert Channel Detection Method

A Novel Timing-based Network Covert Channel Detection Method

引用

2019 International Conference on Artificial Intelligence Technologies and Applications, ICAITA 2019

作者： Lu, Shoupu Chen, Zhifeng Fu, Guangxin Li, Qingbao State Key Laboratory of Mathematical Engineering and Advanced Computing Henan Province Zhengzhou450001 China Henan University of Economics and Law Henan Province Zhengzhou450000 China P.O.Box 5111 Beijing China

Network stealth events are endless, and covert timing channel is one of the most difficult means to prevent. In order to further improve the detection rate of covert timing channel, several typical network covert timing channel construction algorithms are analyzed. On the basis of the above analysis, a detection method based on IPDs multidimensional features was proposed in this paper. IPDs of covert timing channels from three dimensions: shape, change rule and data statistics are analyzed. Respectively, polarization feature, autocorrelation feature, clustering feature are proposed, and the three features are unified into a model. The threshold method is used to determine whether the channel to be detected is a normal channel. Experiments show that the method can detect the existing covert timing channel with less time cost and compared with the traditional detection method has a certain rate of improvement. © 2019 IOP Publishing Ltd. All rights reserved.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

The attack surface shifting in the mimic defense system 4

The attack surface shifting in the mimic defense system

引用

4th IEEE International Conference on Computer and Communications, ICCC 2018

作者： Wang, Liqun Zhang, Zheng Li, Weichao Liu, Hao MEAC State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781538683392

The notion of attack surface shifting is introduced to describe the situation of shifting the attack surface in the moving target defense system. However, the situation of shifting the attack surface in the mimic defense system is different from the situation of shifting the attack surface in the moving target defense system. Hence, the existing notion of attack surface shifting can't be applied to describe the situation of shifting the attack surface in mimic defense system. In this paper, we redefine the notion of attack surface shifting for the mimic defense system, and provide a formal method for quantifying the shifting. Experimental results reveal that the new notion of attack surface shifting contributes to improve the strategy of scheduling the heterogeneous redundant executive entity so as to enhance the security of mimic defense system. © 2018 IEEE.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Multi-Variant Execution Research of Software Diversity

Multi-Variant Execution Research of Software Diversity

引用

作者： Zhenwu Liu Zheng Zhang Jiexin Zhang Hao Liu State key Laboratory of Mathematical Engineering and Advanced Computing PLA Strategic Support Force Information Engineering University

As more and more software products are threatened by malicious reverse analysis,along with software products are pirated, tampered with and so on, it is of great significance to study software security protection technology in depth. As a software security protection technology, software diversification introduces uncertainty into the target program and provides probabilistic protection for the target program. Multi-Variant Execution(MVE) are fine-grained implementation of software diversification that produces functionally identical variants at the system call level. This article first introduces the related concepts of multivariant execution. Secondly, it expounds the key technologies of multi-variant execution implementation-variant generation, variant monitor, input/output and synchronization,monitor-variant communication. Security of monitors and different variant communication technologies are analyzed and compared, their advantages and defects are pointed out respectively. Several implementation methods of multi-variant execution design are summarized. Finally, the reasons for the false negatives and false positives of attack events are analyzed, and the prospects and challenges of using multi-variant execution techniques to implement security systems are summarized.

关键词： Multi-Variant Execution Research of Software Diversity

来源：评论

学校读者我要写书评

暂无评论

Free Viewpoint Video Synthesis Based on DIBR

Free Viewpoint Video Synthesis Based on DIBR

引用

IEEE Conference on Multimedia Information Processing and Retrieval (MIPR)

作者： Xuesong Gao Keqiu Li Weiqiang Chen Zhongyao Yang Wenguo Wei Yangang Cai College of Intelligence and Computing Tianjin University Tianjin China Tianjin Key Laboratory of Advanced Networking (TANK) Tianjin China State Key Laboratory of Digital Multimedia Technology Hisense Co. Ltd. Qingdao China School of Electronics Engineering and Computer Science Peking University Beijing China

ISBN: (数字)9781728142722

ISBN: (纸本)9781728142739

The Free Viewpoint Video (FVV) system is an advanced visual media mode, which could satisfy the audience's demand of watching from any viewpoints. It has aroused great interests in the field of multimedia and vision. This paper proposes a set of solutions, including depth estimation, virtual view interpolation and post processing, to synthesize and optimize the virtual view images. Specifically, deep learning based method is proposed to compute depth images, which is more efficient than traditional stereo matching algorithm. The virtual view can be synthesized with the help of DIBR algorithm in an arbitrary position between two reference cameras. To remove the noise caused by rendering, some post processing techniques, such as median filtering and hole filling, are employed. The extensive experimental results demonstrate that the quality of the synthesized free viewpoint video has been significantly improved using our method.

关键词： Estimation Image color analysis Cameras Three-dimensional displays Conferences Rendering (computer graphics) Streaming media

来源：评论

学校读者我要写书评

暂无评论

Upper security bounds for coherent-one-way quantum key distribution

arXiv

引用

arXiv 2020年

作者： González-Payo, Javier Trényi, Róbert Wang, Weilong Curty, Marcos Escuela de Ingeniería de Telecomunicación Department of Signal Theory and Communications University of Vigo VigoE-36310 Spain State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan450001 China Henan Key Laboratory of Network Cryptography Technology ZhengzhouHenan450001 China

The performance of quantum key distribution (QKD) is severely limited by multi-photon pulses emitted by laser sources due to the photon-number splitting attack. Coherent-one-way (COW) QKD has been introduced as a promising solution to overcome this limitation, and thus extend the achievable distance of practical QKD. Indeed, thanks to its experimental simplicity, the COW protocol is already used in commercial applications. Here, we derive simple upper security bounds on its secret key rate, which suggest that it scales quadratically with the system’s transmittance, thus solving a long-standing problem. That is, in contrast to what has been claimed, this approach does not seem to be appropriate for long-distance QKD transmission. Our findings imply that all long-distance implementations of the COW protocol performed so far are actually insecure. Copyright © 2020, The Authors. All rights reserved.

关键词： Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles

Rely-Guarantee Reasoning about Messaging System for Autonomo...

引用

Theoretical Aspects of Software engineering (TASE)

作者： Wenjing Xu Yongwang Zhao Dianfu Ma YuXin Zhang Qian Xiao State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang Univerisity Beijing China Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Beijing China State Key Laboratory of Automotive Simulation and Control College of Automotive Engineering Jilin University Jilin China School of Computer Science and Technology Guizhou University Guiyang China

Messaging system as a communicating infrastructure is a safety-critical component of autonomous vehicles. For the purpose of safety certification of Level 4 autonomous driving systems, its necessary to provide a formally verified specification of messaging systems. This paper presents a realistic case study using the PiCore rely-guarantee framework to formally verify the DGPS (Differential Global Positioning System) of UISEE autonomous driving systems. We first create an axiom model of messaging systems by extending PiCore, which is reusable for concrete applications. The model supports dynamic configuration of message buffers as well as the automatic generation of the rely and guarantee conditions for compositional reasoning. It is instantiated when developing the formal specification of DGPS. Then, we use the rely-guarantee proof system of PiCore to verify the functional correctness and invariant of DGPS. The specification and its proof provide a strong evidence for the ongoing safety certification of DGPS.

关键词： Cognition Safety Formal specifications Vehicle dynamics Autonomous vehicles Certification Global Positioning System

来源：评论

学校读者我要写书评

暂无评论

Data quality control system and long-term performance monitor of LHAASO-KM2A

引用

Astroparticle Physics 2025年 164卷

作者： Cao, Zhen Aharonian, F. Axikegu Bai, Y.X. Bao, Y.W. Bastieri, D. Bi, X.J. Bi, Y.J. Bian, W. Bukevich, A.V. Cao, Q. Cao, W.Y. Cao, Zhe Chang, J. Chang, J.F. Chen, A.M. Chen, E.S. Chen, H.X. Chen, Liang Chen, Lin Chen, Long Chen, M.J. Chen, M.L. Chen, Q.H. Chen, S. Chen, S.H. Chen, S.Z. Chen, T.L. Chen, Y. Cheng, N. Cheng, Y.D. Cui, M.Y. Cui, S.W. Cui, X.H. Cui, Y.D. Dai, B.Z. Dai, H.L. Dai, Z.G. Danzengluobu Dong, X.Q. Duan, K.K. Fan, J.H. Fan, Y.Z. Fang, J. Fang, J.H. Fang, K. Feng, C.F. Feng, H. Feng, L. Feng, S.H. Feng, X.T. Feng, Y. Feng, Y.L. Gabici, S. Gao, B. Gao, C.D. Gao, Q. Gao, W. Gao, W.K. Ge, M.M. Geng, L.S. Giacinti, G. Gong, G.H. Gou, Q.B. Gu, M.H. Guo, F.L. Guo, X.L. Guo, Y.Q. Guo, Y.Y. Han, Y.A. Hasan, M. He, H.H. He, H.N. He, J.Y. He, Y. Hor, Y.K. Hou, B.W. Hou, C. Hou, X. Hu, H.B. Hu, Q. Hu, S.C. Huang, D.H. Huang, T.Q. Huang, W.J. Huang, X.T. Huang, X.Y. Huang, Y. Ji, X.L. Jia, H.Y. Jia, K. Jiang, K. Jiang, X.W. Jiang, Z.J. Jin, M. Kang, M.M. Karpikov, I. Kuleshov, D. Kurinov, K. Li, B.B. Li, C.M. Li, Cheng Li, Cong Li, D. Li, F. Li, H.B. Li, H.C. Li, Jian Li, Jie Li, K. Li, S.D. Li, W.L. Li, X.R. Li, Xin Li, Y.Z. Li, Zhe Li, Zhuo Liang, E.W. Liang, Y.F. Lin, S.J. Liu, B. Liu, C. Liu, D. Liu, D.B. Liu, H. Liu, H.D. Liu, J. Liu, J.L. Liu, M.Y. Liu, R.Y. Liu, S.M. Liu, W. Liu, Y. Liu, Y.N. Luo, Q. Luo, Y. Lv, H.K. Ma, B.Q. Ma, L.L. Ma, X.H. Mao, J.R. Min, Z. Mitthumsiri, W. Mu, H.J. Nan, Y.C. Neronov, A. Ou, L.J. Pattarakijwanich, P. Pei, Z.Y. Qi, J.C. Qi, M.Y. Qiao, B.Q. Qin, J.J. Raza, A. Ruffolo, D. Sáiz, A. Saeed, M. Semikoz, D. Shao, L. Shchegolev, O. Sheng, X.D. Shu, F.W. Song, H.C. Stenkin, Yu.V. Stepanov, V. Su, Y. Sun, D.X. Sun, Q.N. Sun, X.N. Sun, Z.B. Key Laboratory of Particle Astrophysics & Experimental Physics Division & Computing Center Institute of High Energy Physics Chinese Academy of Sciences Beijing100049 China University of Chinese Academy of Sciences Beijing100049 China TIANFU Cosmic Ray Research Center Sichuan Chengdu China Dublin Institute for Advanced Studies 31 Fitzwilliam Place 2 Dublin Ireland Max–Planck-Institut for Nuclear Physics P.O. Box 103980 Heidelberg69029 Germany School of Physical Science and Technology & School of Information Science and Technology Southwest Jiaotong University Sichuan Chengdu610031 China School of Astronomy and Space Science Nanjing University Jiangsu Nanjing210023 China Center for Astrophysics Guangzhou University Guangdong Guangzhou510006 China Tsung-Dao Lee Institute & School of Physics and Astronomy Shanghai Jiao Tong University Shanghai200240 China Institute for Nuclear Research of Russian Academy of Sciences Moscow117312 Russia Hebei Normal University Hebei Shijiazhuang050024 China University of Science and Technology of China Anhui Hefei230026 China State Key Laboratory of Particle Detection and Electronics China Key Laboratory of Dark Matter and Space Astronomy & Key Laboratory of Radio Astronomy Purple Mountain Observatory Chinese Academy of Sciences Jiangsu Nanjing210023 China Research Center for Astronomical Computing Zhejiang Laboratory Zhejiang Hangzhou311121 China Key Laboratory for Research in Galaxies and Cosmology Shanghai Astronomical Observatory Chinese Academy of Sciences Shanghai200030 China School of Physics and Astronomy Yunnan University Yunnan Kunming650091 China Ministry of Education Tibet Lhasa850000 China Key Laboratory of Radio Astronomy and Technology National Astronomical Observatories Chinese Academy of Sciences Beijing100101 China Sun Yat-sen University Guangdong Zhuhai519000 China Sun Yat-sen University Guangdong Guangzhou510275 China Sun Yat-sen University Guangdong Zhuhai519000 Chi

The KM2A is the largest sub-array of the Large High Altitude Air Shower Observatory (LHAASO). It consists of 5216 electromagnetic particle detectors (EDs) and 1188 muon detectors (MDs). The data recorded by the EDs and MDs are used to reconstruct primary information of cosmic-ray and gamma-ray showers. To ensure the reliability of the LHAASO-KM2A data, a three-level quality control system has been established. It is used to monitor the status of detector units, stability of reconstructed parameters and the performance of the array based on observations of the Crab Nebula and Moon shadow. This paper will introduce the control system and its application on the LHAASO-KM2A data collected from August 2021 to July 2023. During this period, the pointing and angular resolution of the array were stable. From the observations of the Moon shadow and Crab Nebula, the results achieved using the two methods are consistent with each other. For example, according to the observation of the Crab Nebula with KM2A at energies from 25 TeV to 100 TeV, the time averaged pointing errors are estimated to be −0.003°±0.005° and 0.001°±0.006° in the R.A. and Dec directions, respectively. © 2024 Elsevier B.V.

关键词： Cosmology

来源：评论

学校读者我要写书评

暂无评论

Efficient and Privacy-Preserving Speaker Verification Scheme for Home Automation Devices

Efficient and Privacy-Preserving Speaker Verification Scheme...

引用

IEEE Conference on Multimedia Information Processing and Retrieval (MIPR)

作者： Xuesong Gao Keqiu Li Weiqiang Chen Weifeng Hu Ziling Zhang Qi Li College of Intelligence and Computing Tianjin University Tianjin China Tianjin Key Laboratory of Advanced Networking (TANK) Tianjin China State Key Laboratory of Digital Multimedia Technology Hisense Co. Ltd. Qingdao China School of Information Science and Engineering Shandong University Qingdao China School of Cyber Engineering Xidian University Xi'an China

ISBN: (数字)9781728142722

ISBN: (纸本)9781728142739

Speaker recognition technology has been widely used in home automation recently, which can provide identification for the user efficiently. However, speaker recognition technology brings security risks as well as convenience, especially the privacy disclosure of the user's voiceprint templates. This paper proposes an efficient and privacy-preserving speaker verification scheme for home automation devices, named SEASON. We modify the high-accuracy deepspeaker framework in terms of privacy, based on residual network. With SEASON, users can access the home automation devices securely. Detailed security analysis shows that SEASON can actually resist various security threats. We implement SEASON with real datasets and 48 real records from four testers. Experiments reveal that SEASON can achieve efficient and accurate verification.

关键词： Spectrogram Authentication Home automation Privacy IEEE transactions Speaker recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：