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

Application Aspects of Active-set Quadratic Programming in Real-time Embedded Model Predictive Vibration Control

IFAC-PapersOnLine 2017年第1期50卷 11625-11631页

作者： Batista G. Takács G. Rohal’-Ilkiv B. Institute of Automation Measurement and Applied Informatics Faculty of Mechanical Engineering Slovak University of Technology in Bratislava Slovakia

This paper presents a study on the practical utilization of various microcontroller units (MCU) for model predictive vibration control, using an online active-set quadratic programming solver. The implementation properties of various 32bit MCUs are assessed in experiment. An analysis of memory requirements is made on all investigated MCUs, along with evaluating timing requirements for a simple vibration control problem. These tests show execution time limits, memory footprint, and convergence under different circumstances. The experiments investigate the effects of hot-starting, numerical precision and the use of the floating-point unit (FPU) of the MCU. The results presented in this paper show that the hot-starting technique used with double precision data format is preferable, since computation using single precision numeric format fails to converge on many instances. Although it is tempting to reduce numerical precision to extend the maximal horizon stored in the volatile and nonvolatile memories and to cut execution times, the numerical stability of the investigated online active-set quadratic programming solver is heavily affected. Moreover, it has been found that a built-in FPU does not have significant impact on performance; the presence of this hardware feature does not significantly aid the implementation of model predictive control for the case study presented here. © 2017

关键词： embedded systems microcontroller unit model predictive control online active-set strategy quadratic programming vibration control

来源：评论

学校读者我要写书评

暂无评论

Better is the enemy of good: Unums - An alternative to IEEE 754 floats and doubles 8

Better is the enemy of good: Unums - An alternative to IEEE ...

引用

8th International Conference on Information Technology, ICIT 2017

作者： Risse, Thomas Institute of Informatics and Automation Hochschule Bremen City University of Applied Sciences Bremen Germany

ISBN: (纸本)9781509063321

Floats and doubles according to the 1985 IEEE 754 standard exhibit in cases very strange behavior and are no longer compatible with today's technological constraints - especially in high performance computing, HPC. Hence Gustafson's Unums, a substitute to IEEE 754 floating point numbers, are a promising alternative because they 'end up all error' and do so by taking into consideration the technological change which has taken place since the eighties of the last century. Of course these benefits do not come without cost: new floating point hardware is needed and new numerical algorithms have to be invented to make full use of the potential of Unums. As an example, a zero finding algorithm is proposed which exploits today's processors potential to execute several floating point operations in parallel. © 2017 IEEE.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Manipulating trapped air bubbles in ice for message storage in cold regions

引用

Cell Reports Physical Science 2025年第6期6卷

作者： Keke Shao Xuan Zhang Mengjie Song Jun Shen Lizhen Huang Tianzhuo Zhan Haidong Wang Bo You Libor Pekař Dong Rip Kim Christopher Yu Hang Chao Long Zhang Department of Energy and Power Engineering School of Mechanical Engineering Beijing Institute of Technology Beijing 100081 China School of Mechanical Engineering & Automation Beihang University Beijing 100191 China Department of Engineering Mechanics Tsinghua University Beijing 100084 China School of Chemistry and Chemical Engineering Huazhong University of Science and Technology Wuhan Hubei 430074 China Faculty of Applied Informatics Tomas Bata University in Zlín Nad Stráněmi 4511 76005 Zlín Czech Republic Department of Technical Studies College of Polytechnics Jihlava Tolstého 16 58601 Jihlava Czech Republic School of Mechanical Engineering Hanyang University Seoul 04763 South Korea Department of Building Environment and Energy Engineering The Hong Kong Polytechnic University Hong Kong 999077 China Department of Mechanical Engineering The Hong Kong Polytechnic University Hong Kong 999077 China

Message storage using documents and telecommunications encounters high energy consumption and a short life cycle in cold regions. Easily available low temperature and water have created the history-recording glaciers. Inspired by the naturally occurring bubbles in glaciers, we elucidate the underlying physics governing them and develop an ice-based message storage method. The formation process of trapped air bubbles is controlled by the heat and mass transfer during freezing. We identify four ice regions based on the bubbles’ distribution and determine the critical freezing rate between the bubble and clear ice regions at 2.87 μm/s. Manipulating the bubble layer by varying the freezing rate successfully utilizes Morse, binary, and ternary codes to store messages. These findings reveal the underlying physics of the trapped air bubble formations, and the intermittent growth of bubble layers also provides the potential for incorporating artificial intelligence into material solidification, glacier analysis, and gas exploration.

关键词： trapped air bubble ice message storage message delivery cold region freezing rate Hele-Shaw cell icing mechanism intermittent bubble layer manipulate bubble

来源：评论

学校读者我要写书评

暂无评论

Metrics Reloaded: Recommendations for image analysis validation

arXiv

引用

arXiv 2022年

作者： Maier-Hein, Lena Reinke, Annika Godau, Patrick Tizabi, Minu D. Buettner, Florian Christodoulou, Evangelia Glocker, Ben Isensee, Fabian Kleesiek, Jens Kozubek, Michal Reyes, Mauricio Riegler, Michael A. Wiesenfarth, Manuel Emre Kavur, A. Sudre, Carole H. Baumgartner, Michael Eisenmann, Matthias Heckmann-Nötzel, Doreen Rädsch, Tim Acion, Laura Antonelli, Michela Arbel, Tal Bakas, Spyridon Benis, Arriel Blaschko, Matthew B. Jorge Cardoso, M. Cheplygina, Veronika Cimini, Beth A. Collins, Gary S. Farahani, Keyvan Ferrer, Luciana Galdran, Adrian Ginneken, Bram Van Haase, Robert Hashimoto, Daniel A. Hoffman, Michael M. Huisman, Merel Jannin, Pierre Kahn, Charles E. Kainmueller, Dagmar Kainz, Bernhard Karargyris, Alexandros Karthikesalingam, Alan Kenngott, Hannes Kofler, Florian Kopp-Schneider, Annette Kreshuk, Anna Kurc, Tahsin Landman, Bennett A. Litjens, Geert Madani, Amin Maier-Hein, Klaus Martel, Anne L. Mattson, Peter Meijering, Erik Menze, Bjoern Moons, Karel G.M. Müller, Henning Nichyporuk, Brennan Nickel, Felix Petersen, Jens Rajpoot, Nasir Rieke, Nicola Saez-Rodriguez, Julio Sánchez, Clara I. Shetty, Shravya Smeden, Maarten Van Summers, Ronald M. Taha, Abdel A. Tiulpin, Aleksei Tsaftaris, Sotirios A. Calster, Ben Van Varoquaux, Gaël Jäger, Paul F. Heidelberg Division of Intelligent Medical Systems and HI Helmholtz Imaging Germany Faculty of Mathematics and Computer Science and Medical Faculty Heidelberg University Heidelberg Germany NCT Heidelberg a partnership between DKFZ University Medical Center Heidelberg Germany Faculty of Mathematics and Computer Science Heidelberg University Heidelberg Germany Heidelberg Division of Intelligent Medical Systems Germany partner site Frankfurt/Mainz a partnership between DKFZ and UCT Frankfurt-Marburg Germany Heidelberg Goethe University Frankfurt Germany Department of Medicine Goethe University Frankfurt Germany Department of Informatics Frankfurt Cancer Insititute Germany Department of Computing Imperial College London London United Kingdom Heidelberg Division of Medical Image Computing and HI Applied Computer Vision Lab Germany Institute for AI in Medicine University Medicine Essen Essen Germany Centre for Biomedical Image Analysis Faculty of Informatics Masaryk University Brno Czech Republic ARTORG Center for Biomedical Engineering Research University of Bern Bern Switzerland Department of Radiation Oncology University Hospital Bern University of Bern Bern Switzerland Simula Metropolitan Center for Digital Engineering Oslo Norway UiT The Arctic University of Norway Romsø Norway Heidelberg Division of Biostatistics Germany Heidelberg Division of Intelligent Medical Systems Division of Medical Image Computing HI Applied Computer Vision Lab Germany MRC Unit for Lifelong Health and Ageing UCL Centre for Medical Image Computing Department of Computer Science University College London London United Kingdom School of Biomedical Engineering and Imaging Science King’s College London London United Kingdom Heidelberg Division of Medical Image Computing Germany Instituto de Cálculo CONICET – Universidad de Buenos Aires Buenos Aires Argentina Centre for Medical Image Computing University College London London United Kingdom McGill University Montréal

Increasing evidence shows that flaws in machine learning (ML) algorithm validation are an underestimated global problem. Particularly in automatic biomedical image analysis, chosen performance metrics often do not reflect the domain interest, thus failing to adequately measure scientific progress and hindering translation of ML techniques into practice. To overcome this, we created Metrics Reloaded, a comprehensive framework guiding researchers in the problem-aware selection of metrics. It was developed by a large international consortium in a multi-stage Delphi process and is based on the novel concept of a problem fingerprint – a structured representation of the given problem that captures all aspects that are relevant for metric selection, from the domain interest to the properties of the target structure(s), data set and algorithm output. Based on the problem fingerprint, users are guided through the process of choosing and applying appropriate validation metrics while being made aware of potential pitfalls. Metrics Reloaded targets image analysis problems that can be interpreted as a classification task at image, object or pixel level, namely image-level classification, object detection, semantic segmentation, and instance segmentation tasks. To improve the user experience, we implemented the framework in the Metrics Reloaded online tool. Following the convergence of ML methodology across application domains, Metrics Reloaded fosters the convergence of validation methodology. Its applicability is demonstrated for various biomedical use cases. © 2022, CC BY.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Photonic Wire Bonding and 3D Nanoprinting in Photonic Integration – from Lab Demonstrations to Production

Photonic Wire Bonding and 3D Nanoprinting in Photonic Integr...

引用

European Conference on Optical Communication (ECOC)

作者： C. Koos W. Freude S. Randel M. R. Billah M. Blaicher P.-I. Dietrich T. Hoose Y. Xu J. N. Kemal A. Nesic A. Hofmann Institute of Photonics and Quantum Electronics (IPQ) Karlsruhe Institute of Technology (KIT) Karlsruhe Germany Institute for Automation and Applied Informatics (IAI) Karlsruhe Institute of Technology (KIT) Eggenstein-Leopoldshafen Germany

We give an overview of our research towards exploiting direct-write 3D laser lithography as a tool for advanced photonic integration. The technique offers new perspectives for a wide variety of applications, ranging from photonic wire bonding and multi-chip integration of high-speed communication engines to facet-attached beam-shaping elements and highly efficient coupling in astrophotonic systems. We are currently working on transferring the concept from laboratory demonstrations to industrial manufacturing.

关键词： Photonics Optical fibers Wires Couplings Bonding Three-dimensional displays Silicon

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Feedback stabilization of double pendulum: Application to the crane systems with time-varying rope length

arXiv

引用

arXiv 2018年

作者： Vrabel, Robert Slovak University of Technology in Bratislava Faculty of Materials Science and Technology Institute of Applied Informatics Automation and Mechatronics Bottova 25 Trnava917 01 Slovakia

In the present paper we focus our attention on the design of the feedback-based feed-forward controller asymptotically stabilizing the double-pendulum-type crane system with the time-varying rope length in the desired end position of payload (the origin of the coordinate system). In principle, we will consider two cases, in the first case, the sway angle of payload is uncontrolled and the second case, when the sway angle of payload is controlled by an external force. Mathematical modelling in the framework of Lagrange formalism and numerical simulation in the Matlab environment indicates the substantial reduction of the transportation time to the desired end position. Another principal novelty of this paper lies in deriving and analysis of a complete mathematical model without approximating the nonlinear terms and without neglecting some structural parameters of systems for the reasons described in the Remark 4.2 and Remark 5.1.93B52 93B05 Copyright © 2018, The Authors. All rights reserved.

关键词： State feedback

来源：评论

学校读者我要写书评

暂无评论

Identification of disaster-implicated named entities 1

Identification of disaster-implicated named entities

引用

1st International Workshop on Exploitation of Social Media for Emergency Relief and Preparedness, SMERP 2017

作者： Ács, Judit Nemeskey, Dávid Márk Kornai, András Department of Automation and Applied Informatics Budapest University of Technology and Economics Hungary Computer Science and Automation Research Institute Hungarian Academy of Sciences Hungary

For disaster preparedness, a key aspect of the work is the identification, ahead of time, of potentially implicated locations (LOC), organizations (ORG), and persons (PER). Here we describe how static repositories of ... 详细信息

关键词： Disasters

来源：评论

学校读者我要写书评

暂无评论

Robust training of neural network via minimizing robust estimates of the average of loss functions

引用

Journal of Physics: Conference Series 2019年第1期1203卷

作者： Z M Shibzukhov M A Kazakov D P Dimitrichenko Institute of applied mathematics and automation KBSC RAS Shortanova 89a Nalchik Russia Institute of mathematics and informatics MPGU Krasnoprudnaya 4 Moscow Russia

The paper suggests an extended version of principle of empirical risk minimization and principle of smoothly winsorized averages minimization for robust neural networks learning. It's based on using of M-averaging and WM-averaging functions instead of the arithmetic mean for empirical risk estimation. These approaches generalize robust algorithms based on using median and quantiles for estimation of mean losses. An iteratively reweighted schema for minimization of differentiable robust estimations of the averages of loss functions is proposed. This schema allows to use weighted version of traditional back-propagation algorithms for neural networks learning in presence of outliers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The role of hydro power, storage and transmission in the decarbonization of the Chinese power system

arXiv

引用

arXiv 2018年

作者： Liu, Hailiang Brown, Tom Andresen, Gorm Bruun Schlachtberger, David P. Greiner, Martin Department of Engineering Aarhus University Inge Lehmanns Gade 10 Aarhus C8000 Denmark Institute for Automation and Applied Informatics Karlsruhe Institute of Technology Eggenstein-Leopoldshafen76344 Germany

Deep decarbonization of the electricity sector can be provided by a high penetration of renewable sources such as wind, solar PV and hydro power. Flexibility from hydro and storage complements the high temporal variability of wind and solar, and transmission infrastructure helps the power balancing by moving electricity in the spatial dimension. We study cost-optimal highly-renewable Chinese power systems under ambitious CO2 emission reduction targets, by deploying a 31-node hourly-resolved techno-economic optimization model supported by a validated weather-converted 38-year-long renewable power generation and electricity demand dataset. With a new realistic reservoir hydro model, we find that if CO2 emission reduction goes beyond 70%, storage facilities such as hydro, battery and hydrogen become necessary for a moderate system cost. Numerical results show that these flexibility components can lower renewable curtailment by two thirds, allow higher solar PV share by a factor of two and contribute to covering summer cooling demand. We show that expanding unidirectional high-voltage DC lines on top of the regional inter-connections is technically sufficient and more economical than ultra-high-voltage-AC-connected "One-Net" grid. Finally, constraining transmission volume from the optimum by up to 25% does not push total costs much higher, while the significant need for battery storage remains even with abundant interconnectivity. Copyright © 2018, The Authors. All rights reserved.

关键词： Wind power

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：