Artificial intelligence (AI) may help clinicians with a wide range of patient care including intelligent systems of healthcare. In healthcare, AI approaches that encompass machine learning (ML) to deep learning (DL) a...
详细信息
The management of aging built infrastructure represents one of the most pressing challenges facing most developed countries. The circumstance that a sizable portion of the world's infrastructure, mostly made of re...
详细信息
The management of aging built infrastructure represents one of the most pressing challenges facing most developed countries. The circumstance that a sizable portion of the world's infrastructure, mostly made of reinforced concrete, is approaching its design life-expectancy of 50-100 years, poses a serious risk of cascade failures with severe socioeconomic consequences. This has led to the growing implementation of new maintenance regulations, in which Structural Health Monitoring (SHM) plays predominant role as an effective means of preventive maintenance. Nonetheless, the extensive implementation of SHM systems still encounters serious difficulties, both from hardware and software standpoints. Clear evidence of the latter is the current lack of widely accepted software programs capable of managing dense sensor networks on a regional scale. Indeed, most innovations in the realm of SHM remain confined to research environments without a clear transition to engineering routine practice. In this context, this work presents the latest advances in the development of a comprehensive SHM software platform called MOVA/MOSS. Originally designed as a software framework for conducting long-term integrated SHM of structures (encompassing both dynamic and static monitoring), the most recent upgrades involve the incorporation of digital twins and artificial intelligence for real-time system and damage identification. The potential of the developed software platform is showcased through several real-world structures, with particular focus on the integration possibilities of non-supervised (data-driven) and supervised (model-driven) damage identification.
The proceedings contain 55 papers. The special focus in this conference is on systems, software and Services Process Improvement. The topics include: Sleepless in the Code: Exploring the Relationship Between Occupatio...
ISBN:
(纸本)9783031711381
The proceedings contain 55 papers. The special focus in this conference is on systems, software and Services Process Improvement. The topics include: Sleepless in the Code: Exploring the Relationship Between Occupational Anxiety and Sleep Patterns in the software Industry;how to Explain Artificial Intelligence to Humans: Learning from Quality Function Deployment;large Language Models for softwareengineering: A Systematic Mapping Study;REFIoT: A Framework to Combat Requirements engineering in IoT Applications and systems;Using Data Augmentation to Support AI-Based Requirements Evaluation in Large-Scale Projects;artificial Intelligence-Enabled Medical Device Standards: A Multidisciplinary Literature Review;toward the Development of a Method for Identifying Problems and Providing Strategies to Reduce Them in software Development Teams;investigating systems Modernisation: Approaches, Challenges and Risks;Analysing the Role of Generative AI in softwareengineering - Results from an MLR;Virtual Emergency Warnings via C-ITS – An Interdisciplinary Approach;AI-Driven Test Flow Generation from Semi-formal Functional Safety Requirements;Understanding the Implications: Critical Path Analysis vs Dependent Failure Analysis in ISO 26262 Safety Methodology;Towards the Development of a Data Security Risk Management Framework for Medical Device software AI Models;towards an Integrated Cybersecurity Framework for Small and Medium Enterprises;Situation Analysis for Railway Safety: Adapting SOTIF for Passive Crossings;leveraging Digital Twins for Smart Hydropower: A Pathway to Industry 4.0;A Proposal for ISO24089 Audit Methodology Before Type Approvals: Interface with Automotive SPICE® PAM4.0;A Proposal for Enhancing IEC 61508 Methodology for the β-Factor Estimation;Consistency for More Than One TARA and Security Element Out of Context Experiences.
Malware, malicious software designed to disrupt, damage, or gain unauthorized access to computersystems, poses a significant and evolving threat to cybersecurity. Malware detection is an essential component of modern...
详细信息
This study deals with the development of a new geoprocessing tool useful for wet gap crossing during military operations. At present, there is no software in the Czech Armed Forces that an engineer staff officer can c...
详细信息
ISBN:
(纸本)9783031713965;9783031713972
This study deals with the development of a new geoprocessing tool useful for wet gap crossing during military operations. At present, there is no software in the Czech Armed Forces that an engineer staff officer can comprehensively use to analyse wet gaps. The use of this geoprocessing tool will allow a faster and more efficient task analysis in the planning process. Members of the staffs of individual battalions of the 7th Mechanized Brigade, the 151st and 153rd Engineer Battalions and students of the University of Defence experimentally verified the usability of the geoprocessing tool. The advantage of own development is the possibility of updating the geoprocessing tool and admin options. The proposed geoprocessing tool can also be used as an interoperable element in the planning process of international task forces. The issue of wet gap crossing also confirms its importance from the conflict in Ukraine (e.g. of crossing the North Donetsk, Dnieper River) and also by the acquisition processes for newly acquired combat vehicles and support assets (military bridge vehicles, pontoon bridge set).
Specifications for reactive systems synthesis consist of assumptions and guarantees. However, some specifications may include unnecessary assumptions, i.e., assumptions that are not necessary for realizability. While ...
详细信息
ISBN:
(纸本)9781665457019
Specifications for reactive systems synthesis consist of assumptions and guarantees. However, some specifications may include unnecessary assumptions, i.e., assumptions that are not necessary for realizability. While the controllers that are synthesized from such specifications are correct, they are also inflexible and fragile;their executions will satisfy the specification's guarantees in only very specific environments. In this work we show how to detect unnecessary assumptions, and to transform any realizable specification into a corresponding realizable core specification, one that includes the same guarantees but no unnecessary assumptions. We do this by computing an assumptions core, a locally minimal subset of assumptions that suffices for realizability. Controllers that are synthesized from a core specification are not only correct but, importantly, more general;their executions will satisfy the specification's guarantees in more environments. We implemented our ideas in the Spectra synthesis environment, and evaluated their impact over different benchmarks from the literature. The evaluation provides evidence for the motivation and significance of our work, by showing (1) that unnecessary assumptions are highly prevalent, (2) that in almost all cases the fully-automated removal of unnecessary assumptions pays off in total synthesis time, and (3) that core specifications induce more general controllers whose reachable state space is larger but whose representation more memory efficient.
A servo driven control system is proposed to assist the steering wheel In this paper. The hardware part controls the angle and torque of the motor based on PID algorithm to achieve full closed-loop control, and collec...
详细信息
Artificial Intelligence (AI) is significantly impacting foreseeing fields offering a better-automated decision making process and autonomous systems. Therefore, it is important to design high-quality AI systems that f...
详细信息
ISBN:
(纸本)9798400717017
Artificial Intelligence (AI) is significantly impacting foreseeing fields offering a better-automated decision making process and autonomous systems. Therefore, it is important to design high-quality AI systems that focus on the users' priorities and avoid potential unethical and undesired behaviours. In the current scenario, Human-computer Interaction (HCI) and AI are not separate fields but they contaminate each other and, consequently, the symbiosis between humans and AI system is fostered. Ensuring that AI development benefits humans, while providing an high-level automation, remains a primary concern. For this reason, the human-centered design approach should be adopted to create systems that being trustworthy, safe, reliable, and governance compliant are able to enhance the user's cognitive abilities and protect they from potential risks. In this context, it is fundamental to identify guidelines to follow while designing high-quality Symbiotic AI (SAI) systems and metrics for their appropriate evaluation. Assessing the empirical validity of the proposed solution is of crucial importance and the planning and execution of a user study is one of the main aspects of this work. The research project concerns the design of SAI systems, more specifically the definition of best practices and metrics to adopt while creating and evaluating these systems. This contribution presents the preliminary results obtained during the initial part of the research. The main opportunities and challenges in this new research field are also discussed.
With the growing interest in distributed or global software development (GSD), numerous studies have emerged, aiming to explore the best practices for managing remote work scenarios. However, an opportunity of study r...
详细信息
ISBN:
(纸本)9783031702846;9783031702853
With the growing interest in distributed or global software development (GSD), numerous studies have emerged, aiming to explore the best practices for managing remote work scenarios. However, an opportunity of study remains regarding a systematic and rigorous analysis of how to effectively manage work from home-office in a distributed or global software development context. This paper presents a comprehensive systematic literature review that investigates the management of remote work in the realm of distributed or global software development. Atotal of 145 papers were selected from an initial search of 1503 retrieved publications based on predefined inclusion and exclusion criteria. These papers underwent thorough data extraction and analysis, and the findings of this systematic review shed light on the primary concerns and best practices associated with global software development. Moreover, this review highlights the need for further research and refinement in several areas, including exploring the future prospects of GSD and its potential implications. By providing a holistic overview of the existing literature, this study serves as a valuable resource for researchers, practitioners, and managers seeking to gain insights into managing remote work effectively in distributed or global software development environments.
The growing complexity of softwaresystems poses significant challenges to error prevention, underscoring the importance of automatically predicting errors in software modules. This enables developers to optimize thei...
详细信息
暂无评论