Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Estratégia de migração de aplicações legadas visuais (tipo WIMP) para o ambiente Web

O sucesso da Internet como plataforma de distribuição de sistemas de informação encoraja organizações a disponibilizar serviços presentes em seus sistemas legados nesse ambiente. Uma parte desses sistemas foi desenvolvida na fase inicial do desenvolvimento das aplicações cliente/servidor para banco de dados, usando ambientes visuais com interfaces gráficas tipo WIMP, implementadas sob o paradigma procedimental/estruturado, baseado em objetos e eventos. Como conseqüência, produziu-se sistemas legados difíceis de manter, evoluir e adaptar a novas tecnologias e arquiteturas, pois os projetos desenvolvidos não seguiam, na maioria das vezes, os bons preceitos e práticas modernas defendidas na Engenharia de Software. O objetivo deste trabalho é propor uma metodologia para migrar sistemas legados com as características citadas acima para a plataforma Web. O processo de migração proposto destaca duas estratégias: a elaboração de modelos de classes conceituais da aplicação e o tratamento dado à interface do usuário, para serem utilizados na reconstrução de uma nova aplicação. O processo é baseado em técnicas e métodos de engenharia reversa, que visa obter abstrações por meio de análise estática e dinâmica da aplicação. Na análise dinâmica, destaca-se o mecanismo para recuperar aspectos dos requisitos funcionais do sistema legado e representá-los na ferramenta denominada UC/Re (Use Case para Reengenharia). Todos os artefatos gerados durante o processo podem ser armazenados em um repositório, representando os metamodelos construídos na metodologia. Para delimitar e exemplificar o processo, escolheu-se como domínio de linguagem de programação do software legado, o ambiente Delphi (sob a linguagem Object Pascal). É proposto também um ambiente CASE, no qual é descrito o funcionamento de um protótipo que automatiza grande parte das funcionalidades discutidas nas etapas do processo. Algumas ferramentas desenvolvidas por terceiros são empregadas na redocumentação do sistema legado e na elaboração dos modelos UML do novo sistema. Um estudo de caso, apresentando uma funcionalidade específica de um sistema desenvolvido em Delphi, no paradigma procedimental, é usado para demonstrar o protótipo e serve de exemplo para a validação do processo. Como resultado do processo usando o protótipo, obtém-se o modelo de classes conceituais da nova aplicação no formato XMI (formato padrão para exportação de modelos UML), e gabaritos de páginas em HTML, representando os componentes visuais da interface original na plataforma Web.

Rede de modelos termodinâmicos locais

A simulação computacional de processos é uma ferramenta valiosa em diversas etapas da operação de uma planta química, tais como o projeto, a análise operacional, o estudo da estratégia de controle e a otimização, entre outras. Um programa simulador requer, freqüentemente, o cálculo das propriedades termofísicas que fazem parte das equações correspondentes aos balanços de massa, energia e quantidade de movimento. Algumas dessas quantidades, típicas de operações baseadas no equilíbrio de fases (tais como a destilação fracionada e a separação flash), são as fugacidades e entalpias das fases líquida e vapor em equilíbrio. Contudo, o uso de modelos e correlações cada vez mais sofisticadas para representar acuradamente as propriedades termofísicas dos sistemas reais fez com que grande parte do tempo gasto numa simulação de processos seja devida à avaliação destas propriedades. Muitas estratégias têm sido propostas na literaturas a fim de se reduzir a carga computacional envolvida na simulação, estática e dinâmica, dos problemas de Engenharia Química. Esta diminuição do tempo de processamento pode muitas vezes ser determinante na aplicação ou não da simulação de processos na prática industrial, como, por exemplo, no controle automático. Esta dissertação aborda uma das alternativas para a redução do tempo computacional gasto na simulação de processos: a aproximação das funções que descrevem as propriedades termofísicas através de funções mais simples, porém de fácil avaliação. Estas funções, a fim de se garantir uma aproximação adequada, devem ser corrigidas ou atualizadas de alguma forma, visto que se tratam de modelos estritamente válidos em uma pequena região do espaço das variáveis, sendo, por isto, chamados de modelos locais. Partindo-se do estado atual desta técnica, é proposta nesta dissertação uma nova metodologia para se efetuar esta aproximação, através da representação global da propriedade mediante múltiplas funções simples, constituindo, desse modo, uma rede de modelos locais. Algumas possibilidades para a geração efetiva destas redes são também discutidas, e o resultado da metodologia é testado em alguns problemas típicos de separação por equilíbrio de fases.

Equilíbrio econômico contínuo: endogeneizando as fricções dinâmicas

Discute os métodos dinâmicos em Economia, apontando a fragilidade a que ficam sujeitos quando se abstraem da análise dos fatores que, a partir do comportamento ótimo dos agentes, determinam a existência de processos econômicos lentos. Discute as noções de tempo e equilíbrio em Economia. Sugere uma classificação para os experimentos econômicos de dinâmica, mostrando clara preferência pelo modelo de Análise Endógena de Equilíbrio Dinâmico (ANED). Apresenta e discute a lógica e a possibilidade de operacionalização dos modelos de ANED, imunes aos problemas apontados.

Número de desempenho robusto não-linear : uma nova medida do grau de não-linearidade

nRPN, nRPNSTAT e nRPNDYN são novos índices, propostos nesta dissertação, que quantificam o grau de não-linearidade total, estática e dinâmica, respectivamente, de sistemas dinâmicos não- lineares. Estes novos índices permitem responder se é necessária a utilização de controladores não-lineares ou se simples controladores lineares apresentarão desempenho satisfatório. Além disso, se um controlador não- linear se fizer necessário, quais características este deve apresentar. Nesta dissertação é realizado um estudo acerca das metodologias para determinação do grau de não- linearidade de plant as industriais. Entre as encontradas, a que apresenta as melhores potencialidades é estudada em detalhes, tendo seus atributos e deficiências explorados. As deficiências foram sanadas e um novo conjunto de índices é proposto (nRPN, nRPNSTAT e nRPNDYN), o qual, além de apresentar resultados conclusivos em termos quantitativos, também traz novas informações valiosas para a escolha do controlador adequado, como a parcela estática e dinâmica da não- linearidade. A metodologia proposta é aplicada e testada em um conjunto bastante amplo e complementar de possíveis sistemas dinâmicos não-lineares (tais como: pH, reatores químicos e coluna de destilação de alta pureza) onde o comportamento nãolinear já foi explorado na literatura O desenvolvimento e o estudo do comportamento dinâmico de uma planta laboratorial de cinco tanques acoplados são apresentados. Este sistema possui dinâmica e ganhos variáveis, descontinuidades, inversão no sinal do ganho multivariável e diferentes graus de acoplamento, ilustrando de forma simples vários possíveis comportamentos dinâmicos encontrados em plantas industriais. Devido a esta grande versatilidade a planta foi construída e testada, confirmando os comportamentos previstos nos estudos teóricos.

Escalonamento de Processos

A videoaula apresenta o escalonamento de processos, com foco para as políticas de escalonamento do processador. Destaca o escalonamento com prioridades (estática ou dinâmica), o funcionamento do escalonamento de threads em Java, os níveis de escalonamento (alto nível, nível intermediário, baixo nível) e os critérios que são levados em conta pelo algoritmo de escalonamento. Apresenta também os objetivos e critérios do escalonamento e seus seguintes tipos: Escalonamento FIFO (first-in first-out), Escalonamento circular RR (Round-Robin ), Escalonamento SPF (Shortest Process First), Escalonamento SRT (Shortest Remaining Time), Escalonamento FSS (Fair Share Scheduling) - Escalonamento por fração justa, Escalonamento de tempo real, Escalonamento de threads Java – JVM, Escalonamento no Windows XP e UNIX.

Uma abordagem institucional da carcinicultura do Rio Grande do Norte de 1999 a 2009

This study analyzes the institucional environment and its changes around the carcinicultora activity in Rio Grande do Norte from the understanding of its trajectory and the macroinstitucional elements micron and that characterizes the activity in the period of 1999 the 2009. In the analysis of the occured institucional changes in the carcinicultura the Guaraíra Estuary is overcome as space reference, located in the eastern coast of the Rio Grande of the North. The analysis proposal has for base the adoption of the conceptual support of the innovative institucionalistas and neoshumpterianas theories, for understanding that these bring complementary and enriching elements that will allow an analysis, not static, but, dynamics of the carcinicultora activity. It was verified that the crisis brought up for the antidumping action, for the problems of the illnesses that had abated the shrimp, for the depreciation of the Real, among others it led to an overturn in the productive conjuncture of market and forced the alteration of the effective institutions. This institucional alteration, goes in the direction to search to take care of the new demands of the carcinicultura that was possible for the solidity of the institucional foundations constructed throughout the thirty previous years and the consequent consolidation of the composed institucional apparatus for rich a mix of organizations, not only for agencies of government, as well as for organizations with social representation

Efeitos do treinamento de dupla tarefa no controle do equilíbrio dinâmico e estático de idosas pré-frágeis: um estudo piloto

The increasing world population of older individuals has become a subject of growing research for prevention and reversibility of the frailty because it is a major risk factor for the occurrence of falls, especially when it involves everyday situations of dual task. Some rehabilitation programs have already used the methods of dual-task with general exercises for improving gait and postural control, but has been reported that these interventions have little specificity with limited success to improve certain aspects of static and dynamic position during the performance of functional tasks. This study aimed to verify the measures of postural control in a group of elderly women with fragility phenotype after physical therapy intervention program based on dual-task treadmill training. We selected six pre-frail elderly subjects, with a minimum age of 65, female, living in the community and randomly assigned to two groups. The survey was conducted twice a week for 45 minutes, for four weeks. The simple task intervention consisted only in training on a treadmill and the dual task consisted of in treadmill training associated with visual stimuli. The assessments were made with the use of the Berg Balance Scale (BBS) and the Balance Master® computerized posturography, static and dynamically. The effects of retention were observed after one month, using the same instruments earlier used. The results showed a tendency toward improvement or maintenance of the balance after training on a treadmill, especially with respect to static equilibrium. Both groups showed the most notable changes in the variables related to gait, as the length and speed. The BBS scores and the baropodometric variables showed that the experimental group could keep all values similar or better even one month after completion of training unlike the control group. We concluded that the dual-task performance had no additional value in relation to the improvement of balance in general, but we observed that the effectiveness of visual stimulation occurred in the maintenance of short term balancevariables

Fator de correção para indivíduos com capacidade acomodativa baseado no uso do refrator automático

OBJETIVO: Pesquisar um fator de correção para avaliação do erro refrativo sem a utilização da cicloplegia. MÉTODOS: Foram estudados 623 pacientes (1.246 olhos), de ambos os sexos, com idade entre 3 e 40 anos. As refratometrias estática e dinâmica foram obtidas usando-se o refrator automático Shin-Nippon Accuref-K 9001. A cicloplegia foi obtida com a instilação de uma gota de colírio ciclopentolato a 1%, com refratometria estática 30 minutos após. Os dados foram submetidos à análise estatística usando a técnica do modelo de regressão linear e modelo de regressão múltipla do valor dióptrico com e sem cicloplegia, em função da idade. RESULTADOS: A correlação entre valores dióptricos sem e com cicloplegia quanto ao erro astigmático variou de 81,52% a 92,27%. Quanto ao valor dióptrico esférico, a correlação foi menor (53,57% a 87,78%). O mesmo se observou em relação ao eixo do astigmatismo (28,86% a 58,80%). O modelo de regressão múltipla em função da idade mostrou coeficiente de determinação múltiplo maior para a miopia (86,38%) e astigmatismo (79,79%). O menor coeficiente foi observado para o eixo do astigmatismo (17,70%). CONCLUSÃO: Avaliando-se os erros refrativos com e sem cicloplegia, observou-se alta correlação nas ametropias cilíndricas. Foram desenvolvidas equações matemáticas como fator de correção para refratometrias dos pacientes sem cicloplegia, portadores de ametropias cilíndricas e esféricas.

Análisis económico de externalidades ambientales. Guía para decisores

Incluye Bibliografía

Del monopolio de Estado a la convergencia tecnológica: evolución y retos de la regulación de telecomunicaciones en América Latina

Incluye Bibliografía

Atividade eletromiográfica durante exercícios de propriocepção de tornozelo em apoio unipodal

Propriocepção refere-se à percepção dos mecanorreceptores para discriminar a posição do corpo e movimentos articulares, bem como tensões sobre os tendões na fase estática ou dinâmica da marcha. Objetivou-se avaliar por eletromiografia a ativação muscular do gastrocnêmio e tibial anterior em diferentes exercícios de propriocepção do tornozelo em apoio unipodal, comparando graus de dificuldade. Foram selecionados 54 voluntários, sedentários, destros, do sexo masculino (20-35 anos). Exercícios foram feitos no balancinho, prancha de equilíbrio, cama elástica e solo, à razão de três repetições de 15 segundos cada, com intervalo de 15 segundos entre as repetições. Ao final dos testes os voluntários indicaram a maior dificuldade. A atividade elétrica de ambos os músculos foi significativamente maior durante o teste no balancinho. No solo, ambos os músculos apresentaram menor atividade, mas apenas no gastrocnêmio essa diferença foi significativa. No exercício na prancha de equilíbrio e na cama elástica não se encontrou diferença quanto à ativação dos músculos. Na análise intermúsculo foi observada maior atividade do tibial anterior, exceto no balancinho. Assim, para o treino do apoio unipodal na aquisição do ganho proprioceptivo, o equipamento adotado deve ser escolhido com cuidado: no balancinho é maior o recrutamento dos músculos tibial anterior e gastrocnêmio, assim como é maior o grau de dificuldade para manutenção do equilíbrio.

Novos peptídeos sintéticos e estudo da interação com membranas modelo: efeito de modificações no N-terminal na atividade lítica e antimicrobiana

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A oclusão nas próteses totais implantossuportadas mediatas e imediatas

Rehabilitation of edentulous patients has been a challenge for professionals since the primary concepts and fundaments of occlusal rehabilitation. However, this philosophy has been improved by implant-supported fixed dentures that represent a predictable clinical modality on modern dentistry. Nevertheless, considering that the traditional protocol requires a long period for bone healing and definitive rehabilitation, immediate loading of implants has been advantageous for functional and esthetic rehabilitation of patients in a reduced period. The aim of this study is to discuss the biomechanical and functional fundaments of occlusion for implant-supported fixed dentures with mediate and immediate loading to provide clinical evidences for longevity of this treat ment modality based on the current literature. According to this, some prerequisites as proper bone quality, excellent primary stability, sufficient number of implants, rigid splinting, and control and mastering of biomechanical fundamentals of static and dynamic occlusion are mandatory for treatment predictability and longevity.

Análise de habitações sociais na perspectiva da ergonomia do ambiente construído: estudo de caso do PROMORE

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)