Programa de manutenção de aeronaves: rodas e travões

No presente trabalho aborda-se as rodas (pneus + jantes) e travões das frotas A319,A320, A320 SATA, A330 e A340 da TAP. Procurou-se realizar uma análise ao actual estado destes componentes, tendo sempre em mente eventuais melhorias a propor caso fosse possível. O estudo dividiu-se nas seguintes partes: prestação, custos, tipo de falhas, manutenção e fiabilidade. Nos três primeiros referenciados pretendeu-se analisar o estado dos componentes e ver potenciais padrões de falhas e irregularidades analisando também os custos de modo a sugerir potenciais reduções caso o cenário assim o permitisse. Salienta-se também que, para este trabalho, as temáticas manutenção e fiabilidade encontram-se interligadas. Teve-se em mente a realização de um estudo da probabilidade de falha dos componentes e assim, averiguar a possibilidade de melhorias no actual estado de manutenção praticado. Para tal, para os dados fiabilisticos recorreu-se ao programa Reliasoft Weibull++7 de modo a podermos observar a evolução do estado do componente ao longo dos ciclos. Por fim, deu-se uso a uma ferramenta fiabilistica, com o auxílio do software Maple 12 que visa a obtenção de um ponto mínimo de custo da manutenção de um componente, tendo a finalidade de comparar com o actual cenário de manutenção correctiva.

O método de divisão-e-conquista na solução de auto-sistemas de matrizes simétricas

O presente trabalho apresenta um estudo do método de divisão-e-conquista para solução dos auto-sistemas de matrizes tridiagonais simétricas. Inicialmente, explanamos a parte teórica, e posteriormente, por meio de exemplos numéricos mostramos seu funcionamento. Para a realização deste estudo, utilizou-se o software Maple como ferramenta auxiliar. Realizamos comparações e análises dos auto-sistemas encontrados com as rotinas DSTEDC e DSTEQR do LAPACK, que utilizam respectivamente o método de divisão-e-conquista e o método QR e também comparamos estes com os resultados encontrados por nós. Verificamos por meio de testes os tempos, que as rotinas citadas, dispendem na resolução de alguns auto-sistemas. Os resultados apresentados mostram que o método de Divisão-e-Conquista é competitivo com o método tradicional, QR, para o cálculo de autovalores e autovetores de matrizes tridiagonais simétricas.

Vibrações livres e forçadas no modelo de Timoshenko

O objetivo deste trabalho é o cálculo modal da resposta impulso distribu ída de uma viga descrita pela equação de Timoshenko e das vibrações forçadas, devidas a influência de cargas externas. Os modos vibratórios foram obtidos com o uso da base dinâmica, gerada por uma resposta livre e suas derivadas. Esta resposta é caracterizada por condições iniciais impulsivas. Simulações foram realizadas para os modos, a resposta impulso distribuída e vibrações forçadas em vigas apoiadas em uma extremidade e na outra livre, fixa, deslizante ou apoiada, sujeitas a cargas oscilatórias espacialmente concentradas ou distribuídas através de pulsos.

Ensaio sobre o fluxo de Ricci e os buracos negros: fundamentação e estudo computacional

Pós-graduação em Ciência da Computação - IBILCE

Aplicação da computação simbólica na resolução de problemas de condução de calor em cilindros vazados com condições de contorno convectivas

Pós-graduação em Engenharia Mecânica - FEG

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.

Molecular Machanics of Water Monomer-Maple Code

This is the Maple code to support the molecular dynamics of a water monomer molecule, allowing investigation of the classical vibrations of this molecule.

Fundamentación del uso de software libre en la universidad pública. Enseñando matemática con herramientas alternativas

En el presente trabajo se caracterizará al Software Libre, sus ventajas técnicas, morales y pedagógicas por sobre sus contrapartes privativas. Es mi convicción que la Universidad pública debe enseñar métodos de trabajo y no a utilizar una herramienta en particular; principalmente porque los programas de mayor difusión en el ámbito académico no permiten su distribución ni el estudio de su funcionamiento interno. Se presentarán los principales reemplazos a MATLAB y Maple (SAGE, Python+NumPy y Maxima) y se dará una introducción a estos con ejemplos reales.

Fundamentación del uso de software libre en la universidad pública. Enseñando matemática con herramientas alternativas

En el presente trabajo se caracterizará al Software Libre, sus ventajas técnicas, morales y pedagógicas por sobre sus contrapartes privativas. Es mi convicción que la Universidad pública debe enseñar métodos de trabajo y no a utilizar una herramienta en particular; principalmente porque los programas de mayor difusión en el ámbito académico no permiten su distribución ni el estudio de su funcionamiento interno. Se presentarán los principales reemplazos a MATLAB y Maple (SAGE, Python+NumPy y Maxima) y se dará una introducción a estos con ejemplos reales.

Fundamentación del uso de software libre en la universidad pública. Enseñando matemática con herramientas alternativas

En el presente trabajo se caracterizará al Software Libre, sus ventajas técnicas, morales y pedagógicas por sobre sus contrapartes privativas. Es mi convicción que la Universidad pública debe enseñar métodos de trabajo y no a utilizar una herramienta en particular; principalmente porque los programas de mayor difusión en el ámbito académico no permiten su distribución ni el estudio de su funcionamiento interno. Se presentarán los principales reemplazos a MATLAB y Maple (SAGE, Python+NumPy y Maxima) y se dará una introducción a estos con ejemplos reales.

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Vertical Bone Measurements From Cone Beam Computed Tomography Images Using Different Software Packages.

This article aimed at comparing the accuracy of linear measurement tools of different commercial software packages. Eight fully edentulous dry mandibles were selected for this study. Incisor, canine, premolar, first molar and second molar regions were selected. Cone beam computed tomography (CBCT) images were obtained with i-CAT Next Generation. Linear bone measurements were performed by one observer on the cross-sectional images using three different software packages: XoranCat®, OnDemand3D® and KDIS3D®, all able to assess DICOM images. In addition, 25% of the sample was reevaluated for the purpose of reproducibility. The mandibles were sectioned to obtain the gold standard for each region. Intraclass coefficients (ICC) were calculated to examine the agreement between the two periods of evaluation; the one-way analysis of variance performed with the post-hoc Dunnett test was used to compare each of the software-derived measurements with the gold standard. The ICC values were excellent for all software packages. The least difference between the software-derived measurements and the gold standard was obtained with the OnDemand3D and KDIS3D (-0.11 and -0.14 mm, respectively), and the greatest, with the XoranCAT (+0.25 mm). However, there was no statistical significant difference between the measurements obtained with the different software packages and the gold standard (p> 0.05). In conclusion, linear bone measurements were not influenced by the software package used to reconstruct the image from CBCT DICOM data.

Systematic Management of Variability in UML-based Software Product Lines

This paper presents SMarty, a variability management approach for UML-based software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a process for managing variabilities, the SMartyProcess. SMartyProfile aims at representing variabilities, variation points, and variants in UML models by applying a set of stereotypes. SMartyProcess consists of a set of activities that is systematically executed to trace, identify, and control variabilities in a PL based on SMarty. It also identifies variability implementation mechanisms and analyzes specific product configurations. In addition, a more comprehensive application of SMarty is presented using SEI's Arcade Game Maker PL. An evaluation of SMarty and related work are discussed.