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

arXiv 2023年

作者： Wang, Zhaorui Liu, Ya-Feng Wang, Ziyue Liu, Liang Pan, Haoyuan Cui, Shuguang The Future Network of Intelligence Institute The School of Science and Engineering The Chinese University of Hong Kong Shenzhen518172 China The State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing100190 China The Department of Electronic and Information Engineering The Hong Kong Polytechnic University Hong Kong College of Computer Science and Software Engineering Shenzhen University Shenzhen China

This paper investigates the effect of low-resolution analog-to-digital converters (ADCs) on device activity detection in massive machine-type communications (mMTC). The low-resolution ADCs induce two challenges on the device activity detection compared with the traditional setup with the assumption of infinite ADC resolution. First, the codebook design for signal quantization by the low-resolution ADC is particularly important since a good design of the codebook can lead to small quantization error on the received signal, which in turn has significant influence on the activity detector performance. To this end, prior information about the received signal power is needed, which depends on the number of active devices K. This is sharply different from the activity detection problem in traditional setups, in which the knowledge of K is not required by the BS as a prerequisite. Second, the covariance-based approach achieves good activity detection performance in traditional setups while it is not clear if it can still achieve good performance in this paper. To solve the above challenges, we propose a communication protocol that consists of an estimator for K and a detector for active device identities: 1) For the estimator, the technical difficulty is that the design of the ADC quantizer and the estimation of K are closely intertwined and doing one needs the information/execution from the other. We propose a progressive estimator which iteratively performs the estimation of K and the design of the ADC quantizer;2) For the activity detector, we propose a custom-designed stochastic gradient descent algorithm to estimate the active device identities. Numerical results demonstrate the effectiveness of the communication protocol. © 2023, CC BY.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

QuIP: A P4 Quantum Internet Protocol Prototyping Framework

arXiv

引用

arXiv 2024年

作者： Kozlowski, Wojciech Kuipers, Fernando A. Smets, Rob Turkovic, Belma QuTech Delft University of Technology Delft2628 CD Netherlands The Networked Systems Group Department of Software Technology Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft2628 CD Netherlands SURF Utrecht3511 EP Netherlands TNO The Hague2595 DA Netherlands

Quantum entanglement is so fundamentally different from a network packet that several quantum network stacks have been proposed;one of which has even been experimentally demonstrated. Several simulators have also been developed to make up for limited hardware availability, and which facilitate the design and evaluation of quantum network protocols. However, the lack of shared tooling and community-agreed node architectures has resulted in protocol implementations that are tightly coupled to their simulators. Besides limiting their reusability between different simulators, it also makes building upon prior results and simulations difficult. To address this problem, we have developed QuIP: a P4-based Quantum Internet Protocol prototyping framework for quantum network protocol design. QuIP is a framework for designing and implementing quantum network protocols in a platform-agnostic fashion. It achieves this by providing the means to flexibly, but rigorously, define device architectures against which quantum network protocols can be implemented in the network programming language P416. QuIP also comes with the necessary tooling to enable their execution in existing quantum network simulators. We demonstrate its use by showcasing V1Quantum, a completely new device architecture, implementing a link- and network-layer protocol, and simulating it in the existing simulator NetSquid. © 2024, CC BY.

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

Scenario-Assisted Deep Reinforcement Learning

arXiv

引用

arXiv 2022年

作者： Yerushalmi, Raz Amir, Guy Elyasaf, Achiya Harel, David Katz, Guy Marron, Assaf Department of Computer Science and Applied Mathematics Weizmann Institute of Science Rehovot76100 Israel School of Computer Science and Engineering The Hebrew University of Jerusalem Givat Ram Jerusalem91904 Israel Software and Information Systems Engineering Ben-Gurion University of the Negev Beer-Sheva8410501 Israel

Deep reinforcement learning has proven remarkably useful in training agents from unstructured data. However, the opacity of the produced agents makes it difficult to ensure that they adhere to various requirements posed by human engineers. In this work-in-progress report, we propose a technique for enhancing the reinforcement learning training process (specifically, its reward calculation), in a way that allows human engineers to directly contribute their expert knowledge, making the agent under training more likely to comply with various relevant constraints. Moreover, our proposed approach allows formulating these constraints using advanced model engineering techniques, such as scenario-based modeling. This mix of black-box learning-based tools with classical modeling approaches could produce systems that are effective and efficient, but are also more transparent and maintainable. We evaluated our technique using a case-study from the domain of internet congestion control, obtaining promising results. Copyright © 2022, The Authors. All rights reserved.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Fractional discrete neural networks with variable order: solvability, finite time stability and synchronization

引用

The European Physical Journal Special Topics 2024年 1-14页

作者： Hioual, Amel Alomari, Saleh Al-Tarawneh, Hassan Ouannas, Adel Grassi, Giuseppe Laboratory of Dynamical Systems and Control University of Oum El-Bouaghi Oum El Bouaghi Algeria Faculty of Science and Information Technology Software Engineering Jadara University Irbid Jordan Department of Data Sciences and Artificial Intelligence Al-Ahliyya Amman University Amman Jordan Department of Mathematics and Computer Science University of Oum EL-Bouaghi Oum El Bouaghi Algeria Dipartimento Ingegneria Innovazione Universita del Salento Lecce Italy

Research in the field of dynamic behaviors in neural networks with variable-order differences is currently a thriving area, marked by various significant discoveries. However, when it comes to discrete-time neural networks featuring fractional variable-order nonlocal and nonsingular kernels, there has been limited exploration. This paper stands as one of the initial contributions to this subject, focusing primarily on the topics of stability and synchronization in finite-time within discrete neural networks. The research employs the nabla ABC variable-order difference operator, with a primary approach involving the investigation of a novel Gronwall inequality using the Atangana-Baleanu difference variable-order sum operator. This analysis leads to the development of a uniqueness theorem and a criterion for the stability in finite-time of variable-order discrete neural networks. Furthermore, the requirements stemming from this type of stability and the novel Gronwall inequality serve as the foundation for establishing the conditions necessary for achieving finite-time synchronization in these networks, employing a specific control using state feedback method. Finally, the study utilizes numerical solutions to validate the obtained results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Deep Learning of First-Order Nonlinear Hyperbolic Conservation Law Solvers

SSRN

引用

SSRN 2023年

作者： Morand, Victor Müller, Nils Weightman, Ryan Keimer, Alexander Piccoli, Benedetto Bayen, Alexandre M. Ecole Polytechnique Palaiseau France Department of Electrical Engineering and Computer Science University of California BerkeleyCA United States Max Planck Institute for Software Systems Saarland Informatics Campus Germany Max Planck Institute for Intelligent Systems Germany Department of Mathematics Rutgers University NJ United States Department of Mathematics FAU Erlangen-Nürnberg Germany

In this contribution, we study the numerical approximation of scalar conservation laws by computational optimization of the numerical flux function in a first-order finite volume method. The cell-averaging inherent to finite volume schemes presents a challenge in the design of such numerical flux functions toward achieving high solution accuracy. Dense neural networks, as well as (piecewise) polynomials, serve as function classes for the numerical flux. Using a parametrization of such a function class, we optimize the numerical flux with respect to its solution accuracy on a set of Riemann problems for which we have closed-form solutions. By design, our resulting first-order finite volume schemes are *** show empirically that the proposed schemes can achieve higher accuracy than the Godunov and EnquistOsher method on a wide range of *** proposed method can be applied to the inverse problem, i.e., the data-driven synthesis of macroscopic physical laws for real-world flux phenomena. © 2023, The Authors. All rights reserved.

关键词： Finite volume method

来源：评论

学校读者我要写书评

暂无评论

Segmentation and Multi-facet Classification of Individual Logs in Wooden Piles 18th

Segmentation and Multi-facet Classification of Individual Lo...

引用

18th International Conference on computer Aided systems Theory, EUROCAST 2022

作者： Praschl, Christoph Auersperg-Castell, Philipp Forster-Heinlein, Brigitte Zwettler, Gerald Adam Research Group Advanced Information Systems and Technology Research and Development Department University of Applied Sciences Upper Austria Hagenberg Austria Department of Software Engineering School of Informatics Communications and Media University of Applied Sciences Upper Austria Hagenberg Austria Bluedynamics Auersperg-Castell KG Kritzing 31 Freinberg Austria Faculty of Computer Science and Mathematics University of Passau Passau Germany

ISBN: (纸本)9783031253119

The inspection of products and assessment of quality is connected with high costs and time effort in many industrial domains. This also applies to the forestry industry. Utilizing state-of-the-art deep learning models allows automizing the analysis of wooden piles in a vision-based manner. In this work, a parallel two-step approach is presented for the segmentation and multi-facet classification of individual logs, according to the wood type and quality. The present approach is based on a preliminary log localization step and like this allows determining the quality, volume and also the value of individual logs, respectively the whole wooden pile. Using a YOLOv4 model for wood species classification for douglas firs, pines and larches results in an accuracy of 74.53%, while a quality classification model for spruce logs reaches 86.58%. In addition to that, the trained U-NET segmentation model reaches an accuracy of 93%. In the future, the underlying data set and models will be further improved and integrated to a mobile application for the on site analysis of wooden piles by foresters. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Design and demonstration of an operating system for executing applications on quantum network nodes

arXiv

引用

arXiv 2024年

作者： Donne, Carlo Delle Iuliano, Mariagrazia van der Vecht, Bart Ferreira, Guilherme M. Jirovská, Hana van der Steenhoven, Thom J.W. Dahlberg, Axel Skrzypczyk, Matt Fioretto, Dario Teller, Markus Filippov, Pavel Montblanch, Alejandro R.-P. Fischer, Julius van Ommen, H. Benjamin Demetriou, Nicolas Leichtle, Dominik Music, Luka Ollivier, Harold te Raa, Ingmar Kozlowski, Wojciech Taminiau, Tim H. Pawelczak, Przemyslaw Northup, Tracy E. Hanson, Ronald Wehner, Stephanie QuTech Kavli Institute of Nanoscience Delft University of Technology Delft2628 CJ Netherlands Quantum Computer Science Department of Software Technology Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft2628 XE Netherlands Embedded Systems Department of Software Technology Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft2628 XE Netherlands Institut für Experimentalphysik Universität Innsbruck Technikerstraße 25 Innsbruck6020 Austria QAT DIENS Ecole Normale Supérieure PSL University CNRS INRIA. 45 rue d’Ulm Paris75005 France LIP6 CNRS Sorbonne Université 4 Place Jussieu Paris75005 France

The goal of future quantum networks is to enable new internet applications that are impossible to achieve using solely classical communication[1, 2, 3]. Up to now, demonstrations of quantum network applications[4, 5, 6] and functionalities[7, 8, 9, 10, 11, 12] on quantum processors have been performed in ad-hoc software that was specific to the experimental setup, programmed to perform one single task (the application experiment) directly into low-level control devices using expertise in experimental physics. Here, we report on the design and implementation of the first architecture capable of executing quantum network applications on quantum processors in platform-independent high-level software. We demonstrate the architecture’s capability to execute applications in high-level software, by implementing it as a quantum network operating system – QNodeOS – and executing test programs including a delegated computation from a client to a server[13] on two quantum network nodes based on nitrogen-vacancy (NV) centers in diamond[14, 15]. We show how our architecture allows us to maximize the use of quantum network hardware, by multitasking different applications on a quantum network for the first time. Our architecture can be used to execute programs on any quantum processor platform corresponding to our system model, which we illustrate by demonstrating an additional driver for QNodeOS for a trapped-ion quantum network node based on a single 40Ca+atom[16]. Our architecture lays the groundwork for computer science research in the domain of quantum network programming, and paves the way for the development of software that can bring quantum network technology to society. Copyright © 2024, The Authors. All rights reserved.

关键词： Trapped ions

来源：评论

学校读者我要写书评

暂无评论

Training Differentially Private Models with Secure Multiparty Computation

arXiv

引用

arXiv 2022年

作者： Pentyala, Sikha Railsback, Davis Maia, Ricardo J.M. Melanson, David Dowsley, Rafael Nascimento, Anderson De Cock, Martine School of Engineering and Technology University of Washington Tacoma United States Department of Computer Science University of Brasilia Brazil Department of Software Systems and Cybersecurity Monash University Australia Department of Applied Mathematics Computer Science and Statistics Ghent University Belgium Mila - Quebec Ai Institute Canada

We address the problem of learning a machine learning model from training data that originates at multiple data owners, while providing formal privacy guarantees regarding the protection of each owner's data. Existing solutions based on Differential Privacy (DP) achieve this at the cost of a drop in accuracy. Solutions based on Secure Multiparty Computation (MPC) do not incur such accuracy loss but leak information when the trained model is made publicly available. We propose an MPC solution for training DP models. Our solution relies on an MPC protocol for model training, and an MPC protocol for perturbing the trained model coefficients with Laplace noise in a privacy-preserving manner. The resulting MPC+DP approach achieves higher accuracy than a pure DP approach, while providing the same formal privacy guarantees. Our work obtained first place in the iDASH2021 Track III competition on confidential computing for secure genome analysis. Copyright © 2022, The Authors. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Pseudo complementary measurement for traditional single-pixel cameras

引用

Chinese Physics B 2020年第11期29卷 315-322页

作者： Qian Dong Xu-Ri Yao Xin Liu Bing Liu Guang-Jie Zhai State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China Key Laboratory of Electronics and Information Technology for Space Systems National Space Science CenterChinese Academy of SciencesBeijing 100190China State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China

A traditional single-pixel camera needs a large number of measurements to reconstruct the object with compressive sensing *** with the 1/0 matrices in classical measurement,the 1/-1 matrices in the complementary measurement has better property for reconstruction computation and returns better reconstruction ***,each row of the 1/-1 matrices needs two measurements with the traditional single-pixel camera which results into double measurements compared with the 1/0 *** this paper,we consider the pseudo complementary measurement which only takes the same amount of measurements with the row number of some properly designed 1/0 matrix to compute the total luminous flux of the objective and derives the measurement data of the corresponding 1/-1 matrix in a mathematical *** numerical simulation and experimental result show that the pseudo complementary measurement is an efficient tool for the traditional single-pixel camera imaging under low measurement rate,which can combine the advantages of the classical and complementary measurements and significantly improve the peak signal-to-noise ratio.

关键词： computational imaging single-pixel camera

来源：评论

学校读者我要写书评

暂无评论

'Permanent' algorithm for the meeting shedule problem 16

'Permanent' algorithm for the meeting shedule problem

引用

16th IEEE International Conference on computer science and Information Technologies, CSIT 2021

作者： Turbal, Yuriy Babych, Sergii Kunanets, Nataliia Melnyk, Leonid Pasichnyk, Volodymyr National University of Water and Environmental Engineering Department of Computer Science and Applied Mathematics Rivne Ukraine College of National University of Life and Environmental Sciences of Ukraine Software Engineering Rivne Ukraine National University 'Lviv Polytechnic' Department of Information Systems and Networks Lviv Ukraine National University of Water and Environmental Engineering Department of Finance and Economic Security Rivne Ukraine

ISBN: (纸本)9781665442572

An algorithm for solving the problem of scheduling meetings in the process of working on a project is proposed in the paper. The problem of project managers meetings with working groups is considered under certain restrictions., the possibility of a simultaneous meeting of the project manager with one or several project groups is considered. The proposed procedure for finding the permanent allows to build all possible combinations of the meeting schedule at a given time. The specificity of the proposed approach is the ability to take into account any number of additional conditions. © 2021 IEEE.

关键词： Managers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：