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

International Workshop/Symposium on Distributed Simulation and Real-Time Applications (DS-RT)

作者： Romolo Marotta Federica Montesano Alessandro Pellegrini Francesco Quaglia DICII Tor Vergata University of Rome Centro Nazionale di Ricerca in High Performance Computing Big Data e Quantum Computing

Checkpointing techniques for speculative parallel simulation of discrete event models have been widely studied in the literature. However, there has been a very marginal attempt to exploit operating system page-protection services, which have instead been largely exploited in the context of checkpointing for fault tolerance. In this article, we discuss how these services can effectively manage simulation models with large states and write-intensive events in zones of the state layout. In particular, we present a solution where the correlation of write operations on buddy pages in the state layout can be exploited to achieve effective incremental checkpointing support, which allows scaling down the costs of operating system services. Our solution does not require any instrumentation of the simulation application code and is usable on any Posix-compliant operating system. We also discuss its integration within the USE (Ultimate-Share-Everything) open-source speculative simulation package and report some experimental data for its assessment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Boosting Meaningful Dependency Mining with Clustering and Covariance Analysis 40

Boosting Meaningful Dependency Mining with Clustering and Co...

引用

40th IEEE International Conference on Data Engineering, ICDE 2024

作者： Wang, Xi Jin, Ruochun Huang, Wanrong Tang, Yuhua Institute for Quantum Information State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Changsha China College of Computer Science and Technology Department of Intelligent Data Science National University of Defense Technology Changsha China

ISBN: (纸本)9798350317152

Functional dependencies (FDs) form a valuable ingredient for various data management tasks. However, existing methods can hardly discover practical and interpretable FDs, especially in large noisy real-life datasets. This paper studies the problem of discovering meaningful functional dependencies (FDms) that utilize support and error parameters to capture interesting dependencies in such datasets and proposes an efficient discovery algorithm called FDM?. In order to scale with large datasets, FDM ? employs an efficient sampling method with accuracy guarantees to capture the differences between tuple pairs and to quantify the connection between support/error of dependencies on samples and those on the entire dataset. Moreover, it adopts a clustering-based correlated attributes extraction to divide the exponentially large search space into multiple small sub-spaces and proposes an easy-first traversal strategy with covariance-based guidance that quickly detects candidate dependencies and validates them. Additionally, we prove a covariance lower bound as an additional pruning criterion to reduce the search space. Extensive experiments on real-life and synthetic datasets demonstrate that FDM ? is 14 times faster than existing discovery algorithms on average, up to 31 times, and scales to larger datasets with the least memory cost. © 2024 IEEE.

关键词： Large datasets

来源：评论

学校读者我要写书评

暂无评论

Passive on-chip isolators based on the thin-film lithium niobate platform

引用

Chinese Physics B 2025年第3期34卷 408-413页

作者： Jiacheng Liu Gongyu Xia Qilin Hong Pingyu Zhu Kai-Kai Zhang Keyu Xia Ping Xu Shiqiao Qin Zhihong Zhu College of Advanced Interdisciplinary Studies&Hunan Provincial Key Laboratory of Novel Nano Optoelectronic Information Materials and Devices National University of Defense TechnologyChangsha 410073China Institute for Quantum Information and State Key Laboratory of High-Performance Computing College of Computer Science and TechnologyNational University of Defense TechnologyChangsha 410073China College of Engineering and Applied Sciences National Laboratory of Solid State Microstructuresand Collaborative Innovation Center of Advanced MicrostructuresNanjing UniversityNanjing 210023China

Optical isolators,the photonic analogs of electronic diodes,are essential for ensuring the unidirectional flow of light in optical systems,thereby mitigating the destabilizing effects of back ***-film lithium niobate(TFLN),hailed as“the silicon of photonics,”has emerged as a pivotal material in the realm of chip-scale nonlinear optics,propelling the demand for compact optical *** report a breakthrough in the development of a fully passive,integrated optical isolator on the TFLN platform,leveraging the Kerr effect to achieve an impressive 10.3 dB of isolation with a minimal insertion loss of 1.87 *** theoretical simulations have demonstrated that our design,when applied to a microring resonator with a Q factor of 5×10^(6),can achieve 20 dB of isolation with an input power of merely 8 *** advancement underscores the immense potential of lithium niobate-based Kerr-effect isolators in propelling the integration and application of high-performance on-chip lasers,heralding a new era in integrated photonics.

关键词： thin-film lithium niobate Kerr effect optical isolator

来源：评论

学校读者我要写书评

暂无评论

Bioinspired sensing-memory-computing integrated vision systems: biomimetic mechanisms, design principles, and applications

引用

Science China(Information Sciences) 2024年第5期67卷 5-27页

作者： Yujie HUANG Yinlong TAN Yan KANG Yabo CHEN Yuhua TANG Tian JIANG Institute for Quantum Information and State Key Laboratory of High Performance Computing College of Computer National University of Defense Technology College of Advanced Interdisciplinary Studies National University of Defense Technology Institute for Quantum Science and Technology College of ScienceNational University of Defense Technology

With the explosion of sensory data in the Internet of Things(Io T) era, conventional machine vision systems are becoming increasingly difficult to meet the requirements of high efficiency, low energy consumption, and low latency due to their inherent shortcomings of separate sensing, memory, and computing units. Inspired by the retina and neuromorphic computing, the sensing-memory-computing integrated vision system(SMCVS) that features low power consumption, low latency, and high parallelism has been considered a promising technology to surpass the von Neumann architecture and realize strong artificial ***, novel materials like two-dimensional semiconductors and quantum dots with novel optoelectronic performance provide hardware carriers for implementing integrated sensing-memory-computing architectures,attracting considerable attention. This paper reviews the recent research progress in bioinspired vision systems in terms of biomimetic mechanisms, design principles, computational architectures, and ***, the biomimetic mechanisms are illustrated to guide the design of high-performance artificial visual perception systems. Then the research progress of optoelectronic-synapse-based bioinspired vision systems in the device principles and applications including image filtering, color recognition, visual adaptation, and motion detection are summarized. Finally, the challenges and future developing directions of the SMCVS are provided regarding bionic application, architecture design, and device fabrication.

关键词： sensing-memory-computing architecture neuromorphic computing retinomorphic device image recognition visual system

来源：评论

学校读者我要写书评

暂无评论

high-frequency Voltage Signal Fault Diagnosis Based on Multi-channel Hierarchical Structure Capsule-Attention Network 8

High-frequency Voltage Signal Fault Diagnosis Based on Multi...

引用

8th International Conference on Big Data and Information Analytics, BigDIA 2022

作者： Miao, Qiucheng Xu, Chuanfu Zhan, Jun Zhu, Dong Wu, Chengkun Institute for Quantum Information State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Hunan Changsha China

ISBN: (数字)9781665487962

ISBN: (纸本)9781665487962

An important research area for covered conductors is partial discharge detection. However, the complex distribution of high-frequency signals with particular noise and the long tail problem create a considerable obstacle to accurate detection. This paper proposes a Capsule-Attention model with a Multi-channel Hierarchical structure, which separately utilize ResNet and BiGRU to extract short- and long-term high-frequency and pre-filter existing irrelevant information. The capsule layer is good at multidimensional and spatial information representation, and we utilize it to recognize and classify fault conditions. The attention mechanism's weight distribution quantifies the importance of features in the entire signal. Considering the class imbalance of the long-tail distribution of samples, We propose a Focal-MCC (FMCC) loss function. The proposed loss reshapes the typical cross-entropy loss, hence reducing the weights allocated to well-classified instances. Matthews Correlation Coefficient penalizes false positives/false negatives to prevent parameters from falling into local minimums. The experiments indicate that the model proposed is useful in detecting partial discharge faults and has application value. The code is available at https://***/qiumia030/capsule_attention. © 2022 IEEE.

关键词： Failure analysis

来源：评论

学校读者我要写书评

暂无评论

Simulation of the quantum Key Distribution Algorithm Using the Intel quantum SDK

Simulation of the Quantum Key Distribution Algorithm Using t...

引用

International Conference on Advanced Computer Information Technologies (ACIT)

作者： Yaknan John Gambo Tejas Shinde Kevin Rasch Helena Liebelt Rui Li High Performance Computing and Quantum Computing Deggendorf Institute of Technology Deggendorf Germany Quantum Computing Research Intel Inc Hillsboro Oregon US Department of Computer Science Deggendorf Institute of Technology Deggendorf Germany

Information security is an important fabric of our world today. Technologies used in the development of information security have constantly been evolving in response to new threats. Cryptographic algorithms like the RSA, DSA, AES etc. are currently being used in securing information even over insecure channels. The coming of quantum computers has now posed a great threat to classical cryptosystems which can be broken in polynomial time thanks to Shor’s algorithm. A good hacker with good quantum computing power can break into encrypted messages easily. The quantum Key Distribution (QKD) algorithm based on the BB84 protocol provides a solution to this problem. It makes it possible for communicating parties to exchange secret keys securely before a conversation can ensue. Verifying if these keys have been tampered with is a good first step to start before any other. QKD technology has made it possible to exchange these keys via an insecure channel and lets communicating parties know if an eavesdropper has tempered with the message. In this work, we discuss the QKD algorithm and simulated it on the newly released Intel quantum SDK.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PEPC: Parallel and Extensible PC Implementation for Causal Structure Learning 23

PEPC: Parallel and Extensible PC Implementation for Causal S...

引用

7th International Conference on high performance Compilation, computing and Communications, HP3C 2023

作者： Feng, Yongquan Xu, Liyang Huang, Wanrong Yang, Wenjing Lu, Yutong Institute for Quantum Information State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Changsha China School of Computer Science and Engineering Sun Yat-sen University Guangzhou China

ISBN: (纸本)9781450399883

Learning the causal relationships among variables from observational data has been a significant problem in statistics and data mining, and one such algorithm is the PC algorithm. However, the existing CPU-based implementations are difficult to support Causal Structure Learning(CSL) on complex observational data due to inefficiency. In this paper, we propose an efficient CPU-based parallel implementation of the PC algorithm, called PEPC. It has an extensible framework, and some optimizations are adopted to reduce the CSL computation of the PC algorithm. Moreover, our PEPC supports efficient multi-thread parallelism. The experimental results demonstrate that PEPC outperforms existing methods in serial efficiency and multi-thread parallelism. In serial tests, our method achieves the maximum speedup ratios of 577.26, 116.74, and 134.68 over three existing approaches, Stable, ***, and Tetrad. In parallel experiments, it achieves 10.66X speedup when running the PC algorithm with 12 threads. © 2023 ACM.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Solving 2 by 2 Grid Sudoku Problem using Grover’s Algorithm with Intel quantum SDK

Solving 2 by 2 Grid Sudoku Problem using Grover’s Algorithm...

引用

International Conference on Advanced Computer Information Technologies (ACIT)

作者： Tejas Shinde Yaknan John Gambo Kevin Rasch Helena Liebelt Rui Li High Performance Computing and Quantum Computing Deggendorf Institute of Technology Deggendorf Germany Quantum Computing Research Intel Inc Hillsboro Oregon US Department of Applied Computer Science Deggendorf Institute of Technology Deggendorf Germany

quantum technologies are moving towards enabling real world uses and as these technologies develop. The most important thing that differs quantum from classical computers is that quantum Computers can do “multiple” tasks at the same time as opposed to the classical computers doing a single task at a time. This phenomenon has led to the discovery of a few algorithms that are faster than regular computers. One such algorithm is the Grover’s Algorithm[l]. This algorithm has shown a few real-world applications such as quantum Search Algorithm, Travelling salesman, etc[2]. In this paper, Grover’s algorithm is introduced, and a 2 x 2 Sudoku example is solved using Intel quantum Software Development Kit[3]. The Intel quantum SDK is quite new and in this paper we show how a simple Grover’s Problem can be implemented in the SDK. Sudoku is a popular number-based puzzle game played on a grid consisting of nine squares subdivided into smaller 3x3 grids. The objective is to fill the grid with numbers from 1 to 9, ensuring that each row, column, and 3x3 grid contains all numbers exactly once.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal Verification Based Synthesis for Behavior Trees 9th

Formal Verification Based Synthesis for Behavior Trees

引用

9th International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2023

作者： Hong, Weijiang Chen, Zhenbang Li, Minglong Li, Yuhan Huang, Peishan Wang, Ji College of Computer National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology Changsha China Institute for Quantum Information & State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China

ISBN: (纸本)9789819986637

Behavior trees (BTs) have been extensively applied in the area of both computer games and robotics, as the control architectures. However, the construction of BTs is labor-expensive, time-consuming, and even impossible as the complexity of task increases. In this work, we propose a formal verification based synthesis method to automatically construct BTs whose behaviors satisfy the given Linear Temporal Logic (LTL) specifications. Our method first explores candidate BTs by a grammar-based Monte Carlo Tree Search (MCTS), then the explored BTs are transformed into Communicating Sequential Processes (CSP) models. After that, we invoke the verifier to check the models’ correctness w.r.t. specifications, and provide feedback based on the verification result for guiding the search process. The application of our method on several representative robotic missions indicates its promising. © 2024, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Behavior Trees CSP MCTS Synthesis

来源：评论

学校读者我要写书评

暂无评论

Coupled-mode phase matching on a silicon chip

引用

Physical Review A 2025年第3期111卷 033504-033504页

作者： Chao Wu Pingyu Zhu Miaomiao Yu Weihong Luo Qilin Zheng Kaikai Zhang Yingwen Liu Ping Xu Institute for Quantum Information & State Key Laboratory of High Performance Computing College of Computer Science and Technology National University of Defense Technology Changsha 410073 China Hefei National Laboratory Hefei 230088 China

Phase matching lies at the heart of the classical nonlinear process for frequency conversion and all-optical processing, as well as the spontaneous parametric process for the quantum light sources generation. In this work, we experimentally demonstrate the coupled-mode phase-matching (CMPM) engineered by the two-paralleled-coupled waveguides on a silicon-on-insulator (SOI) chip, extending the converted beam and entangled photons to the S band and L band. We measure the spectrum and efficiency of wavelength conversion, which successfully validates the designed CMPM scheme. We further measure the pairs generation rate of the biphoton based on the spontaneous four-wave mixing, which features a narrow bandwidth consistent well with the theoretical simulations. Multiple CMPM conditions can be achieved by exploiting the combinations of even and odd supermodes of the coupled system and tuned by designing a proper coupling gap between the two waveguides. The CMPM can extend the FWM nonlinear process ranging from the O band to the U band and even the midinfrared, enriching the working wavelength to a large extent. In addition, the CMPM features a discrete-band narrow bandwidth, which will greatly enhance the encoding density of frequency and the spectral purity of generated photon. In addition, our methods can be easily extended to a wide range of materials such as silicon nitride, dispensing with the dispersion engineering for phase matching.

关键词： Silicon nitride

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：