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

IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems

作者： Sergii Telenyk Grzegorz Nowakowski Eduard Zharikov Jewhenii Vovk Department of Theoretical Electrical Engineering and Computer Science Faculty of Electrical and Computer Engineering Cracow University of Technology Department of Automatic Control and Information Technology Faculty of Electrical and Computer Engineering Cracow University of Technology Department of Automation and Control in Technical Systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"

ISBN: (纸本)9781728140704

The problem of the rapid creation of effective web applications of one class using formal means is considered. A conceptual approach to its solution is offered based on an analysis of the peculiarities of the construction of web applications. Our approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements. A formal logical system is proposed that uses the design of web applications as a process of outputting a formula specified according to the needs of the user, which defines the schemes of execution of the modules of the system. An important feature of this approach is the ability to visualise the process of designing the system in 3D, which creates the conditions for effective interaction between developers and machine development tools.

关键词： Web-applications Application construction Business processes Mathematical logic web applications Mathematical logic conceptual User needs Developers

来源：评论

学校读者我要写书评

暂无评论

An Early Stage Researcher's Primer on Systems Medicine Terminology

Network and Systems Medicine

引用

Network and Systems Medicine 2021年第1期4卷 2-50页

作者： Zanin, Massimiliano Aitya, Nadim A.A. Basilio, José Baumbach, Jan Benis, Arriel Behera, Chandan K. Bucholc, Magda Castiglione, Filippo Chouvarda, Ioanna Comte, Blandine Dao, Tien-Tuan Ding, Xuemei Pujos-Guillot, Estelle Filipovic, Nenad Finn, David P. Glass, David H. Harel, Nissim Iesmantas, Tomas Ivanoska, Ilinka Joshi, Alok Boudjeltia, Karim Zouaoui Kaoui, Badr Kaur, Daman Maguire, Liam P. McClean, Paula L. McCombe, Niamh De Miranda, João Luís Moisescu, Mihnea Alexandru Pappalardo, Francesco Polster, Annikka Prasad, Girijesh Rozman, Damjana Sacala, Ioan Sanchez-Bornot, Jose M. Schmid, Johannes A. Sharp, Trevor Solé-Casals, Jordi Spiwok, Vojtěch Spyrou, George M. Stalidzans, Egils Stres, Blaa Sustersic, Tijana Symeonidis, Ioannis Tieri, Paolo Todd, Stephen Van Steen, Kristel Veneva, Milena Wang, Da-Hui Wang, Haiying Wang, Hui Watterson, Steven Wong-Lin, Kongfatt Yang, Su Zou, Xin Schmidt, Harald H.H.W. Centro de Tecnología Biomédica Universidad Politécnica de Madrid Madrid Spain Intelligent Systems Research Centre School of Computing Engineering and Intelligent Systems Ulster University Ulster United Kingdom Center for Physiology and Pharmacology Institute of Vascular Biology and Thrombosis Research Medical University of Vienna Vienna Austria TUM School of Life Sciences Weihenstephan Technical University of Munich Freising Germany Holon Israel CNR National Research Council IAC Institute for Applied Computing Rome Italy Lab of Computing Medical Informatics and Biomedical Imaging Technologies School of Medicine Aristotle University of Thessaloniki Thessaloniki Greece Université Clermont Auvergne INRAE UNH Plateforme d'Exploration du Métabolisme MetaboHUB Clermont Clermont-Ferrand France Université de Technologie de Compiègne Compiègne France Labex MS2T Control of Technological Systems-of-Systems CNRS and Université de Technologie de Compiègne Compiègne France Faculty of Engineering University of Kragujevac Kragujevac Serbia Kragujevac Serbia Steinbeis Advanced Risk Technologies Institute Doo Kragujevac Kragujevac Serbia Pharmacology and Therapeutics School of Medicine Galway Neuroscience Centre National University of Ireland Galway Ireland School of Computing Ulster University Ulster United Kingdom Holon Israel Department of Mathematics and Natural Sciences Kaunas University of Technology Kaunas Lithuania Faculty of Computer Science and Engineering Ss. Cyril and Methodius University Skopje Macedonia Medicine Faculty Université Libre de Bruxelles CHU de Charleroi Charleroi Belgium Northern Ireland Centre for Stratified Medicine Biomedical Sciences Research Institute Ulster University Ulster United Kingdom Escola Superior de Tecnologia e Gestão Instituto Politécnico de Portalegre Portalegre Portugal Instituto Superior Técnico Universidade de Lisboa Lisboa Portugal Faculty of Automatic Control and Computers University Politehnica of B

Background: Systems Medicine is a novel approach to medicine, that is, an interdisciplinary field that considers the human body as a system, composed of multiple parts and of complex relationships at multiple levels, and further integrated into an environment. Exploring Systems Medicine implies understanding and combining concepts coming from diametral different fields, including medicine, biology, statistics, modeling and simulation, and data science. Such heterogeneity leads to semantic issues, which may slow down implementation and fruitful interaction between these highly diverse fields. Methods: In this review, we collect and explain more than100 terms related to Systems Medicine. These include both modeling and data science terms and basic systems medicine terms, along with some synthetic definitions, examples of applications, and lists of relevant references. Results: This glossary aims at being a first aid kit for the Systems Medicine researcher facing an unfamiliar term, where he/she can get a first understanding of them, and, more importantly, examples and references for digging into the topic. © Massimiliano Zanin et al., 2021;Published by Mary Ann Liebert, Inc. 2021.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

EEG-Based Brain-Computer Interfaces Are Vulnerable to Backdoor Attacks

arXiv

引用

arXiv 2020年

作者： Meng, Lubin Huang, Jian Zeng, Zhigang Jiang, Xue Yu, Shan Jung, Tzyy-Ping Lin, Chin-Teng Chavarriaga, Ricardo Wu, Dongrui Ministry of Education Key Laboratory of Image Processing and Intelligent Control School of Artificial Intelligence and Automation Huazhong University of Science and Technology Wuhan China Brainnetome Center National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing China La Jolla CA United States Center for Advanced Neurological Engineering Institute of Engineering in Medicine Ucsd La Jolla CA United States Centre of Artificial Intelligence Faculty of Engineering and Information Technology University of Technology Sydney Australia Zhaw DataLab Zürich University of Applied Sciences Winterthur8401 Switzerland

Research and development of electroencephalogram (EEG) based brain-computer interfaces (BCIs) have advanced rapidly, partly due to deeper understanding of the brain and wide adoption of sophisticated machine learning approaches for decoding the EEG signals. However, recent studies have shown that machine learning algorithms are vulnerable to adversarial attacks. This article proposes to use narrow period pulse for poisoning attack of EEG-based BCIs, which is implementable in practice and has never been considered before. One can create dangerous backdoors in the machine learning model by injecting poisoning samples into the training set. Test samples with the backdoor key will then be classified into the target class specified by the attacker. What most distinguishes our approach from previous ones is that the backdoor key does not need to be synchronized with the EEG trials, making it very easy to implement. The effectiveness and robustness of the backdoor attack approach is demonstrated, highlighting a critical security concern for EEG-based BCIs and calling for urgent attention to address it. Copyright © 2020, The Authors. All rights reserved.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

Recursive Subspace-based Predictive control and Its Application to Fault-tolerant control

引用

IFAC-PapersOnLine 2018年第24期51卷 696-702页

作者： Gao, Jingjing Yang, Xu Li, Linlin Luo, Hao Ding, Steven X. Zhang, Kai Peng, Kaixiang School of Automation and Electrical Engineering University of Science and Technology Beijing Beijing100083 China School of Astronautics Harbin Institute of Technology Harbin150001 China Institute of Automatic Control and Complex Systems Faculty of Engineering University of Duisburg-Essen Duisburg47057 Germany

This paper investigates the data-driven realization of predictive controllers, and its application to fault-tolerant control. With the aid of subspace identification method, the subspace predictor is first derived in the closed-loop setup. To cope with the change in the process, a recursive algorithm is adopted to recursive update the subspace matrices. The data-driven predictive controller is designed by seeking the solution of the quadratic programming problem, without the information of the predesigned controller. Then, it is applied to fault-tolerant control by implementing the recursive subspace predictor. In the end, the effectiveness of the proposed method is verified by a case study on the three-tank system. © 2018

关键词： controllers Fault tolerance Quadratic programming Fault tolerant control Predictive control Predictive controller Quadratic programming problems Recursive algorithms Subspace identification methods Subspace predictors Three tank system

来源：评论

学校读者我要写书评

暂无评论

PID2018 Benchmark Challenge: learning feedforward control

引用

IFAC-PapersOnLine 2018年第4期51卷 663-668页

作者： Zhao, Yang Dehghan, Sina Ates, Abdullah Yuan, Jie Zhou, Fengyu Li, Yan Chen, YangQuan School of Control Science and Engineering Center for Robotics Shandong University JinanShandong250061 China University of California Merced MercedCA95340 United States School of Automation Southeast University Nanjing210096 China Engineering Faculty Computer Engineering Department Inonu University Malatya44280 Turkey

The design and application of learning feedforward controllers (LFFC) for the one-staged refrigeration cycle model described in the PID2018 Benchmark Challenge is presented, and its effectiveness is evaluated. The control system consists of two components: 1) a preset PID component and 2) a learning feedforward component which is a function approximator that is adapted on the basis of the feedback signal. A B-spline network based LFFC and a low-pass filter based LFFC are designed to track the desired outlet temperature of evaporator secondary flux and the superheating degree of refrigerant at evaporator outlet. Encouraging simulation results are included. Qualitative and quantitative comparison results evaluations show that, with little effort, a high-performance control system can be obtained with this approach. Our initial simple attempt of low-pass filter based LFFC and B-spline network based LFFC give J=0.4902 and J=0.6536 relative to the decentralized PID controller, respectively. Besides, the initial attempt of a combination controller of our optimized PI controller and low-pass filter LFFC gives J=0.6947 relative to the multi-variable PID controller. © 2018

关键词： controllers Benchmarking Electric control equipment Evaporators Feedforward control Interpolation Learning systems Low pass filters Proportional control systems Refrigeration Three term control systems Combination controllers Conditional integrations Decentralized PID controller Feed forward controllers High performance control systems PID 2018 Benchmark Challenge Quantitative comparison Vapour compression refrigeration systems

来源：评论

学校读者我要写书评

暂无评论

Identification and modeling of a nonlinear vibrating beam for real-time control and estimation 25

Identification and modeling of a nonlinear vibrating beam fo...

引用

25th International Congress on Sound and Vibration 2018: Hiroshima Calling, ICSV 2018

作者： Mikuláš, Erik Takács, Gergely Gulan, Martin Abdollahpouri, Mohammad Rohal'-Ilkiv, Boris Institute of Automation Measurement and Applied Informatics Faculty of Mechanical Engineering Slovak University of Technology Bratislava Slovakia Systems and Control Electrical Engineering Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9781510868458

The real-time implementation of control and estimation algorithms on microcontrollers with limited memory and computational power requires a model that describes the dynamics of the vibrating system in sufficient detail, yet makes real-time deployment on sampled systems feasible. While extracting a model from finite element analysis is always possible, this approach yields models that are too complex to be evaluated in sample timing that is typical for vibration phenomena. In case of nonlinear vibrations, this is even more critical as state-of-the-art optimal control and estimation algorithms will have to evaluate a non-convex objective function. This paper introduces the modeling and system identification procedure of a nonlinear vibrating beam that results a real-time feasible mathematical model. Position and velocity measurements are made on a slender vibrating beam mounted equipped with a tip mass on a linear excitation stage using non-contact laser Doppler vibrometry. The measurement results are then fitted to two model candidates by using genetic algorithms to identify unknown parameters. Models are verified in simulation and their outputs are compared to experimental measurements. © 25th International Congress on Sound and Vibration 2018, ICSV 2018: Hiroshima Calling. All rights reserved.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Deep Deterministic Policy Gradient for Navigation of Mobile Robots in Simulated Environments

Deep Deterministic Policy Gradient for Navigation of Mobile ...

引用

International Conference on Advanced Robotics (ICAR)

作者： Junior C. Jesus Jair A. Bottega Marco A. S. L. Cuadros Daniel F. T. Gamarra Faculty of Automation and Control Engineering Federal University of Santa Maria Santa Maria Rio Grande do Sul Federal Institute of Espirito Santo Federal University of Santa Maria

This paper presents a study of a deep reinforcement learning technique that uses a Deep Deterministic Policy Gradient network for application in navigation of mobile robots. In order for the robot to arrive to a target on a map, the network has 10 laser range findings, the previous linear and angular velocity, and relative position and angle of the mobile robot to the target as inputs. As outputs, the network has the linear and angular velocity. From the results analysis, it is possible to conclude that the deep reinforcement learning's algorithms, with continuous actions, are effective for decision-make of a robotic vehicle. However, it is necessary to create a good reward system for the intelligent agent to accomplish your objectives. This research uses different virtual simulation environments provided by ROBOTIS in the robot simulation software Gazebo in order to test the performance of the algorithm. A supplementary video can be accessed at the following link: https://***/NhGxEC3g7sU. That shows the performance of the proposed system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Universal enzymatic numerical P systems with small number of enzymatic variables

引用

Science China(Information Sciences) 2018年第9期61卷 38-49页

作者： Zhiqiang ZHANG Tingfang WU ANDrei P■UN Linqiang PAN Key Laboratory of Image Information Processing and Intelligent Control of Education Ministry of China School of Automation Huazhong University of Science and Technology Department of Computer Science Faculty of Mathematics and Computer ScienceUniversity of Bucharest Bioinformatics Department National Institute of Research and Development for Biological Sciences School of Electric and Information Engineering Zhengzhou University of Light Industry

Numerical P systems(for short, NP systems) are distributed and parallel computing models inspired from the structure of living cells and economics. Enzymatic numerical P systems(for short, ENP systems) are a variant of NP systems, which have been successfully applied in designing and implementing controllers for mobile robots. Since ENP systems were proved to be Turing universal, there has been much work to simplify the universal systems, where the complexity parameters considered are the number of membranes, the degrees of polynomial production functions or the number of variables used in the *** the number of enzymatic variables, which is essential for ENP systems to reach universality, has not been investigated. Here we consider the problem of searching for the smallest number of enzymatic variables needed for universal ENP systems. We prove that for ENP systems as number acceptors working in the all-parallel or one-parallel mode, one enzymatic variable is sufficient to reach universality; while for the one-parallel ENP systems as number generators, two enzymatic variables are sufficient to reach *** results improve the best known results that the numbers of enzymatic variables are 13 and 52 for the all-parallel and one-parallel systems, respectively.

关键词： bio-inspired computing numerical P system mobile robot membrane controller universality

来源：评论

学校读者我要写书评

暂无评论

A Robust PID Autotuning Method for Steam/Water Loop in Large Scale Ships

A Robust PID Autotuning Method for Steam/Water Loop in Large...

引用

作者： Zhao, Shiquan Ionescu, Clara M. De Keyser, Robin Liu, Sheng Ghent University Faculty of Engineering and Architecture Research group on Dynamical Systems Control Technologiepark 914 ZwijnaardeB9052 Belgium Harbin Engineering University College of Automation China

During the voyage of the ship, disturbances from the sea dynamics are frequently changing, and the ship's operation mode is also varied. Hence, it is necessary to have a good controller for steam/water loop, as the control task is becoming more challenging in large scale ships. In this paper, a robust proportional-integral-derivative (PID) autotuning method is presented and applied to the steam/water loop based on single sine tests for every sub-loop in the steam/water loop. The controller is obtained during which the user-defined robustness margins are guaranteed. Its performance is compared against other PID autotuners, and results indicate its superiority. © 2018

关键词： Ships

来源：评论

学校读者我要写书评

暂无评论

ℋ2 sub-optimal model reduction for second-order network systems

ℋ2 sub-optimal model reduction for second-order network sys...

引用

IEEE Conference on Decision and control

作者： Lanlin Yu Xiaodong Cheng Jacquelien M.A. Scherpen Emma Gort Department of Automation University of Science and Technology of China Hefei China Control Systems Group Eindhoven University of Technology Einhoven The Netherlands Jan C. Willems Center for Systems and Control Engineering and Technology Institute Groningen Faculty of Science and Engineering University of Groningen Groningen The Netherlands

ISBN: (数字)9781728113982

ISBN: (纸本)9781728113999

This paper studies a moment matching model reduction method for second-order network systems. For a given complex second-order network system, our goal is to find a reduced second-order network system that achieves moment matching. Firstly, the original second-order network system is split into an asymptotically stable subsystem and an average subsystem. Then, moment matching approach is implemented to reduce the dimension of the asymptotically stable subsystem. The resulting reduced-order model is combined with the average subsystem, leading to a reduced second-order system preserves the semistability. Subsequently, a specific coordinate transform allows for the reduced-order model to be converted to a complete network. A mass-spring-damper network demonstrates the effectiveness of the proposed method.

关键词： Reduced order systems Damping Approximation error Laplace equations Interpolation Eigenvalues and eigenfunctions Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：