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

Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing systems, CHI EA 2023

作者： Becker, Leonie Nilsson, Tommy Demedeiros, Paul Rometsch, Flavie Software for Space Systems and Interactive Visualization Brunswick Germany Cologne Germany Noordwijk Netherlands

ISBN: (纸本)9781450394222

Future astronauts living and working on the Moon will face extreme environmental conditions impeding their operational safety and performance. While it has been suggested that Augmented Reality (AR) Head-Up Displays (HUDs) could potentially help mitigate some of these adversities, the applicability of AR in the unique lunar context remains underexplored. To address this limitation, we have produced an accurate representation of the lunar setting in virtual reality (VR) which then formed our testbed for the exploration of prospective operational scenarios with aerospace experts. Herein we present findings based on qualitative reflections made by the first 6 study participants. AR was found instrumental in several use cases, including the support of navigation and risk awareness. Major design challenges were likewise identified, including the importance of redundancy and contextual appropriateness. Drawing on these findings, we conclude by outlining directions for future research aimed at developing AR-based assistive solutions tailored to the lunar setting. © 2023 Owner/Author.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Learning a perceptual quality metric for correlation in scatterplots

Learning a perceptual quality metric for correlation in scat...

引用

2019 Conference on Vision, Modeling and visualization, VMV 2019

作者： Wöhler, L. Zou, Y. Mühlhausen, M. Albuquerque, G. Magnor, M. Computer Graphics Lab TU Braunschweig Germany Software for Space Systems and Interactive Visualization DLR Braunschweig Germany

ISBN: (纸本)9783038680987

Visual quality metrics describe the quality and efficiency of multidimensional data visualizations in order to guide data analysts during exploration tasks. Current metrics are usually based on empirical algorithms which do not accurately represent human perception and therefore often differ from the analysts’ expectations. We propose a new perception-based quality metric using deep learning that rates the correlation of data dimensions visualized by scatterplots. First, we created a data set containing over 15, 000 pairs of scatterplots with human annotations on the perceived correlation between the data dimensions. Afterwards, we trained two different Convolutional Neural Networks (CNN), one extracts features from scatterplot images and the other directly from data vectors. We evaluated both CNNs on our test set and compared them to previous visual quality metrics. The experiments show that our new metric is able to represent human perception more accurately than previous methods. © 2019 The Author(s) Eurographics Proceedings © 2019 The Eurographics Association.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

Modeling and simulation of a spacecraft payload hardware using machine learning techniques

Modeling and simulation of a spacecraft payload hardware usi...

引用

Accelerating space Commerce, Exploration, and New Discovery Conference, ASCEND 2020

作者： Nepal, Ayush Mani Prat, Arnau Höflinger, Kilian Johann Gerndt, Andreas Lüdtke, Daniel Software for Space Systems and Interactive Visualization DLR German Aerospace Center Lilienthalplatz 7 Brunswick38108 Germany Software for Space Systems and Interactive Visualization DLR German Aerospace Center Münchner Str. 20 Wessling82234 Germany Center for Industrial Mathematics University of Bremen Bibliothekstraße 5 Bremen28359 Germany Onboard Software Systems Software for Space Systems and Interactive Visualization DLR German Aerospace Center Lilienthalplatz 7 Brunswick38108 Germany

ISBN: (纸本)9781624106088

space systems are complex and consist of multiple subsystems. Research and development teams of such complex systems are usually distributed among various institutions and space agencies. This affects the quality of the On-board software (OBSW) since testing it without having all required subsystems at the software development site can be troublesome. In this paper, we present a data-driven method which can be used to synthesize parts of a system or even an entire system as a black-box model. We exploit the data collected from the real hardware to derive a model using a Machine Learning (ML) algorithm. The proposed model can easily be distributed among development teams and is dedicated to emulate the system for testing the OBSW. © 2020 The MITRE Corporation. All Rights Reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparing Three Interaction Methods for Manipulating Thin Deformable Virtual Objects

Comparing Three Interaction Methods for Manipulating Thin De...

引用

19th IEEE Virtual Reality Conference

作者： Hummel, Johannes Wolff, Robin Gerndt, Andreas Kuhlen, Torsten Software for Space Systems and Interactive Visualization German Aerospace Agency (DLR) Germany Virtual Reality Group RWTH Aachen University Germany

ISBN: (纸本)9781467312462

We present results of a user study in which we compared three interaction methods for manipulating deformable objects in immersive virtual environments. The task was to control a virtual robot hand removing a thin foil cover from a satellite in an on-orbit servicing training simulator. The lack of haptic feedback placed a high challenge on the user when trying to apply the right force for grasping the foil without losing grip or damaging it. We compared the intuitiveness and effectiveness of using a tracked joystick, finger distance measurement, and a novel prototype enabling direct force input through pinching.

关键词： Virtual pinching simulator training satellites thin foil

来源：评论

学校读者我要写书评

暂无评论

Synthesizing FDIR recovery strategies from non-deterministic dynamic fault trees

Synthesizing FDIR recovery strategies from non-deterministic...

引用

AIAA space and Astronautics Forum and Exposition, space 2017

作者： Müller, Sascha Gerndt, Andreas Noll, Thomas Software for Space Systems and Interactive Visualization Braunschweig38108 Germany Software Modeling and Verification Group RWTH Aachen University Aachen52056 Germany

ISBN: (数字)9781624104831

ISBN: (纸本)9781624104831

Redundancy concepts are an integral part of the design of space systems. Deciding when to activate which redundancy and which component should be replaced can be a difficult task. In this paper, a model of non-deterministic dynamic fault trees is presented and it is shown how appropriate strategies can be synthesized from them. This is achieved by transforming a non-deterministic dynamic fault tree into a Markov Automaton. From the optimized scheduler of this Markov Automaton, an optimal recovery strategy can then be derived. We also introduce the model of Recovery Automata to represent these strategies. © 2017, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： Redundancy

来源：评论

学校读者我要写书评

暂无评论

A continuous verification process in Concurrent Engineering

A continuous verification process in Concurrent Engineering

引用

AIAA space 2013 Conference and Exposition

作者： Schaus, Volker Tiede, Michael Fischer, Philipp M. Lüdtke, Daniel Gerndt, Andreas German Aerospace Center Simulation and Software Technology 38108 Braunschweig Germany German Aerospace Center Simulation and Software Technology Department Software for Space Systems and Interactive Visualization 38108 Braunschweig Germany

ISBN: (数字)9781624102394

ISBN: (纸本)9781624102394

This paper presents how a continuous mission verification process similar than in software engineering can be applied in early spacecraft design and Concurrent Engineering. Following the Model-based systems Engineering paradigm, all engineers contribute to one single centralized data model of the system. The data model is enriched with some extra information to create an executable representation of the spacecraft and its mission. That executable scenario allows for verifications against requirements that have been formalized using appropriate techniques from the field of formal verification. The paper focuses on a current approach of integrating this verification mechanism into our Concurrent Engineering environment. In an example study, we explain how basic mission requirements are created at the beginning of the spacecraft design. After each iteration and change, the integrated verification will be executed. This instantly highlights the effects of the modification and points out potential problems in the design. Using the continuous verification process alongside the Concurrent Engineering process helps to mature both, the requirements and the design itself.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Augmented Reality in Service of Human Operations on the Moon: Insights from a Virtual Testbed

arXiv

引用

arXiv 2023年

作者： Becker, Leonie Nilsson, Tommy de Medeiros, Paul Topf Aguiar Rometsch, Flavie Software for Space Systems and Interactive Visualization Brunswick Germany Cologne Germany

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

A Formal Method for Early spacecraft Design Verification

A Formal Method for Early Spacecraft Design Verification

引用

IEEE Aerospace Conference

作者： Philipp M. Fischer Daniel Ludtke Volker Schaus Andreas Gerndt Software for Space Systems and Interactive Visualization Simulation and Software Technology German Aerospace Center (DLR)

ISBN: (纸本)9781467318129

In the early design phase of a spacecraft, various aspects of the system under development are described and modeled using parameters such as masses, power consumption or data rates. In particular power and data parameters are special since their values can change depending on the space-crafts operational mode. These mode-dependent parameters can be easily verified to static requirements like a maximum data rate. Such quick verifications allow the engineers to check the design after every change they apply. In contrast, requirements concerning the mission lifetime such as the amount of down-linked data during the whole mission, demands a more complex procedure. We propose an executable model together with a simulation framework to evaluate complex mission scenarios. In conjunction with a formalized specification of mission requirements it allows a quick verification by means of formal methods.

关键词： system modeled data parameters

来源：评论

学校读者我要写书评

暂无评论

Collaborative Satellite Configuration Supported by interactive visualization

Collaborative Satellite Configuration Supported by Interacti...

引用

IEEE Aerospace Conference

作者： Philipp M. Fischer Robin Wolff Andreas Gerndt Software for Space Systems and Interactive Visualization Simulation and Software Technology German Aerospace Center (DLR) 38108 Braunschweig Germany

ISBN: (纸本)9781457705564

Planning a spacecraft requires the expert knowledge from diverse disciplines, such as propulsion or structure. Reliable communication between the experts is crucial, as the individual requirements of a satellite's various subsystems heavily depend on each other. Today, early mission design sessions are often held in specially designed rooms, so-called concurrent engineering facilities. Here, the experts come together and directly discuss with each other in a shared place, enabling them to find a common ground much quicker. Nevertheless, in certain aspects it remains difficult for the experts to share and describe their knowledge within the team. In particular for configuration purposes it is a hurdle to verbally discuss positions and orientations of different parts. We propose a new approach of using shared interactive visualization for the configuration task, which enables every engineer to individually place parts and to alter it in case of discrepancies.

关键词： Professional personnel satellite configurations Expert Opinion Propulsion interactive visualization spacecraft

来源：评论

学校读者我要写书评

暂无评论

Evolution of the European concurrent design tool for space-based system-of-systems studies

Evolution of the European concurrent design tool for space-b...

引用

AIAA space Conference and Exposition, 2015

作者： Braukhane, Andy Bieler, Torsten De Koning, Hans-Peter Richardson, Ray Schaus, Volker Stoitsev, Todor Institute of Space Systems System Analysis Space Segment Robert-Hooke-Str. 7 Bremen Germany European Space Research and Technology Centre Software and In-Orbit Demonstration Department Keplerlaan 1 Noordwijk Netherlands Daysha Consulting 9 Mount Street Crescent Dublin 2 Ireland Institute of Simulation and Software Technology Software for Space Systems and Interactive Visualization Lilienthalplatz 1 Braunschweig38108 Germany Telespazio-Vega Deutschland Europaplatz 5 Darmstadt64293 Germany

ISBN: (数字)9781624103346

ISBN: (纸本)9781624103346

One major element in Concurrent Design is the central data model. It allows the various disciplines to share the latest information and to make immediate use of them within their domain specific tools and models. As a successor of the Integrated Design Model, in 2014 the European space Agency (ESA) released the Open Concurrent Design Tool (OCDT), which aims to be the reference and standard model for European entities performing space system studies during early as well as later phases. This tool, including its web-based server and user interface supporting elements (such as MS Excel Add-ins), is developed in a way that it is not only limited to space system and mission design, but can be used also in other fields such as System-of-systems (SoS) architecture definition and evaluation, which is becoming an emerging topic for European and international collaborations. Instead of just looking at the technical aspects of a system, SoS-studies provide an opportunity to analyze how to share resources and assets amongst institutions, organizations or nations more efficiently and how to provide integrated and more advanced services. However, due to the different nature and rules of SoS, the OCDT requires certain adaptations regarding domain specific tool interfaces, dedicated data libraries, as well as a SoS-specific data flow and representations to the users. Several studies were performed on ESA’s side in advance, to prepare an initial set of requirements for such an evolution of the tools and processes which eventually led to a project called "Development and Validation of a Generic systems‐of‐systems Concurrent Engineering Model (CESoS)". It has been established by ESA and awarded to a consortium which has experience in Concurrent Design, software development and system architecture definitions. © 2015, American Institute of Aeronautics and Astronautics Inc, AIAA. All Rights Reserved.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：