Made available in DSpace on 2016-04-29T14:23:07Z (GMT). No. of bitstreams: 1 Allex Motta Melo da Rocha.pdf: 4303012 bytes, checksum: 94163da5edc7a5c0777f5f42582edc52 (MD5) Previous issue date: 2012-05-24 / This current dissertation aims to use the techniques of Case-Based Reasoning (CBR) and Geographic Information System (GIS) together to identify and characterize the impact of a contagious injury in the city of Belém, Pará state, Brazil, caused by the bacterium Leptospira interrogans, known as leptospirosis. Environmental and health issues, particularly as the presence of rodent droppings, urine and feces, influencing an establishment of this disease. This research conducts a study of the use of CBR technique in order to formulate and develop a model to identify and assist in the diagnosis of the disease, using data collected from patients, such as epidemiological history and clinical, in the area, in the years 2008, 2009 and 2010. The CBR system will enable health professionals can use it as a support tool in the diagnosis of cases of the disease. This dissertation also applies GIS techniques to visually express and produce environmental analysis, temporal and socioeconomic of leptospirosis epidemiology scenario in a neighborhood in the city of Belém, in the years mentioned above, due to yours epidemiological importance. So, there will be the environmental and socioeconomic characteristics, in order to analyze the spatial distribution of the main reservoirs of this disease and to identify the habits of life of people living or working in these places, considering the environmental factor to provide subsidies to adopt preventive measures to control of disease incidence / A presente dissertação tem como objetivo utilizar as técnicas de Raciocínio Baseado em Casos (RBC) e Geoprocessamento, em conjunto, para identificar e caracterizar a incidência de um agravo infectocontagioso, na cidade de Belém, estado do Pará, Brasil, ocasionado pela bactéria Leptospira interrogans, conhecido como leptospirose humana. Questões ambientais e sanitárias, como a presença, principalmente, de excrementos de roedores, como urina e fezes influenciam o estabelecimento deste agravo. Esta pesquisa realiza um estudo do uso da técnica de RBC, com o objetivo de formular e desenvolver um modelo para identificar e auxiliar no diagnóstico da doença, por meio de dados coletados dos pacientes, tais como antecedentes epidemiológicos e clínicos, ocorridos na região, nos anos de 2008, 2009 e 2010. O sistema de RBC possibilitará que profissionais da saúde possam utilizá-lo como ferramenta de apoio na diagnose de casos da doença. Esta dissertação também aplica técnicas de Geoprocessamento para expressar visualmente e produzir análises ambientais, temporais e socioeconômicas do cenário epidemiológico da leptospirose em um bairro na cidade de Belém, nos anos citados anteriormente, devido à importância epidemiológica do mesmo. Para tal, será realizada a caracterização ambiental e socioeconômica, a fim de analisar a distribuição espacial dos principais reservatórios deste agravo e identificar os hábitos de vida das populações que moram ou trabalham nestes locais, considerando o fator ambiental para fornecer subsídios à adoção de medidas preventivas para o controle da incidência desta doença

With the rise of Deep Learning the field of Artificial Intelligence (AI) Research has entered a new era. Together with an increasing amount of data and vastly improved computing capabilities, Machine Learning builds the backbone of AI, providing many of the tools and algorithms that drive development and applications. While we have already achieved many successes in the fields of image recognition, language processing, recommendation engines, robotics, or autonomous systems, most progress was achieved when the algorithms were focused on learning only a single task with little regard to effort and reusability. Since learning a new task from scratch often involves an expensive learning process, in this work, we are considering the use of previously acquired knowledge to speed up the learning of a new task. For that, we investigated the application of Transfer Learning methods for Deep Reinforcement Learning (DRL) agents and propose a novel framework for knowledge preservation and reuse. We show, that the knowledge transfer can make a big difference if the source knowledge is chosen carefully in a systematic approach. To get to this point, we provide an overview of existing literature of methods that realize knowledge transfer for DRL, a field which has been starting to appear frequently in the relevant literature only in the last two years. We then formulate the Case-based Reasoning methodology, which describes a framework for knowledge reuse in general terms, in Reinforcement Learning terminology to facilitate the adaption and communication between the respective communities. Building on this framework, we propose Deep Case-based Policy Inference (DECAF) and demonstrate in an experimental evaluation the usefulness of our approach for sequential task learning with knowledge preservation and reuse. Our results highlight the benefits of knowledge transfer while also making aware of the challenges that come with it. We consider the work in this area as an important step towards more stable general learning agents that are capable of dealing with the most complex tasks, which would be a key achievement towards Artificial General Intelligence. / Com a evolução da Aprendizagem Profunda (Deep Learning), o campo da Inteligência Artificial (IA) entrou em uma nova era. Juntamente com uma quantidade crescente de dados e recursos computacionais cada vez mais aprimorados, o Aprendizado de Máquina estabelece a base para a IA moderna, fornecendo muitas das ferramentas e algoritmos que impulsionam seu desenvolvimento e aplicações. Apesar dos muitos sucessos nas áreas de reconhecimento de imagem, processamento de linguagem natural, sistemas de recomendação, robótica e sistemas autônomos, a maioria dos avanços foram feitos focando no aprendizado de apenas uma única tarefa, sem muita atenção aos esforços dispendidos e reusabilidade da solução. Como o aprendizado de uma nova tarefa geralmente envolve um processo de aprendizado despendioso, neste trabalho, estamos considerando o reúso de conhecimento para acelerar o aprendizado de uma nova tarefa. Para tanto, investigamos a aplicação dos métodos de Transferência de Aprendizado (Transfer Learning) para agentes de Aprendizado por Reforço profundo (Deep Reinforcement Learning - DRL) e propomos um novo arcabouço para preservação e reutilização de conhecimento. Mostramos que a transferência de conhecimento pode fazer uma grande diferença no aprendizado se a origem do conhecimento for escolhida cuidadosa e sistematicamente. Para chegar a este ponto, nós fornecemos uma visão geral da literatura existente de métodos que realizam a transferência de conhecimento para DRL, um campo que tem despontado com frequência na literatura relevante apenas nos últimos dois anos. Em seguida, formulamos a metodologia Raciocínio baseado em Casos (Case-based Reasoning), que descreve uma estrutura para reutilização do conhecimento em termos gerais, na terminologia de Aprendizado por Reforço, para facilitar a adaptação e a comunicação entre as respectivas comunidades. Com base nessa metodologia, propomos Deep Casebased Policy Inference (DECAF) e demonstramos, em uma avaliação experimental, a utilidade de nossa proposta para a aprendizagem sequencial de tarefas, com preservação e reutilização do conhecimento. Nossos resultados destacam os benefícios da transferência de conhecimento e, ao mesmo tempo, conscientizam os desafios que a acompanham. Consideramos o trabalho nesta área como um passo importante para agentes de aprendizagem mais estáveis, capazes de lidar com as tarefas mais complexas, o que seria um passo fundamental para a Inteligência Geral Artificial.

Made available in DSpace on 2014-06-11T19:35:44Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-01-10Bitstream added on 2014-06-13T18:47:11Z : No. of bitstreams: 1 giocomini_hc_dr_rcla.pdf: 2415116 bytes, checksum: 60197822e40f54efd586b3c12529038a (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Um modelo baseado no indivíduo para história de vida e interações tróficas de peixes é proposto nesta tese. Ele integra teorias sobre fisiologia, crescimento, reprodução e alimentação num mesmo arcabouço dinâmico. As comunidades são formadas por um processo seqüencial de assembleamento que seleciona espécies com melhor ajuste às condições locais. No capítulo 1, experimentos computacionais foram feitos para avaliar a resposta seletiva de 10 características bionômicas em gradientes de produtividade, taxas de ataque por predadores, distribuição do tamanho corporal no conjunto regional de espécies, e a presença/ausência de assimetrias nas habilidades dos peixes em consumir presas e em evitar predação. Este último fator inclui conflitos funcionais entre a eficiência de captura versus generalidade de dieta e intensidade de forrageamento versus defesa contra predadores. As comunidades resultantes foram fortemente afetadas pelos gradientes. Picos de riqueza ocorrem em produtividades moderadamente baixas, associadas a baixas taxas de ataque, o que pode estar relacionado ao efeito estabilizador de respostas funcionais menos saturadas e às características emergentes das espécies. Com alta disponibilidade de recursos, espécies de rápido crescimento e tamanhos variados dominaram, promovendo rápida depleção dos recursos durante a formação das comunidades e ocasionando fortes efeitos de prioridade. As assimetrias de consumo aumentaram a coexistência onde ela tende a ser mais difícil, mas a diminuíram em seus pontos de pico. Mas seu principal efeito foi o de modificar a composição ao longo dos gradientes, modulando o formato das associações emergentes entre as características biológicas das espécies bem sucedidas. No capítulo 2 foram realizados experimentos de invasão e exclusão, para avaliar como as características das espécies... / An individual-based model for fish life history and trophic interactions is here proposed. It integrates theories for individual physiology, growth, reproduction, and feeding in the same dynamical framework. Communities are formed by a sequential assembly process which selects for species best adjusted to local conditions. Simulation experiments were carried out to evaluate the distribution of diversity and selective response of 10 bionomic features along gradients of resource productivity, predators maximum attack rates, body size distribution in species pool, and the presence/absence of asymmetries in both the abilities of fish to consume prey and to avoid being consumed. This last factor includes tradeoffs concerning capture efficiency versus diet generality and foraging intensity (associated to growth rate) versus defense against predators. The resulting communities were strongly affected by the gradients. Richness peaks are localized at moderately low productivities associated to low maximum attack rates, which might be related to the stabilizing effect of less saturated functional responses and to the emergent features of selected species. At high resource availability, fast growing species with variable sizes dominated, promoting early fast resource depletion during assembly and leading to strong priority effects. The hierarchical consumption asymmetries increased coexistence where it tends to be more difficult, but diminished it at its points of peak. But its main effect was modifying species trait composition along other gradients, modulating the shape of emergent associations among biological features of successful species. Additional invasion and deletion experiments were carried out to evaluate how species and community features are related invasion success and native extinctions. Successful invaders tend to possess similar life-history features to invaded community, but low... (Complete abstract click electronic access below)

Redes de computadores orientadas à sustentabilidade ou eficientes energeticamente têm a capacidade de adaptar dinamicamente os modos de consumo de energia dos seus dispositivos de acordo com a demanda do tráfego da rede. Por exemplo, colocar no estado dormente os dispositivos que estão abaixo de um nível de utilização predeterminado, considerado de baixa carga. Neste cenário, existem novos desafios no que diz respeito ao modo como confiabilidade e disponibilidade da rede são avaliadas. O cálculo de confiabilidade e disponibilidade é comumente realizado através das técnicas de cadeia de Markov, ou Conjuntos-Conexos e Conjuntos-Desconexos. Porém, tradicionalmente, estas técnicas são baseadas em valores estáticos e não levam em consideração as mudanças dinâmicas que são inseridas no contexto de redes sustentáveis. Desta forma, este trabalho tem como principais objetivos prover um método capaz de avaliar o impacto na confiabilidade ou disponibilidade da rede, quando alguns dispositivos são colocados e tirados de modos de economia de energia, e apresentar a relação de compromisso entre economia de energia, confiabilidade e disponibilidade da rede. O método proposto, chamado REASoN, é uma composição dos dois métodos supracitados, que foram estendidos de forma a considerar no cálculo a dinamicidade dos ajustes dos níveis de energia. Para fins de avaliação, o trabalho realiza um cálculo numérico empregando o método REASoN, em que foi avaliada a confiabilidade dos dispositivos quando colocados no estado dormente. Os impactos de operações de eficiência energética nas métricas de confiabilidade são expressos como mudanças na quinta casa decimal da confiabilidade da rede como 52 minutos de inatividade de componentes da rede e na quarta casa decimal da disponibilidade com 8h de inatividade. Para uma empresa de transações bancárias, 8h de inatividade pode significar R$ 1 bilhão de perda. O trabalho analisa, também, a implementação do REASoN dentro do contexto de um sistema de gerenciamento de rede orientado a sustentabilidade. Os resultados mostram que, quando o sistema não prioriza disponibilidade e confiabilidade, a economia de energia é de 43%. Já quando a disponibilidade e confiabilidade são priorizadas, a economia é de 27%, um valor representativo. Concluímos que o REASoN é uma ferramenta de grande utilidade para a tomada de decisão em redes de computadores sustentáveis, servindo, como base, para uma análise mais acurada sobre o impacto de mecanismos de economia de energia. / Sustainability-oriented computer networks or energy efficient networks have the ability to dynamically adapt the network device power modes in accordance with the demand of network traffic. For example, by putting to sleep devices that handle traffic below a threshold. In this scenario, new challenges appear in the way that the reliability and availability of the network are evaluated. The calculation of reliability and availability is commonly accomplished through techniques such as Markov chain, or Cut-Set and Tie-Set. However, traditionally these techniques are based on static values and do not take into account the dynamic changes that are in the context of sustainable networks. Thus, this study first aims at providing a method to assess the impact on reliability or availability of the network when some devices are put to sleep. Second, it aims at presenting the trade-off between saving energy and changing the reliability and availability of the network. The proposed method, called REASoN, is a composition of two known methods: Markov chain and Cut-Set and Tie-Set, which were extended in order to consider in calculation the dynamic adjustments of the energy levels. To evaluate the proposed method, the work performs a numerical evaluation. In addition, we evaluated the reliability of the network. The results show that the impact of saving energy might change the reliability in six decimal. The work also analyzes REASoN implemented in a network management system oriented to sustainability, called SustNMS. The results show that when the system prioritizes energy efficiency and accepts decreases on availability, the energy savings reach 43%. However, if the system prioritizes availability the energy savings reach 27%. Hence, REASoN is a powerful tool that can be used for decision making in sustainability-oriented computer networks, achieving a more accurate analysis of the impacts of saving energy.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O modelo atualmente utilizado no Brasil para a produção de etanol combustível está centrado em grandes unidades de produção, não contemplando a produção integrada de alimentos. É importante o estudo e desenvolvimento de modelos onde a produção de etanol combustível esteja associada à produção de alimentos. Um ponto importante para validar estes modelos é conhecer com detalhes os custos e receitas associados com a produção de etanol combustível e alimento, com a finalidade de minimizar custos operacionais, para que estes modelos possam ser viáveis economicamente e em sua operacionalização. Assim, o objetivo deste trabalho consistiu na apuração dos custos envolvidos na produção do etanol a partir do sorgo sacarino (sorghum bicolor l. moenca) e da cana-de-açúcar em uma pequena unidade de produção utilizando a Metodologia de Custeio Baseada em Atividades (ABC). O trabalho foi realizado em uma pequena unidade de produção de etanol, com capacidade de 1000 litros/dia, localizada no município de São Vicente, região central do Rio Grande do Sul. A abordagem proposta foi constituída de três grandes fases: Pré-Análise, Análise e Pós-Análise. A análise foi composta dos seguintes passos: definição dos objetivos e abrangência do estudo; mapeamento do processo produtivo; etapas do processo onde os custos serão avaliados; balanço de Massa; definição dos direcionadores de custos; determinação do custo total por atividade; determinação do custo de produção do produto e avaliação ambiental. A aplicação da sistemática proposta da metodologia de Custeio Baseada em Atividades aperfeiçoou o processo de alocação de custos e refletiu a real proporção destes custos consumidos pelas atividades produtivas. O custo total para produção de 1 litro de etanol hidratado a partir do sorgo sacarino ficou em R$ 0,92, sendo R$ 0,50 contribuição do processamento e R$ 0,42 contribuição da matéria-prima, que corresponde a 54,0% e 46,0%, respectivamente. Quando da utilização de cana-de-açúcar como matéria prima o custo total ficou em R$ 0,83, sendo R$ 0,44 contribuição do processamento e R$ 0,40 contribuição da matériaprima, que corresponde a 52,4% e 47,6%, respectivamente. A ordem de contribuição das atividades no custo final de processamento ficou na seguinte ordem: ensilagem (32,64%), destilação (19,31%), geração de vapor (13,87%), moagem (12,00%), corte (6,64%), transporte (5,37%), descarga (4,8%) e descarte da vinhaça (1,98%). Constata-se que o investimento necessário para remediar os impactos ambientais, em uma pequena unidade de produção, monta R$ 96.500,00, o que representa 16,4 % do investimento total.

Made available in DSpace on 2016-12-12T20:27:38Z (GMT). No. of bitstreams: 1 Resumo - Eduardo Cavalca.pdf: 79555 bytes, checksum: 90f9b6daaa60256b513924a9a0d2ecdd (MD5) Previous issue date: 2013-07-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Model-based predictive control (MPC) approaches has been studied in a wide range of areas, as petrochemical and aerospace, mainly due to its capability of easily deal with physical and operational constraints. Moreover, such approaches can be extended for the application in control loops with nonlinear and time-variant systems. At this context, the objective of this work is to study some MPC techniques in order to evaluate their applicability to control a three-phase induction motor. More specifically, it was analyzed a Dynamic Matrix Control (DMC) approach, as well as two MPC techniques that uses state space modeling. The control algorithms in question and the nonlinear mathematical model of the motor in study were programmed using the free computing environment Scilab-Xcos®. The models of the threephase motor used in the MPC were obtained by a system identification method (based on the step response of the classical non-linear motor model) and by a phenomenological three-phase modeling approach. Multiple simulations have been performed considering variations in load and speed reference. Besides, some discussions are made related to the influence of the control parameters and about the computational cost. Finally, the results showed that the use of MPC techniques in induction machines has great potential. / Abordagens de controle preditivo baseado em modelo (MPC, do inglês model-based predictive control) têm sido estudadas em diversas áreas, como petroquímica e aeroespacial, principalmente devido à capacidade que apresentam em tratar restrições físicas e operacionais de forma simples. Além disso, tais abordagens podem ser estendidas para aplicação em malhas de controle de sistema não lineares e variantes no tempo. Nesse contexto o objetivo desse trabalho é estudar algumas técnicas de MPC a fim de avaliar sua aplicabilidade no controle de um motor de indução trifásico. Mais especificamente, é analisada a técnica DMC (do inglês Dynamic Matrix Control) bem como duas técnicas de MPC que utilizam modelos no espaço de estados. Os algoritmos de controle em questão e o modelo matemático não linear do motor estudado foram programados utilizando o Scilab-Xcos®, um ambiente de processamento de código livre. Os modelos do motor de indução trifásico utilizados no MPC foram obtidos por meio de um método de identificação de sistemas (baseado na resposta ao degrau do modelo clássico não linear do motor) e por uma abordagem de modelagem fenomenológica trifásica. Múltiplas simulações foram realizadas, considerando variações de carga e referência de velocidade, sendo então apresentadas algumas discussões sobre a influência dos parâmetros de controle e custo computacional. Finalmente, os resultados obtidos demonstraram que a aplicação de técnicas MPC em máquinas de indução apresenta um grande potencial.

Made available in DSpace on 2014-12-17T15:47:02Z (GMT). No. of bitstreams: 1 MacilonACN_TESE.pdf: 3979579 bytes, checksum: 8cbe12645bc4c083bd9eabb00da34227 (MD5) Previous issue date: 2013-05-10 / The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method / No desenvolvimento de um sistema interativo, est?o envolvidos diversos profissionais e a integra??o entre eles se d?, principalmente, atrav?s do compartilhamento de artefatos comuns, como modelos, por exemplo. O uso de modelos possibilita uma abordagem de desenvolvimento na qual os modelos s?o usados por designers e desenvolvedores. Na abordagem baseada em modelos, o modelo de intera??o ? um artefato que cobre a maioria dos aspectos relacionados ao o que e como o usu?rio pode fazer ao interagir com a aplica??o. Al?m disso, ele pode ser usado para a identifica??o de problemas de usabilidade durante o design e n?o apenas durante os testes de interface e aceita??o, o que reduz o impacto nos custos do processo de desenvolvimento. Nesse sentido, este trabalho endere?a duas quest?es. A primeira ? a modelagem da intera??o, sob uma perspectiva que auxilie o designer a explicitar para o desenvolvedor, que ir? codificar na interface, os aspectos relacionados ao processo interativo, especificamente o que e como . A segunda ? identifica??o antecipada de problemas de usabilidade, que visa contribuir, principalmente, com a redu??o dos custos de desenvolvimento. Para isso, este trabalho apresenta (i) a linguagem ALaDIM, para auxiliar o designer na concep??o, representa??o e valida??o do modelo de intera??o; (ii) o editor ALaDIM, que foi constru?do usando o EMF (Eclipse Modeling Framework) e suas tecnologias padronizadas pelo OMG (Object Management Group); e (iii) o m?todo de inspe??o ALaDIM, que permite a identifica??o antecipada de problemas de usabilidade em modelos ALaDIM. A linguagem e o editor ALaDIM foram, respectivamente, especificada e implementado, usando padr?es do OMG e podem ser empregados em atividades MDA (Model Driven Architecture). Al?m disso, foram avaliados a linguagem e o editor ALaDIM, atrav?s da an?lise da dimens?es cognitivas de ambos, usando o CDN (Cognitive Dimensions of Notations). Finalmente, este trabalho relata um experimento para valida??o do m?todo de inspe??o

Made available in DSpace on 2014-12-17T15:47:46Z (GMT). No. of bitstreams: 1 AndreGDA.pdf: 982503 bytes, checksum: 1c9c31b9670edd5ef9e3e725bb8f680b (MD5) Previous issue date: 2008-02-12 / This work presents a proposal of a multi-middleware environment to develop distributed applications, which abstracts different underlying middleware platforms. This work describes: (i) the reference architecture designed for the environment, (ii) an implementation which aims to validate the specified architecture integrating CORBA and EJB, (iii) a case study illustrating the use of the environment, (iv) a performance analysis. The proposed environment allows interoperability on middleware platforms, allowing the reuse of components of different kinds of middleware platforms in a transparency away to the developer and without major losses in performance. Also in the implementation we developed an Eclipse plugin which allows developers gain greater productivity at developing distributed applications using the proposed environment / Este trabalho apresenta a proposta de um ambiente multi-middleware para desenvolvimento de aplica??es distribu?das, o qual abstrai diferentes plataformas de middleware subjacentes. O trabalho descreve: (i) a arquitetura de refer?ncia especificada para o ambiente, (ii) uma implementa??o que valida tal arquitetura integrando CORBA e EJB, (iii) um estudo de caso ilustrando o uso do ambiente, (iv) a an?lise de desempenho. O ambiente proposto permite alcan?ar interoperabilidade de plataformas de middleware, promovendo o reuso de componentes de diferentes plataformas de forma transparente para o desenvolvedor e sem perdas expressivas em termos de desempenho. Na implementa??o desenvolvemos um plugin para IDE Eclipse que permite que os eventuais desenvolvedores obtenham maior produtividade ao desenvolver aplica??es usando o ambiente

Made available in DSpace on 2014-12-17T15:48:09Z (GMT). No. of bitstreams: 1 SarahRRS_DISSERT.pdf: 1954614 bytes, checksum: ba3eee36fc3f3f1030a71fa2ad2f605a (MD5) Previous issue date: 2013-12-13 / Universidade Federal do Rio Grande do Norte / The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks / O desenvolvimento de sistemas baseados em componentes revolucionou o processo de desenvolvimento de software, facilitando a manuten??o, trazendo mais confiabilidade e reutiliza??o. Por?m, mesmo com todas as vantagens atribu?das ao componente, ? necess?rio uma an?lise detalhada de sua composi??o. Realizar verifica??o a partir de testes de software n?o ? o suficiente para se ter uma composi??o segura, pois esses n?o s?o baseados em modelos sem?nticos formais nos quais podemos descrever precisamente o comportamento do sistema. Nesse contexto, os m?todos formais oferecem a possibilidade de especificarmos sistemas de forma precisa, atrav?s de nota??es com forte base matem?tica, trazendo, entre outros benef?cios, mais seguran?a. O m?todo formal CSP possibilita a especifica??o de sistemas concorrentes e verifica??o de propriedades inerentes a tais sistemas, bem como refinamento entre diferentes modelos. Existem abordagens que aplicam restri??es usando CSP, para verificar o comportamento da composi??o entre componentes, auxiliando a verifica??o desses componentes antecipadamente. Visando auxiliar esse processo, tendo em vista que o mercado de software busca cada vez mais automa??o, minimizando trabalhos e trazendo agilidade nos neg?cios, este trabalho apresenta uma ferramenta que automatiza a verifica??o da composi??o entre componentes, onde o conjunto de verifica??es CSP impostas ? gerado e verificado internamente, oculto para o usu?rio. Dessa forma, atrav?s de uma interface simples, a ferramenta BTS (BRIC-Tool-Suport) ajuda a criar e compor componentes, prevendo, com anteced?ncia, comportamentos indesej?veis no sistema, como deadlocks

As cidades que crescem com base no modelo industrial estão se tornando cada vez maiores, exigindo cada vez mais insumos e gerando maiores gastos e resíduos. A perspectiva de resultado para tal abordagem é o colapso ambiental, social e econômico, quando as cidades ultrapassarem os limites gerenciáveis para o seu crescimento. Na economia pós-industrial, em sociedades do conhecimento, este modelo de desenvolvimento das cidades não é mais funcional e um modelo de desenvolvimento que contemple as dimensões sociais, econômicas e ambientais é requerido. Nesse âmbito se insere a abordagem do desenvolvimento baseado no conhecimento (DBC). O DBC busca o desenvolvimento sustentável, por intermédio de processos sociais de conhecimentos que valorizem a endogeneidade, as potencialidades e recursos locais. É o caso da economia criativa (EC), que tem como base criatividade, conhecimento e cultura, matérias-primas intangíveis e renováveis. Na medida em que for possível implementar políticas de EC que permitam democratizar o processo de criar, armazenar, compartilhar e utilizar o conhecimento, a economia criativa poderia atuar como fator de desenvolvimento socioeconômico. Mas para isso, são necessárias informações confiáveis e estruturadas. Em documentos governamentais já é manifestada carência por um método que forneça dados necessários para análise e fomento da EC, adaptado às características locais. O DBC possui um método para avaliação e acompanhamento dos capitais de uma cidade: o sistema de capitais (SC). O SC apresenta uma taxonomia completa com indicadores também relacionados à EC. Assim, o objetivo da dissertação foi estudar as dimensões dos sistemas de capitais que podem estruturar a análise da economia criativa para o DBC. A coleta de dados deu-se através de estudo de caso único na cidade de Bento Gonçalves. A pesquisa utilizou abordagem de métodos mistos com estratégia de triangulação concomitante de Creswell e Clark (2011). Foi aplicada a metodologia do SC, e a análise foi orientada para economia criativa, tomando por base os princípios da SEC (2011), a teoria dos 3Ts de Florida (2005) e a setorização da EC no Brasil (2011). Foram encontradas relações entre os capitais do SC com todos esses elementos. Como resultado foi possível construir uma estrutura de análise que relaciona os capitais do SC com a EC na cidade estudada. Os resultados revelam também os ativos e passivos da EC na cidade, o que se configura num conjunto de subsídios que pode fomentar o DBC bem como políticas públicas que levem a alternativas de desenvolvimento coerentes com os anseios da sociedade. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-05-13T13:03:33Z No. of bitstreams: 1 Dissertacao Anelise D'Arisbo.pdf: 4032119 bytes, checksum: 7e78d485d8d9fbecefa0e02927ea0f2b (MD5) / Made available in DSpace on 2014-05-13T13:03:33Z (GMT). No. of bitstreams: 1 Dissertacao Anelise D'Arisbo.pdf: 4032119 bytes, checksum: 7e78d485d8d9fbecefa0e02927ea0f2b (MD5) / Cities which grow based on the industrial model are becoming increasingly larger, demanding more inputs and generating higher spendings and waste. The result perspective expected for this approach is the environmental, economic and social collapse, when cities exceed the manageable limits to its growth. In the post-industrial economy, in knowledge societies, this development model to cities is no longer functional and a development model which addresses the social, economic and environmental issues is required. In this case fits the knowledge based development (KBD). The KBD seeks sustainable development through social knowledge processes that value endogeneity, potentialties and local resources. This is related to the creative economy (CE), which is based on creativity, knowledge and culture, renewable and intangible raw materials. Insofar as it is possible to implement policies that allow CE democratize the creating, storing, sharing and using knowledge processes, creative economy could act as a socio-economic development factor. For this, reliable and structured information is needed. In governmental documents lack of a method that provides data needed for CE analysis and development has already manifested, adapted to local conditions. The KBD has a method for assessing and monitoring the city capitals: the capital system (CS). The CS has a complete taxonomy with indicators which are also related to CE. Then, the dissertation aims to study the capital systems’ dimensions that can structure the creative economy analysis for the KBD. Data collection was carried out through a single case study in Bento Gonçalves city. The research used mixed methods approach with concurrent triangulation strategy from Creswell and Clark (2011). The CS methodology was aplyed, and the analysis was driven to creative economy, based on the SEC (2011) principles, Florida’s 3T’s theory (2005) and the Brazilian CE sectorization (2011). Relationships on CS with all these elements were found in the analysis. As a result it was possible to build a framework that relates the CS capitals with the CE on the studied city. Results also reveal the cities’ CE assets and liabilities which configure a set of subsidies that can foster the KBD as well as public policies which take to development alternatives consistent with the society expectations.