Grid environments are inherently heterogeneous. If the computational power provided by collaborations on the Grid is to be harnessed in the true sense, there is a need for applications that can automatically adapt to changes in the execution environment. The application writer should not be burdened with the job of choosing the right algorithm and implementation every time the resources on which the application runs are changed. A lot of research has been done in adapting applications to changing conditions. The existing systems do not address the issue of providing a unified interface to permit algorithm selection at runtime. The goal of this research is to design and develop a unified interface to applications in order to permit seamless access to different algorithms providing similar functionalities. Long running, computationally intensive scientific applications can produce huge amounts of performance data. Often, this data is discarded once the application's execution is complete. This data can be utilized in extracting information about algorithms and their performance. This information can be used to choose algorithms intelligently. The research described in this thesis aims at designing and developing a component based unified interface for runtime algorithm selection in grid environments. This unified interface is necessary so that the application code does not change if a new algorithm is used to solve the problem. The overhead associated with making the algorithm choice transparent to the application is evaluated. We use a data mining approach to algorithm selection and evaluate its potential effectiveness for scientific applications. / Master of Science

No / This study has investigated an artificial intelligence technology ¿ model trees ¿ as a modelling tool applied to an immediate release tablet formulation database. The modelling performance was compared with artificial neural networks that have been well established and widely applied in the pharmaceutical product formulation fields. The predictability of generated models was validated on unseen data and judged by correlation coefficient R2. Output from the model tree analyses produced multivariate linear equations which predicted tablet tensile strength, disintegration time, and drug dissolution profiles of similar quality to neural network models. However, additional and valuable knowledge hidden in the formulation database was extracted from these equations. It is concluded that, as a transparent technology, model trees are useful tools to formulators

Este trabalho consiste na análise do comportamento do método WAMG (Wavelet-Based Algebraic Multigrid), método numérico de resolução de sistemas de equações lineares desenvolvido no LMAG-Laboratório de Eletromagnetismo Aplicado, com relação a diversos suavizadores. O fato dos vetores que compõem os operadores matriciais Pronlongamento e Restrição do método WAMG serem ortonormais viabiliza uma série de análises teóricas e de dados experimentais, permitindo visualizar características não permitidas nos outros métodos Multigrid (MG), englobando o Multigrid Geométrico (GMG) e o Multigrid Algébrico (AMG). O método WAMG V-Cycle com Filtro Haar é testado em uma variedade de sistemas de equações lineares variando o suavizador, o coeficiente de relaxação nos suavizadores Damped Jacobi e Sobre Relaxação Sucessiva (SOR), e a configuração de pré e pós-suavização. Entre os suavizadores testados, estão os métodos iterativos estacionários Damped Jacobi, SOR, Esparsa Aproximada a Inversa tipo Diagonal (SPAI-0) e métodos propostos com a característica de suavização para-otimizada. A título de comparação, métodos iterativos não estacionários são testados também como suavizadores como Gradientes Conjugados, Gradientes Bi-Conjugados e ICCG. Os resultados dos testes são apresentados e comentados. / This work is comprised of WAMG (Wavelet-Based Algebraic Multigrid) method behavioral analysis based on variety of smoothers, numerical method based on linear equation systems resolution developed at LMAG (Applied Electromagnetism Laboratory). Based on the fact that the vectors represented by WAMG Prolongation and Restriction matrix operators are orthonormals allows the use of a variety of theoretical and practical analysis, and therefore gain visibility of characteristics not feasible through others Multigrid (MG) methods, such as Geometric Multigrid (GMG) and Algebraic Multigrid (AMG). WAMG V-Cycle method with Haar Filter is tested under a variety of linear equation systems, by varying smoothers, relaxation coefficient at Damped Jacobi and Successive Over Relaxation (SOR) smoothers, and pre and post smoothers configurations. The tested smoothers are stationary iterative methods such as Damped Jacobi, SOR, Diagonal type-Sparse Approximate Inverse (SPAI-0) and suggested ones with optimized smoothing characteristic. For comparison purposes, the Conjugate Gradients, Bi-Conjugate Gradient and ICCG non-stationary iterative methods are also tested as smoothers. The testing results are formally presented and commented.

Introdução: Através da ferramenta estatística denominada análise de regressão linear múltipla se gerou equações preditivas de temperatura interna do ar de uma edificação com paredes e lajes compostas por painéis de concreto alveolar, com sistema de cobertura verde. Justificativa: Com equações preditivas é possível simular temperaturas internas de edificações utilizando uma pequena entrada de dados com uma precisão satisfatória. Utilizando tais equações é possível, também, corrigir erros de projetos antes de sua execução. Objetivos: Gerar equações preditivas para o período seco (outono e inverno) e para o período chuvoso (primavera e verão) para a edificação analisada. Metodologia: Foram selecionadas duas séries de dados, um referente ao período de característica seca e outro de característica chuvosa. Foram geradas equações preditivas de temperatura interna do ar máxima, média e mínima para os dois períodos, utilizando análise de regressão linear. Resultados: Foram geradas sete equações preditivas para o período seco e cinco para o período chuvoso. As diferenças máximas, em módulo, entre as temperaturas estimadas pelas equações e as monitoradas experimentalmente ficaram em aproximadamente 2°C. Conclusão: As equações preditivas geradas para os dois períodos considerados descrevem satisfatoriamente o comportamento térmico da edificação. / Introduction: Using a statistics tool called multiple linear regression, we created equations for predicting the indoor temperature in a building with walls and ceiling build from panels of alveolar concrete, with a green roof system. Explanation: Predictive equations enable simulations of indoor temperatures of buildings using a small number of data and with a satisfactory precision. They also allow corrections on project errors before they are put into effect. Objectives: Generate predictive equations for the building for the dry season (autumn and winter) and for the rainy season (spring and summer). Method: We selected two series of data, one for the dry and one for the rainy season. Using linear regression analysis we ran predictive equations for maximum, intermediate and minimum indoor temperatures of the air for both seasons. Results: We created seven predictive equations for the dry season and five for the wet season. The largest differences (in module) between the temperatures estimated using equations and monitored experimentally was approximately 2°C. Conclusion: The predictive equations generated for both periods described satisfactorily the thermal behavior of the building.

Este trabalho consiste na análise do comportamento do método WAMG (Wavelet-Based Algebraic Multigrid), método numérico de resolução de sistemas de equações lineares desenvolvido no LMAG-Laboratório de Eletromagnetismo Aplicado, com relação a diversos suavizadores. O fato dos vetores que compõem os operadores matriciais Pronlongamento e Restrição do método WAMG serem ortonormais viabiliza uma série de análises teóricas e de dados experimentais, permitindo visualizar características não permitidas nos outros métodos Multigrid (MG), englobando o Multigrid Geométrico (GMG) e o Multigrid Algébrico (AMG). O método WAMG V-Cycle com Filtro Haar é testado em uma variedade de sistemas de equações lineares variando o suavizador, o coeficiente de relaxação nos suavizadores Damped Jacobi e Sobre Relaxação Sucessiva (SOR), e a configuração de pré e pós-suavização. Entre os suavizadores testados, estão os métodos iterativos estacionários Damped Jacobi, SOR, Esparsa Aproximada a Inversa tipo Diagonal (SPAI-0) e métodos propostos com a característica de suavização para-otimizada. A título de comparação, métodos iterativos não estacionários são testados também como suavizadores como Gradientes Conjugados, Gradientes Bi-Conjugados e ICCG. Os resultados dos testes são apresentados e comentados. / This work is comprised of WAMG (Wavelet-Based Algebraic Multigrid) method behavioral analysis based on variety of smoothers, numerical method based on linear equation systems resolution developed at LMAG (Applied Electromagnetism Laboratory). Based on the fact that the vectors represented by WAMG Prolongation and Restriction matrix operators are orthonormals allows the use of a variety of theoretical and practical analysis, and therefore gain visibility of characteristics not feasible through others Multigrid (MG) methods, such as Geometric Multigrid (GMG) and Algebraic Multigrid (AMG). WAMG V-Cycle method with Haar Filter is tested under a variety of linear equation systems, by varying smoothers, relaxation coefficient at Damped Jacobi and Successive Over Relaxation (SOR) smoothers, and pre and post smoothers configurations. The tested smoothers are stationary iterative methods such as Damped Jacobi, SOR, Diagonal type-Sparse Approximate Inverse (SPAI-0) and suggested ones with optimized smoothing characteristic. For comparison purposes, the Conjugate Gradients, Bi-Conjugate Gradient and ICCG non-stationary iterative methods are also tested as smoothers. The testing results are formally presented and commented.

Vectorial Boolean functions are used as S-boxes in cryptosystems. To design inequivalent vectorial Boolean functions resistant to known attacks is one of the challenges in cryptography. Verifying whether two vectorial Boolean functions are equivalent or not is the final step in this challenge. Hence, finding a fast technique for determining whether two given vectorial Boolean functions are equivalent is an important problem. A special class of the equivalence called restricted extended affine (REA) equivalence is studied in this thesis. We study the verification complexity of REA-equivalence of two vectorial Boolean functions for some types, namely types I to VI. We first review the verification of the REA-equivalence types I to IV given in the recent work of Budaghyan and Kazymyrov (2012). Furthermore, we present the complexities of the verification of REA-equivalence types I and IV in the case basic simultaneous Gaussian elimination method is used. Next, we present two new REA-equivalence types V and VI with their complexities. Finally, we give the algorithms of each type I to VI with their MAGMA codes.

ABSTRACT EFFECTS OF GRAPHING CALCULATORS ON EIGHTH GRADE STUDENTS&amp / #8217 / ACHIEVEMENT IN GRAPHS OF LINEAR EQUATIONS AND CONCEPT OF SLOPE &Ouml / n&uuml / r, Yurdag&uuml / l M.S., Department of Elementary Science and Mathematics Education Supervisor: Assist. Prof. Dr. Ayhan K&uuml / rSat ERBAS May 2008, 76 pages The purpose of this study was to investigate the effects of graphing calculators on eight grade students&amp / #8217 / achievement in graphing linear equations and concept of slope. Pretest-posttest experimental-control group design was utilized in the study. While the students in experimental group (EG) received instruction about graphs of linear equations and concept of slope with graphing calculators, the students in control group (CG) was taught the same topics without using graphing calculators. There were 27 students (13 girls and 14 boys) in each group. Students in both EG and CG was administered an achievement test (i.e., MAT) consisting of questions related to graphing linear equations and slope concept before and after the instruction. Additionally, the teacher and six students from the EG were interviewed. The data obtained from students&amp / #8217 / post test scores of MAT were analyzed by Analysis of Variance (ANOVA). A statistically significant difference was found between the achievements of students in experimental and control groups. However, gender had no statistically significant effect on students&amp / #8217 / post test scores of MAT. Additionally, students&amp / #8217 / pre-test scores of MAT and their mathematics grades of the second semester of the seventh grade (MGS) were analysed by independent samples t-test. The results showed no statistically significant difference. On the other hand, the analysis of interview data revealed that graphing calculators affected students&amp / #8217 / attitudes towards mathematics in a positive way. Students had no considerable difficulty while using graphing calculators and they found studying with graphing calculators enjoyable. In summary, the results of the study showed that when graphing calculators used at elementary school level, they had positive effects on students&amp / #8217 / achievement and in some respects to their attitude. Consequently, integration of graphing calculators to elementary mathematics curriculum may be beneficial for students and teachers.

Submitted by Mateus Eduardo Boccardo null (mateuseboccardo@hotmail.com) on 2017-10-16T21:58:41Z No. of bitstreams: 1 SISTEMAS LINEARES- APLICAÇÕES E PROPOSTAS DE AULA USANDO A METODOLOGIA DE RESOLUÇÃO DE PROBLEMAS E O SOFTWARE GEOGEBRA.pdf: 1649568 bytes, checksum: c2692aee302e29bada55e36958c6599b (MD5) / Approved for entry into archive by Monique Sasaki (sayumi_sasaki@hotmail.com) on 2017-10-18T18:37:19Z (GMT) No. of bitstreams: 1 boccardo_me_me_sjrp.pdf: 1649568 bytes, checksum: c2692aee302e29bada55e36958c6599b (MD5) / Made available in DSpace on 2017-10-18T18:37:19Z (GMT). No. of bitstreams: 1 boccardo_me_me_sjrp.pdf: 1649568 bytes, checksum: c2692aee302e29bada55e36958c6599b (MD5) Previous issue date: 2017-09-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Sistemas Lineares, mais precisamente, Sistemas de Equações Lineares, é ferramenta útil para a resolução de vários problemas práticos e importantes, por exemplo, problemas relacionados a tráfego de veículos, balanceamento de equações químicas, cálculo de uma alimentação diária equilibrada, circuitos elétricos e interpolação polinomial. Neste trabalho abordamos o conteúdo Sistemas Lineares, seus métodos de resolução, algumas de suas inúmeras aplicações, bem como a interpretação geométrica do conjunto solução de sistemas lineares em duas ou três variáveis. Apresentamos também, uma análise de como esse assunto é tratado em alguns documentos oficiais de ensino. Por fim, são expostas duas Propostas de Aula que foram elaboradas para alunos do Ensino Básico, uma para ser desenvolvida usando a Resolução de Problemas como metodologia de ensino (na abordagem de problemas sobre sistemas lineares) e outra, sobre a Interpretação Geométrica do conjunto solução de Sistemas Lineares, para ser realizada na Sala de Informática, utilizando o software GeoGebra. / Linear System, more precisely, System of Linear Equations, is a useful tool for their solution of several practical and important problems, for example problems related to vehicle traffic, balancing of chemical equations, elaboration healthy daily diet, electrical circuits and polynomial interpolation. In this work, we study Linear System, its methods of resolution, some of its numerous applications, as well as the geometric interpretation of the solution set of linear system in two or three variables. We also present an analysis of how this subject is treated in some official teaching documents. Finally, we present two Class Proposals that are elaborated for Basic Education students, one to be developed using Problem Solving as a teaching methodology (in the approach to problems on linear system) and another, on the Geometric Interpretation of the solution set of Linear System, to be held in the Computer Laboratory, using GeoGebra software.

Orientador: Hugo Enrique Hernández-Figueroa / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T06:54:22Z (GMT). No. of bitstreams: 1 Claudio_Kleucio_D.pdf: 3139134 bytes, checksum: 900508bd03693258d7011b6af9debd55 (MD5) Previous issue date: 2010 / Resumo: O método de elementos finitos é largamente empregado na modelagem de problemas de eletromagnetismo. A modelagem implícita deste método recai em resolver sistemas de equações lineares esparsas, esta etapa é de alto custo computacional. Este trabalho propõe alternativas com o objetivo de melhorar o desempenho computacional das aplicações provenientes de formulações via elementos finitos, através do aproveitamento de soluções de sistemas de equações lineares por métodos direto e iterativo, para simular dispositivos ópticos com as características físicas alteradas constantemente. Na solução dos sistemas de equações, utilizou-se o método direto com Small Rank Adjustment e o método iterativo gradiente bi-conjugado estabilizado precondicionado com análises de reaproveitamento do precondicionador ILUT. Nos estudos desenvolvidos obteve-se um melhor desempenho computacional quando se utilizou o método iterativo. Estes resultados são de grande importância na área de otimização de dispositivos fotônicos tais como acopladores, filtros, demultiplexadores, etc, pois a otimização destes dispositivos consiste em avaliar várias configurações do espaço de busca, implicando em resolver vários sistemas de equações lineares similares provenientes do método de elementos finitos. / Abstract: The Finite Element Method is one of the most popular numerical tools in electromagnetics. Implicit schemes require the solution of sparse linear equation systems, this step demands a lot of computational time. This work proposes alternatives enhancements to obtain better computational performance of such implicit schemes. This was made through the improvement of direct and iterative methods, for problems which may be interpreted as perturbations of a given original one. This is very important specially in the optimization process of devices, due to the fact that one needs to solve many linear systems with little changes at each step, to explore the search space, so many perturbed linear systems are solved to obtain the optimum device. For direct methods the Small Rank Adjustment technique was used, while for iterative methods, the Preconditioned Gradient Stabilized Biconjugate Method reusing the preconditioner, were adopted. The applications were focused on the design of photonic devices, like couplers, filters, demultiplexers, etc. / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

Introdução: Através da ferramenta estatística denominada análise de regressão linear múltipla se gerou equações preditivas de temperatura interna do ar de uma edificação com paredes e lajes compostas por painéis de concreto alveolar, com sistema de cobertura verde. Justificativa: Com equações preditivas é possível simular temperaturas internas de edificações utilizando uma pequena entrada de dados com uma precisão satisfatória. Utilizando tais equações é possível, também, corrigir erros de projetos antes de sua execução. Objetivos: Gerar equações preditivas para o período seco (outono e inverno) e para o período chuvoso (primavera e verão) para a edificação analisada. Metodologia: Foram selecionadas duas séries de dados, um referente ao período de característica seca e outro de característica chuvosa. Foram geradas equações preditivas de temperatura interna do ar máxima, média e mínima para os dois períodos, utilizando análise de regressão linear. Resultados: Foram geradas sete equações preditivas para o período seco e cinco para o período chuvoso. As diferenças máximas, em módulo, entre as temperaturas estimadas pelas equações e as monitoradas experimentalmente ficaram em aproximadamente 2°C. Conclusão: As equações preditivas geradas para os dois períodos considerados descrevem satisfatoriamente o comportamento térmico da edificação. / Introduction: Using a statistics tool called multiple linear regression, we created equations for predicting the indoor temperature in a building with walls and ceiling build from panels of alveolar concrete, with a green roof system. Explanation: Predictive equations enable simulations of indoor temperatures of buildings using a small number of data and with a satisfactory precision. They also allow corrections on project errors before they are put into effect. Objectives: Generate predictive equations for the building for the dry season (autumn and winter) and for the rainy season (spring and summer). Method: We selected two series of data, one for the dry and one for the rainy season. Using linear regression analysis we ran predictive equations for maximum, intermediate and minimum indoor temperatures of the air for both seasons. Results: We created seven predictive equations for the dry season and five for the wet season. The largest differences (in module) between the temperatures estimated using equations and monitored experimentally was approximately 2°C. Conclusion: The predictive equations generated for both periods described satisfactorily the thermal behavior of the building.