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.

Estudo crítico das metodologias de cálculo para perfis dobrados a frio de vigas tipo canal sem enrijecedores de borda

Neste trabalho é realizada uma análise crítica sobre as formas de dimensionamento de estruturas de chapa dobrada, apresentando as metodologias utilizadas pelas principais normas modernas de cálculo, juntamente com metodologias não convencionais. Para realizar dita análise concentrou se a atenção num tipo de perfil simples (perfis não enrijecidos), e submetido a dois tipos de carregamento: carga axial concentrada no centro de gravidade; barra trabalhando como viga em balanço com carga aplicada no centro de corte. Foi realizado um estudo comparativo, entre as normas de cálculo NBR 14762, AISI e Eurocode 3, com outros métodos de dimensionamento, que são: o método direto desenvolvido por Schafer (1997); e duas formulações de análise por elementos finitos: uma considerando a carga de flambagem elástica; e outra empregando uma análise não linear física e geométrica, para perfis submetidos à compressão centrada e à flexão. Neste trabalho realizou-se um estudo paramétrico, registrando em gráficos e tabelas a influência de parâmetros tais como: comprimento do elemento analisado; da relação entre a alma e a mesa; da relação alma e a espessura. Através destes gráficos é possível observar as diversas formas de colapso (flambagem local, flambagem global, colapso plástico entre outras) se apresentando como críticas e interagindo entre si. Realizaram-se também dois experimentos de perfis submetidos à flexão, com o objetivo de verificar a grandeza dos valores obtidos através das diversas metodologias de cálculo. Para aplicação prática dos conceitos e métodos apresentados fez-se a verificação do dimensionamento de uma estrutura utilizada como prateleira em um almoxarifado de uma empresa metalúrgica situada na grande Porto Alegre, a qual apresentou flambagem lateral de seus elementos horizontais.

A economia política dos blocos de comércio

A proliferação de blocos internacionais de comércio foi retomada na década de 80 com o patrocínio importante dos Estados Unidos, apoiada na convicção de seus defensores de que esses representam o caminho mais rápido e efetivo até o objetivo comum do multilateralismo. Apesar das duras críticas que a análise estática desses arranjos oferece, demonstrando resultados potencialmente negativos e relevantes quanto a perdas de bem estar, essa tendência mantém-se persistente. Tal paradoxo vem motivando contribuições teóricas importantes que procuram explicar esse comportamento à luz da economia-política. Esse trabalho procura examinar a estrutura de incentivos envolvida no processo de determinação da política comercial internacional pelos governos e como as instituições internacionais afetam essa decisão.

Avaliação de Projetos de Investimento com Opções Reais: Cálculo de Valor de Opção de Espera de uma Unidade Separadora de Propeno

O tema central deste trabalho é a avaliação do valor da opção real de espera do investimento em uma Unidade Separadora de Propeno, em comparação com uma análise estática de Valor Presente Líquido. Para isso, foi exposta a teoria de opções reais, os processos estocásticos para a estimação das suas principais variáveis de incerteza (preço de produto e insumo), bem como a descrição das ferramentas de simulação a serem utilizadas. Com os instrumentos expostos, pretendemos demonstrar aos responsáveis por projetos de investimento que as incertezas podem ser medidas, levando a maior flexibilidade na tomada de decisões. Os resultados obtidos apontam para o exercício imediato da opção pela abordagem de ativos contingentes e resultados divergentes na análise de ativos contingentes em função do diferencial de preços, em função da taxa de dividendos adotada. A influência dos valores da volatilidade e da taxa de dividendos nos resultados também foi avaliada, levando à conclusão de que o primeiro gera impactos maiores no valor da opção do que o segundo.

Métodos de discriminação entre grupos: aplicação ao problema da concessão de crédito

Apresenta métodos quantitativos próprios para a discriminação entre grupos, baseados em Análise Discriminante Linear, Regressão Logística, Redes Neurais e Algoritmos Genéticos, dentro do contexto do problema da análise de crédito.

Estudo crítico da metodologia de cálculo para silos prismáticos multicelulares

A armazenagem de grãos é atualmente um importante tópico a ser explorado na região sul do Brasil, e vem se desenvolvendo consideravelmente nos últimos anos. Atualmente a armazenagem é feita através de silos cilíndricos que podem ser de grandes diâmetros ou elevados. Na área da armazenagem é importante implantar novas tecnologias como o caso de silos multicelulares prismáticos que são bastante difundidos nos Estados Unidos. Para estudar estes silos propõe-se analisar um caso real sob a ótica morfológica e dimensional. O estudo baseia-se na comparação entre métodos de análise estrutural analítica convencional com análise numérica através do cálculo por elementos finitos, além de testar as análises de cálculo mais avançadas. Para estudar um caso real buscaram-se informações detalhadas através de desenhos fornecidos por empresas que fabricam estes tipos de silos. Adotando um caso prático como padrão, na seqüência fez-se a análise da interação entre o número de módulos do silo com o objetivo de verificar a influência do número de módulos no dimensionamento dos componentes do silo. Analisou-se o referido projeto utilizando procedimentos clássicos de análise de dimensionamento (métodos analíticos) e compararam-se os mesmos com a análise utilizando o método dos elementos finitos. Adicionalmente executaram-se análises mais avançadas utilizando o método dos elementos finitos como não linearidade geométrica e física, flambagem e análise de freqüências e modos.Após as referidas análises pôde-se concluir que analisando dimensionalmente somente um módulo do silo, pode-se obter resultados que representam todo o conjunto de módulos. Além disso, verificou-se que a análise por elementos finitos é mais apropriada, pois permite menos simplificações de cálculo, apresentando assim resultados mais reais. Quanto às análises adicionais, verificou-se que a carga crítica de flambagem considerando a análise não linear geométrica por elementos finitos é maior do que a carga crítica obtida por análises convencionais.

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Importância dos efeitos de vizinhança na resposta dinâmica de um edifício à ação do vento

A crescente valorização imobiliária das áreas urbanas, que força acréscimos na altura dos edifícios, associada ao desenvolvimento de materiais mais resistentes e técnicas construtivas modernas, que promovem uma tendência ao projeto de estruturas mais esbeltas e flexíveis, formam um cenário propício à ocorrência de problemas associados à resposta dinâmica frente à ação do vento, principalmente à parte flutuante decorrente da turbulência atmosférica.A experiência tem mostrado que o engenheiro estruturalista comum tem pouco ou nenhum conhecimento sobre os efeitos dinâmicos do vento e as conseqüências da vizinhança sobre este carregamento. Por estas razões justifica-se todo o esforço feito no sentido de se estudar, divulgar e tornar mais acessíveis os métodos disponíveis para análise da resposta estrutura à ação dinâmica do vento e os efeitos de vizinhança. Este é o objetivo central do trabalho de dissertação aqui proposto, consiste no estudo crítico, na aplicação prática e na comparação de métodos disponíveis de análise, quais sejam: a Norma Brasileira NBR – 6123, a sua análise estática e dinâmica (Capítulo 9), a Norma Canadense NBCC (1985). Como parte do trabalho foram realizadas análises estruturais detalhadas com programas de elementos finitos, bem como práticas experimentais sobre modelos rígidos no Túnel de Vento Prof. Joaquim Blessmann (TV-2) da UFRGS. Os resultados obtidos através da instrumentação dos modelos ensaiados em túnel de vento foram aplicados às prescrições das normas aqui estudadas. As respostas assim obtidas comparadas com as oriundas da aplicação das recomendações padrão destas normas foram avaliadas comparativamente. Sendo possível concluir que os resultados determinados através das prescrições da norma brasileira de vento apresentaram-se mais consistentes que os da norma canadense. Mesmo assim, alguns pontos necessitam de um estudo maior e mais aprofundado principalmente as considerações referentes à torção, que se mostraram na maioria das vezes contra a segurança, além do efeito da vizinhança que, muitas vezes, causa efeitos imprevisíveis sobre a edificação.

Putnam, Sen e Smith : uma reflexão crítica sobre a teoria econômica neoclássica

A proposta deste trabalho é de, a partir de uma crítica da dicotomia juízos de valor/juízos de fato, realizar uma reflexão crítica sobre a “Teoria Econômica” convencional ou neoclássica e propor uma análise econômica baseada na superação daquela dicotomia. De acordo com Amartya Sem (1999-2007), a análise econômica tem duas raízes: a primeira relacionada à ética e à concepção política, a qual apesar de levantar questões irredutíveis de análise econômica, tem sido desqualificada pela análise econômica moderna, por ser considerada “não científica” e a outra concepção, a abordagem de engenharia, desenvolvida a partir da análise de estados do sistema econômico, e que procurou basear-se grandemente na “análise estática” da Física. Este é o veio principal da Teoria econômica convencional e que por causa de sua analogia com os sistemas físicos é considerada “científica”.

Pré-dimensionamento de vigas de betão armado de acordo com critérios de ductilidade

O dimensionamento de uma estrutura de betão armado depende em grande parte do tipo de metodologia de cálculo utilizado, sendo a análise não linear a que melhor reflete o comportamento da estrutura. Neste tipo de análise é preciso ter em conta alguns aspetos relativos à ductilidade como, a abertura de fendas, a formação de rótulas plásticas e as relações não lineares do material. Entende-se por ductilidade a capacidade de deformação da estrutura sem perda significativa de resistência após atingida a sua capacidade elástica. Esta pode ser quantificada através de diversos indicadores. No caso das vigas é corrente o uso do índice de ductilidade de flecha, que pode ser útil no pré-dimensionamento estrutural pois pode permitir aos projetistas pré-dimensionar vigas segundo um critério de ductilidade. Assim realizou-se uma pesquisa de maneira a identificar quais os fatores mais importantes na ductilidade de uma viga e através do programa cálculo de elementos finitos DIANA 9.4 simularam-se 162 vigas variando a percentagem de armadura mecânica total, o comprimento do vão, a altura útil da secção, a redistribuição de momentos e a classe de betão. Observou-se que o aumento da percentagem de armadura mecânica total origina uma diminuição no índice de ductilidade de cerca de 25% a cada incremento de 0.1 de percentagem de armadura mecânica total, a esbelteza provoca um aumento de 5% a cada 5 unidades no betão C30 e de 2 a 3% no betão C70 e a redistribuição de momentos provocou um aumento na ductilidade. Os resultados mostram que os fatores que mais influenciam na ductilidade das vigas são a percentagem mecânica de armadura total e a classe de resistência do betão, no entanto existem outras que deverão sofrer maior aprofundamento em trabalhos futuros como a utilização de armadura à compressão e os níveis de confinamento do betão.

Desenvolvimento e teste de um modelo estatístico de identificação das proporções de água produzida em zonas de produção de um campo maduro de petróleo

This study investigates the chemical species produced water from the reservoir areas of oil production in the field of Monte Alegre (onshore production) with a proposal of developing a model applied to the identification of the water produced in different zones or groups of zones.Starting from the concentrations of anions and cátions from water produced as input parameters in Linear Discriminate Analysis, it was possible to estimate and compare the model predictions respecting the particularities of their methods in order to ascertain which one would be most appropriate. The methods Resubstitution, Holdout Method and Lachenbruch were used for adjustment and general evaluation of the built models. Of the estimated models for Wells producing water for a single production area, the most suitable method was the "Holdout Method and had a hit rate of 90%. Discriminant functions (CV1, CV2 and CV3) estimated in this model were used to modeling new functions for samples ofartificial mixtures of produced water (producedin our laboratory) and samples of mixtures actualproduced water (water collected inwellsproducingmore thanonezone).The experiment with these mixtures was carried out according to a schedule experimental mixtures simplex type-centroid also was simulated in which the presence of water from steam injectionin these tanks fora part of amostras. Using graphs of two and three dimensions was possible to estimate the proportion of water in the production area

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Estrutura eletrônica de materiais orgânicos: moléculas antimalariais de sulfonamidas e anilinoquinolinas

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Context-sensitive analysis of x86 obfuscated executables

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

Avaliação cefalométrica e tridimensional das vias aéreas superiores posteriores após avanço maxilo-mandibular

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