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

European Control Conference (ECC)

作者： Ismael Castillo Jakob Rehrl Martin Steinberger Martin Horn Institute of Automation and Control Graz University of Technology Graz Austria Research Center Pharmaceutical Engineering GmbH Inffeldgasse 13/2 Graz Austria Christian Doppler Laboratory for Model Based Control of Complex Test Bed Systems Institute of Automation and Control Graz University of Technology Graz Austria

The synthesis of Mesalazine via data-driven modelling and a control scheme for the underlying complex continuous flow chemistry process is presented. The challenges of modelling continuous flow synthesis of Mesalazine are overcome by the usage of Neuro-Fuzzy models together with the so-called Local Linear model Tree (NFM-LoLiMoT) training algorithm based on data from a highly detailed simulator for the reactor. A state-space representation of the NFM-LoLiMoT allows the implementation of a Non-linear model Predictive Control (NMPC) strategy in order to perform output tracking and fulfil all input and output constraints. The NMPC scheme guarantees stability through the approximation of an Infinite Horizon cost function using a terminal cost and terminal state constraints. The proposed method provides a systematic approach that can be applied for different setup configurations and reduces the time-consuming process of first-principles modelling of the chemical processes. Simulations of a hydrogenation reactor for the synthesis of Mesalazine are presented to show the performance of the introduced method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive aggregation of Monte Carlo augmented decomposed filters for efficient group-equivariant convolutional neural network

arXiv

引用

arXiv 2023年

作者： Zhao, Wenzhao Wichtmann, Barbara D. Albert, Steffen Maurer, Angelika Zöllner, Frank G. Attenberger, Ulrike Hesser, Jürgen Interdisciplinary Center for Scientific Computing Mannheim Institute for Intelligent Systems in Medicine Medical Faculty Mannheim Heidelberg University Germany Department of Diagnostic and Interventional Radiology University Hospital Bonn Germany Computer Assisted Clinical Medicine Mannheim Institute for Intelligent Systems in Medicine Medical Faculty Mannheim Heidelberg University Germany Interdisciplinary Center for Scientific Computing Central Institute for Computer Engineering CSZ Heidelberg Center for Model-Based AI Data Analysis and Modeling in Medicine Mannheim Institute for Intelligent Systems in Medicine Medical Faculty Mannheim Heidelberg University Germany

Group-equivariant convolutional neural networks (G-CNN) heavily rely on parameter sharing to increase CNN’s data efficiency and performance. However, the parameter-sharing strategy greatly increases the computational burden for each added parameter, which hampers its application to deep neural network models. In this paper, we address these problems by proposing a non-parameter-sharing approach for group equivariant neural networks. The proposed methods adaptively aggregate a diverse range of filters by a weighted sum of stochastically augmented decomposed filters. We give theoretical proof about how the continuous group convolution can be approximated by our methods. Our method applies to both continuous and discrete groups, where the augmentation is implemented using Monte Carlo sampling and bootstrap resampling, respectively. We demonstrate that our methods serve as an efficient extension of standard CNN. Experiments on group equivariance tests show how our methods can achieve superior performance to parameter-sharing group equivariant networks. Experiments on image classification and image denoising tasks show that in certain scenarios, with a suitable set of filter bases, our method helps improve the performance of standard CNNs and build efficient lightweight image denoising networks. The code will be available at https://***/ZhaoWenzhao/MCG_CNN. Copyright © 2023, The Authors. All rights reserved.

关键词： Image denoising

来源：评论

学校读者我要写书评

暂无评论

EFFICIENT 3D AFFINELY EQUIVARIANT CNNS WITH ADAPTIVE FUSION OF AUGMENTED SPHERICAL FOURIER-BESSEL BASES

arXiv

引用

arXiv 2024年

作者： Zhao, Wenzhao Albert, Steffen Wichtmann, Barbara D. Maurer, Angelika Attenberger, Ulrike Zöllner, Frank G. Hesser, Jürgen School of Information Engineering Nanjing University of Finance and Economics Interdisciplinary Center for Scientific Computing Mannheim Institute for Intelligent Systems in Medicine Medical Faculty Mannheim Heidelberg University Germany Computer Assisted Clinical Medicine Mannheim Institute for Intelligent Systems in Medicine Medical Faculty Mannheim Heidelberg University Germany Clinic of Neuroradiology University Hospital Bonn Germany Department of Diagnostic and Interventional Radiology University Hospital Bonn Germany Department of Biomedical Imaging and Image-guided Therapy Medical University of Vienna Austria Interdisciplinary Center for Scientific Computing Central Institute for Computer Engineering CSZ Heidelberg Center for Model-Based AI Data Analysis and Modeling in Medicine Mannheim Institute for Intelligent Systems in Medicine Medical Faculty Mannheim Heidelberg University Germany

Filter-decomposition-based group equivariant convolutional neural networks (CNNs) have shown promising stability and data efficiency for 3D image feature extraction. However, these networks, which rely on parameter sharing and discrete transformation groups, often underperform in modern deep neural network architectures for processing volumetric images, such as the common 3D medical images. To address these limitations, this paper presents an efficient non-parameter-sharing continuous 3D affine group equivariant neural network for volumetric images. This network uses an adaptive aggregation of Monte Carlo augmented spherical Fourier-Bessel filter bases to improve the efficiency and flexibility of 3D group equivariant CNNs for volumetric data. Unlike existing methods that focus only on angular orthogonality in filter bases, the introduced spherical Bessel Fourier filter base incorporates both angular and radial orthogonality to improve feature extraction. Experiments on four medical image segmentation datasets show that the proposed methods achieve better affine group equivariance and superior segmentation accuracy than existing 3D group equivariant convolutional neural network layers, significantly improving the training stability and data efficiency of conventional CNN layers (at 0.05 significance level). The code is available at https://***/ZhaoWenzhao/WMCSFB. Copyright © 2024, The Authors. All rights reserved.

关键词： Spheres

来源：评论

学校读者我要写书评

暂无评论

Towards Incremental Safety and Security Requirements Co-Certification

Towards Incremental Safety and Security Requirements Co-Cert...

引用

IEEE European Symposium on Security and Privacy Workshops

作者： Morgagni Andrea Massonet Philippe Dupont Sbastien Grandclaudon Jeremy Cyber Security Division Leonardo Rome Italy Scientific coordination CETIC research center Charleroi Belgium Model-Based Engineering and Distributed Systems CETIC research center Charleroi Belgium

ISBN: (数字)9781728185972

ISBN: (纸本)9781728185989

The continuous technological developments and the growing connectivity of applications and infrastructures is leading to the new threats to the technological world in particular to the possibility of considering certain threats in environments that were not previously touched by them. Now that many safety critical systems are becoming connected, they need to be protected from security threats. Safety and security engineering and certification evaluation are processes that have evolved independently. However now that security issues may impact safety they need to be analysed together, yet the processes must become more flexible to encourage certification when it is not mandatory. In this paper we sketch an approach for incremental certification of security requirements with Common Criteria in the general context of security/safety co-engineering and certification. The approach is illustrated with a case study.

关键词： Security Safety Testing Software ISO Standards IEC Standards Computer crime

来源：评论

学校读者我要写书评

暂无评论

Challenges in Skill-based engineering of Industrial Automation systems∗ 23

Challenges in Skill-based Engineering of Industrial Automati...

引用

23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018

作者： Malakuti, Somayeh Bock, Jurgen Weser, Michael Venet, Pierre Zimmermann, Patrick Wiegand, Mathias Grothoff, Julian Wagner, Constantin Bayha, Andreas ABB Corporate Research Center Ladenburg Germany RD Corporate Research KUKA Deutschland GmbH Augsburg Germany Digital Engineering Fraunhofer IGCV Augsburg Germany Advanced Product Engineering Festo AG Co. KG Esslingen Germany Department of Process Control Engineering RWTH Aachen University Aachen Germany Model-based Systems Engineering Fortiss GmbH Munich Germany

ISBN: (纸本)9781538671085

Skill-based engineering is gaining attention as a means to increase flexibility and changeability in engineering industrial automation systems. This paper proposes the Skill-based engineering model (SEM), which formally describes the core entities that play a role in skill-based engineering. Accordingly, we propose a four dimensional classification scheme for skills, and assess the suitability of a property model and OWL ontologies to describe and match skills. For each case, we identify a list of challenges that must be addressed to make skill-based engineering a reality in industrial automation systems. We believe that this paper can guide researchers to study various open aspects of skill-based engineering to make it feasible in complex industrial automation systems. © 2018 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Challenges in Skill-based engineering of Industrial Automation systems

Challenges in Skill-based Engineering of Industrial Automati...

引用

IEEE International Conference on Emerging Technologies and Factory Automation

作者： Somayeh Malakuti Jurgen Bock Michael Weser Pierre Venet Patrick Zimmermann Mathias Wiegand Julian Grothoff Constantin Wagner Andreas Bayha ABB Corporate Research Center Ladenburg Germany R&D Corporate Research KUKA Deutschland GmbH Augsburg Germany Digital Engineering Fraunhofer IGCV Augsburg Germany Advanced Product Engineering Festo AG & Co. KG Esslingen Germany Chair of Process Control Engineering RWTH Aachen University Aachen Germany Model-based Systems Engineering Fortiss GmbH Munich Germany

关键词： Skill Property Ontology PPR model Taxonomy

来源：评论

学校读者我要写书评

暂无评论

Mapping geographical inequalities in childhood diarrhoeal morbidity and mortality in low-income and middle-income countries, 2000-17: analysis for the Global Burden of Disease Study 2017 (vol 395, pg 1779, 2020)

引用

LANCET 2020年第10239期395卷 1762-1762页

作者： Reiner, R. C., Jr. Hay, S., I Institute for Health Metrics and Evaluation University of Washington Seattle WA United States Department of Global Health School of Medicine University of Washington Seattle WA United States Department of Health Metrics Sciences School of Medicine University of Washington Seattle WA United States College of Health and Medical Sciences Haramaya University Harar Ethiopia Department of Epidemiology and Biostatistics Haramaya University Harar Ethiopia Department of Medical Laboratory Sciences Haramaya University Harar Ethiopia School of Nursing and Midwifery Haramaya University Harar Ethiopia School of Pharmacy Haramaya University Harar Ethiopia School of Public Health Haramaya University Harar Ethiopia Haramaya University Harar Ethiopia Advanced Diagnostic and Interventional Radiology Research Center Tehran University of Medical Sciences Tehran Iran Cancer Biology Research Center Tehran University of Medical Sciences Tehran Iran Cancer Research Institute Tehran University of Medical Sciences Tehran Iran Department of Economics and Management Sciences for Health Tehran University of Medical Sciences Tehran Iran Department of Environmental Health Engineering Tehran University of Medical Sciences Tehran Iran Department of Epidemiology and Biostatistics Tehran University of Medical Sciences Tehran Iran Department of Health Management and Economics Tehran University of Medical Sciences Tehran Iran Department of Microbiology Tehran University of Medical Sciences Tehran Iran Department of Pharmacology Tehran University of Medical Sciences Tehran Iran Digestive Diseases Research Institute Tehran University of Medical Sciences Tehran Iran Endocrinology and Metabolism Research Center Tehran University of Medical Sciences Tehran Iran Hematology-Oncology and Stem Cell Transplantation Research Center Tehran University of Medical Sciences Tehran Iran Iran National Institute of Health Research Tehran University of Medical Sciences Tehran Iran Metabolomics and

Summary Background Across low-income and middle-income countries (LMICs), one in ten deaths in children younger than 5 years is attributable to diarrhoea. The substantial between-country variation in both diarrhoea incidence and mortality is attributable to interventions that protect children, prevent infection, and treat disease. Identifying subnational regions with the highest burden and mapping associated risk factors can aid in reducing preventable childhood *** We used Bayesian model-based geostatistics and a geolocated dataset comprising 15 072 746 children younger than 5 years from 466 surveys in 94 LMICs, in combination with findings of the Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2017, to estimate posterior distributions of diarrhoea prevalence, incidence, and mortality from 2000 to 2017. From these data, we estimated the burden of diarrhoea at varying subnational levels (termed units) by spatially aggregating draws, and we investigated the drivers of subnational patterns by creating aggregated risk factor *** The greatest declines in diarrhoeal mortality were seen in south and southeast Asia and South America, where 54·0% (95% uncertainty interval [UI] 38·1-65·8), 17·4% (7·7-28·4), and 59·5% (34·2-86·9) of units, respectively, recorded decreases in deaths from diarrhoea greater than 10%. Although children in much of Africa remain at high risk of death due to diarrhoea, regions with the most deaths were outside Africa, with the highest mortality units located in Pakistan. Indonesia showed the greatest within-country geographical inequality; some regions had mortality rates nearly four times the average country rate. Reductions in mortality were correlated to improvements in water, sanitation, and hygiene (WASH) or reductions in child growth failure (CGF). Similarly, most high-risk areas had poor WASH, high CGF, or low oral rehydration therapy *** By co-analysing geospatial trends in d

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Effective Management of Inconsistencies in model-based engineering of Automated Production systems

引用

IFAC-PapersOnLine 2015年第3期48卷 916-923页

作者： Feldmann, Stefan Herzig, Sebastian J.I. Kernschmidt, Konstantin Wolfenstetter, Thomas Kammerl, Daniel Qamar, Ahsan Lindemann, Udo Krcmar, Helmut Paredis, Christiaan J.J. Vogel-Heuser, Birgit Institute of Automation and Information Systems Technische Universität München Garching Germany Model-Based Systems Engineering Center Georgia Institute of Technology Atlanta GA United States Department for Information Systems Technische Universität München Munich Germany Institute of Product Development Technische Universität München Munich Germany

The development of automated production systems requires the collaborative effort of a variety of stakeholders from different disciplines. In model-based systems engineering, stakeholders address their specific concerns by forming a number of views using models. Because of the multidisciplinary nature of automated production systems, a variety of modelling languages, formalisms and tools is typically employed. Nevertheless, the aggregation of models is nowadays limited by the communication between stakeholders and interdisciplinary understanding. Therefore, in order to achieve a positive outcome of the design process it is crucial that the models are free of inconsistencies. As a first step, this paper describes challenges related to managing inconsistencies in models of systems from the domain of automated production systems. A conceptual approach that uses semantic web technologies and a technology demonstrator illustrating the technical viability of the approach are shown. Finally, requirements for a discipline-spanning inconsistency management framework are derived based on the presented challenges and initial findings from applying the approach to a demonstration case. © 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： modeling languages

来源：评论

学校读者我要写书评

暂无评论

A conceptual basis for inconsistency management in model-based systems engineering 24

A conceptual basis for inconsistency management in model-bas...

引用

24th CIRP Design Conference 2014: Mass Customization and Personalization

作者： Herzig, Sebastian J. I. Paredis, Christiaan J. J. A Model-Based Systems Engineering Center United States of America Georgia Institute of Technology Atlanta United States

A crucial issue in system architecting is the need to study systems from different viewpoints. These viewpoints are defined by a variety of factors, including the concerns of interest, level of abstraction, observers and context. Views conforming to these viewpoints are highly interrelated due to the concerns addressed overlapping. These interrelations and overlaps can lead to inconsistencies. The challenge is to identify and resolve - That is, manage - such inconsistencies. This paper introduces an approach to managing inconsistencies within the context of model-based systems engineering (MBSE). In current practice, the management of inconsistencies relies on ad-hoc methods and infrequently conducted activities such as reviews. The result of this practice is that decisions are often made based on inconsistent information, which can lead to costly rework or even mission failure. Therefore, assisting humans by means of a computational method that can continuously identify and aid in resolving inconsistencies adds significant value. In the paper, the hypothesis that pattern matching can serve as a generic means of identifying inconsistencies is investigated. It is shown that graph patterns can be used as a means to capture conditions for and formally reason about the existence of inconsistencies, and to specify resolution alternatives. The paper concludes that using patterns to manage inconsistencies can be very effective and accurate, but it may also incur additional costs that must be carefully balanced with the benefits gained. © 2014 Published by Elsevier B.V.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

An Approach to Identifying Inconsistencies in model-based systems engineering

引用

Procedia Computer Science 2014年 28卷 354-362页

作者： Sebastian J.I. Herzig Ahsan Qamar Christiaan J.J. Paredis Model-Based Systems Engineering Center Georgia Institute of Technology Atlanta Georgia United States of America

A typical way of managing the inherent complexity of contemporary technical systems is to study them from different viewpoints. Such viewpoints are defined by a variety of factors, including the concerns of interest, level of abstraction, observers and context. Views conforming to these viewpoints are typically highly interrelated since the concerns addressed in the different viewpoints overlap semantically. Such overlaps can lead to inconsistencies. The challenge is to identify and resolve – that is, manage – such inconsistencies. This paper introduces an approach to identifying inconsistencies within the context of model- based systems engineering (MBSE). In current practice, inconsistencies are typically only discovered after long time intervals, e.g., during reviews. This can result in costly rework or even mission failure. Therefore, actively checking for inconsistencies, and doing so in a continuous fashion, can be valuable. We investigate the hypothesis that all models can be represented by graphs and that inconsistencies can be identified by means of pattern matching. We show that this process is equivalent to inferring inconsistencies by means of deductive reasoning. Finally, we present the results of a proof-of-concept implementation.

关键词： inconsistency management model-based systems engineering model composition model integration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：