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

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

来源：评论

学校读者我要写书评

暂无评论

Metabolic pathway interface to molecular biology databases

Metabolic pathway interface to molecular biology databases

引用

International Working Conference on Scientific and Statistical Database Management

作者： B. Zeeberg K. Watanabe S. Goto R. Overbeek L. Kerschberg G. Michaels Institute for Computational Science and Informatics and Institute for Biosciences Bioinformatics and Biotechnology George Mason University USA Institute for Computational Science and Informatics and Westat George Mason University Institute for Chemical Research Kyoto University Division of Mathematics and Computer Sciences Argonne National Laboratory Information and Software Systems Engineering George Mason University Institute for Computational Science and Informatics and Institute for Biosciences Bioinformatics and Biotechnology George Mason University

We present results of providing database support to biomedicine via federation of SDB Cooperation/Integration based upon the KEGG GUI for molecular biology. The federation provides a common link to three molecular biology databases. The added value of the federation is freedom from consulting multiple references to ascertain the full set of enzymatic reactions in a metabolic pathway, and the option of selecting multiple queries to submit to the federated SDBs. Each of the SDBs is extensive, but incomplete. The union of the SDBs, implemented transparently by the federation, is more complete. Each SDB provides a different approach to the options available for data presentation and a different set of Web server tools for data analysis. Thus, an important part of the added value of the federation is the cross-fertilization available in the union of the molecular biological content, the presentation of data, and the tools available for analysis.

关键词： Biology computing Spatial databases Sequences Informatics Bioinformatics Biotechnology Biomedical computing Web server Chemical engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

An empirical approach for evaluating the usability of model-driven tools

An empirical approach for evaluating the usability of model-...

引用

作者： Condori-Fernández, Nelly Panach, Jose Ignacio Baars, Arthur Iwan Vos, Tanja Pastor, Óscar Faculty of Electrical Engineering Mathematics and Computer Science University of Twente Information Systems Group P.O. Box 217 7500 AE Enschede Netherlands Escola Tècnica Superior d'Enginyeria Departament d'Informàtica Universitat de València Avenida de la Universidad s/n 46100 Burjassot Valencia Spain Centro de Investigación en Métodos de Producción de Software ProS. Universitat Politècnica de València Camino de Vera s/n 46022 Valencia Spain

MDD tools are very useful to draw conceptual models and to automate code generation. Even though this would bring many benefits, wide adoption of MDD tools is not yet a reality. Various research activities are being undertaken to find why and to provide the required solutions. However, insufficient research has been done on a key factor for the acceptance of MDD tools: usability. With the help of end-users, this paper presents a framework to evaluate the usability of MDD tools. The framework will be used as a basis for a family of experiments to get clear insights into the barriers to usability that prevent MDD tools from being widely adopted in industry. To illustrate the applicability of our framework, we instantiated it for performing a usability evaluation of a tool named INTEGRANOVA. Furthermore, we compared the outcome of the study with another usability evaluation technique based on ergonomic criteria. © 2012 Elsevier B.V. All rights reserved.

关键词： Usability engineering

来源：评论

学校读者我要写书评

暂无评论

Independent and Identically Distributed (IID) Data Assessment in Federated Learning

Independent and Identically Distributed (IID) Data Assessmen...

引用

GLOBECOM 2022 - 2022 IEEE Global Communications Conference

作者： Mohamad Arafeh Ahmad Hammoud Hadi Otrok Azzam Mourad Chamseddine Talhi Zbigniew Dziong Department of Software Engineering Ecole de Technologie Superieure (ETS) Montreal QC Canada Department of Electrical Engineering Ecole de Technologie Superieure (ETS) Montreal Canada Department of EECS Center of Cyber-Physical Systems (C2PS) Khalifa University Abu Dhabi UAE Department of Computer science and Mathematics Lebanese American University Beirut Lebanon Division of Science New York University Abu Dhabi UAE

ISBN: (纸本)9781665435413

Federated learning extends the centralized machine learning architecture by enabling data privacy for its providers. The distributed structure of the emerged federated architecture imposes a problem of the data being not independent and identically distributed (non-IID), which drastically affects the performance of the learning process. While the majority of the recent works in the federated learning domain have accepted this limitation, only a few scholars addressed the non-IID problem straightforwardly. Nevertheless, these works lack the fundamental analysis of the data’ IIDness, and/or contradict the privacy feature of the federated learning paradigm. In this paper, we focus on evaluating the harmony of the participants by studying their data distribution and calculating their level of compatibility. The devised tool, in this work, is an assessment technique integrated within the federated learning framework to analyze the data distribution among the trainers. Our proposed method is proven by experimenting with several scenarios, and results show that our utility can fairly assess the selected participants before initiating the learning process.

关键词： Data privacy Federated learning Distributed databases Coherence Global communication Convergence

来源：评论

学校读者我要写书评

暂无评论

Quantum state and process tomography via adaptive measurements

引用

science China(Physics,Mechanics & Astronomy) 2016年第10期59卷 25-32页

作者： HengYan Wang WenQiang Zheng NengKun Yu KeRen Li DaWei Lu Tao Xin Carson Li ZhengFeng Ji David Kribs Bei Zeng XinHua Peng JiangFeng Du Hefei National Laboratory for Physical Sciences at Microscale and Department of Modern Physics University of Science and Technology of ChinaHefei 230026China Department of Applied Physics Zhejiang University of TechnologyHangzhou 310023China Institute for Quantum Computing University of WaterlooWaterloo N2L 3G1Canada 4Department of Mathematics&Statistics University of GuelphGuelph N1G 2W1Canada Centre for Quantum Computation&Intelligent Systems Faculty of Engineering and Information TechnologyUniversity of Technology SydneySydney NSW 2007Australia State Key Laboratory of Low-Dimensional Quantum Physics and Department of Physics Tsinghua UniversityBeijing 100084China Department of Physics University of GuelphGuelph N1G 2W1Canada State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China Canadian Institute for Advanced Research Toronto M5G 1Z8Canada

We investigate quantum state tomography(QST) for pure states and quantum process tomography(QPT) for unitary channels via adaptive measurements. For a quantum system with a d-dimensional Hilbert space, we first propose an adaptive protocol where only 2d. 1 measurement outcomes are used to accomplish the QST for all pure states. This idea is then extended to study QPT for unitary channels, where an adaptive unitary process tomography(AUPT) protocol of d2+d.1measurement outcomes is constructed for any unitary channel. We experimentally implement the AUPT protocol in a 2-qubit nuclear magnetic resonance system. We examine the performance of the AUPT protocol when applied to Hadamard gate, T gate(/8 phase gate), and controlled-NOT gate,respectively, as these gates form the universal gate set for quantum information processing purpose. As a comparison, standard QPT is also implemented for each gate. Our experimental results show that the AUPT protocol that reconstructing unitary channels via adaptive measurements significantly reduce the number of experiments required by standard QPT without considerable loss of fidelity.

关键词： quantum tomography state reconstruction nuclear magnetic resonance

来源：评论

学校读者我要写书评

暂无评论

Efficient Privacy-Preserving ML for IoT: Cluster-Based Split Federated Learning Scheme for Non-IID Data

Efficient Privacy-Preserving ML for IoT: Cluster-Based Split...

引用

Cyber Security in Networking Conference (CSNet)

作者： Mohamad Arafeh Mohamad Wazzeh Hakima Ould-Slimane Chamseddine Talhi Azzam Mourad Hadi Otrok Department of Software and IT engineering Ecole de Technologie Superieure (ETS) Montreal Canada Department of Mathematics and Computer Science Universite de Quebec a Trois-Rivieres (UQTR) Canada Division of Science New York University Abu Dhabi UAE Department of CSM Cyber Security Systems and Applied AI Research Center Lebanese American University Beirut Lebanon Department of EECS Center of Cyber-Physical Systems (C2PS) Khalifa University Abu Dhabi UAE

This paper proposes a scheme addressing the challenges of integrating privacy-preserving distributed machine learning in the Internet of Things (IoT) context while improving the efficiency of the learning process and accelerating the convergence of the model. Specifically, it addresses the presence of non-independent and identically distributed (Non-IID) data and device heterogeneity, which occurs during parallel training and are common characteristics of IoT environments. In this context, SplitFed is a privacy-preserving technique that combines Federated Learning (FL) and Split Learning (SL) to enable fast and privacy-preserving model training on IoT devices. Through parallelism, FL allows fast and parallel model training. Furthermore, SL enables weak devices to train models through model splitting. However, SplitFed suffers from the increasing convergence time due to the FL parallelism introducing Non-IID and stragglers issues. In this paper, we aim to address the aforementioned problems by proposing a clustering parallelization scheme. As such, similar clients are combined based on their weight divergence and considered a single FL unit addressing the Non-IID problem. Moreover, to improve time efficiency and overcome the stragglers' presence, we offer a second clustering stage that separates clients by efficiency and uses FedAsync for model aggregation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic adjustment system for the optical head of a magnetooptical disk drive

引用

systems and computers in Japan 1999年第10期30卷 1-12页

作者： Matsueda, Jun Oosawa, Fujio Sutou, Kazumi Kikuchi, Takahiro Tamano, Michio Koezuka, Tetsuo Furukawa, Yasuo Corp. Mfg. Engineering Systems Group Fujitsu Ltd. Kawasaki 211-8588 Japan Fujitsu Automation Ltd. Oyama 323-0042 Japan Fujitsu Laboratories Ltd. Atsugi 243-0197 Japan Department of Computer Science University of Electro-Communications Fujitsu 1st Commun. Software Co. Fujitsu Ltd. Corp. Mfg. Engineering Systems Group Department of Mathematics Nihon University Fujitsu 1st Commun. Software Ltd. Fujitsu Automation Ltd. 2nd Business Center

A fully automatic adjustment system for mass production of the optical head for magnetooptical disk drives is described. The optical head is composed of millimeter scale optical components, such as laser diode, the collimator lens, the object lens, various prisms and various detectors. A series of algorithms composed of measurement, recognition, calculation of manipulation, execution of manipulation, verification and fixation ensures proper adjustment of the head. The key is to process the measured value, recognize the shape of the beam and the waveform, and determine the manipulation. With this system, the adjustment process is reduced to 6 minutes, as compared to 9 hours it takes an experience worker.

关键词： Optical disk storage

来源：评论

学校读者我要写书评

暂无评论

Integrated Approach to Hypersonic Vehicle Modeling

Integrated Approach to Hypersonic Vehicle Modeling

引用

Chinese Control Conference

作者： Xiaofeng Su Yingmin Jia Junping Du Fashan Yu The Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Key Laboratory of Mathematics Informatics and Behavioral Semantics (LMIB) Ministry of Education SMSS Beihang University (BUAA) Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications School of Electrical Engineering and Automation Henan Polytechnic University

ISBN: (纸本)9781467325813

This paper is devoted to the modeling problem of hypersonic vehicle with significant couplings. An integrated approach is developed to analytically model the dynamics of hypersonic vehicle, in which the effects of variable mass, spherical rotating earth, and couplings among the sub-models are considered. Furthermore, a preliminary analysis is conducted using the general data of a hypersonic vehicle. The simulation results show that the maximum of the Coriolis force can reach values up to 7.02% of the vehicle weight, and that the thermal load determined by the nonuniform aerodynamic heating and the properties of the structure has a significant influence on the elastic deformation.

关键词： Hypersonic vehicle modeling Inertial dynamics Aerodynamics Elasticity Heating hypersonic vehicles Aerodynamics elasticity Coriolis force Vehicle weight Heating Couplings Thermal loading elastic deformation

来源：评论

学校读者我要写书评

暂无评论

Active Collision Avoidance Maneuver Design Under Constant Thrust ⋆

引用

IFAC Proceedings Volumes 2011年第1期44卷 9887-9892页

作者： Yongqiang Qi Yingmin Jia Junping Du Fashan Yu The Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Key Laboratory of Mathematics Informatics and Behavioral Semantics (LMIB) Ministry of Education SMSS Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

Abstract In this paper, the relative position parameters of the target spacecraft are obtained by using the vision measurement and the target maneuver positions are calculated through the isochronous interpolation method. Furthermore, new switch control laws under constant thrust are designed for active collision avoidance maneuver of the chaser along a specified trajectory. The switch control laws are obtained based on the acceleration sequences and the working times of thrusters in three axes which can be respectively computed by the time series analysis method. The perturbations and fuel consumptions are addressed during the computation of the working times. The simulation results show that the constant thrust maneuver can effectively guarantee the chaser maneuvering along the specified trajectory.

关键词： Active collision avoidance maneuver Collision possibility Constant thrust Switch control laws

来源：评论

学校读者我要写书评

暂无评论

Risk-Sensitive Cubature Filtering for Jump Markov Nonlinear systems and Its Application to Land Vehicle Positioning ⋆

引用

IFAC Proceedings Volumes 2011年第1期44卷 20-25页

作者： Wenling Li Yingmin Jia Junping Du Fashan Yu The Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Key Laboratory of Mathematics Informatics and Behavioral Semantics (LMIB) Ministry of Education SMSS Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

Abstract In this paper, a risk-sensitive filter for a class of jump Markov nonlinear systems is proposed. By using a set of weighted cubature points to approximate the intractable risk-sensitive recursions, the proposed filter could exhibit improved numerical stability with respect to the derivation of the square-root covariance, for which the unscented transform technique might halt the operations due to the presence of non-positive definite covariance. The performance of the proposed filter is illustrated through a simulation study of tracking a land vehicle with maneuvers.

关键词： Markov models Kalman filters estimation theory target tracking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：