Neural-Symbolic Monitoring and Adaptation

Runtime monitors check the execution of a system under scrutiny against a set of formal specifications describing a prescribed behaviour. The two core properties for monitoring systems are scalability and adaptability. In this paper we show how RuleRunner, our previous neural-symbolic monitoring system, can exploit learning strategies in order to integrate desired deviations with the initial set of specification. The resulting system allows for fast conformance checking and can suggest possible enhanced models when the initial set of specifications has to be adapted in order to include new patterns

Interferência do avaliador quanto à resposta positiva ao teste do álcool em amostras de leite resfriado.

No Brasil a prova do álcool/alizarol é realizada no momento da coleta do leite nas propriedades para verificar a qualidade do mesmo, como um indicativo da estabilidade térmica e ou da acidez do produto. A amostra de leite é cuidadosamente misturada a uma solução alcoólica contendo um indicador de pH (alizarina) e observa-se se ocorre a formação de um precipitado, ou coagulação. O resultado está relacionado à identificação pelo avaliador da formação ou não de grumos e sua intensidade. Na Embrapa Pecuária Sul, foi realizado um experimento, objetivando verificar a influência de diferentes avaliadores sobre a incidência de respostas positivas ao teste do álcool. As amostras foram coletadas pela manhã, refrigeradas e analisadas à tarde quanto a sua reação ao teste. Cada avaliador realizou individualmente a leitura de 6 amostras por vez, em placas de petri individuais, para cada concentração. Foram analisadas 280 amostras para o avaliador 1 (AVAL1), 280 para o avaliador 2 (AVAL2) e 273 amostras para o avaliador 3(AVAL3), totalizando 833 amostras de leite. Houve diferença significativa (P0,05) entre o AVAL2 e o AVAL3. Desta forma, a ocorrência de resultados positivos no teste do álcool sofreu a influência de diferentes avaliadores

Eficiência no uso da fita de perímetro torácico como aferidor do peso vivo em terneiras da raça Jersey na fase de aleitamento.

Trabalhos a respeito de estimativas de peso corporal por métodos indiretos demonstram que equações de predição de peso corporal (PC) usando o perímetro torácico, são utilizadas mais freqüentemente do que outras dimensões do corpo, por esta medida apresentar forte correlação com o PC . Porém, existem evidências da necessidade de ajustes nas predições de animais do nascimento até os três meses, devido a menor correlação entre os dados da fita e peso vivo encontradas nesta fase. O presente trabalho realizado na Embrapa Pecuária Sul objetivou avaliar a correlação entre o peso da balança mecânica e o peso indicado na fita de perímetro torácico (PT). As avaliações foram realizadas semanalmente, do nascimento até o desaleite, aos 60 dias de idade, com 10 animas da raça Jersey. O peso foi aferido em balança mecânica e as medidas de PT foram tomadas com o animal em pé, membros devidamente posicionados, e a fita envolvendo a circunferência do tórax para leitura. A média e o desvio-padrão para as pesagens realizadas com balança (n=66; controle) e com a fita (n=66) foram de 39,83 ± 9,26 Kg e 40,39 ± 10,16 Kg, respectivamente. Houve diferença significativa (P<0,01) entre a pesagem controle e a realizada com a fita. A correlação de Pearson foi significativa (P<0,01) entre a pesagem controle e fita, com correlação de 0,948 (R). Desta forma, a pesagem com fita diferiu da pesagem com balança, mas pode ser utilizada desde que ajustada

Efeito de diferentes níveis de concentrado nos componentes do leite de vacas holandesas em sistema a pasto.

O objetivo deste trabalho foi avaliar o efeito de três níveis de concentrado sobre os componentes do leite de vacas da raça Holandesa. Foram analisadas 453 amostras de leite provenientes de vacas da raça Holandesa recebendo diariamente três níveis de concentrado comercial (0Kg, 2Kg e 4Kg) e mantidas em pastagens cultivadas temperadas e nativas melhoradas durante o período de primavera/verão na oferta de 6 kg por dia de matéria seca para cada 100 kg de peso vivo. Os resultados foram submetidos à análise de variância e as médias submetidas ao teste de Dunnett T3 a 5%. Os valores médios e seus respectivos desvios-padrões para a porcentagem de gordura (%GORD), proteína (%PROT) e lactose (%LACT) foram de 3,15 ± 0,77%, 3,14 ± 0,34%; e 5,30 ± 20,28%. Os valores médios para a %GORD, %PROT e %LACT foram de 3,36 ± 0,83%, 3,20 ± 0,36%, e 4,29 ± 0,25%; de 3,24 ± 0,80%, 3,18 ± 0,37%, e 4,36 ± 0,25%; e de 2,86 ± 0,60%, 3,05 ± 0,24%, e 7,22 ± 34,89%, para o níveis 0Kg, 2Kg e 4Kg de concentrado comercial, respectivamente. Houve diferença (P=0,000) dos níveis de concentrado para a %GORD e %PROT, todavia, não houve diferença (P=0,356) para a %LACT. As vacas que receberam 4Kg de concentrado apresentaram a menor %GORD e %PROT. O nível de concentrado influenciou a porcentagem de gordura e de proteína no leite de vacas Holandesas em sistema a pasto

Parallaxes of southern extremely cool objects III : 118 L and T dwarfs

We present new results from the Parallaxes of Southern Extremely Cool dwarfs program to measure parallaxes, proper motions and multiepoch photometry of L and early T dwarfs. The observations were made on 108 nights over the course of 8 yr using the Wide Field Imager on the ESO 2.2m telescope. We present 118 new parallaxes of L and T dwarfs of which 52 have no published values and 24 of the 66 published values are preliminary estimates from this program. The parallax precision varies from 1.0 to 15.5mas with a median of 3.8mas. We find evidence for two objects with long term photometric variation and 24 new moving group candidates. We cross-match our sample to published photometric catalogues and find standard magnitudes in up to 16 pass-bands from which we build spectral energy distributions and H-R diagrams. This allows us to confirm the theoretically anticipated minimum in radius between stars and brown dwarfs across the hydrogen burning minimum mass. We find the minimum occurs between L2 and L6 and verify the predicted steep dependence of radius in the hydrogen burning regime and the gentle rise into the degenerate brown dwarf regime. We find a relatively young age of ~2 Gyr from the kinematics of our sample.Peer reviewedFinal Accepted Versio

Estratigrafía de alta resolución de depósitos de flujos gravitacionales de la Formación Los Molles (Grupo Cuyo - Jurásico) en la región de La Jardinera, cuenca Neuquina

El Grupo Cuyo en el área del arroyo La Jardinera (Pliensbachiano a Caloviano Temprano) refleja una fisiografía de cuenca de plataforma y talud. Una discordancia de orden mayor define la culminación de una espesa sucesión de turbiditas y representa un límite de secuencia de 2do orden. La más antigua secuencia de 2do orden comprende el tramo basal de la Formación Los Molles e incluye un ciclo transgresivo-regresivo asignado a estratos de base de talud y fondo de cuenca. La secuencia más joven, que incluye el resto del Grupo Cuyo, consiste de una sucesión regresiva puntuada por varios desplazamientos abruptos de elementos fisiográficos (límites de secuencia de 3er orden). Las secuencias depositacionales de 3er orden incluyen depósitos de talud y de base de talud del Aaleniano de la Formación Los Molles, facies de plataforma del Bajociano Temprano en la transición entre las formaciones Los Molles y Lajas, y sedimentitas de plataforma interna a nearshore del Bajociano medio a tardío de la Formación Lajas, que es a su vez cubierta por depósitos del Bathoniano aluvial de la Formación Challacó. Ciclos de más alta frecuencia alternan en la sucesión y han controlado el origen, depositación y abandono de los elementos arquitecturales. Análisis de facies y de elementos arquitecturales indican que los depósitos gravitatorios densos de la Formación Los Molles encuadran en un modelo de rampa submarina. Los tres tipos de flujos gravitacionales (GF) han sido relacionados a caídas del nivel del mar de 4to orden. Los GF1 fueron asignados a flujos hiperpícnicos producidos durante un cortejo temprano de mar bajo de 4to orden, coevo con incisión fluvial en la plataforma, que evolucionaran a flujos turbidíticos en el talud, produciendo cargas de pulsos depositacionales cuya signatura composicional es fluvial. El sistema de GF1 incluye canales relativamente pequeños sobre el talud, lóbulos bien desarrollados en la base del talud y la planicie de fondo de cuenca proximales, así como lóbulos adventicios en la planicie del fondo de cuenca. Los estratos GF2 fueron asignados a flujos hiperpícnicos influenciados por un componente oscilatorio y relacionados a cortejos tardíos de mar bajo de 4to orden, que también incluyen relleno de canales incididos. Ellos están caracterizados en el talud por areniscas onduladas y laminadas ampliamente distribuidas y facies heterolíticas, que incluyen scours de bajo relieve en sus porciones centrales. Ellos representan flujos densos más diluidos y de grano más fino con respecto a los GF1. Los GF3, también asociados con cuñas de mar bajo de 4to orden, comprenden depósitos de flujos en masa y debris de talud y de base de talud, que representan clásicos surges de corta duración causados por debilidades en taludes relativamente abruptos. Los cortejos transgresivos y de mar alto de 4to orden llevaron al abandono de la etapa turbidítica y extensiva depositación de fango.The Pliensbachian to Early Callovian Cuyo Group in the Arroyo La Jardinera area reflects a shelf-slope-basin plain physiography. A major unconformity defines the onset of a thick turbidite succession and represents a 2nd order sequence boundary. The older 2nd order depositional sequence comprises the base of Los Molles Formation and includes a transgressive-regressive cycle ascribed to basin plain and slope rise strata. The younger one, which includes the rest of the Cuyo Group, consists of a regressive succession punctuated by several abrupt shifts of physiographic elements (3rd order sequence boundaries). The 3rd order depositional sequences include Aalenian slope rise and slope deposits in the Los Molles Formation, Early Bajocian shelfal facies at the transition of the Los Molles and Lajas formations, and Middle to Late Bajocian inner shelf to nearshore strata in the Lajas Formation that are overlain by Bathonian alluvial deposits of the Challacó Formation. Higher frequency cycles punctuate the succession and have controlled the origin, deposition and abandonment of the architectural elements. Facies and architectural elements analyses indicate that gravity flow deposits in the Los Molles Formation fit in a submarine ramp model. The three identified gravity flow (GF) types have been related to 4th order relative sea-level falls. The GF1 was ascribed to hyperpycnal flows produced during 4th order early lowstand, coeval to fluvial incision on the shelf, which were ignited in the slope and produced depletive depositional pulses with a fluvial compositional signature. The GF1 system includes relatively small channels in the slope, well-developed lobes in the slope rise and proximal basin plain, and lobe fringes in the basin plain. The GF2 strata were ascribed to hyperpycnal flows influenced by an oscillatory component and related to the 4th order late lowstand systems tract that also includes the incised channels fill. They are characterized in the slope by widespread, undulating and laminated sandstone and heterolithic facies, which include low relief scours at their central portions. They represent more diluted and finer-grained density flows relative to the GF1. The GF3, also associated with the 4th order lowstand wedge, comprises mass and debris flow deposits in the slope and slope rise that represent classical, short-lived surges caused by slope failures on relatively steep slopes. The 4th order transgressive and highstand systems tracts led to the abandonment of the turbidite stages and widespread mud deposition.Fil: Paim, Paulo S. G.. Universidad de Vale do Rio dos Sinos; BrasilFil: Silveira, Ariane. Universidad de Vale do Rio dos Sinos; BrasilFil: Lavina, Ernesto L. C.. Universidad de Vale do Rio dos Sinos; BrasilFil: Faccini, Ubiratan F.. Universidad de Vale do Rio dos Sinos; BrasilFil: Leanza, Hector Armando. Secretaría de Industria y Minería. Servicio Geológico Minero Argentino; Argentina. Universidad Nacional de La Plata; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Museo Argentino de Ciencias Naturales "Bernardino Rivadavia"; ArgentinaFil: Teixeira de Oliveira, J. M. M.. Universidad de Vale do Rio dos Sinos; BrasilFil: D'Avila, Roberto S. F.. Universidad de Vale do Rio dos Sinos; Brasil. Petrobras Argentina S.a; Argentin