O uso de serviços em nuvem tem o potencial de oferecer vários benefícios para pequenas e médias empresas, como disponibilidade de recursos sob demanda, pagamento conforme o uso e escalabilidade. Apesar de existirem vários estudos e ferramentas para apoiar a migração de aplicações para serviços em nuvem, existe uma carência de diretrizes para apoiar a migração para a nuvem de forma sistemática. Como consequência, a migração é feita de forma ad hoc, o que pode aumentar significativamente os custos e comprometer o sucesso da migração. Essa pesquisa usa a KAOS, uma técnica da engenharia de requisitos orientada a metas, para criar um catálogo de metas que orienta equipes na migração de aplicações para cinco serviços de nuvem amplamente utilizados: banco de dados relacional, máquinas virtuais, armazenamento, deployment e filas. Metas, que representam objetivos de migração, foram extraídas seguindo um processo que utiliza os modelos de metas, de responsabilidade e de obstáculos que pertencem ao KAOS. Uma avaliação com profissionais experientes em migração indicou que o catálogo de metas pode ajudar empresas e profissionais com pouca experiência na migração de aplicações para serviços em nuvem além de contribuir na identificação de aspectos críticos e relevantes do processo de migração. Pequenas e médias empresas podem economizar um esforço significante usando o catálogo de metas como guia durante o processo de análise de transferência de aplicações para serviços em nuvem. / Cloud services might offer several benefits to small and medium companies, such as on-demand resource provisioning, pay-as-you-go, and scalability. Although there are several studies and tools to support the application migration to the cloud, the lack of guidelines to support a systematic cloud migration often leads to ad hoc migrations, which significantly increase costs and compromise the migration success. This research uses the KAOS, a goal-oriented requirement engineering technique, to devise a catalogue of goals that guide migration teams when migratingWeb applications to five widely used cloud services: relational databases, virtual machines, storage, deployment and queuing. Goals, which represent migration objectives, were identified following a systematic process based on the KAOS goal, responsibility and obstacle model. A rigorous evaluation with qualified professionals showed that the catalogue assists novice companies and professionals regarding cloud migration. In addition, the catalogue contributes to identifying critical and relevant aspects of the migration process. Small and medium companies might save a significant effort by using the catalogue as a guide when analysing the migration of applications to the cloud.

A Engenharia de Software é um processo participativo que envolve todos os interessados ativamente no projeto. Dentro de um domínio complexo, como a área do direito, os usuários e especialistas do domínio possuem um papel importante no processo de elicitação de requisitos, em especial na composição de requisitos de evolução de software para sistemas existentes, considerando que a especificação dos requisitos deve ser realizada de forma específica ao domínio. Contudo, as ambiguidades são um fenômeno cotidiano na área jurídica, devido à própria natureza deste domínio, e ainda o uso predominante da linguagem natural. Tais ambiguidades são refletidas nos requisitos de evolução dos sistemas de software usados no direito, por seus usuários e também por especialistas do domínio, ocasionando problemas de compreensão para os analistas de sistema. Os mapas conceituais apresentam-se como uma ferramenta cognitiva, sendo apta para o uso em processos de comunicação. O presente trabalho aplica os mapas conceituais no nível de comunicação entre usuários e especialistas do domínio jurídico e os analistas de sistema, visando a redução de ambiguidades nos requisitos de evolução de software na área jurídica. Um modelo foi formalizado e testado via experimentação, com a aplicação de um protótipo funcional junto a estudantes de graduação e profissionais do direito. Os resultados apontam uma redução das ambiguidades do tipo falta de clareza, apresentando que a metodologia proposta proporciona melhor interpretação dos requisitos de evolução de software do domínio jurídico para os analistas de sistema e facilita a produção de requisitos pelos usuários. / Software Engineering is a participatory process that involves all stakeholders actively in design. On a complex domain, such as juridical area, users and domain experts have an important role in requirements elicitation process, especially in composition of evolution requirements for existing systems, whereas that requirements specification must specific to domain. However, ambiguities are everyday event in juridical area, reason associated own nature of domain and predominant use of natural language. Such ambiguities are reflected in the evolution requirements of juridical software systems, users and domain experts, causing problems of understanding for systems analysts. The conceptual maps are introduce as cognitive tool, being appropriate for use in communication processes. This work applies conceptual maps in the level of communication between users and juridical experts to system analysts, with the goal to reduce ambiguities in evolution requirements of juridical systems. A model was designed and tested by experimentation, with application of a functional prototype to undergraduate students and law professionals. The results points the ambiguities reduction of unclarity category, showing that proposed methodology provides better interpretation of the software evolution requirements of the juridical domain systems for systems analysts and easy making user requirements.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-03-16T18:04:08Z No. of bitstreams: 1 Dissertação - Edimilson Cavalcante da Fonseca.pdf: 1838224 bytes, checksum: b17fcddd08a8fe2b9bde67276f374b26 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-03-16T18:04:22Z (GMT) No. of bitstreams: 1 Dissertação - Edimilson Cavalcante da Fonseca.pdf: 1838224 bytes, checksum: b17fcddd08a8fe2b9bde67276f374b26 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-03-16T18:04:56Z (GMT) No. of bitstreams: 1 Dissertação - Edimilson Cavalcante da Fonseca.pdf: 1838224 bytes, checksum: b17fcddd08a8fe2b9bde67276f374b26 (MD5) / Made available in DSpace on 2016-03-16T18:04:56Z (GMT). No. of bitstreams: 1 Dissertação - Edimilson Cavalcante da Fonseca.pdf: 1838224 bytes, checksum: b17fcddd08a8fe2b9bde67276f374b26 (MD5) Previous issue date: 2013-12-17 / Não informada / This work is addressing a topic that continues attracting the interest of researchers and companies in search of better performance, models, methods and processes for the development of a new product. The objective of this research is to present a proposal to improve the development of procedures "Brick green" of company H.V.S. Projetos and Ferramentaria Ltda. for it to be accepted, produced and used in building houses. The methodological procedures are: The procedures of the case study and experimental, that will use the company's installed capacity HVS Projects and Tooling Ltda. and his idea in the development of "eco-brick" produced in injection machine using input consists of predominantly recycled polypropylene; Regarding the purpose, the research has a descriptive, as it seeks to describe the best and bad practices that will be identified during the development process in company, and divided into three phases scheme methodology to facilitate visualization of the steps. Finally, the ecological brick has been accepted by the market, although there paradigms with respect to a new way of building houses. In production testing, the brick topped the compressive strength of the ceramic brick, 6.02 Mpa against 1.5 Mpa. The results show positive gains with the development of this product and few risks / threats. The economic and financial instability, the absence of a scientific policy of product development in company and the lack of interaction of institutions with the company are, according to the survey, the generators are many failures in product development / Este trabalho vem abordar um tema que continua despertando o interesse de pesquisadores e de empresas na busca de melhorar a performance, os modelos, métodos e processos durante o desenvolvimento de um novo produto. O objetivo desta pesquisa é propor um modelo de processo de desenvolvimento de produto aplicável à manufatura de um bloco para ser utilização na construção de moradia popular. Os procedimentos metodológicos são: Quanto aos procedimentos do tipo estudo de caso e experimental, por que utilizar-se-á a capacidade instalada da empresa H.V.S. Projetos e Ferramentaria Ltda. e sua ideia no desenvolvimento do “Tijolo ecológico” produzidos em máquina injetora utilizando insumo composto por polipropileno predominantemente reciclado. Quanto aos propósitos, a pesquisa tem caráter descritivo, pois procura descrever as melhores e as péssimas práticas que serão identificadas durante o processo de desenvolvimento na empresa; e o dividiu-se em três fases o esquema metodológico para facilitar a visualização das etapas. Por fim, O tijolo ecológico tem sido aceito pelo mercado consumidor, apesar de existir paradigmas com relação a uma nova forma de construir moradias. Nos ensaios produtivos, o tijolo superou a resistência de compressão do tijolo cerâmico, 6,02 Mpa contra 1,5 Mpa. Os resultados apontam ganhos positivos com o desenvolvimento deste produto e poucos riscos/ameaças. A instabilidade econômico-financeira, a ausência de uma política científica de desenvolvimento de produto nas empresas e a falta de interação das instituições com as empresa são, conforme a pesquisa, os geradores de muitos insucessos nos desenvolvimentos de produtos

Este trabalho discute o projeto de compensadores multivariáveis robustos com especificações no domínio do tempo. Primeiramente faz-se a análise dos compensadores por observadores de estados como forma de atingir tais objetivos. Mostra-se que, em certas condições, essa estrutura equivale à dos observadores proporcionais-integrais e apresentam-se as condições de estabilidade nominal. Evidencia-se também que é possível tratar esse problema de controle como um problema de "model matching" ou como um problema de controle com dois graus de liberdade. Mostra-se também que o projeto do compensador é equivalente ao projeto de sistemas de controle por realimentação estática da saída. Essa equivalência implica que, embora os compensadores por observadores sejam cômodos à incorporação de especificações temporais, sua estrutura é limitada para garantir que especificações gerais sejam satisfeitas. Contorna-se então essa limitação estendendo-se o estudo ao caso dos compensadores sem essa restrição estrutural. O problema de "model matching" e o problema de controle 2D são considerados como forma indireta de incorporar-se as especificações temporais e condições de projeto são obtidas reduzindo-se os possíveis conservadorismos dos projetos usuais. Ainda neste sentido, formula-se o problema denominado de "model tracking", podendo ser capaz de reduzir ainda mais esses aspectos de conservadorismo. Nessa estrutura, o erro de rastreamento entre a saída do modelo de referência e a saída medida da planta é realimentado, fazendo com que o modelo de referência faça parte explícita do controlador, permitindo ajuste pós-projeto da mesma forma que faz com a estrutura 2D. Toda as condições de projeto são obtidas no domínio da freqüência, em termos de restrições da malha aberta e da malha fechada, permitindo que técnicas padrões de projeto multivariável como LQG/LTR e H¥ possam ser diretamente utilizadas na obtenção do compensador. Obtiveram-se assim metodologias de projeto capazes de garantir robustamente a rejeição do erro de rastreamento de um modelo de referência, além de permitir que especificações usuais como a rejeição dos erros de medida e rejeição dos distúrbios sejam incorporadas no mesmo procedimento de projeto. O controle de um tanque de mistura é usado como exemplo numérico para ilustrar as metodologias de projeto. / This work is concerned with the design of robust multivariable controllers with time domain specifications. As a first step an analysis of controllers based on state observers has been done. It has been shown that this structure is equivalent to the proportional-integral observers. The conditions for nominal stability have then been presented. It has also been shown that this control problem can be seen as a model matching control design with two degrees of freedom. Furthermore it has been shown that compensator design can be reduced to the traditional static output feedback problem. This fact implies that although compensators based on state observers seem to be suitable to deal with time domain specifications, their structure has limitations to guarantee that more general specifications be satisfied. In order to overcome such limitations both the model matching and the 2-D control structures have been considered to include time domain specifications in the design problem. Design conditions have been derived in order to reduce the eventual conservatism associated to the usual design procedure. A control design problem named model tracking has also been formulated with the aim of reducing even more such conservatism. In this new structure the tracking error between the output of the reference model and the measured plant output is fed back. The reference model is then an explicit part of the controller. As a consequence small adjustments can be done on it during system start-up in the same way as with the 2-D structure. All the design conditions have been written in the frequency domain as constraints on both open-loop and closed-loop transfer matrices. Standard multivariable design techniques like LQG/LTR and H¥ can then be used. The proposed design methodology can robustly guarantee tracking of the reference model output as well as both measurement error and disturbance rejections. The control of a mixture tank has been used as a numeric example to illustrate the design methodologies.

Os sistemas de tratamento de esgotos por zona de raízes constituem-se de um leito filtrante plantado com macrófitas emergentes. Tecnologia de baixo custo e, com eficiência comprovada em inúmeros trabalhos, as Estações de Tratamento de Efluentes (ETEs) por zona de raízes apresentam grande potencial para solucionar o problema da inexistência de coleta e tratamento de esgoto em pequenas comunidades. Este trabalho teve por objetivo caracterizar uma ETE por zona de raízes de fluxo vertical com base em variáveis abióticas e microbiológicas. Através da técnica de contagem em placas e da técnica de tubos múltiplos, foi possível estimar a densidade de fungos totais, bactérias heterotróficas, coliformes totais, Escherichia coli, bactérias redutoras de nitrato, bactérias desnitrificantes e bactérias redutoras de sulfato presentes nos diferentes estratos do sistema. Além das análises microbiológicas, foram avaliadas as variáveis abióticas temperatura, pH, oxigênio dissolvido (OD), nitrogênio amoniacal, nitrito, nitrato, nitrogênio total, ortofosfato e Demanda Química de Oxigênio (DQO). As análises foram realizadas em 8 locais, sendo uma referente ao efluente bruto, uma ao efluente tratado, três correspondendo à interface zona de raízes-brita e três ao filtro de areia, num total de 7 amostragens durante um ciclo sazonal. Em 5 amostragens não foi possível observar a redução do NMP de E. coli, apenas na Amostragem 1(C1) e na Amostragem 7 (C7) foi possível observar aproximadamente 66% e 97% de redução, respectivamente. As bactérias desnitrificantes, na maioria dos pontos e as redutoras de sulfato, com exceção da Amostragem 3 (C3), foram determinadas no valor de 1600 NMP.100mL-1. A densidade de bactérias redutoras de nitrato variou, na maioria das amostragens, de 1,8 NMP. 100mL-1 a 19 NMP. 100mL-1. A ETE foi eficiente para a remoção de DQO e fósforo, este último com porcentagem de remoção variando de, aproximadamente, 37% a 69%. A concentração de N-amoniacal foi reduzida em todas as amostragens, com exceção da C3. O pH permaneceu próximo da neutralidade e a concentração de oxigênio dissolvido aumentou na região do filtro de areia. Ao longo do período deste estudo foi observado um baixo desenvolvimento das plantas utilizadas. Com os resultados de quantificação foi possível verificar que a biodegradação é mais intensa nos primeiros 50 cm da ETE. Observou-se redução significativa da densidade de microrganismos no filtro de areia em relação à zona de raízes. Fatores como a idade da estação, que permitiu a formação de um biofilme no filtro de brita, a presença do filtro de areia e a disponibilidade de matéria orgânica podem estar envolvidas com a redução de microrganismos. Em resumo, pode se concluir que a ETE foi eficiente para remoção de microrganismos, porém apenas nos períodos de menor precipitação pluviométrica. / Wastewater root zone treatment systems are constituted of a filter bed planted with emergent macrophytes. A low cost technology with treatment potential proven in numerous studies, the root zone Wastewater Treatment Station (WTS) have great potential to solve the problem of lack of wastewater collection and treatment in small communities. This study aimed to characterize a root zone WTS with vertical flow on the basis of abiotic and microbiological variables. Through the technique of plate count and the multiple tube method was possible to estimate the density of total fungi, heterotrophic bacteria, total coliforms, Escherichia coli, nitrate-reducing bacteria, denitrifying bacteria and sulfate-reducing bacteria in the different strata of the system. In addition to the microbiological analysis the abiotic variables temperature, pH, dissolved oxygen, ammonia nitrogen, nitrite, nitrate, total nitrogen, orthophosphate, Chemical Oxygen Demand (COD) were evaluated. Analyses were performed in eight locations, one related to raw wastewater, one of treated effluent, three corresponding to the root zone interface and three to the sand filter, in a total of seven samples during a seasonal cycle. In 5 samples did not exhibit a reduction in the MPN of E. coli, only in Sample 1 (C1) and Sample 7 (C7) was observed approximately 66% and 97% reduction, respectively. Denitrifying bacteria in most spots and sulfate reducers, with the exception of the Sample 3 (C3) were determined in the amount of 1600 MPN.100mL-1. The density of nitrate-reducing bacteria ranged in most samples, from 1.8 MPN.100mL-1 to 19 MPN.100mL-1. The WTS was efficient for the removal of COD and phosphorus, the latter with removal percentage ranged from approximately 37% to 69 %. The concentration of ammonia-N was reduced in all samples, except for C3. The pH remained near neutrality and the concentration of dissolved oxygen increased in the region of the sand filter. Throughout the study period was observed a less growing of the plants. With the results of quantification it was possible verify that biodegradation is more intense in the first 50 cm of the WTS. It was observed significant reduction in the density of microorganisms in the sand filter compared with the root zone. Factors such as age of the station, which allowed the formation of a biofilm in the filter of gravel, the presence of sand filter and the availability of organic matter may be involved in the reduction of microorganisms. In summary it can be concluded that the WTS was efficient for removal of microorganisms, but only during periods of low rainfall.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-08-25T18:53:26Z No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) / Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-01-24T12:17:05Z (GMT) No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) / Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-01-24T12:18:07Z (GMT) No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) / Made available in DSpace on 2018-01-24T12:21:46Z (GMT). No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) Previous issue date: 2017-05-05 / Não recebi financiamento / The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students. / O objetivo deste trabalho é propor um método que permita levar os fundamentos da lógica matemática para o ensino médio por meio da utilização da teoria dos conjuntos, porém fazendo todo a aproximação do assunto utilizando diagramas, tornando possível evitar assim, para as demonstrações e o entendimento necessários ao desenvolvimento do assunto, os rigores da escrita utilizada na lógica matemática, que, em um primeiro contato, podem desestimular o interesse dos alunos iniciantes

Esta pesquisa apresenta uma proposta de bula para software, a qual possibilita capturar informações relacionadas aos requisitos funcionais e não funcionais de um determinado software, seguindo uma estrutura pré-definida. O referencial bibliográfico que embasa o trabalho é composto das teorias inerentes à transparência, transparência de software e mapas mentais. Discute a transparência dada às informações e processos das iniciativas públicas e privadas. Fornece subsídios para a concepção básica dos mapas mentais, proposto por Tony Buzan, com o intuito de justificar sua aderência em meio à proposta do trabalho. A proposta une a ideia de bulas de medicamentos, normatizada pela Agência Nacional de Vigilância Sanitária – ANVISA, aos conceitos de mapas mentais. Complementado por uma pesquisa experimental, este trabalho verificou a eficiência da bula de software na transmissão de conhecimentos por meio de um experimento que envolveu 326 participantes. Traz como resultado um modelo de bula para software que poderá ser utilizado pela indústria com o objetivo de elevar uma das características de transparência: a entendibilidade. / This research proposes a package insert for software that makes it possible to gather information related to the functional and non-functional requirements of a particular software, following a pre-defined structure. The bibliographic references that supports the work consists of theories relating to transparency, software transparency and mind maps. Discusses the transparency given to the information and processes of public and private initiatives. Provides subsidies for basic conception of mental maps, proposed by Tony Buzan, in order to justify its use in the work. The proposal combines the idea of pharmaceutical inserts, regulated by the National Health Surveillance Agency – ANVISA, to the concepts of mind maps. Complemented by experimental research, this study found the software package insert for efficiency in the transmission of knowledge through an experiment involving 326 participants. It brings up as result a model of package insert for software that may be used by the industry in order to increase one of the transparency’s characteristics: the understandability.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) / Made available in DSpace on 2018-08-29T18:03:18Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) Previous issue date: 2007-02-23 / Todo programador ou engenheiro de software lida com um problema crônico na concepção de seus sistemas: violações das especificações ou requisitos de projeto. Essas violações necessitam de uma captura imediata, pois geralmente originam falhas que só podem ser descobertas tardiamente, a um custo de reparo bastante elevado. Nos últimos anos, pesquisadores da ciência da computação estão conseguindo um progressonotávelnodesenvolvimentodetécnicaseferramentasqueverificamautomaticamente requisitos e projeto. A abordagem em maior evidência chama-se verificação de modelos (model-checking). Verificação de modelos é uma técnica formal e algorítmica de se fazer verificação de propriedades de sistemas com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados produzidos. Porém, esta técnica sofre de um problema fundamental — a explosão do espaço de estados — que se deve ao crescimento exponencial na estrutura que representa o comportamento de sistemas e à falta de recursos computacionais disponíveis para lidar com grandes quantidades de informação sobre o comportamento dos sistemas sob verificação. Este trabalho concentra-se em verificação de modelos utilizando plataformas de distribuição como tentativa de aliviar o problema citado. Mais detalhadamente, investigamos o uso de grades computacionais que rodam aplicações bag-of-tasks e formulamos algoritmos específicos para o processo de verificação. Aplicações bag-of-tasks são aplicações paralelas cujas tarefas são independentes entre si. Elas são as aplicações mais apropriadas para grades computacionais por permitirem heterogeneidade dos recursos. Aplicamos ferramentas de grades computacionais como uma camada entre a ferramenta de verificação e os recursos distribuídos compartilhados existentes e comparamos os quesitos desempenho e escala nos sistemas a serem verificados em relação às versões centralizadas de verificadores. A plataforma empregada na distribuição é muito atrativa no quesito custo, controle e escala. Através do compartilhamento de uma simples máquina, o engenheiro de sistemas ganha acesso a uma comunidade provedora de uma grande quantidade de recursos heterogêneos e automaticamente gerenciados para se fazer computação paralela seguindo sua filosofia. Durante o trabalho, essas vantagens são comparadas com suas desvantagens, como o alto custo de comunicação e a dificuldade de particionar o processo, por exemplo. O trabalho envolveu a produção das seguintes ferramentas: uma API genérica para a geração distribuída de grafos que representam o comportamento de sistemas concorrentes sobre plataformas de grades computacionais bag-of-tasks, um protótipo de verificação CTL que age de duas maneiras distintas, sendo on-the-fly durante a geração do espaço de estados ou sobre esse espaço de estados distribuído representado explicitamente seguindo a mesma filosofia de comunicação e versões simplificadas de simuladores de sistemas concorrentes sob alguns formalismos baseados em redes de Petri. Resultados experimentais sobre a aplicação deste ferramental são apresentados. / Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce errors that can be discovered later, at a very expensive cost to repair. In recent years, researchers in computer science are obtaining a notable progress in the development of techniques and tools to automatically verify requirements and designs. The most evidently approach is called model-checking. Model checking is a formal and algorithmic technique to perform properties verification in a finite state space of systems. Its main advantages are the automation power and the quality of the produced results. However this technique suffers from one big and foundamental problem - the state space explosion which is the absense of computational resources available today’s to deal with large amounts of information about the behavior of the systems under verification. This work investigates a solution to verify models in a distributed way using computational grids which runs bag-of-tasks applications, alleviating the mentioned problem. Bagof-tasks applications are those parallel applications which tasks arei ndependent of each other and are the applications most suited for computational grids because they allow heterogeneity between resources. We employ computational grid tools as a layer between between the verificationtooland the distributed shared resources. This verification is performed by adapted CTL algorithms to the bag-of-tasks philosophy. So we intend to obtain improvements in speed-up and scalability in the systems to be checked when compared to centralized versions of verifiers produced in side the group. Moreover,the employed middleware in the distribution is very attractive in the cost and control aspects. By sharing a single machine, the system engineer obtains access to a community that provides large amounts of heterogeneous resources automatically managed to perform parallel computation. This work included the production of the following tools: a generic API to the distributed generation of graphs that describes the behavior of concurrent systems under bag-of-tasks computational grids platforms, a prototype to check for CTL properties using on-the-fly algorithms or iterating over the generated fragments of the distributed graph. We also implemented simplified versions of simulators of concurrent systems following some formalisms based on Petri nets. Experimental results are also presented.

p. 1-176 / Submitted by Santiago Fabio (fabio.ssantiago@hotmail.com) on 2013-03-26T17:02:35Z No. of bitstreams: 2 Dissertação Milena D´Almeida 1.pdf: 97912 bytes, checksum: 38f74acbd2f79c59b4d8af681c30e9f6 (MD5) Dissertação Milena D´Almeida 2.pdf: 1165726 bytes, checksum: 62a667264de15105d3ffefbf631ef09a (MD5) / Approved for entry into archive by Tatiana Lima(tatianasl@ufba.br) on 2013-04-12T18:49:00Z (GMT) No. of bitstreams: 2 Dissertação Milena D´Almeida 1.pdf: 97912 bytes, checksum: 38f74acbd2f79c59b4d8af681c30e9f6 (MD5) Dissertação Milena D´Almeida 2.pdf: 1165726 bytes, checksum: 62a667264de15105d3ffefbf631ef09a (MD5) / Made available in DSpace on 2013-04-12T18:49:00Z (GMT). No. of bitstreams: 2 Dissertação Milena D´Almeida 1.pdf: 97912 bytes, checksum: 38f74acbd2f79c59b4d8af681c30e9f6 (MD5) Dissertação Milena D´Almeida 2.pdf: 1165726 bytes, checksum: 62a667264de15105d3ffefbf631ef09a (MD5) Previous issue date: 2003 / O Brasil ingressou no novo milênio como uma economia em desenvolvimento, mas detentor de altas taxas de analfabetismo e profundas desigualdades sociais e, embora tenha conseguido na década de 90 a universalização do ensino, esta não significou, necessariamente, um acréscimo na qualidade. Repetindo o cenário nacional, o sistema público de educação do estado da Bahia caracteriza-se pela baixa qualidade e pela pouca relevância para as necessidades dos alunos, daí a necessidade de implementação de programas voltados para a melhoria da qualidade dos serviços educacionais, tal como o Educar para Vencer e, conseqüentemente, o projeto de Certificação Ocupacional de Profissionais da Educação. Através do referencial teórico, capítulo que discorre sobre parte da literatura que trata da certificação ocupacional e das competências, em suas diversas abordagens, e da experiência da Fundação Luís Eduardo Magalhães, este trabalho busca investigar o grau de alinhamento entre a visão que os Professores Alfabetizadores têm do seu desempenho e os escores por eles obtidos no Teste de Conhecimentos Específicos – TCE, do primeiro Exame de Certificação Ocupacional. O Modelo de Análise empregado foi desenvolvido tendo como base as Especificações de Testes, documento criado pelos analistas de cargo do Projeto de Certificação Ocupacional para Profissionais da Educação, juntamente com grupos de especialistas em alfabetização. Desta forma, foi possível estabelecer comparações entre o desempenho dos candidatos à certificação no Teste de Conhecimentos Específicos com as respostas dos mesmos na auto-avaliação e estabelecer um grau de alinhamento entre esses dois instrumentos. A pesquisa exploratória do tipo survey, cuja amostra foi selecionada aleatoriamente entre os candidatos aprovados no TCE do primeiro exame de certificação, foi realizada em 2003. Os resultados do cruzamento de dados entre o desempenho sugerido pelos candidatos na auto-avaliação e o observado no TCE, indicaram um baixo grau de alinhamento entre esses dois instrumentos, uma vez que a quantidade de indicadores negativos de alinhamento superou a quantidade dos positivos. Ou seja, os candidatos que imaginaram alcançar melhor desempenho em avaliações ocupacionais que medem conhecimentos e habilidades relacionados ao cargo de Professor Alfabetizador, não foram os mesmos que obtiveram os escores mais altos no Teste de Conhecimentos específicos do Projeto de Certificação Ocupacional. / Salvador

Submitted by Izabel Franco (izabel-franco@ufscar.br) on 2016-10-10T20:31:55Z No. of bitstreams: 1 DissLAVF.pdf: 2396434 bytes, checksum: d18db543d45b99a8efd280285db823b0 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-21T12:05:36Z (GMT) No. of bitstreams: 1 DissLAVF.pdf: 2396434 bytes, checksum: d18db543d45b99a8efd280285db823b0 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-10-21T12:05:43Z (GMT) No. of bitstreams: 1 DissLAVF.pdf: 2396434 bytes, checksum: d18db543d45b99a8efd280285db823b0 (MD5) / Made available in DSpace on 2016-10-21T12:05:51Z (GMT). No. of bitstreams: 1 DissLAVF.pdf: 2396434 bytes, checksum: d18db543d45b99a8efd280285db823b0 (MD5) Previous issue date: 2016-03-24 / Não recebi financiamento / Currently, there are several studies directed to the manufacture of biosystems (biomaterials, living tissues or organs). These studies include several practice areas ranging from virtual representation of an organ or tissue to its biomanufacturing (bioprinting) itself. But for biomanufacturing a complex organ, it is still needed a long walk, because this process requires a very large wealth of information. Experiments to aid in surgical planning have been made based on medical image data and use of 3D printer rapid prototyping through STL specifications (STereoLitography). This work aims the study biomanufacturing processes of biomaterials, living tissues and organs aiming to establish the requirements for building a computer model to assist in the development of a project description framework for bioprinting living tissues and organs via STL specifications. This model was designed through research processes and parameters required for bioprinting of living tissues or organs resulting from the state of the art in this area and forms of representation in a computer model. For the evaluation of the model and the developed framework, an experiment was conducted where the data of a cartilage bioprinting experiment conducted by other authors were expressed through a bioprinting project. / Atualmente, existem vários estudos voltados para a fabricação de biosistemas (biomateriais, tecidos vivos ou órgãos). Esses estudos contemplam várias áreas de atuação que vão desde a representação virtual de um órgão ou tecido até a sua biofabricação (bioimpressão) propriamente dita. Porém, para a biofabricação de um órgão complexo, ainda é necessária uma longa caminhada, pois esse processo exige uma riqueza muito grande de informações. Experimentos para auxilio em planejamento cirúrgico têm sido feitos baseados em dados de imagens médicas e uso de impressoras 3D de prototipagem rápida, através de especificações STL (STereoLitography). Este trabalho, tem como objetivo, o estudo de processos de biofabricação de biomateriais, tecidos vivos e órgãos visando, estabelecer os requisitos necessários para a construção de um modelo computacional que auxilie no desenvolvimento de um framework de descrição de projetos para bioimpressão de tecidos vivos e órgãos por intermédio de especificações STL. Esse modelo foi concebido através da investigação de processos e parâmetros necessários para a bioimpressão de tecidos vivos ou órgãos, decorrentes do estado da arte nessa área e das formas de sua representação em um modelo computacional. Para a avaliação do modelo e do framework desenvolvido, foi realizado um experimento onde os dados de um experimento de bioimpressão de cartilagem realizado por outros autores foram expressados através de um projeto de bioimpressão.