831 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
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.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Desenvolvimento de métodos quantitativos e de sistemas de screening para a determinação de glifosato
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
When registering spectral radiance from surface targets, digital numbers recorded by the imagery sensor may vary. Such variation causes imperfections on the images coming from aerial surveys. Variation in the image brightness related to the distance from the center of the image is known as the vignetting effect. Correcting this effect aims at achieving an homogeneous image brightness. The purpose of this paper is to present a specific methodology to determine a model in order to minimize this vignette effect based on a model fit by Least Squares Method (LSM), using digital numbers (DN) from shadowed regions. The main hypothesis is that the recorded DN of shadow pixels should be suitable to model the vignetting effect. Considering that the vignetting effect could be modeled as a trend of spatial image variation, a trend surface analysis of a sample of pixels from shadowed regions was carried out. Two approaches were adopted to represent the shadow regions of an image. The first one takes into account the components R, G, B of the aerial image within the visible spectral band, and the second one considers the component I of the HSI image. In order to evaluate the methodology, a study case with a color aerial image was carried out. The findings showed that the best results were obtained by applying the model in the RGB components, which allows to conclude that the vignetting effect can be modeled based on trend surfaces fit on shadow regions DN.
Resumo:
This paper presents an assessment of an educational game for teaching the efficient use of electricity. Developed with Adobe Flash (R), it is a virtual board game where participants choose a car that starts the path and reaches the same final goal, going through a number of track steps defined in terms of a dice that each player rolls in turn. The car moves if the participant is able to correctly answer a question that is randomly generated by the software. The objective of the game is to answer questions related to energy efficiency promoting a healthy and attractive learning process for participants on concepts related to energy efficiency such as: the rational use of energy, the basic concepts of forms of energy generation, among others. The main objective of this paper is to assess the impact of the application of this virtual game in the teaching and learning process of high school students. Therefore, the game was applied in the discipline of physics in a class of junior high public school in the state of Sao Paulo. Initially, the class that had 43 students was divided into 10 groups of 4 students, and 1 group of 3 students. Each student group competed with one another. The idea was that each of them should indicate a student who was the representative of this group until only 4 group leaders were selected for the finals. At this stage, each student could interact with a group of up to ten students that acted as advisers. The adopted assessment process is based on the model proposed by Savi [7]. Then, at the end of the game, the students answered a prepared questionnaire based on the model proposed by Savi. According to Savi, although there are significant studies that show the importance of educational games for the process of cognitive development and learning concepts of students, there are few papers that present forms of assessing the potential of these resources. Thus, the assessment criteria proposed by Savi are based on the model of training evaluation by Kirkpatrick [3], taken as a reference to measure the efficiency of processes of continuing education courses for professionals. The authors assert that the metric of the evaluation proposed to assess the game is based on the first level of the model proposed by Kirkpatrick.
Resumo:
With the fast growth of cancer research, new analytical methods are needed to measure anticancer drugs. This is usually accomplished by using sophisticated analytical instruments. Biosensors are attractive candidates for measuring anticancer drugs, but currently few biosensors can achieve this goal. In particular, it is challenging to have a general method to monitor various types of anticancer drugs with different structures. In this work, a biosensor was developed to detect anticancer drugs by modifying carbon paste electrodes with glutathione-s-transferase (GST) enzymes. GST is widely studied in the metabolism of xenobiotics and is a major contributing factor in resistance to anticancer drugs. The measurement of anticancer drugs is based on competition between 1-chloro-2,4-dinitrobenzene (CDNB) and the drugs for the GST enzyme in the electrochemical potential at 0.1 V vs. Ag/AgCl by square wave voltammetry (SWV) or using a colorimetric method. The sensor shows a detection limit of 8.8 mu M cisplatin and exhibits relatively long life time in daily measurements. (C) 2014 Elsevier B.V. All rights reserved.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)