FRIDA: um método para elicitação e modelagem de RNFs

Os requisitos direcionam o desenvolvimento de software porque são cruciais para a sua qualidade. Como conseqüência tanto requisitos funcionais quanto não funcionais devem ser identificados o mais cedo possível e sua elicitação deve ser precisa e completa. Os requisitos funcionais exercem um papel importante uma vez que expressam os serviços esperados pela aplicação. Por outro lado, os requisitos não funcionais estão relacionados com as restrições e propriedades aplicadas ao software. Este trabalho descreve como identificar requisitos não funcionais e seu mapeamento para aspectos. O desenvolvimento de software orientado a aspectos é apontado como a solução para os problemas envolvidos na elicitação e modelagem dos requisitos não funcionais. No modelo orientado a aspectos, o aspecto é considerado o elemento de primeira ordem, onde o software pode ser modelado com classes e aspectos. As classes são comumente usadas para modelar e implementar os requisitos funcionais, já os aspectos são adotados para a modelagem e implementação dos requisitos não funcionais. Desse modo, é proposta a modelagem dos requisitos não funcionais através das fases do ciclo de vida do software, desde as primeiras etapas do processo de desenvolvimento. Este trabalho apresenta o método chamado FRIDA – From RequIrements to Design using Aspects, cujo objetivo é determinar uma forma sistemática para elicitar e modelar tanto os requisitos funcionais quanto os não funcionais, desde as fases iniciais do ciclo de desenvolvimento. Em FRIDA, a elicitação dos requisitos não funcionais é realizada usando-se checklists e léxicos, os quais auxiliam o desenvolvedor a descobrir os aspectos globais – utilizados por toda a aplicação – bem como, os aspectos parciais que podem ser empregados somente a algumas partes da aplicação. O próximo passo consiste na identificação dos possíveis conflitos gerados entre aspectos e como resolvê-los. No método FRIDA, a identificação e resolução de conflitos é tão importante quanto a elicitação de requisitos não funcionais, nas primeiras fases do ciclo de vida do software. Além disso, é descrito como usar a matriz de conflitos para automatizar esse processo sempre que possível. A extração dos aspectos e sua modelagem visual são características muito importantes, suportadas pelo método, porque elas possibilitam a criação de modelos que podem ser reutilizados no futuro. Em FRIDA, é demonstrado como transformar os requisitos em elementos da fase de projeto (classes e aspectos) e como traduzir esses elementos em código. Outra característica do método FRIDA é que a conexão entre diagramas, que pertencem a diferentes fases do processo de desenvolvimento do software, permite um alto nível de rastreabilidade. Em resumo, FRIDA requer que o desenvolvedor migre de uma visão puramente funcional para outra que contemple também os requisitos não funcionais.

Método de avaliação da segurança potencial de segmentos rodoviários rurais de pista simples

O objetivo dessa tese de doutorado foi desenvolver e aplicar um método de avaliação da segurança potencial de segmentos rodoviários rurais pavimentados de pista simples com base nas características físicas das rodovias. O método desenvolvido fundamentou-se na investigação da influência das características físicas da rodovia a partir da experiência e do conhecimento de profissionais que atuam junto à área de segurança rodoviária. O índice de segurança proposto recebeu a denominação de Índice de Segurança Potencial (ISP). O ISP tem a finalidade de refletir as condições latentes de segurança de segmentos rodoviários. Como resultado da aplicação do método proposto tem-se o perfil de segurança dos trechos rodoviários, através do qual é possível identificar aqueles segmentos que apresentam maiores deficiências nas condições de segurança. O índice proposto permite, ainda, que se faça uma avaliação desagregada das condições de segurança do segmento de forma a identificar as características físicas que mais contribuem para a carência de segurança.

Implementação de um projeto de melhorias em um processo de reação química em batelada utilizando o método DMAIC

Esta dissertação apresenta a implementação das etapas do método DMAIC (Definir, Medir, Analisar, Melhorar e Controlar) no desenvolvimento de um projeto Seis Sigma em uma indústria petroquímica. O objetivo do projeto Seis Sigma foi reduzir a variabilidade de uma característica de qualidade crítica para o cliente e diminuir a dispersão dos tempos de reação entre as bateladas na produção de elastômeros. Neste trabalho são apresentadas as principais técnicas e ferramentas estatísticas utilizadas nas cinco etapas do método DMAIC, tais como brainstorming, mapeamento de processo, diagrama de causa e efeito, matriz da causa e efeito, gráfico de Pareto, FMEA e análise de regressão linear múltipla. A pesquisa desenvolvida de forma participativa, através da interação entre o pesquisador e os especialistas do processo, evidenciou a importância do conhecimento técnico do processo e um bom planejamento para a aquisição dos dados, como pontos importantes para a realização de um projeto de melhoria bem sucedido. O estudo apontou ainda, deficiências no sistema de controle de temperatura do reator, no sistema de medição para a característica de qualidade viscosidade Mooney e no sistema de dosagem dos insumos.

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.

Método de estimação de modelos de ciclos reais - um estudo para as economias brasileira e americana

O presente trabalho estima por máxima verossimilhança um modelo de ciclos reais para as economias brasileira americana. Os parâmetros são estimados partir de um VAR na forma estrutural obtido de um modelo macroeconômico de horizonte infinito com agente representativo choque tecnológico. Como algumas variáveis necessárias para estimação do modelo não são observadas emprega-se, na rotina computacional escrita em Matlab, método de Filtro de Kalman. Desta forma, enfoque adotado apresenta-se como opção metodologia de calibração, bem como metodologia de modelos VAR com imputação ad hoc de condições de identificação. Para estimação do modelo construiu-se uma base de dados de tributação para o Brasil, desagregando em impostos sobre absorção, sobre rendimento do fator capital sobre fator trabalho para período 1949-1995. Também empreende-se ao longo da dissertação, um detalhamento minucioso da técnica econométrica empregada dos procedimentos computacionais adotados.

Sistematização de uma abordagem da medição de uma produção diversificada e seus desempenhos num ambiente industrial pelo método das Unidades de Esforço de Produção-UEPs

As atividades ligadas à medição da produção em uma organização industrial monoprodutora são facilmente feitas em função de uma única unidade de medida: a quantidade total produzida (controle físico), com seus custos totais de fabricação associados (controle monetário). A fabricação simultânea de vários produtos diversificados aumenta a complexidade dessas atividades, principalmente pela inexistência de uma unidade de medida comum a toda a produção. Este trabalho desenvolveu-se tendo em mente procurar uma solução alternativa aos métodos usuais utilizados para medir uma produção, quais sejam: número de horas, faturamento, quantidade física, entre outras, buscando racionalizar o processo de gestão Industrial, pela definição de uma unidade de medida comum a toda a produção o qual transforma uma fábrica multiprodutora real numa fábrica de um único produto representativo e equivalente a toda a produção. A Unidade de Esforço de Produção, UEPs, responde satisfatoriamente a essa necessidade, unificando e homogeneizando as atividades desenvolvidas por uma fábrica multiprodutora. Sua definição materializa sob uma mesma base de esforços (despesas) alocados aos vários postos operativos (máquinas e equipamentos) na fabricação dos diversos produtos. A organização escolhida para que fosse desenvolvido o presente trabalho, Estudo de Caso, serve como modelo para pesquisas futuras em outros tipos de organização que produzem produtos diversificados. O objetivo principal deste estudo é a Medição de uma Produção Diversificada e de seus Desempenhos, a saber: Custos, Rendimento, Eficiência, Produtividade tanto horária quanto econômica, num ambiente industrial pelo Método das UEPs. É uma contribuição para o controle das atividades no âmbito da gestão Industrial. Os resultados apresentados no presente trabalho indicam que as organizações industriais multiprodutoras tem neste Método (UEPs) uma ferramenta gerencial para poder Medir e Controlar os seus Desempenhos fazendo comparações entre os Desempenhos Planejados (Metas) e os Desempenhos verdadeiramente ocorridos.

Método para dosagem de concretos auto-adensáveis

O concreto auto-adensável (CAA) vem sendo descrito por muitos pesquisadores como uma grande revolução ocorrida na tecnologia do concreto. Sua utilização, apesar de estar aumentando consideravelmente, ainda é pequena, se forem analisadas todas as vantagens que este material permite obter. Um dos motivos para esta sub-utilização é a falta de métodos de dosagem experimental, que permite a determinação da proporção exata dos materiais, de forma econômica e racional. Neste trabalho foi proposto um método de dosagem para concretos auto-adensáveis, com materiais locais e econômicos. Para comprovar a eficiência do método de dosagem proposto, foram realizados CAA com materiais finos distintos, dois pozolânicos (metacaulim e cinza de casca de arroz) e um não pozolânico (fíler calcáreo), primeiramente com, e, após, sem aditivo modificador de viscosidade (VMA). Observou-se que os CAA com cinza de casca de arroz foram os mais viáveis economicamente. Também observou-se que a utilização do VMA não interfere no custo dos concretos, porém reduz a relação água/aglomerante, permitindo, assim, a possibilidade de redução de consumo de aglomerantes, para uma mesma faixa de resistência à compressão. Após este estudo experimental, observou-se que é possível dosar CAA através do método proposto, de forma que o custo deste, para uma mesma faixa de resistência à compressão, seja próximo ou até inferior ao do concreto convencional.

O método generalizado dos momentos (MGM): conceitos básicos

O presente texto desenvolve, com fins didáticos, as propriedades básicas do Método Generalizado dos Momentos (MGM). Faz parte de obra (livro) em elaboração.

Simulação numérica da interação de escoamentos tridimensionais de fluidos compressíveis e incompressíveis e estruturas deformáveis usando o método de elementos finitos

Neste trabalho apresenta-se um algoritmo para a simulação de problemas tridimensionais de interação fluido-estrutura utilizando a técnica de elementos finitos. Um esquema de Taylor-Galerkin de dois passos e elementos tetraédricos lineares são empregados para o fluido, que pode ser compressível ou incompressível. É adotada uma formulação lagrangeana-euleriana arbitrária (ALE), compatível com o movimento da interface fluidoestrutura. Um método ftacionado de correção de velocidade é utilizado para os fluidos incompressíveis. A estrutura é analisada usando elementos triangulares com três nós e seis graus de liberdade por nó (três componentes de deslocamentos e três componentes de rotação). Os efeitos da não-linearidade geométrica são incluídos. O método de Newmark é empregado para integrar no tempo as equações dinâmicas de equilíbrio, usando-se uma descrição lagrangeana atualizada. O sistema de equações alge'bricas é solucionado através do método dos gradientes conjugados e o sistema não-linear, resultante de deslocamentos e rotacões finitas da estrutura, é solucionado com um esquema incremental-iterativo. O código é otimizado para aproveitar as vantagens do processamento vetorial.

Aplicação de um método de implantação da manutenção produtiva total a partir da ótica da teoria das restrições na linha de fabricação de panelas da Tramontina Farroupilha S.A.

Este trabalho tem por objetivo estudar a implantação dos princípios e técnicas da Manutenção Produtiva Total, Teoria das Restrições e Sistema Toyota de Produção em uma indústria metalúrgica visando aumentar a capacidade produtiva da linha de fabricação de panelas de aço inoxidável. O mesmo foi desenvolvido na Tramontina Farroupilha S.A. Após uma fundamentação teórica e a apresentação das características gerais da empresa, é proposto um método de implantação da Manutenção Produtiva Total em dez etapas, aplicado em equipamento gargalo e obtendo um aumento significativo de sua capacidade. As conclusões indicam a possibilidade de implantação deste método à esta atividade industrial bem como a sua utilização em outros ramos industriais, observadas as características específicas de cada organização.

Método ABC (activity-based costing) aplicado ao processo de logística de distribuição : o caso da indústria de computadores

Resumo não disponível.

Violinistas e método Suzuki : um estudo com egressos do Centro Suzuki de Santa Maria

A presente pesquisa teve como objetivo investigar as opiniões de violinistas egressos do Centro Suzuki de Santa Maria sobre o método Suzuki, descrevendo as influências do método na vida pessoal desses instrumentistas, examinando as contribuições do ensino através do método e analisando algumas críticas feitas ao método. Neste estudo empreguei o método de survey. Através dele foram selecionados quatorze ex-alunos que começaram a estudar violino pelo método Suzuki com a professora irmã Wilfried. As informações foram coletadas por meio de questionário enviado eletronicamente. Os dados foram confrontados com a literatura sobre o método Suzuki apresentada neste trabalho através de textos do próprio Suzuki (1994) e de outros autores, como Penna (1998a, 1998b), Gerling (1989), Mark (1986), Priest (1989), Hargreaves (1986), entre outros. Entre os resultados desta investigação, pude constatar uma forte concordância com o método por parte dos investigados. Além disso, a maioria deles considera o método Suzuki como o melhor método para o ensino da música e do instrumento, principalmente no que se refere ao ensino para crianças e à sociabilidade que se dá através do tocar em grupo.

Solução analítica da equação de difusão-advenção pelo método GILTT aplicada à dispersão de poluentes atmosféricos

O objetivo deste trabalho é obter uma nova solução analítica para a equação de advecção-difusão. Para tanto, considera-se um problema bidimensional difusivo-advectivo estacionário com coeficiente de difusão turbulenta vertical variável que modela a dispersão de poluentes na atmosfera. São utilizados três coeficientes difusivos válidos na camada limite convectiva e que dependem da altura, da distância da fonte e do perfil de velocidade. A abordagem utilizada para a resolução do problema é a técnica da Transformada Integral Generalizada, na qual a equação transformada do problema difusivo-advectivo é resolvida pela técnica da Transformada de Laplace com inversão analítica. Nenhuma aproximação é feita durante a derivação da solução, sendo assim, esta é exata exceto pelo erro de truncamento. O modelo ´e avaliado em condições moderadamente instáveis usando o experimento de Copenhagen. Apresentam-se os resultados numéricos e estatísticos, comparando os resultados obtidos com dados experimentais e com os resultados da literatura. O modelo proposto mostrou-se satisfatório em relação aos dados dos experimentos difusivos considerados.