Search results for "Theorem"

Optimal Integration of Hybrid Supercapacitor and IPT System for a Free-Catenary Tramway

2019

The aim of the paper is the study of an optimal integration of a supercapacitor-based storage system and inductive power transfer system for the free-catenary operation of a tramway. Starting from the definition of the topology of inductive power transfer system, we propose and analyze a design procedure for the pads of the inductive power system. In the second part of the paper, an optimal integration strategy for the correct size of on-board supercapacitors and the power of the inductive energy transfer are proposed. The results obtained by means of numerical simulations are discussed. © 2018 IEEE.

Convolution operators with a fundamental solution of finite order

1995

Block-Based Models and Theorem Proving in Model-Based Development

2021

This paper presents a methodology to integrate computer-assisted theorem proving into a standard workflow for model-based development that uses a block-based language as a modeling and simulation tool. The theorem prover provides confidence in the results of the analysis as it guides the developers towards a correct formalization of the system under development.

Molecular phylogeny of Old World swifts (Aves: Apodiformes, Apodidae, Apus and Tachymarptis) based on mitochondrial and nuclear markers.

2011

We provide a molecular phylogeny for Old World swifts of genera Apus and Tachymarptis (tribe Apodini) based on a taxon-complete sampling at the species level. Phylogenetic reconstructions were based on two mitochondrial (cytochrome b, 12S rRNA) and three nuclear markers (introns of fibrinogen and glyceraldehyde 3-phosphate dehydrogenase plus anonymous marker 12884) while the myoglobin intron 2 did not show any intergeneric variation or phylogenetic signal among the target taxa at all. In contrast to previous hypotheses, the two genera Apus and Tachymarptis were shown as reciprocally monophyletic in all reconstructions. Apus was consistently divided into three major clades: (1) East Asian cl…

A note on the analytic solutions of the Camassa-Holm equation

2005

Abstract In this Note we are concerned with the well-posedness of the Camassa–Holm equation in analytic function spaces. Using the Abstract Cauchy–Kowalewski Theorem we prove that the Camassa–Holm equation admits, locally in time, a unique analytic solution. Moreover, if the initial data is real analytic, belongs to H s ( R ) with s > 3 / 2 , ‖ u 0 ‖ L 1 ∞ and u 0 − u 0 x x does not change sign, we prove that the solution stays analytic globally in time. To cite this article: M.C. Lombardo et al., C. R. Acad. Sci. Paris, Ser. I 341 (2005).

Mauro Picone, Sandro Faedo, and the numerical solution of partial differential equations in Italy (1928-1953)

2013

In this paper we revisit the pioneering work on the numerical analysis of partial differential equations (PDEs) by two Italian mathematicians, Mauro Picone (1885-1977) and Sandro Faedo (1913-2001). We argue that while the development of constructive methods for the solution of PDEs was central to Picone's vision of applied mathematics, his own work in this area had relatively little direct influence on the emerging field of modern numerical analysis. We contrast this with Picone's influence through his students and collaborators, in particular on the work of Faedo which, while not the result of immediate applied concerns, turned out to be of lasting importance for the numerical analysis of …

The forgotten mathematical legacy of Peano

2019

International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.

A multidimensional critical factorization theorem

2005

AbstractThe Critical Factorization Theorem is one of the principal results in combinatorics on words. It relates local periodicities of a word to its global periodicity. In this paper we give a multidimensional extension of it. More precisely, we give a new proof of the Critical Factorization Theorem, but in a weak form, where the weakness is due to the fact that we loose the tightness of the local repetition order. In exchange, we gain the possibility of extending our proof to the multidimensional case. Indeed, this new proof makes use of the Theorem of Fine and Wilf, that has several classical generalizations to the multidimensional case.

Sylow permutable subnormal subgroups of finite groups II

2001

[EN] In this paper a local version of Agrawal's theorem about the structure of finite groups in which Sylow permutability is transitive is given. The result is used to obtain new characterisations of this class of finite groups.

Parametric nonlinear singular Dirichlet problems

2019

Abstract We consider a nonlinear parametric Dirichlet problem driven by the p -Laplacian and a reaction which exhibits the competing effects of a singular term and of a resonant perturbation. Using variational methods together with suitable truncation and comparison techniques, we prove a bifurcation-type theorem describing the dependence on the parameter of the set of positive solutions.