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

O Grupo Azevedos oferece estágio profissional remunerado a recém licenciado na área da Estatística ou Matemática. Os interessados devem enviar a candidatura para

A edição deste ano d´O Botânico, uma revista propriedade da Associação Íbero-Macaronésica de Jardins Botânicos já se encontra online.

O Centro de Informática migrou todo o sítio antigo para o novo Portal da FCUL.

O Centro de Informática colocou em produção, durante a ultima semana de Maio, um equipamento de rede central na arquitectura de comunicações da FCUL.

Na Licenciatura em Matemática (LM) da FCUL, o leque de opções do 3º ano da LM foi alargado e passou a incluir as seguintes disciplinas, que estarão já disponíveis no ano lectivo de 2012/13:

 

 

Em exibição no:

MUSEU NACIONAL DE HISTÓRIA NATURAL E DA CIÊNCIA

1 de Junho de 2012 a 28 de Abril de 2013

 

 

Os cadernos e as comissões eleitorais estão publicitados no portal da FCUL, assim como o Despacho D/101/2012, que integra o calendário de eleições.

A eleição do Presidente do Departamento de Física  terá lugar de 3 a 5 de Julho de 2012

Comissão Eleitoral

Informações úteis:

Constituição da Comissão Eleitoral

A festa dos finalistas de Geologia juntou familiares, amigos, colegas e professores.

Conforme o despacho D/101/2012,  as eleições para a Presidência do Departamento de Informática, irão decorrer entre 3 e 5 de Julho de 2012 na secretaria do departamento.

 

Estão abertas as inscrições para o ‘Mestrado em Matemática para Professores’ (1ª fase de candidaturas até dia 15 de Junho)

 

No âmbito do nº 3 do artigo 9º do Regulamento Eleitoral, e de acordo com o calendário de eleições para Presidentes dos Departamentos, já se encontra disponível o 

A Eleição do Presidente do Departamento de Biologia Animal terá lugar de 3 a 5 de Julho de 2012 na Secretaria do Departamento

A inscrição nos exames dos dias 4 e 5 de junho podem ser excecionalmente realizadas até às 23h59m de 1 de junho.

A eleição do Presidente do DBV  terá lugar de 3 a 5 de Julho de 2012

Matéria escura

Um grupo de 19 cientistas, 14 deles investigadores do Centro de Física Nuclear da UL e do Instituto Tecnológico e Nuclear da UTL, publicaram recentemente novos resultados que contrariam as alegadas descobertas sobre a matéria escura.

PSMR2012 Conference

Estudante de doutoramento no IBEB ganha prémio para o melhor Poster

Tomás Aquino

Bolseiro do CFMC distinguido pela Fundação Calouste Gulbenkian

Imagem de Kairos em pedra

O próximo e quinto número da revista do Centro de Filosofia das Ciências da UL é lançado em novembro. A submissão de textos termina a 30 de setembro.

Encontra-se aberto concurso para bolsa de estágio na área de suporte aos laboratórios letivos e de investigação do Departamento de Informática da Faculdade de Ciências.

Simulação de uma proteína

Quatro lições sobre proteínas.  As investigadoras Maria José R. Gomes e Patrícia Faísca apresentam quatro razões para não faltar à quinta iniciativa do projeto Ciência na UL.

O Dr. Rui Lopes ex-aluno do Departamento de Informática e investigador no LASIGE, actualmente a trabalhar na Google, foi um dos responsáveis da equipa de desenvolvimento do doodle de hoje (23 de Maio).

A Investigação dos Doutores de Amanhã

Lâmpada

"O objetivo é partilhar com os colegas das outras faculdades a experiência que tivemos, e estamos a ter, com a implementação do modelo de gestão por objetivos, assente na identificação dos processos", diz Ana Rocha, secretária-coordenadora da FCUL.

Páginas