Reconocimiento de diásporas de Malveae (Malvaceae) en muestras de suelos de zonas serranas (Sierras Chicas, Córdoba, Argentina) afectadas por incendios

En el marco de un estudio de regeneración post-incendio de la vegetación autóctona en campos de sierra ubicados en proximidades de Falda del Carmen (Sierras Chicas, Córdoba, Argentina), se ha analizado el banco de semillas aéreo para facilitar la identificación de las especies presentes en las muestras de suelo. Entre las familias con mayor diversidad y abundancia en la zona evaluada, las Malvaceae se encuentran representadas por 14 especies pertenecientes a los géneros: Abutilon Mill., Gaya Kunth., Krapovickasia Fryxell, Malvastrum A. Gray, Pavonia Cav., Pseudabutilon R. E. Fr., Sida L. y Sphaeralcea A. St.-Hil.. Se presentan dos claves dicotómicas para diferenciar las especies utilizando caracteres morfológicos de las diásporas, mericarpos y semillas respectivamente, acompañadas por las descripciones y las ilustraciones de las estructuras consideradas. Se tienen en cuenta aspectos morfológicos de los mericarpos (forma, tamaño, superficie de las caras dorsal y laterales, dehiscencia, aristas, pubescencia, divisiones internas, número de semillas por mericarpo) y de las semillas (forma, tamaño, superficie, pubescencia, hilo)

Desarrollo sustentable en sistemas agroforestales en el Valle de Punilla, Córdoba, Argentina : informe de avance

Reproducción de mala calida

Model Checking Satellite Operational Procedures

We present a model checking approach for the automatic verification of satellite operational procedures (OPs). Building a model for a complex system as a satellite is a hard task. We overcome this obstruction by using a suitable simulator (SIMSAT) for the satellite. Our approach aims at improving OP quality assurance by automatic exhaustive exploration of all possible simulation scenarios. Moreover, our solution decreases OP verification costs by using a model checker (CMurphi) to automatically drive the simulator. We model OPs as user-executed programs observing the simulator telemetries and sending telecommands to the simulator. In order to assess feasibility of our approach we present experimental results on a simple meaningful scenario. Our results show that we can save up to 90% of verification time