Sökning: "Matrix multiplication"

Visar resultat 16 - 20 av 29 avhandlingar innehållade orden Matrix multiplication.

  1. 16. Semigroups, multisemigroups and representations

    Författare :Love Forsberg; Volodymyr Mazorchuk; Ernst Dieterich; Stuart Margolis; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; representation theory; semigroups; multisemigroups; category theory; 2-categories;

    Sammanfattning : This thesis consists of four papers about the intersection between semigroup theory, category theory and representation theory. We say that a representation of a semigroup by a matrix semigroup is effective if it is injective and define the effective dimension of a semigroup S as the minimal n such that S has an effective representation by square matrices of size n. LÄS MER

  3. 17. Efficient PEEC-based solver for complex electromagnetic problems in power electronics

    Författare :Danesh Daroui; Bruce Archambeault; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industriell elektronik; Industrial Electronics;

    Sammanfattning : The research presented in this thesis discusses an electromagnetic (EM) analysis tool which is based on the partial element equivalent circuit (PEEC) method and is appropriate for combined EM and circuit simulations especially power electronics applications. EM analysis is important to ensure that a system will not affect the correct operation of other devices nor cause interference between various electrical systems. LÄS MER

  4. 18. Fast Numerical Techniques for Electromagnetic Problems in Frequency Domain

    Författare :Martin Nilsson; Per Lötstedt; Abderrahmane Bendali; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Fast Multipole Method; Minimal Residual Interpolation; Sparse Approximate Inverse preconditioning; Method of Moments; fast solvers; iterative methods; multiple right-hand sides; error analysis; Numerical Analysis; Numerisk analys;

    Sammanfattning : The Method of Moments is a numerical technique for solving electromagnetic problems with integral equations. The method discretizes a surface in three dimensions, which reduces the dimension of the problem with one. A drawback of the method is that it yields a dense system of linear equations. LÄS MER

  5. 19. Formalizing Refinements and Constructive Algebra in Type Theory

    Författare :Anders Mörtberg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

    Sammanfattning : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. LÄS MER

  7. 20. Modelling electrical properties of composite materials

    Författare :Eva Mårtensson; KTH; []
    Nyckelord :;

    Sammanfattning : Composite field grading materials are used to avoid stressconcentrations in high voltage applications such as cableaccessories and generator or motor end windings. The compositematerials consist of an insulating matrix filled with suitableconducting or semi-conducting particles. Silicon carbide (SiC)powder is one such filler that is being employed. LÄS MER