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

Output Reference Tracking for MISO Positive Systems in General Anesthesia

IFAC Proceedings Volumes 2012年第18期45卷 119-124页

作者： F. Nogueira T. Mendonça P. Rocha Faculdade de Engenharia da Universidade do Porto Porto Portugal Center for Research and Development in Mathematics and Applications Universidade de Aveiro Aveiro Portugal Faculdade de Ciěncias da Universidade do Porto Porto Portugal Center for Research and Development in Mathematics and Applications Universidade de Aveiro Aveiro Portugal

In this paper a nonlinear positive control law is proposed for reference tracking in multi-input positive systems. This law proves to have a good performance in the control of the depth of anesthesia (DoA) by means of... 详细信息

关键词： Positive systems control DoA anesthesia

来源：评论

学校读者我要写书评

暂无评论

An institution for Alloy and its translation to second-order logic

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent Systems and Computing 2014年 263卷 45-75页

作者： Neves, Renato Madeira, Alexandre Martins, Manuel Barbosa, Luís University of Minho Braga Portugal Department of Mathematics University of Aveiro Aveiro Portugal Center for Research and Development in Mathematics and Applications Department of Mathematics University of Aveiro Aveiro Portugal

Lightweight formal methods, of which Alloy is a prime example, combine the rigour of mathematics without compromising simplicity of use and suitable tool support. In some cases, however, the verification of safety or mission critical software entails the need formore sophisticated technologies, typically based on theorem provers. This explains a number of attempts to connect Alloy to specific theorem provers documented in the literature. This chapter, however, takes a different perspective: instead of focusing on one more combination of Alloy with still another prover, it lays out the foundations to fully integrate this system in the Hets platform which supports a huge network of logics, logic translators and provers. This makes possible for Alloy specifications to "borrow" the power of several, non dedicated proof systems. The chapter extends the authors’ previous work on this subject by developing in full detail the semantical foundations for this integration, including a formalisation of Alloy as an institution, and introducing a new, more general translation of the latter to second-order logic. © Springer International Publishing Switzerland 2014.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Analyzing the MathE Platform Through Clustering Algorithms 22nd

Analyzing the MathE Platform Through Clustering Algorithms

引用

22nd International Conference on Computational Science and Its applications , ICCSA 2022

作者： Azevedo, Beatriz Flamia Amoura, Yahia Rocha, Ana Maria A. C. Fernandes, Florbela P. Pacheco, Maria F. Pereira, Ana I. Instituto Politécnico de Bragança Bragança5300-253 Portugal ALGORITMI Center University of Minho Campus de Azurém Guimarães4800-058 Portugal Center for Research and Development in Mathematics and Applications CIDMA University of Aveiro Aveiro Portugal

ISBN: (纸本)9783031105616

University lecturers have been encouraged to adopt innovative methodologies and teaching tools in order to implement an interactive and appealing educational environment. The MathE platform was created with the main goal of providing students and teachers with a new perspective on mathematical teaching and learning in a dynamic and appealing way, relying on digital interactive technologies that enable customized study. The MathE platform has been online since 2019, having since been used by many students and professors around the world. However, the necessity for some improvements on the platform has been identified, in order to make it more interactive and able to meet the needs of students in a customized way. Based on previous studies, it is known that one of the urgent needs is the reorganization of the available resources into more than two levels (basic and advanced), as it currently is. Thus, this paper investigates, through the application of two clustering methodologies, the optimal number of levels of difficulty to reorganize the resources in the MathE platform. Hierarchical Clustering and three Bio-inspired Automatic Clustering Algorithms were applied to the database, which is composed of questions answered by the students on the platform. The results of both methodologies point out six as the optimal number of levels of difficulty to group the resources offered by the platform. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Bottleneck prediction and data-driven discrete-event simulation for a balanced manufacturing line

引用

Procedia Computer Science 2022年 200卷 1145-1154页

作者： Eugénio M. Rocha Maria J. Lopes Department of Mathematics University of Aveiro 3810 Portugal Center for Research and Development in Mathematics and Applications (CIDMA) Aveiro 3810 Portugal Bosch Termotecnologia S.A. 3800 Portugal

Bottleneck identification is a relevant tool for continuous optimization of production lines. In this work, we implement a data-driven discrete-event simulator (DDS) based on experimental distributions, obtained from real historical data. The DDS allows to analyse the behavior of a balanced manufacturing line at Bosch Thermotechnology, under different hypotheses. It shows that some scenarios perceived as likely to increase output may actually decrease production metrics, reveals the importance of line injection rates, and leads to the need for adequate real time bottleneck forecasting tools, which allow shift managers intervention in a useful time frame. Eleven prediction models are tested, where a random forest and a multi-layer perceptron attain the best performances (above 95% in all metrics). This data flow is operationalized through a micro-services pipeline which is briefly discussed.

关键词： data-driven discrete-event simulation bottleneck prediction machine learning manufacturing lines

来源：评论

学校读者我要写书评

暂无评论

Evaluating Student Behaviour on the MathE Platform-Clustering Algorithms Approaches 16th

Evaluating Student Behaviour on the MathE Platform-Clusterin...

引用

16th International Conference on Learning and Intelligent Optimization, LION 16 2022

作者： Azevedo, Beatriz Flamia Rocha, Ana Maria A. C. Fernandes, Florbela P. Pacheco, Maria F. Pereira, Ana I. Instituto Politécnico de Bragança Bragança5300-253 Portugal Algoritmi Research Centre University of Minho Campus Azurém Guimarães4800-058 Portugal Center for Research and Development in Mathematics and Applications CIDMA University of Aveiro Aveiro Portugal

ISBN: (纸本)9783031248658

The MathE platform is an online educational platform that aims to help students who struggle to learn college mathematics as well as students who wish to deepen their knowledge on subjects that rely on a strong mathematical background, at their own pace. The MathE platform is currently being used by a significant number of users, from all over the world, as a tool to support and engage students, ensuring new and creative ways to encourage them to improve their mathematical skills. This paper is addressed to evaluate the students’ performance on the Linear Algebra topic, which is a specific topic of the MathE platform. In order to achieve this goal, four clustering algorithms were considered;three of them based on different bio-inspired techniques and the k-means algorithm. The results showed that most students choose to answer only basic level questions, and even within that subset, they make a lot of mistakes. When students take the risk of answering advanced questions, they make even more mistakes, which causes them to return to the basic level questions. Considering these results, it is now necessary to carry out an in-depth study to reorganize the available questions according to other levels of difficulty, and not just between basic and advanced levels as it is.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

The Aboodh Transform Techniques to Ulam Type Stability of Linear Delay Differential Equation

引用

International Journal of Applied and Computational mathematics 2023年第5期9卷 1-11页

作者： Selvam, A. Sabarinathan, S. Pinelas, Sandra Department of Mathematics SRM Institute of Science & Technology Tamil Nadu Kattankulathur 603 203 India Departamento de Ciěncias Exatas e Engenharia Academia Militar Av. Conde Castro Guimarães Amadora 2720-113 Portugal Center for Research and Development in Mathematics and Applications (CIDMA) Department of Mathematics University of Aveiro Aveiro 3810-193 Portugal

This paper mainly focuses on solving the Ulam–Hyers and Ulam–Hyers–JRassias stability problem of the linear delay differential equation using Aboodh transform technique. In addition, the results are extended to investigate the Mittag–Leffler–Ulam–Hyers and Mittag–Leffler–Ulam–Hyers–JRassias stability of this differential equation. Further, appropriate examples are illustrated to justify the efficiency of the obtained theoretical results. © 2023, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Aboodh transform Linear delay differential equation Mittag–Leffler–Ulam–Hyers and Mittag–Leffler–Ulam–Hyers–JRassias stability

来源：评论

学校读者我要写书评

暂无评论

PROFESSOR STEFAN G. SAMKO research: A DECADE RETROSPECTIVE

引用

Journal of Mathematical Sciences (United States) 2022年第3期266卷 510-516页

作者： Almeida, Alexandre Kusraeva, Zalina A. Rafeiro, Humberto Department of Mathematics Center for Research and Development in Mathematics and Applications University of Aveiro Aveiro 3810-193 Portugal Regional Mathematical Center of Southern Federal University Bolshaya Sadovaya Str. 105/42 Rostov-on-Don 344006 Russian Federation United Arab Emirates University Mathematical Sciences - (COS) Abu Dhabi Al Ain United Arab Emirates

This review article is dedicated to Professor Stefan Samko on the occasion of his 80th birthday. It contains some biographic snippets of S. Samko, as well as a bird’s-eye view on his research during the last decade. ... 详细信息

关键词： Classes of operators in complex analysis Grand type spaces Herz spaces Holomorphic Bergman type spaces Holomorphic Hölder spaces Morrey spaces Variable exponent spaces

来源：评论

学校读者我要写书评

暂无评论

The use of Quality Tools to support a SMED implementation 6

The use of Quality Tools to support a SMED implementation

引用

6th International Conference on Quality Engineering and Management, ICQEM 2024

作者： Matos, A. Xambre, A.R. Alvelos, H. Department of Economics Management Industrial Engineering and Tourism University of Aveiro Aveiro3810-193 Portugal Department of Economics Management Industrial Engineering and Tourism Center for Research and Development in Mathematics and Applications University of Aveiro Aveiro3810-193 Portugal

ISBN: (纸本)9789895491124

Purpose - This work discusses a SMED implementation carried out in the assembly department of a sanitary components’ factory, located in Aveiro, Portugal, with the support of quality tools. The case study focused on the process of changing production codes, for cistern structures manufacturing cells. Methodology – The first step of the study was the development of a SIPOC diagram to represent the production process. The next step was to identify the tasks required by the setup, whenever a new production order starts. The data needed to define and analyze the initial state of the setup was collected on the shop floor, which helped to identify problems and opportunities for improvement. The relevance and causes of the problems were explored using quality tools such as a Pareto Chart and an Ishikawa Diagram, and then improvement actions were proposed and implemented. To standardize the setup, a procedure was defined, which required the use of additional quality tools, namely 5Whys, 5S and Kamishibai. Findings - The implementation of these actions resulted in an 18% reduction in the average time of the setup. There is also a positive balance in terms of the standardization of processes and the maintenance of tools and equipment, which are crucial in ensuring that no waiting and no inappropriate or extraneous activities occur during setup. Originality/value - This work showed how quality tools can be integrated in a SMED process, assisting in identifying improvement opportunities and in involving workers in the process, which leads to more lasting results. © 2024 Universidade do Minho. All rights reserved.

关键词： Environmental impact

来源：评论

学校读者我要写书评

暂无评论

Lagrangian lie subalgebroids generating dy-namics for second-order mechanical systems on lie algebroids

arXiv

引用

arXiv 2018年

作者： Colombo, Leonardo Center for Research and Development in Mathematics and Applications Universidade de Aveiro Isca Aveiro3810-500 Portugal

The study of mechanical systems on Lie algebroids permits an understanding of the dynamics described by a Lagrangian or Hamiltonian function for a wide range of mechanical systems in a unified framework. Systems defined in tangent bundles, Lie algebras, principal bundles, reduced systems and constrained are included in such description. In this paper, we investigate how to derive the dynamics associated with a Lagrangian system defined on the set of admissible elements of a given Lie algebroid using Tulczyjew's triple on Lie algebroids and constructing a Lagrangian Lie subalgebroid of a symplectic Lie algebroid, by building on the geometric formalism for mechanics on Lie algebroids developed by M. de León, J.C. Marrero and E. Martínez on "Lagrangian submanifolds and dynamics on Lie algebroids".53D12, 70H50, 53D17 (Primary), 70H03, 37J15, 53D05 (Secondary) Copyright © 2018, The Authors. All rights reserved.

关键词： Lagrange multipliers

来源：评论

学校读者我要写书评

暂无评论

development of quality dashboards: A case study of an electronic product 4

Development of quality dashboards: A case study of an electr...

引用

4th International Conference on Quality Engineering and Management, ICQEM 2020

作者： Mendes, A.R. Xambre, A.R. Alvelos, H. Department of Economics Management Industrial Engineering and Tourism University of Aveiro Aveiro3810-193 Portugal Department of Economics Management Industrial Engineering and Tourism Center for Research and Development in Mathematics and Applications University of Aveiro Aveiro3810-193 Portugal

ISBN: (纸本)9789895491100

Purpose - This work aims to study the management of products' and process' characteristics to ensure the products' quality, by leveraging the use of dashboards, that collect, analyse and display information about the quality of the production in near-real-time. Methodology - The methodology used was based on the CRISP-DM reference model that comprises six stages: Business Understanding, Data Understanding, Data Preparation, Modelling, Evaluation and Deployment. The last two stages were not implemented. Findings - The main findings of this work focus on the use of recent IT developments to build systems that assist the work of the quality team, with the implementation of a quality dashboard. It was also important to note that the use of dashboards with near-real-time data helps the decision making process of the stakeholders. Practical implications - The resulting dashboards were considered very useful by the company, and the work developed served as pilot project on the creation of quality dashboards. Originality - This work combines the fields of data analysis, quality and process monitorization techniques. It addresses the need to use data in a meaningful, easy and fast manner, as a way to provide stakeholders with the necessary insights about the quality of the production. © 2020 Universidade do Minho. All rights reserved.

关键词： CRISP-DM Critical to Quality Characteristics Dashboards Quality Control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：