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

Bird's Eye View on Systems and Control - General View and Case Studies

IFAC-PapersOnLine 2016年第6期49卷 274-279页

作者： Vámos, T. Bars, R. Sik, D. Institute of Computer Science and Control Hungarian Academy of Sciences MTA-SZTAKI Budapest Hungary Dept. of Automation and Applied Informatics Budapest University of Technology and Economics MTA-BME Control Engineering Research Group Budapest Hungary

Systems and control are all around us. System view, understanding systems and how they are controlled is important for everyone. The behavior of systems is determined by some fundamental principles which can be understood by everyone. The main principles governing systems and control are presented on different levels. The first level is dedicated for everyone. Comics-like interpretation is provided with explanations. The second level discusses the main topics dedicated for the interested students. Several case studies demonstrate how system view is considered in different areas of life. With this approach systems in different areas of life could be better understood contributing to better decisions influencing their performance. The third level provides deeper insight into some aspects of modern mathematical system theory, to geometric view of control systems. The material is available on a website on the internet. © 2016

关键词： Control theory Algorithms Case studies Control disciplines Control education Control structure Systems and control

来源：评论

学校读者我要写书评

暂无评论

GrainAutLine: An environment for semi-automatic processing of marble thin section images

Periodica polytechnica Electrical engineering and computer s...

引用

Periodica polytechnica Electrical engineering and computer science 2017年第4期61卷 305-311页

作者： Csorba, Kristóf Budai, Ádám Zöldföldi, Judit Székely, Balázs Department of Automation and Applied Informatics Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics P.O.B. 91 BudapestH-1117 Hungary Institute of Material Science University of Stuttgart Stuttgart Germany Department of Geophysics and Space Sciences Eötvös Loránd University Budapest Hungary

GrainAutLine is an interdisciplinary microscopy image analysis tool with domain specific smart functions to partially automate the processing of marble thin section images. It allows the user to create a clean grain boundary image which is a starting point of several archaeometric and geologic analyses. The semi-automatic tools minimize the need for carefully drawing the grain boundaries manually, even in cases where twin crystals prohibit the use of classic edge detection based boundary detection. Due to the semi-automatic approach, the user has full control over the process and can modify the automatic results before finalizing a specific step. This approach guarantees high quality results both in cases where the process is easy to automate, and also if it needs more help from the user. This paper presents the basic operation of the system and details about the provided tools as a case study for an interdisciplinary, semi-automatic image processing application.

关键词： Grain boundaries

来源：评论

学校读者我要写书评

暂无评论

Origami robot model via an elliptic curve? 14

Origami robot model via an elliptic curve?

引用

14th IEEE International Symposium on Intelligent Systems and informatics, SISY 2016

作者： Markechova, I. Cipkova Hamplova, L. Institute of Applied Informatics Automation and Mechatronics Faculty of Materials Science and Technology in Trnava Slovak University of Technology in Bratislava Trnava Slovakia Gamča High School Bratislava Slovakia

ISBN: (纸本)9781509028665

An aim of the paper is to present a simple algorithm for creating a heaven-and-hell-origami-like object (H&H OLO) as a possible model for reconfigurable, self-folding, origami robot. It is an original, by happy chance resulting side-product of a research of synographs on an elliptic curve basis. The whole object has an analytical representation with the help of the explicit equations of the object components as well as through the simple linear transformations. Designing and creating robots, cyber-physical systems (CPSs) and others are potential branches of the next use, development and feedback inspiration. © 2016 IEEE.

关键词： Linear transformations

来源：评论

学校读者我要写书评

暂无评论

The statistical methods for the management of the measurement process 15

The statistical methods for the management of the measuremen...

引用

15th Conference on applied Mathematics 2016, APLIMAT 2016

作者： Jenčuráková, Dana Palenčár, Rudolf Slovak University of Technology in Bratislava Faculty of Mechanical Engineering Institute of automation Measurement and Applied Informatics Námestie slobody 17 Bratislava812 31 Slovakia

ISBN: (纸本)9788022745314

Contribution constitutes the statistical process control of the measurement process in the laboratory conditions. Using appropriate statistical methods points to the real state of the measurement process. Presentation of used control charts and other methods highlights the merits of their applications. To supplement the methods with the cumulative sum chart and the Kalman filtering is the consideration on the experience in the regulation of the statistical measurement processes control.

关键词： Control charts

来源：评论

学校读者我要写书评

暂无评论

The digital twin of an industrial production line within the industry 4.0 concept

The digital twin of an industrial production line within the...

引用

International Conference on Process Control (PC)

作者： Ján Vachálek Lukás Bartalský Oliver Rovný Dana Šišmišová Martin Morháč Milan Lokšík Measurement and Applied Informatics Slovak University of Technology in Bratislava Bratislava Slovak Republic Institute of Automation Measurement and Applied Informatics Faculty of Mechanical Engineering Slovak University of Technology in Bratislava Nám. slobody 17 812 31 Bratislava Slovak Republic SOVA Digital Bratislava Slovak Republic SOVA Digital a.s. Bojnická 3 831 04 Bratislava Slovak Republic

This article presents the digital twin concept, which is an augmented manufacturing project created in close collaboration by SOVA Digital and the institute of automation, Measurement and applied informatics (ÚAMAI), of the Faculty of Mechanical Engineering, Slovak University of technology in Bratislava with the support of SIEMENS. The project is a technological concept focusing on the continuous optimization of production processes, proactive maintenance, and continuous processing of process data. This project is the basis for further work to promote the concept of Industry 4.0. for the needs of the industry subjects within Slovakia. Its basic goal is to support the existing production structures within the automotive industry and the most efficient use of resources by augmented production and planning strategies, such as the digital twin presented here.

关键词： Production Industries Optimization Manipulators Genetic algorithms Linear programming Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Generating semi-synthetic validation benchmarks for embryomics

Generating semi-synthetic validation benchmarks for embryomi...

引用

IEEE International Symposium on Biomedical Imaging

作者： Johannes Stegmaier Julian Arz Benjamin Schott Jens C. Otte Andrei Kobitski G. Ulrich Nienhaus Uwe Strahle Peter Sanders Ralf Mikut Institute for Applied Computer Science Karlsruhe Institute of Technology Karlsruhe Germany Institute of Theoretical Informatics Karlsruhe Institute of Technology Karlsruhe Germany Institute of Toxicology and Genetics Karlsruhe Institute of Technology Karlsruhe Germany Institute of Applied Physics Karlsruhe Institute of Technology Karlsruhe Germany Department of Physics University of Illinois at Urbana-Champaign Urbana Illinois USA

ISBN: (纸本)9781479923519

Systematic validation is an essential part of algorithm development. The enormous dataset sizes and the complexity observed in many recent time-resolved 3D fluorescence microscopy imaging experiments, however, prohibit a comprehensive manual ground truth generation. Moreover, existing simulated benchmarks in this field are often too simple or too specialized to sufficiently validate the observed image analysis problems. We present a new semi-synthetic approach to generate realistic 3D+t benchmarks that combines challenging cellular movement dynamics of real embryos with simulated fluorescent nuclei and artificial image distortions including various parametrizable options like cell numbers, acquisition deficiencies or multiview simulations. We successfully applied the approach to simulate the development of a zebrafish embryo with thousands of cells over 14 hours of its early existence.

关键词： Benchmark testing Embryo Microscopy Dark current Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Surgical data science-from concepts toward clinical translation

arXiv

引用

arXiv 2020年

作者： Maier-Hein, Lena Eisenmann, Matthias Sarikaya, Duygu März, Keno Collins, Toby Malpani, Anand Fallert, Johannes Feussner, Hubertus Giannarou, Stamatia Mascagni, Pietro Nakawala, Hirenkumar Park, Adrian Pugh, Carla Stoyanov, Danail Vedula, Swaroop S. Cleary, Kevin Fichtinger, Gabor Forestier, Germain Gibaud, Bernard Grantcharov, Teodor Hashizume, Makoto Heckmann-Nötzel, Doreen Kenngott, Hannes G. Kikinis, Ron Mündermann, Lars Navab, Nassir Onogur, Sinan Sznitman, Raphael Taylor, Russell H. Tizabi, Minu D. Wagner, Martin Hager, Gregory D. Neumuth, Thomas Padoy, Nicolas Collins, Justin Gockel, Ines Goedeke, Jan Hashimoto, Daniel A. Joyeux, Luc Lam, Kyle Leff, Daniel R. Madani, Amin Marcus, Hani J. Meireles, Ozanan Seitel, Alexander Teber, Dogu Ückert, Frank Müller-Stich, Beat P. Jannin, Pierre Speidel, Stefanie Heidelberg Germany Faculty of Mathematics and Computer Science Heidelberg University Heidelberg Germany Medical Faculty Heidelberg University Heidelberg Germany Department of Computer Engineering Faculty of Engineering Gazi University Ankara Turkey LTSI Inserm UMR 1099 University of Rennes 1 Rennes France IRCAD Strasbourg France The Malone Center for Engineering in Healthcare The Johns Hopkins University BaltimoreMD United States KARL STORZ SE and Co. KG Tuttlingen Germany Department of Surgery Klinikum Rechts der Isar Technical University of Munich Munich Germany The Hamlyn Centre for Robotic Surgery Imperial College London London United Kingdom ICube University of Strasbourg CNRS France IHU Strasbourg Strasbourg France Altair Robotics Lab University of Verona Verona Italy Department of Surgery Anne Arundel Health System AnnapolisMD United States Johns Hopkins University School of Medicine BaltimoreMD United States Department of Surgery Stanford University School of Medicine StanfordCA United States Wellcome/EPSRC Centre for Interventional and Surgical Sciences University College London London United Kingdom Department for General Visceral and Transplantation Surgery Heidelberg University Hospital Heidelberg Germany The Sheikh Zayed Institute for Pediatric Surgical Innovation Children's National Hospital WashingtonDC United States The Perk Lab Queen's University KingstonON Canada University of Haute-Alsace Mulhouse France Faculty of Information Technology Monash University ClaytonVIC Australia University of Toronto TorontoON Canada The Li Ka Shing Knowledge Institute of St. Michael's Hospital TorontoON Canada Kyushu University Fukuoka Japan Kitakyushu Koga Hospital Fukuoka Japan Department of Radiology Brigham and Women's Hospital Harvard Medical School BostonMA United States Computer Aided Medical Procedures Technical University of Munich Munich Germany Department of Computer Science The Johns Hopkins University Baltim

Recent developments in data science in general and machine learning in particular have transformed the way experts envision the future of surgery. Surgical Data Science (SDS) is a new research field that aims to improve the quality of interventional healthcare through the capture, organization, analysis and modeling of data. While an increasing number of data-driven approaches and clinical applications have been studied in the fields of radiological and clinical data science, translational success stories are still lacking in surgery. In this publication, we shed light on the underlying reasons and provide a roadmap for future advances in the field. Based on an international workshop involving leading researchers in the field of SDS, we review current practice, key achievements and initiatives as well as available standards and tools for a number of topics relevant to the field, namely (1) infrastructure for data acquisition, storage and access in the presence of regulatory constraints, (2) data annotation and sharing and (3) data analytics. We further complement this technical perspective with (4) a review of currently available SDS products and the translational progress from academia and (5) a roadmap for faster clinical translation and exploitation of the full potential of SDS, based on an international multi-round Delphi process. © 2020, CC BY.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Generating Facial Composites from Principal Components

Generating Facial Composites from Principal Components

引用

2015年第三届控制、机电一体化与自动化国际学术会议

作者： Barbora Zahradnikova Soňa Duchovicova Peter Schreiber Institute of Applied Informatics Automation and MechatronicsFaculty of Materials Science and TechnologySlovak University of Technology

Penetrating computers and process automation into all the fields of human activity meant a breakthrough in the research of forensic methods applied on facial composite production. Although the issues stemming from unsatisfying graphical presentation of composites have been resolved by implementing computational technique into creating facial composites, software developed and used by the police in the most countries of the world still has not achieved satisfactory results. The research presented in this paper aims at developing an alternative technique respecting human ability of recognizing faces and eliminating the limitations of the previous systems as identified by psychologists within several years. The paper is concerned with a novel method of generating facial pictures. We presented the initial research on holistic and hybrid model and demonstrated the ability of generating novel facial images based on the proposed solution.

关键词： image witness Active Generating Facial Composites from Principal Components

来源：评论

学校读者我要写书评

暂无评论

A verification-supported evolution approach to assist software application engineers in industrial factory automation

A verification-supported evolution approach to assist softwa...

引用

IEEE International Symposium on Assembly and Manufacturing (ISAM)

作者： Sebastian Ulewicz Mattias Ulbrich Alexander Weigl Michael Kirsten Franziska Wiebe Bernhard Beckert Birgit Vogel-Heuser Technical University of Munich Institute of Automation and Information Systems Garching near Munich Germany Karlsruhe Institute of Technology Institute of Theoretical Informatics

ISBN: (纸本)9781509024131

Automated production systems (aPS) are complex systems with high reliability standards which can - besides through traditional testing - be ensured by verification using formal methods. In this paper we present a development process for aPS software supported by efficient formal techniques with easy-to-use specification formalisms to increase applicability in the aPS engineering domain. Our approach is tailored to the development of evolving aPS as existing behavior of earlier revisions is reused as specification for the verification. The approach covers three verification phases: regression verification, verification of critical interlock invariants and delta specification and verification. The approach is designed to be comprehensible by aPS software engineers: Two practically applicable specification means are presented. Formal methods have not yet been widely adapted in industrial aPS development since they lack (a) scalability, and (b) concise and comprehensible specification means. This paper shows concepts how to tackle both issues by referring to existing behavior during evolution verification to advance towards the goal of applicability in the aPS engineering domain. A laboratory case study demonstrates the feasibility and performance of the approach and shows promising results.

关键词： Software Testing Formal verification Unified modeling language Complexity theory Manufacturing automation Actuators

来源：评论

学校读者我要写书评

暂无评论

Creating a Management View on Key Indicators Using Business Intelligence in Small and Medium Enterprises

Creating a Management View on Key Indicators Using Business ...

引用

International Conference on Cybernetics and informatics

作者： Veronika Simoncicova Pavol Tanuska Slovak University of Technology Faculty of Materials Science and Technology in Trnava Institute of Applied Informatics Automation and Mechatronics

ISBN: (纸本)9781509018352

Business Intelligence is new important area of informatics. It presents options to work with data and provides basic theoretical determination of the issue. Business Intelligence as a process of transforming data into information and knowledge is one of the fastest growing areas of information technology. We want to deepen knowledge and skills and show how we can work with data and acquired important information concerning business easy and fast.

关键词： Data Information Decision-making Improve Management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：