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

Expectativas positivas com o uso de álcool e o beber se embriagando: diferenças de gênero em estudo do Projeto GENACIS, São Paulo, Brasil

O objetivo deste trabalho foi investigar as expectativas de homens e mulheres com relação ao uso do álcool e a associação dessas com o comportamento de beber com embriaguez. Foi realizado inquérito epidemiológico, domiciliar, transversal, de base populacional, com amostra probabilística estratificada por conglomerados, na Região Metropolitana de São Paulo, Brasil. Foram entrevistadas 2.083 pessoas de ambos os sexos utilizando-se o questionário GENACIS (Gender, Alcohol and Culture: An International Study). Beber com embriaguez foi considerada variável dependente, e foram construídos modelos de regressão logística para cada sexo, ajustando-se os modelos para idade, escolaridade e renda. Todas as expectativas, exceto achar mais fácil falar com companheiro, associaram-se ao comportamento de beber com embriaguez. Nosso estudo mostrou que beber com embriaguez pode estar associado a expectativas com uso do álcool. Compreender essas expectativas pode contribuir para elaboração de estratégias mais efetivas de prevenção do beber excessivo.

Projeto e construção de um bioreator para síntese orgânica assimétrica catalisada por saccharomyces cerevisiae (fermento biológico de padaria)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O pro-álcool e algumas relações CTS concebidas por alunos de 6ª série do ensino fundamental

A crescente degradação do meio ambiente e o reconhecimento, por parte da sociedade contemporânea, da existência de problemas considerados críticos, acentuadamente a questão energética, intensifica a preocupação em incorporar nas atividades de ensino aspectos da relação do ser humano com o ambiente. A necessidade de abordar, durante atividades de ensino de ciências, questões relacionadas com a dimensão valorativa e aspectos da relação entre ciência, tecnologia e sociedade passa a ser reconhecida tanto por educadores de maneira geral quanto por especialistas da área, de maneira particular. O movimento Ciência, Tecnologia e Sociedade (CTS) como um conjunto de propostas para o ensino de ciências é uma conseqüência concreta desta tendência. No caso do Brasil são poucas as pesquisas em ensino de ciências que exploram essa possibilidade e são poucas as experiências em termos de trabalhos em sala de aula que abordam esta questão. Este trabalho, realizado entre maio e novembro de 1996, sistematiza os dados coletados em uma classe de 6ª série do ensino fundamental que teve como tema de estudos o Projeto Pro-Álcool. Foi planejado e desenvolvido um conjunto de atividades, utilizando-se de um número bastante diversificado de procedimentos didáticos. Os resultados de pesquisa indicam que, um trabalho que ofereça aos alunos oportunidades de discussões e reflexões, a partir de procedimentos e material didático diversificado e rico em termos de solicitações e propostas aos alunos, pode promover a incorporação, em sala de aula, de diferentes dimensões relacionadas com a ciência, tecnologia, sociedade e ambiente.

Pelagic and littoral cladocerans (Crustacea, Anomopoda and Ctenopoda) from reservoirs of the Northwest of São Paulo State, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A formação do formador de professores: perspectivas de colaboração entre graduandos e pós-graduandos no projeto Teletandem Brasil

Este artigo apresenta os resultados de um estudo qualitativo realizado no projeto Teletandem Brasil sobre os processos de supervisão e estratégias pedagógicas utilizadas por uma mediadora no processo de mediação de um par interagente. Baseando-nos no paradigma da formação reflexiva, na teoria sociocultural de Vygotsky e na aprendizagem colaborativa de línguas, com especial ênfase para o regime tandem, analisamos as contribuições da relação colaborativa formada entre uma aluna de pós-graduação e uma aluna-professora em formação. Os resultados trazem implicações para o campo da formação de professores de línguas, em relação a uma perspectiva de formação na prática, evidenciando a experiência de ensino e aprendizagem colaborativos no Teletandem como uma oportunidade para a formação reflexiva do aluno-professor, o interagente, e também do futuro formador de professores, o mediador.

Morfologia comparada de plântulas e plantas jovens de leguminosas arbóreas nativas: espécies de Phaseoleae, Sophoreae, Swartzieae e Tephrosieae

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Lições de coisas: concepção científica e projeto modernizador para a sociedade

O objetivo deste artigo é compreender alguns aspectos da cultura escolar, assinalando a seleção de valores culturais, econômicos e educacionais operada pela instrução escolar, com base na análise de manuais didáticos para uso de professores, elaborados nas décadas finais do século XIX e fundamentados no Método de Ensino Intuitivo ou Lições de Coisas. Embora expressem a mesma fundamentação filosófica, os manuais apresentam diferentes procedimentos para o ensino dos conteúdos escolares que se configuram como visões específicas do progresso científico. Vinculados ao projeto modernizador da sociedade, em curso no século XIX, as diferenças apresentadas pelos manuais nos informam sobre as diversas vertentes constitutivas desse projeto.

Gráficos adaptativos de controle por atributos e seu projeto na prática

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Reflexões sobre uma proposta de integração saúde-escola: o projeto saúde e educação de Botucatu, São Paulo

Tendo como objeto de estudo a criança em idade escolar, discute-se, no presente artigo, o processo de elaboração e desenvolvimento de uma programação em saúde pública a fim de construir uma estratégia de ações que integrem os campos da saúde e da educação. Tal programação apresenta-se apoiada em três eixos de atuação: atenção integral à saúde da criança em idade escolar, priorizando a criança que está ingressando no sistema público escolar; formação de recursos humanos nas áreas saúde e educação, por meio de estágios que possibilitem vivenciar, trabalhar e refletir criticamente a ação programática junto a uma equipe interdisciplinar; trabalho com professores da rede de ensino público fundamental para a implantação e desenvolvimento de ações inovadoras nos campos da saúde e da educação que respondam às demandas da escola, da comunidade e de uma atuação crítica em face dos problemas enfrentados pelas crianças em processo de escolarização.

Projeto urbanístico para o Vale do Rio Jahu (perímetro urbano do município de Jahu): projeto paisagístico

Em 1974 a Prefeitura Municipal de Jahu interessada na urbanização do vale do Rio Jahu no trecho urbano propôs a abertura de avenidas marginais, conforme previa o plano diretor. Os autores preocupados com as potencialidades de uso do vale, sugeriram que se afastasse as avenidas do rio e se desse a oportunidade da criação de um parque às margens do rio. Esse parque teria a função de integrar o rio à paisagem urbana, compatibilizando, ao mesmo tempo, os interesses sociais da população com as necessidades da conservação da natureza.

O México como aliado dos EUA no projeto de integração das Américas

O artigo sugere que, nas duas últimas décadas, os governos mexicanos vêm adotando medidas políticas e econômicas amplamente afinadas com o modelo de integração econômica das Américas proposto pelos EUA. A adesão incondicional ao Nafta e o empenho para consolidar os projetos do Corredor Biológico Mesoamericano e do Plano Puebla-Panamá são exemplos fundamentais dessa estratégia.