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, 2016. / Made available in DSpace on 2016-09-20T04:55:57Z (GMT). No. of bitstreams: 1 341955.pdf: 2527922 bytes, checksum: cb4fdb63c7ce3111b1bdc061bbeec1d1 (MD5) Previous issue date: 2016 / Atualmente, aplicações de tempo estão tornando-se cada vez mais complexas e, conforme os requisitos destes sistemas aumentam, maior é a demanda por capacidade de processamento. Contudo, o correto funcionamento destas aplicações não está em função somente da correta resposta lógica, mas também no tempo que ela é produzida. O projeto de processadores de propósito geral gera dificuldades para análises de tempo real devido ao seu comportamento não determinista causado pelo uso de memórias cache, previsores de fluxo dinâmicos, execução especulativa e fora de ordem. Nesta tese, investiga-se uma arquitetura de processador Very-Long Instruction Word (VLIW) especificamente projetada para sistemas de tempo real considerando sua análise do pior tempo de computação (Worst-case Execution Time WCET). Técnicas para obtenção do WCET para máquinas VLIW são consideradas e quantifica-se a importância de técnicas de hardware como previsor de fluxo estático, predicação, bem como velocidade do processador para instruções complexas como acesso a memória e multiplicação. Arquitetura de memória não faz parte do escopo deste trabalho e para tal utilizamos uma estrutura determinista formada por uma memória cache com mapeamento direto para instruções e uma memória de rascunho (scratchpad) para dados. Nós também consideramos a implementação em VHDL do protótipo para inferir suas características temporais mantendo compatibilidade com o conjunto de instruções (ISA) HP VLIW ST231. Em termos de avaliação, foi utilizado um conjunto representativo de código exemplos da Universidade de Mälardalen que é amplamente utilizado em avaliações de sistemas de tempo real.<br> / Abstract : Nowadays, many real-time applications are very complex and as the complexity and the requirements of those applications become more demanding, more hardware processing capacity is necessary. The correct functioning of real-time systems depends not only on the logically correct response, but also on the time when it is produced. General purpose processor design fails to deliver analyzability due to their non-deterministic behavior caused by the use of cache memories, dynamic branch prediction, speculative execution and out-of-order pipelines. In this thesis, we design and evaluate the performance of VLIW (Very Long Instruction Word) architectures for real-time systems with an in-order pipeline considering WCET (Worst-case Execution Time) performance. Techniques on obtaining the WCET of VLIW machines are also considered and we make a quantification on how important are hardware techniques such as static branch prediction, predication, pipeline speed of complex operations such as memory access and multiplication for high-performance real-time systems. The memory hierarchy is out of scope of this thesis and we used a classic deterministic structure formed by a direct mapped instruction cache and a data scratchpad memory. A VLIW prototype was implemented in VHDL from scratch considering the HP VLIW ST231 ISA. We also show some compiler insights and we use a representative subset of the Mälardalen s WCET benchmarks for validation and performance quantification. Supporting our objective to investigate and evaluate hardware features which reconcile determinism and performance, we made the following contributions: design space investigation and evaluation regarding VLIW processors, complete WCET analysis for the proposed design, complete VHDL design and timing characterization, detailed branch architecture, low-overhead full-predication system for VLIW processors.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Desportos. Programa de Pós-Graduação em Educação Física. / Made available in DSpace on 2012-10-21T04:33:24Z (GMT). No. of bitstreams: 1 196045.pdf: 1070424 bytes, checksum: 8ec8b39e6d7bc21f5a66ce9fa23c4a4e (MD5) / Este trabalho teve como objetivo investigar as relações entre corpo e tempo presentes no interior das publicações oficiais do Projeto Político-Pedagógico Escola Plural, criado e implantado no interior da Rede Municipal de Educação de Belo Horizonte (RMEBH) desde 1994 até os dias de hoje. Considerando estas publicações como dispositivos que buscaram informar as práticas pedagógicas no interior da RMEBH, colocando em questão a atual organização da instituição escolar, esta pesquisa teve também os seguintes objetivos específicos: identificar as condições de possibilidade para a corporeidade dos sujeitos nas premissas norteadoras da Escola Plural; analisar a organização escolar proposta pela Escola Plural e suas repercussões nas relações corpo-tempo; identificar os pontos de convergência, tensão e contradição acerca da relação corpo-tempo presentes nas fontes estudadas; identificar os elementos de permanência e ruptura das relações corpo-tempo na Escola Plural em relação ao modelo escolar construído até então; identificar as relações corpo-tempo presentes nas práticas pedagógicas descritas pelos documentos; analisar os usos e apropriações conferidos às práticas corporais lúdicas na Escola Plural. Para a realização desta investigação foi utilizado o método de "análise de conteúdo", tendo como material empírico fundamental as publicações oficiais produzidas e/ou veiculadas pela Secretaria Municipal de Educação (SMED/BH) acerca da Escola Plural no período 1994-2001. Também incluiu o material empírico de análise os editais de concurso público para cargos de professores, e demais normatizações expedidas pela Prefeitura de Belo Horizonte e SMED/BH no referido período.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-graduação em Literatura / Made available in DSpace on 2012-10-22T04:57:41Z (GMT). No. of bitstreams: 1 208869.pdf: 867888 bytes, checksum: 18eedc819efbad075de1ccc9dc32915f (MD5) / As manifestações do tempo e do espaço na poesia de Mario Quintana, são o eixo dessa dissertação, tal como o pensamento e o olhar do poeta sobre a realidade do século XX. A noção do tempo na poesia é analisada sob a perspectiva de personagens recorrentes na obra do poeta, como a criança Lili e os fantasmas. A personagem Lili representa, na perspectiva do poeta, a infância imaginada e sonhada, já os fantasmas encenam sua relação com o tema da morte. Outro aspecto dessa dissertação explora a questão do espaço. Esse é configurado nos poemas, e se refere à memória de lugares. Conforme o poeta, os lugares fazem parte da construção interior de todos. As cidadezinhas inventadas (ou que não existem mais) figuram a melancolia. Por outro lado, o poeta se mistura ao espaço da cidade e ao bulício cotidiano. Assim, a poesia de Mario Quintana integra a mudança espacial e temporal a existencial. Cabe destacar a afirmação do poeta, que o cotidiano é o incógnito do mistério. Desta forma essa dissertação analisa como o tempo e o espaço se desdobram na temática do cotidiano.

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-19T20:37:27Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:49:42Z : No. of bitstreams: 1 224604.pdf: 5105643 bytes, checksum: 5f9488b9f2ebc8dd4a9c9bb95a1ba246 (MD5) / O objetivo deste trabalho é abordar o fator tempo como elemento fundamental na construção de um modelo de jornalismo diário impresso moderno. Para tanto, trabalhamos com os manuais de imprensa de dois grandes jornais brasileiros: O Estado de S. Paulo e Folha de S. Paulo, fundados em 1875 e 1921, respectivamente. Procedemos à investigação de como os manuais concebem o tempo, ou seja, como eles o percebem no seio da empresa jornalística. É por meio de normas que o tempo produtivo da empresa é controlado ficando todos os outros tempos sociais subordinados a ele. Por meio da observação, principalmente de procedimentos organizacionais, podemos perceber uma interpretação específica de percepção do tempo, caracterizada por ciclos estruturados em função de marcos temporais, estabelecidos por horários-limites de fechamento (deadlines). O foco principal é o jornalismo impresso com apoio de algumas formulações no âmbito da análise do discurso. No entanto, adotamos um referencial teórico pluridisciplinar, ancorado, ancorado em conceitos e percepções de tempo inseridos em diversas abordagens histórico-sociais-culturais, necessários a sua compreensão. A inferência de nossa pesquisa indica que o tempo do jornal impresso é um tempo atrelado à atividade industrial em primeira instância que faz sentido na percepção do tempo capitalista moderno: linear, homogêneo e universal. Este tempo é concebido, principalmente, pela invenção do relógio mecânico. O relógio regula e controla a atividade jornalística moderna .

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-19T06:46:53Z (GMT). No. of bitstreams: 1 188087.pdf: 863083 bytes, checksum: 2f3fa1fc5d24cf966c33f0c136e6e174 (MD5) / Esta dissertação aborda a questão da administração do tempo no meio acadêmico, enfocando diretamente a identificação do conceito que os docentes da UNEB, inscritos no programa de Pós-Graduação, em Engenharia da Produção, turma UNEB-2, têm sobre "administração do tempo". Isto porque a grande maioria das pessoas nem mesmo sabem definir ou explicar o que vem a ser administração do tempo. Para sua execução foi utilizado como fio condutor de análise o cotidiano, o dia-a-dia das atividades acadêmicas, no que tange ao papel do corpo docente. A justificativa apresentada para execução deste estudo se ampara na observação e constatação do pesquisador de que é importante identificar o entendimento dos professores da UNEB sobre administração do tempo e quais os mecanismos adotados pela direção administrativo-pedagógica da UNEB para organizar e planejar o desempenho do corpo docente. Para esta identificação foi efetuada uma pesquisa, tendo como objeto professores que participam do programa de pós-graduação da União Educacional de Brasília - UNEB em parceria com a Universidade Federal de Santa Catarina - UFSC e agentes da administração didático-pedagógica da UNEB. Esta dissertação apresenta ainda um parecer analítico sobre o que foi observado, procurando atrelar concepções diferentes sobre a dinâmica da administração do tempo. Os resultados encontrados somente reforçam as impressões iniciais que levaram à elaboração desta dissertação. Tendo em vista os resultados encontrados podemos afirmar que o trabalho realizado foi muito oportuno, pois as conclusões e os dados coletados na pesquisa serão de importância para a administração da Instituição, objeto do estudo, uma vez que a mesma está em franco processo de mudança, sob o ponto de vista empresarial e acadêmico.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós -Graduação em Computação. / Made available in DSpace on 2012-10-19T11:59:17Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:48:36Z : No. of bitstreams: 1 182000.pdf: 2085568 bytes, checksum: 425f996e4bc63a69e139eb94e617b702 (MD5) / Este trabalho mostra como a técnica de Computação Imprecisa, implementada através de Reflexão Computacional, pode ser utilizada para permitir a adaptação de aplicações de Tempo Real a diferentes plataformas no contexto da Internet, bem como em sistemas de uso geral. Utilizamos o modelo de programação RTR para ilustrar a forma como esta adaptação poderá ser implementada.É usada a técnica da Computação Imprecisa para flexibilizar o escalonamento tempo real, já que nela as tarefas da aplicação são capazes de gerar resultados com diferentes níveis de qualidade ou precisão, porque cada tarefa é dividida em parte obrigatória (mandatory) e parte opcional (optional). A parte obrigatória da tarefa é capaz de gerar um resultado com qualidade mínima necessária para manter o sistema operando de maneira segura. A parte opcional refina este resultado, até que ele alcance a qualidade desejada.A Reflexão Computacional facilita a implementação da Computação Imprecisa, separando as questões funcionais das questões de controle responsáveis pela adaptação da aplicação. O Modelo Reflexivo Tempo Real (RTR), é o modelo de programação reflexivo e de tempo real caracterizado por permitir, de forma flexível e sistemática, a representação e o controle de aspectos temporais de aplicações tempo real que seguem uma abordagem de melhor esforço.Demonstramos através de um protótipo, a validade do uso da reflexão computacional juntamente com a técnica de computação Imprecisa como um mecanismo de adaptação para aplicações tempo real, e que o modelo RTR através de suas especificações é capaz de suportar esta implementação.

No description available.

Made available in DSpace on 2014-08-27T14:36:42Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-12-18Bitstream added on 2014-08-27T15:57:11Z : No. of bitstreams: 1 000773505.pdf: 400450 bytes, checksum: c281b7900c64c9ec8e10de0156494952 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Existe atualmente um consenso de que a relatividade especial, cuja cinemática é governada pelo grupo de Poincaré, deixa de ser válida próxima à escala de Planck. Como consequência, novas cinemáticas têm sido propostas. Uma alternativa a essas teorias é a relatividade especial de de Sitter, a qual pressupõe uma violação, não da simetria de Lorentz, mas da simetria de translação. Essa teoria inclui a constante cosmológica como um efeito cinemático e não como um elemento exótico que permeia o Universo. Considerando as propriedades de transitividade do espaçotempo de Sitter, são obtidas uma nova corrente conservada e uma nova família de trajetórias. Essas trajetórias introduzem uma nova noção de movimento, dado por uma combinação de translações e transformações conformes próprias / There are currently an agreement that special relativity, whose kinematic is ruled by the Poincaré group, fails near the Planck scale. As a consequence, new kinematics have been proposed. An alternative to those theories is the de Sitter special relativity, which assumes a violation, not of the Lorentz symmetry, but of the translation symmetry. In this theory the cosmological constant appears as a kinematic effect and not as an exotic element ?lling the Universe. Taking into account the appropriate transitivity properties, a new conserved current and a new family of maximizing trajectories are obtained. These trajectories introduce a new notion of motion, given by a combination of translations and proper conformal transformations / CNPq: 143131/2011-7

Este trabalho aborda o tema da geração de sistemas supervisórios a partir de modelos orientados a objetos. A motivação para realização do trabalho surgiu com o estudo de sistemas supervisórios e de ferramentas de suporte à modelagem de sistemas usando orientação a objetos. Notou-se que nos primeiros, apesar de possuírem como principal objetivo a visualização de estados e grandezas físicas relacionadas a componentes de plantas industriais (nível de um tanque, temperatura de um gás, por exemplo), os modelos computacionais utilizados baseiam-se em estruturas de dados não hierárquicas, nas quais variáveis de contexto global e não encapsuladas, as chamadas “tags”, são associadas às grandezas físicas a serem visualizadas. Modelos orientados a objeto, por outro lado, constituem uma excelente proposta para a criação de modelos computacionais nos quais a estrutura e semântica dos elementos de modelagem é bastante próxima a de sistemas físicos reais, facilitando a construção e compreensão dos modelos. Assim sendo, a proposta desenvolvida neste trabalho busca agregar as vantagens do uso de orientação a objetos, com conceitos existentes em sistemas supervisórios, a fim de obter-se ferramentas que melhor auxiliem o desenvolvimento de aplicações complexas. Classes e suas instâncias são usadas para modelagem de componentes da planta industrial a ser analisada. Seus atributos e estados são associados às grandezas físicas a serem visualizadas. Diferentes formas de visualização são associadas às classes, aumentando assim o reuso e facilitando o desenvolvimento de sistemas supervisórios de aplicações complexas. A proposta conceitual desenvolvida foi implementada experimentalmente como uma extensão à ferramenta SIMOO-RT, tendo sido denominada de “Supervisory Designer”. A ferramenta desenvolvida estende o modelo de objetos e classes de SIMOO-RT, permitindo a adição de informações específicas para supervisão – tais como as definições de limites para os atributos. A ferramenta foi validada através do desenvolvimento de estudos de casos de aplicações industriais reais, tendo demonstrado diversas vantagens quando comparada com o uso de ferramentas para construção de sistemas supervisórios disponíveis comercialmente).

Sistemas de controle industriais precisam atender a requisitos temporais para garantir seu correto funcionamento, sendo por isto considerados sistemas tempo-real. Quando tais sistemas são distribuídos, tais como redes de sensores, atuadores e controladores interligados por barramentos de campo, a comunicação desempenha um papel importante no comportamento temporal. Este trabalho propõe uma ferramenta para validar o comportamento temporal da comunicação em um protocolo de barramento de campo, o Foundation Fieldbus. A proposta inclui a especificação de requisitos e a visualização da validação. Pretende-se auxiliar a compreensão do comportamento temporal e possibilitar a depuração de sistemas tempo-real distribuídos. O sistema desenvolvido encontra-se operacional e foi validado em diversos estudos de caso, os quais são descritos no presente trabalho.