A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Turning Inductive into Equational Specifications
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
Using the theorem prover Isabelle, we describe an approach to turn a class of systems of inductively defined predicates into a system of equations using data flow analysis; the translation is carried out ...
Inductively defined predicates are frequently used in formal specifications. ...
equational rewriting: The code generator turns a set of equational theorems into a program inducing the same equational rewrite system. ...
doi:10.1007/978-3-642-03359-9_11
fatcat:tmcrlndatjgplk3b3tk4eeuqxi
Cutting Out Continuations
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable. ...
In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. ...
turn, to apply the induction hypothesis for y, i.e. eval y e c = exec c u, we need to rewrite the term eval x (u : e ) c into the form exec c u for some control stack c , i.e. we need to solve the equation ...
doi:10.1007/978-3-319-30936-1_10
fatcat:74tjbdklgnf6pk47swrr3q43zm
High-Frequency LLC Resonant Converter with GaN Devices and Integrated Magnetics
2019
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
transformer leakage inductance without increasing the amount of loss caused by the proximity effect. ...
In this study, a light emitting diode (LED) driver containing an integrated transformer with adjustable leakage inductance in a high-frequency isolated LLC resonant converter was proposed as an LED lighting ...
The turns ratio of the transformer was calculated using Equation (27) , and substituting the circuit specifications of this study (400 V input voltage and 300 V output voltage) yielded a transformer turns ...
doi:10.3390/en12091781
fatcat:rbh6coaq2zgtxkt3u3kq2pg3iq
Transient Numerical Analysis of Induction Heating of Graphite Cruciable at Different Frequency
2016
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Mathematical modeling of electromagnetism and heat transfer is done by using maxwell equations and classical heat transfer equation respectively. ...
Mathematical modeling of Induction heating process is done by using 2D axisymmetric geometry. Induction heating is coupled field problem that includes electromagnetism and heat transfer. ...
FEM converts continuous equations i.e eq (10) into discrete equation by discretizing geometry of solution domain [2] .Discretization can be done by using trigular, rectangular or hexagonal elements. ...
doi:10.5281/zenodo.4636441
fatcat:b22y3i5qyjfblcc3vcnuz7svp4
Transient Numerical Analysis of Induction Heating of Graphite Cruciable at Different Frequency
2016
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Mathematical modeling of electromagnetism and heat transfer is done by using maxwell equations and classical heat transfer equation respectively. ...
Mathematical modeling of Induction heating process is done by using 2D axisymmetric geometry. Induction heating is coupled field problem that includes electromagnetism and heat transfer. ...
FEM converts continuous equations i.e eq (10) into discrete equation by discretizing geometry of solution domain [2] .Discretization can be done by using trigular, rectangular or hexagonal elements. ...
doi:10.5281/zenodo.4120175
fatcat:ha2chq6fj5d2tocv6u5seg6d64
Improving a model of the induction traction motor operation involving non-symmetric stator windings
2021
Eastern-European Journal of Enterprise Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
A model of the induction motor has been proposed that takes into consideration changes in the values of mutual inductance of phases and complete inductance of the magnetization circuit due to changes in ...
Existing approaches to modeling an induction motor do not make it possible to fully take into consideration these changes. ...
These equations were supplemented with equations that make it possible to take into consideration a change in the values of mutual inductances of phases and the main inductance of the magnetization circle ...
doi:10.15587/1729-4061.2021.236825
fatcat:4g2xv5aodfdk7byyylxoeehmm4
An evaluation of inductances of a squirrel-cage induction motor under mixed eccentric conditions
2003
IEEE transactions on energy conversion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a more precise model for computation of three-phase squirrel cage induction machine inductances under different eccentric conditions. ...
Meanwhile, the evaluated inductances are compared to those calculated using different approximate geometrical models and the best approximation is recommended for a geometrical modeling of induction motor ...
Toliyat is with the Department of Electrical Engineering, Texas A&M University, Digital Object Identifier 10.1109/TEC.2003.811740
TABLE I SPECIFICATIONS I OF THE PROPOSED INDUCTION MOTOR turns and stator ...
doi:10.1109/tec.2003.811740
fatcat:2pkbzhj3cvbtdd3jy4zlop25mm
Impacts of rotor inter-turn short circuit fault upon performance of wound rotor induction machines
2016
Electric power systems research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The obtained inductances are compared with that of the FEM and effect of the SC turns on the inductances are investigated. ...
Current of SC turns is also the signal that is considered here. ...
These equations are classified into two categories. ...
doi:10.1016/j.epsr.2016.03.007
fatcat:645cq5zzkjgadipdylpo6wqdoa
Compiling a 50-year journey
2017
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this article, we revisit this example in a modern context, and show how such a compiler can now be calculated directly from a specification of its correctness using simple equational reasoning techniques ...
John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into ...
We consider each unbound variable in turn: • For c, the simplest option is to put it into the argument c as we did in the base case, by adding a new constructor. ...
doi:10.1017/s0956796817000120
fatcat:wb6q7d4v3vafxihzmghnte4po4
Steady-State Current Characteristics for Squirrel Cage Induction Motor according to Design Variables of Rotor Bars using Time Difference Finite Element Analysis
2017
Journal of Magnetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Additionally, we calculated the steady-state current with a method combining an electromagnetic field equation and a circuit equation. ...
The introduction of power-source-containing harmonics into the induction motor winding lowers its efficiency and increases its temperature, greatly affecting its operation characteristics. ...
Introduction Induction motors can be largely categorized into winding-type and squirrel-cage-type induction motors. ...
doi:10.4283/jmag.2017.22.1.104
fatcat:wvph5dlx6bfdtkey5z7ytudfy4
Optimized Multiport DC/DC Converter for Vehicle Drivetrains: Topology and Design Optimization
2018
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
of input current ripples and losses distribution between optimized and conventional designs are also analyzed in detailed, which validates the perspective of the proposed optimization method, taking into ...
into Equation (A2) an expression of the maximum air-gap for the maximum number of turns can be derived in Equation (A6): g = K u W a J w µ 0 B max (A6) It is clear that is a function of only the material ...
Figure 9 . 9 Inductance value in function of air-gap and number of turns.
Figure 9 . 9 Inductance value in function of air-gap and number of turns.
Appl. ...
doi:10.3390/app8081351
fatcat:ntqkonx32ra67ajqtswvxhjegq
A Complete Flow of Miniaturizing Coil Antennas Based on Matching Circuit
2021
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The inductances of a three-turn and five-turn CA are calculated and tabulated based on the dynamic equation, Equation (1) , as shown in Table 1 (unit: nH). ...
In fact, the rela inductance value and variable parameters of the CA can be formulat equation, Equation (1) [13] : The conventional CA's inductance is about 1 to 2 uH, as it has 3-turn metallic loops ...
doi:10.3390/electronics10101159
fatcat:eaddmjkonvh4rbkorv46hqwyjy
A ground-complete axiomatisation of finite-state processes in a generic process algebra
2008
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Vice-versa we show that every process admits a specification in terms of such a restricted form of recursion. ...
More precisely, we provide a syntactical characterization (allowing as many terms as possible) for the equations involved in recursion operators, which guarantees that transition systems generated by the ...
The axiom Dec is used to decompose recursive specifications E made up of multiple (finitely-many) equations into several recursive specifications made up of single equations. ...
doi:10.1017/s0960129508007111
fatcat:ayit4d7agnaatns4dnewqwlkge
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We have been developing a tool called Gateau [21] that takes propositions used for case splitting and state predicates used to strengthen the basic induction hypothesis, and generates the proof score ...
Simultaneous Induction The first thing to do is to use simultaneous induction to break the proof into the four (sub-)goals (one is the base case and the others are the three induction cases) and the four ...
Write S in CafeOBJ as an algebraic specification. The specification consists of sorts (or types), operators on the sorts, and equations that define (properties of) the operators. ...
doi:10.1007/11780274_31
fatcat:vqmjgd2sjjaxfivvpnlvszrqee
Mathematical Model of an Inductive Measuring Cell for Contactless Conductometry
[article]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
It is sample-coil capacity that makes inductive cell applicable for measurement of electrical conductivity of low conductive samples (specific conductance is less than 1S/m). ...
The model can be used to calculate impedance of inductive cell for different characteristics of sample, materials and dimensions of cell without numerical solving of partial differential equations. ...
The limit at high specific conductance (more than about 100 ) allow to split the model into two parts. ...
arXiv:1304.7805v1
fatcat:j26vazhxyrewddisbts6arwwzu
« Previous
Showing results 1 — 15 out of 269,497 results