Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: finite model

Sortuj według:

Ogranicz wyniki do:

Silnik indukcyjny z pomocniczym uzwojeniem zwartym - implementacja modelu polowo-obwodowego w programie Femlab/Matlab

Trawiński T., Cioska A.

Przegląd Elektrotechniczny

2007

R. 83, nr 1

35-38

W artykule przedstawiono zagadnienia związane z zastosowaniem programu Femlab/Matlab do obliczeń modelu polowo-obwodowego silnika indukcyjnego z pomocniczym uzwojeniem zwartym z uwzględnieniem ruchu wirnika.

These article shows some aspects connected with usage of Femlab/Matlab programs for calculation of the model of shaded pole induction motor with auxiliary winding short circuited with help of finite elements method assuming rotor motion.

Finite Arithmetics

Krynicki M., Mostowski M., Zdanowski K.

Fundamenta Informaticae

2007

Vol. 81, nr 1-3

183-202

The paper presents the current state of knowledge in the field of logical investigations of finite arithmetics. This is an attempt to summarize the ideas and results in this area. Some new results are presented - these are mainly generalizations of the earlier results related to properties of sl-theories and some nontrivial cases of FM-representability theorem.

A hybrid method for finite model search in equational

Benhamou B., Henocque L.

Fundamenta Informaticae

1999

Vol. 39, Nr 1,2

21-38

Finite model and counter model generation is a potential alternative in automated theorem proving. In this paper, we introduce a system called FMSET which generates finite structures representing models of equational theories. FMSET performs a satisfiability test over a set of special first order clauses called ß clauses". The algorithm's originality stems from the combination of a standard enumeration technique and the use of first order resolution. Our objective is to obtain more propagations and still achieve good space and time complexity. Several experiments over a variety of problems have been pursued. FMSET uses symmetry to prune from the search tree unwanted isomorphic branches