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

2024 Winter Simulation Conference, WSC 2024

作者： Wilsdorf, Pia Zschaler, Steffen Haack, Fiete Uhrmacher, Adelinde M. Institute for Visual and Analytic Computing University of Rostock Rostock Germany Department of Informatics King’s College London London United Kingdom

ISBN: (纸本)9798331534202

Simulation studies require thorough validation to ensure model accuracy, reliability, and credibility. While validation typically focuses on the simulation model itself, additional artifacts also influence study outcomes. Conceptual models, comprising research questions, requirements, inputs and outputs, model content, assumptions, and simplifications, provide context information for interpreting results and assessing model suitability. Validating other simulation artifacts for their fitness-for-purpose is complex, necessitating structured arguments to increase confidence. This paper explores when and how validation arguments should be constructed throughout the modeling and simulation lifecycle. Drawing on concepts from safety assurance cases, it defines key claims for the various artifacts, discusses validation arguments from different perspectives – including process, product, people, and project – and illustrates them through a computational biology case study. We conclude with a discussion of the suitability of such structured arguments for the comprehensive validation of simulation studies. © 2024 IEEE.

关键词： Digital elevation model

来源：评论

学校读者我要写书评

暂无评论

Validation Without Data - Formalizing Stylized Facts Of Time Series

Validation Without Data - Formalizing Stylized Facts Of Time...

引用

2023 Winter Simulation Conference, WSC 2023

作者： Wilsdorf, Pia Zuska, Marian Andelfinger, Philipp Uhrmacher, Adelinde M. Peters, Florian University of Rostock Institute for Visual and Analytic Computing Albert-Einstein-Str. 22 Rostock18059 Germany University of Rostock Department of Economics Ulmenstraße 69 Rostock18057 Germany

ISBN: (纸本)9798350369663

A stylized fact is a simplified presentation of an empirical finding. When modeling and simulating complex systems and real data are sparse, stylized facts have become a key instrument for building trust in a model as they represent important requirements regarding the model's behavior. However, automatically validating stylized facts has remained limited as they are usually expressed in natural language. Therefore, we develop a formal language with a custom syntax and tailored predicates allowing modelers to unambiguously and succinctly describe important (temporal) characteristics of simulation traces or relationships between multiple traces via statistical tests. The proposed formal language is able to express numerous facts from the literature in different application domains, as well as to automatically check stylized facts. If stylized facts are defined at the beginning of a simulation study, formally expressing and checking them can streamline and guide the development of simulation models and their successive revisions. © 2023 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Validation Without Data - Formalizing Stylized Facts of Time Series 23

Validation Without Data - Formalizing Stylized Facts of Time...

引用

Proceedings of the Winter Simulation Conference

作者： Pia Wilsdorf Marian Zuska Philipp Andelfinger Adelinde M. Uhrmacher Florian Peters Institute for Visual and Analytic Computing University of Rostock Rostock Germany Department of Economics University of Rostock Rostock Germany

ISBN: (纸本)9798350369663

关键词：

来源：评论

学校读者我要写书评

暂无评论

Potential and Challenges of Assurance Cases for Simulation Validation 24

Potential and Challenges of Assurance Cases for Simulation V...

引用

Proceedings of the Winter Simulation Conference

作者： Pia Wilsdorf Steffen Zschaler Fiete Haack Adelinde M. Uhrmacher Institute for Visual and Analytic Computing University of Rostock Rostock GERMANY Department of Informatics King's College London London UK

ISBN: (纸本)9798331534202

Simulation studies require thorough validation to ensure model accuracy, reliability, and credibility. While validation typically focuses on the simulation model itself, additional artifacts also influence study outcomes. Conceptual models, comprising research questions, requirements, inputs and outputs, model content, assumptions, and simplifications, provide context information for interpreting results and assessing model suitability. Validating other simulation artifacts for their fitness-for-purpose is complex, necessitating structured arguments to increase confidence. This paper explores when and how validation arguments should be constructed throughout the modeling and simulation lifecycle. Drawing on concepts from safety assurance cases, it defines key claims for the various artifacts, discusses validation arguments from different perspectives - including process, product, people, and project - and illustrates them through a computational biology case study. We conclude with a discussion of the suitability of such structured arguments for the comprehensive validation of simulation studies.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Potential and Challenges of Assurance Cases for Simulation Validation

Potential and Challenges of Assurance Cases for Simulation V...

引用

Simulation Winter Conference

ISBN: (数字)9798331534202

ISBN: (纸本)9798331534219

Simulation studies require thorough validation to ensure model accuracy, reliability, and credibility. While validation typically focuses on the simulation model itself, additional artifacts also influence study outcomes. Conceptual models, comprising research questions, requirements, inputs and outputs, model content, assumptions, and simplifications, provide context information for interpreting results and assessing model suitability. Validating other simulation artifacts for their fitness-for-purpose is complex, necessitating structured arguments to increase confidence. This paper explores when and how validation arguments should be constructed throughout the modeling and simulation lifecycle. Drawing on concepts from safety assurance cases, it defines key claims for the various artifacts, discusses validation arguments from different perspectives - including process, product, people, and project - and illustrates them through a computational biology case study. We conclude with a discussion of the suitability of such structured arguments for the comprehensive validation of simulation studies.

关键词： Accuracy Computational modeling Safety Reliability Context modeling Computational biology

来源：评论

学校读者我要写书评

暂无评论

Validation Without Data - Formalizing Stylized Facts Of Time Series

Validation Without Data - Formalizing Stylized Facts Of Time...

引用

Simulation Winter Conference

A stylized fact is a simplified presentation of an empirical finding. When modeling and simulating complex systems and real data are sparse, stylized facts have become a key instrument for building trust in a model as they represent important requirements regarding the model’s behavior. However, automatically validating stylized facts has remained limited as they are usually expressed in natural language. Therefore, we develop a formal language with a custom syntax and tailored predicates allowing modelers to unambiguously and succinctly describe important (temporal) characteristics of simulation traces or relationships between multiple traces via statistical tests. The proposed formal language is able to express numerous facts from the literature in different application domains, as well as to automatically check stylized facts. If stylized facts are defined at the beginning of a simulation study, formally expressing and checking them can streamline and guide the development of simulation models and their successive revisions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Data-Driven Platform for the Coordination of Independent visual analytics Tools

引用

Computers and Graphics (Pergamon) 2022年 106卷 152-160页

作者： Nonnemann, Lars Hogräfer, Marius Röhlig, Martin Schumann, Heidrun Urban, Bodo Schulz, Hans-Jörg University of Rostock Institute for Visual and Analytic Computing Albert-Einstein-Strasse 22 Rostock18059 Germany University of Aarhus Department of Computer Science Abogade 34 Aarhus8200 Denmark Fraunhofer Institute for Computer Graphics Research Joachim-Jungius-Strasse 11 Rostock18059 Germany

visual analysis of unknown data requires the combined use of various functions that are often part of standalone visual analytics (VA) tools. Performing cross-tool visual analysis with standalone VA tools, however, is a challenging and cumbersome endeavor. Some dedicated frameworks address this issue, yet in order to utilize any of them, a visual analytics tool needs to support their required API or architecture. Contrary to most existing frameworks, we present an approach that does not rely on a single predefined interchange mechanism for the entire ensemble of VA tools. Instead, we propose using any available channel for data exchange between two consecutive VA tools. This allows mixing and matching of different data exchange strategies over the course of a cross-tool analysis. In this paper, we identify the challenges associated with establishing such tool chaining platform for data-driven coordination. We further describe the structure and capabilities of data exchange and explain various functionalities of our platform in detail. Based on a demonstrating example, we discuss the limitations of our approach and elaborate new insight for the coordination of the visual output of multiple VA tools. © 2022 Elsevier Ltd

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

A Generalized Network Generation Approach for Agent-Based Models

A Generalized Network Generation Approach for Agent-Based Mo...

引用

2021 Winter Simulation Conference, WSC 2021

作者： Hesz, Kristina Himmelspach, Jan Reinhardt, Oliver Uhrmacher, Adelinde M. NORDAKADEMIE Department of Computer Science Elmshorn25337 Germany Institute for Visual and Analytic Computing University of Rostock Rostock18059 Germany

ISBN: (纸本)9781665433112

For their initialization, many agent-based models require a population which corresponds in its essential characteristics to the examined real population. It should reflect the real distribution of attributes of interest, e.g., age, gender, or income, as well as the social network between the agents. Since a disaggregated data set with all required information is rarely available, a synthetic population must be created. Methods that assign realistic attribute values to agents are well studied in the literature. In contrast, the generation of plausible social networks has been less extensively researched, but several comprehensive adhoc models have been developed. The focus of this work is to introduce a reusable, generalized approach for the generation of synthetic social networks. Symbolic regression is used to automatically train generation rules based on a network sample, instead of having to define rules a priori. Manually specified constraints are taken into account to avoid implausible relationships. © 2021 IEEE.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

Towards a Unified User Interface for visual Analysis of Retinal Data in Ophthalmology

arXiv

引用

arXiv 2023年

作者： Röhlig, Martin Nonnemann, Lars Schulz, Hans-Jörg Stachs, Oliver Schumann, Heidrun Institute for Visual and Analytic Computing University of Rostock Germany Department of Computer Science Aarhus University Denmark Department of Ophthalmology Rostock University Medical Center Germany

The visual analysis of retinal data contributes to the understanding of a wide range of eye diseases. For the evaluation of cross-sectional studies, ophthalmologists rely on workflows and toolsets established in their work environment. That is, they know what tools and data are needed at each step of their workflow. Yet, manually operating the various tools, including activation, data handling, or view arrangement, can be cumbersome and time-consuming. We thus introduce a new visualization-supported toolchaining approach that combines workflow, tools, and data. First, we provide access to the tools required for each step of the workflow. Second, we handle the exchange of data between these tools. Third, we organize the views of the tools on screen using suitable layouts. Fourth, we visualize the connection between workflow, tools, and data to support the data analysis. We demonstrate our approach with a use case in ophthalmic research and report on initial feedback from experts. © 2023, CC BY.

关键词： Ophthalmology

来源：评论

学校读者我要写书评

暂无评论

Multi-modal classification of forest biodiversity potential from 2D orthophotos and 3D airborne laser scanning point clouds

arXiv

引用

arXiv 2025年

作者： Jensen, Simon B. Oehmcke, Stefan Møgelmose, Andreas Madadi, Meysam Igel, Christian Escalera, Sergio Moeslund, Thomas B. Visual Analysis and Perception Laboratory Aalborg University Denmark Pioneer Centre for Artificial Intelligence Denmark Department of Computer Science Copenhagen University Denmark Institute for Visual & Analytic Computing Rostock University Germany University of Barcelona and Computer Vision Center Spain

Accurate assessment of forest biodiversity is crucial for ecosystem management and conservation. While traditional field surveys provide high-quality assessments, they are labor-intensive and spatially limited. This study investigates whether deep learning-based fusion of close-range sensing data from 2D orthophotos (12.5 cm resolution) and 3D airborne laser scanning (ALS) point clouds (8 points/m2) can enhance biodiversity assessment. We introduce the BioVista dataset, comprising 44 378 paired samples of orthophotos and ALS point clouds from temperate forests in Denmark, designed to explore multi-modal fusion approaches for biodiversity potential classification. Using deep neural networks (ResNet for orthophotos and PointVector for ALS point clouds), we investigate each data modality's ability to assess forest biodiversity potential, achieving mean accuracies of 69.4% and 72.8%, respectively. We explore two fusion approaches: a confidence-based ensemble method and a feature-level concatenation strategy, with the latter achieving a mean accuracy of 75.5%. Our results demonstrate that spectral information from orthophotos and structural information from ALS point clouds effectively complement each other in forest biodiversity assessment. © 2025, CC BY.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：