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

14th International Conference on software Quality (SWQD)

作者： Juhnke, Katharina Neumueller, Denis Tichy, Matthias Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9783031041150;9783031041143

Testing is the key activity in ensuring the quality of automotive systems. The corresponding test case specifications often contain test cases expressed in natural language. However, there is a lack of review approaches that are easy to apply for practitioners to ensure appropriate quality of those test case specifications. We therefore present an analytical quality assurance method based on a quality model and review checklists derived from it. Especially, we focus on quality criteria that are relevant for natural language test cases and in the context of the automotive domain. To ensure applicability in industrial practice, we stringently involve practitioners in the development of the quality model via expert workshops. The systematic derivation of quality characteristics results in a quality model for automotive test case specifications. Furthermore, we show how review checklists for a multidimensional review were derived from it. A first evaluation indicates that these review checklists support practitioners in conducting reviews and also foster the understanding of qualitative test case specifications.

关键词： Automotive test case specifications Quality model Review checklists Formal review Goal question metric

来源：评论

学校读者我要写书评

暂无评论

Improving the Comprehension of Evolving Graphical Models

Improving the Comprehension of Evolving Graphical Models

引用

10th IEEE Working Conference on software Visualization (IEEE VISSOFT)

作者： Pietron, Jakob Funk, Lenard Tichy, Matthias Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (数字)9781665480925

ISBN: (纸本)9781665480925

CONTEXT: Modeling industrial systems is mostly done collaboratively. In such a scenario, a model is modified by multiple people over a possibly long period of time. In consequence, modelers have to be able to understand a models evolution and, in particular, what elements of a model have changed, how, why, when, and by whom. Objective: We derive six distinct user goals and systematically design a graphical modeling languageagnostic set of tools that support users in achieving these goals. METHOD: We implement those tools and integrate them into an existing graphical modeling tool for technology roadmaps. To measure the tools usability, we conducted a mixed-methods study with participants of different levels of experience. With the set of developed tools at hand, in different scenarios, participants had to answer several questions regarding the evolution of a model. RESULTS: The SUS score for assessing usability ranged from 80 to 95, indicating good to excellent usability. Task completeness (measured per scenario) ranged from 92% to 100%. Further, participants emphasized the added value of the tools while completing the scenarios. CONCLUSION: Although participants stated that the set of tools can be classified as expert tools, the developed tools achieve the goal of enabling users to comprehend changes made by others and trace the impacts of operations.

关键词： model evolution graphical modeling collaborative modeling model explainability

来源：评论

学校读者我要写书评

暂无评论

FreeCHR: An Algebraic Framework for CHR-Embeddings 7th

FreeCHR: An Algebraic Framework for CHR-Embeddings

引用

7th International Joint Conference on Rules and Reasoning (RuleML+RR)

作者： Rechenberger, Sascha Fruehwirth, Thom Ulm Univ Inst Software Engn & Programming Languages Albert Einstein Allee 11 D-89069 Ulm Germany

ISBN: (纸本)9783031450716;9783031450723

We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from category theory, to establish a high-level implementation scheme for CHR as well as a common formalization for both theory and practice. We propose a lifting of the syntax of CHR via an endofunctor in the category Set and a lifting of the very abstract operational semantics of CHR into FreeCHR, using the free algebra, generated by the endofunctor and give proofs for soundness and completeness w.r.t. their original definition.

关键词： embedded domain-specific languages declarative programming languages constraint handling rules operational semantics category theory initial algebra semantics

来源：评论

学校读者我要写书评

暂无评论

Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM

Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...

引用

2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023

作者： Mkoyan, Ruslan Romanova, Daria Sargsyan, Sevak Epikhin, Andrey Russian-Armenian University Ivannikov Institute for System Programming of the Ras Center of Advanced Software Technologies Yerevan Armenia Ivannikov Institute for System Programming of the Ras Lomonosov Msu Moscow Russia Ivannikov Institute for System Programming of the Ras Moscow Russia

ISBN: (纸本)9798350349993

This paper presents a calculation of the aerodynamic characteristics of the ZOHD Alpha Strike UAV model, designed with a delta wing. The focus of the study is the overall layout of the aircraft and the influence of the propeller on its aerodynamic characteristics. The computational fluid dynamics tool OpenFOAM is used as an effective method to solve the complex aerodynamic problems inherent in this UAV model. Research is carried out in an incompressible flow, due to the low speeds inherent in such aircraft. A numerical methodology is proposed for quick evaluation of the aerodynamic performances of UAV models with a propeller. A simple dynamic model and flight data are presented. The calculation results are verified using a flight experiment. © 2023 IEEE.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Digital Twin for Rescue Missions – a Case Study

Digital Twin for Rescue Missions – a Case Study

引用

2023 Workshop on Applications of Formal Methods and Digital Twins, FMDT 2023

作者： Leucker, Martin Sachenbacher, Martin Vosteen, Lars B. Institute for Software Engineering and Programming Languages Universität zu Lübeck Lübeck Germany

In this paper, we explain through a case study how to develop a digital twin that can be used for safety analysis of missions in physical contexts. More specifically, we consider a scenario where firefighters are operating inside a building under fire, but communicating online with a mission control station. One of the main tasks of the mission control is to ensure that the firefighters always have enough oxygen to exit the building safely. To this end, a Digital Twin can be created that reflects the physical structure of the burning building, the location of the firefighters and the oxygen level in their breathing apparatus. The Digital Twin uses these models and a shortest path algorithm to estimate the oxygen required to exit the building, and alerts mission control and the respective firefighter to exit the building on time. The case study is used to illustrate key concepts for building Digital Twins in safety-critical contexts. © 2023 CEUR-WS. All rights reserved.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Innovating Industry With Research: eknows and Sysparency

引用

IEEE software 2024年第3期41卷 41-48页

作者： Geist, Verena Moser, Michael Pichler, Josef Schnitzhofer, Florian Software Competence Ctr Hagenberg GmbH A-4232 Hagenberg Im Muhlkreis Austria Univ Appl Sci Upper Austria Programming & Project Dev Campus Hagenberg A-4232 Hagenberg Im Muhlkreis Austria Sysparency GmbH A-4040 Linz Austria

We present the multi-language software platform eknows for building reverse engineering tools and documentation generators as a concrete example of how to successfully translate research on software analysis into innovative products and services. Platform development includes domain-specific requirements and an architecture supporting reuse of components.

关键词： software Documentation Codes Industries Stakeholders Source coding Business

来源：评论

学校读者我要写书评

暂无评论

Migrating birds optimization-based feature selection for text classification fi cation

引用

PEERJ COMPUTER SCIENCE 2024年 10卷 e2263-e2263页

作者： Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus Univ Dept Software Engn Istanbul Turkiye Sci & Tech Res Council Turkiye TUBITAK Kocaeli Turkiye Kocaeli Univ Dept Informat Syst Engn Kocaeli Turkiye Acibadem Univ Dept Comp Programming Istanbul Turkiye

Text classification tasks, particularly those involving a large number of features, pose significant challenges in effective feature selection. This research introduces a novel methodology, MBO-NB, which integrates Migrating Birds Optimization (MBO) approach with na & iuml;ve Bayes as an internal classifier to address these challenges. The motivation behind this study stems from the recognized limitations of existing techniques in efficiently handling extensive feature sets. Traditional approaches often fail to adequately streamline the feature selection process, resulting in suboptimal classification accuracy and increased computational overhead. In response to this need, our primary objective is to propose a scalable and effective solution that enhances both computational efficiency and classification accuracy in text classification systems. To achieve this objective, we preprocess raw data using the Information Gain algorithm, strategically reducing the feature count from an average of 62,221 to 2,089. Through extensive experiments, we demonstrate the superior effectiveness of MBO-NB in feature reduction compared to other existing techniques, resulting in significantly improved classification accuracy. Furthermore, the successful integration of na & iuml;ve Bayes within MBO offers a comprehensive and wellrounded solution to the feature selection problem. In individual comparisons with Particle Swarm Optimization (PSO), MBO-NB consistently outperforms by an average of 6.9% across four setups. This research provides valuable insights into enhancing feature selection methods, thereby contributing to the advancement of text classification techniques. By offering a scalable and effective solution, MBO-NB addresses the pressing need for improved feature selection methods in text classification, thereby facilitating the development of more robust and efficient classification systems.

关键词： Feature selection Heuristic optimization Migrating birds optimization Text classification fi cation

来源：评论

学校读者我要写书评

暂无评论

Machine Learning for Predictive Maintenance: Support Vector Machines and Different Kernel Functions

引用

JOURNAL OF MACHINERY MANUFACTURE AND RELIABILITY 2022年第5期51卷 447-456页

作者： Efeoglu, Ebru Tuna, Gurkan Kutahya Dumlupinar Univ Dept Software Engn Kutahya Turkey Trakya Univ Dept Comp Programming Edirne Turkey

Predictive maintenance relies on machine learning techniques to learn from historical data and also uses live data to analyse failure patterns. Different from conservative maintenance procedures that generally lead to resource wastage, predictive maintenance can offer optimum resource utilisation and allow predict failures before they occur. Machine learning techniques are essential for automated predictive maintenance;therefore, in this paper the use and effectiveness of support vector machines for predictive maintenance is analysed. As the results show, support vector machines achieve the best performance when linear kernel function is used.

关键词： predictive maintenance support vector machines kernel functions confusion matrix accuracy

来源：评论

学校读者我要写书评

暂无评论

Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid 24th

Multi-agent Simulation of Intelligent Energy Regulation in V...

引用

24th International Workshop on Multi-Agent-Based Simulation (MABS)

作者： Ali, Aliyu Tanko Schrills, Tim Schuldei, Andreas Stellbrink, Leonard Valdez, Andre Calero Leucker, Martin Franke, Thomas Univ Lubeck Inst Software Engn & Programming Languages Ratzeburger Allee 160 Lubeck Germany Univ Lubeck Inst Multimedia & Interact Syst Ratzeburger Allee 160 Lubeck Germany

ISBN: (纸本)9783031610332;9783031610349

The vehicle-to-grid feature of today's electric vehicles suggests using them as batteries for stabilizing the power grid besides using them to fulfill mobility needs. In the context of car-sharing, the car-sharing provider may thus try to foster two goals: they may be interested in stabilizing the grid and ensuring the usage of as much green energy as possible. At the same time, they try to maximize satisfaction of the customer's requests. As such, each car-sharing provider has to implement a policy on how to react to booking requests. On the other hand, customers may react to how mobility needs are fulfilled and adapt their booking strategy. In this paper, we study the problem of how to model elements of car-sharing providers as well as those of customers in a multi-agent simulation. We identify the principal elements and targets while leaving concrete simulations as future work.

关键词： Multi-Agent-Simulation Energy Simulation Agents.jl Electric Vehicles Agent-based Models Car-sharing

来源：评论

学校读者我要写书评

暂无评论

Composable digital twins on Digital Twin as a Service platform

引用

SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL 2025年第3期101卷 287-311页

作者： Talasila, Prasad Gomes, Claudio Vosteen, Lars B. Iven, Hannes Leucker, Martin Gil, Santiago Mikkelsen, Peter H. Kamburjan, Eduard Larsen, Peter G. Aarhus Univ Ctr Digital Twins Dept Elect & Comp Engn DIGIT Finlandsgade 22 DK-8200 Aarhus N Denmark Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany Univ Oslo Dept Informat Oslo Norway

Establishing digital twins is a non-trivial endeavor especially when users face significant challenges in creating them from scratch. Ready availability of re-usable models, data, functions, and tool assets, can help with creation and use of digital twins. A number of frameworks/platforms exist to facilitate creation and use of digital twins. In this paper, we propose such a platform to manage digital twin assets, create composable digital twins from re-usable assets and make the digital twins available as a service to other users. The proposed platform supports the management of re-usable assets, storage, provision of compute infrastructure, communication, monitoring, and execution tasks. Two case studies are used to demonstrate the capabilities of this platform.

关键词： Digital twin physical twin platform service automation life cycle composition composable DTs reuse configuration firefighter DT

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：