Results 31 to 40 of about 634,474 (205)
Research Progress on 3D Printing Technology in the Field of Space Food Processing [PDF]
Shipin KexueWith the realization of “Space 180”, as well as the proposal of the “Space Home Port” program and the manned Mars exploration program, taikonaunts have gradually undertaken more long-term missions in deep space.
TONG Qiang, XIAO Shuailei, LI Yi, JIANG Yu, DONG Xiuping
doaj +1 more source
Dual dynamic programming for stochastic programs over an infinite horizon [PDF]
arXiv, 2023 We consider a dual dynamic programming algorithm for solving stochastic programs over an infinite horizon. We show non-asymptotic convergence results when using an explorative strategy, and we then enhance this result by reducing the dependence of the effective planning horizon from quadratic to linear.
arxiv
Exomars 2016 Mission Electrical Power System
E3S Web of Conferences, 2017 ExoMars is the first step of the European Space Agency’s Aurora Exploration Programme. Comprising two missions [ 1], the first one launched in 2016 and the second one to be launched in 2020, ExoMars is a joint ESA-Roscosmos program that will address the ...
Ciancetta Ezio +3 more
doaj +1 more source
Cesno: The Initial Design of a New Programming Language [PDF]
, 2023 Programming languages are incredibly versatile, enabling developers to create applications and programs that suit their individual requirements. This article introduces a new language called Cesno, designed from the ground up to offer an advanced, user-friendly, and easy-to-use programming environment.
arxiv +1 more source
Photovoltaic Assemblies for the Power Generation of the Exomars Missions
E3S Web of Conferences, 2017 This paper provides a detailed description of the Photovoltaic Assembly (PVA) and, in particular, how the extreme environmental and operative requirements of the Exomars missions are met. “Exomars” is a program established by the European Space Agency to
Ferrando Emanuele +5 more
doaj +1 more source
Live, Rich, and Composable: Qualities for Programming Beyond Static Text [PDF]
arXiv, 2023 Efforts to push programming beyond static textual code have sought to imbue programming with multiple distinct qualities. One long-acknowledged quality is liveness: providing programmers with in-depth feedback about a program's dynamic behavior as the program is edited.
arxiv
Frontiers in Physiology, 2019 Confinement experiments are essential to prepare long-term space exploration. The 180-day Chinese CELSS (Controlled Ecological Life Support System) study is unique in its design, including a closed-loop system and mid-mission simulation of Mars-like day ...
Ming Yuan +17 more
doaj +1 more source
Dual Reinforcement-Based Specification Generation for Image De-Rendering [PDF]
arXiv, 2021 Advances in deep learning have led to promising progress in inferring graphics programs by de-rendering computer-generated images. However, current methods do not explore which decoding methods lead to better inductive bias for inferring graphics programs.
arxiv
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
Robotics: Science and Systems, 2018 As a step towards achieving autonomy in space exploration missions, we consider a cooperative robotics system consisting of a copter and a rover. The goal of the copter is to explore an unknown environment so as to maximize knowledge about a science ...
Petter Nilsson +7 more
semanticscholar +1 more source
Mapping “Brain Terrain” Regions on Mars Using Deep Learning
The Planetary Science JournalOne of the main objectives of the Mars Exploration Program is to search for evidence of past or current life on the planet. To achieve this, Mars exploration has been focusing on regions that may have liquid or frozen water.
Kyle A. Pearson +4 more
doaj +1 more source