Results 11 to 20 of about 128,244 (289)
Quotient Inductive-Inductive Types [PDF]
, 2018 Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types and allow to define types which are not sets in the sense of HoTT (i.e.
Thorsten Altenkirch +4 more
openaire +4 more sources
Signatures and Induction Principles for Higher Inductive-Inductive Types
Logical Methods in Computer Science, 2020 Higher inductive-inductive types (HIITs) generalize inductive types of dependent type theories in two ways. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalizing higher inductive types of homotopy type theory.
Kaposi, Ambrus, Kovács, András
openaire +5 more sources
Inductive-Inductive Definitions [PDF]
, 2010 We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively.
Nordvall Forsberg, Fredrik +1 more
openaire +3 more sources
Asymptotic behaviour of the inductance coefficient for thin conductors [PDF]
, 2002 We study the asymptotic behaviour of the inductance coefficient for a thin toroidal inductor whose thickness depends on a small parameter $\eps>0$.
Amirat, Youcef, Touzani, Rachid
core +4 more sources
High-Precision Hysteresis Sensing of the Quartz Crystal Inductance-to-Frequency Converter
Sensors, 2016 A new method for the automated measurement of the hysteresis of the temperature-compensated inductance-to-frequency converter with a single quartz crystal is proposed.
Vojko Matko, Miro Milanović
doaj +1 more source
BRICS Report Series, 2000 One of the most well-known induction principles in computer science<br />is the fixed point induction rule, or least pre-fixed point rule. Inductive <br />*-semirings are partially ordered semirings equipped with a star operation<br />satisfying the fixed point equation and the fixed point induction rule for<br />linear terms ...
Ésik, Zoltán, Kuich, Werner
openaire +2 more sources
Research on an Axial Flux PMSM with Radially Sliding Permanent Magnets
Energies, 2015 Axial flux permanent-magnet synchronous machines (PMSMs) are very suitable candidates for the power train of electric vehicles (EVs) due to high power density and high efficiency.
Jing Zhao, Bin Li, Zhongxin Gu
doaj +1 more source
СПОСІБ АПРОКСИМАЦІЇ КРИВОЇ НАМАГНІЧУВАННЯ ТЯГОВОГО АСИНХРОННОГО ДВИГУНА
Elektrotehnìka ta Elektroenergetika, 2013 Проведено дослідження способу аналітичної апроксимації кривої намагнічування тягового асинхронного двигуна тягової електропередачі моторвагонного поїзда за допомогою функції Бріллюена.
D. A. Kulagin
doaj +1 more source
Improved Formulae for the Inductance of Straight Wires
Advanced Electromagnetics, 2014 The best analytical formulae for the self-inductance of rectangular coils of circular cross section available in the literature were derived from formulae for the partial inductance of straight wires, which, in turn, are based on the well-known formula ...
H. A. Aebischer, B. Aebischer
doaj +1 more source
Induction Machine-Based EV Vector Control Model Using Mamdani Fuzzy Logic Controller
Applied Sciences, 2022 The substantial rise in the demand for electric vehicles (EVs) has emphasized an environment-friendly and intelligent design for speed control strategies. In this paper, a Mamdani fuzzy logic controller (MFLC) was proposed to vigorously control the speed
Humayun Salahuddin +5 more
doaj +1 more source