Made available in DSpace on 2016-08-26T15:08:03Z (GMT). No. of bitstreams: 1 tese_2945_12Texto.pdf: 936300 bytes, checksum: ccd5aab7109ca8afaecb706a94fca62b (MD5) Previous issue date: 2008-09-05 / A obra do artista brasileiro Farnese de Andrade (1926-1996) é ambígua e singular. Com uma vasta produção na área do desenho, da gravura, da pintura e do objeto (que é o ponto principal desta pesquisa), o artista propôs um diálogo tanto com as vanguardas modernas quanto com o experimentalismo da arte contemporânea. Mas sua produção também estabelece uma forte conexão com outros espaços mais enraizados no nosso passado cultural, a partir do qual reconvoca os tantos elementos velhos, gastos pelo tempo e pelo uso, já com um passado inscrito em suas bordas. Sargaços do mar, objetos do cotidiano de velhas cozinhas coloniais, ex-votos, santos e oratórios outrora destinados às questões da fé ou, ainda, bonecas quebradas com seus olhos furados, bolas de vidro, mãos faltantes, vasos de cristal. Tudo já com um valor afetivo imbricado em suas ranhuras. Com esses elementos carregados de histórias, Farnese criou seus instigantes objetos: assemblages feitas com coisas dentro de coisas, cuidadosamente arrumadas, aprisionadas, afogadas em resinas coaguladas e condenadas a uma eterna solidão. Farnese criou um novo lar para esses seres de outrora, que agora, destituídos de suas funções originais, se eternizam como objetos de arte, mas ainda assim evocam segredos e lembranças de um tempo que não volta mais. Na obra de Farnese, esse tempo encontra um espaço de reconciliação. O tempo está suspenso, por ora. Palavras-Chave: Farnese de Andrade. Objeto na arte. Tempo em suspensão. Assemblage. Arte Contemporânea.

Programa de Pós-Graduação em Evolução Crustal e Recursos Naturais. Departamento de Geologia. Escola de Minas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-01-21T18:38:47Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_CaracterizaçãoGeológicaFormação.pdf: 9922987 bytes, checksum: 253f27a27a0b06ca4bdd2857c90c5b94 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-01-21T18:40:55Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_CaracterizaçãoGeológicaFormação.pdf: 9922987 bytes, checksum: 253f27a27a0b06ca4bdd2857c90c5b94 (MD5) / Made available in DSpace on 2015-01-21T18:40:55Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_CaracterizaçãoGeológicaFormação.pdf: 9922987 bytes, checksum: 253f27a27a0b06ca4bdd2857c90c5b94 (MD5) Previous issue date: 2014 / A Formação Capelinha é composta na região homônima por uma unidade basal predominantemente metapsamítica, formada por mica xistos, xistos quartzosos e quartzitos, puros ou micáceos, com magmatismo básico associado, e por uma unidade majoritariamente metapelítica, superior, composta por xistos peraluminosos granatíferos, às vezes com estaurolita e/ou cianita. No sentido de determinar o papel das rochas metabásicas e metassedimentares da Formação Capelinha na evolução do Orógeno Araçuaí, foram realizados estudos estratigráficos, estruturais, geoquímicos e geocronológicos (U-Pb em zircões ígneos através de LA-ICP-MS e Sm-Nd em rocha total). Os dados obtidos demonstram que a Formação Capelinha apresenta uma extensão territorial muito mais abrangente do que postulada na sua definição original. No atual estágio de conhecimento, verifica-se que a estruturação geral da Faixa de Dobramentos Capelinha (FDC) se assemelha a um cinturão de dobramentos assimétricos e invertidos, com a unidade inferior da Formação Capelinha se inserindo nos núcleos de anticlinais quilométricos. O acervo estrutural indica vergência para sul, contra o Bloco de Guanhães, onde a superfície de descolamento se revela na forma de uma falha de cinemática normal destral que separa as rochas arqueanas do Complexo Guanhães das rochas metassedimentares metamáficas Neoproterozóicas do Grupo Macaúbas. Três determinações geocronológicas pelo método U-Pb LA-ICP-MS nos quartzitos da unidade inferior indicam idade máxima de sedimentação em torno de 970 Ma. As análises litoquímicas realizadas a partir de amostras de rocha metabásica confirmam uma composição basáltica e afinidade toleítica da rocha gerada em ambiente continental intra-placa. Dados Sm-Nd indicam idade-modelo (TDM) no intervalo entre 1700 e 1500 Ma e εNd (956 Ma) variável entre -0,04 e -3,66. Os estudos geocronológicos U-Pb, feitos em cristais de zircão de duas amostras de anfibolito, revelam idade de cristalização magmática em ca. 956 Ma e idade de recristalização metamórfica em torno de 569 Ma. Todas as estruturas e a zoneografia metamórfica Barroviana clássica refletem o estágio colisional do orógeno Araçuaí. Uma determinação geocronológica pelo método U-Pb LA-ICP-MS realizada em xisto da unidade superior indica uma idade máxima de sedimentação em torno de 1123 Ma. Considerando as relações de contato, as características gerais dos anfibolitos da região de Capelinha e os dados geocronológicos obtidos para as unidades metassedimentares, a idade de cristalização magmática obtida (957±14 Ma) sugere um magmatismo sinsedimentar, contemporâneo ao estágio de rifteamento que levou a abertura da bacia Macaúbas no período Toniano, com a Formação Capelinha posicionando-se estratigraficamente na base do Grupo Macaúbas, como possível equivalente lateral das unidades pré-glaciais. ______________________________________________________________________________________________ / ABSTRACT: The Capelinha Formation, in the homonymous region, consists of a dominant metapsamitic basal unit formed by mica schists, quartz schists and quartzites, pure or micaceous, with lenses of metamafic rocks, and an upper metapelitic unit, mainly composed of peraluminous schists with garnet, staurolite and/or kyanite. In order to determine the role of the metabasic and metasedimentary rocks of the Capelinha Formation in the evolution of the Araçuaí orogen, stratigraphical, structural, geochemical, isotopical and geochronological studies were performed. The obtained data show that the Capelinha Formation presents a more comprehensive territorial extension than postulated in its original setting. At the current stage of knowledge, the Capelinha Fold Belt (CFB) resembles an inverted and asymmetric fold belt, with the lower unit inserted in the core of kilometric anticlines. The structural assets indicate tectonic vergence to the south, against the Guanhães Block, where detachment surface reveals itself as a normal fault with dextral kinematic component that separates the Archean rocks of the Guanhães Complex from metasedimentary and metamafic rocks that belong to the Neoproterozoic Macaúbas Group. Three geochronological determinations by U-Pb LA-ICP-MS method in the lower quartzite unit indicate a maximum age of sedimentation around 970 Ma. The metamafic rocks, metamorphosed to amphibolite facies, have tholeiitic basalt protoliths with a dominant within-plate signature, Sm-Nd TDM model ages ranging from 1700 to 1500 Ma and negative epsilon Nd (ƐNd (957 Ma) ranging from -0,04 to -3,66). U-Pb zircon ages for the amphibolites constraint magmatic crystallization at 957 Ma and metamorphic recrystallization at around 569 Ma. All the structures and the classic Barrowian metamorphic zoneography reflect the collisional stage of the Araçuaí orogen. A geochronological determination using U-Pb LA-ICP-MS method, performed on a peraluminous schist of the upper unit, indicates a maximum age of sedimentation around 1123 Ma. Based on the contact relationships, petrographic features and new geochronological studies, the Capelinha Formation can be related to the continental rift stage of the Macaúbas basin (precursor in the Araçuaí orogen), with synsedimentary magmatism, and may represent the lateral equivalent to the pre-glacial units developed during the Tonian time.

Programa de Pós Graduação em Engenharia Civil. Departamento de Engenharia Civil, Escola de Minas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2016-02-05T17:30:14Z No. of bitstreams: 1 DISSERTAÇÃO_InvestigaçãoResistênciaFogo.pdf: 1830592 bytes, checksum: c4bbcc4ebbfdc64e901d87c469d34637 (MD5) / Approved for entry into archive by Oliveira Flávia (flavia@sisbin.ufop.br) on 2016-02-05T17:30:56Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO_InvestigaçãoResistênciaFogo.pdf: 1830592 bytes, checksum: c4bbcc4ebbfdc64e901d87c469d34637 (MD5) / Made available in DSpace on 2016-02-15T11:08:52Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO_InvestigaçãoResistênciaFogo.pdf: 1830592 bytes, checksum: c4bbcc4ebbfdc64e901d87c469d34637 (MD5) Previous issue date: 2002 / Nesse trabalho, descreve-se os resultados de uma investigação da resistência ao fogo de barras de aço de seção “I” sujeita à flexão composta com o emprego do Método de Elementos Finitos, implementado no VULCAN. Em uma primeira etapa, a pesquisa de relações paramétricas para o cálculo da temperatura crítica em barra flexocomprimidaes de aço bi-rotulados, rotulados-engastados e bi-engastados à rotação, sendo o carregamento variado para quatro Razões da carga máxima.Os resultados são equações paramétricas para o cálculo da temperatura crítica de barras flexocomprimidas de aço sem proteção em função de um fator adimensional. Em uma segunda etapa, são pesquisadas curvas de resistência ao fogo para barra flexo-comprimidas de aço de perfis usuais na prática das construções de edifícios de andares múltiplos. As barras flexo-comprimidas são parcialmente protegidas (alma ou mesas protegidas), sendo as condições de extremidade são as da barra bi-rotulada. Foram examinadas duas situações de carregamento (diagramas de momentos fletores retangular e triangular combinado com carga axial) à temperatura ambiente para a carga solicitante em situação de incêndio. Diversas conclusões de caráter prático são apresentadas. ______________________________________________________________________________________ / ABSTRACT: In this work, a steel columns fire resistence investigation through the Finite Element Method implemented in the software VULCAN is presented. In a first stage, the investigation of parametric relations to determine critical temperatures and four load ratios of simply bars with simply supported ends, one end fixed and the other pinned and both ends fixed steel columns is described. Two loading situations were considered (moment diagrams retangular and triangular plus axial load) in fire are examined. The results are parametric equations to calculate critical temperatures of steel columns without passive fire protection as a function of na adimensional factor. In a second stage, fire resistence curves of multi stories buildings commonly used steel columns were investigated. These columns are partially fire protected (webs or flanges protected) being the end conditions that of a simply supported bar with several loadings. Practical conclusions are addressed.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015. / Made available in DSpace on 2016-02-09T03:13:48Z (GMT). No. of bitstreams: 1 337445.pdf: 1859632 bytes, checksum: d23aa3f633b333ba8fac44b9aae9a541 (MD5) Previous issue date: 2015 / Este trabalho se insere na área de protocolos de tempo real, abordando especificamente o Sistema de Comunicação FlexRay, um protocolo de tempo real para usos automotivos. O objeto de estudo deste trabalho foram os mecanismos de escalonamento de fluxos de mensagens para o FlexRay, bem como as técnicas utilizadas na análise de tempo de resposta em sistemas que utilizam tal protocolo. O objetivo geral desta tese foi a elaboração e a avaliação de mecanismos para o escalonamento e análise de tempo de resposta de sistemas que utilizem o Sistema de Comunicação FlexRay. São apresentadas quatro propostas. As duas primeiras propostas estão relacionadas ao segmento Estático do FlexRay. Ambas demonstram a viabilidade de se definir a alocação de slots estáticos para cada nodo utilizando técnicas tradicionais para a análise de tempo de resposta considerando-se os requisitos temporais impostos pelo conjunto de fluxos de mensagens de cada nodo, e são métodos capazes de considerar conjuntos de fluxos com períodos que não são múltiplos de FC, sendo também capazes de considerar o caso em que a geração de mensagens nos fluxos não está sincronizada com o FC. São também apresentadas duas propostas que abordam a questão do escalonamento de fluxos de mensagens aperiódicos no Segmento Dinâmico do FlexRay. Foram apresentados dois mecanismos para métodos de arbitragem do DN que tiram vantagem da flexibilidade que fluxos aperiódicos possuem em relação a restrições de tempo real. Em ambos os mecanismos, os fluxos de mensagens aperiódicos de um sistema são associados com uma probabilidade de backoff, e um middleware de tempo real específico utiliza tal probabilidade de backoff para definir se uma mensagem gerada por um fluxo aperiódico irá competir ou não pelo barramento no ciclo de comunicação atual, influenciando nas chances que mensagens com prioridades mais baixas tem de serem transmitidas.<br> / Abstract : This work addresses the FlexRay Communication System, a digital serial bus for automotive applications designed to meet the demands of X-by-Wire systems. It provides flexibility, bandwidth and determinism by combining static and dynamic approaches for message transmission, incorporating the advantages of synchronous and asynchronous protocols. The area of interest of this work is scheduling mechanisms for FlexRay, being the overall objective of this thesis the development and evaluation of new techniques for scheduling and timing analysis for FlexRay. In this document four proposals are presented. Two proposals are related to FlexRay Static Segment. These two proposals demonstrate the feasibility of defining the static slot allocation for each node using traditional Response Time Analysis (RTA) techniques, and thus considering the timing requirements imposed by the set of message streams allocated to each node. The proposed techniques are able to deal with message stream sets where periods are not multiples of the FlexRay cycle duration, nor the messages generation is synchronized with the FlexRay cycle. They are also presented two proposals addressing the scheduling of aperiodic message streams in FlexRay Dynamic Segment. Both mechanisms use a probabilistic approach that takes advantage of the flexibility of aperiodic message streams regarding real-time constraints. In the proposed methods, a real-time middleware in each network node manages the transmission of messages generated by aperiodic streams in Dynamic Segment. Whenever a RT-middleware senses that aperiodic messages may be indefinitely postponed, it enters backoff mode. In backoff mode, a RT-middleware randomly defines whether an aperiodic message that is waiting to be transmitted will be sent to the bus in the current FC or if that message will be postponed to another FC, affecting the transmission chances of messages generated by streams with lower priorities have of being transmitted.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2015. / Made available in DSpace on 2016-04-19T04:12:03Z (GMT). No. of bitstreams: 1 338229.pdf: 4836338 bytes, checksum: b4b5a740942ae75779da285d1344247e (MD5) Previous issue date: 2015 / Existe um consenso nos diferentes agentes do setor elétrico (geradores, distribuidores, comercializadores, etc.) sobre a necessidade de executar mudanças profundas no atual Sistema Elétrico de Potência (SEP). A visão desse SEP moderno é conhecida como ?Smart Grid? e é definida pelo Electric Power Research Institute (EPRI) como um SEP completamente automático que permite o fluxo bidirecional de eletricidade e informação entre clientes e fornecedores do serviço de energia elétrica. Nesse panorama, a modernização dos sistemas de automação das subestações de energia elétrica é fundamental para a materialização do smart grid. A norma internacional IEC 61850 padroniza o modelo de informação e os serviços de comunicação para sistemas de automação utilizados no SEP, particularmente em subestações, onde a sua implantação tem apresentado vantagens tanto na fase de projeto quanto na fase operação. Através de uma abordagem de sistemas de tempo real, este trabalho estuda o barramento de processos definido pela norma, destacando o tempo de transmissão fim a fim das mensagens como o principal índice de desempenho do sistema de comunicação. O estudo foi dividido em duas etapas: inicialmente foram desenvolvidos modelos de simulação para cada um dos dispositivos que compõem o barramento de processos. Estes modelos foram integrados em uma plataforma de simulação que permite visualizar e estimar o comportamento temporal das mensagens especificadas pela norma supracitada (GOOSE e Sample Values). Na segunda etapa, foi realizado um estudo de mercado com o objetivo de adquirir equipamentos para conformar a infraestrutura básica de um laboratório que viabilize a formação de engenheiros na área de automação de sistemas elétricos. Com a aquisição desses equipamentos e com a ajuda de uma ferramenta de geração de mensagens (desenvolvida também como parte deste trabalho) foi possível estabelecer relações entre os resultados do sistema simulado e o comportamento do sistema real.<br> / Abstract : Within the different electric power agents (generators, distributors, suppliers, etc.), there is a general agreement about the need to perform deep changes in the current Electric Power System (EPS). The concept of this modern EPS is termed "Smart Grid" and is defined by the Electric Power Research Institute (EPRI) as a fully automatic EPS that allows bidirectional flow of electricity and information between customers and suppliers of electrical services. In this scenario, the modernization of automation systems used in electrical substations is crucial for the realization of the smart grid. The international standard IEC 61850 standardizes the information model and the communication services for automation systems used in EPS, particularly in substations, where it has shown advantages both in the design phase and in the operational phase. Using a real-time systems approach, this work studies the process bus defined by this standard, highlighting the transmission end-to-end time of the messages as the main performance metric of the communication system. The study was divided in two stages: in the initial stage, simulation models were developed for each of the devices that constitute the process bus. These models were integrated into a simulation platform that allows the user to observe and estimate the temporal behavior of the messages specified by the standard (GOOSE and Sample Values). In the second stage, a market study was carried out in order to acquire equipment for creating the basic infrastructure of a laboratory for the qualification of engineers in the field of electrical systems automation. With the purchase of these devices and with the help of a message generation tool (also developed as part of this work) it was possible to establish relationships between the results of the simulated system and the real system behavior.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2012 / Made available in DSpace on 2013-06-25T19:20:31Z (GMT). No. of bitstreams: 1 313378.pdf: 967313 bytes, checksum: 012ab6f0cbb1ad0adcf9ee8e7b0f6036 (MD5) / Sistemas computacionais de tempo real são identificados como aqueles sistemas computacionais submetidos a requisitos de natureza temporal. Nestes sistemas, os resultados devem estar corretos não somente do ponto de vista lógico, mas também devem ser gerados no momento correto. Em tais sistemas, quando existe o compartilhamento de recursos, a sincronização de tarefas no acesso a estes é fundamental para garantir tanto a exclusão mútua, quanto a limitação no tempo de espera (evitando inversões de prioridade descontroladas), visto que isto pode induzir as tarefas a gerarem seus resultados em momentos incorretos (perda de deadlines ou não atendimento de algum requisito temporal). O não atendimento de um requisito temporal pode resultar em consequências catastróficas tanto no sentido econômico quanto em vidas humanas, dependendo do tipo de sistema. Para sincronização em multiprocessadores, alguns protocolos para escalonamento particionado foram propostos, como o Multiprocessor Priority Ceiling Protocol (MPCP), Flexible Multiprocessor Locking Protocol (FMLP) e o Multiprocessor Stack Resource Policy (MSRP). Neste contexto, esta dissertação de mestrado propõe duas variações para o protocolo MPCP, com as devidas análises de escalonabilidade e fatores de bloqueios associados. No entanto, ambas as variações podem ser encaradas também como variações do FMLP, dependendo do ponto de vista, pois abrangem características comuns a ambos os protocolos. Tais variações são o MPCP não preemptivo e MPCP com enfileiramento FIFO. Esta dissertação também apresenta comparações empíricas entre as propostas apresentadas e os protocolos existentes. Como resultados gerais, as propostas apresentadas se mostraram competitivas tanto em escalonabilidade quanto em overhead de implementação. O MPCP com enfileiramento FIFO se posicionou muito bem em sua versão baseada em suspensão. O MPCP não preemptivo, em sua versão baseada em spin obteve resultados muito próximos ao FMLP short. Do ponto de vista prático, as variações propostas facilitam a utilização em sistemas reais, quando comparadas com as propostas originais.<br> / Abstract : Real-time computational systems are identified as those systems subjected requirements of temporal nature. In these systems, the results should be correct not only from logical point of view, but also must be generated at the right time. In such systems, when there is resource sharing, tasks synchronization on access to these resources is essential to ensure both mutual exclusion and limitation of the waiting time (avoiding uncontrolled priority inversion), as this may induce the tasks to generate their results at wrong times (miss of deadlines or not meet a time requirement). A failure to meet a time requirement can result in catastrophic consequences both in the economic sense and in human lives, depending on the type of the system. For synchronization in multiprocessors, some protocols have been proposed for partitioned scheduling, as the Multiprocessor Priority Ceiling Protocol (MPCP), Flexible Multiprocessor Locking Protocol (FMLP) and Multiprocessor Stack Resource Policy (MSRP). In this context, this dissertation proposes two changes to the MPCP protocol, with appropriate schedulability analysis and blocking factors associated. However, both variants can also be viewed as variations of FMLP, depending on the point of view, because they cover features common to both protocols. Such variations are the nonpreemptive MPCP and the MPCP with FIFO queuing. This dissertation also presents empirical comparisons between the previously mentioned well-known protocols and the proposed variations. As general results, the proposals have showed to be competitive in both schedulability and implementation overhead. The MPCP with FIFO queuing was positioned very well in the suspension-based version. The nonpreemptive MPCP, in his spin-based version obtained results very close to the FMLP short. From a practical standpoint, the proposed changes facilitate the implementation in real systems, when compared to the original proposals.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2013-07-15T22:45:07Z (GMT). No. of bitstreams: 1 223492.pdf: 805066 bytes, checksum: 93d975d681991b781bea844cd7779943 (MD5) / Apresenta-se neste trabalho um estudo sobre estimacao de filas emtrafego urbano. Inicialmente, revisa-se alguns conceitos de trafego uteis ao entendimento do problema e apresentase de maneira concisa alguns dos modelos de dinamica de filas existentes juntamente com alguns dos sistemas de controle em tempo real que utilizam estes modelos. A partir deste estudo, e feita uma proposta de modelo de dinamica de filas horizontais que permite descrever o atraso veicular e a posicao do final da fila em uma via dotada de um detector veicular. O modelo proposto testado em duas configuracoes, uma delas com apenas um detector veicular na entrada da via, e outra com dois detectores veiculares, um na entrada e outro na saIda da via. Os resultados mostram a viabilidade do modelo para a segunda configuracao citada.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística. / Made available in DSpace on 2013-07-15T23:57:12Z (GMT). No. of bitstreams: 1 214105.pdf: 1294712 bytes, checksum: cd8679fa4d5da19eb1807eb991ff8e20 (MD5) / Mostro no trabalho que existe uma perífrase progressiva no alemão falado em Pomerode (interior de Santa Catarina). Ela se caracteriza por um dispositivo morfossintático regular, constituído de um verbo no infinitivo, que carrega a informação de conteúdo da construção, de uma partícula bei(m) que, em conjunção com a derivação _en do verbo principal, confere progressividade à sentença, e ainda de um verbo auxiliar (sein) que carrega a informação temporal da sentença. Para estabelecer que se trata mesmo de uma perífrase, descrevo os componentes individuais que constituem a forma, bem como o processo de gramaticalização subjacente à mesma, fazendo um paralelo com uma forma similar que está se gramaticalizando no alemão da Alemanha (am + V_en + sein) e em outras línguas e dialetos germânicos. Contesto a literatura alemã sobre o PROG-PREP, na parte em que nega à forma com bei(m) a possibilidade de gramaticalizar-se como tal, em função de uma suposta remanescência de significação locativa da construção (que já não seria mais perceptível no PROG-am). Com os testes aplicados indico a abrangência de uso da forma para além de contextos intransitivos e com verbos aditivos, o que, entre os critérios definidos pelas teorias de gramaticalização, seriam sinais de um estágio avançado no continuum. Apresento, ainda, um esboço de uma possível representação sintática das estruturas com bei(m) apresentadas pelos pomerodenses e faço algumas considerações sobre a semântica do bei(m).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2012. / Made available in DSpace on 2013-07-16T04:27:08Z (GMT). No. of bitstreams: 1 317480.pdf: 3353906 bytes, checksum: b3ecb061cf18ba18f385d106e1fde094 (MD5) / Projetos de software muitas vezes fracassam porque não são adequadamente gerenciados. Estabelecer um gerenciamento de projetos eficiente e eficaz, principalmente em relação ao planejamento de tempo, ainda é um desafio para muitas organizações de software. Na direção de suprir estas necessidades, modelos de melhores práticas, como, o Capability Maturity Model Integration (CMMI) e o Project Management Body of Knowledge (PMBOK) estão sendo desenvolvidos para apoiar as organizações na melhoria do gerenciamento de projetos. Ainda não existe um modelo unificado focado no contexto de micro e pequenas empresas (MPEs). Neste sentido, este trabalho apresenta um modelo de processo para o planejamento de tempo alinhado ao PMBOK e ao CMMI-DEV. Para aplicar o modelo de processo em situações práticas, uma ferramenta open-source de gerenciamento de projetos - dotProject - foi evoluída e avaliada por especialistas em gerenciamento de projetos. Os resultados desta pesquisa têm por finalidade facilitar a adoção das praticas de planejamento de tempo em MPEs, contribuindo positivamente na sua competitividade.<br> / Abstract : Software projects often fail, because they are not adequately managed. The establishment of effective and efficient project management practices especially with respect to time management still remains a key challenge to software organizations. Striving to address these needs, "best practice" models, such as, the Capability Maturity Model Integration (CMMI) or the Project Management Body of Knowledge (PMBOK), are being developed to assist organizations in improving project management. Yet, so far there does not exist a unified model focusing on the context of small and medium enterprises (SMEs). Therefore, this thesis presents a generic model for time planning aligned with CMMI and PMBOK. In order to facilitate its application in practice an open-source tool - dotProject - has been enhanced and evaluated by project management specialists. The results of this research are expected to facilitate the adoption of time planning practices in SME contributing positively to their competitiveness.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Elétrica / Made available in DSpace on 2013-12-05T21:34:31Z (GMT). No. of bitstreams: 1 227433.pdf: 760078 bytes, checksum: 07e3cb547dcf4198839f5df034bb4157 (MD5) / Aplicações tempo real modernas são dinâmicas, e não podem basear-se em cargas de trabalho no pior caso para oferecer garantias de execução. Então são necessários algoritmos de escalonamento capazes de tratar situações onde não existem recursos suficientes para todo o sistema. Nesse contexto a teoria do escalonamento baseado em valor torna-se útil para adicionar generalidade e flexibilidade a tais sistemas. Esta dissertação apresenta um estudo comparativo entre o comportamento de diferentes escalonadores tempo real em situações de sobrecarga, considerando o papel desempenhado pelo parâmetro valor. Os algoritmos analisados são EDF, HVF, HDF e DMB (Dynamic Misses Based). Este último é introduzido aqui para alterar dinamicamente o valor das tarefas refletindo suas importâncias de acordo com o número de deadlines perdidos. O principal objetivo da análise é definir o algoritmo de escalonamento mais adequado para ser usado em conjunto com a estratégia de escalonamento TAFT (Time-Aware Fault-Tolerant), levando-se em conta sua capacidade de utilizar o parâmetro valor para controlar o comportamento das tarefas. Os resultados obtidos mostram que algoritmos de escalonamento que usam o valor apresentam um melhor desempenho geral, com a penalidade da diminuição da funcionalidade. O algoritmo DMB aliado ao TAFT alcançou os resultados mais promissores devido à sua capacidade de controlar a degradação das tarefas durante a execução da aplicação.