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

TECHNOLOGIES FOR DEFOSSILISATION OF PROCESS HEAT: AN ANALYSIS AND OVERVIEW OF INDUSTRIAL PROCESSES AND TEMPERATURE REQUIREMENTS 37

TECHNOLOGIES FOR DEFOSSILISATION OF PROCESS HEAT: AN ANALYSI...

引用

37th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy systems, ECOS 2024

作者： von Thadden del Valle, Carlota Frey, Gunnar van Beek, Mathias Budt, Marcus Fraunhofer Institute for Environmental Safety and Energy Technology UMSICHT Department Energy Systems Engineering North Rhine-Westphalia Oberhausen Germany

ISBN: (纸本)9798331307660

Process heat is the heat required in industrial processes during the manufacturing of a *** Germany, process heat constitutes two-thirds of the industrial sector which corresponds to nearly 20 % of Germany's total energy demand (***4Climate, 2022).This heat demand varies between the industrial sectors and is highly dependent on the quantities, processes, and particularly the production temperature ***, this paper presents an overview of industrial processes and available technologies with their respective temperature ranges to assist in the creation of concepts for the defossilisation of process *** process overview is split into industrial sectors and the corresponding temperatures are summarised in a *** identifying available technologies for defossilisation through literature research, such as heat pumps, electric boilers, and solar thermal technologies, each technology is evaluated based on its advantages, limitations, and suitability for different temperature requirements in industrial *** technology overview is visualised through a diagram containing temperature levels and energy *** research conducted is based on German national data, but temperature requirements and available technologies can be applied to other countries as *** data contained in this paper could be used to develop process heat concepts or as a market overview for the introduction of new technologies to defossilise process heat. © 2024 37th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy systems, ECOS 2024. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Intelligent Daycare: Enhancing Child Safety with IoT and Machine Learning Innovations 9

Intelligent Daycare: Enhancing Child Safety with IoT and Mac...

引用

9th International Conference on Communication and Electronics systems, ICCES 2024

作者： Prathyanga, Amisha Shyaminda, Pasindu Chamikara, Pasan Lakshan, Sachin Thelijjagoda, Samantha Kasthurirathna, Dharshana Sri Lanka Institute of Information Technology Department of Software Engineering Malabe Sri Lanka Sri Lanka Institute of Information Technology Department of Computer Systems Engineering Malabe Sri Lanka

ISBN: (纸本)9798350377972

Child safety and well-being in daycare settings are important, thus it is vital that the persons in charge be attentive to them. This research tries to solve the problem by introducing a smart and detailed monitoring system that utilizes new technology to enhance safety and support caretakers. The system has various innovative features, such as child missing detection, behavior and facial expression analysis, cry analysis and categorization, and fall detection. Using high-resolution cameras and on-device Edge AI capabilities, it ensures real-time surveillance of children's activities while protecting privacy. The approach integrates behavior and facial expression analysis to assess emotional states, cry recognition to discover childcare needs, as well as a useful fall detection system that can tell the difference between falls and other movements. All these parts synergize to hand over the necessary information to the caregivers on time and in a way that they can act upon. The quantitative experiments in real-time childcare centers show high accuracy through all the components, attesting to the system's reliability and durability. This research has important significance in improving the safety and the frequency response in daycare centers because it gives caregivers automated tools to quickly address the needs of children. While promising, the system has drawbacks, such as potential biases in data models and a reliance on ideal environmental circumstances. Future work intends to improve flexibility across varied daycare situations, improve accuracy through larger datasets, and investigate ethical frameworks for wider application. © 2024 IEEE.

关键词： Fall detection

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Study on Mitigating Hard Boundaries of Decision-Tree-based Uncertainty Estimates for AI Models

A Study on Mitigating Hard Boundaries of Decision-Tree-based...

引用

2022 Workshop on Artificial Intelligence Safety, SafeAI 2022

作者： Gerber, Pascal Jöckel, Lisa Kläs, Michael Fraunhofer Institute for Experimental Software Engineering IESE Fraunhofer Platz 1 Kaiserslautern67663 Germany

Outcomes of data-driven AI models cannot be assumed to be always correct. To estimate the uncertainty in these outcomes, the uncertainty wrapper framework has been proposed, which considers uncertainties related to model fit, input quality, and scope compliance. Uncertainty wrappers use a decision tree approach to cluster input quality related uncertainties, assigning inputs strictly to distinct uncertainty clusters. Hence, a slight variation in only one feature may lead to a cluster assignment with a significantly different uncertainty. Our objective is to replace this with an approach that mitigates hard decision boundaries of these assignments while preserving interpretability, runtime complexity, and prediction performance. Five approaches were selected as candidates and integrated into the uncertainty wrapper framework. For the evaluation based on the Brier score, datasets for a pedestrian detection use case were generated using the CARLA simulator and YOLOv3. All integrated approaches achieved a softening, i.e., smoothing, of uncertainty estimation. Yet, compared to decision trees, they are not so easy to interpret and have higher runtime complexity. Moreover, some components of the Brier score impaired while others improved. Most promising regarding the Brier score were random forests. In conclusion, softening hard decision tree boundaries appears to be a trade-off decision. Copyright © 2022 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Scalable Communication for Mobile Multi-Agent Cooperative Detection 24

Scalable Communication for Mobile Multi-Agent Cooperative De...

引用

24th IEEE International Conference on Mobile Data Management, MDM 2023

作者： Gao, Hongye Zhou, Tianlong Rao, Weixiong Ye, Feng Tongji University School of Software Engineering Shanghai China Institute of Systems Engineering Military Academy of Sciences Beijing100101 China

ISBN: (纸本)9798350341010

Communication is an effective mechanism to coordinate the behavior of mobile multi-agent systems. We propose a general mobile multi-agent cooperative detection framework, which provides a detection system with enhanced collaboration capabilities based on graph neural networks and reinforcement learning. Each agent gains information about the surrounding area by heuristic KNN, and then exchanges this part of subgraph information through communication so as to obtain global information in a decentralized way. At the same time, to avoid the computation overhead caused by the increase of the number of agents, attention mechanism is used to filter and optimize the communication process to improve scalability. We evaluate our method on large-scale detection tasks. Our approach is able to outperform the baselines, while making superior communication efficiency1 © 2023 IEEE.

关键词： Target tracking

来源：评论

学校读者我要写书评

暂无评论

Poster: Two-Phase KalmanNet Based Collaborative Detection Framework 43

Poster: Two-Phase KalmanNet Based Collaborative Detection Fr...

引用

43rd IEEE International Conference on Distributed Computing systems, ICDCS 2023

作者： Zhou, Tianlong Rao, Weixiong Ye, Feng School of Software Engineering Tongji University Shanghai China Institute of Systems Engineering Military Academy of Sciences Beijing100101 China

ISBN: (纸本)9798350339864

The collaborative detection problem has been widely used in many applications. Existing works typically exploit a Kalman Filter or its variant to estimate target state with an impractical assumption that the state space and environment are fully known. To address this issue, we propose a novel multi-Agent reinforcement learning (MARL) based collaborative detection framework. The key is (1) a Two-Phase Kalman Neural Network (TPKN) to estimate target state and (2) a reinforcement learning (RL) model by taking the target estimation state as input and generating an action to track targets. Our initial evaluation with 4 pursuer agents and 4 targets demonstrates that our framework outperforms the state-of-The-Art by a much higher tracking ability and lower localization error.11Weixiong Rao and Feng Ye are joint corresponding authors of the paper. © 2023 IEEE.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Criteria-based comparsion of systems engineering and agile methods A fundamental comparison of two development methods 8

Criteria-based comparsion of Systems Engineering and agile m...

引用

8th International Conference on Information systems engineering, ICISE 2023

作者： Humpert, Lynn Mundt, Enrik Bretz, Lukas Anacker, Harald Bretz, Vanessa Dumitrescu, Roman Fraunhofer Institute For Mechatronic Systems Design Paderborn Germany GTZ/VPD Systems Engineering Miele And Cie. Kg Germany

ISBN: (纸本)9798400709173

This paper compares two popular design methods used in product development, namely systems engineering (SE) and agile methods. The comparison is based on various criteria, such as ease of implementation, object of innovation, software-dependency, customer relations, human centricity, organizational structure, values, and innovative capability, which were developed in a previous paper. The content of the comparison is supported by a literature review and a workshop with industry professionals. The findings show that both SE and agile methods have similarities and differences based on the criteria examined, and the choice of methodology depends on the project's specific context and objectives. While this paper provides only a general overview of each criterion and their compatibility, the results can assist product development teams in selecting the most appropriate approach for their needs. However, more research is necessary to enhance the effectiveness and efficiency of both approaches. This paper is a useful resource for practitioners and researchers interested in understanding the similarities and differences between SE and Agile and making informed decisions regarding their use. © 2023 Owner/Author.

关键词： Product development

来源：评论

学校读者我要写书评

暂无评论

Analysis and Propagation of Feature Revisions in Preprocessor-based software Product Lines

Analysis and Propagation of Feature Revisions in Preprocesso...

引用

2024 software engineering, SE 2024

作者： Michelon, Gabriela K. Assunção, Wesley K.G. Grünbacher, Paul Egyed, Alexander Institute of Software Systems Engineering and LIT Lab Johannes Kepler University Linz Linz4040 Austria Department of Computer Science North Carolina State University RaleighNC27695 United States Institute of Software Systems Engineering Johannes Kepler University Linz Linz4040 Austria

This is a summary of a paper [Mi23] published in the IEEE International Conference on software Analysis, Evolution and Reengineering (SANER) 2023. It describes a tool-supported approach for analyzing and propagating f... 详细信息

ISBN: (纸本)9783885797371

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Spatial Correlation Module for Classification of Multi-Label Ocular Diseases Using Color Fundus Images

引用

Computers, Materials & Continua 2023年第7期76卷 133-150页

作者： Ali Haider Khan Hassaan Malik Wajeeha Khalil Sayyid Kamran Hussain Tayyaba Anees Muzammil Hussain Department of Software Engineering Faculty of Computer SciencesLahore Garrison UniversityLahorePakistan Department of Computer Science School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan Department of Computer Science&Information Technology University of Engineering and Technology(UET)PeshawarPakistan Department of Computer Science TIMES InstituteMultan60000Pakistan Department of Software Engineering School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan

To prevent irreversible damage to one’s eyesight,ocular diseases(ODs)need to be recognized and treated *** fundus imaging(CFI)is a screening technology that is both effective and *** to CFIs,the early stages of the disease are characterized by a paucity of observable symptoms,which necessitates the prompt creation of automated and robust diagnostic *** traditional research focuses on image-level diagnostics that attend to the left and right eyes in isolation without making use of pertinent correlation data between the two sets of *** addition,they usually only target one or a few different kinds of eye diseases at the same *** this study,we design a patient-level multi-label OD(PLML_ODs)classification model that is based on a spatial correlation network(SCNet).This model takes into consideration the relevance of patient-level diagnosis combining bilateral eyes and multi-label ODs ***_ODs is made up of three parts:a backbone convolutional neural network(CNN)for feature extraction i.e.,DenseNet-169,a SCNet for feature correlation,and a classifier for the development of classification *** DenseNet-169 is responsible for retrieving two separate sets of attributes,one from each of the left and right *** then,the SCNet will record the correlations between the two feature sets on a pixel-by-pixel *** the attributes have been analyzed,they are integrated to provide a representation at the patient *** the whole process of ODs categorization,the patient-level representation will be *** efficacy of the PLML_ODs is examined using a soft margin loss on a dataset that is readily accessible to the public,and the results reveal that the classification performance is significantly improved when compared to several baseline approaches.

关键词： Ocular disease multi-label spatial correlation CNN eye disease

来源：评论

学校读者我要写书评

暂无评论

Dilemma Model of Cooperative Guidance and Control to solve the speed-certainty-dilemma in Human-Autonomy Teaming: First Sketch 4

Dilemma Model of Cooperative Guidance and Control to solve t...

引用

4th IEEE International Conference on Human-Machine systems, ICHMS 2024

作者： Flemisch, Frank Preutenborbeck, Michael Burlage, Laurenz Ripkens, Alexander Rwth Aachen University Institute Of Industrial Engineering And Ergonomics Aachen Germany Balanced Human Systems Integration Fraunhofer Fkie Wachtberg Germany

ISBN: (纸本)9798350315790

This short-paper describes a work in progress developed in a NATO research task group on Meaningful Human Control over AI-based systems, which is also applicable to any safety critical system where human and AI cooperate on time critical decisions. The paper introduces the topic, especially control, and sketches a fundamental model of cooperative guidance & control in Human-Autonomy Teaming which structures the cognition and action process under the speed-certainty dilemma, derived from the speed-accuracy tradeoff. Starting point of the model are two coupled OODA-loops (Observe Orient Decide Act) of a human and an AI-based co-system, which are extended to a cooperative guidance and control model. The model itself is not yet a solution to the speed-certainty dilemma but helps to structure future research and prepare future experiments. It is important to discuss the fundamental dilemma of time critical control and its model right now, because the time pressure to develop systems which can flght at machine speed against high speed weapons like Russia's Ch-47M2 ('Kinschal') is eminent. Another urgent example is that of loitering munition, where it makes a big difference whether the operator is doing the final decision, or the co-system. The model can also be applied to civil systems, as demonstrated with an example from AI-supported manufacturing. © 2024 IEEE.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：