Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Devido a sua baixa latência de banda, os clusters equipados com o adaptador SCI são uma alternativa para sistemas de tempo real distribuídos. Esse trabalho apresenta o projeto e implementação de uma plataforma de comunicação de tempo real sobre clusters SCI. O hardware padrão do SCI não se mostra adequado para a transmissão de tráfego de tempo real devido ao problema da contenção de acesso ao meio que causa inversão de prioridade. Por isso uma disciplina de acesso ao meio é implementada como parte da plataforma. Através da arquitetura implementada é possível o estabelecimento de canais de comunicação com garantia de banda. Assim, aplicações multimídias, por exemplo, podem trocar com taxa constante de conunicação. Cada mensagem é enviada somente uma vez. Assim, mensagens som a semântica de eventos podem ser enviadas. Além disso, a ordem e o tamanho das mensagens são garantidos. Além do tráfego com largura de banda garantida, a plataforma possibilita a troca de pacotes IP entre diferentes máquinas do cluster. Esses pacotes são inseridos no campo de dados dos pacotes próprios da plataforma e após são enviados através do uso de pacotes IP. Além disso, essa funcionalidade da plataforma permite também a execução de bibliotecas de comunicação baseadas em TCP/IP como o MPI sobre o cluster SCI. A plataforma de comunicação é implementada como modulos do sistema operacional Linux com a execução de tempo real RTAI. A valiação da plataforma mostrou que mesmo em cenários com muita comunicação entre todos os nodos correndo, a largura de banda reservada para cada canal foi mantida.

A Intervenção Coronariana Percutânea (ICP) provoca o rompimento da integridade vascular, desencadeando o processo da coagulação. O uso de anticoagulantes durante a ICP é fundamental para prevenção de eventos tromboticos associados ao procedimento. Sabe-se que o efeito anticoagulante da heparina não fracionada é errático, mesmo após ajuste da dose por peso do paciente. Portanto, para que haja anticoagulação adequada evitando eventos tromboticos ou hemorrágicos, o uso da heparina requer monitorização de seus efeitos. Esta monitorização pode ser feita através do Tempo de Coagulação Ativada (TCA), que é uma medida do nível de anticoagulação executada a beira do leito. Diversos estudos investigaram qual o TCA ideal para pacientes submetidos a ICP. Este artigo revisa a literatura a respeito, demonstrando que o nível de anticoagulação obtida com heparina é variável, dependendo das condições clínicas do paciente, da terapêutica adjunta e do equipamento utilizado para sua medida, devendo o nível de anticoagulante ser ajustado para obter-se o TCA desejado. Pacientes submetidos a ICP devem receber heparina não fracionada na dose necessária para atingirem TCA de 300s; quando associado ao Inibidor da Glicoproteína IIb/IIIa Abxicimab, o TCA deve ser de 200 a 250s, medidos através do Hemochron.

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação. / Made available in DSpace on 2012-10-17T18:36:00Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:21:08Z : No. of bitstreams: 1 152710.pdf: 50716454 bytes, checksum: 6b76320a6c6cd1079ad59a7aa63e0837 (MD5) / Com base no referencial Histórico-Cultural, submeteu-se 140 crianças e adolescentes de ambos os sexos, na faixa etária de 7 a 14 anos, escolarizados e com competência computacional, ao desafio do jogo da distância, um software multimídia que simula uma corrida entre um maratonista, um ciclista e um automobilista, numa pista oval de 300 metros. Após escolher a modalidade de corrida, soa o toque de uma sirene, nas modalidades ramdômicas de tempo curto (2s), médio (5 s) e longo (8 s), depois do qual o sujeito move-se com o mouse pela pista marcando os espaço percorridos conforme a duração do som. Tabelas e gráficos são emitidos para análise a partir do processo estatístico da Regressão Logística. Verificou-se que 69,0% da amostra obteve êxito na integração dos conceitos de velocidade, espaço e tempo, sendo a 6ª série, aos 12 anos que concentra-se o maior percentual de integrações consideradas em conformidade com o modelo teórico utilizado (83,0%). Observou-se que o sucesso no processo de integração das variáveis é dependente dos motivos que levam os sujeitos ao jogo (lúdico, desafio e domínio de conteúdo) e que as estratégias mentais utilizadas podem ser classificadas em três grandes níveis: Cinestésicas, Lógico-Verbais e Lógico-Matemáticas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão / Made available in DSpace on 2012-10-17T11:51:57Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T17:38:20Z : No. of bitstreams: 1 178715.pdf: 3352830 bytes, checksum: 6a6feceb88122da4a597efc23a3bb583 (MD5) / Pesquisa sociolingüística cujo objeto é a expressão do tempo futuro codificada pelas formas: presente do indicativo, futuro do presente e forma perifrástica. A pesquisa apresenta grupos de fatores semânticos-discursivos, formais e sociais. Além do tratamento estatístico, este estudo também apresenta uma proposta de gramaticalização para a forma perifrástica. Os resultados atestam que o fenômeno em estudo sofre influência de motivações de natureza diversa

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, 2009 / Made available in DSpace on 2012-10-24T19:47:43Z (GMT). No. of bitstreams: 1 270310.pdf: 687729 bytes, checksum: 3142cd72b387e1729623ca7faf587b32 (MD5) / Esta dissertac¸ #ao prop#oe uma infraestrutura para alocac¸ #ao din#amica de tempo de processador em aplicac¸ #oes tempo real multi-modais. A infraestrutura distribui reservas de banda usando modelos de otimizac¸ #ao que podem ser combinados e estendidos para contemplar as necessidades do sistema. Uma vez que a natureza das aplicac¸ #oes varia, diversos modelos s#ao propostos de forma a suportar modos de operac¸ #ao discretos, cont´ýnuos ou h´ýbridos e otimizar um dado crit´erio de desempenho global do sistema ou a justic¸a entre tarefas. Os modelos s#ao generalizac¸ #oes de variada complexidade para o problema da mochila, para os quais algoritmos exatos, heur´ýsticas com garantias de desempenho e esquemas de aproximac¸ #ao em tempo polinomial s#ao propostos. Para fins de avaliac¸ #ao, a infraestrutura foi aplicada no sistema de vis#ao controle e navegac¸ #ao de um rob#o m´ovel, e tamb´em num decodificador multim´ýdia real. Ambas s#ao aplicac¸ #oes que capturam a natureza das tarefas que esta infraestrutura busca suportar. / This dissertation proposes a framework for dynamic, value-based processor time allocation in multi-modal real-time applications. The framework distributes time reservations using optimization models that can be combined and extended to meet the system#s needs. Because the nature of applications varies, several models were proposed to handle discrete, continuous or hybrid modes of operation and optimize task fairness or a given criterion of optimal system performance. The models range from simple to complex generalizations of the knapsack problem for which exac algorithms, heuristics with performance guarantees, and polynomial-time approximation schemes were proposed. As a means of evaluation, the framework was applied to the vision, control and guidance systems on a mobile robot and to a real multimedia decoder, applications that capture the nature of the tasks this framework aims to support.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Literatura, Florianópolis, 2011 / Made available in DSpace on 2012-10-25T23:58:04Z (GMT). No. of bitstreams: 1 294491.pdf: 4127892 bytes, checksum: 5fc466b69438171416cb8ce91d71d82b (MD5) / A partir da análise do filme Alice nas Cidades do diretor alemão Wim Wenders, formulo questões sobre o cinema e as imagens, problematizando a relação do olhar na sociedade moderna. Tendo em vista que somos constantemente submetidos a uma proliferação incessante de imagens, em consequência disso temos também sofrido a perda de um olhar mais atento, que possa questionar os códigos visuais e possibilite uma visão crítica em relação a eles. Sendo o cinema a base da pesquisa, meu suporte teórico principal é a filosofia do cinema de Gilles Deleuze, de modo que as propostas criadas por ele em Cinema 1: A Imagem-Movimento e Cinema 2: A Imagem-Tempo fundamentam a grande maioria dos capítulos deste trabalho. Primeiramente procuro entender os principais conceitos sobre as imagens cinematográficas formulados pelo autor em Cinema 1, em que ele trabalha apoiado nos filmes e nos diretores do que ele intitula cinema clássico, e a partir do qual ele desenvolve sua teoria da imagem-movimento e suas variações; logo, analiso Cinema 2, livro em que Deleuze trabalha a partir do intitulado cinema moderno, e descreve como este se enquadraria dentro do que ele chama de a imagem-tempo. A seguir, me concentro em entender o porquê de considerar Alice nas Cidades um filme mais ligado a imagem-tempo do que a imagem-movimento. Faço também referência à inter-relação entre cinema e história, bem como desenvolvo analogias entre fragmentos do filme e outras formas de expressão como a literatura, fotografia e as artes plásticas, de forma a tramar uma análise abrangente do filme, onde as relações improváveis viraram possibilidades de leitura.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Civil, Florianópolis, 2011 / As falhas nos serviços da construção civil causam diversos problemas, entre eles o desperdício de tempo. Neste estudo realiza-se a identificação de ferramentas que podem ser usadas para o cumprimento dos preceitos da teoria da lean construction. A partir do estudo da execução dos serviços de cerâmica de parede interna, piso com revestimento cerâmico, reboco de parede interna e contrapiso, em uma construtora que atua na grande Florianópolis-SC, identificam-se os problemas enfrentados pela mão de obra com a finalidade de avaliar a aplicação dos princípios da lean construction para a reduzir o desperdício de tempo. Com os problemas identificados foi sugerida uma intervenção a ser realizada em cada serviço. Na maioria das vezes o desperdício de tempo ocorria devido as atividades improdutivas. Logo, o principal foco para a redução do desperdício foi a eliminação dessas atividades. No serviço contrapiso, a intervenção foi realizada e acompanhada, comprovando a obtenção de melhorias. / Flaws in the construction process cause several problems, one of which is waste of time. In this study tools that may be used to the accomplishment of the requirements of lean construction theory are identified. Through the study of tiling (internal walls and floor), floor filling an internal wall plaster in a construction site in Florianópolis- SC, problems related to labour are identified, in order to evaluate the application on lean construction principles to reduce waste of time. With the main problems identified in the study was suggest a intervention in each service. Most time the waste of time occurred due to unproductive activities. Therefore, the main focus for waste reduction was the elimination of these activities. In the counter service operations were performed and monitored, demonstrating tangible improvements.

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-22T14:50:37Z (GMT). No. of bitstreams: 1 229254.pdf: 2122573 bytes, checksum: a43d7e8dfffdf45277d2339f63bce8ad (MD5) / Neste trabalho é realizado o estudo e a implementação de um sistema tempo-real embarcado para realizar o controle de seguimento de trajetória em veículos autônomos. O sistema desenvolvido emprega técnica de controle preditivo baseado em modelo, sendo destinado ao controle do comportamento cinemático e também do comportamento dinâmico do veículo. O controle do comportamento cinemático é baseado em modelo linearizado utilizando sistema de coordenadas locais e técnica de geração de trajetórias de aproximação, buscando uma condução suave e factível. O controle do comportamento dinâmico é destinado a aplicações de alto desempenho. O projeto e a implementação do sistema em questão foram desenvolvidos com base no paradigma de orientação a objetos visando a obtenção de código modular e de fácil manutenção, e que apresente estrutura lógica favorável à reutilização de software e à portabilidade. Realizou-se também uma análise criteriosa das restrições temporais do sistema, por ser este um sistema de tempo-real. Através de ensaios experimentais em diferentes plataformas comprova-se a eficiência do sistema embarcado desenvolvido, tanto em termos das técnicas de controle como da estruturação da aplicação. This work presents design and implementation of a real-time embedded system for path following on autonomous vehicle applications. The system uses Model Based Predictive Control algorithm and can be applied to control the kinematic and the dynamic behavior of autonomous vehicles. The kinematic behavior control is based on a linearized model using local frame coordinates and approaching path, to get smooth and feasible guidance. The dynamic behavior control is destined to high performance applications. The system's design and implementation process is based on the object-orientated paradigm, aiming for modularity, maintainability, extensibility, and reusability of the system software. Furthermore, the design process was driven to design the system in a platform-independent manner. Due to real-time caracteristics, detailed time constrains analysis are also performed. Experimental tests were performed to validate the system's eficiency regarding the control technique as far as the application structuring.

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-22T15:43:27Z (GMT). No. of bitstreams: 0 / Apresenta-se uma metodologia para modelagem e análise de sistemas de tempo real com escalonamento utilizando técnicas de verificação de propriedades no contexto do projeto Topcased. Entre as linguagens para descrição de sistemas adotadas em tal projeto, adota-se V-Cotre. A Rede de Petri Temporal com Stopwatch (RPT-Sw) é utilizada como formalismo para exprimir as aplicações de tempo real e os mecanismos de escalonamento. As ferramentas de análise e verificação de Tina para este formalismo servem de base para abordagem proposta. Para validar as proposições apresentadas, três escalonadores clássicos são modelados: Rate Monotonic, Immediate Priority Ceiling Protocol e Earliest Deadline First; mas apenas os dois primeiros são verificados. Constatam-se limitações da linguagem V-Cotre para representação de algumas características destes sistemas e sugere-se um enriquecimento da linguagem como solução para esta limitação. Como a tradução da linguagem V-Cotre para o formalismo de base da verificação ainda não está completamente terminada, modelos simples em RPT-Sw são construídos manualmente para verificação dos dois primeiros tipos de escalonamento citados. Sugere-se um novo formalismo baseado em RPT-Sw de forma a permitir a representação completa destes sistemas. Os resultados de verificações sobre estes modelos com a ferramenta Tina demonstram que a abordagem baseada na verificação produz resultados equivalentes aos dos testes de escalonamento clássicos, sendo que estes podem ser eventualmente complexos em sistemas com muitas tarefas e recursos aninhados. Além disso, os testes efetuados permitem visualizar diversas análises em um nível de abstração "com escalonamento", de forma a aperfeiçoar a utilização de material, permitindo melhores escolhas de tempos relativos aos sistemas de tempo real.