Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Avaliação do coeficiente de difusão de cloretos em concretos : influência do tipo de cimento, da relação a/c, da temperatura e do tempo de cura

É consenso mundial a importância de estudos sobre a penetração de cloretos nos concretos, devido ao caráter deletério destes íons quanto à corrosão das armaduras. Quando os íons cloretos ingressam no concreto em quantidade suficiente causam a despassivação e a corrosão das armaduras, conduzindo à diminuição da vida útil das estruturas. Os cloretos podem ser introduzidos no concreto de várias maneiras: como aditivo, pela contaminação da água ou da areia, ou podem ingressar provindos do meio externo. Os cloretos potencialmente agressivos geralmente penetram na estrutura dissolvidos em água, através dos mecanismos de penetração de água e transporte de íons, sendo um dos mecanismos que ocorrem com maior freqüência a difusão. Este mecanismo de penetração de íons cloretos nas estruturas de concreto armado é influenciado pela relação água/aglomerante, o tipo de cimento, a presença de adições, a cura, o tempo, a temperatura de exposição, dentre outros, e seus valores ainda podem ser utilizados em modelos matemáticos para previsão de vida útil. Assim, este trabalho objetiva avaliar o coeficiente de difusão de cloretos em concretos confeccionados com dois tipos diferentes de cimento (CP II F e CP IV), cinco distintas relações água/cimento (0,28, 0,35, 0,45, 0,60 e 0,75), cinco temperaturas de cura (5, 15, 25, 30 e 40°C) e cinco diferentes idades (7, 14, 28, 63 e 91 dias). Paralelamente foram realizados ensaios de resistência à compressão axial e penetração acelerada de cloretos. A metodologia utilizada permitiu avaliar e medir os coeficientes de difusão de cloretos nos concretos confeccionados, tendo sido observados que os coeficientes diminuem com a elevação da temperatura de cura e da idade, com o uso do cimento CP IV e com a redução da relação água/cimento.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Previsão em tempo atual de cheias com uso de sistema especialista difuso

Sistemas de previsão de cheias podem ser adequadamente utilizados quando o alcance é suficiente, em comparação com o tempo necessário para ações preventivas ou corretivas. Além disso, são fundamentalmente importantes a confiabilidade e a precisão das previsões. Previsões de níveis de inundação são sempre aproximações, e intervalos de confiança não são sempre aplicáveis, especialmente com graus de incerteza altos, o que produz intervalos de confiança muito grandes. Estes intervalos são problemáticos, em presença de níveis fluviais muito altos ou muito baixos. Neste estudo, previsões de níveis de cheia são efetuadas, tanto na forma numérica tradicional quanto na forma de categorias, para as quais utiliza-se um sistema especialista baseado em regras e inferências difusas. Metodologias e procedimentos computacionais para aprendizado, simulação e consulta são idealizados, e então desenvolvidos sob forma de um aplicativo (SELF – Sistema Especialista com uso de Lógica “Fuzzy”), com objetivo de pesquisa e operação. As comparações, com base nos aspectos de utilização para a previsão, de sistemas especialistas difusos e modelos empíricos lineares, revelam forte analogia, apesar das diferenças teóricas fundamentais existentes. As metodologias são aplicadas para previsão na bacia do rio Camaquã (15543 km2), para alcances entre 10 e 48 horas. Dificuldades práticas à aplicação são identificadas, resultando em soluções as quais constituem-se em avanços do conhecimento e da técnica. Previsões, tanto na forma numérica quanto categorizada são executadas com sucesso, com uso dos novos recursos. As avaliações e comparações das previsões são feitas utilizandose um novo grupo de estatísticas, derivadas das freqüências simultâneas de ocorrência de valores observados e preditos na mesma categoria, durante a simulação. Os efeitos da variação da densidade da rede são analisados, verificando-se que sistemas de previsão pluvio-hidrométrica em tempo atual são possíveis, mesmo com pequeno número de postos de aquisição de dados de chuva, para previsões sob forma de categorias difusas.

O papel dos valores e crenças africanas no tempo de trabalho circular, nas estratégias, na negociação das diferenças entre operários e dirigentes no corredor de Maputo

A categoria tempo circular ou indiferenciado mostra que o trabalho formal é vivido de acordo com a subjetividade dos seus participantes, com uma multiplicidade de significados e de configurações sempre variáveis. Neste estudo, identificou-se a existência de uma relação entre o tempo circular e as estratégias elaboradas pelos trabalhadores na conquista de uma maior autonomia nos espaços de trabalho. Além disso, observou-se a convivência entre trabalhadores, empresários e dirigentes governamentais e sindicais presentes num projeto de modernização no sul de Moçambique, denominado Corredor de Desenvolvimento de Maputo e constatou-se o modo como é realizada a negociação das diferenças. Realizou-se um levantamento das principais estratégias levadas a cabo por empresários nacionais, estrangeiros, governo e sindicatos na gestão da força de trabalho, formação, qualificação e o uso do tempo nos espaços de trabalho, bem como as perspectivas de desenvolvimento humano trazido por este projeto na região de Maputo. Por enquanto, ainda não foi possível detectar um interesse real dos grupos empresariais e governamentais em delinear caminhos tendentes a encontrar equilíbrios possíveis entre a modernização e a tradição, que sejam compatíveis com a satisfação das necessidades, valores e crenças e o respeito ao imaginário dos grupos envolvidos na construção da modernização tecnológica do país. Parecem evidentes estratégias em que a responsabilidade social está ausente e a estratégia de abertura das Zonas Francas Industriais ao investimento externo carece de uma verdadeira negociação entre “parceiros” em que sejam distribuídas de forma equitativa as vantagens e desvantagens inerentes aos projetos de industrialização a serem implantados localmente. Os testemunhos obtidos junto dos protagonistas moçambicanos expressaram uma grande frustração e desencantamento quanto a resultados que possam vir a ser promissores para as populações, trabalhadores e empresários nacionais do projeto em curso. Portanto, este projeto mostra ser um processo exógeno introduzido à revelia de seus principais protagonistas nesta fase de implantação em território moçambicano e onde os aspectos culturais foram desrespeitados, além de serem usados como estratégia para tirar vantagens adicionais.

Sistemática para redução do tempo de setup na indústria moveleira

Esta dissertação aborda a implantação de sistemática para Troca Rápida de Ferramentas (TRF), através de proposta de implantação elaborada pela revisão da literatura e comprovação prática da sistemática realizada através de estudo de caso aplicado na indústria moveleira. A Troca Rápida de Ferramentas fornece condições para a redução do tempo de preparação dos equipamentos, possibilitando uma estratégia de produção de lotes de tamanho reduzido. A TRF está associada a uma série de ferramentas de melhoria, com ênfase em técnicas de formação de equipes de trabalho e utilização da capacidade criativa destas equipes na melhoria dos métodos existentes. A presente dissertação apresenta revisão da literatura abordando dois assuntos principais: (i) elaboração de uma sistemática de TRF, e (ii) implantação da sistemática em processos da indústria moveleira. A implantação da sistemática ocorre através das seguintes etapas: (i) definição do projeto, (ii) planejamento da implantação, (iii) treinamento em troca rápida de ferramentas, (iv) implantação efetiva, e (v) acompanhamento e consolidação. Por fim, através dos dados coletados ao longo da implantação, são apresentados resultados comparativos entre situações antes e depois da implantação da sistemática proposta na dissertação. Também são apresentadas conclusões finais e recomendações para trabalhos futuros.

Atenção visual em crianças e adolescentes : um estudo a partir do paradigma de tempo de reação

O estudo a seguir apresenta o efeito do processo de desenvolvimento sobre a atenção visual em crianças e adolescentes. Verifica a existência de diferenças no tempo de reação manual a estímulos visuais apresentados no campo visual direito (hemisfério esquerdo) e campo visual esquerdo (hemisfério direito) entre crianças e adolescentes de ambos os sexos, observando se há maior lateralização da atenção no sexo feminino durante o desenvolvimento (lateralização da atenção). Observa-se, concomitantemente, a existência de diferenças no tempo de reação a estímulos visuais entre adolescentes masculinos em relação a adolescentes femininos, bem como diferenças no tempo de reação a estímulos visuais em crianças do sexo masculino em relação às crianças do sexo feminino. Realiza-se a aplicação de três experimentos em 60 sujeitos, sendo 30 crianças e 30 adolescentes de ambos os sexos. Os experimentos utilizados foram de detecção de sinais, medindo o tempo de resposta em milisegundos, quando os estímulos eram apresentados na tela de um computador em diferentes intervalos de tempo. Os experimentos diferenciam-se entre si pela presença ou não de estímulos preparatórios e pela indicação da localização ou não do estímulo alvo a ser detectado.Os resultados globais evidenciam uma maior rapidez nas tarefas de tempo de reação no período da adolescência do que no período da infância Na adolescência, os jovens do sexo masculino apresentam um tempo de reação mais reduzido (foram mais rápidos) do que as jovens do sexo feminino em todos os experimentos e sob quaisquer condições. Na infância, os resultados dos testes de tempo de reação manual não evidenciam diferenças entre os meninos e as meninas nos três experimentos realizados e em todas as circunstâncias. Não se encontram, nessa amostra, diferenças em relação à lateralização da atenção nem uma maior especialização do hemisfério direito em relação ao hemisfério esquerdo no sexo feminino.

Extensão do padrão ODMG para suportar tempo e versões

Este trabalho apresenta uma extensão do padrão ODMG para o suporte ao versionamento de objetos e características temporais. Essa extensão, denominada TV_ODMG, é baseada no Modelo Temporal de Versões (TVM), que é um modelo de dados orientado a objetos desenvolvido para armazenar as versões do objeto e, para cada versão, o histórico dos valores dos atributos e dos relacionamentos dinâmicos. O TVM difere de outros modelos de dados temporais por apresentar duas diferentes ordens de tempo, ramificado para o objeto e linear para cada versão. O usuário pode também especificar, durante a modelagem, classes normais (sem tempo e versões), o que permite a integração desse modelo com outras modelagens existentes. Neste trabalho, os seguintes componentes da arquitetura do padrão ODMG foram estendidos: o Modelo de Objetos, a ODL (Object Definition Language) e a OQL (Object Query Language). Adicionalmente, foi desenvolvido um conjunto de regras para o mapeamento do TV_ODMG para o ODMG a fim de permitir o uso de qualquer ODBMS para suportar a extensão proposta.

Parâmetros geológico-geotécnicos controladores dos movimentos de massa na Rota do Sol/RS486 - Itati, RS

Resumo não disponível

Um método para abordar todo o ciclo de desenvolvimento de aplicações tempo real

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.

Exercícios do tempo : Dias felizes e Esperando Godot, de Samuel Beckett; O marinheiro, de Fernando Pessoa

Resumo não disponível.

Um modelo de competição baseada em tempo nos mercados financeiros

O objetivo deste trabalho é modelar o comportamento estratégico dos indivíduos diante de um choque estocástico que desloca o preço de determinado ativo financeiro do seu equilíbrio inicial. Investiga-se o caminho do preço de mercado em direção ao novo equilíbrio, conduzido pelas sucessivas negociações dos agentes em busca de oportunidades de obter lucros imediatos. Os operadores, que por suposição possuem funções de utilidade avessas ao risco, devem escolher a quantidade ótima transacionada e quanto devem aguardar para executar as suas ordens, tendo em vista a diminuição da volatilidade do preço do ativo à medida que as transações se sucedem após o choque. Procura-se demonstrar que os operadores que aceitam incorrer em riscos mais elevados negociam com maior frequência e em volumes e velocidades maiores, usufruindo lucros esperados mais altos que os demais.

Modelos condicionais de apreçamento de ativos com prêmios de risco macroeconômicos variantes no tempo

Analisamos a previsibilidade dos retornos mensais de ativos no mercado brasileiro em um período de 10 anos desde o início do plano Real. Para analisarmos a variação cross-section dos retornos e explicarmos estes retornos em função de prêmios de risco variantes no tempo, condicionados a variáveis de estado macroeconômicas, utilizamos um novo modelo de apreçamento de ativos, combinando dois diferentes tipos de modelos econômicos, um modelo de finanças - condicional e multifatorial, e um modelo estritamente macroeconômico do tipo Vector Auto Regressive. Verificamos que o modelo com betas condicionais não explica adequadamente os retornos dos ativos, porém o modelo com os prêmios de risco (e não os betas) condicionais, produz resultados com interpretação econômica e estatisticamente satis fatórios

Análise de séries de tempo e modelo de formação de expectativas

É fato comum na teoria econômica que os indivíduos reagem a valores correntes de variáveis e a seus valores esperados no futuro. Como as expectativas se formam ainda é matéria de debates. É improvável que exista um único mecanismo explicativo. Propomos como uma importante aplicação do estudo de séries de tempo, a geração de modelos de formação de expectativas através de tais técnicas. Neste trabalho descrevemos e discutimos os modelos de formação de expectativas mais usuais empregados em estudos econômicos passados.

O educativo das relações de gênero no Assentamento Águas Claras : algumas considerações sobre tempo, trabalho e lazer

Esta pesquisa tem como sujeito de investigação o MST, mais especificamente as mulheres e homens do Assentamento Águas Claras, localizado no município de Viamão, RS. O objetivo foi conhecer o cotidiano das pessoas assentadas e pensar como a articulação das relações de gênero com o uso do tempo nos âmbitos de trabalho e lazer funcionaria como princípio educativo, entendendo a Educação como algo mais amplo que a escola. A pesquisa de campo foi um estudo de caso. As técnicas de coleta de dados foram 24 entrevistas semi-estruturadas, observação participante e análise documental. O referencial teórico usado é baseado nas teorias marxista e feminista. Procurei seguir uma abordagem de pesquisa qualitativa. A teoria aparece mesclada com questões históricas e dados coletados para uma maior compreensão da realidade. Os dados encontrados levantam alguns problemas que essas pessoas têm em relação à falta de recursos, à distância da lavoura, à falta de opções de lazer. O educativo das relações de gênero neste âmbito aparece como um processo que existe, mas ocorre de forma lenta e cheio de contradições. Por um lado os sujeitos reconhecem que as mulheres, na sua maioria, trabalham mais que os homens e têm menos tempo livre. No entanto, pouca coisa é feita para mudar essa realidade.