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

Advances in Intelligent Systems and Computing 2021年 1185卷 v-vi页

作者： Wu, C.H. Patnaik, Srikanta Popentiu Vlãdicescu, Florin Nakamatsu, Kazumi ShatinNew Territories Hong Kong Department of Computer Science and Engineering Faculty of Engineering and Technology Siksha ‘O’ Anusandhan University BhubaneswarOdisha India Information and Communication Engineering Faculty Automatic Control and Computer Science University of Oradea Oradea Romania School of Human Science and Environment University of Hyogo Himeji Japan

来源：评论

学校读者我要写书评

暂无评论

Foreword

Lecture Notes in Electrical Engineering

引用

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

来源：评论

学校读者我要写书评

暂无评论

A sliding mode controller design for thermal comfort in buildings

引用

engineering Transactions 2019年第4期67卷 475-489页

作者： Skruch, Pawel Dlugosz, Marek AGH University of Science and Technology Faculty of Electrical Engineering Automatics Computer Science and Biomedical Engineering Department of Automatic Control and Robotics Al. Mickiewicza 30 Kraków30-059 Poland

One of the factors determining comfort in buildings is the indoor air temperature of the rooms. A control system, part of the home automation system, should stabilise air temperature to the desired level, despite various disturbances such as the presence of random or occasional sources of heat. Inaccurate models of the dynamics of air temperature changes in buildings prescribe the use of robust control methods, a type of which is the sliding mode controller. This article presents the application of a sliding mode controller (SMC) to home automation systems, designed to control air temperature inside a building. The sliding-mode controller makes use of sliding surfaces, which are defined by the assumed trajectory and the system output. The control law is designed in such a way that the trajectory of the system tends to the sliding surface from any initial point and remains on it after reaching the sliding surface. In this article, a model at air temperature change dynamics inside a building is presented. The modelling approach relies on the lumped-parameter methodology, in which distributed physical properties are represented by lumped parameters (such as thermal capacity or resistance). The model takes into account the loss of heat through conduction and ventilation, as well as internal heat gain. The parameters of the model can be obtained easily from the thermal properties of the construction materials. Theoretical considerations were applied in simulation experiments and the results of these experiments confirm the performance improvement achieved by the proposed solutions. © 2019, Polish Academy of Sciences. All rights reserved.

关键词： Atmospheric temperature

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Occupancy grid for static environment perception in series automotive applications

引用

IFAC-PapersOnLine 2019年第8期52卷 148-153页

作者： Jakub Porebski Krzysztof Kogut Paweł Markiewicz Paweł Skruch AGH University of Science and Technology Faculty of Electrical Engineering Automatics Computer Science and Biomedical Engineering Cracow Poland Aptiv Services Poland S.A. Cracow Poland Aptiv Services Poland S.A. Cracow Poland Silesian University of Technology Faculty of Automatic Control and Computer Science Gliwice Poland

This paper presents a comprehensive review of state-of-the-art occupancy grid mapping approaches for highway and urban automotive applications. The primary objective is to identify most suitable algorithm candidates for series applications. The occupancy grid functional performance requirements for automotive are given. A new high level grid fusion architecture is introduced. The innovative element is a second stage filtering step allowing better performance in case of highly uncertain inputs. An application of the architectures to an example sensor suite is proposed.

关键词： Autonomous Vehicles Map building Sensor integration perception control architectures in automotive control General automobile road-environment strategies Information sensor fusion Bayesian methods Estimation filtering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Media and non-media WebRTC communication between a terrestrial station and a drone: the case of a flying IoT system to monitor parking

Media and non-media WebRTC communication between a terrestri...

引用

International Workshop/Symposium on Distributed Simulation and Real-Time Applications (DS-RT)

作者： Agnieszka Chodorek Robert R. Chodorek Krzysztof Wajda Faculty of Electrical Engineering Automatic Control and Computer Science Kielce University of Technology Kielce Poland Department of Telecommunications The AGH University of Science and Technology Kraków Poland

In this paper we propose a flying IoT system designed to monitor parking lot. The system is composed of a flying mobile station and a terrestrial station. The mobile station consists of visual monitoring camera associated with air quality monitoring sensors, mounted on a Turnigy SK450 quad copter controlled with Pixhawk autopilot hardware. Data gathered from the monitoring system are transmitted to an IoT broker running on a Raspberry Pi 3+ microcontroller, also mounted on a drone, that aggregates data into a common flow and retransmits them to the terrestrial station. The transmission system was build according to WebRTC architecture. In order to assure separation of the production network (for transmission of application data) and the management network (for management and control purposes), two different transmission channels are used: one for the WebRTC transmission and the other for controlling the drone. The paper includes a description of the system and the results of field trials carried out on the parking lot of the AGH University of technology.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：