Hiord: A type-free higher-order logic programming language with predicate abstraction

A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framework is considered, along with several examples.

Automatized connection of the layers of planar transformers with parallel windings to improve the component behavior

Transformers with parallel windings are commonly used to reduce the losses in the windings. Windings losses depend on the winding positioning and the frequency effects because each winding affects the current sharing of itself and the neighboring windings. In this paper a methodology for determining the connections of the parallel windings that reduces the power losses (and temperature) in the windings of multi-winding transformers is presented. Other applications of the method, such as balanced current sharing and voltage drop reduction are also explored. In this paper a methodology for determining the connections of the parallel windings that reduces the power losses (and temperature) in the windings of multi-winding transformers is presented. Other applications of the method, such as balanced current sharing and voltage drop reduction are also explored.

An alternative for reducing the layers in the construction of three-phase planar transformers

A modified winding layout for three-phase transformers with PCB windings is proposed in this paper. This modified layout can be used in high current transformers with many PCB layers to simplify the fabrication process. One of the key factors that might increase the cost and complexity in the construction of planar transformers is the number of layers of each PCB winding. This issue becomes even more important in medium-high power three-phase transformers, where the number of PCB layers is higher. In addition to that, the proposed method allows the use of commercial core shapes that are commonly used to design single-phase transformers. This fact makes possible the reduction of cost and flexibility of the design solutions. The proposed solution has been validated and compared using the conventional and the proposed methodologies to design a high power (20 kW) transformer.

Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation /

Vita.

Complete problems in the first-order predicate calculus /

"UILU-ENG 79 1726."

Assessment of the need for noise control research on electric power transformers and reactors /

"DOE/EV-0095."

Design methods for high frequency transformers.

"...Final report ... sponsored by Signal Corps Engineering Laboratories, Fort Monmouth, N.J., and the Electronic Components Laboratory of the Wright Air Development Center, Wright-Patterson Air Force Base, Ohio."

Homelie del R. padre F. Franceschino Visdomini da Ferrara ... : nelle quali vi sono molti vtili, e necessari essempi, e documenti, tratti dalle principali auttorità [sic!] della sacra Biblia, & de sacri Euangeli : predicate in Roma, in Vinegia, in Genoua, In Bologna, in Brescia [et] nel sacro santo Concilio di Trento /

Mode of access: Internet.

Prediche del reuerendo don Gabriello Inchino, canonico regolare lateranense, sopra i quattro Nouissimi : da lui predicate in alcune citta d'Italia : Vtilissime ad ogni stato, grado, e conditione di persone; ma principalmente a' parochi, a' curato, [et] a' predicatori; che ne potrannno cauare molti sermoni, e prediche sopra diuersi passi del sacro Euangelio : Con vna tauola di tutte le cose notabili, che in esse prediche si contengono ...

Mode of access: Internet.

Sei prediche del R.D. Gabriel Fiamma, canonigo regolare lateranense : in lode della beata Vergine sopra lÉvangelio de S. Luca ... : predicate in Napoli, nella Chiesa dell'Annunciata, i Sabbati di Quaresma, l'anno 1573.

Mode of access: Internet.

Prediche del reu. mons. Francesco Riccardotto ... : sopra il sacramento dell'altare da lui predicate ..., con vna predica del medesimo sopra le imagini delle chiese in difesa della fede cattolica /

Edit16,

Magnetic circuits and transformers; a first course for power and communication engineers,

"A publication of the Technology Press, Massachusetts Institute of Technology."

A First Order Predicate Logic Formulation of the 3D Reconstruction Problem and its Solution Space

This paper defines the 3D reconstruction problem as the process of reconstructing a 3D scene from numerous 2D visual images of that scene. It is well known that this problem is ill-posed, and numerous constraints and assumptions are used in 3D reconstruction algorithms in order to reduce the solution space. Unfortunately, most constraints only work in a certain range of situations and often constraints are built into the most fundamental methods (e.g. Area Based Matching assumes that all the pixels in the window belong to the same object). This paper presents a novel formulation of the 3D reconstruction problem, using a voxel framework and first order logic equations, which does not contain any additional constraints or assumptions. Solving this formulation for a set of input images gives all the possible solutions for that set, rather than picking a solution that is deemed most likely. Using this formulation, this paper studies the problem of uniqueness in 3D reconstruction and how the solution space changes for different configurations of input images. It is found that it is not possible to guarantee a unique solution, no matter how many images are taken of the scene, their orientation or even how much color variation is in the scene itself. Results of using the formulation to reconstruct a few small voxel spaces are also presented. They show that the number of solutions is extremely large for even very small voxel spaces (5 x 5 voxel space gives 10 to 10(7) solutions). This shows the need for constraints to reduce the solution space to a reasonable size. Finally, it is noted that because of the discrete nature of the formulation, the solution space size can be easily calculated, making the formulation a useful tool to numerically evaluate the usefulness of any constraints that are added.

Dynamical Systems in Description of Nonlinear Recursive Regression Transformers

The task of approximation-forecasting for a function, represented by empirical data was investigated. Certain class of the functions as forecasting tools: so called RFT-transformers, – was proposed. Least Square Method and superposition are the principal composing means for the function generating. Besides, the special classes of beam dynamics with delay were introduced and investigated to get classical results regarding gradients. These results were applied to optimize the RFT-transformers. The effectiveness of the forecast was demonstrated on the empirical data from the Forex market.