Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. / Made available in DSpace on 2012-10-17T11:32:42Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T19:20:41Z : No. of bitstreams: 1 170262.pdf: 3216701 bytes, checksum: 0d8614fce1a0e8fce22727b32d82e1f0 (MD5) / Em suas duas obras de meados dos anos quarenta (A Miséria do Historicismo e A Sociedade Aberta e seus Inimigos) Popper defende a posição de que não existem diferenças metodológicas ou epistemológicas significativas entre as ciências naturais e sociais. Cada uma delas teria como objetivo elaborar explicações causais dos enômenos observados e a seguir testá-los por meio de predições específicas. Em seus últimos ensaios, entretanto, esse ponto de vista é reformulado, já que a importância da causalidade é enfraquecido frente a necessidade do falseacionismo. Hayek, por seu turno, em seus trabalhos sobre a metodologia das ciências sociais, sempre defendeu que as predições nessa classe de fenômenos (que ele classifica como complexos) não podem se referir a eventos discretos, mas sim à classes de eventos. Meu objetivo é confrontar essas duas posições, argumentando que Popper gradualmente incorpora as propostas de Hayek

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-23T06:32:08Z (GMT). No. of bitstreams: 1 246645.pdf: 1214911 bytes, checksum: 7e33bf379856a93d9378e80eca2ac03b (MD5) / A explosão do espaço de estados associada ao teste para detecção do conflito é um dos principais problemas que impedem a aplicação da Teoria de Controle Supervisório de Sistemas a Eventos Discretos a sistemas industriais reais. O conflito é uma propriedade global dos sistemas concorrentes sendo que, para sua detecção, deve-se verificar não-bloqueio da composição dos subsistemas que estão sendo verificados. Esta tese trata do problema de detecção de conflito de forma eficiente. Neste trabalho, propõe-se um novo teste de não-conflito baseado em abstrações dos supervisores, obtidas pela operação de projeção natural. Apresentam-se dois conjuntos de condições sobre as abstrações para os quais o teste de não-conflito pode ser aplicado, com resultado equivalente àquele do teste sobre os supervisores originais. No primeiro conjunto de condições os eventos compartilhados são mantidos nas abstrações e a projeção deve possuir a propriedade do observador. O segundo conjunto de condições sobre as abstrações leva em conta propriedades estruturais dos supervisores originais para derivar o conjunto de eventos a serem mantidos nas abstrações, além da propriedade do observador sobre a projeção obtida. As duas abordagens podem ser utilizadas em conjunto para obter abstrações possivelmente melhores, de forma a obter maior redução do espaço de estados na verificação de não-conflito. Apresenta-se ainda um algoritmo para verificação da propriedade do observador. Esta propriedade é utilizada exaustivamente nos resultados apresentados e sua verificação torna-se de grande interesse para a aplicação dos resultados obtidos.

Tese (doutorado) - 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-15T23:41:54Z (GMT). No. of bitstreams: 1 232772.pdf: 3375197 bytes, checksum: 78d64528621fb5b649b8887e7b884d5d (MD5) / Esta tese apresenta um modelo para sistemas a eventos discretos no qual a planta consiste de um Sistema de Transiçao de Estados equipado com uma colecao de dados. A coleçao de dados introduz variaveis cujos valores sao atualizados por opera¸coes comandadas pelas transicoes discretas do Sistema de Transicao de Estados. As especificacoes de comportamentos desejaveis consistem de predicados relacionados as ocorrencias dos eventos. O supervisor, baseado na sequencia de eventos ocorrida no passado, controla a evolucao do sistema atraves da habilitaçao de eventos. A decisao da habilitacao de eventos decorre da avaliaçao de predicados computados a partir da especificacao de comportamentos desejaveis. Um metodo para a sintese de supervisores atendendo uma especificaçao atraves de um controle minimamente restritivo e apresentado. As principais caracteristicas do framework apresentado sao a possibilidade da captura de comportamentos nao-regulares e a construçao de modelos parametrizados os quais conduzem a solucoes genericas para uma dada classe de problemas.

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-15T23:59:38Z (GMT). No. of bitstreams: 1 223069.pdf: 924466 bytes, checksum: fa2de3558cff968262ee894547c09a14 (MD5)

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T01:53:56Z (GMT). No. of bitstreams: 1 192946.pdf: 1168323 bytes, checksum: 98b20b68cf370c64af8423423aeae24e (MD5) / Este trabalho introduz um novo modelo para controle supervisório de Sistemas a Eventos Discretos, onde o sistema é representado por uma linguagem prefixo fechada e uma estrutura de controle dependente das cadeias com marcação dinâmica associada. Este modelo mostra-se apropriado para modelagem e controle de sistemas num alto nível de abstração. Baseado nesta abordagem propõe-se um novo modelo para controle supervisório hierárquico por agregação de estados. O modelo consiste de dois níveis de hierarquia, um baixo nível representado pelo modelo clássico de Ramadge-Wonham e um alto nível obtido pela agregação dos seus estados. Neste modelo, os eventos do alto nível são um subconjunto dos eventos de baixo nível, mas para síntese do controlador, este nível será dotado de estruturas de controle avançadas. Posteriormente, o modelo de controle hierárquico por agregação de estados foi utilizado para integração com o controle modular clássico. Apresenta-se uma combinação das arquiteturas mencionadas, e são dadas condições necessárias e suficientes para que supervisores projetados individualmente sobre a planta, quando atuando conjuntamente, levem a uma solução consistente e não bloqueante.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T14:22:58Z (GMT). No. of bitstreams: 1 203339.pdf: 864558 bytes, checksum: 93609ff7c9baf50459183138f7ac7445 (MD5) / Esta Tese apresenta uma nova metodologia para o tratamento eficiente de múltiplas especificações e múltiplas tarefas no controle supervisório de sistemas a eventos discretos (SEDs) compostos. A abordagem modular local desenvolvida no mestrado do autor reduz a complexidade da síntese de supervisores explorando a arquitetura modular das especificações e da planta em sistemas compostos. No presente trabalho, essa abordagem é consolidada pela aplicação bem sucedida a uma célula de manufatura real. Para viabilizar a implementação física do sistema de controle, propõe-se uma estrutura genérica que preserva a característica modular dos supervisores e da planta. Além disso, introduz-se um modelo para SEDs que distingue múltiplas classes de tarefas. Os principais resultados da teoria de controle supervisório são estendidos para lidar com esse modelo, de forma a permitir a síntese automática de supervisores que, além de respeitar o comportamento especificado, garantem a vivacidade de múltiplos objetivos de controle. Investiga-se também a reversibilidade como condição para evitar bloqueio de vária tarefas. Finalmente, os resultados de controle multitarefa são combinados com a abordagem modular local. A clareza das soluções e a eficiência computacional proporcionadas pela metodologia proposta são elucidadas na síntese de supervisores reduzidos para um sistema flexível de manufatura.

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 2012-10-22T07:02:23Z (GMT). No. of bitstreams: 1 229644.pdf: 760800 bytes, checksum: 766a700cc22abf3684e63ce6870a109b (MD5) / Sistemas a Eventos Discretos têm sido fonte de muitos estudos nos últimos anos já que podem modelar um grande número de sistemas reais. No entanto, apesar das teorias que tratam de lógicas de controle para resolução dos problemas, como a Teoria de Controle Supervisório (TCS) de Ramadge e Wonham, ainda não foram feitos muitos avanços no sentido da implementação destes sistemas para processos considerados de médio/grande porte. Algumas extensões da TCS, como o Controle Modular Local, propõem novas técnicas que reduzem tanto os esforços computacionais gastos na síntese quanto a memória necessária para a implementação das estruturas do sistema de controle. Mesmo assim pode ser necessário distribuir a implementação deste sistema em mais de um dispositivo de controle para viabilizar sua utilização. Neste trabalho é estudada uma metodologia de distribuição do sistema de controle supervisório que abrange aspectos de comunicação e sincronização. Neste trabalho são levantadas questões práticas e propostas contribuições teóricas à teoria de distribuição utilizada. Esta metodologia é aplicada na resolução de um problema de controle real considerando-se três configurações de distribuição distintas, cada uma delas atendendo a uma gama de problemas específicos.

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 2012-10-20T01:23:04Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:49:13Z : No. of bitstreams: 1 182424.pdf: 2318642 bytes, checksum: 2b9aecae2131c57a980ac23993504d24 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-20T08:28:32Z (GMT). No. of bitstreams: 1 198127.pdf: 876022 bytes, checksum: d160bb32495cd3bde9ef931e76c7364e (MD5) / A crescente importância do Turismo na economia cada vez mais globalizada e competitiva evidencia-se neste início de milênio, quando a sociedade busca alternativas e soluções para elevar o nível de bem-estar da população mundial em face do risco da degradação total do meio-ambiente e da exclusão econômica e social de parcela significativa da humanidade. O Brasil registra hoje a passagem efetiva de um turismo empresarial tímido e desarticulado para uma produção mais estruturada e de qualidade. O turismo de eventos é uma das atividades de turismo que mais trazem retorno para uma cidade, pois movimenta os mais variados segmentos da economia. O objetivo da presente pesquisa é identificar, descrever e analisar o ambiente organizacional do turismo de eventos e as estratégias de marketing empregadas pela cidade de Goiânia. Para a concretização do trabalho, o método de investigação adotado foi o estudo de caso, por possibilitar o estudo mais apurado de uma organização sem precisar comparação com outras. Quanto às perspectivas da pesquisa, pode-se dizer que se trata de um estudo descritivo. O universo da pesquisa é o turismo de eventos na cidade de Goiânia, e suas estruturas, espaços para eventos e os dirigentes do trade turístico. O desenvolvimento de análise do ambiente externo e interno do turismo de eventos fez com que este viabilizasse melhor seu campo de ação, podendo, dessa forma, aproveitar melhor as oportunidades e os pontos fortes identificados, assim como encontrar meios de transformar, envolver ou descartar as ameaças e os pontos fracos, de modo que estes se traduzam em benefícios à cidade. No que se refere à análise e descrição das estratégias de marketing adotadas pelo turismo de eventos na cidade de Goiânia, foi possível constatar quais os elementos do ambiente externo e interno refletem diretamente no ambiente organizacional, prejudicando ou facilitando o seu desempenho, com também, refletem na atuação de suas estratégias de marketing possibilitando as mudanças de estratégias.

Dissertação (mestrado)—Universidade de Brasília, Centro de Desenvolvimento Sustentável, 2014. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-09-01T15:06:39Z No. of bitstreams: 1 2014_PauloRenanRodriguesFranca.pdf: 2729539 bytes, checksum: 26d41c648add6fccbf2f25440ee78bb3 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-09-02T15:41:42Z (GMT) No. of bitstreams: 1 2014_PauloRenanRodriguesFranca.pdf: 2729539 bytes, checksum: 26d41c648add6fccbf2f25440ee78bb3 (MD5) / Made available in DSpace on 2014-09-02T15:41:42Z (GMT). No. of bitstreams: 1 2014_PauloRenanRodriguesFranca.pdf: 2729539 bytes, checksum: 26d41c648add6fccbf2f25440ee78bb3 (MD5) / Esta dissertação apresenta uma pesquisa sobre a percepção dos atores locais da cidade de Parintins, Amazonas, no que tange ao Festival Folclórico de Parintins e seus impactos socioambientais. Tal manifestação cultural possui importância singular no contexto cultural amazonense e a cada ano desperta maior interesse por parte do Brasil e do mundo. A abordagem da pesquisa foi expressamente qualitativa e descritiva, realizada por meio de visitas de campo ao município de Parintins com vistas a uma maior aproximação do pesquisador com o objeto de estudo. No campo de trabalho, foram realizadas 46 entrevistadas semiestruturadas, com diversos tipos de atores locais, com vistas a identificar suas percepções sobre os aspectos sociais e ambientais do Festival. O tratamento e sistematização dos dados obtidos em campo permitiu sua classificação em quatro áreas principais a saber: Identidade cultural, impactos sociais, impactos ambientais e o turismo em Parintins. A sequência destes assuntos derivou do grau de prioridade identificados, a partir das falas dos atores locais. O Festival acabou sendo tomado como o principal representante da cultural e turismo local, trazendo vários benefícios tanto socioeconômicos quanto culturais. Benefícios como: o investimento em infraestrutura por causa do Festival, construção de uma identidade cultural do cidadão parintinense e valorização da cultura e artistas de Parintins. Entretanto, em meio a tantos benefícios, surgiram alguns problemas socioambientais, que não passam desapercebidos pelos atores entrevistados, problemas e impactos que foram descritos nesta pesquisa. E impactos e problemas como: a grande produção de resíduos sólidos, a exploração sexual infantil e aumento da marginalidade na cidade. Estes e outros impactos positivos e negativos serão abordados no trabalho. ______________________________________________________________________________ ABSTRACT / This thesis presents a research about the perception of local actors of Parintins, Amazon, in relation to Parintins Folk Festival and its social environmental impacts. That cultural event has a singular role in the amazon context and arouses the interest of Brazil and the world, ever year. The research’s approach was qualitative and descriptive. For a better interaction of the researcher and the study object, some visits to the research’s field were made. There, were applied 46 semi-structured interviews with every kind of local actors, in order to identify their perceptions about socio environmental Festival aspects. After processing the data, four areas were chosen to be worked, namely: cultural identity, social impacts, environmental impacts and the tourism in Parintins. The sequence of these issues derived from priority identified in the local actor’s speech. The Festival was taken as the main representative form of Amazon culture and tourism; it brought many social, economic and cultural benefits. However, it brought some kind of social environmental problems that can be perceived by local actors; problems and impacts that were described in this research. Benefits such as: investments in infrastructure because of the Festival, the construction of a cultural identity of Parintins citizen and a better appreciation of culture and artists of Parintins. Moreover, impacts and problems such as: the big production of solid waste, the sexual exploitation of children and increasing marginalization in the city. These and other positive and negative impacts will be addressed at work.