移动进程的空间逻辑

提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质,并证明了该算法的正确性.

高可靠软件研究:向信息技术的未来投资

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

a higher-order duration calculus and its completeness

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

Relatório Anual de Atividades do Convênio Geral entre a Embrapa Monitoramento por Satélite e o Ministério da Defesa (Exército) - 2007.

Intercâmbio entre Embrapa Monitoramento por Satélite e Exército Brasileiro; MD-EB, Ministério da Defesa (Exército Brasileiro); Construção da Sede Própria; CTEx, Centro Tecnológico do Exercito; Embrapa Monitoramento por Satélite recebe visita do chefe do Centro Tecnológico do Exército; EsAO, Escola de Aperfeiçoamento do Exército 9 Chefe de Comunicação e Negócios da Embrapa Monitoramento por Satélite participa do exercício de treinamento; Embrapa Monitoramento por Satélite entrega material à EsAO; Oficiais da EsAO recebem curso na Unidade; 11ª Bda Inf L, Companhia de Comando da Brigada de Infantaria Leve; Troca de comando na 11ª Bda Inf L 14 Dia do Soldado; 2ª Cia Com L, Companhia de Comunicações Leve; Unidade prestigia atividades comemorativas da 2ª Cia Com L; Oficiais da 2ª Cia Com L visitam a Unidade; 13º RCMec, Regimento de Cavalaria Mecanizado; Embrapa marca presença na troca de comando do 13º RCMec; 28º BIL, Batalhão de Infantaria Leve; Unidade participa do Dia da Infantaria; 2ª B Log, Batalhão Logístico (Comando); 2ª RM-SE, Região Militar do Sudeste; Comandante da 2ª Região Militar do Sudeste visita a futura sede da Unidade; GSI-PR, Gabinete de Segurança Institucional da Presidência da República; Reunião no GSI discute trabalhos em conjunto e o andamento das obras da nova sede da Unidade; Representantes do Gabinete de Segurança Institucional da Presidência da República visitam as obras da nova sede; CMA, Comando Militar da Amazônia; CMO, Comando Militar do Oeste; CMP, Comando Militar do Planalto; CMNE, Comando Militar do Nordeste; CML, Comando Militar do Leste; CMSE, Comando Militar do Sudeste; CMS, Comando Militar do Sul; DIVULGAÇÃO de informações sobre as ações realizadas; Envio do boletim informativo Via Satélite pela internet e mala direta; Divulgação de relatórios anuais das atividades relacionadas no âmbito da parceria.

Sistema para estimação de área plantada por amostragem - SEARA - proposta de delineamento amostral para café em São Paulo e para grãos em Minas Gerais.

A informação precisa e atualizada referente à produção agrícola brasileira é importante e estratégica, tanto do ponto de vista econômico como da segurança alimentar. O aumento da disponibilidade de imagens de sensoriamento remoto, bem como outros avanços tecnológicos recentes, como os sistemas de informação geográfica (SIGs) e os aparelhos de posicionamento global (GPS), podem facilitar a obtenção de estimativas de área plantada, um componente fundamental da previsão de safras, e permitir o acesso a uma informação essencial em aplicações ambientais: a localização espacial dos cultivos. Embora a previsão oficial de safras no Brasil ainda seja realizada de forma subjetiva, existe um esforço da Companhia Nacional de Abastecimento (CONAB) para o aperfeiçoamento metodológico do sistema de previsão, que inclui o Projeto GeoSafras. A presente pesquisa, que pretende contribuir para esse esforço, é baseada numa abordagem que associa a amostragem estatística, imagens de satélite, SIG e GPS, e que foi desenvolvida preliminarmente pela Embrapa Meio Ambiente para estimar, de forma objetiva e probabilística, a área plantada com determinada cultura em um Município.

Produção integrada viabiliza certificação de propriedades de lima ácida 'Tahiti' no norte de Minas Gerais.

A produção da lima ácida 'Tahiti' tem evoluído no país tanto na adoção de novas tecnologias como em maiores áreas plantadas pelos citricultores, fato esse diretamente ligado à crescente demanda de mercados externos por essa fruta. A região do Perímetro Irrigado de Jaíba (MG) é uma nova fronteira agrícola onde a lima ácida 'Tahiti' tem se tornado uma cultura de destaque em função das condições climáticas e pela presença de diversas instituições de apoio àagricultura, tanto públicas (Empresa de Assistência Técnica e Extensão Rural de Minas Gerais - Emater- MG, Embrapa, Serviço Nacional de Aprendizagem Rural - Senar-MG, Companhia de Desenvolvimento dos Vales do São Francisco e do Parnaíba - Codevasf, Distrito de Irrigação de Jaíba - DIJ, Empresa de Pesquisa Agropecuária de Minas Gerais - Epamig, Instituto Mineiro de Agropecuária - IMA, Federação da Agricultura e Pecuária do Estado de Minas Gerais - Faemg e Central Exportaminas) quanto privadas, a exemplo da Centraljai, importante central de associações de produtores de limão, que tem papel decisivo no beneficiamento e na comercialização da produção local, pois possui uma empacotadora sob sua responsabilidade. Entretanto, paralelamente à demanda crescente por essa fruteira, também crescem as exigências dos mercados importadores nos quesitos ambientais e sociais, em que a rastreabilidade da produção é fator preponderante para garantir sucesso na comercialização. Por isso, o sistema de Produção Integrada (PI) aparece como uma opção ideal à cadeia produtiva do limão 'Tahiti', pois é constituído por um conjunto de práticas agronômicas selecionadas a partir daquelas disponíveis, que asseguram a qualidade e produtividade da cultura e prioriza princípios baseados na sustentabilidade, em que se tem maior controle tanto na utilização dos recursos naturais como na regulação de insumos poluentes, a fim de possibilitar o correto monitoramento do processo e a verificação de todo o sistema.

Curso de recuperação de áreas degradadas: a visão da ciência do solo no contexto do diagnóstico, manejo, indicadores de monitoramento e estratégias de recuperação.

A gradativa evolução e cobrança da legislação ambiental ocorridas nas últimas décadas, especialmente a que trata da obrigatoriedade da recuperação de áreas degradadas, têm contribuído significativamente para o aperfeiçoamento da tecnologia pertinente e tem despertado o interesse de várias categorias profissionais. Pesquisadores, técnicos e empresas estão empenhadas na solução de diversos problemas, específicos da área. Neste contexto, a Empresa Brasileira de Pesquisa Agropecuária - EMBRAPA, vinculada ao Ministério da Agricultura, Pescuária e Abastecimento, criada em 26 de abril de 1973, que tem como missão viabilizar soluções para o desenvolvimento sustentável do espaço rural e peri-urbano, por meio da geração, adaptação e transferência de conhecimentos e tecnologias, em benefício dos diversos segmentos da sociedade brasileira, viu-se obrigada pela natureza de suas pesquisas, pela área geográfica de sua atuação e pelo conhecimento e desafios acumulado na empresa e em seus quadros técnicos, a também contribuir de forma efetiva na investigação científica e geração de tecnologias para recuperação de áreas degradadas. A adoção da Recuperação de Áreas Degradadas (RAD) como ramo da ciência é um evento recente em nosso país, e como a maioria dessas áreas degradadas está em áreas com atividades ligadas ao setor agropecuário ou a cadeia produtiva em volta do agronegócio brasileiro, a Embrapa tem um papel de atuação essencial para gerar tecnologias mitigadoras destes impactos, que podem e devem ser adaptadas para outras situações de solos e recursos hídricos degradados por outras atividades. A Petrobras, a maior empresa brasileira em valor de mercado, entende que em um cenário cada vez mais competitivo, a imagem das empresas está relacionada à conscientização de seus empregados de que o aprimoramento da qualidade, a minimização de impactos ao meio ambiente e a segurança do homem e do patrimônio são fatores decisivos para o aumento da produtividade. Por isso, a Companhia dedica igual atenção ao seu desenvolvimento tecnológico e aos aspectos de proteção ao meio ambiente. Diante deste contexto, a Petrobras contratou uma das unidades de pesquisa do sistema Embrapa, o Centro Nacional de Pesquisa de Solos sediado no Rio de Janeiro para ministrar esse Curso de Recuparação de Áreas Degradadas, através da visão da Ciência do Solo no Contexto do Diagnóstico, Manejo, Indicadores de Monitoramento e Estratégias de Recuperação, visando o treinamento de parte dos seus quadros técnicos ligados à área de meio ambiente, utilizando ferramentas e conhecimentos específicos da Ciência do Solo, como contribuição técnica no sentido de aprimorar o enfoque multidisciplinar, necessário aos técnicos envolvidos em trabalhos de RAD. Esperamos que as informações contidas nesta apostila e transmitidas em sala de aula e nas atividades de campo contribuam para ampliar os muitos conhecimentos já adquiridos e vividos pelos quadros técnicos da área de meio ambiente da Petróleo Brasileiro S.A.

Manual do HiperEditor e HiperNavegador.

Árvore hiperbólica. Instalação das ferramentas de edição de navegação (versão 1.6 ou superior). Criando e editando uma árvore hiperbólica. Preparando uma árvore para a navegação na Web.

Personalização dos softwares HiperEditor e HiperNavegador para uso na Agência de Informação Embrapa.

Este trabalho descreve o desenvolvimento de uma versão personalizada dos softwares HiperEditor e HiperNavegador para uso no Gestor de Conteúdo da Agência de Informação Embrapa, visando atender aos novos requisitos dos usuários nesse sistema. As atualizações foram concebidas por meio do uso dos códigos-fonte dos softwares, da biblioteca JDK, do ambiente de desenvolvimento Eclipse e do sistema operacional Kubuntu. A nova versão do HiperEditor traz uma interface gráfica mais amigável e intuitiva, além de novas funcionalidades: alterar cor do texto ou de preenchimento do nó, ordenação semântica, inserir imagem de ícone ou miniatura ao nó e imprimir estrutura hierárquica. O HiperNavegador personalizado permite que as alterações realizadas em uma determinada estrutura hierárquica por meio do HiperEditor possam ser visualizadas.

Transfusões sanguíneas em cães e gatos: indicações e reações transfusionais

O presente relatório teve como base o estágio curricular no Hospital Veterinário Central, sob a orientação da Professora Cristina Queiroga, e coorientação do Dr. Nuno Paixão. Na primeira parte deste documento são relatadas as atividades desenvolvidas durante o estágio curricular, abrangendo várias áreas de especialidade clínica, em medicina de animais de companhia. A segunda parte do documento consiste numa revisão bibliográfica sobre transfusões sanguíneas, onde são abordados vários pontos, seguida da apresentação e discussão de um estudo sobre as transfusões sanguíneas realizadas no Hospital Veterinário Central, no período de 1 de janeiro de 2012 a 28 de fevereiro de 2013. O estudo tem como objetivos a avaliação da variação do hematócrito, frequência cardíaca e respiratória, coloração das mucosas, temperatura retal, pressões sanguíneas e atitude, em intervalos de tempo estipulados. Outro objetivo do presente estudo, é determinar a prevalência de reações transfusionais adversas e a taxa de sobrevivência dos animais submetidos a transfusão, e avaliar, através de testes estatísticos, se existe associação entre as várias variáveis em estudo; ### ABSTRACT: Blood transfusions in dogs and cats: indications and transfusion reactions This report is based on the internship accomplished in Hospital Veterinário Central, under the orientation of Dr. Cristina Queiroga and co-orientation of Dr. Nuno Paixão. The first part of this report describes the activities undertaken during a traineeship in several areas of clinical specialty, in small animal medicine. The second part of this document consists of a literature review on blood transfusions, which addresses several points, followed by a presentation and discussion of a study of blood transfusions performed at Hospital Veterinário Central, during the period of 1 January 2012 and 28 February 2013. The study aims at assessing the changes in hematocrit, heart and respiratory rate, mucous membrane coloration, retal temperature, blood pressures and attitude, at prescribed time intervals. Another objective of the present study is to determine the prevalence of adverse transfusion reactions and the survival rate of animals subjected to transfusion, and evaluate, through statistical tests, whether an association exists between the different variables under study.

Escolha empírica de um antibiótico nas afeções do trato urinario inferior: os contras.

O presente trabalho é relativo aos resultados das uroculturas realizadas na instituição durante os anos de 2013 e 2014 e respetivos testes de suscetibilidade aos antibióticos (TSA). Todos os resultados se referem a animais de companhia assistidos no âmbito da consulta externa devido a sinais clínicos de afeção do trato genito-urinário. O médico veterinário no decurso da sua atividade profissional deve assegurar-se de que promove uma prática racional e responsável na utilização de antibioterapia, limitando a sua utilização aos casos em que realmente é necessária. Por outro lado, e face ao aumento de estirpes bacterianas multirresistentes, o sucesso terapêutico depende cada vez mais de uma escolha adequada do agente antimicrobiano, que não deverá ser empírica. Apesar de não ser claro se o fluxo de transmissão de resistências microbianas é feito no sentido do animal para o humano ou no sentido inverso, certo é que o fluxo é possível e existe (Ewers, 2012).

High-resolution seismic reflection investigation of gas accumulation and seepage in the tidal channels of the Ria of Aveiro barrier lagoon (Portugal)

O metano é um gás de estufa potente e uma importante fonte de energia. A importância global e impacto em zonas costeiras de acumulações e escape de gás metano são ainda pouco conhecidas. Esta tese investiga acumulações e escape de gás em canais de maré da Ria de Aveiro com dados de cinco campanhas de reflexão sísmica de alta resolução realizadas em 1986, 1999, 2002 e 2003. Estas incluem três campanhas de Chirp (RIAV99, RIAV02 e RIAV02A) e duas campanhas de Boomer (VOUGA86 e RIAV03). O processamento dos dados de navegação incluíram filtros de erros, correcções de sincronização de relógios de sistemas de aquisição de dados, ajuste de “layback” e estimativa da posição de “midpoint”. O processamento do sinal sísmico consistiu na correcção das amplitudes, remoção de ruído do tipo “burst”, correcções estáticas, correcção do “normal move-out”, filtragem passabanda, desconvolução da assinatura e migração Stolt F-K. A análise da regularidade do trajecto de navegação, dos desfasamentos entre horizontes e dos modelos de superfícies foi utilizada para controlo de qualidade, e permitiu a revisão e melhoria dos parâmetros de processamento. A heterogeneidade da cobertura sísmica, da qualidade do sinal, da penetração e da resolução, no seu conjunto constrangeram o uso dos dados a interpretações detalhadas, mas locais, de objectos geológicos da Ria. É apresentado um procedimento para determinar a escolha de escalas adequadas para modelar os objectos geológicos, baseado na resolução sísmica, erros de posicionamento conhecidos e desfasamentos médios entre horizontes. As evidências de acumulação e escape de gás na Ria de Aveiro incluem turbidez acústica, reflexões reforçadas, cortinas acústicas, domas, “pockmarks” e alinhamentos de “pockmarks” enterradas, horizontes perturbados e plumas acústicas na coluna de água (flares). A estratigrafia e a estrutura geológica controlam a distribuição e extensão das acumulações e escape de gás. Ainda assim, nestes sistemas de baixa profundidade de água, as variações da altura de maré têm um impacto significativo na detecção de gás com métodos acústicos, através de alterações nas amplitudes originais de reflexões reforçadas, turbidez acústica e branqueamento acústico em zonas com gás. Os padrões encontrados confirmam que o escape de bolhas de gás é desencadeado pela descida da maré. Há acumulações de gás em sedimentos Holocénicos e no substrato de argilas e calcários do Mesozóico. Evidências directas de escape de gás em sondagens em zonas vizinhas, mostraram gás essencialmente biogénico. A maioria do gás na área deve ter sido gerado em sedimentos lagunares Holocénicos. No entanto, a localização e geometria de estruturas de escape de fluidos em alguns canais de maré, seguem o padrão de fracturas do substrato Mesozóico, indicando uma possível fonte mais profunda de gás e que estas fracturas funcionam como condutas preferenciais de migração dos fluidos e exercem um controlo estrutural na ocorrência de gás na Ria.

Contribution to the study of the Ria de Aveiro inlet morphodynamics

Over the years it was observed at the Ria de Aveiro lagoon inlet, near the head of the north breakwater, a depth increase that might threaten the stability of this structure. A trend of accretion in the navigation channel of this lagoon is observed, endangering the navigation in this region. In order to understand the origin of these and other trends observed, the knowledge of the sediment transport in the study area is imperative. The main aim of this work is understanding the dominant physical processes in the sediment transport of sediment at the Ria de Aveiro lagoon inlet and adjacent area, improving knowledge of this region morphodynamics. The methodology followed in this study consisted in the analyzes of the topohydrographic surveys performed by the Administration of the Aveiro Harbor, and in the numerical simulations results performed with the morphodynamic modeling system MORSYS2D. The analysis of the surveys was performed by studying the temporal evolution of the bathymetry. The numerical analysis was based on the implementation of the model at the study area, sensitivity analysis of the formulations used to compute the sediment transport to the variation of input parameters (e.g. depth, sediment size, tidal currents) and analysis of the sediment uxes and bathymetric changes predicted. The simulations considered as sediment transport forcing the tidal currents only and the coupled forcing of tides and waves. Considering the wave e ect as sediment transport forcing, both monochromatic waves and a wave regime were simulated. The results revealed that the observed residual sediment transport patterns are generated due to the channel con guration. Inside the lagoon the uxes are mainly induced by the tidal currents action, restricting the action of waves to the inlet and adjacent coast. In the navigation channel the residual sediment uxes predicted are directed o - shore with values between 7 and 40 m3=day generating accretions of approximately 10 m3=day for the shallower region and 35 m3=day for the region between the tidal gauge and the tri^angulo das mar es. At the inlet, the residual uxes are approximately 30 m3=day inducing trends of erosion of approximately 20 m3=day. At the North side of the nearshore accretion is predicted, while at the South side is predicted erosion, at the rates of 250 and 1500 m3=day, respectively. It was also concluded that the waves with higher contribution to the residual sediment uxes are those with heights between 4 and 5 m. However, the storm waves with heights bigger than 5 m, despite their 10% of frequency of occurrence are responsible for 25% of the observed sediment transport.

Automatic information and safety systems for driving assistance

O objeto principal desta tese é o estudo de algoritmos de processamento e representação automáticos de dados, em particular de informação obtida por sensores montados a bordo de veículos (2D e 3D), com aplicação em contexto de sistemas de apoio à condução. O trabalho foca alguns dos problemas que, quer os sistemas de condução automática (AD), quer os sistemas avançados de apoio à condução (ADAS), enfrentam hoje em dia. O documento é composto por duas partes. A primeira descreve o projeto, construção e desenvolvimento de três protótipos robóticos, incluindo pormenores associados aos sensores montados a bordo dos robôs, algoritmos e arquitecturas de software. Estes robôs foram utilizados como plataformas de ensaios para testar e validar as técnicas propostas. Para além disso, participaram em várias competições de condução autónoma tendo obtido muito bons resultados. A segunda parte deste documento apresenta vários algoritmos empregues na geração de representações intermédias de dados sensoriais. Estes podem ser utilizados para melhorar técnicas já existentes de reconhecimento de padrões, deteção ou navegação, e por este meio contribuir para futuras aplicações no âmbito dos AD ou ADAS. Dado que os veículos autónomos contêm uma grande quantidade de sensores de diferentes naturezas, representações intermédias são particularmente adequadas, pois podem lidar com problemas relacionados com as diversas naturezas dos dados (2D, 3D, fotométrica, etc.), com o carácter assíncrono dos dados (multiplos sensores a enviar dados a diferentes frequências), ou com o alinhamento dos dados (problemas de calibração, diferentes sensores a disponibilizar diferentes medições para um mesmo objeto). Neste âmbito, são propostas novas técnicas para a computação de uma representação multi-câmara multi-modal de transformação de perspectiva inversa, para a execução de correcção de côr entre imagens de forma a obter mosaicos de qualidade, ou para a geração de uma representação de cena baseada em primitivas poligonais, capaz de lidar com grandes quantidades de dados 3D e 2D, tendo inclusivamente a capacidade de refinar a representação à medida que novos dados sensoriais são recebidos.

Metodologia de selecção de materiais em design: base de dados nacional

Desde a Pré-História que a escolha de materiais esteve relacionada com a Arte. Mais tarde, durante a Idade Moderna vai ganhando uma importância cada vez maior. Atingida que foi a Idade Contemporânea, nomeadamente após a Revolução Industrial e durante a Segunda Guerra Mundial, devido ao aumento do número de materiais disponíveis, é que se pode falar de uma verdadeira seleção de materiais. É também após a Revolução Industrial que se clarificam as relações entre a evolução dos materiais e os movimentos e correntes das Artes Plásticas. Neste contexto, estudaram-se as interligações entre o processo de design e as metodologias de seleção, assim como as diversas tipologias de ferramentas existentes para esse efeito. Deste estudo, consideradas as respetivas vantagens e limitações, foi possível identificar bases de dados essencialmente técnicas, ou ao invés, ferramentas para inspiração com muitas imagens e pouca informação sobre as propriedades dos materiais. Para completar este levantamento crítico sobre processos e ferramentas de seleção, inquiriram-se cinquenta e três profissionais que trabalhavam em diferentes gabinetes de design portugueses. As perguntas dirigidas aos designers portugueses versaram sobre problemas relacionados com a escolha de materiais, abrangendo o tipo de matériasprimas empregues, processos utilizados e a qualidade da informação obtida. Na sequência deste estudo, verificou-se a existência de diversas lacunas relativamente aos meios disponíveis, rotinas de seleção, qualidade da informação existente e metodologias utilizadas. Foi neste contexto que se iniciou o projeto de criação de uma nova metodologia suportada por uma ferramenta digital. Os principais aspetos inovadores são: uma melhor interligação entre a metodologia de design e o processo de seleção de materiais e a sua sincronização; a informação necessária em cada etapa e o destaque dos fatores catalisadores da seleção de materiais. Outro elemento inovador foi a conjugação de três formas deferentes de seleção de materiais numa só ferramenta (a geral, a visual e a específica) e a hipótese de aceder a diferentes graus de informação. A metodologia, no contexto dos recursos disponíveis, foi materializada sob a forma de ferramenta digital (ptmaterials.com). O protótipo foi aferido com testes de usabilidade de cariz heurístico, com a participação de dezanove utilizadores. Foram detetadas diversas falhas de interação que condicionaram a liberdade e o controlo da navegação no seio da interface. Os utilizadores também mencionaram a existência de lacunas na prevenção de erros e a ligação do sistema à lógica habitual de outras aplicações já existentes. No entanto, também constituiu um estímulo a circunstância da maioria dos designers avaliarem o sistema como eficaz, eficiente, satisfatório e confirmarem o interesse da existência dos três tipos de seleção. Posteriormente, ao analisar os restantes resultados dos testes de usabilidade, também foram evidenciadas as vantagens dos diferentes tipos de informação disponibilizada e a utilidade de uma ferramenta desta natureza para a Indústria e Economia Nacionais. Esta ferramenta é apenas um ponto de partida, existindo espaço para melhorar a proposta, apesar da concretização de uma ferramenta digital ser um trabalho de grande complexidade. Não obstante se tratar de um protótipo, esta ferramenta está adequada aos dias de hoje e é passível de evoluir no futuro, tendo também a possibilidade de vir a ser preferencialmente utilizada por outros países de língua portuguesa.