Magistro baigiamajame darbe nagrinėjamas diferencialinis operatorius su kintamais koeficientais ir viena klasikine, o kita nelokaliąja Samarskio ir Bitsadzės kraštine sąlyga. Šis uždavinys suvedamas į kanoninį pavidalą. Tiriamos kintamo koeficiento savybės, kaip jos keičiasi suvedant uždavinį į kanoninį pavidalą, taip pat tiriama šio uždavinio spektro priklausomybė nuo nelokaliosios kraštinės sąlygos parametrų. / In the Master's Thesis there is investigated a differential operator with variable coefficients, one classical and other nonlocal Samarskii-Bitsadze type boundary condition. There is written the canonical form of this problem. In the thesis there is analyzed the properties of variable coefficients, how they are changing when differential problem is written in the canonical form. Also the dependence of this problem spectrum on nonlocal boundary condition parameters is investigated.

In the 1880s and early 1890s, the Prague mathematician Eduard Weyr published his important results in matrix theory. His works represented the only significant contribution to matrix theory by Czech mathematicians in many decades that followed. Although Eduard Weyr was one of the few European mathematicians acquainted with matrix theory and working in it at that time, his results did not gain recognition for about a century. Eduard Weyr discovered the Weyr characteristic, which is a dual sequence to the better known Segre characteristic, and also the so-called typical form. This canonical form of a matrix is nowadays called the Weyr canonical form. It is permutationally similar to the commonly used Jordan canonical form of the same matrix and it outperforms the Jordan canonical form in some mathematical situations. The Weyr canonical form has become much better known in the last few years and even a monograph dedicated to this topic was published in 2011.

In this thesis, we study the relationship between the generalized eigenvalue problem (GEP) $Ax=\lambda Bx$, and systems of differential equations. We examine both the Jordan canonical form and Kronecker's canonical form (KCF). The first part of this work provides an introduction to the fundamentals of generalized eigenvalue problems and methods for solving this problem. We discuss the QZ algorithm, which can be used to determine the generalized eigenvalues and also how it can be implemented on MATLAB with the built in function 'eig'.  One essential facet of this work is the exploration of symmetric matrix pencils, which arise when A and B are both symmetric matrices. Furthermore we discuss discrete velocity models (DVMs) focusing specifically on a 12-velocity model on the plane. The results obtained are then applied to half-space problems for discrete velocity models, with a focus on planar stationary systems.

Die Auswertung von Mehrschleifen-Feynman-Integralen ist eine der größten Herausforderungen bei der Berechnung präziser theoretischer Vorhersagen für die am LHC gemessenen Wirkungsquerschnitte. In den vergangenen Jahren hat sich die Nutzung von Differentialgleichungen bei der Berechnung von Feynman-Integralen als sehr erfolgreich erwiesen. Es wurde dabei beobachtet, dass die von den Feynman-Integralen erfüllte Differentialgleichung oftmals in eine sogenannte kanonische Form transformiert werden kann, welche die Integration der Differentialgleichung mittels iterierter Integrale wesentlich vereinfacht. Das zentrale Ergebnis der vorliegenden Arbeit ist ein Algorithmus zur Berechnung rationaler Transformationen von Differentialgleichungen von Feynman-Integralen in eine kanonische Form. Neben der Existenz einer solchen rationalen Transformation stellt der Algorithmus keinerlei weitere Bedingungen an die Differentialgleichung. Insbesondere ist der Algorithmus auf Mehrskalenprobleme anwendbar und erlaubt eine rationale Abhängigkeit der Differentialgleichung vom dimensionalen Regulator. Bei der Anwendung des Algorithmus wird zunächst das Transformationsgesetz im dimensionalen Regulator entwickelt, um Differentialgleichungen für die Koeffizienten in der Entwicklung der Transformation herzuleiten. Diese Differentialgleichungen werden dann mit einem rationalen Ansatz für die gesuchte Transformation gelöst. Es wird zudem eine Implementation des Algorithmus in dem Mathematica Paket CANONICA vorgestellt, welches das erste veröffentlichte Programm dieser Art ist, das auf Mehrskalenprobleme anwendbar ist. CANONICAs Potential für moderne Mehrschleifenrechnungen wird anhand mehrerer nicht trivialer Mehrschleifen-Integraltopologien demonstriert. Die gezeigten Topologien hängen von bis zu drei Variablen ab und umfassen auch vormals ungelöste Topologien, die zu Korrekturen höherer Ordnung zum Wirkungsquerschnitt der Produktion einzelner Top-Quarks am LHC beitragen. / The evaluation of multi-loop Feynman integrals is one of the main challenges in the computation of precise theoretical predictions for the cross sections measured at the LHC. In recent years, the method of differential equations has proven to be a powerful tool for the computation of Feynman integrals. It has been observed that the differential equation of Feynman integrals can in many instances be transformed into a so-called canonical form, which significantly simplifies its integration in terms of iterated integrals. The main result of this thesis is an algorithm to compute rational transformations of differential equations of Feynman integrals into a canonical form. Apart from requiring the existence of such a rational transformation, the algorithm needs no further assumptions about the differential equation. In particular, it is applicable to problems depending on multiple kinematic variables and also allows for a rational dependence on the dimensional regulator. First, the transformation law is expanded in the dimensional regulator to derive differential equations for the coefficients of the transformation. Using an ansatz in terms of rational functions, these differential equations are then solved to determine the transformation. This thesis also presents an implementation of the algorithm in the Mathematica package CANONICA, which is the first publicly available program to compute transformations to a canonical form for differential equations depending on multiple variables. The main functionality and its usage are illustrated with some simple examples. Furthermore, the package is applied to state-of-the-art integral topologies appearing in recent multi-loop calculations. These topologies depend on up to three variables and include previously unknown topologies contributing to higher-order corrections to the cross section of single top-quark production at the LHC.

Due to the multiplicity of computer-aided engineering applications present in industry today, interoperability between programs has become increasingly important. A survey conducted among top engineering companies found that 82% of respondents reported using 3 or more CAD formats during the design process. A 1999 study by the National Institute for Standards and Technology (NIST) estimated that inadequate interoperability between the OEM and its suppliers cost the US automotive industry over $1 billion per year, with the majority spent fixing data after translations. The Neutral Parametric Canonical Form (NPCF) prototype standard developed by the NSF Center for e-Design, BYU Site offers a solution to the translation problem by storing feature data in a CAD-neutral format to offer higher-fidelity parametric transfer between CAD systems. This research has focused on expanding the definitions of the NPCF to enforce data integrity and to support associativity between features to preserved design intent through the neutralization process. The NPCF data structure schema was defined to support associativity while maintaining data integrity. Neutral definitions of new features was added including multiple types of coordinate systems, planes and axes. Previously defined neutral features were expanded to support new functionality and the software architecture was redefined to support new CAD systems. Complex models have successfully been created and exchanged by multiple people in real-time to validated the approach of preserving associativity and support for a new CAD system, PTC Creo, was added.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-20T11:59:28Z No. of bitstreams: 2 arquivototal.pdf: 2975294 bytes, checksum: 8e1df00fddd8f1b9f26e991bf1868338 (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) / Approved for entry into archive by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-20T11:59:51Z (GMT) No. of bitstreams: 2 arquivototal.pdf: 2975294 bytes, checksum: 8e1df00fddd8f1b9f26e991bf1868338 (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) / Made available in DSpace on 2015-10-20T11:59:51Z (GMT). No. of bitstreams: 2 arquivototal.pdf: 2975294 bytes, checksum: 8e1df00fddd8f1b9f26e991bf1868338 (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) Previous issue date: 2014-08-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper presents a new way of discussing concepts involving function, a ne function and quadratic function. Through simple activities with the use of blocks of cubes, and the multiplane software such as GeoGebra, students will move from a passive position, as simple listener, the active member of the teaching-learning process, enabling them to acquire a broader notion the concept of function and apply it later in solving problems in school and in their daily lives. Besides these diversi ed activities, topics that are usually not given prominence in most books of high school such that the analysis of the canonical form of the quadratic function and the theorem of characterization of a ne function will play an important role in developing what is expected of students about this important area of mathematics. All activities were conducted with 1st grade students of high school Natalicia Maria Figueiroa da Silva, located in the city of Surubim, in the state of Pernambuco. / Este trabalho apresenta uma nova maneira de se discutir conceitos envolvendo função, função a m e função quadrática. Através de atividades simples com uso dos blocos de cubos, do multiplano e de softwares como o Geogebra, o aluno passará de uma posição passiva, como simples ouvinte, a integrante ativo do processo de ensino-aprendizagem, possibilitando ao mesmo adquirir uma noção mais ampla do conceito de função e aplicá- lo posteriormente na resolução de problemas na escola e em sua vida cotidiana. Além dessas atividades diversi cadas, tópicos que geralmente não são colocados em destaque na maioria dos livros de ensino médio tais quais a análise da forma canônica da função quadrática e o Teorema de caracterização da função a m terão um importante papel no desenvolvimento que se espera dos estudantes a respeito dessa importante área da Matemática. Todas as atividades foram desenvolvidas com alunos da 1a série do ensino médio da Escola Estadual Natalícia Maria Figueiroa da Silva, localizada na cidade de Surubim no Estado de Pernambuco.

Made available in DSpace on 2015-03-03T15:36:08Z (GMT). No. of bitstreams: 1 JobsonHSS_DISSERT.pdf: 1416900 bytes, checksum: 677228c50dc507b009762057a3ac8330 (MD5) Previous issue date: 2013-03-15 / In general, the study of quadratic functions is based on an excessive amount formulas, all content is approached without justification. Here is the quadratic function and its properties from problems involving quadratic equations and the technique of completing the square. Based on the definitions we will show that the graph of the quadratic function is the parabola and finished our studies finding that several properties of the function can be read from the simple observation of your chart. Thus, we built the whole matter justifying each step, abandoning the use of decorated formulas and valuing the reasoning / Em geral, o estudo de fun??es quadr?ticas ? baseado numa quantidade excessiva de f?rmulas, todo conte?do ? abordado sem justificativas. Apresentamos a fun??o quadr?tica e suas propriedades a partir de problemas envolvendo equa??es do segundo grau e da t?cnica de completar quadrado. Partindo das defini??es mostraremos que o gr?fico da fun??o quadr?tica ? a par?bola e terminamos nosso estudos verificando que v?rias propriedades da fun??o podem ser lidas a partir da simples observa??o do seu gr?fico. Dessa forma, constru?mos todo o assunto justificando cada passo, abandonando o uso de f?rmulas decoradas e prezando pelo racioc?nio

This paper presents a detailed discussion of the Kronecker product of matrices. It begins with the definition and some basic properties of the Kronecker product. Statements will be proven that reveal information concerning the eigenvalues, singular values, rank, trace, and determinant of the Kronecker product of two matrices. The Kronecker product will then be employed to solve linear matrix equations. An investigation of the commutativity of the Kronecker product will be carried out using permutation matrices. The Jordan - Canonical form of a Kronecker product will be examined. Variations such as the Kronecker sum and generalized Kronecker product will be introduced. The paper concludes with an application of the Kronecker product to large least squares approximations.

No description available.

There are many different programs that can perform Computer Aided Design (CAD). In order for these programs to share data, file translations need to occur. These translations have typically been done by IGES and STEP files. With the work done at the BYU CAD Lab to create a multi-engineer synchronous heterogeneous CAD environment, these translation processes have become synchronous by using a server and a database to manage the data. However, this system stores part data in a database. The data in the database cannot be used in traditional Product Lifecycle Management systems. In order to remedy this, a new database was developed that enables every edit made in a CAD part across multiple CAD systems to be stored as well as worked on simultaneously. This allows users to access every action performed in a part. Branching was introduced to the database which allows users to work on multiple configurations of a part simultaneously and reduces file save sizes for different configurations by 98.6% compared to those created by traditional CAD systems.