Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Distribuição socioespacial dos fatores dinâmicos da população na Região Metropolitana de Natal

The Metropolitan Region of Natal, like other metropolitan regions in Brazil, was marked by intense and rapid urbanization of the country occurred only in the second half of the twentieth century, coinciding with the process of consolidation of the industry in the country, resulting in serious urban social problems, such as the increase in slums, lack of infrastructure and this increase in violence in urban centers. When enters the reality of the metropolitan region, assessing the impacts of restructuring productive in the context of globalization, analyzing how the socio-economic factors influencing the dynamic of the population, whose configuration was shown to be contradictory according to social class busy. Accordingly, we studied the demographic configuration of the Metropolitan Region of Natal, analyzing their spatial distribution and their socio-demographic differences in light of building a type socio-space, which cuts the metropolitan space in homogeneous areas

Praia de Ponta Negra: uma abordagem da paisagem costeira de 1970 a 2010, Natal/RN

With process urbanization process the Brazilian cities have been goin through, Natal/RN does not differ from the other ones, it has had a fast, inordinate and planned urbanization, but not applied, it has caused a high increase of social environmental problems. One of the worrying problems observed is the change in the coastal landscape, which has caused serious damage to the city‟s population, more specifically, of Ponta Negra beach neighborhood. For the geographical studies, the issue, concerning the occupation of the beaches that has been getting higher and higher in the last decades is extremely important because these, in addition to being used as homes in the new urban configuration, have incorporated new ways of environmental interference, without a simultaneous advance of knowledge which would be necessary for a more suitable and rational use of litoral spaces. Thus, the current assignment aimed to focus the coastal landscape of Ponta Negra Beach, in the city of Natal/RN, checking and analyzing the effects caused by anthropic and natural action, and the way it reflects in the quality of life of the resident, working population and of the frequenters as well as the landscape transformations in the area which is object of study, from 1970 through 2010. The methodology used followed to stages, the first concerned the theoretical work bibliographic surveying and composition; and second one the empirical work marking of the environmental characterization and application of the questionnaires. So, we can measure that Ponta Negra, is very susceptible to environmental changes, the ones caused by the natural dynamics of the beach, as well as the human actions (society) in this really fragile and mutable space, so it needs, a more profound systematic study about the coastal landscape. In order to reach a minimization of the change of the landscapes in the coastal zones there must be an integrated management of the environments, based on the planning of actions and territorial reordination of the occupations of these so important spaces, environmentally, as well as socioeconomically. Whereas, only this way, we will have a sustentable development and a suitable use of that space

Contribuições das práticas alimentares e inatividade física para o excesso de peso infantil

OBJETIVO: Revisar estudos que abordam as práticas alimentares atuais e o padrão de atividade física como contribuintes do excesso de peso na infância. FONTES DE DADOS: Ovid Journals, Highwire e SciELO, com seleção de artigos originais e de revisão nos últimos dez anos (1997 a 2007), na língua portuguesa e inglesa. SÍNTESE DE DADOS: O acompanhamento do estado nutricional de crianças permite diagnosticar seu estado de saúde atual, bem como predizer parcialmente seu prognóstico na vida adulta. A prevalência de obesidade infantil, no Brasil, apresenta aumento progressivo em todas as classes sociais e sua freqüência varia entre cinco a 18%, dependendo da região estudada. A associação da transição epidemiológica, demográfica e comportamental e a alteração do hábito alimentar são apontadas como fatores causais do aumento progressivo da obesidade infantil. Práticas alimentares caracterizadas por elevado teor de lipídios, sacarose e sódio e por reduzido consumo de cereais integrais, frutas e hortaliças associadas à inatividade física decorrente do uso de computadores, jogos eletrônicos e televisores influenciam parte considerável de crianças. Este estilo de vida reflete os hábitos familiares e pode ser influenciado pelo ambiente escolar no qual a criança está inserida. CONCLUSÕES: Os dados sugerem influência considerável dos fatores ambientais, principalmente hábitos alimentares e inatividade física, no crescente aumento da prevalência de excesso de peso na população pediátrica.

Efeito do Paclobutrazol no controle da diferenciação floral natural do abacaxizeiro cv. Smooth Cayenne

O abacaxizeiro é uma planta de grande importância econômica, porém seu florescimento natural causa sérios problemas, tornando seu manejo difícil devido à desuniformidade de frutos e colheitas, elevando o custo de produção. O objetivo deste trabalho foi manipular o florescimento do abacaxizeiro, contribuindo para uma produção uniforme colocada no mercado, nos meses de menor oferta. Utilizou-se o Paclobutrazol (PBZ) nas concentrações de 100; 150 e 200 mg L-1, em 2; 3 ou 4 aplicações via foliar, em plantas de abacaxi cv. Smooth Cayenne, no município de Presidente Alves-SP. O delineamento empregado foi em blocos ao acaso, com 10 tratamentos e três repetições, com 40 plantas por parcela experimental. No período de 100 a 150 dias após a primeira aplicação dos tratamentos, efetuaram-se as contagens de inflorescências presentes no centro da roseta foliar das plantas. Todos os tratamentos com Paclobutrazol inibiram a diferenciação floral natural do abacaxizeiro, recomendando-se a concentração de 150 mg L-1 em duas aplicações, com início em abril, a intervalo de 15 dias.

O ensino da digestão-nutrição na era das refeições rápidas e do culto ao corpo

Mudanças notáveis nos hábitos alimentares, acompanhadas de práticas fisioculturistas intensas, são a tônica dos dias atuais, com registros de carências nutricionais e de obesidade bastante preocupantes, do ponto de vista da saúde pública, entre crianças, jovens e adultos. Mas o que conhecem as crianças e os adolescentes sobre o processo de digestão-nutrição, os conceitos básicos envolvidos e as condutas alimentares adequadas à boa saúde humana? Como é desenvolvido esse tema nas escolas públicas e particulares de ensino? Tais questionamentos desencadearam um estudo sobre a natureza das práticas desenvolvidas por professores de ciências e biologia e o conhecimento apresentado por alunos de escolas públicas e particulares. Os resultados revelaram inadequação no tratamento metodológico de ensino do processo de digestão e conceitos envolvidos nesse tema, que levam os alunos ao desinteresse e a manterem praticamente inalterados os conhecimentos ordinários que possuem. O processo de digestão e nutrição, bem como suas implicações para a saúde, configuraram-se como fenômenos desvinculados do aluno, à semelhança do que observamos nos livros didáticos por eles utilizados. A dinâmica das inter-relações alimentares entre seres vivos são superficialmente consideradas em ecologia e passam ao largo das adaptações comportamentais, morfológicas e fisiológicas envolvidas. Considerando esses resultados, propõe-se conteúdo baseado em abordagem ecológica, voltado para determinadas atividades experimentais, jogos e interações coevolutivas de seres vivos - aspectos biológicos e sociais, para o despertar de posturas reflexivas e críticas diante das transformações sociais em curso e de nossas necessidades biológicas no que se refere à alimentação e saúde.

O sistema de partida em corridas de velocidade do atletismo

Não é difícil observar a importância das corridas de velocidade para o cenário esportivo mundial. Entretanto, do stádion, disputado pelos gregos nos Jogos Olímpicos da Grécia Antiga, aos atuais 100 metros rasos, foram várias as modificações. Não por outro motivo, o objetivo dessa pesquisa foi registrar as modificações que ocorreram no sistema de partida das corridas de velocidade ao longo dos tempos. Essa pesquisa teórica, caracterizada como uma pesquisa bibliográfica, concentrou-se na coleta de dados provenientes de livros, artigos, imagens e websites relacionados aos 100 metros rasos. Dentre as modificações identificadas merecem destaque as que ocorreram no sistema de partida e que incluem o bloco de partida utilizado pelos atletas na atualidade, sem o qual, talvez, não se tivesse chegado ao incrível recorde mundial dos 100 metros rasos de 9s58.

O conteúdo intelectual do lazer no processo do aprender a envelhecer

This qualitative study aimed to investigate the resonances of the intellectual content of leisure for older adults. A mixed questionnaire containing ten questions was applied to a sample of fifty older adults people of both genders. Data were descriptively analyzed by thematic content analysis technique and showed that such experiences encourage reflection and the exercise of citizenship. Among the intellectual contents to qualitatively fulfill free time availability were elected by the sample: watching news on TV (70%), videos on health and aging (55%), reading newspapers, magazines and books (54%), playing strategic games (35%) and visiting museums (8%). It can be concluded that the experiences sharpen the critical and intellectual creativity and subsidize better understanding of aging, involving the construction of knowledge and expanding the opportunities of learning to learn, to be, and to live.

Feeding of introduced species of Cichla (Perciformes, Cichlidae) in Volta Grande reservoir, River Grande (MG/SP)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Aspectos fisiológicos do mountain biking competitivo

A prática do ciclismo off-road (mountain biking - MTB), cresceu muito nas últimas duas décadas, sendo incluído como esporte olímpico, nos Jogos de Atlanta em 1996, na modalidade Cross Country. Na última década, houve um aumento no número de publicações científicas que verificaram a demanda fisiológica durante competições, assim como o estudo de possíveis preditores da performance nesta modalidade. O objetivo deste estudo de revisão foi descrever alguns aspectos fisiológicos específicos do MTB Cross Country (MTB CC) competitivo (intensidade de provas, perfil fisiológico de atletas de elite, uso de suspensões e determinantes da performance em subidas). Observa-se na literatura analisada que as provas de MTB CC parecem impor uma sobrecarga fisiológica maior, quando analisada através da frequência cardíaca, do que provas de ciclismo de estrada com duração semelhante. Entretanto, quando analisada pela potência de pedalada, observa-se claramente a característica intermitente da modalidade, com variações de potência durante a prova entre zero e 500W, e potência média relativamente baixa em comparação aos valores de FC encontrados. Outro fator importante levantado neste estudo são as alterações fisiológicas decorrentes do uso de suspensões nas bicicletas de MTB CC. O uso deste equipamento reduz o estresse muscular provocado pelo terreno acidentado, embora pareça não afetar o gasto energético total, tanto em percurso plano como em subidas. Entretanto, é fato que o desempenho em circuitos acidentados é melhorado com o uso das suspensões. Com base nos estudos abordados nessa revisão, conclui-se que o MTB CC enquanto modalidade competitiva apresenta uma grande variação de intensidade (avaliada através da potência), sendo esta atribuída principalmente ao tipo de terreno (irregular e com muitas aclives e declives acentuados) em que as provas de MTB CC acontecem.

Refletindo sobre a tematização do futebol na Educação Física escolar

A Educação Física deve propiciar ao aluno o exercício da cidadania, possibilitando a conquista da autonomia, por meio da reflexão-crítica sobre os conhecimentos da cultura corporal de movimento. Contudo, a área carece de subsídios para uma melhor organização de seus conteúdos dentro do currículo escolar. Neste sentido, o objetivo do presente estudo consiste em apontar um conjunto de temas relevantes do conteúdo futebol que possam servir de subsídios para propostas de sistematização para o componente curricular Educação Física escolar. São apresentados nove temas que discutem aspectos relevantes do futebol, tais como suas relações com a arte, sua história e o contexto do futebol feminino. Por fim, o tema relativo aos jogos da cultura popular relacionados ao futebol foi aprofundado por meio do futebol de tampinhas e do futebol de botão, incluindo aprendizagens como a construção de regras, a interpretação de competições e a valorização da cultura popular.

Análise de risco da ocorrência de Sigatoka-negra baseada em modelos polinomiais: um estudo de caso

A Sigatoka-negra (Mycosphaerella fijiensis) ameaça os bananais comerciais em todas as áreas produtoras do mundo e provoca danos quantitativos e qualitativos na produção, acarretando sérios prejuízos financeiros. Faz-se necessário o estudo da vulnerabilidade das plantas em diversos estádios de desenvolvimento e das condições climáticas favoráveis à ocorrência da doença. Objetivou-se com este trabalho desenvolver um modelo probabilístico baseado em funções polinomiais que represente o risco de ocorrência da Sigatokanegra em função da vulnerabilidade decorrente de fatores intrínsecos à planta e ao ambiente. Realizou-se um estudo de caso, em bananal comercial localizado em Jacupiranga, Vale do Ribeira, SP, considerando o monitoramento semanal do estado da evolução da doença, séries temporais de dados meteorológicos e dados de sensoriamento remoto. Foram gerados mapas georreferenciados do risco da Sigatoka-negra em diferentes épocas do ano. Um modelo para estimar a evolução da doença a partir de imagens de satélite foi obtido com coeficiente de determinação R² igual a 0,9. A metodologia foi desenvolvida para a detecção de épocas e locais que reúnem condições favoráveis à ocorrência da Sigatoka-negra e pode ser aplicada, com os devidos ajustes, em diferentes localidades, para avaliar o risco da ocorrência da doença em polos produtores de banana.

Relação entre características morfológicas da cariopse e fusariose em milho

Fusarium moniliforme causa sérios prejuízos no rendimento do milho. Suspeita-se que a entrada do fungo na cariopse ocorra pela cicatriz do estilete, e que este fato e o nível de infestação por F. moniliforme estejam relacionados com características morfológicas da cariopse. O objetivo deste trabalho foi identificar características morfológicas que conferem resistência a F. moniliforme em cariopses de milho. Cariopses de seis linhagens de milho, com e sem inoculação do patógeno, foram avaliadas utilizando-se de estereomicroscópio e o microscópio eletrônico de varredura. Características morfológicas da cariopse, tais como: tegumento com saliências e reentrâncias acentuadas, pericarpo pouco espesso, amido menos compacto e presença do canal estilar favorecem a penetração de F. moniliforme.

Seleção de clones de ameixeira para o sul do estado de Minas Gerais

Um dos sérios problemas enfrentados pelos fruticultores é o reduzido número de cultivares disponíveis regionalmente. Nesse aspecto, a produção de novos materiais genéticos é uma alternativa viável e necessária para minimizar este entrave. O objetivo deste trabalho foi selecionar diferentes clones de ameixeira visando à obtenção de plantas com alta produtividade e frutos de boa qualidade, com maturação escalonada e adaptados às condições climáticas do sul de Minas Gerais. Foram selecionadas plantas de um antigo pomar comercial, localizado no Município de Wenceslau Braz - MG. Estas plantas estavam vegetando e produzindo em condições totalmente adversas, sem quaisquer tratos culturais. Após identificação, foram coletados dados fenológicos de coloração da flor, épocas de brotação e floração. Nos frutos, foram avaliados: época de maturação (início e fim), tamanho, forma, descrição da película, descrição da polpa, ocorrência de pragas e doenças. Após um período de avaliação de dois ciclos produtivos (1996-1997 e 1997-1998), foram selecionados clones com características favoráveis, principalmente com relação às épocas de floração e maturação dos frutos e adaptação ambiental. A maturação mais precoce ocorreu na seleção VI, enquanto a colheita se prolongou mais nas seleções I, VII, VIII e XI.

Seletividade de produtos fitossanitários sobre o ácaro predador Agistemus brasiliensis Matioli, Ueckermann & Oliveira (Acari: Stigmaeidae)

Os ácaros predadores das famílias Phytoseiidae e Stigmaeidae constituem-se nos principais inimigos naturais de Brevipalpus phoenicis (Geijskes) em citros. Este ácaro-praga causa sérios prejuízos na produção, devido à transmissão do vírus da leprose dos citros (CiLV). Apesar do grande volume de informações sobre a sensibilidade de ácaros Phytoseiidae a agrotóxicos, praticamente não existem informações sobre o efeito desses compostos em ácaros Stigmaeidae no Brasil. Sendo assim, o trabalho teve por objetivo avaliar o efeito dos principais agrotóxicos utilizados em citros sobre o ácaro predador Agistemus brasiliensis Matioli, Ueckermann & Oliveira (Acari: Stigmaeidae), em condições de laboratório. Arenas de folhas de citros da variedade Pera, contendo 25 fêmeas adultas de A. brasiliensis, foram pulverizadas em torre de Potter. Avaliaram-se as mortalidades dos ácaros 72 horas após a aplicação. O efeito dos produtos na reprodução do acarino e a viabilidade dos ovos também foram avaliados. Quanto à seletividade, conforme proposta da Organização Internacional para o Controle Biológico (IOBC), os produtos foram classificados como: classe 1 - inócuo (E<30%), acrinathrin, bifenthrin, carbosulfan, deltamethrin; 2 - levemente nocivo (30%99%), calda sulfocálcica, cyhexatin, flufenoxuron, hexythiazox, óxido de fenbutatin, propargite, pyridaben e spirodiclofen. Estudos conduzidos em condições de campo ainda são necessários para se compreender melhor o efeito desses agrotóxicos sobre o ácaro predador.