相关论文: An Exploration of Mars Colonization with Agent-Bas…
For the past several decades, numerous attempts have been made to model the climate of Mars with extensive studies focusing on the planet's dynamics and the understanding of its climate. While physical modeling and data assimilation…
The Mars Life Explorer (MLE) mission concept offers a critical opportunity to investigate whether extant life exists within the mid-latitude ice deposits of Mars. However, MLE's current science traceability matrix emphasizes habitability…
Space exploration technology continues to expand humanity's reach beyond Earth, and even more ambitious efforts are striving to establish long-duration human settlements on Mars. The dependence of martian settlers on life-support…
Reconciling the geology of Mars with models of atmospheric evolution remains a major challenge. Martian geology is characterized by past evidence for episodic surface liquid water, and geochemistry indicating a slow and intermittent…
Agent-based modeling (ABM) is a powerful computational approach for studying complex biological and biomedical systems, yet its widespread use remains limited by significant computational demands. As models become increasingly…
A foundational model has been developed based on trends built from empirical data of space exploration and computing power through the first six plus decades of the Space Age which projects earliest possible launch dates for human-crewed…
Swarm robotic systems are currently being used to address many real-world problems. One interesting application of swarm robotics is the self-organized formation of structures and shapes. Some of the key challenges in the swarm robotic…
There are numerous scenarios in which populations of cells migrate in crowded environments. Typical examples include wound healing, cancer growth and embryo development. In these crowded environments cells are able to interact with each…
Space exploration has been on the rise since the 1960s. Along with the other planets such as Mercury, Venus, Saturn, and Jupiter, Mars certainly plays a significant role in the history of space exploration and has the potential to be the…
Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal…
In order to test planetary accretion and differentiation scenarios, we integrated a multistage core-mantle differentiation model with N-body accretion simulations. Impacts between embryos and planetesimals result in magma ocean formation…
Agent based models (ABMs) are a useful tool for modeling spatio-temporal population dynamics, where many details can be included in the model description. Their computational cost though is very high and for stochastic ABMs a lot of…
The impact of exposure to astrophysical ionizing radiation on astronaut health is one of the main concerns in planning crewed missions to Mars. Astronauts will be exposed to energetic charged particles from Galactic and Solar origin for a…
Present-day Mars is cold and dry, but mineralogical and morphological evidence shows that liquid-water existed on the surface of ancient Mars. In order to explain this evidence and assess ancient Mars's habitability, one must understand the…
In social sciences, researchers often face challenges when conducting large-scale experiments, particularly due to the simulations' complexity and the lack of technical expertise required to develop such frameworks. Agent-Based Modeling…
The martian atmosphere hosts dynamical phenomena ranging from planet-encircling dust storms to mesoscale orographic clouds and nocturnal low-level jets. General circulation model show capability to simulate these phenomena, but is…
Mars is the next milestone in human exploration. However, there are still several challenges that must be assessed to ensure appropriate conditions in a future settlement. Communications services will be essential for this task, providing…
Multimodal large language models (MLLMs) have shown remarkable capabilities in cross-modal understanding and reasoning, offering new opportunities for intelligent assistive systems, yet existing systems still struggle with risk-aware…
Understanding how complex societal behaviors emerge from individual cognition and interactions requires both high-fidelity modeling of human behavior and large-scale simulations. Traditional agent-based models (ABMs) have been employed to…
This paper describes some results of research on associate systems: knowledge-based systems that flexibly and adaptively support their human users in carrying out complex, time-dependent problem-solving tasks under uncertainty. Based on…