Sökning: "theorem"
Visar resultat 11 - 15 av 341 avhandlingar innehållade ordet theorem.
11. On the robust stability analysis of VSC-HVDC systems
Sammanfattning : This thesis focuses on small signal stability analysis of VSC-HVDC systems, emphasizing the system stability robustness with regard to the connected AC-grid and the distributed parameter DC-grid model respectively. In addition, for strong AC-grid connected systems, analytical eigenvalue expressions are provided to investigate the impact of physical or control parameters on the system stability for both two-terminal and multi-terminal VSC-HVDC systems. LÄS MER
12. Stålmarck's Method for Automated Theorem Proving in First Order Logic
Sammanfattning : We present an extension of Stålmarck's method to classical first order predicate logic. Stålmarck's method is a satisfiability checking method for propositional logic, and it resembles tableaux and KE. Its most distinctive feature is the dilemma rule, which is an extended branching rule, that allows branches to be recombined. LÄS MER
13. Retrieval of equivalent currents by the use of an integral representation and the extinction theorem --- radome applications
Sammanfattning : The aim of this thesis is to solve an inverse source problem. The approach is based on an integral representation together with the extinction theorem. Both a scalar and a full-wave integral representation are implemented and solved by a Method of Moment procedure. LÄS MER
14. Positive vector bundles in complex and convex geometry
Sammanfattning : This thesis concerns various aspects of the geometry of holomorphic vector bundles and their analytical theory which all, vaguely speaking, are related to the notion of positive curvature in general, and L^2-methods for the dbar-equation in particular. The thesis contains four papers. LÄS MER
15. Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover
Sammanfattning : Static analysis of program semantics can be used to provide strong guarantees about the correctness of software systems. In this thesis, we explore ways to perform automated program analysis and verification using a first-order theorem prover. LÄS MER