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

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

来源：评论

学校读者我要写书评

暂无评论

Time-Varying Convex Optimization: Time-Structured Algorithms and Applications

arXiv

引用

arXiv 2020年

作者： Simonetto, Andrea Dall’Anese, Emiliano Paternain, Santiago Leus, Geert Giannakis, Georgios B. Optimization and Control Group of IBM Research Ireland Dublin Ireland College of Engineering and Applied Science University of Colorado BoulderCO80309 United States Department of Electrical and Systems Engineering University of Pennsylvania Faculty of Electrical Mathematics and Computer Science Delft University of Technology Delft2628CD Netherlands Digital Technology Center University of Minnesota MinneapolisMN55455 United States

Optimization underpins many of the challenges that science and technology face on a daily basis. Recent years have witnessed a major shift from traditional optimization paradigms grounded on batch algorithms for medium-scale problems to challenging dynamic, time-varying, and even huge-size settings. This is driven by technological transformations that converted infrastructural and social platforms into complex and dynamic networked systems with even pervasive sensing and computing capabilities. The present paper reviews a broad class of state-of-the-art algorithms for time-varying optimization, with an eye to both algorithmic development and performance analysis. It offers a comprehensive overview of available tools and methods, and unveils open challenges in application domains of broad interest. The real-world examples presented include smart power systems, robotics, machine learning, and data analytics, highlighting domain-specific issues and solutions. The ultimate goal is to exempify wide engineering relevance of analytical tools and pertinent theoretical foundations. Copyright © 2020, The Authors. All rights reserved.

关键词： Data Analytics

来源：评论

学校读者我要写书评

暂无评论

Hierarchic Stabilization of Flying Convex-Path-Following Formations Part II: Underactuated Agents

引用

IFAC-PapersOnLine 2019年第12期52卷 352-357页

作者： Mohamed I. El-Hawwary Department of Electrical Power Engineering Faculty of Engineering Cairo University Giza 12613 Egypt Division of Decision and Control Systems School of Electrical Engineering & Computer Science KTH Royal Institute of Technology SE-100 44 Stockholm Sweden

In this paper the flying convex-path-following formations problem (FCxPFF) is solved for two cases of underactuated rigid bodies. In the first case the the rigid bodies have a single degree of underactuation with two thrusts and three torques. In the second, they have two degrees of underactuation with a single thrust. The solution builds on the one developed for fully-actuated agents in Part I of the paper. In addition, the way the solution is tailored for underactuation relies on further utilization of hierarchic set stabilization, and reduction. Additional remarks on the benefits of the approach, and simulation results of the proposed solutions are presented.

关键词： Formation control distributed stabilization underactuated systems hierarchical control reduction

来源：评论

学校读者我要写书评

暂无评论

Preface

Lecture Notes in Control and Information Sciences

引用

Lecture Notes in control and Information sciences 2021年 485卷 v-viii页

作者： Faulwasser, Timm Müller, Matthias A. Worthmann, Karl Department of Electrical Engineering and Information Technology Institute of Energy Systems Energy Efficiency and Energy Economics TU Dortmund University Dortmund Germany Faculty of Electrical Engineering and Computer Science Institute of Automatic Control Leibniz University Hannover Hannover Germany Faculty of Mathematics and Natural Sciences Institute for Mathematics Optimization-based Control Technische Universität Ilmenau Ilmenau Germany

来源：评论

学校读者我要写书评

暂无评论

Input optics systems of the KAGRA detector during O3GK (vol 2023, 023F01, 2023)

引用

PROGRESS OF THEORETICAL AND EXPERIMENTAL PHYSICS 2023年第5期2023卷

作者： Akutsu, T. Ando, M. Arai, K. Arai, Y. Araki, S. Araya, A. Aritomi, N. Asada, H. Aso, Y. Bae, S. Bae, Y. Baiotti, L. Bajpai, R. Barton, M. A. Cannon, K. Cao, Z. Capocasa, E. Chan, M. Chen, C. Chen, K. Chen, Y. Chiang, C-I Chu, H. Chu, Y-K Eguchi, S. Enomoto, Y. Flaminio, R. Fujii, Y. Fujikawa, Y. Fukunaga, M. Fukushima, M. Furuhata, T. Gao, D. Ge, G-G Ha, S. Hagiwara, A. Haino, S. Han, W-B Hasegawa, K. Hattori, K. Hayakawa, H. Hayama, K. Himemoto, Y. Hiranuma, Y. Hirata, N. Hirose, E. Hong, Z. Hsieh, B-H Huang, G-Z Huang, H-Y Huang, P. Huang, Y-C Huang, Y-J Hui, D. C. Y. Ide, S. Ikenoue, B. Imam, S. Inayoshi, K. Inoue, Y. Ioka, K. Ito, K. Itoh, Y. Izumi, K. Jeon, C. Jin, H-B Jung, K. Jung, P. Kaihotsu, K. Kajita, T. Kakizaki, M. Kamiizumi, M. Kanbara, S. Kanda, N. Kang, G. Kataoka, Y. Kawaguchi, K. Kawai, N. Kawasaki, T. Kim, C. Kim, J. Kim, J. C. Kim, Ws Kim, Y-M Kimura, N. Kita, N. Kitazawa, H. Kojima, Y. Kokeyama, K. Komori, K. Kong, A. K. H. Kotake, K. Kozakai, C. Kozu, R. Kumar, R. Kume, J. Kuo, C. Kuo, H-S Kuromiya, Y. Kuroyanagi, S. Kusayanagi, K. Kwak, K. Lee, H. K. Lee, H. W. Lee, R. Leonardi, M. Li, K. L. Lin, L. C-C Lin, C-Y Lin, F-K Lin, F-L Lin, H. L. Liu, G. C. Luo, L-W Majorana, E. Marchio, M. Michimura, Y. Mio, N. Miyakawa, O. Miyamoto, A. Miyazaki, Y. Miyo, K. Miyoki, S. Mori, Y. Morisaki, S. Moriwaki, Y. Nagano, K. Nagano, S. Nakamura, K. Nakano, H. Nakano, M. Nakashima, R. Nakayama, Y. Narikawa, T. Naticchioni, L. Negishi, R. Quynh, L. Nguyen Ni, W-T Nishizawa, A. Nozaki, S. Obuchi, Y. Ogaki, W. Oh, J. J. Oh, S. H. Ohashi, M. Ohishi, N. Ohkawa, M. Ohta, H. Okutani, Y. Okutomi, K. Oohara, K. Ooi, C. Oshino, S. Otabe, S. Pan, K-C Pang, H. Parisi, A. Park, J. Arellano, F. E. Pena Pinto, I. Sago, N. Saito, S. Saito, Y. Sakai, K. Sakai, Y. Sakuno, Y. Sato, S. Sato, T. Sawada, T. Sekiguchi, T. Sekiguchi, Y. Shao, L. Shibagaki, S. Shimizu, R. Shimoda, T. Shimode, K. Shinkai, H. Shishido, T. Shoda, A. Somiya, K. Son, E. J. Sotani, H. Sugimoto, R. Suresh, J. Suzuki, T. Suzuki, T. Tagoshi, H. Takahashi, H Gravitational Wave Science Project National Astronomical Observatory of Japan 2-21-1 Osawa Mitaka City Tokyo 181-8588 Japan Advanced Technology Center National Astronomical Observatory of Japan 2-21-1 Osawa Mitaka City Tokyo 181-8588 Japan Department of Physics The University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-0033 Japan Research Center for the Early Universe The University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-0033 Japan Institute for Cosmic Ray Research KAGRA Observatory The University of Tokyo 5-1-5 Kashiwa-no-Ha Kashiwa City Chiba 277-8582 Japan Accelerator Laboratory High Energy Accelerator Research Organization (KEK) 1-1 Oho Tsukuba City Ibaraki 305-0801 Japan Earthquake Research Institute The University of Tokyo 1-1-1 Yayoi Bunkyo-ku Tokyo 113-0032 Japan Department of Mathematics and Physics Graduate School of Science and Technology Hirosaki University 3 Bunkyo-cho Hirosaki Aomori 036-8561 Japan Kamioka Branch National Astronomical Observatory of Japan 238 Higashi-Mozumi Kamioka-cho Hida City Gifu 506-1205 Japan The Graduate University for Advanced Studies (SOKENDAI) 2-21-1 Osawa Mitaka City Tokyo 181-8588 Japan Korea Institute of Science and Technology Information 245 Daehak-ro Yuseong-gu Daejeon 34141 Republic of Korea National Institute for Mathematical Sciences 70 Yuseong-daero 1689 Beon-gil Yuseong-gu Daejeon 34047 Republic of Korea International College Osaka University 1-1 Machikaneyama-cho Toyonaka City Osaka 560-0043 Japan School of High Energy Accelerator Science The Graduate University for Advanced Studies (SOKENDAI) 1-1 Oho Tsukuba City Ibaraki 305-0801 Japan Department of Astronomy Beijing Normal University Xinjiekouwai Street 19 Haidian District Beijing 100875 China Department of Applied Physics Fukuoka University 8-19-1 Nanakuma Jonan Fukuoka City Fukuoka 814-0180 Japan Department of Physics Tamkang University No. 151 Yingzhuan Road Danshui Dist. New Taipei City 25137 Taiwan Department of Physics

KAGRA, the underground and cryogenic gravitational-wave detector, was operated for its solo observation from February 25 to March 10, 2020, and its first joint observation with the GEO 600 detector from April 7 to April 21, 2020 (O3GK). This study presents an overview of the input optics systems of the KAGRA detector, which consist of various optical systems, such as a laser source, its intensity and frequency stabilization systems, modulators, a Faraday isolator, mode-matching telescopes, and a high-power beam dump. These optics were successfully delivered to the KAGRA interferometer and operated stably during the observations. The laser frequency noise was observed to limit the detector sensitivity above a few kilohertz, whereas the laser intensity did not significantly limit the detector sensitivity.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Passivity analysis of rational LPV systems using Finsler's lemma

Passivity analysis of rational LPV systems using Finsler's l...

引用

IEEE Annual Conference on Decision and control

作者： Peter Polcz Balazs Kulcsar Tamas Peni Gabor Szederkenyi Faculty of Information Technology and Bionics Pázmány Péter Catholic University Budapest Hungary Automatic Control group Chalmers University of Technology Gothenburg Sweden Systems and Control Laboratory Institute for Computer Science and Control Hungarian Academy of Sciences Budapest Hungary

ISBN: (数字)9781728113982

ISBN: (纸本)9781728113999

In this paper, we show and utilize new results on the relationship between passivity, zero dynamics and stable dynamic invertibility of linear parameter-varying (LPV) systems. Furthermore, an optimization-based systematic passivity analysis procedure and a passivating output projection are proposed for asymptotically stable rational LPV systems in the linear fractional representation (LFR) form having at least as many independent output signals as input signals. The storage function is searched in a quadratic form with a symmetric rational parameter-dependent matrix. In order to form a square system and then to satisfy the Kalman-Yakubovich- Popov (KYP) properties, a parameter-dependent output projection matrix is searched in the LFR form. The nonlinear parameter dependence from the linear matrix inequality (LMI) and equality (LME) conditions provided by the KYP lemma is factorized out using the linear fractional transformation (LFT). Then, Finsler's lemma and affine annihilators are used to relax the sufficient affine parameter-dependent LMI and LME conditions. As an application example, a stable system inversion is addressed and demonstrated on a benchmark rational LPV model.

关键词： Symmetric matrices Linear matrix inequalities Mathematical model Computational modeling Systematics Nonlinear dynamical systems Feeds

来源：评论

学校读者我要写书评

暂无评论

control design considering magnetic flux characteristic uncertainty for magnetic levitation system with magnetic flux and current feedback

IEEJ Transactions on Electronics, Information and Systems

引用

IEEJ Transactions on Electronics, Information and systems 2019年第10期139卷 1159-1166页

作者： Urasaki, Shinpachiro Kobayashi, Yoshimitsu Kami, Yasushi Mitani, Yuichiroh Nobuyama, Eitaku Department of Electronic Control Engineering National Institute of Technology Gifu College 2236-2. Kamimakuwa. Motosu. Gifu 501-0495 Japan Department of Electrical and Computer Engineering National Institute of Technology Akashi College 679-3. Nishioka. Uozumi Akashi. Hyogo674-8501 Japan Department of Mechanical Engineering National Institute of Technology Numazu College 3600. Ooka. Numazu Shizuoka410-8501 Japan Department of Systems Innovation and Informatics Faculty of Computer Science and System Engineering Kyushu Institute of Technology 680-4.Kawazu. Iizuka Fukuoka820-8502 Japan

This paper describes control design considering magnetic flux characteristic uncertainty for magnetic levitation system with magnetic flux and current feedback. The position of the levitated object is calculated from the hall voltage and current of the electromagnet. We show the uncertainty for magnetic flux characteristic and design the stabilizing controller by proportional feedback with the hall voltage and current. Moreover, we tried to design servo controller by two-degree-of-freedom control by using a finite number of frequency response (FNFR) model including the uncertainty and confirmed the validity of the proposed method by experiment results. © 2019 The Institute of Eleclrical Engineers of Japan.

关键词： Frequency response

来源：评论

学校读者我要写书评

暂无评论

Model predictive control of DC microgrids: current sharing and voltage regulation

引用

IFAC-PapersOnLine 2018年第23期51卷 124-129页

作者： Noroozi, Navid Trip, Sebastian Geiselhart, Roman Faculty of Computer Science and Mathematics University of Passau Innstraße 33 Passau94032 Germany Jan C. Willems Center for Systems and Control. ENTEG Faculty of Mathematics and Natural Sciences University of Groningen Nijenborgh 4 GroningenAG9747 Netherlands Institute of Measurement Control and Microtechnology University of Ulm Albert-Einstein-Allee 41 Ulm89081 Germany

An MPC-based consensus algorithm is proposed for current sharing in Direct Current (DC) microgrids. The proposed controller also ensures that both the buck converter output voltages as well as the load voltages remain within an acceptable range. The MPC scheme is designed using the notion of so-called finite-step control Lyapunov functions. Moreover, a deadbeat stable estimator is developed for the current loads which are assumed to be unknown constants. In particular, the current loads are accurately estimated in one time step. The effectiveness of the proposed scheme is verified via an illustrative example. © 2018

关键词： Model predictive control DC DC converters Lyapunov functions Lyapunov methods Predictive control systems Voltage regulators Buck converters Consensus algorithms Consensus problems Current loads Current sharing Dc microgrids Direct current Output voltages

来源：评论

学校读者我要写书评

暂无评论

Internet of M-Health Things System for Remote EKG Monitoring

Internet of M-Health Things System for Remote EKG Monitoring

引用

International Symposium in Sensing and Instrumentation in IoT Era (ISSI)

作者： Nicoleta Cristina Gaitan Ioan Ungurean Faculty of Electrical Engineering and Computer Science Stefan cel Mare University of Suceava Integrated Center for Research Development and Innovation in Advanced Materials Nanotechnologies and Distributed Systems for Fabrication and Control (MANSiD) Suceava Romania

ISBN: (数字)9781728110226

ISBN: (纸本)9781728110233

Healthcare is a very important domain in our modern society. This domain is in a continuous development by including new technologies that allows new methods for monitoring and diagnosis the patients. Nowadays, the Internet of Things is a concept that has been included in the development of healthcare systems. This concept is from the IT &C field and allows the interactions in the virtual word of the real world through their connection to the Internet. In this paper, it is presented the architecture of an Internet of m-health Things (m-IoT) system that allows remotely diagnosis and monitoring patients using the Internet of Things concept. It is presented the architecture of a mobile tele-electrocardiograph that is integrated into a distributed monitoring system. This system can be further developed by integration of the devices that can monitor other healthcare parameters.

关键词： Internet of m-health Things Edge/Fog electrocardiogram Internet of Things Internet of things Internets electrocardiographic monitor ARCHITECTURE Building construction Health Care Patient Monitoring Health Care systems new methods

来源：评论

学校读者我要写书评

暂无评论

Design of Experiments for Battery Aging Estimation

引用

IFAC-PapersOnLine 2018年第28期51卷 386-391页

作者： Pózna, Anna I. Hangos, Katalin M. Magyar, Attila Department of Electrical Engineering and Information Systems Faculty of Information Technology University of Pannonia Egyetem str. 10. VeszprémH-8200 Hungary Process Control Research Group HAS Research Institute for Computer Science and Control Kende str. 13-17. BudapestH-1111 Hungary

Li-ion batteries are widely used in EV applications and are imposed to several aging effects during their lifetime. Since battery health cannot be measured directly, information about its health can be obtained by iteratively re-estimating the parameters of the model describing its dynamical behavior. The optimal design of experiments is investigated in this paper. The proposed method applies families of input signals (PRBS current and constant current-constant voltage (CC-CV) signals) to the batteries to estimate the key aging factors. Simulation experiments have been used to analyze the statistical properties of the estimators as a function of the design parameters of the input signal families. The results show that the CC-CV charging-discharging cycle has the possibility to gain the most information out of the battery model parameter estimation. © 2018

关键词： Parameter estimation Battery management systems Design of experiments Electric excitation Iterative methods Lithium ion batteries Planning Electric Experiment design Input Model formulation Storage operations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：