Temat: mathematical induction - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Mathematical induction in proving of theorems about natural numbers divisibility
Indukcja matematyczna w dowodzeniu twierdzeń o podzielności liczb naturalnych
Autorzy:: Żywuszko, K.
Czajkowski, A. A.
Powiązania:: https://bibliotekanauki.pl/articles/135988.pdf
Data publikacji:: 2013
Wydawca:: Wyższa Szkoła Techniczno-Ekonomiczna w Szczecinie
Tematy:: natural numbers
divisibility
proof
mathematical induction
liczby naturalne
podzielność
dowód
indukcja matematyczna
Opis:: Introduction and aims: This paper presents the concept of the division of mathematical expressions with natural variable related to the problem of divisibility. The paper shows some proofs of selected problem. The main aim of this paper is to show a few proofs of theorems about divisibility of expressions by using the method of mathematical induction. Material and methods: In this paper have been solved examples from different sources. Considered problems contain: only polynomials, the sum of powers of different bases (and constant as a component), the sum of the products of powers with different bases (and constant as a component), the sum of the powers and polynomials, the sum of the products of powers and polynomials, the sum containing the power of (-1), Fibonacci sequence, the expression containing a power of the power and problems containing power in divider. In the paper has been used the method of mathematical induction. Results: It has been shown 16 proofs of problems by using mathematical induction. In some examples have been used the additional lemmas which complete the main proof. Conclusion: Using some properties of divisibility theorems and the theorem about mathematical induction allow to show proofs which refer to the divisibility by natural number of various mathematical expressions with natural variable n.
Wstęp i cele: W pracy przedstawiono koncepcję podziału wyrażeń matematycznych ze zmienną naturalną odnoszących się do problemu podzielności a także przedstawiono dowody wybranych zadań. Głównym celem pracy jest pokazanie sposobu dowodzenia twierdzeń o podzielności wyrażeń przy zastosowaniu metody indukcji matematycznej. Materiał i metody: W pracy rozwiązano przykłady z różnych źródeł. Rozważono zadania zawierające: tylko wielomiany, sumy potęg o różnych podstawach (i stałą w roli składnika), sumy iloczynów potęg o różnych podstawach (i stałą w roli składnika), sumy potęg i wielomianów, sumy iloczynów potęg i wielomianów, sumy zawierające potęgę (-1), ciąg Fibonacciego, wyrażenia zawierające potęgę potęgi oraz zadania zawierające potęgę w dzielniku. Zastosowano metodę indukcji matematycznej. Wyniki: Przeprowadzono dowody 16 przykładów przy użyciu indukcji matematycznej. W niektórych przykładach zastosowano dodatkowo dowody lematów, które uzupełniają całość dowodu głównego. Wniosek: Korzystanie z pewnych właściwości twierdzeń o podzielności i twierdzenia o indukcji matematycznej pozwala pokazać dowody, które odnoszą się do podzielności przez liczby naturalne różnych wyrażeń matematycznych ze zmienną naturalną.
Źródło:: Problemy Nauk Stosowanych; 2013, 1; 101-116
2300-6110
Pojawia się w:: Problemy Nauk Stosowanych
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Presentation of Mathematical Induction by Formula of Algebra of Algorithms
Autorzy:: Ovsyak, V.
Ovsyak, O.
Petrushka, J.
Powiązania:: https://bibliotekanauki.pl/articles/114070.pdf
Data publikacji:: 2016
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: formula of the axiom of mathematical induction
tautology
truthful formula
ordering of the variable values
Opis:: The analysis of the axiom of mathematical induction, which is given by the formula of mathematical logics is presented in the paper. It has been established that the famous formula of mathematical induction is executed only in case of ordered values of the variable linked by a quantifier. This ordering is not described analytically. Algebra of algorithms is applied for an analytical description of ordering of the variable values. The axiom of mathematical induction is described by the formula of algebra of algorithms.
Źródło:: Measurement Automation Monitoring; 2016, 62, 11; 367-370
2450-2855
Pojawia się w:: Measurement Automation Monitoring
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: The universal mathematical model for multiphase cage induction motors
Autorzy:: Drozdowski, P.
Powiązania:: https://bibliotekanauki.pl/articles/1367620.pdf
Data publikacji:: 2015
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:: electrical machines
multiphase cage induction motor
mathematical model
Opis:: The universal mathematical model of cage induction motor must assure all possible kinds of motor operation. There are two the most important: operation at different sequences of supplying voltages or currents causing different no load speeds and operation with open-circuited phases caused by supplying converter or the machine damage. The first feature is bound with a real stator winding producing a spectrum of magneto motive force (MMF) and the second with modelling of current flow breaks. Such a model can be also used for modelling the ideal multiphase motor with sinusoidally distributed windings. This is the subject of this paper. The mathematical model has been developed from the description in symmetrical components. That allowed for designation of model parameters and space vectors defining. This model can be presented as the equivalent circuit for transient states and this circuit can be used for circuit oriented simulators (Spice, Simulink/SimPowerSystems, Saber, TINA etc.). As a consequence the mathematical model can be a background for training of different control strategies and determination of mechanical characteristics. The use of model has been illustrated by an example.
Źródło:: Maszyny Elektryczne: zeszyty problemowe; 2015, 3, 107; 19-24
0239-3646
2084-5618
Pojawia się w:: Maszyny Elektryczne: zeszyty problemowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Concerning the vector control of a squirrel-cage induction motor
Autorzy:: Firago, B.
Vasilyev, D.
Powiązania:: https://bibliotekanauki.pl/articles/1814042.pdf
Data publikacji:: 2014
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: induction motor
synchronous rotating frame
vector control
mathematical model
Opis:: A technique for investigation of electric drive dynamics when an induction motor operates at the direct vector control with alignment of the axis x of synchronous rotating frame x–y along the rotor flux linkage vector is presented here. Simulation results of the specific electric drive verify the faithfulness of recommended technique.
Źródło:: Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały; 2014, 70, 34; 271--285
1733-0718
Pojawia się w:: Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Matlab-simulink modelling of induction machine incorporating magnetic saturation
Autorzy:: Drozdowski, P.
Duda, A.
Powiązania:: https://bibliotekanauki.pl/articles/1811892.pdf
Data publikacji:: 2012
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: induction machine
saturation
mathematical model
MATLAB Simulink
SimPower Systems Modelling
Opis:: In this paper the computer model of the cage induction machine incorporating magnetic nonlinearity was presented. The model contains the mathematical model of the induction machine recorded as an S-function and the connecting blocs attaching the model from one side to the three phase terminals of the supply system model and from the other to the system of mechanical model. Hence, SimPowerSystems and SimMechanics libraries can be used. Such a methodology allows for various drives modelling were the induction machine operates as a motor or a generator and cooperates with power electronics. Using wide range of Simulink possibilities various control techniques can be applied. Using this methodology the own mathematical models of other electrical machines together with the Simulink library models can be used.
Źródło:: Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały; 2012, 66, 32; 38-44
1733-0718
Pojawia się w:: Prace Naukowe Instytutu Maszyn, Napędów i Pomiarów Elektrycznych Politechniki Wrocławskiej. Studia i Materiały
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Analysis and control of dual stator Winding induction motor
Autorzy:: Pieńkowski, K.
Powiązania:: https://bibliotekanauki.pl/articles/141285.pdf
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: model matematyczny
analiza
IFOC
dual stator induction motor
mathematical models
analysis
DFOC and DTC control
Opis:: The paper presents the mathematical models of dual stator squirrel-cage induction motor, formulated in phase coordinate system and in general transformed space vector form. The two types of models of dual stator induction motor are considered. The control systems of field-oriented control (IFOC and DFOC) and direct torque control (DTC) of the dual stator induction motor have been described and discussed.
Źródło:: Archives of Electrical Engineering; 2012, 61, 3; 421-438
1427-4221
2300-2506
Pojawia się w:: Archives of Electrical Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Disk induction motor free rotor stability criterion
Kriterijj ustojjchivosti svobodnogo rotora diskovogo asinkhronnogo dvigatelja
Autorzy:: Yeroshin, S.
Miroshnik, S.
Powiązania:: https://bibliotekanauki.pl/articles/792586.pdf
Data publikacji:: 2013
Wydawca:: Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:: induction motor
rotor
stability criterion
friction force
sliding friction
building industry
machine industry
mathematical model
Źródło:: Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2013, 13, 4
1641-7739
Pojawia się w:: Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Dobór parametrów silnika indukcyjnego dużej mocy
Estimation of parameters of high power induction motor
Autorzy:: Arendt, R.
Kopczyński, A.
Powiązania:: https://bibliotekanauki.pl/articles/276631.pdf
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: model matematyczny
silnik indukcyjny
algorytm genetyczny
ster strumieniowy
mathematical model
induction motor
genetic algorithm
bow thruster
Opis:: W artykule przedstawiono trzy typy statycznych modeli matematycznych silników klatkowych oraz metodę estymacji parametrów przy wykorzystaniu algorytmów genetycznych. Korzystając z kryteriów: suma kwadratów, suma wartości bezwzględnych oraz całkowego, oceniono przydatność badanych modeli. Opracowane modele matematyczne zostały wykorzystane przy doborze algorytmów sterownia sterów strumieniowych. Pokazano metodykę doboru parametrów i modele silnika umożliwiające badanie ich wpływu na system energetyczny statku.
In the paper three types of mathematical models of static squirrel cage motors and the method of estimating parameters using genetic algorithms are presented. Criteria: the sum of the squares, the sum of absolute values and integral of optimization problem are used. In selection control of algorithm a bow thruster identified mathematical models are applied. The parameters and methodology for the selection of motor models were considered for the study of their impact on the energy system of the ship are showed.
Źródło:: Pomiary Automatyka Robotyka; 2012, 16, 2; 362-369
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: A dynamic model of a squirrel-induction motor
Autorzy:: Glinka, T.
Powiązania:: https://bibliotekanauki.pl/articles/2056334.pdf
Data publikacji:: 2018
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:: silnik indukcyjny
współrzędne α β
model matematyczny
rozruch
induction motor
co-ordinates α β
mathematical model
start-up
Opis:: High power cage induction motors work, in most electric drives, with direct supply from the power grid, therefore they work as unregulated drives. Dynamic states are associated with: - start, - turning the power off and re-switching on, - rotation reverse, they have an adverse effect on the motor, on the electricity network, on the driven machine and power train components (shafts, clutches, gears). The analysis of motor’s operation in electro-mechanically unsteady states are carried out using the mathematical model of the engine in the α, β coordinate system. For a motor with rated parameters: 500 kW; 6000 V, p= 2, using idle and short circuit measurements, the equivalent circuit diagram parameters for the α, β coordinates were calculated. Computer simulation of the motor’s start-up was carried out at the favorable and unfavorable moment of switching on the voltage. In the first case, the shock values of the starting current and the starting torque are minimal and are: Iud min= 6IN, Tud min= 4,5TN. In the second case, the shock values of the starting current and the starting torque are maximal and are: Iud max= 8IN, Tud max= 8,5TN.
Źródło:: Maszyny Elektryczne: zeszyty problemowe; 2018, 1, 117; 1--8
0239-3646
2084-5618
Pojawia się w:: Maszyny Elektryczne: zeszyty problemowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Model dynamiczny silnika indukcyjnego klatkowego
A dynamic model of a squirrel-induction motor
Autorzy:: Glinka, Tadeusz
Powiązania:: https://bibliotekanauki.pl/articles/304726.pdf
Data publikacji:: 2019
Wydawca:: Wydawnictwo Druk-Art
Tematy:: silnik indukcyjny
współrzędne α β
model matematyczny
rozruch
induction motor
co-ordinates α β
mathematical model
start-up
Opis:: Silniki indukcyjne klatkowe dużej mocy w większości napędów elektrycznych pracują przy zasilaniu bezpośrednim z sieci elektroenergetycznej, pracują zatem jako napędy nieregulowane. Stany dynamiczne związane z: rozruchem, wyłączeniem zasilania i powtórnym załączeniem napięcia, rewersją prędkości obrotowej, oddziałują niekorzystnie na silnik, sieć elektroenergetyczną, na napędzaną maszynę roboczą i elementy przeniesienia napędu (wały, sprzęgła, przekładnie). Analiza pracy silnika w stanach elektromechanicznie nieustalonych jest przeprowadzona z wykorzystaniem modelu matematycznego silnika w układzie współrzędnych α, β. Dla silnika o parametrach znamionowych: 500 kW; 6000 V, wykorzystując pomiary przy biegu jałowym i w stanie zwarcia, obliczono parametry schematu zastępczego dla współrzędnych α, β. Przeprowadzono symulację komputerową rozruchu silnika przy korzystnej chwili załączenia napięcia i niekorzystnej chwili załączenia napięcia. W pierwszym przypadku wartości udarowe prądu rozruchowego i momentu rozruchowego są mniejsze i wynoszą: Iud min = 6IN, Tud min = 4,5TN. W drugim przypadku wartości udarowe prądu rozruchowego i momentu rozruchowego są maksymalne i wynoszą: Iud max = 8IN, Tud max = 8,5TN.
High power cage induction motors work, in most electric drives, with direct supply from the power grid, therefore they work as unregulated drives. Dynamic states are associated with: start, turning the power off and re-switching on, rotation reverse, they have an adverse effect on the motor, on the electricity network, on the driven machine and power train components (shafts, clutches, gears). The analysis of motor’s operation in electro-mechanically unsteady states are carried out using the mathematical model of the engine in the α, β coordinate system. For a motor with rated parameters: 500 kW; 6000 V, p = 2, using idle and short circuit measurements, the equivalent circuit diagram parameters for the α, β coordinates were calculated. Computer simulation of the motor’s start-up was carried out at the favorable and unfavorable moment of switching on the voltage. In the first case, the shock values of the starting current and the starting torque are minimal and are: Iud min = 6IN, Tud min = 4,5TN. In the second case, the shock values of the starting current and the starting torque are maximal and are: Iud max = 8IN, Tud max = 8,5TN.
Źródło:: Napędy i Sterowanie; 2019, 21, 5; 74-79
1507-7764
Pojawia się w:: Napędy i Sterowanie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "mathematical induction" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język