901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Competitiveness is the basis of economic progress of a country. Innovation is a cornerstone of competitiveness. The competitiveness of the countries has been assessed by studies of competitiveness through a comprehensive set of indicators, which year after year evolve and expand, with the incorporation of new indicators. Stands out in this expansion the integration of new indicators related to sustainability of cities. This short article will explore the concepts of Competitiveness, Innovation and Sustainability, and based on the description of the methodology of two major studies on Competitiveness, will demonstrate the growing importance of sustainability indicators for cities have been given for these studies. To illustrate the results of studies show Brazil. And finally, will seek to highlight the role of Information and Communication in this context. © 2012 AISTI.
Resumo:
The use of non-pressure compensating drip hose in horticultural and annual cycle fruits is growing in Brazil. In this case, the challenge for designers is getting longer lateral lines with high values of uniformity. The objective of this study was to develop a model to design longer lateral lines using non-pressure compensating drip hose. Using the developed model, the hypotheses to be evaluated were: a) the use of two different spacing between emitters in the same lateral line allows longer length; b) it is possible to get longer lateral lines using high values of pressure variation in the lateral lines since the distribution uniformity stays below allowable limits. A computer program was developed in Delphi based on the model developed and it is able to design lateral lines in level using non-pressure compensating drip hose. The input data are: desired distribution uniformity (DU); initial and final pressure in the lateral line; coefficients of relationship between emitter discharge and pressure head; hose internal diameter; pipe cross-sectional area with the dripper; and roughness coefficient for the Hazen-Williams equation. The program allows calculate the lateral line length with three possibilities: selecting two spacing between emitters and defining the exchange point; using two pre-established spacing between emitters and calculating the length of each section with different spacing; using one emitter spacing. Results showed that the use of two sections with different spacing between drippers in the lateral line didn't allow longer length but got better uniformity when compared with lateral line with one spacing between emitters. The adoption of two spacing increased the flow rate per meter in the final section which represented approximately 80% of the lateral line total length and this justifies their use. The software allowed DU above 90% with pressure head variation of 40% and the use of two spacing between emitters. The developed model/software showed to be accurate, easy to handle and useful for lateral line design using non-pressure compensating drip hose.
Resumo:
Includes bibliography
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Pós-graduação em Engenharia Mecânica - FEIS
Resumo:
Pós-graduação em Agronomia (Energia na Agricultura) - FCA
Resumo:
Pós-graduação em Geociências e Meio Ambiente - IGCE
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Incluye bibliografía
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Ciências Cartográficas - FCT
Resumo:
Pós-graduação em Engenharia Elétrica - FEIS
Resumo:
Uma série de iniciativas para melhoria do processo de software surgiu recentemente visando melhorar a qualidade e a produtividade em organizações de desenvolvimento de software. Alguns modelos e normas têm buscado a implantação de melhorias no processo de desenvolvimento de software, o MPS.BR é um deles. Esse modelo de melhoria de processo é voltado para as micro, pequenas e médias empresas, de forma a atender as suas necessidades de negócio e foi o modelo escolhido para ser explorado nesse trabalho. Várias são as vantagens adquiridas com a implantação de um modelo de melhoria, umas delas é a definição de um processo sistemático de desenvolvimento de software, que auxilie tanto na qualidade e produtividade do processo quanto na qualidade do produto desenvolvido. Com um modelo de processo definido a organização pode contar com diversos benefícios associados à padronização, como, por exemplo, a otimização, a redução de custos com retrabalho, a redução de defeitos nos produtos, dentre outros. Mas não existem modelos prontos que possam ser aplicados diretamente a uma empresa específica de desenvolvimento de software e, por isso, é necessário modelar o processo, customizando-o, com o objetivo final de gerar um modelo que adequadamente represente o processo da organização. Uma das dificuldades para a implantação de modelos como o MPS.BR é a falta de metodologia que mostre como a implantação de melhoria deve ser feita e não apenas o que deve ser feito. Este trabalho propõe uma metodologia para a implementação do modelo MPS.BR baseada no modelo de implantação IDEAL, através de uma ferramenta específica, chamada WebAPSEE. A metodologia foi experimentada no CTIC - Centro de Tecnologia da Informação e Comunicação da UFPA que ao final do trabalho foi avaliado Nível G do MPS.BR.
Resumo:
Este trabalho apresenta o desenvolvimento de um algoritmo computacional para análise do espalhamento eletromagnético de nanoestruturas plasmônicas isoladas. O Método dos Momentos tridimensional (MoM-3D) foi utilizado para resolver numericamente a equação integral do campo elétrico, e o modelo de Lorentz-Drude foi usado para representar a permissividade complexa das nanoestruturas metálicas. Baseado nesta modelagem matemática, um algoritmo computacional escrito em linguagem C foi desenvolvido. Como exemplo de aplicação e validação do código, dois problemas clássicos de espalhamento eletromagnético de nanopartículas metálicas foram analisados: nanoesfera e nanobarra, onde foram calculadas a resposta espectral e a distribuição do campo próximo. Os resultados obtidos foram comparados com resultados calculados por outros modelos e observou-se uma boa concordância e convergência entre eles.
Resumo:
A tese investiga os desenhos curriculares do curso de Ciências Sociais da Universidade Federal do Pará. campus de Belém no período de 1963-2011. com o objetivo principal de refletir sobre o lugar da formação docente no referido curso. tendo em vista a relação que se estabelece entre o bacharelado e a licenciatura. De forma mais especifica, o estudo intenciona investigar e analisar as principais orientações que foram estabelecidas pelas propostas curriculares para 3 formação docente, assim como identificar como foram estruturados os desenhos curriculares para o referido curso e a forma como são contempladas as disciplinas voltadas para a licenciatura. A pesquisa foi feita a partir de levantamento bibliográfico sobre a temática em bibliotecas físicas e banco de dados virtuais, pesquisa documental realizada sobre os desenhos curriculares. Resoluções, ementas entre outros. Utilizou-se também de entrevistas semiestruturadas realizadas com docentes do curso com o objetivo de aprofundar e esclarecer questões não contidas nos documentos. O estudo utilizou como referencial teórico principal as contribuições da teoria critica do currículo, principalmente das obras de Michael Young, Basil Bernstein, António Flávio Moreira entres outros. Os resultados da pesquisa revelaram que as configurações locais dos desenhos curriculares do curso de Ciências Sociais deve-se em grande parte à fatores estruturais do sistema educacional brasileiro e que a consolidação da pós-graduação, em meados da década de 1960 e inicio de 1970, contribuiu para a aumentar a hierarquização entre as atividades de ensino e pesquisa, entre a graduação e a pós-graduação, entre o campo acadêmico e o escolar nos cursos de Ciências Sociais. As reformulações curriculares ocorridas no curso de Ciências Sociais mantiveram os padrões curriculares para a maioria dos cursos de Ciências Sociais no país desde sua criação. Os desenhos curriculares do curso de Ciências Sociais analisados se orientam por unia concepção de formação docente pautada no modelo de racionalidade técnica que favorece a separação entre a formação conteudista e a formação pedagógica, entre teoria e prática. Apesar das inúmeras reformulações curriculares ocorridas no curso de Ciências Sociais estas alterações mantiveram uma estrutura de organização disciplinar sob a tipologia do currículo coleção. em que as disciplinas singulares são orientadas para seu próprio desenvolvimento e protegidas por limites e hierarquias fortes. O currículo coleção caracterizado pelo enquadramento e classificação forte promove o isolamento entre as áreas do conhecimento o que contribuiu para a demarcação de fronteiras rígidas entre o campo das Ciências Sociais e Educação, entre a formação voltada para pesquisador e a formação orientada para professor.