Made available in DSpace on 2014-06-12T15:50:21Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Com a crescente demanda por diminuição de custos no desenvolvimento de software, há a necessidade de que os programas possam ser construídos de acordo com uma especificação concordante com os requisitos do cliente. Nesse sentido, a especificação formal pode ser utilizada para representar os requisitos do sistema. Uma vez que a especificação formal foi desenvolvida, ela pode ser usada como base para investigar determinadas propriedades através de um verificador de modelos. Ele aceita modelos e propriedades que o sistema final deve satisfazer. Então, a ferramenta gera uma resposta positiva se um dado modelo satisfaz uma dada especificação ou um contra-exemplo, em caso negativo. O contra-exemplo detalha a situação em que o modelo não foi satisfeito. Mas na maioria das vezes, problemas do mundo real não podem adotar essa abordagem porque usam domínios infinitos (levando ao problema da explosão de estados). Como forma de resolver essa questão, técnicas de abstração de dados são empregadas para gerar especificações abstratas finitas a partir de sistemas infinitos concretos. A linguagem de especificação usada nesse trabalho é CSP (Communicating Sequential Processes). Ela é uma linguagem formal que é usada para descrever padrões de interação em sistemas concorrentes. Uma das técnicas de abstração para especificações possíveis para essa linguagem é a abstração segura de dados. Essa abstração visa gerar um modelo abstrato a partir de um equivalente concreto que conserve as propriedades do sistema com respeito ao comportamento (modelo de traces) através da escolha de um dado do domínio abstrato para cada subconjunto do domínio concreto. O objetivo desse trabalho é propor um algoritmo para geração mecanizada de abstrações seguras para sistemas CSP seqüenciais com recursão simples. A especificação do algoritmo é apresentada usando o paradigma funcional e elementos da linguagem Z, com a introdução da estratégia através de exemplos. No estudo de caso, o software Mathematica é usado para instanciar os valores das variáveis e realizar a simplificação dos predicados construídos a partir desse algoritmo. Com esse trabalho, é possível gerar abstrações seguras de forma mecânica, e por conseqüência verificar o comportamento de modelos infinitos. Ademais, a geração de dados de testes automática também é beneficiada, já que com o domínio abstrato dos dados é possível percorrer todos os caminhos do sistema, gerando 100% de cobertura do modelo. Esse esforço é justificado pela importância que a fase de testes tem para a qualidade do software. Estudos prévios mostraram que essa fase demanda mais de 50% do custo de seu desenvolvimento, e uma pesquisa detalhada realizada nos Estados Unidos quantifica os altos impactos econômicos de uma infra-estrutura de software

Made available in DSpace on 2014-06-12T15:54:22Z (GMT). No. of bitstreams: 2 arquivo6810_1.pdf: 6835448 bytes, checksum: c0d7925f9b3d3dc6c0e86c6e611e5cfa (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Universidade Federal de Pernambuco / Atualmente diversas pesquisas têm sido elaboradas para melhorar o uso da tecnologia móvel pelo usuário final. O desenvolvimento da quarta geração de sistemas de comunicação móveis (4G) possui grandes desafios para a Internet do Futuro (FI). Dentre estes desafios está a transparências de handover vertical, pois esta ação influencia diretamente na percepção do usuário quanto à qualidade de experiência (QoE) e qualidade de serviço (QoS). Este trabalho propõe um modelo para transparência de handover vertical centrado nas preferências do usuário, nos requisitos de suas aplicações e nas características das redes. O modelo proposto possibilita a predição de caminhos de um usuário com perfil de mobilidade e a busca antecipada de informações das futuras redes candidatas de forma colaborativa. Para selecionar previamente a rede candidata, utiliza-se o método AKAIKE em conjunto com a técnica de regressção linear múltipla para estimar a melhor rede, considerando até nove parâmetros, como características da rede, requisitos da aplicação e preferências do usuário. Este modelo apresenta como diferencial a integração entre estas funções, por meio da utilização de mensagens de sinalização MIH (Media Independent Handover), tornando-o compatível com o padrão IEEE 802.21. Como metodologia de avaliação de desempenho utilizou-se a modelagem com rede de Petri e matemática, assim como simulações com a ferramenta estatísitca R, a ferramenta de simulação Network Simulator e a ferramenta de avaliação de vídeos Evalvid. Como resultado, a transparência de handover é obtida com a diminuição da percepção visual do usuário de aplicações de vídeo em tempo real, durante o processo de handover vertical em redes heterogêneas de quarta geração

Made available in DSpace on 2014-06-12T16:01:18Z (GMT). No. of bitstreams: 2 arquivo7566_1.pdf: 2847690 bytes, checksum: 1d3626862b82aca95ac1d01b74011871 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Model-Driven Engineering (MDE) visa melhorar a produtividade e qualidade de software, deslocando recursos que na maioria dos projetos são gastos em questões específicas da plataforma de programação para direcionar esforços somente as questões de negocio, independentes de plataforma. No âmbito de um projeto com objetivo de implementação em uma unica plataforma, o retorno do investimento em modelos é claro somente se grande parte do codigo for gerado automaticamente a partir de modelos independentes de plataforma (PIM). No entanto, esse serviço ainda e um desafifio, uma meta a ser atingida. Esta dissertação de mestrado contribui para o projeto WAKAME e mostra que esse objetivo e alcançável. O projeto concentra esforcos na construção de uma ferramenta CASE MDE disponvel como uma aplicação WEB. Com o WAKAME, o desenvolvedor pode especifificar o PIM da aplicação editando visões na ferramenta. As visões estruturais usam diagramas de classes UML, enquanto as operacionais utilizam expressões em OCL Imperativa. Essas visões são unificadas dentro de um modelo unificado (SUM), alvo das transformações. O WAKAME almeja que ao se concluir especificação do PIM, o usuario possa automaticamente realizar a geração de codigo e a implantação da aplicação no servico de nuvem da Google. Dentro desse objetivo, essa dissertação contribui na geração de codigo estrutural e nas tarefas de infraestrutura da aplicação. Metodologicamente, este trabalho tambem contribui com uma inovadora arquitetura com duas fases de geração de codigo: 1) criação de uma nova representação do modelo atraves de um framework de transformação independente de plataforma; 2) realizar a transformação da representação em objetos para codigo atraves de um motor de templates. A nova representação oferece uma arquitetura extensivel para outras plataformas

Made available in DSpace on 2018-08-01T23:59:28Z (GMT). No. of bitstreams: 1 tese_11519_Cynthia de Barros Lima Scarpati.pdf: 129721361 bytes, checksum: 5fea7f64d9edd50a24732835b9606bdc (MD5) Previous issue date: 2017-08-08 / A energia solar fotovoltaica constitui uma via fundamental para o desenvolvimento sustentável e diversificação da matriz elétrica nacional. Com o aumento nos preços dos combustíveis fósseis aliado às crescentes preocupações ambientais, a energia essa fonte surge como alternativa de energia limpa, principalmente após a formulação e implantação do Novo Modelo do Setor Elétrico Brasileiro, que estabeleceu mecanismos para aumentar a competitividade das fontes alternativas de energia frente às fontes convencionais. O Brasil é privilegiado por ser um país localizado na região intertropical, possuindo elevados níveis de insolação para o aproveitamento de energia solar durante todo o ano. Os sistemas de energia elétrica, tradicionalmente, são compostos por grandes produtores que fornecem a energia para diferentes clientes através de redes de transmissão e distribuição, sendo este modelo de transmissão conhecido como centralizado. Atualmente, a tendência é a introdução da descentralização na geração de energia elétrica, através da geração distribuída de energia. Sob essa perspectiva, este trabalho buscou apresentar as principais políticas de incentivo fiscal, regulatórias e de financiamento público para a energia solar fotovoltaica em sistemas conectados à rede elétrica no Brasil, ressaltando os aspectos econômicos e perspectivas futuras para a geração fotovoltaica centralizada e distribuída no país. Palavras-chave: Energia Solar Fotovoltaica; Políticas de Incentivo; Geração Fotovoltaica Distribuída; Leilões de Energia.

Made available in DSpace on 2018-08-02T00:00:48Z (GMT). No. of bitstreams: 1 tese_2874_DissertacaoMestradoElisamaRochaCarvalhoDuraes.pdf: 2032781 bytes, checksum: 1a423ee3af8b9f67d237c8a1d5140dfc (MD5) Previous issue date: 2009-04-03 / A inserção da Rede de Telefonia Pública nas Redes de Próxima Geração demanda a construção de conversores de protocolos instalados em gateways de sinalização. Este trabalho trata, em particular, da inclusão das Redes Inteligentes no contexto das Redes de Próxima Geração, com atenção especial para a construção do software do gateway de sinalização. Para a construção desse software foi usado o modelo de gateway do OMG e, como suporte para a provisão de QoS, acrescentou-se à arquitetura do gateway, o Serviço de Mensagens e o Serviço de Balanceamento de Carga. Uma estratégia conhecida como Asynchronous Method Handling é analisada e indicada como um serviço adicional para auxiliar na melhoria da escalabilidade e da vazão das mensagens trocadas no ambiente CORBA. A arquitetura do gateway foi construída sobre três ORBs – CORBA para Java (JacOrb, ORBACUS, e Orbix) com o intuito de implementar todos os recursos de ORB disponíveis e para testar a portabilidade do software.

Made available in DSpace on 2018-08-02T00:01:08Z (GMT). No. of bitstreams: 1 tese_8216_Dissertação_DanielCarletti_FINAL20160318-102308.pdf: 3496321 bytes, checksum: d6fd1660d0be7446d65bba142356b72d (MD5) Previous issue date: 2015-04-14 / O crescimento exponencial da parcela de Fontes de Energia Renováveis (FER), juntamente com o aumento no número de unidades de Geração Distribuída (GD) instaladas como, por exemplo, painéis fotovoltaicos modulares, célula a combustível, entre outras, pode levar a um sistema elétrico instável e inseguro no futuro devido à redução da inércia rotacional total do sistema. Para resolver este problema, uma solução utilizando o controle dos inversores de potência que fazem a interface entre essas FER e a rede está se tornando popular. Uma maneira de melhorar a estabilização do sistema seria introduzir de alguma forma uma inércia rotacional virtual às GDs. Para isto, é necessário que se combine uma forma de armazenamento rápido de energia, com um mecanismo de controle adequado ao conversor de potência da GD. Desta forma, a GD pode se comportar como um Gerador Síncrono Virtual e contribuir para a estabilização do sistema. Neste trabalho, todo o equacionamento necessário para o controle de uma máquina síncrona virtual é apresentado. Um sistema será proposto para simulação de forma que seja comprovada a equivalência entre o controle proposto e uma máquina síncrona real frente a várias situações de operação. Os resultados de simulação serão analisados de forma a validar a equivalência entre o modelo proposto e os geradores síncronos. Por fim, uma aplicação do VSG será estudada em uma planta real. Será feita a simulação de um painel fotovoltaico conectado ao sistema através de um conversor trabalhando como um gerador virtual.

Made available in DSpace on 2018-08-02T00:02:00Z (GMT). No. of bitstreams: 1 tese_4745_Tese Clainer_FINAL20160318-104818.pdf: 2178435 bytes, checksum: 49ad44502f03b16ba89a0860229423da (MD5) Previous issue date: 2015-07-06 / O processo de planejamento técnico, considerado por muitos pesquisadores como um dos principais elementos de avaliação de desempenho imputado às distribuidoras de energia elétrica, teve sua metodologia reestruturada e aperfeiçoada ao longo dos anos. Tal aperfeiçoamento vem sendo fortemente influenciado pela gradativa implantação da filosofia Smart Grid e pelo avanço na conexão de unidades de geração distribuída. Entretanto, poucas distribuidoras ao redor do mundo consideram em suas metodologias de planejamento técnico a influência destes aspectos; e as que a consideram, o fazem de forma ainda incipiente. Assim, as distribuidoras terão de desenvolver e aperfeiçoar suas metodologias de planejamento técnico de modo a permitir que sejam capazes de considerar a influência da filosofia Smart Grid e da conexão de unidades de geração distribuída, em suas diversas etapas. Desta forma, o presente trabalho propõe o desenvolvimento de bases conceituais para adequação dos aspectos técnico e regulatório das metodologias de planejamento técnico, abordando dois dos principais problemas citados na literatura: a operação de unidades de geração distribuída em ambiente Pré Smart Grid, assim denominado por não depender da plena implantação da filosofia Smart Grid, e a determinação da localização ótima do ponto de conexão de unidades de geração distribuída. A principal contribuição deste trabalho refere-se à proposição de soluções para cada um dos problemas acima citados, sendo tais soluções imprescindíveis para o aperfeiçoamento de metodologias de planejamento técnico.

Made available in DSpace on 2014-06-12T15:02:47Z (GMT). No. of bitstreams: 2 arquivo1021_1.pdf: 2014100 bytes, checksum: af69287fd56aa15e23c18a0249e0aaa9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / O objetivo deste estudo foi o de aprofundar o conhecimento sobre a possível relação entre o uso de Tecnologias da Informação e Comunicação (TIC) por Consultores Organizacionais e os diversos aspectos que afetam a sua dinâmica profissional. O ponto de partida para este estudo foi a literatura norte-americana, que destaca uma preocupação crescente das organizações com a nova geração de trabalhadores que, acostumada à ambientes interativos, com a liberdade de criar o seu próprio conhecimento, ao chegar ao mercado se depara com organizações fortemente hierarquizadas, desencadeando os chamados conflitos de gerações. Esses conflitos têm preocupado os dirigentes e levado as organizações a promoverem ações no campo da diversidade. A relevância de estudar esse fenômeno está no fato de estar chegando ao mercado de trabalho brasileiro uma geração de profissionais com características semelhantes às estudadas nos Estados Unidos. Estudos nacionais apontam o surgimento de uma Hipercultura, como decorrência do longo processo de transformação que a sociedade, a economia, o mercado de trabalho e o ambiente organizacional têm vivenciando por impulso da revolução tecnológica. Diante disso, aprofundar a compreensão da Hipercultura pode contribuir para com a administração, enquanto ciência e auxiliar os Consultores Organizacionais a considerá-la em suas atuações nas organizações. O público estudado foram os próprios consultores organizacionais por reunir duas características importantes para a Hipercultura: a primeira é a de que a Consultoria Organizacional é considerada uma atividade de forte interação social; e, a segunda razão é a de que o estudo exigia uma amostra, cuja população apresentasse uma alta possibilidade de reunir profissionais com diversos níveis de exposição às TICs. Esta diversidade no nível de exposição às TICs apresentada pelos consultores pode ser explicada pelo fato dos computadores pessoais terem chegado ao Brasil em meados dos anos 80, com os preços elevados, atingindo principalmente as classes de renda mais alta. E, como o mercado de Consultoria Organizacional é um campo de atuação que normalmente exige alto nível de instrução, e nível de instrução, no Brasil tem elevada correlação nível de renda, os consultores organizacionais apresentam alta probabilidade de terem sido expostos a equipamentos digitais antes de chegarem ao mercado de trabalho. A amostra foi composta por 157 consultores em âmbito nacional. Os resultados apontaram indícios de características Hiperculturais nos consultores e muitas destas características influenciaram o desempenho profissional do consultor. O grande achado hipercultural foi a contribuição positiva que o uso intenso e diversificado de software apresentou sobre o desempenho do consultor e a contribuição negativa encontrada no uso de hardware. A metodologia utilizada foi quantitativa

Orientador: Kamal Abdel R. Ismail / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T21:07:17Z (GMT). No. of bitstreams: 1 Mello_EdmarCarneiroJansende_M.pdf: 4648373 bytes, checksum: 5c1c3511cee281bfab71355d984da562 (MD5) Previous issue date: 2003 / Mestrado

Made available in DSpace on 2014-06-12T18:31:33Z (GMT). No. of bitstreams: 2 arquivo3689_1.pdf: 1561842 bytes, checksum: 7a1a8f8585f1f2384c53afa31704a877 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / As três últimas décadas do século XIX constituíram-se como um momento decisivo para o desenvolvimento da tradição literária no Brasil. Marcado por um entrecruzamento de correntes estéticas e filosóficas que muitas vezes se resolvia num confuso ecletismo, o período será responsável pela constituição do terreno sobre o qual posteriormente surgirão os modernistas do início do século XX e o começo da consolidação dos estudos literários. Tal confusão pode ser enxergada por dois lados: por um ela se desenvolvia dentro de um projeto que pretendia fornecer uma base teórica que superasse o impressionismo dos estudiosos românticos e que também servisse à compreensão tanto da sociedade brasileira como do objeto estético, entendido então enquanto expressão natural e direta do espírito nacional . É o caso da chamada geração de 1870 , que, a partir de uma conjunção das doutrinas positiva e evolucionista, procurou, pela primeira vez, sistematizar os estudos literários. Mas ao manterem uma concepção substancialista do espírito nacional, tal geração muitas vezes continuava o projeto daqueles que pretendiam superar. A confusão do período se agrava quando no cenário surgem aqueles que ficaram conhecidos como Os Novos , i.e., a geração de poetas influenciados pela nova literatura que aparecia na França: o decadentismo e o simbolismo. De orientação idealista e mística, os jovens poetas travaram uma guerra que objetivava superar as limitações estéticas que o modelo do nacionalismo biológico da geração de 1870 implicava. Nessa luta, contudo, os Novos também não deixaram de reproduzir alguns pressupostos do modelo que conscientemente pretendiam rejeitar completamente. Procurando entender como um sistema de representações lingüísticas articula a heterogeneidade do real em significações cognoscíveis, este trabalho estuda como dois sistemas que ora se aproximavam e ora se afastavam (o do cientificismo materialista e o do simbolismo idealista) travaram entre si um combate aberto pela disputa do poder sobre a linguagem