44 resultados para formal verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Geografia - FCT

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Ciências da Motricidade - IBRC

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O trabalho aborda uma experiência com educação escolar em uma comunidade de negros, que vive semi-isolada no sudeste do Estado do Tocantins, na região norte do Brasil, onde o sitema matriarcal representa apenas uma das diferenças entre sua cultura e a dos indígenas e dos brancos sertanejos brasileiros, que, como eles, vivem na zona rural. A implantação de uma escola municipal na comunidade, sem levar em conta as especificidades de seu modo de vida, entrou em choque com o processo informal de transmição e aquisição de conhecimentos, perpetuados através de várias gerações. A pesquisa realizada através da observação participante no contexto de um estudo etnográfico, levanta os pontos conflitantes mais significativos - contudo, metodologia e procedimentos básicos - do ensino escolar, que muitas vezes, como no caso da Barra, afastam dos objetivos mesmos a que se propõe alcançar.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Artes - IA

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents the development of a knowledge-based system (KBS) prototype able to design natural gas cogeneration plants, demonstrating new features for this field. The design of such power plants represents a synthesis problem, subject to thermodynamic constraints that include the location and sizing of components. The project was developed in partnership with the major Brazilian gas and oil company, and involved interaction with an external consultant as well as an interdisciplinary team. The paper focuses on validation and lessons learned, concentrating on important aspects such as the generation of alternative configuration schemes, breadth of each scheme description created by the system, and its module to support economic feasibility analysis. (C) 2014 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente Trabalho Final de Graduação analisou projetos de urbanização de favelas em paralelo com algumas urbanizações feitas nos tecido das cidades medievais que também possuem um traçado inicial de origem espontânea. A partir dessa análise, a pesquisa teve como objetivo a busca de experiências técnicas e de gestão, a partir de bases bibliográficas e visitas em campo, nesses locais de diferentes contextos e, a partir disso, discutir soluções urbanísticas que foram bem‐resolvidas ou dificuldades encontradas nas intervenções. A metodologia empregada para a análise baseou‐se na revisão bibliográfica através das bibliotecas da Universidade Estadual Paulista, da Universidade de São Paulo e do Centro de Documentação da Câmara Municipal de Évora, além do acesso a bibliotecas digitais, como a Base Dedalus da Universidade de São Paulo, a Biblioteca Digital da Universidade Federal de Minas Gerais, a BAE da Universidade Estadual de Campinas, a Minerva da Universidade Federal do Rio de Janeiro, a BU da Universidade Federal de Santa Catarina, BIB da Universidade de Évora e a Biblioteca Nacional de Portugal. Os resultados que foram obtidos buscaram responder perguntas como: quais as questões interessantes a se considerar a partir da análise do projeto – técnicas e de gestão? No caso das favelas, quando houve a remoção, isso foi feito por motivos técnicos pertinentes? E a questão da acessibilidade diante de casos de uma ocupação em encostas com acessos perpendiculares às curvas de nível? Como tornar o local acessível a todos? Isso já foi alguma vez pensado e solucionado? Quais as situações que devem ser observadas para se determinar se deverá ter ou não uma realocação das famílias? A partir dessa avaliação buscou‐se criar, ainda que minimamente, subsídios teóricos para novos projetos de urbanização e entender a efetiva importância sociológica na construção do “habitat humano”