Crónicas em Ciências

Uma nova forma de explorar Marte

imagem do Perserverance em Marte

Um dos principais objetivos da missão do Perseverance em Marte é a busca por sinais de vida microbiana

NASA/JPL-Caltech

Muito se tem falado sobre a possibilidade de existir (ou ter existido) vida em Marte[1]. Confirmações recentes de antigos cursos de água à superfície de Marte[2, 3], motivam a exploração de locais geológicos exóticos, tais como cavernas e tubos de lava, naturalmente abrigados das fortes radiações à superfície e propícios à retenção de água no estado líquido.

Carlos na NASA
Carlos Mão de Ferro iniciou o estágio na NASA em novembro de 2022
Imagem cedida pelo autor

A utilização de rovers em Marte, veículos com rodas que podem deslocar-se a partir de instruções enviadas da Terra, tem sido fundamental para a exploração da superfície, como é o caso do "Perserverance" (missão NASA Mars 2020)[4]. Contudo, uma vez que toda a missão depende de um único rover, existe uma relação inversamente proporcional entre o custo e tempo de desenvolvimento (elevados) e o risco que se pode correr (reduzido), impossibilitando a exploração de áreas de difícil acesso.

Em novembro de 2022, iniciei um estágio de 6 meses no NASA Ames Research Center em Silicon Valley, Califórnia, EUA, no âmbito do programa NASA I2 com o apoio da FCT[5]. O projeto que integro, "Novel Planetary Robotic Sensor envelopment", propõe uma abordagem alternativa: lançar pequenos robots, mais rápidos e baratos de desenvolver, a partir do rover principal e formar uma rede de sensores inteligente. Perder um destes dispositivos não comprometerá a missão como um todo, motivando por isso a exploração de áreas de maior risco.

Apesar de promissor, este conceito traz novos desafios: será preciso programar e coordenar vários tipos de dispositivos, existindo mais formas de interação e tornando-se por isso mais complexo garantir que o software faz exatamente aquilo para que foi pensado. O meu doutoramento em Informática no LASIGE - Computer Science and Engineering Research Centre (LASIGE) investiga técnicas de verificação formal de software recorrendo a model checking e teoria de autómatos. O objetivo é ajudar o programador a definir o comportamento desejado das várias partes do código e garantir automaticamente que o programa como um todo respeita todos os requisitos.

O percurso de qualquer doutoramento é longo, solitário, e por vezes sentimos que o sucesso parece distante ou até mesmo impossível de alcançar.  O processo de publicação em conferências de topo não é linear e pode revelar-se extremamente frustrante. Adicionalmente, a pandemia adiou muitas oportunidades. Por essa razão, sinto que este estágio na NASA é uma forma de reconhecimento do meu trabalho e estou por isso muito grato. 

Da minha experiência na Califórnia até agora, destaco positivamente o estilo relaxado das pessoas em geral, a quantidade e excelência dos parques naturais, e claro, a oferta tecnológica. Por outro lado, não fico indiferente ao problema grave dos sem-abrigo e à dependência do carro. É também interessante observar como a pandemia mudou drasticamente o estilo de vida aqui, particularmente na NASA. Muitos funcionários continuam a trabalhar remotamente (é comum eu estar a trabalhar sozinho numa sala enorme).  

Finalmente, quando as saudades de Portugal apertam procuro conforto em pequenas coisas como o café Delta, o pão que faço semanalmente ou o meu cavaquinho, e claro, na família!

 

Referências:

[1] https://www.nationalgeographic.co.uk/space/2022/12/life-just-might-exist-on-mars-after-all

[2] https://www.nasa.gov/feature/jpl/nasa-s-mro-finds-water-flowed-on-mars-longer-than-previously-thought

[3] https://www.esa.int/Science_Exploration/Space_Science/Mars_Express/Signs_of_ancient_flowing_water_on_Mars2

[4] https://mars.nasa.gov/mars2020/

[5] https://former.fct.pt/apoios/cooptrans/nasa/index.phtml.pt

 

Nota de redação: Notícia sobre o assunto disponível no site do LASIGE.

Carlos Mão de Ferro, estudante do doutoramento em Informática
info.ciencias@ciencias.ulisboa.pt
Pormenor da capa do livro

O livro está à venda pelo valor de €18,40, no Atendimento Geral, sito no edifício C5, piso 3.

Anfiteatro

"As Jornadas tiveram um balanço bastante positivo (...) elucidaram e esclareceram algumas dúvidas importantes para os estudantes (...) ", conclui a Comissão de Curso de Engenharia Geográfica.

Museu do Quartzo é inaugurado e recebe o nome de Galopim de Carvalho, professor jubilado do Departamento de Geologia.

Céu com nuvens escuras

As candidaturas à oficina de formação terminam a 21 de maio. As sessões realizam-se às terças e quintas-feiras, entre as 17h30 e as 20h30.

A exposição “O Cálculo de ontem e de hoje”, elaborada pelo Departamento de Matemática em colabora&

Lâmpada

Estudantes de Engenharia Biomédica e Biofísica da FCUL promovem reunião especializada. O Ne2b2 existe desde outubro de 2008.

Luzes

Pela primeira vez a Reitoria da UL abre as suas portas aos estudantes da cidade, organizando um evento noturno para alunos dos ensinos universitário e secundário.

A exposição está a partir de 26 de Abril no Museu Nacional de História Natural e da Ciência.

As provas de doutoramento em Biologia, especialidade de Microbiologia, da Mestre Egídia Maria Valente de Azevedo realizam-se no próximo dia 26 de Abril, pelas 10h:30 na Sala de Actos da

O grande momento do dia é a sessão solene, que inclui este ano o lançamento do segundo volume dos Professores Cientistas e a inauguração do Quadro de Honra.

Sobre Namoros e Casamentos

Jorge Buescu

Quinta-feira, dia 12 de Abril de 2012, às 18h30, na sala 6.1.36

Vela

Ricardo Leandro é o vencedor da Competição Europeia. O estudante da FCUL apresentou a melhor ideia: um coletor solar térmico de baixo custo, acoplável a um módulo fotovoltaico.

A palestra "O Princípio do Tempo" proferida por Pedro Gil Ferreira é uma das iniciativas do “VII Encontro Ibérico de Cosmologia”, que decorre em abril nas instalações da FCUL.

Jovem usa microscópio

A FCUL estimula a abertura permanente à sociedade civil, promovendo acontecimentos que visam a disseminação de conhecimentos e a interligação com diferentes agentes sociais.

Os vários objectivos do DEGGE: Tudo o que nos define, e tudo o que apoiamos

O ENEI'12 vai realizar-se na FCUL.

ESTRUTURA E GESTÃO DO DEPARTAMENTO DE BIOLOGIA ANIMAL (DBA)

Apresentação do Departamento

Paleontólogos do MNHN da UL e do GeoFCUL em foco na revista TVmais.

A FCUL participa em "Programa de Estudos Avançados" com mais quatro instituições universitárias portuguesas e brasileiras.

O DQB e a FCUL acolheram, mais uma vez, a realização de provas semifinais das Olimpíadas de Química Júnior 2012 no sábado, 14 de abril de 2012.

Pessoas estudam numa mesa na biblioteca

“Acho que qualquer aluno consegue ser bom, se tiver uma boa disciplina de trabalho e objetivos concretos”. Quem o diz é Gonçalo Faria da Silva, estudante do 3.º ano de Biologia.

No penúltimo dia de março realiza-se a quinta e última sessão do workshop destinado a preparar os estudantes para a obtenção do 1.º emprego.

 

Alunos da FCUL

A Schlumberger realiza uma sessão de recrutamento em Ciências. As grandes empresas procuram os melhores profissionais. A FCUL apoia a inserção profissional dos seus diplomados.
 

O evento é uma organização conjunta da Norton/Symantec e do mestrado em Segurança Informática do DI-FCUL.

Páginas