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

Lecture Notes in electrical engineering 2020年 554卷 v-vi页

作者： Zelinka, Ivan Brandstetter, Pavel Dao, Tran Trong Duy, Vo Hoang Kim, Sang Bong Department of Computer Science Faculty of Electrical Engineering VŠB-TUO Poruba Ostrava Czech Republic Department of Electronics Faculty of Electrical Engineering VŠB-TUO Ostrava Czech Republic International Cooperation Research and Training Institute Ton Duc Thang University Ho Chi Minh Viet Nam Department of Automatic Control Ton Duc Thang University Ho Chi Minh City Viet Nam Department of Mechanical Design Engineering Pukyong National University Busan Korea Republic of

来源：评论

学校读者我要写书评

暂无评论

On noise-to-state stability of stochastic discrete-time systems via finite-step Lyapunov functions

On noise-to-state stability of stochastic discrete-time syst...

引用

IEEE Annual Conference on Decision and control

作者： Navid Noroozi Roxanne Jackson Daniel E. Quevedo Fabian R. Wirth Rolf Findeisen Laboratory for Systems Theory and Automatic Control Ottovon-Guericke University Magdeburg Magdeburg Germany Faculty of Computer Science and Mathematics University of Passau Passau Germany Faculty of Computer Science Electrical Engineering and Mathematics University of Paderborn Paderborn Germany

ISBN: (数字)9781728113982

ISBN: (纸本)9781728113999

In this paper, we introduce a notion of so-called finite-step simulation functions for discrete-time control systems. In contrast to the existing notions of simulation functions, a finite-step simulation function does not need decay at each time step but after some finite numbers of steps. We show that the existence of such a function guarantees that the mismatch between output trajectories of the concrete and abstract systems lies within an appropriate bound. Using this relaxation, we develop a new type of small-gain conditions which are less conservative than those previously used for compositional construction of approximate abstractions of interconnected control systems. In particular, using finite-step simulation functions, it is possible to construct approximate abstractions, where stabilizability of each subsystem is not necessarily required. The effectiveness of our results is verified by an illustrative example.

关键词： Stability analysis Lyapunov methods Asymptotic stability Stochastic systems Nonlinear systems Covariance matrices Discrete-time systems

来源：评论

学校读者我要写书评

暂无评论

Learning dynamical systems using local stability priors

arXiv

引用

arXiv 2020年

作者： Mehrjou, Arash Iannelli, Andrea Schölkopf, Bernhard Empirical Inference Department of Max Planck Institute for Intelligent Systems Tübingen Germany Department of Computer Science ETH Zürich Faculty of Electrical Engineering Zürich Switzerland Department of Electrical Engineering Automatic Control Lab ETH Zürich8092 Switzerland Empirical Inference Department of Max Planck Institute for Intelligent Systems Tübingen Germany

A coupled computational approach to simultaneously learn a vector field and the region of attraction of an equilibrium point from generated trajectories of the system is proposed. The nonlinear identification leverages the local stability information as a prior on the system, effectively endowing the estimate with this important structural property. In addition, the knowledge of the region of attraction plays an experiment design role by informing the selection of initial conditions from which trajectories are generated and by enabling the use of a Lyapunov function of the system as a regularization term. Numerical results show that the proposed method allows efficient sampling and provides an accurate estimate of the dynamics in an inner approximation of its region of attraction. Copyright © 2020, The Authors. All rights reserved.

关键词： Lyapunov functions

来源：评论

学校读者我要写书评

暂无评论

Conceptual Foundations of the Use of Formal Models and Methods for the Rapid Creation of Web Applications

Conceptual Foundations of the Use of Formal Models and Metho...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Colour histogram analysis for skin lesions discrimination 19

Colour histogram analysis for skin lesions discrimination

引用

19th International Multidisciplinary Scientific Geoconference, SGEM 2019

作者： Damian, Felicia Anisoara Moldovanu, Simona Moraru, Luminita Faculty of Sciences and Environment Dunarea de Jos University of Galati Galati Romania Department of Computer Science and Information Technology Technical College Dumitru Motoc Galati Galati Romania Faculty of Automatic Control Computers Electrical Engineering and Electronics Dunarea de Jos University of Galati Galati Romania Modelling and Simulation Laboratory Dunarea de Jos University of Galati Galati Romania

One of the risk factors in skin cancer is unprotected exposure to UV radiation. Melanoma is the deadliest form of skin cancer but also curable if it is diagnosed in the early stages. This study uses a histogram analysis technique to investigate and classify two common skin lesions, nevi and melanoma. The colour feature investigated is the optimal threshold values in RGB space. Also, a boundary limit of the skin lesions is performed using a colour histogram analysis and the optimal threshold determination. A statistical analysis of the relevant threshold values for R, G and B histograms to establish a sound colour separation between benign and malignant lesions is performed. Monochromatic channel threshold values are clustered using K-means and the validity of clustering is assessed by silhouette method. The proposed method technique is evaluated using 120 colour digital images (60 melanomas and 60 nevi) from the Digital Archive of the Department of Dermatology of the University Medical Center in Groningen (UMCG)1. The reported results suggest red as the lesion representative colour in dermoscopic images. The pixel values for red channel are strongly related to the skin lesion type. © SGEM 2019.

关键词： Dermatology

来源：评论

学校读者我要写书评

暂无评论

Using grey-scale hit-or-miss transform for detection of isolated foreground pixels in cerebral rmn datasets 19

Using grey-scale hit-or-miss transform for detection of isol...

引用

19th International Multidisciplinary Scientific Geoconference, SGEM 2019

作者： Pana, Lenuta Moldovanu, Simona Moraru, Luminita Faculty of Sciences and Environment University Dunarea de Jos of Galati Galati Romania Department of Computer Science and Information Technology Technical College Dumitru Motoc Galati Galati Romania Faculty of Automatic Control Computers Electrical Engineering and Electronics University Dunarea de Jos of Galati Galati Romania Modelling and Simulation Laboratory University Dunarea de Jos of Galati Galati Romania

MRI images contain a lot of subtle information related to various lesions which are difficult to be picked up by radiologists. computer aided diagnosis CAD is a valuable tool to improve the ability of an average radiologist to diagnose the subtle lesions. This study uses the isolated foreground pixels in MRI images as a feature able to discern a stroke patient by a healthy one. Brain MRI image was divided into eight equal sectors. The isolated foreground pixels (i.e. pixels satisfying a neighborhood configuration that corresponds to an isolated foreground pixel) were extracted using hit-or-miss and skeleton transformations. We have tested the proposed algorithms using two cerebral image datasets (healthy and acute stroke patients). The mean SD values of isolated foreground pixels for stroke patients systematically exceed the corresponding values for healthy patients. The higher numbers of isolated foreground pixel determined using hit-or-miss transform indicate this method as a promising approach for a simple and quick evaluation of stroke. © SGEM 2019.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Deep learning based switching filter for impulsive noise removal in color images

arXiv

引用

arXiv 2019年

作者： Radlak, Krystian Malinski, Lukasz Smolka, Bogdan Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Akademicka 16 Gliwice44100 Faculty of Materials Engineering and Metallurgy Silesian University of Technology Krasinskiego 8 Katowice40-019

Noise reduction is one the most important and still active research topic in low-level image processing due to its high impact on object detection and scene understanding for computer vision systems. Recently, we can observe a substantial increase of interest in the application of deep learning algorithms in many computer vision problems due to its impressive capability of automatic feature extraction and classification. These methods have been also successfully applied in image denoising, significantly improving the performance, but most of the proposed approaches were designed for Gaussian noise suppression. In this paper, we present a switching filtering design intended for impulsive noise removal using deep learning. In the proposed method, the impulses are identified using a novel deep neural network architecture and noisy pixels are restored using the fast adaptive mean filter. The performed experiments show that the proposed approach is superior to the state-of-the-art filters designed for impulsive noise removal in digital color images. Copyright © 2019, The Authors. All rights reserved.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Investigation of the diagnostic properties of sensors and features in a multiphase flow facility case study ⁎

引用

IFAC-PapersOnLine 2019年第1期52卷 772-777页

作者： Anna Stief James R. Ottewill Jerzy Baranowski ABB Corporate Research Center ul. Starowislna 13a 31-038 Krakow Poland Department of Automatic Control and Robotics Faculty of Electrical Engineering Automatics Computer Science and Biomedical Engineering AGH University of Science and Technology Al. A. Mickiewicza 30 30-059 Krakow Poland

Feature design and selection is one of the first steps towards successful fault detection and diagnosis. Data from different sources can contain complimentary information about a monitored system. Hence methods which fuse features from multiple sources can often detect and diagnose a greater number of fault modes with higher confidence. However, solutions that require data from multiple sensors as inputs can be susceptible to failure if one or more of those sensors cease to function. Optimally a solution will fuse data from a sufficient number of sensors so that the advantages of sensor fusion are realized, while the robustness of the system is retained. In this paper the authors investigate how the best subset of features might differ for fault detection and fault severity diagnosis in a multiphase flow facility case study. ReliefF, which is a K-nearest neighbors-based feature selection filter, is used to rank the features for different problems. The dataset used for the analysis contains data from various operating conditions and induced faults with various severities. It was found that the optimal subset of features varied for different monitoring problems. It was also shown that including features that are ranked as being uninformative into a fault classifier can also impact the robustness of the classifier to sensor failures.

关键词： Signal processing Feature extraction Feature selection Process monitoring

来源：评论

学校读者我要写书评

暂无评论

Green Energy Sources: Issues and Challenges

Green Energy Sources: Issues and Challenges

引用

Roedunet International Conference (RoEduNet)

作者： Mostafa Abdulghafoor Mohammed Inas Adnan Mohammed Raed.A. Hasan Nicolae Ţăpuş Ahmed Hussien Ali Omar A. Hammood Faculty of Automatic Control and Computers University Polytechnic of Bucharest/Romania The Great Emam University College Baghdad University of Information Technology and Communications / college of Engineering/ Baghdad Iraq Faculty of Al-dour Technical institute Northern Technical University Mosel IRAQ Faculty of Automatic Control and Computers University Polytechnic of Bucharest/Romania Computer Science Department AL Salam University College Baghdad Iraq Faculty of Computer Systems and Software Engineering UniversityMalaysia Pahang Malaysia

Mobile offloading is a platform that facilitates the distribution of computationally intensive tasks from mobile devices to the cloud or other devices in order to conserve energy and improve performance. The concept is practically based on the idea of exchanging relatively low communication energy for high computation power utilization. Efforts have been channeled towards energy conservation by clusters using Dynamic Power Management (DPM). This paper is a review for green energy sources for reducing energy and using energy consumption to manage sources by stating the latest studies of energy consumption and energy consumptions.

关键词： Energy consumption Task analysis Servers Energy efficiency Power system management Voltage control Cloud computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：