Results 21 to 30 of about 45,041 (307)
For Finitary Induction-Induction, Induction Is Enough.
, 2019 Inductive-inductive types (IITs) are a generalisation of inductive types in type theory. They allow the mutual definition of types with multiple sorts where later sorts can be indexed by previous ones. An example is the Chapman-style syntax of type theory with conversion relations for each sort where e.g. the sort of types is indexed by contexts.
Ambrus Kaposi +2 more
openaire +3 more sources
THE EXPERIMENTAL DEFINITION OF THE INDUCTANCE OF TOOLS AS INDUCTORS FOR MAGNETIC PULSE STRAIGHTENING [PDF]
Avtomobilʹnyj Transport (Harʹkov), 2014 The results of the experimental researches of the basic parameter – the inductance of the tools as inductors for magnetic pulse methods of the body repair of vehicles has been carried out.
A. Hnatov, Sch. Arhun, O. Vasyliovych
doaj
Mutual inductance calculation for coils with misalignment in wireless power transfer
The Journal of Engineering, 2019 In wireless power transfer (WPT) systems, the energy transmission channel is established by the coupling relationship between transmitting coil and receiving coil, and the coupling strength is usually measured by coupling coefficient.
Xian Zhang +4 more
doaj +1 more source
Program for stator winding leakage inductance determination by FEA [PDF]
Journal of Electrical and Electronics Engineering, 2009 This paper presents a program designed by the author in order to determine the stator winding parameters. The program is realized in Visual Basic and, in fact, it is for computer aided design of AC machines.
Olivian Chiver, Micu Emil, Liviu Petrean
doaj
Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2018 Machining characteristics of electrochemical machining with ultrashort pulses were investigated using numerical analysis considering the inductance of a power supply circuit. In a pulse power supply circuit of ECM, stray inductance occurs in the electric
Tomohiro KOYANO +2 more
doaj +1 more source
A Categorical Semantics for Inductive-Inductive Definitions [PDF]
, 2011 Induction-induction is a principle for defining data types in Martin-Lof Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : A → Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa.
Thorsten Altenkirch +3 more
openaire +4 more sources
Identification and ranking of freehold resources (free) in collecting non-regular claims of the banking system Using a multi-criteria decision making model [PDF]
تحقیقات مالی اسلامی (پیوسته), 2019 The expansion of the growing volume of non-demand claims in addition to locking up and freezing of resources and slowdown of liquidity in the economy, reducing accreditation, the lack of optimal allocation of resources when providing facilities to ...
Rohallah Ebadi, Gelareh Hossin khani2
doaj
Machines, 2022 The slotless permanent magnet motor (SPMM) has low phase inductance due to the larger physical air gap, which will adversely affect motor control and current harmonics.
Chenglong Chu, Yunkai Huang
doaj +1 more source
ELECTROLYTE-PLASMA TREATMENT UNDER NON-STATIONARY MODE IN A HIGH-GRADIENT ELECTRIC FIELD
Наука и техника, 2017 Electrolyte-plasma treatment has become widespread in the industry as an alternative to traditional chemical, electrochemical and mechanical methods of improving the surface quality of products made of metallic materials.
Yu. G. Aliakseyeu +3 more
doaj +1 more source
IET Electric Power Applications, 2021 An online detection method for the inter‐turn short‐circuit fault (ISCF) of a dual‐redundancy permanent magnet synchronous motor (DRPMSM) is proposed.
Yukai Yang, Yiguang Chen, Weijie Hao
doaj +1 more source