Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-05-30T21:30:31Z No. of bitstreams: 1 TESE - Victor Sarinho.pdf: 2891194 bytes, checksum: 012f03f26406a40700502e1e0ff70b96 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-01T12:38:02Z (GMT) No. of bitstreams: 1 TESE - Victor Sarinho.pdf: 2891194 bytes, checksum: 012f03f26406a40700502e1e0ff70b96 (MD5) / Made available in DSpace on 2017-06-01T12:38:02Z (GMT). No. of bitstreams: 1 TESE - Victor Sarinho.pdf: 2891194 bytes, checksum: 012f03f26406a40700502e1e0ff70b96 (MD5) / Modelagem de Features é uma abordagem popular que descreve a comunalidade e variabilidade de famílias de softwares em termos de features. Variabilidade em Software Product Lines (SPLs) é geralmente descrita usando features, e instâncias de SPLs também são definidas pela seleção ou configuração de features requeridas. Entretanto, abordagens diversas e complexas de SPLs têm sido obtidas com o uso de features. Diferentes abordagens de modelagem de features também têm sido propostas nos últimos anos, abrindo novas perspectivas em aspectos de variabilidade a serem gerenciados. A técnica de Modelagem de Features Orientada a Objetos (OOFM) foi proposta com o objetivo de cobrir tais aspectos de variabilidade, bem como fornecer uma solução padronizada de produção de SPLs baseadas em features. OOFM se baseia em abordagens OO representativas de features, operações comuns identificadas de manipulação de features, e recursos OO de programação e de herança existentes. Sua formalização é baseada em expressões OCL definidas e Perfil UML modelado. Ferramentas de suporte incrementam a sua usabilidade e compatibilidade com relação a técnicas de modelagem de features existentes. Finalmente, OOFM Framework e OOFM Process desenvolvidos garantem a produção padronizada de SPLs e de sistemas concretos com base na OOFM. Foram realizadas importantes avaliações entre a proposta OOFM e técnicas de modelagem de features existentes. Como resultado, OOFM se apresentou como uma solução integrada de aspectos de variabilidade que permite a análise e o projeto da variabilidade de sistemas diversos em termos de features.

Submitted by Suelen Reis (suziy.ellen@gmail.com) on 2013-04-05T14:37:36Z No. of bitstreams: 2 sandrachristiept2seg.pdf: 3080475 bytes, checksum: 6a08e80ffba513a2d909b194e9a51a2b (MD5) sandrachristiept1seg.pdf: 3391221 bytes, checksum: 7a9a6cdefbdb3c31580b95fb26ffe439 (MD5) / Approved for entry into archive by Lêda Costa(lmrcosta@ufba.br) on 2013-04-18T12:08:35Z (GMT) No. of bitstreams: 2 sandrachristiept2seg.pdf: 3080475 bytes, checksum: 6a08e80ffba513a2d909b194e9a51a2b (MD5) sandrachristiept1seg.pdf: 3391221 bytes, checksum: 7a9a6cdefbdb3c31580b95fb26ffe439 (MD5) / Made available in DSpace on 2013-04-18T12:08:35Z (GMT). No. of bitstreams: 2 sandrachristiept2seg.pdf: 3080475 bytes, checksum: 6a08e80ffba513a2d909b194e9a51a2b (MD5) sandrachristiept1seg.pdf: 3391221 bytes, checksum: 7a9a6cdefbdb3c31580b95fb26ffe439 (MD5) Previous issue date: 2008 / Constituída por uma abordagem prático-teórica, esta pesquisa propõe práticas em arte através da descoberta do espaço mediante ações provocadas pela linha, tomando-a como elemento material e imaterial. Propõe-se uma apreciação de um percurso dinâmico, que ganha espaços mediante o fazer proveniente de uma ação tradicional, como é a feitura do fio e a tecelagem, assim como a experiência com meios próprios da arte contemporânea, como fotografia, instalações, vídeo-arte e performance. Em ambas as instâncias o deslocamento existe como uma constante. Mas esse não é um trânsito que avança em linha reta, em direção a um único objetivo, senão um caminho excêntrico construído por várias ações contidas no verbo DESENVOLVER, é dizer, ENVOLVER, VOLVER e VER. Tomam-se cada um destes verbos como Acontecimentos, no sentido de serem uma conseqüência da ação entre as palavras e as coisas. Estes associam as possibilidades de criação e reflexão. Ambos - Linhas e Acontecimentos - apresentam-se aqui como elementos maleáveis em constante mutação e interação, constituindo matéria e conceitos heterogêneos, podendo ser fragmentados e dispostos em diversas ordens, constituindo um conjunto de obras que foram apresentadas no Forte São Marcelo em Salvador. A relevância desta pesquisa consiste em conformar em obras conceitos, técnicas e práticas tradicionais de arte, principalmente das culturas andina e afro-brasileira, com práticas da arte contemporânea. Conciliar estas idéias revela não só preocupações como artista, mas uma preocupação planetária que evidencia angústia pela própria identidade, o trânsito e o híbrido. A Prática de arte proporciona algumas respostas, pois os produtos de mãos que nunca descansam estão atestados por elementos restauradores entre vida e arte; não importa a técnica, durante o processo o mundo adquire matizes diferentes. / Salvador

Submitted by Edileide Reis (leyde-landy@hotmail.com) on 2013-05-14T13:55:28Z No. of bitstreams: 1 Palmira Virginia Bahia Heine.pdf: 4393027 bytes, checksum: 2d6271c02943ecacc991a2ab5f8fa1fb (MD5) / Approved for entry into archive by Alda Lima da Silva(sivalda@ufba.br) on 2013-05-16T17:50:13Z (GMT) No. of bitstreams: 1 Palmira Virginia Bahia Heine.pdf: 4393027 bytes, checksum: 2d6271c02943ecacc991a2ab5f8fa1fb (MD5) / Made available in DSpace on 2013-05-16T17:50:14Z (GMT). No. of bitstreams: 1 Palmira Virginia Bahia Heine.pdf: 4393027 bytes, checksum: 2d6271c02943ecacc991a2ab5f8fa1fb (MD5) Previous issue date: 2009 / Com base na perspectiva teórica da Análise do Discurso de Linha Francesa, e apoiado nos estudos sobre ethos desenvolvidos por Maingueneau (2005a, 2006), esta Tese dedica-se à investigação da construção do ethos, entendido como a imagem que o enunciador cria de si no discurso, tendo como corpora blogs de universitários e préuniversitários. Um dos objetivos da pesquisa é compreender a construção do ethos como um evento essencialmente discursivo, levando em conta, em tal construção, a participação de enunciadores e co-enunciadores, bem como o modo como estereótipos sociais guiam a construção da imagem dos enunciadores. Os resultados apontam a constituição do ethos como um processo essencialmente interativo, que pressupõe a participação igualitária entre enunciadores e co-enunciadores, que se apóiam, de forma substantiva, em restrições impostas pelos estereótipos sociais, uma vez que o enunciador, como sujeito descentrado e não origem do dizer, não pode construir aleatoriamente qualquer imagem de si, uma vez que se submete a expectativas dos coenunciadores e às cenas validadas pelos estereótipos. / Salvador

OLIVEIRA, Ana Karolinna Maia de. Estudo de casos de complexidade de colorações gulosa de vértices e de arestas. 2011. 58 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2011. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-08T18:03:48Z No. of bitstreams: 1 2011_dis_akmoliveira.pdf: 520341 bytes, checksum: b0c0d48f19d7c3e376c2c79c3a815b08 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-13T12:34:49Z (GMT) No. of bitstreams: 1 2011_dis_akmoliveira.pdf: 520341 bytes, checksum: b0c0d48f19d7c3e376c2c79c3a815b08 (MD5) / Made available in DSpace on 2016-07-13T12:34:49Z (GMT). No. of bitstreams: 1 2011_dis_akmoliveira.pdf: 520341 bytes, checksum: b0c0d48f19d7c3e376c2c79c3a815b08 (MD5) Previous issue date: 2011 / The vertices and edges colorings problems, which consists in determine the smallest number of colors needed to color the vertices and edges of a graph, respectively, so that adjacent vertices and adjacent edges, respectively, have distinct colors, are computationally hard problems and recurring subject of research in graph theory due to numerous practical problems they model. In this work, we study the worst performance of greedy algorithms for coloring vertices and edges. The greedy algorithm has the following general principle: to receive, one by one, the vertices (respect. edges) of the graph to be colored by assigning always the smallest possible color to the vertex (resp. edge) to be colored. We note that so greedy coloring the edges of a graph is equivalent to greedily coloring its line graph, this being the greatest interest in research on greedy edges coloring. The worst performance of the Algorithms is measured by the greatest number of colors they can use. In the case of greedy vertex coloring, this is the number of Grundy or greedy chromatic number of the graph. For the edge coloring, this is the greedy chromatic index or Grundy index of the graph. It is known that determining the Grundy number of any graph is NP-hard. The complexity of determining the Grundy index of any graph was however an open problem. In this dissertation, we prove two complexity results. We prove that the Grundy number of a (q,q−4)-graph can be determined in polynomial time. This class contains strictly the class of cografos P4-sparse for which the same result had been established. This result generalizes so those results. The presented algorithm uses the primeval decomposition of graphs, determining the parameter in linear time. About greedy edge coloring, we prove that the problem of determining the Grundy index is NP-complete for general graphs and polynomial for catepillar graphs, implying that the Grundy number is polynomial for graphs of line of caterpillars. More specifically, we prove that the Grundy index of a caterpillar is D or D+1 and present a polynomial algorithm to determine it exactly. / Os problemas de coloracão de vértices e de arestas, que consistem em determinar o menor número de cores necessárias para colorir os vértices e arestas de um grafo, respectivamente, de forma que vértices adjacentes e arestas adjacentes, respectivamente, possuem cores distintas, são problemas computacionalmente difíceis e são objeto de pesquisa recorrente em teoria do grafos em virtude de inúmeros problemas práticos que eles modelam. No presente trabalho, estudamos o pior desempenho dos algoritmos gulosos de coloração de vértices e de arestas. O algoritmo guloso tem o seguinte princípio geral: receber, um a um, os vértices (respect. as arestas) do grafo a ser colorido, atribuindo sempre a menor cor possível ao vértice (resp. aresta) a ser colorido. Observamos que colorir de forma gulosa as arestas de um grafo equivale a colorir de forma gulosa o seu grafo linha, tendo sido este o maior interesse na pesquisa em coloração gulosa de arestas. O pior desempenho dos algoritmos é medido pelo maior número de cores que eles podem utilizar. No caso da coloração gulosa de vértices, esse é o número de Grundy ou número cromático guloso do grafo. No caso da coloração de arestas, esse é o íındice cromático guloso ou íındice de Grundy do grafo. Sabe-se que determinar o número de Grundy de um grafo qualquer é NP-difícil. A complexidade de determinar o índice de Grundy de um grafo qualquer era entretanto um problema em aberto. Na presente dissertação, provamos dois resultados de complexidade. Provamos que o número de Grundy de um grafo (q,q−4) pode ser determinado em tempo polinomial. Essa classe contém estritamente a classe dos cografos e P4-esparsos para os quais o mesmo resultado havia sido estabelecido. Esse resultado generaliza portanto aqueles resultados. O algoritmo apresentado usa a decomposição primeval desses grafos, determinando o parâmetro em tempo linear. No que se refere à coloração de arestas, provamos que o problema de determinar o índice de Grundy é NP-completo para grafos em geral e polinomial para grafos caterpillar, implicando que o número de Grundy é polinomial para os grafos linha desses. Mais especificamente provamos que o índice de Grundy dos caterpillar é D ou D+1 e apresentamos um algoritmo polinomial para determiná-lo exatamente.

SANTOS, Ismayle de Sousa. Um ambiente para geração de cenários de testes para linhas de produtos de software sensíveis ao contexto. 2013. 135 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T16:56:08Z No. of bitstreams: 1 2013_dis_issantos.pdf: 3899116 bytes, checksum: 671b1907d9f723390441a5b8ed58142c (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-18T14:56:20Z (GMT) No. of bitstreams: 1 2013_dis_issantos.pdf: 3899116 bytes, checksum: 671b1907d9f723390441a5b8ed58142c (MD5) / Made available in DSpace on 2016-07-18T14:56:20Z (GMT). No. of bitstreams: 1 2013_dis_issantos.pdf: 3899116 bytes, checksum: 671b1907d9f723390441a5b8ed58142c (MD5) Previous issue date: 2013 / A Context-Aware Software Product Line (CASPL) is a product line for developing context-aware applications, which dynamically change their behavior or provide services based on context information. With this kind of line, the productivity can be increased and the development costs of the context-aware application can be cut down. In this scenario, the testing activity needs to deal with the peculiarities of both context-aware applications and the product line development paradigm. Through the complexity involved in testing a CASPL is essential to have methods or tools for supporting this activity, especially with the goal of creating tests from requirements. The aim of this early testing generation is to identify and fix the defects in the early stages of development. Therefore, this work aims to propose an environment for generating test scenarios for a CASPL that takes into account the presence of context information and seeks to maximize the testing reuse. This environment consists of a testing scenario generation method, a template for textual use case specification and a support tool. The method uses as input textual use cases especifications with information about: funcionality, variability, and how the context afect the final products. The environment also has a use case template that supports the use of the method and a tool support, which allows the modeling of use cases according to this template and implements the proposed method. In order to verify the benefits of the environment as a way to testing generation for a Context-Aware Software Product Line, an assessment in the form of controlled experiment is conducted. Based on the collected results, it is observed that: the use of the template makes easy the understanding of a Context-Aware Software Product Line use case; the method favors the creation of a set of tests with higher coverage than a non-systematic testing generation; and the tool is the necessary support for the method. / Uma Linha de Produto de Software Sensível ao Contexto (LPSSC) é uma linha de produto para o desenvolvimento de aplicações sensíveis ao contexto, que alteram dinamicamente o comportamento ou que proveem serviços com base em informações de contexto. Nesse cenário, a atividade de testes precisa lidar ao mesmo tempo com as peculiaridades das aplicações finais, que são sensíveis ao contexto, e com o paradigma de desenvolvimento em linha de produto. Mediante a complexidade envolvida nos testes de uma LPSSC, é fundamental a existência de métodos ou ferramentas de suporte a essa atividade, especialmente com a intenção de criar testes a partir dos requisitos da linha. O objetivo dessa geração precoce dos testes é permitir a identificação e correção dos defeitos nos estágios iniciais de desenvolvimento. Dessa forma, esta dissertação tem por objetivo propor um ambiente de geração de cenários de testes para uma LPSSC que utiliza especificações textuais de casos de uso com informações de contexto e que possibilita a reutilização dos testes. Este ambiente é constituído pela proposta de um método de geração de cenários de testes, de um template para especificação textual de casos de uso de uma LPSSC e de uma ferramenta de apoio. O método utiliza como base especificações textuais de casos de uso com informações sobre: funcionalidade, variabilidade da linha, e como o contexto afeta os produtos finais. O ambiente também contém o template para caso de uso que fornece suporte ao uso do método e a ferramenta de apoio, que permite a modelagem de casos de uso segundo esse template e implementa o método proposto. Com a intenção de verificar os benefícios do ambiente, proposto nesta dissertação, quanto a geração de cenários de testes para uma LPSSC, conduziu-se uma avaliação preliminar na forma de experimento controlado. Baseado nos resultados coletados nessa avaliação percebeu-se que: o template favorece o entendimento de um caso de uso de uma LPSSC; o método favorece a criação de um conjunto de testes com uma maior cobertura para uma LPSSC, se comparado a criação de testes de forma não sistemática; e a ferramenta representa um suporte necessário.

MARINHO, Fabiana Gomes. PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto. 2012. 181 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T19:42:02Z No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:39:31Z (GMT) No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) / Made available in DSpace on 2016-07-25T11:39:31Z (GMT). No. of bitstreams: 1 2012_tese_fgmarinho.pdf: 5103390 bytes, checksum: dd5da728cc7af5f3e122c8c7afaf49aa (MD5) Previous issue date: 2012 / SPLc have been used to develop different types of applications, including the ones that run on mobile devices and are able to adapt when the context elements in which they are located change. These applications can change due to variations in their execution environment and inconsistent adaptations can occur, compromising the expected behavior. Then there is a need for creating a verification process to check the correctness and consistency of these SPLs as well as to check the correctness of both derived products and adapted products from these SPLs. Thus, this work proposes PRECISE - A Formal Verification Process for Feature Models of Mobile and Context-Aware Applications. PRECISE helps to identify defects in the variability modeling of an SPL for mobile and context-aware applications, minimizing problems that can take place during the execution of products generated from this SPL. It is worth noting that PRECISE is defined based on a formal specification and a set of well-formedness properties developed using First-Order Logic, which are prerequisites for the achievement of an unambiguous variability modeling. To evaluate PRECISE, a validation is performed from the formal specification and well-formedness properties defined in the process. This validation intends to show that PRECISE is able to identify defects, anomalies and inconsistencies in a variability model of an SPL for mobile and context-aware applications. In this validation, five different techniques are used: UML Profile, OCL, Propositional Logic, Prolog and Simulation. While minimizing the defects and inconsistencies in the variability models of an SPL, PRECISE still benefits from the generality and flexibility intrinsic to the formal notation used in its specification. / As LPSs, além do seu uso em aplicações tradicionais, têm sido utilizadas no desenvolvimento de aplicações que executam em dispositivos móveis e são capazes de se adaptarem sempre que mudarem os elementos do contexto em que estão inseridas. Essas aplicações, ao sofrerem alterações devido a mudanças no seu ambiente de execução, podem sofrer adaptações inconsistentes e, consequentemente, comprometer o comportamento esperado. Por esse motivo, é essencial a criação de um processo de verificação que consiga checar a corretude e a consistência dessas LPSS, bem como checar a corretude tanto dos produtos derivados como dos produtos adaptados dessas LPSs. Sendo assim, nesta tese de doutorado é proposto o PRECISE - um Processo de Verificação Formal para Modelos de Características de Aplicações Móveis e Sensíveis ao Contexto. O PRECISE auxilia na identificação de defeitos na modelagem da variabilidade de uma LPS para aplicações móveis e sensíveis ao contexto e, assim, minimiza problemas que ocorreriam durante a execução dos produtos gerados a partir dessa LPS. É importante ressaltar que o PRECISE é definido com base em uma especificação formal e em um conjunto de propriedades de boa formação elaborados usando Lógica de Primeira Ordem. Essa especificação é um pré-requisito para a realização de uma modelagem da variabilidade sem ambiguidades. Para avaliar o PRECISE, uma validação é realizada a partir da especificação formal e das propriedades de boa formação definidas no processo. Essa validação tem como objetivo mostrar que o PRECISE consegue identificar defeitos, anomalias e inconsistências existentes em um modelo de variabilidades de uma LPS para aplicações móveis e sensíveis ao contexto. Nessa validação, cinco técnicas diferentes são utilizadas: Perfil UML, OCL, Lógica Proposicional, Prolog e Simulação. Além de minimizar os defeitos e inconsistências dos modelos de variabilidades das LPSs, o PRECISE ainda se beneficia da generalidade e flexibilidade intrínsecas à notação formal usada na sua especificação.

SOUZA, Wallason Farias de. Sensoriamento remoto e SIG aplicados à análise da evolução espaçotemporal da linha de costa do município de Icapuí, Ceará - Brasil. 2016. 134 f. Dissertação (Mestrado em geografia)- Universidade Federal do Ceará, Fortaleza-CE, 2016. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-28T18:58:35Z No. of bitstreams: 1 2016_dis_wfsouza.pdf: 8761338 bytes, checksum: ec4e7460c4dcaa9fcbf283e5c60a97fe (MD5) / Approved for entry into archive by José Jairo Viana de Sousa (jairo@ufc.br) on 2016-08-02T14:23:50Z (GMT) No. of bitstreams: 1 2016_dis_wfsouza.pdf: 8761338 bytes, checksum: ec4e7460c4dcaa9fcbf283e5c60a97fe (MD5) / Made available in DSpace on 2016-08-02T14:23:50Z (GMT). No. of bitstreams: 1 2016_dis_wfsouza.pdf: 8761338 bytes, checksum: ec4e7460c4dcaa9fcbf283e5c60a97fe (MD5) Previous issue date: 2016 / The coastline is a dynamic environment and its constant morphodynamic adjustments resulting from natural and human processes. The municipality of Icapuí is situated at the eastern end of the state of Ceará - Brazil, has approximately 45 km of coastline and is one of the most complex environmental systems of Ceará, with varying morphologies of Quaternary origin, which are preserved stretches and impacts of human actions. The main objective of this research is to analyze the evolution timeline (1987-2014) of the coastline of Icapuí, analyzing in an integrated manner the local coastal dynamics. The research was conducted in five main stages: bibliographic and cartographic survey, field work, preparation and database analysis in GIS, the diagnosis of evolution with the development of cartographic products and projection scenarios. The coastal plain was compartmentalized into three sectors studies (west, central and east) and used four mathematical and statistical procedures extension "Digital Shoreline Analysis System 4.3" (DSAS) for ArcGIS 10.1, which allowed to compare the shorelines multitemporal extracted from remote sensors products through a base line and transects spaced 500 m apart. It was possible to estimate in meters, considering the clip timeline, the maximum variation (NSM), the absolute variation (SCE), the mean annual change (EPR) and annual linear regression trend (LRR). Assigns to the coastline five classes according to the processes identified in the sections, as follows: progradation continuous, mo*derate progradation and / or semi-relative stability, moderate erosion and / or semi-continuous and continuous erosion. It was evident that the most relevant progradational and erosive processes are present in the western sectors, subsectors erosion Retiro Grande, Redonda and Peroba with trends of -0.5 to -4 m / year, and central sectors with significant decreases in Barreiras da Sereia subsectors and Barrinha, that a decline of up to 115 meters in 27 years and trends between -1.2 and -4.5 m / year, with varying social and environmental impacts, while the eastern sector showed relative stability. From this, it was possible to discuss containment strategies erosion, project possible evolutionary scenarios and suggest directions for planning and management of the coastal zone of the municipality. / A linha de costa é um ambiente dinâmico e os seus constantes ajustes morfodinâmicos resultam de processos naturais e humanos. O Município de Icapuí está localizado no extremo leste do Estado do Ceará - Brasil, possui aproximadamente 45 km de linha de costa e representa um dos mais complexos sistemas ambientais do litoral cearense, com variadas morfologias de origem Quaternária, trechos relativamente conservados e impactos decorrentes das ações humanas. O objetivo principal desta pesquisa é analisar a evolução espaçotemporal (1987-2014) da linha de costa de Icapuí, considerando de forma integrada a dinâmica costeira local. A pesquisa foi realizada em cinco etapas principais: o levantamento bibliográfico e cartográfico, os trabalhos de campo, a elaboração e análise de banco de dados em SIG, o diagnóstico da evolução com a elaboração de produtos cartográficos e a projeção de cenários. Segmentou-se a planície litorânea em três setores de estudos (oeste, central e leste) e foram aplicados quatro procedimentos matemáticos e estatísticos da extensão Digital Shoreline Analysis System 4.3 (DSAS) para o ArcGIS 10.1, que permitiram comparar as linhas de costa multitemporais extraídas de produtos sensores remotos por meio de uma linha de base e transectos espaçados em 500 metros entre si. Possibilitou-se estimar em metros, considerando o recorte espaçotemporal, a variação máxima (NSM), a variação absoluta (SCE), a média de variação anual (EPR) e a tendência anual de regressão linear (LRR). Atribuíram-se à linha de costa cinco classes conforme os processos identificados nos trechos, sendo eles: progradação contínua, progradação moderada e/ou semicontínua, relativa estabilidade, erosão moderada e/ou semicontínua e erosão contínua. Evidenciou-se que os processos progradacionais e erosivos mais relevantes se encontram nos setores oeste, com erosão nos subsetores Retiro Grande, Redonda e Peroba, com tendências de -0,5 a -4 m/ano, e central com recuos significativos nos subsetores Barreiras da Sereia e Barrinha, essa com recuo de até 115 metros em 27 anos e tendências entre -1,2 e -4,5 m/ano, desencadeando variados impactos socioambientais, enquanto o setor leste denotou relativa estabilidade. Com suporte nisso, foi possível discutir as estratégias de contenção da erosão, projetar possíveis cenários evolutivos e sugerir direcionamentos para o planejamento e a gestão da zona costeira do município.

TORRES, A.R.A. Linha de cuidado em saúde do trabalhador: uma tecnologia para a organização do cuidado ao trabalhador com LER/DORT. 2013. 155 f. Dissertação. (MESTRADO EM SAÚDE DA FAMÍLIA) - Campus de Sobral, Universidade Federal do Ceará, Sobral, 2013. / Submitted by Djeanne Costa (djeannecosta@gmail.com) on 2017-09-19T12:54:26Z No. of bitstreams: 1 2013_dis_aratorres.pdf: 2129870 bytes, checksum: ba0cbd813fe8896116ae39e14ef4621f (MD5) / Approved for entry into archive by Djeanne Costa (djeannecosta@gmail.com) on 2017-10-03T15:09:44Z (GMT) No. of bitstreams: 1 2013_dis_aratorres.pdf: 2129870 bytes, checksum: ba0cbd813fe8896116ae39e14ef4621f (MD5) / Made available in DSpace on 2017-10-03T15:09:44Z (GMT). No. of bitstreams: 1 2013_dis_aratorres.pdf: 2129870 bytes, checksum: ba0cbd813fe8896116ae39e14ef4621f (MD5) Previous issue date: 2013 / The present study arose from the need to improve the comprehensiveness of health care workers, especially for workers with repetitive strain injuries and work-related musculoskeletal disorders. So our objective was to build a line of participatory comprehensive care for workers with work-related musculoskeletal disturbance in the SUS from the experience of professionals, managers and integrating the networks of health care. Eveloped in the city of Sobral, this research is a qualitative exploratory type. The action research was the methodology of choice for established itself as a methodology that aims to promote action and the ability to transform reality by the research subjects. Therefore, we used the research group, in a process that led to the formulation, by the subjects involved, the actions considered strategic to offer integral attention to these workers. There is a need of building a care line containing flows and duties of professional care network. We emphasize that these actions care line, were built collectively after four group meetings. The first meeting was to discuss and define the completeness priority actions identified by the group. The second meeting was a workshop that aimed to construct the flow line care, the third meeting a second workshop aimed to define the duties of the professional services that meet the employee and the third and last workshop meeting had as objective to present the flow built by group and validate assignments network of services that meets the employee with repetitive strain injuries and related musculoskeletal disorders work. As a method of treatment of the data we use discourse analysis. The results show that workers with the disease can seek various points of care network, including services emerged Primary Health Care, Specialized Care and Attention to Urgent and Emergency. Merged after the validation of 36 professional assignments.We show that the tasks presented include promotional, preventive, curative, rehabilitative and caregivers. We emphasize that to build a line of thought in need of care worker as the central aspect for your assistance and service flow. Thus, the line care proposal demonstrates a possibility the guarantee of completeness related to the organization of health services, showing the path to be taken by a user, from the Primary Health Care and going through different search services in a range of care required for solve your health problem. For the operation of the line care proposal is necessary to the existence of a shared work among professionals in the Primary Health Care and the other services that have appeared. In this process, as well as construction and agreement of the flow of attention, it is necessary to develop strategies for realizing this path in the network of worker's attention and establish 9 responsibilities and negotiate for safe transfer of care. / O presente estudo nasce da necessidade de melhorar a integralidade da atenção à saúde dos trabalhadores, destacando o trabalhador com lesões por esforços repetitivos e distúrbios osteomusculares relacionados ao trabalho - LER/DORT. Assim tivemos como objetivo construir participativamente uma linha de cuidado integral para o trabalhador com LER/DORT no âmbito do SUS a partir da experiência dos profissionais, gestores e usuários que compõem as redes de atenção à saúde. Desenvolvida no município de Sobral- Ceará, esta pesquisa é de natureza qualitativa do tipo exploratória. A pesquisa ação foi a metodologia de escolha por constitui-se como uma metodologia que visa à ação e promove a capacidade de transformação da realidade através dos sujeitos da pesquisa. Para tal, utilizamos a pesquisa em grupo, onde os participantes, profissionais das redes de atenção à saúde de Sobral, foram os responsáveis pela construção da linha de cuidado em um processo que levou à formulação, dos fluxos e atribuições que os próprios participantes da pesquisa e seus pares deverão desenvolver nos serviços em que trabalham com o objetivo de promover a integralidade da atenção à saúde do trabalhador. Ressaltamos que estas ações da linha de cuidado foram construídas no ano de 2012 coletivamente, após quatro encontros do grupo. O primeiro encontro foi para debater sobre integralidade e definir as ações prioritárias apontadas pelo grupo, o segundo encontro foi uma oficina que teve como objetivo construir o fluxo da linha de cuidado, o terceiro encontro a segunda oficina que teve como objetivo definir as atribuições dos profissionais dos serviços que atendem o trabalhador, e o quarto encontro, e última oficina, tiveram como objetivos apresentar o fluxo construído pelo grupo e validar as as as atribuições da rede datribuições da rede d atribuições da rede datribuições da rede d atribuições da rede d atribuições da rede d atribuições da rede datribuições da rede d atribuições da rede d atribuições da rede datribuições da rede de serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT. e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT.e serviços que atende o trabalhador com LER/DORT. Como método de tratamento dos dados obtidos utilizamos a análise do discurso. Os resultados apontam que trabalhadores com a doença podem buscar diversos pontos da rede de atenção, dentre eles serviços da Atenção Primaria a Saúde, da Atenção Ambulatorial Especializada, da Atenção Hospitalar e da Urgência e Emergência. Surgiram após a validação 36 atribuições para os profissionais. As atribuições identificadas incluíram ações promocionais, preventivas, curativas e de reabilitação. Ressaltamos que para construir a linha de cuidado pensamos na necessidade do trabalhador como o aspecto central para seu fluxo de atendimento e assistência. Dessa forma, a linha de cuidado proposta demonstra uma possibilidade da garantia da integralidade relacionada à organização dos serviços de saúde, mostrando o caminho a ser percorrido por um usuário, desde a APS e passando por diferentes serviços na 7 busca de um leque de cuidados necessários para resolver seu problema de saúde. Para o funcionamento da linha de cuidado proposta é necessário que exista um trabalho compartilhado entre os profissionais da APS e os demais serviços de saúde. Nesse processo, além da construção e pactuação do fluxo da atenção, é necessário a elaboração de estratégias para efetivar esse caminho a ser percorrido pelo trabalhador à rede de atenção, estabelecer a negociação de responsabilidades para garantir a qualidade e continuidade do cuidado.

ALMEIDA, A. R. O uso de análise de componentes independentes na extração de características dos sinais transitórios de faltas em linhas de transmissão de energia elétrica. 2017. 97 f. Tese (Doutorado em Engenharia Elétrica)-Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2017-10-05T11:40:13Z No. of bitstreams: 1 2017_tese_aralmeida.pdf: 10134467 bytes, checksum: 1fe4fbcbc4c1b84143957b9cc2985ba9 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2017-11-08T12:54:55Z (GMT) No. of bitstreams: 1 2017_tese_aralmeida.pdf: 10134467 bytes, checksum: 1fe4fbcbc4c1b84143957b9cc2985ba9 (MD5) / Made available in DSpace on 2017-11-08T12:54:55Z (GMT). No. of bitstreams: 1 2017_tese_aralmeida.pdf: 10134467 bytes, checksum: 1fe4fbcbc4c1b84143957b9cc2985ba9 (MD5) Previous issue date: 2017-09-01 / Several methods for localization and classification of faults in electric power transmission lines, using conventional techniques, computational intelligence and digital signal processing techniques have been proposed, intensively, on literature in the last three decades. These methods have improved the process of characterization of faults in various aspects. However, even the methods based on Wavelet Transform (WT), Artificial Neural Networks (ANN) and other techniques derived from smart Computing, do not have convenient and systematic way treaty faults in transmission systems whose data are contaminated by noise. Based on this evidence, this paper proposes a combination of methods using Independent Component Analysis (ICA), the Theory of the Travelling Waves (TTW) and Support Vector Machine (SVM) effective approaches to extracting characteristics of transient signals of fault even before signs considerably contaminated by noise. The approach was applied to locate and recognize faults in a transmission line 500 kV high voltage that connects the substation of President Dutra - MA to the substation of Boa Esperança - PI. The experiment was carried out for different types of faults that have occurred in different locations. The use of these methods applied to a real transmission line model has proven that the proposed methods, in combination, result in superior performance on location and classification of faults. The obtained errors are less than 1% to the location and accuracy of 100% for the classification of faults with noise. The proposed approach has shown performance best when compared to major conventional techniques, as well as when compared to techniques using Artificial Neural Networks and other computational intelligence techniques / Vários métodos para localização e classificação de faltas em linhas de transmissão energia elétrica, utilizando técnicas convencionais, inteligência computacional e técnicas de processamento digital de sinais têm sido propostas, de forma intensiva, na literatura nas tês últimas décadas. Esses métodos têm melhorado o processo de caracterização das faltas em vários aspectos. No entanto, mesmo os métodos baseados em Transformada Wavelet (TW), Redes Neurais Artificiais (RNA) e outras técnicas advindas da computação inteligente, não têm tratado de forma conveniente e sistemática as faltas em sistemas de transmissão cujos dados são contaminados por ruído. Partindo desta evidência, este trabalho propõe combinações de métodos que utilizam a Análise de Componentes Independentes (ACI), a Teoria das Ondas Viajantes (TOV) e Máquina de Vetores de Suporte (MVS) em abordagens eficientes para a extração de características dos sinais transitórios de falta mesmo diante de sinais consideravelmente contaminados por ruído. A abordagem foi aplicada para localizar e reconhecer as faltas, em uma linha de transmissão de alta tensão de 500 kV que interliga a subestação de Presidente Dutra - Ma à subestação de Boa Esperança -PI. O experimento foi realizado para diferentes tipos de faltas que ocorrem em diferentes localizações. A utilização destes métodos aplicados a um modelo real de linha de transmissão tem comprovado que os métodos propostos, de forma combinada, resultam em desempenho superior na localização e classificação de faltas. Os erros obtidos são inferiores a 1% para a localização com acurácia de 100% para a classificação de faltas com ruído. O desempenho da abordagem proposta tem apresentado melhores resultados quando comparados às principais técnicas convencionais, assim quando comparados às técnicas que utilizam Redes Neurais Artificiais e outras técnicas de inteligência computacional

O Problema de Balanceamento e Sequenciamento de Linhas de Montagem com Tempos de Setup dependentes da Sequência (SUALBSP, em inglês Setup Assembly Line Balancing and Scheduling) envolve a atribuição de tarefas às estações de trabalho e o sequenciamento destas tarefas dentro da estação à qual foi atribuída. Trabalhos anteriores propuseram soluções heurísticas com excelentes resultados, porém o uso de métodos exatos, por meio de algum resolvedor de Programação Inteira Mista, tem apresentado desempenhos decepcionantes, pois contém um subproblema NP-hard em todas as estações. Enquanto o modelo de Scholl, Boysen e Fliedner (2013) minimiza prioritariamente o número de estações, o modelo proposto neste trabalho parte da premissa que este é um dado definido. A partir de uma estimativa inicial de número de estações, processa-se o modelo com o objetivo de distribuir as tarefas e minimizar o tempo total de estação, que é o segundo objetivo do modelo original. Se este processamento for infactível, incrementa-se o número de estações em uma unidade e reprocessa-se o modelo até se encontrar um resultado factível. Experimentos computacionais em 101 instâncias de dados confirmam o bom desempenho da abordagem proposta, sem qualquer prejuízo à qualidade da solução. Portanto, os resultados apresentados demonstram que há espaço para estudos futuros a partir do uso de matheurísticas. / The Setup Assembly Line Balancing and Scheduling Problem (SUALBSP) involves the assigning of tasks to workstations and the sequencing of these tasks within the station to which they are assigned. Previous work has proposed heuristic solutions with excellent results, but the use of exact methods, by some Mixed-Integer Programming solver, has shown disappointing performance, because it contains an NP-hard sub problems in every station. While the model proposed by Scholl, Boysen and Fliedner (2013) primarily minimizes the numbers of stations, our model assumes it as a parameter. From an initial estimate of the number of stations, we process the model for allocating tasks and minimize station times, which is the second objective of the original model. If this processing is infeasible, we increase the number of stations by one unit and we reprocess the model to find a feasible result. Computational experiments in 101 instances of data set confirm the good performance of the proposed approach, without harming the quality of the solution. Therefore, the results show that there are opportunities for future studies based on the use of matheuristics.