To see the other types of publications on this topic, follow the link: Mathematical induction.
Dissertations / Theses on the topic 'Mathematical induction'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Mathematical induction.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Wedin, Hanna. "Mathematical Induction." Thesis, Uppsala universitet, Algebra och geometri, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-414099.
Full text
2
Gruver, John David. "Growth in Students' Conceptions of Mathematical Induction." BYU ScholarsArchive, 2010. https://scholarsarchive.byu.edu/etd/2166.
Full textAbstract:
While proof and reasoning lie at the core of mathematical practice, how students learn to reason formally and build convincing proofs continues to invite reflection and discussion. To add to this discussion I investigated how three students grew in their conceptions of mathematical induction. While each of the students in the study had different experiences and grew in different ways, the grounded axes (triggering events, personal questions about mathematics, and personal questions about a particular solution) highlighted patterns in the narratives and from these patterns a theoretical perspective emerged. Reflection, both on mathematics in general and about specific problems, was central to students' growth. The personal reflections of students and triggering events influenced each other in the following way. The questions students wondered about impacted which trigger stimulated growth, while triggers caused students to rethink assumptions and reflect on mathematics or specific problems. The reflections that allowed triggers to stimulate growth along with the reflections that were results of triggering events constitute an "investigative orientation." Each narrative reflects a different investigative orientation motivated by different personal needs. These investigative orientations affected what type of knowledge was constructed.
3
Leung, Yee-ho Genthew. "An evaluation of a teaching approach to improve students' understanding of mathematical induction." Click to view the E-thesis via HKUTO, 2005. http://sunzi.lib.hku.hk/hkuto/record/B35516124.
Full text
4
Williams, J. P. "Mathematical modelling of the dynamic characteristics of induction heating systems." Thesis, Swansea University, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.636635.
Full textAbstract:
Induction furnaces provide a cost effective, easily controlled means of heating any electrically conductive load by the process of electromagnetic induction. Such furnaces can be more efficient than their fossil fuel equivalents but rising electricity costs have led both the equipment manufacturers and users to demand even higher efficiencies. The research described in this thesis has therefore been undertaken to improve the mathematical analysis with the ultimate aim of developing more rigorous design methodologies. Studies of the mathematical equations describing the energy transfer within the furnace concluded that, due to the complexities involved in predicting magnetic flux distributions, a numerical technique must be used for their solution. The finite element method was identified as the most suitable technique but no package suitable for induction furnaces is commercially available. It was also concluded that full three dimensional analysis would not be viable for most design offices. An existing finite element code (PE2D) used for the analysis of two dimensinal electromagnetic fields was extended to cover the aspects peculiar to induction furnace design. The main development was to enable the solutions of both the magnetic field and the corresponding induced thermal field during transient heating to be obtained. Other developments included such characteristics as non-linear magneto-thermal properties, surface energy losses and optimisation of time step and excitation frequency. The developed models can be applied to two dimensional analysis in a plane normal to conductor coils and also, in some cases, in the plane of a conductor coil. A post-processor was also developed to provide concise graphical output of such information as temperature profiles, magnetic flux distributions and power densities. The models were validated by comparison with analytical examples and by comparison with experimental data obtained with the aid of a fully automated rig capable of three dimensional flux measurements. A future research program has been identified aimed at, firstly, developing the mathematical model to provide a desk top computer design package, and, secondly, extending the experimental work to provide more validation of the code, better material information and supplementary design rules.
5
Brown, Stacy A. "The evolution of students' understanding of mathematical induction : a teaching experiment /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC IP addresses, 2003. http://wwwlib.umi.com/cr/ucsd/fullcit?p3090458.
Full text
6
Leung, Yee-ho Genthew, and 梁以豪. "An evaluation of a teaching approach to improve students' understanding of mathematical induction." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2005. http://hub.hku.hk/bib/B35516124.
Full text
7
Santhanam, Ramya. "LOCALIZED WOUND HEALING: A MATHEMATICAL MODEL FOR ELECTROMAGNETIC INDUCTION ON COATED NANOFIBER WOUND DRESSINGS." Akron, OH : University of Akron, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=akron1147883471.
Full textAbstract:
Thesis (M.S.)--University of Akron, Dept. of Biomedical Engineering, 2006."May, 2006." Title from electronic thesis title page (viewed 12/03/2007) Advisor, S.I. Hariharan; Committee members, Daniel B. Sheffer, Narender P. Reddy; Department Chair, Daniel B. Sheffer; Dean of the College, George K. Haritos; Dean of the Graduate School, George R. Newkome. Includes bibliographical references.
8
Gokhale, S. A. "Mathematical modeling of gene expression system in Eukaryotes: form gene induction to protein synthesis." Thesis(Ph.D.), CSIR-National Chemical Laboratory, Pune, 2013. http://dspace.ncl.res.in:8080/xmlui/handle/20.500.12252/1923.
Full text
9
VELOZO, NETO Raimundo do Nascimento. "Aplicações do método de indução matemática à geometria." Universidade Federal do Maranhão, 2017. http://tedebc.ufma.br:8080/jspui/handle/tede/1925.
Full textAbstract:
Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-09-12T20:44:07Z
No. of bitstreams: 1
RaimundoVelozoNeto.pdf: 872870 bytes, checksum: ccaffc749ed9ed23b543712ba5273285 (MD5)Made available in DSpace on 2017-09-12T20:44:07Z (GMT). No. of bitstreams: 1 RaimundoVelozoNeto.pdf: 872870 bytes, checksum: ccaffc749ed9ed23b543712ba5273285 (MD5) Previous issue date: 2017-06-01
This work deals with the Method of Mathematical Induction, in particular, its use with a view to the solution of geometric problems. It initially some considerations are made about the expression "inductive reasoning" whose it meaning, as appropriately must be explained in the text, that differs from that of "mathematical induction". We prove the proposition that guarantees the use of the method based on its foundation, namely the axiom of mathematical induction (one of the postulates that characterize the natural numbers). It exhibited some examples of its use of Algebra and the Theory of Numbers. And then, some applications of the method of mathematical induction to the problems of Geometry are explored to obtain a geometric measure in terms of another(s), either for the demonstration of a proposition that insinuates itself true, or for the stages of construction of a figure given
Este trabalho trata do Método de Indução Matemática, em especial, de seu uso com vistas à solução de problemas geométricos. Inicialmente, são feitas algumas considerações acerca da expressão "raciocínio indutivo", cujo sentido, conforme apropriadamente explicado no texto, difere do de "indução matemática". É provada a proposição que garante o uso do método com base em seu fundamento, a saber, o axioma de indução matemática (um dos postulados que caracterizam os números naturais) e exibidos alguns exemplos de sua utilização em Álgebra e Teoria dos Números. Em seguida, são exploradas algumas aplicações do método de indução matemática à problemas de Geometria, seja para a obtenção de uma medida geométrica em termos de outra(s), para a demonstração de uma proposição que se insinua verdadeira, ou para a exibição das etapas de construção de uma dada figura.
10
FÃlix, Hudson de Souza. "PrincÃpio da induÃÃo matemÃtica: fundamentaÃÃo teÃrica e aplicaÃÃes." Universidade Federal do CearÃ, 2015. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=14010.
Full textAbstract:
CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel SuperiorO presente trabalho apresenta propriedades e problemas do ensino da matemÃtica que de alguma forma se demonstram ou podem ser resolvidas usando o princÃpio da induÃÃo matemÃtica. Com isso, buscamos despertar o aluno para a importÃncia da demonstraÃÃo em matemÃtica, saindo do conformismo de aceitar a qualquer fÃrmula de formataÃÃo intuitiva indexada ao nÃmeros naturais e partir para uma anÃlise matemÃtica mais refinada dos conceitos, propriedades e problemas que se apresentam na matemÃtica.
This paper presents properties and mathematics teaching issues that somehow show or can be resolved using the principle of mathematics induction. with this, we seek to awaken students to the importance of demonstration in mathematics , leaving the conformity to accept any intuitive formatting formula indexed to natural numbers and go for a more refined mathematical analysis of the concepts , properties and problems that arise in mathematics.
11
Wigren, Thomas. "The Cauchy-Schwarz inequality : Proofs and applications in various spaces." Thesis, Karlstads universitet, Avdelningen för matematik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-38196.
Full textAbstract:
We give some background information about the Cauchy-Schwarz inequality including its history. We then continue by providing a number of proofs for the inequality in its classical form using various proof techniques, including proofs without words. Next we build up the theory of inner product spaces from metric and normed spaces and show applications of the Cauchy-Schwarz inequality in each content, including the triangle inequality, Minkowski's inequality and Hölder's inequality. In the final part we present a few problems with solutions, some proved by the author and some by others.
12
Araújo, Jerrimar Moraes de. "Teoria matemática implícita na geometria fractal: construindo fractais com a ferramenta computacional Asymptote." Universidade Federal de Roraima, 2015. http://www.bdtd.ufrr.br/tde_busca/arquivo.php?codArquivo=308.
Full textAbstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorO presente trabalho consiste em um relato sobre a origem da Geometria Fractal, tendo em destaque a figura de Benoît Mandelbrot, identificado como pioneiro nesta área, cujo fractal leva seu nome. Mostra os fractais pioneiros, assim como a construção destes através da ferramenta computacional "Asymptote". É necessário dizer que, a partir da construção destes, percebe-se, com facilidade um intenso uso de conteúdos presentes no currículo escolar do ensino básico, como por exemplo o cálculo de perímetro e de áreas de figuras planas, potenciação, problemas de contagens, entre outros, os quais podem ser abordados com o intuito de introduzir tal conteúdo ou mesmo aprofundá-lo. Por fim, faremos uso de Indução Matemática para demonstrar algumas destas fórmulas encontradas.
This work consists the historic report of the origin of Fractal Geometry, and highlighted the figure of Benoît Mandelbrot, identified as pioneer in this area, whose fractal bears his name. Shows the pioneers fractals, as well as the construction of these using the computational tool "Asymptote". It must be said that, from the construction of these, it is noted, easily a intense use of contents present in the curriculum of basic education, such as the calculation of perimeter and area of plane figures, potentiation, in counts problems, among others, they can be addressed in order to start the study of such content or to same deepen it. Finally, we will make use of Mathematical Induction to demonstrate some of the formulas found.
13
Luque, Carcasi Diodomiro Baldomero 1974. "Modelagem matematica para avaliação do comportamento eletrico de motores de indução trifasicos em regime permanente : um modelo neural." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261380.
Full textAbstract:
Orientador: Ernesto Ruppert FilhoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e Computação
Made available in DSpace on 2018-08-11T20:28:16Z (GMT). No. of bitstreams: 1 LuqueCarcasi_DiodomiroBaldomero_M.pdf: 943595 bytes, checksum: c20084d6cea7e72315ca4292797e783f (MD5) Previous issue date: 2005
Resumo: Este trabalho apresenta um estudo sobre o comportamento de motores de indução trifásico em regime permanente. Discute-se a validade da utilização do circuito elétrico equivalente do motor nas condições nominais e fora das condições nominais de operação. Ensaios em vazio e com rotor bloqueado são executados em um motor de indução trifásico para a determinação dos parâmetros do circuito equivalente. O ensaio realizado em condições de carga variável dentro de um intervalo usual de operação do motor, em termos de escorregamento, mostra que o circuito equivalente não representa o comportamento da máquina quando esta trabalha fora do ponto nominal de operação, porque os parâmetros não mais o representam bem naquelas situações de operação. As grandezas obtidas nos ensaios em carga variável são adequadamente condicionadas e utilizadas no treinamento de uma rede neural artificial Multi-Layer Perceptron (MLP). Para a validação dessa rede são comparados os resultados obtidos no modelo neural com os testes experimentais do motor de indução trifásico.
Abstract: This thesis presents a study about the steady state behavior of the three-phase induction motor. The validity of the use of the electric equivalent circuit is discussed when it is utilized on the rated conditions and also on any other operating conditions. No-load and the blocked rotor tests are performed on a three-phase induction motor for the determination of the equivalent circuit parameters. The tests run in variable load conditions in a usual interval of operation of the motor, in terms of slip, show that the equivalent circuit does not represent quit well the behavior of the machine when it works out of the rated point, because the parameters do not represent it in those operating condition any more. The magnitudes obtained in the variable load test are conditioned and used in the training of an artificial neural network Multi-Layer Perceptron (MLP). For the validation of the results, the neural model and experimental tests of the induction motor results are compared.
Mestrado
Automação
Mestre em Engenharia Elétrica
14
Nobrega, Luciano Xavier Gomes da. "Princ?pio da Indu??o Matem?tica no Ensino M?dio." Universidade Federal do Rio Grande do Norte, 2013. http://repositorio.ufrn.br:8080/jspui/handle/123456789/17018.
Full textAbstract:
Made available in DSpace on 2014-12-17T15:27:45Z (GMT). No. of bitstreams: 1
LucianoXGN_DISSERT.pdf: 807577 bytes, checksum: 906f4b332a5302a928290cb0ddc72490 (MD5)
Previous issue date: 2013-04-08Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior
We developed this dissertation aiming its in the process of teaching and learning of the Principle of Mathematical Induction and we set our efforts so that the students of the first year of the high school can assimilate the content having the knowledge seen in the basic education as foreknowledge. With this, we seek to awake in the student the interest on proofs, showing how much it s needed in examples that involve contents that he is already seen
Desenvolvemos esta disserta??oo objetivando seu uso no processo de ensino e aprendizagem do princ?pio da indu??oo matem?tica e direcionamos nossos esfor?os para que os alunos do primeiro ano do ensino m?dio possam assimilar o conte?do tendo o conhecimento visto na educa??o b?sica como pr?-requisito. Com isso, buscamos despertar no aluno o interesse em demonstra??es, mostrando o quanto elas s?o necess?rias.
15
Mouhrim, Nisrine. "Contribution au Développement de Transport Vert : Proposition d'un Plan de Recharge par Segments des Véhicules Électriques : Étude d'un problème de Tournées de Véhicules Mixtes." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMLH02.
Full textAbstract:
La mise en oeuvre des véhicules électriques dans le secteur du transport de fret présente une solution durable qui répond aux objectifs environnementaux et économiques. Cette thèse s'oriente dans cette direction, elle porte sur l'étude des problèmes de transport électrique selon deux niveaux décisionnels à savoir le niveau stratégique et opérationnel.Au niveau stratégique, nous traitons le problème d'allocation des segments de recharge d'un véhicule électrique par des ondes électromagnétiques. Pour cela, nous proposons une modélisation du problème sous forme de programme mathématique mixte en nombre entier qui tient compte de la particularité du réseau routier et du véhicule. L'objectif est de déterminer; dans un réseau qui se compose de plusieurs chemins; une allocation stratégique qui constitue un compromis entre le coût d'achat du matériel de recharge et le coût de la batterie en satisfaisant un ensemble de contraintes liées au fonctionnement du système lors de l'exploitation et qui garantissent l'arrivée du véhicule à sa destination sans rupture de charge. Ainsi, nous montrons l'utilité de nos travaux dans un contexte industriel à travers le projet 'Green Truck'. Ce projet consiste à remplacer les camions à combustion par les camions électriques; adapté à la technologie d'alimentation par induction; dans la zone industrialo-portuaire du Havre. Dans cette optique et dans un premier temps, nous traitons le problème d'installation des segments de recharge dynamique. Dans un deuxième temps, nous intégrons le mode de rechargement statique dans la stratégie d'allocation. Nous adoptons la version multi-objective de l'algorithme d'optimisation par essaim de particules pour résoudre le problème. En effet, l'algorithme a montré sa robustesse et son efficacité vis-à-vis de problèmes d'optimisation non-linéaires. Après la linéarisation de notre modèle, nous comparons les résultats obtenus avec ceux issus à partir du solveur CPLEX. Nous montrons la validité des résultats obtenus à travers leur analyse et leur discussion.Au niveau opérationnel, nous étudions le problème de tournées de véhicules dans le cas d'une flott( mixte composée de véhicules électriques et à combustion, ce qui est un véritable réseau industrie rencontré dans la pratique. La particularité de notre travail réside dans la considération du cas où le émissions sont limitées par un système de plafonnement d'émissions pour les véhicule conventionnels. Afin de résoudre le modèle mathématique que nous avons élaboré, nous avons indu trois heuristiques dans l'algorithme SPEA-II qui répondent aux contraintes engendrées par la batterie limitée des véhicules électriques. Après l'analyse des performances de l'algorithme résultant, nou, concluons que l'approche de résolution permet d'achever des résultats compétitifsThe implementation of electric vehicles in the freight transport sector presents a sustainable solution that meets environmental and economic objectives. This thesis is oriented in this direction, it deals with the study of the problems of electric transportation according to two decisional levels namely the strategic and operational levels.At the strategic level, we study the problem of the location of the wireless charging infrastructure in a transport network composed of multiple routes between the origin and the destination. To find a strategic solution to this problem, we first and foremost propose a nonlinear integer programming solution to reach a compromise between the cost of the battery, which is related to its capacity, and the cost of installing the power transmitters, while maintaining the quality of the vehicle's routing. Thus, we show the utility of our work in an industrial context through the 'Green Truck' project. This project consists of replacing diesel trucks by inductive trucks in the industrial-port area of Le Havre. Initially, we are dealing with the problem of allocation of dynamic charging segments. In a second step, we integrate the static reload mode in the allocation strategy. We adapt the multi-objective particle swarm optimization (MPSO) approach to our problem, as the particles were robust in solving nonlinear optimization problems. Since we have a multi-objective problem with two binary variables, we combine the binary and discrete versions of the particle swarm optimization approach with the multi-objective one. To assess the quality of solutions generated by the PSO algorithm, the problem is transformed into an equivalent linear programming problem and solved with CPLEX optimizer. The results are analyzed and discussed in order to point out the efficiency of our resolution method.At the operational level, we study a new version of the vehicle routing problem with a mix fleet of electric and combustion vehicles, which is a real industrial network encountered in practice. The particularity of our work lies in the consideration of the case where emissions are limited by an emission cap system for conventional vehicles. In order to solve the mathematical model that we have developed, we have included three heuristics in the SPEA-II algorithm that respond to the constraints generated by the limited battery of electric vehicles. After analyzing the performance of the resulting algorithm, we conclude that the resolution approach achieves competitive results
16
Pereira, Valmir Machado. "Modelo e analise do motor de indução bifasico assimetrico com o estator conectado em T." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/258916.
Full textAbstract:
Orientador: Edson BimDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-07-21T11:58:56Z (GMT). No. of bitstreams: 1 Pereira_ValmirMachado_M.pdf: 3590571 bytes, checksum: 64d5729c458a96919ef78024257af6a4 (MD5) Previous issue date: 1996
Resumo: Esta dissertação tem o objetivo de determinar um modelo matemático para o motor de indução bifásico assimétrico com os enrolamentos de estator conectados em T e investigar algumas propriedades tais como aceleração livre, característica estática conjugado-velocidade e as correntes em regime permanente. Este motor é projetado para ser alimentado a partir de duas fases e do neutro, e requer um valor particular para a relação de espiras entre os enrolamentos do estator. Inicialmente, uma transformação de variáveis é realizada com a finalidade de encontrar um motor equivalente que não possua nenhum ponto condutivo comum entre os enrolamentos e que apresente a mesma fm.m do motor original. Fazendo uso do conceito de circuitos acoplados são obtidas as equações básicas. A seguir, essas variáveis são escritas no sistema de referência estacionário e um circuito equivalente é obtido. Utilizando esse circuito equivalente, são apresentados resultados de simulação computacional e resultados de testes experimentais.A comparação dos mesmos exibiram uma boa concordância,mostrando que o modelo matemático é adequado
Abstract: This dissertation has the aim of determining a mathematical model for asymmetrical two-phase induction motor with T-connected stator windings and to investigate some properties such as free acceleration, steady-state torque-speed characteristic and steady-state currents. This motor is designed to operate from supply of two phases and neutral, and a particular value for the stator tums ratio is required. First, a transformation of variables is accomplishedto obtain an equivalent motor that do not have electric connection and that presents the same m.m.f. of original motor. Making use of the concept couple circuits, the basic equations are derived. Second, these variables are written in the stationary referencefTameand an equivalentcircuit is obtained. By using this equivalent circuit, computer simulationis presented and compared with experimental results. The tests exhibited a good agreement, showing that the mathematical model is adequate
Mestrado
Mestre em Engenharia Elétrica
17
Costa, Bruno Leandro Galvão. "Metaheurísticas de otimização aplicadas na sintonia de controladores PI de um acionamento DTC-SVM para motores de indução trifásicos." Universidade Tecnológica Federal do Paraná, 2015. http://repositorio.utfpr.edu.br/jspui/handle/1/3109.
Full textAbstract:
Conselho Nacional do Desenvolvimento Científico e Tecnológico (CNPq)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico do Paraná
Nos dias atuais, um enfoque considerável tem sido dado por pesquisas científicas aos acionamentos de motores elétricos, em destaque aos motores de indução trifásicos com rotor gaiola de esquilo, por serem comumente empregados em aplicações do dia-a-dia, principalmente em ambientes industriais, devido às suas inúmeras e bem conhecidas vantagens. Dentre algumas estratégias existentes para o acionamento destes motores, encontra-se o Controle Direto de Torque, um acionamento vetorial que proporciona um bom desempenho para aplicações de médias e baixas potências. Uma topologia dessa estratégia que envolve a utilização de um algoritmo de Modulação por Vetores Espaciais, denominada de DTC-SVM, tem sido amplamente considerada devido às suas vantagens frente à estrutura convencional. Contudo, em seu algoritmo existem malhas de controle de torque, fluxo e velocidade, que adotam geralmente controladores Proporcional-Integral. Neste trabalho, um estimador de fluxo baseado em modelo de tensão e corrente é considerado, no qual sua estrutura também contém um controlador Proporcional- Integral. Diante desse cenário, este trabalho visa contribuir com o aspecto de sintonia destes controladores, empregando metaheurísticas de otimização para efetuar o ajuste otimizado dos ganhos. Três algoritmos metaheurísticos são considerados: a Otimização por Colônia de Formigas, o Evolução Diferencial e a Otimização por Enxame de Partículas. Basicamente, intervalos de busca para as variáveis envolvidas, ou seja, os ganhos dos controladores, assim como uma função objetivo, que relacione os principais aspectos desejados de melhoria do sistema, devem ser definidos para o processo de otimização, o qual é realizado via simulação computacional. Visando avaliar a eficiência da metodologia proposta, neste trabalho são feitas algumas análises do sistema de acionamento DTC-SVM operando com as sintonias otimizadas e também com uma sintonia inicial, obtida com base em ajustes empíricos. Tais análises são feitas tanto em um ambiente de simulações computacionais, utilizando o software MATLAB/Simulink, quanto em um ambiente experimental, considerando um protótipo desenvolvido, no qual o sistema opera com reversão de velocidade, assim como com distúrbios de carga. Os resultados evidenciam desempenhos eficientes do acionamento operando com as sintonias otimizadas, principalmente durante os regimes transitórios e em operações de baixas velocidades.
Nowadays, a considerable focus has been given by scientific research to the electric motors drive, particularly to the three-phase induction motors with squirrel cage rotor, being commonly used in day-to-day applications, especially in industrial environments, due to its numerous and well known advantages. Among some strategies surveyed for driving these motors, there is the Direct Torque Control, a vector drive which provides good performance for medium and low power applications. A topology of this strategy involving the use of a Space Vector Modulation algorithm, called DTC-SVM, has been considered due to its advantages in comparison to conventional structure. However, in their algorithm there are torque, flux and speed control loops which generally consider Proportional-Integral controllers. In this work, a stator linkage flux estimator based on model of voltage and current is considered, in which its structure also contains a Proportional-Integral controller. Given this scenario, this work aims to contribute with the tuning aspect of these controllers, employing optimization metaheuristics aiming an optimized adjustment of the gains. Three metaheuristic algorithms are considered: Ant Colony Optimization, Differential Evolution and Particle Swarm Optimization. Basically, search ranges to the variables involved, ie. Proportional-Integral controller gains, as well as an objective function, which lists the main desired aspects of improving the system, must be set to the optimization process, which is performed by the computational simulation. Aiming to evaluate the effectiveness of this proposed methodology, in this work were made some analysis at the DTC-SVM drive system operating with the optimized tunings and a initial tuning, obtained by empiric adjusts. Such analysis were carried out either in a computer simulation environment, using MATLAB/Simulink software, as in a laboratory environment, considering a prototype developed, in which the system operates with speed reversal, as well as load disturbances. The results show efficient performances of the drive operating with the optimized tunings, especially during the transient periods and low speed operations.
18
Davies, Ryan. "An induction theorem inspired by Brauer's induction theorem for characters of finite groups." Thesis, University of Birmingham, 2018. http://etheses.bham.ac.uk//id/eprint/8834/.
Full textAbstract:
Brauer's induction theorem states that every irreducible character of a finite group G can be expressed as an integral linear combination of induced characters from elementary subgroups. The goal of this thesis is to develop our own induction theorem inspired by both Brauer's induction theorem and Global-Local conjectures. Specifically we replace the set of elementary subgroups of G by the set of subgroups of index divisible by the prime power divisors of the given character's degree. We aim to do this by using a reduction theorem to almost simple and quasisimple groups, using the Classification of Finite Simple Groups to deal with the remaining cases.
19
Otero, Margarita. "Models of open induction." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.291296.
Full text
20
Cipín, Radoslav. "Matematické modely transformátorů a asynchronních motorů." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217586.
Full textAbstract:
The fist part of this work is dealt with the construction of the mathematical models of voltage and current transformers. There are created and simulated models of voltage and current transformer with the nonlinear magnetization characteristics. The second part of this work is dealt with equivalent circuit of the induction motor in the form of Gamma-circuit. The speed-torque characteristic and the dependence of stator current on the slip are calculated from this equivalent circuit. The third part of this work is dealt with electromagnetic design of the alternating current machines by the help of a classic way and a new way.
21
Chern, Shikai. "Dirac Induction for Unimodular Lie Groups /." The Ohio State University, 1996. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487933648648503.
Full text
22
Belfanti, Edward Michael Jr. "Aspects of Automorphic Induction." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1525706818378677.
Full text
23
Paese, Evandro. "Estampagem eletromagnética de chapas finas : viabilidade técnica." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2010. http://hdl.handle.net/10183/23932.
Full textAbstract:
Esta dissertação apresenta modelagem matemática e um método de solução numérica para problemas de conformação eletromagnética de chapas metálicas finas circulares utilizando uma bobina em espiral plana. O método foca especificamente o cálculo do campo eletromagnético gerado pela bobina e análise do circuito que modela o sistema de estampagem eletromagnética. A bobina plana é aproximada por círculos concêntricos carregando a corrente de descarga dos capacitores. Os cálculos das correntes induzidas e perfil da força eletromagnética na chapa e acoplamentos magnéticos entre a bobina e chapa metálica são realizados para o instante inicial, antes da deformação plástica da chapa. O método utiliza a lei de Biot-Savart, sendo que a solução das integrais obtidas para indução magnética é realizada através de métodos numéricos, considerando as simetrias do problema. Para verificação da modelagem matemática, da solução numérica e comprovação da viabilidade técnica deste processo, um dispositivo de estampagem eletromagnética foi desenvolvido e diversos experimentos foram realizados com chapas de alumínio. Os parâmetros investigados foram a espessura da chapa a ser deformada e a influência da presença de vácuo na cavidade da ferramenta. Os resultados experimentais demonstram concordância com os resultados da modelagem proposta. A presença de vácuo também demonstrou um incremento na deformação da chapa. A rotina desenvolvida no software Matlab fornece informações importantes para o processo e permite que se faça ajustes no dispositivo.This dissertation presents a mathematical model and numerical method to solve the problems of electromagnetic forming of thin circular metal sheets by using a flat spiral coil. The method focuses specifically on the calculation of the electromagnetic field generated by the coil flat and circuit analysis modeling system electromagnetic forming. The flat coil is approximated by concentric circles carrying a discharge current of capacitors. The calculations of induced currents and profile of the electromagnetic force on the plate and magnetic coupling between the coil and sheet metal are made to the initial time, before the plastic deformation of the plate. The method uses the law of Biot-Savart, and the solution of the integral obtained for magnetic induction is performed by numerical methods, considering the symmetries of the problem. To verify the mathematical model, the numerical solution and proving the technical feasibility of this process, a electromagnetic forming device was developed and several experiments were made with aluminum plates. The parameters investigated were the thickness of the plate to be deformed and the influence of the vacuum in the cavity of the tool. The experimental results show agreement with the results of the proposed model. The presence of vacuum also showed an increase in the deformation of the plate. A routine developed in software Matlab provide important information for the process and allow to make adjustments on the device.
24
Spencer, Matthew. "Brauer relations, induction theorems and applications." Thesis, University of Warwick, 2017. http://wrap.warwick.ac.uk/95231/.
Full textAbstract:
Let G be a finite group and F a field, then to any finite G-set X we may associate a F [G]-permutation module whose F -basis is indexed by elements of X. We seek to describe when two non-isomorphic G-sets give rise isomorphic permutation modules. This amounts to describing the kernel KF(G) of a map between the Burnside Ring of G and the ring of representation ring of F [G]-representations of G. Elements of this kernel are known as Brauer Relations and have extensive applications in Number Theory, for example giving relationships between class numbers of the in-termediate Number fields of a Galois extension. In characteristic 0, the generators of KF(G) have been classified in [2]. We extend this classification to characteristic p > 0 for all finite groups G save for groups which admit a subquotient which is an extension of a non-elementary p-quasi-elementary group by a p-group. Our approach initially mimics that in characteristic 0, and so we give a much more general description of these steps in terms of Green functors.
25
Souza, Márcia Erondina Dias de. "UMA PROPOSTA DE ABORDAGEM AO PROBLEMA DE FLÁVIO JOSEFO APLICADA AO ENSINO MÉDIO." Universidade Federal de Santa Maria, 2013. http://repositorio.ufsm.br/handle/1/10935.
Full textAbstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorIn this paper, we presents a didactic sequence of activities designed for a group of students of high school, their age were about 15 and 18 years old, with the main objective to study the problem proposed by the mathematician Flávio Josefo, in mid-year 64. The legend tells that a group of rebels, including Flávio Josefo, was trapped in a cave by the enemy army. Preferring the suicide to capture, the rebels decided to form a circle and, counting over this, to kill each third person of the rest of the group. Josefo was contrary of this suicide pact therefore, together with a friend, calculated very quickly the appropriated positions that both should take in this circle in order to get out of this terrible situation. To understand this solution, we propose, at the first moment, a review about the numerical sequences, including the special cases of arithmetic and geometric. Then, we introduce some notions about the de recurrence relations and the Principle of Mathematical Induction, allowing a generalization of concepts and results already known intuitively by the student group.
Neste trabalho, apresentamos uma sequência didática de atividades elaboradas para um grupo de alunos do ensino médio, na faixa etária de 15 a 18 anos, tendo como principal objetivo estudar o problema proposto pelo matemático Flávio Josefo, nos meados do ano 64. Conta a lenda que um grupo de rebeldes, dentre eles Flávio Josefo, foi encurralado numa caverna pelo exército inimigo. Preferindo o suicídio à captura, os rebeldes decidiram formar um círculo e, contando ao longo deste, matar cada terceira pessoa restante do grupo. Josefo era contrário a este pacto suicida e, por isso, juntamente com um amigo, calculou muito rapidamente as posições adequadas que ambos deveriam tomar nesse círculo de modo a saírem ilesos desta terrível situação. Para o entendimento desta solução propomos, inicialmente, uma revisão sobre sequências numéricas, incluindo os casos especiais de progressão aritmética e geométrica. Em seguida, introduzimos algumas noções a respeito de relações de recorrência e do Princípio da Indução Matemática, permitindo uma generalização dos conceitos e resultados já conhecidos intuitivamente pelo grupo de alunos.
26
Newlands, Douglas A., and mikewood@deakin edu au. "Convex hulls in concept induction." Deakin University. School of Computing and Mathematics, 1998. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20050826.112245.
Full textAbstract:
Classification learning is dominated by systems which induce large numbers of small axis-orthogonal decision surfaces. This strongly biases such systems towards particular hypothesis types but there is reason believe that many domains have underlying concepts which do not involve axis orthogonal surfaces. Further, the multiplicity of small decision regions mitigates against any holistic appreciation of the theories produced by these systems, notwithstanding the fact that many of the small regions are individually comprehensible. This thesis investigates modeling concepts as large geometric structures in n-dimensional space.
Convex hulls are a superset of the set of axis orthogonal hyperrectangles into which axis orthogonal systems partition the instance space. In consequence, there is reason to believe that convex hulls might provide a more flexible and general learning bias than axis orthogonal regions. The formation of convex hulls around a group of points of the same class is shown to be a usable generalisation and is more general than generalisations produced by axis-orthogonal based classifiers, without constructive induction, like decision trees, decision lists and rules. The use of a small number of large hulls as a concept representation is shown to provide classification performance which can be better than that of classifiers which use a large number of small fragmentary regions for each concept.
A convex hull based classifier, CH1, has been implemented and tested. CH1 can handle categorical and continuous data. Algorithms for two basic generalisation operations on hulls, inflation and facet deletion, are presented. The two operations are shown to improve the accuracy of the classifier and provide moderate classification accuracy over a representative selection of typical, largely or wholly continuous valued machine learning tasks. The classifier exhibits superior performance to well-known axis-orthogonal-based classifiers when presented with domains where the underlying decision surfaces are not axis parallel. The strengths and weaknesses of the system are
identified. One particular advantage is the ability of the system to model domains with approximately the same number of structures as there are underlying concepts. This leads to the possibility of extraction of higher level mathematical descriptions of the induced concepts, using the techniques of computational geometry, which is not possible from a multiplicity of small regions.
27
Case, Adam Martin. "Explicit Brauer induction and the Glauberman correspondence." Thesis, University of Southampton, 2002. https://eprints.soton.ac.uk/50620/.
Full textAbstract:
Let S and G be finite groups of coprime order such that S acts on G. If S is solvable, Glauberman [11] proves the existence of a bijection between the S-fixed irreducible representations of G and the irreducible representations of Gs. In the case of G solvable, Isaacs [13] uses a totally different method to prove the existence of a bijection between the same two sets of representations. Assuming the existence of the Glauberman correspondence, Boltje [5] uses the method of Explicit Brauer Induction (EBI) to give an explicit version of this correspondence for the case in which S is a p-group. After presenting the above results, we outline a strategy for investigating these correspondences using Explicit Brauer Induction, and we use these ideas to give a new proof for the theorems of Glauberman and Boltje. We move on to suggest some ideas of how this work may extend to Isaacs' correspondence. We also mention a link to Shintani's correspondence [25]. In the final chapter, we look at cryptography, and mention a potential application of some of our techniques (Adams Operations) in this field.
28
Mitka, Darius. "Roboto valdymo sistema." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2004. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20040621_172148-76217.
Full textAbstract:
The final work of master studies reviews various industrial robots constructions and parameters, from which they are characterized. Robotics systems and control of flexible production have been discussed in here. Various robots’ drives and their control advantages and disadvantages are analyzed. In the practical part original robot global movement platform is suggested and algorithm of two flexible production bays handling is created. Static characteristics of linear drive used in platform are calculated. Using software package “Matlab Simulink” model of symmetrical linear induction motor (LIM) is created and dynamic characteristics are gained. Concluding part presents inferences and suggestions.
29
Dejan, Reljić. "Otkrivanje kvara rotora kaveznog asinhronog motora primenom tehnika analize terminalnih veličina." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=104840&source=NDLTD&language=en.
Full textAbstract:
U disertaciji je predložena metoda za pouzdano otkrivanje kvara rotoratrofaznog kaveznog asinhronog motora. Metoda je zasnovana naidentifikaciji obeležja kvara rotora iz signala terminalnih veličinajednofazno napojenog trofaznog kaveznog motora u stacionarnom stanjupogona. Predložena metoda eliminiše potrebu za postojanja opterećenjamotora, što je osnovna prednost u odnosu na rešenja iz literature. Svateorijska razmatranja su praćena odgovarajućim rezultatima računarskihsimulacija, da bi se potom sprovela eksperimentalna verifikacija ipotvrdila efikasnost predložene metode. Takođe, predstavljen jepostupak za kvantitativnu procenu oštećenja štapnih provodnika rotora.In this Doctoral dissertation, a novel method for broken rotor bar fault detectionin a three-phase squirrel-cage induction motor (IM) is introduced. The proposedmethod is non-invasive and it is based on the analysis of the IM terminalquantities in a single-phase steady-state operating condition. Compared toconventional fault detection techniques, the developed method does not requireany loading on the motor, which is the main benefit of the method. The faultycondition of broken rotor bars was investigated analytically, while theeffectiveness of the proposed method was proven by the variety of computersimulations and experimental results. Based on these results, a methodology forthe quantification of broken rotor bars in the IM has been presented.
30
Hundák, Vladimír. "Algoritmy pro řízení asynchronního motoru." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220893.
Full textAbstract:
Hlavným cieľom tejto práce je vytvorenie simulácií rôznych algoritmov riadenia asynchrónneho motora a vzájomné porovnanie ich vlastností. Zaoberá sa taktiež možnosťami konfigurácie náhradného zapojenia na T-článok, -článok a -článok. Obsahuje jednak teoretický rozbor, a taktiež aj simulácie jednotlivých spôsobov riadenia spolu s podrobným návodom na ich realizáciu. Celkovo budú vykonané 3 simulácie – simulácia vektorového riadenia s orientáciou na rotorový tok, vektorového riadenia s orientáciou na statorový tok a simulácia takzvaného prirodzeného riadenia. Ide o úplne nový typ riadenia, ktorého autorom je vedúci tejto diplomovej práce. Jeho simulácia bola vôbec prvým pokusom o funkčnú realizáciu tohto typu riadenia.
31
Blair, Andrew Ian. "Learning mathematics through inquiry : the relationship between induction and deduction in Inquiry Maths." Thesis, King's College London (University of London), 2018. https://kclpure.kcl.ac.uk/portal/en/theses/learning-mathematics-through-inquiry(c6ccc173-5759-4898-9e6d-9234786e3fb0).html.
Full textAbstract:
The thesis examines whether an inquiry model of learning mathematics is compatible with the nature of the discipline. Characterising mathematics as a combination of induction and deduction, the research questions focus on whether inquiry, which is associated with inductive processes related to discovery, meaning-making and dialogue, can include the deductive side of the subject. In particular, the thesis addresses the relationship between induction and deduction in a model called Inquiry Maths. The writings of Marx and Vygotsky offer us an understanding of that relationship: induction is ‘sublated’ – that is, simultaneously negated and preserved – in deduction. While drawing on the same sources, Davydov’s mathematics curriculum promotes a one-sided deduction. In Zuckerman’s classroom research, we identify the potential of inquiry to incorporate ‘everyday’ induction in the general movement towards ‘scientific’ deduction. In line with the theoretical positioning of the thesis, the research is carried out as a formative experiment inspired by Vygotsky’s methodology of double stimulation. The stimulus-object acts to generate inquiry, while the stimulus-means mediate between the student and forms of mathematical reasoning. The research employs a novel unit of analysis, the regulatory statement, through which the thesis maps the connections between induction and deduction that occurred in the inquiry lessons of one class during the first two years of secondary school. The thesis confirms the idea that the inquiry teacher promotes deduction by building upon, rather than against, inductive thinking. From the inquiries, the connection is described as linear (with transitional forms acting as a bridge), fragmentary or a zig-zag. The major innovation lies in the development of regulatory cards as stimulus-means. The researcher uses the cards to both form and analyse instances of induction and deduction. While the cards enabled students to express their agency during classroom inquiry, their emergence, paradoxically, signalled a reduction in the teacher’s agency.
32
Eldbib, Khaled. "Design and analysis of rule induction systems." Thesis, University of Birmingham, 2016. http://etheses.bham.ac.uk//id/eprint/6841/.
Full textAbstract:
The RULES family of algorithms is reviewed in this work and the drawback of the variation in their generalisation performance is investigated. This results in a new data ordering method (DOM) for the RULES family of inductive learning algorithms. DOM is based on the selection of the most representative example; the method has been tested as a pre-processing stage for many data sets and has shown promising results. Another difficulty faced is the growing size of training data sets, which results in long algorithm execution times and less compact generated rules. In this study a new data sorting method (DSM) is developed for ordering the whole data set and reducing the training time. This is based on selecting relevant attributes and best possible examples to represent a data set. Finally, the order in which the raw data is introduced to the RULES family algorithms considerably affects the accuracy of the generated rules. This work presents a new data grouping method (DGM) to solve this problem, which is based on clustering. This method, in the form of an algorithm, is integrated into a data mining tool and applied to a real project; as a result, better variation in the classification percentage and a lower number of rules formed has been achieved.
33
Buckingham, Elizabeth Ann. "Socialisation to higher mathematics : men's and women's experience of their induction to the discipline." Monash University, Faculty of Education, 2004. http://arrow.monash.edu.au/hdl/1959.1/5425.
Full text
34
Cad, Marcelo Machado. "Estratégias de modelagem dinâmica e simulação computacional do motor de indução trifásico." Universidade de São Paulo, 2000. http://www.teses.usp.br/teses/disponiveis/18/18133/tde-13032002-113426/.
Full textAbstract:
Nesse trabalho procede-se a modelagem e simulação do motor de indução trifásico considerando-se as notações trifásicas, ortogonais, vetoriais e complexas, mos-trando seus equacionamentos e também o resultado das simulações. Para a simulação foram usados alguns programas de domínio da área acadêmica, comparando seus desempenhos quanto à apresentação de resultados e também tempo de processamen-to. Este trabalho apresenta também, um enfoque para o método de simulação do mo-tor de indução trifásico utilizando a notação vetorial complexa, o qual é baseado na notação vetorial do motor de indução que é caracterizado por grandezas complexas. Essa técnica é obtida através de simples manipulações das equações vetoriais do modelo do motor de indução compondo uma equação de estado complexa. Com o auxílio do programa Matlab, consegue-se simular o motor de indução trifásico sem a necessidade de separar os termos complexos em duas equações reais, relativas as partes real e imaginária. O que além de simplificar o procedimento de simulação também contribui para a construção do diagrama de blocos para poder entender melhor o comportamento do modelo estudado. São apresentadas no final do trabalho, as conclusões obtidas e, também, sugestões tanto para continuação do trabalho, quanto novas linhas de pesquisas.In this work it is carried out the modelling and simulation of the three-phase induction motor. It's considered three-phase, orthogonal, vectorial and complex notations, showing the different model equations and the result of the computational simulations. For the simulation it was used different softwares of the academic area, and its results and computational performance are compared. This work gives em-phasis to in new modelling procedure by using complex vector notation. This new method is based on the vectorial notation of the induction motor, which is characterized by complex entities. Through simple manipulations of complex vector equation of the dynamic induction motor equation, it is possible to compose a complex space-state equation. This complex model come be solved with Matlab software without the separation of its complex terms in two real equations. Other advantage of the complex model is the simplifying the simulation procedure and the possibilities of the blocks diagram representation. The final conclusions and suggestions for con-tinuation are presented in the end of work.
35
Mittal, Nitish. "Mathematical Reasoning and the Inductive Process: An Examination of The Law of Quadratic Reciprocity." CSUSB ScholarWorks, 2016. https://scholarworks.lib.csusb.edu/etd/282.
Full textAbstract:
This project investigates the development of four different proofs of the law of quadratic reciprocity, in order to study the critical reasoning process that drives discovery in mathematics. We begin with an examination of the first proof of this law given by Gauss. We then describe Gauss’ fourth proof of this law based on Gauss sums, followed by a look at Eisenstein’s geometric simplification of Gauss’ third proof. Finally, we finish with an examination of one of the modern proofs of this theorem published in 1991 by Rousseau. Through this investigation we aim to analyze the different strategies used in the development of each of these proofs, and in the process gain a better understanding of this theorem.
36
Ricciardi, Tiago Rodarte 1986. "Contribuições para a modelagem de cargas para análise estática e dinâmica de sistemas de energia elétrica." [s.n.], 2015. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261201.
Full textAbstract:
Orientador: Walmir de Freitas FilhoTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação
Made available in DSpace on 2018-08-27T18:46:05Z (GMT). No. of bitstreams: 1 Ricciardi_TiagoRodarte_D.pdf: 6633244 bytes, checksum: bcb56f82b62350db77ed247ac2913cc9 (MD5) Previous issue date: 2015
Resumo: Modelos matemáticos e computacionais precisos dos diversos componentes de um sistema de energia elétrica são importantes para estudos e simulações em um cenário de planejamento e operação da rede elétrica. Dentre os elementos de um sistema de geração, transmissão e distribuição de energia elétrica, as cargas são as que apresentam maiores dificuldades em serem adequadamente representadas. Embora esse tema de pesquisa tenha sido exaustivamente explorado, a modelagem de carga tem recebido renovada atenção do setor produtivo e da academia por uma série de fatores, dentre os quais podemos destacar a proliferação de medidores eletrônicos, o interesse por modelos de novos equipamentos e a necessidade da representação mais fiel do comportamento de diferentes cargas frente a distúrbios no sistema. Esta tese de doutoramento propõe duas contribuições na linha de pesquisa sobre modelagem de carga em sistemas de energia elétrica. A primeira delas trata-se de um método de modelagem de carga baseado em medições e na detecção de distúrbios naturais de tensão. O procedimento proposto emprega medidores eletrônicos simples, que são instalados junto a instalações em sistemas de distribuição com motivo outro que não o de modelagem de carga. A ideia principal é a de utilizar tais medidores para, paralelamente a função que desempenham, fornecer para a concessionária informações sobre modelos de carga, como um subproduto da função principal que desempenham. A segunda contribuição proposta é na linha da modelagem de carga baseada em templates, uma técnica recentemente proposta na literatura para modelagem dinâmica de cargas industriais de grande porte. Nesta tese é proposto um modelo dinâmico simplificado de motores de velocidade variável controlados via conversores eletrônicos (Variable Frequency Drives ¿ VFDs), o qual é baseado em um modelo modificado de um motor de indução. O modelo proposto é adequado ao contexto da estrutura de modelagem de cargas industriais proposta pela técnica de modelagem baseada em templates e pode ser facilmente agregado e analisado em programas de simulação por parte de usuários sem necessidades de alterações do código fonte
Abstract: Accurate mathematical and computational models from various electric power systems components are important in a scenario of power systems studies and simulations for grid planning and operation. Among the elements in the electricity generation, transmission and distribution systems, the loads are probably the most difficult ones to be accordingly represented. Though this research topic has been exhaustively explored, there is a renewed interest in industry and academia for power systems load modeling, due to several reasons, including the proliferation of smart meters, the appearance of non-conventional types of load and the continuing need for even more confident representation of different load response for system disturbances. This Ph.D. thesis proposes two contributions to power systems load modeling research field. The first one deals with a load modeling method based on measurements and the detection of natural voltage disturbances. The proposed scheme uses simple smart meters, installed close to customers with a main goal other than load modeling. The main idea is to use data provided by those meters to, in parallel to the main function performed by this device, provide to the utility information regarding load models, as a byproduct capable to add value to the investment in this meters. The second contribution is in the template based load modeling, a recently methodology proposed for dynamic modeling of large industrial facilities. In this thesis, a simplified Variable Frequency Drive (VFD) dynamic model is proposed, which one is based on a modified induction machine model. The proposed model is suitable to the dynamic load model structure proposed by the template based methodology and can be easily aggregated and analyzed in simulation software by basic users without the need of programming a complex model
Doutorado
Energia Eletrica
Doutor em Engenharia Elétrica
37
Borges, Daniel Tobias da Silva. "Identificação de sistemas em motores de indução trifásicos." Universidade Federal de Uberlândia, 2016. https://repositorio.ufu.br/handle/123456789/14627.
Full textAbstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorIn the present scenario rotating machines have been widely used in industry because of its relative simplicity, constructive robustness and low price. In this context, adequately characterize engine behavior in nominal operating conditions, as this mathematical modeling of these machines becomes interesting and can contribute to the implementation of a predictive control real-time, moreover, there fault detection possibility to, since the engine behavior change will be felt by the identified model. One way to get this mathematical structure is through their experimental data input and output, in order to identify systems is a good option as it studies ways to model and analyze systems, through its information input and output, with the aim of discovering knowledge standards. In this context, the work is to develop a mathematical model using system identification techniques in three phase induction machines through the experimental data with the objective to implement a model apt to behavior anticipate the three-phase induction motor application control for prediction. Moreover, it presents the importance of modeling the rotating machine, moreover, is demonstrated using the method of modeling identification system and a brief justification about ARX and ARMAX models. Also there was performed parametric estimation and then we performed a test to show the performance of the identification of the three-phase induction motor.
No cenário atual as máquinas rotativas têm sido bastante utilizadas nas indústrias, devido a sua relativa simplicidade, robustez construtiva e baixo preço. Neste contexto, caracterizar adequadamente o comportamento do motor operando em condições nominais diários, visto isto a modelagem matemática destas máquinas se torna interessante podendo contribuir para a implementação de um controle preditivo em tempo real, além disso, existe a possibilidade de detecção de falhas, visto que a mudança de comportamento do motor será sentida pelo modelo identificado. Essas falhas se desencadeiam com o envelhecimento e com condições adversas as quais os motores são submetidos ao longo de suas vidas úteis. Uma forma de obter essa estrutura matemática é por meio de seus dados experimentais de entrada e saída, neste intuito a identificação de sistemas é uma boa opção visto que estuda formas de se modelar e analisar sistemas, por meio de suas informações de entrada e saída, com o objetivo de descobrir padrões de comportamento. Neste contexto, o trabalho consiste em elaborar uma modelagem matemática utilizando as técnicas de identificação de sistema em máquinas de indução trifásicas por intermédio dos dados experimentais com o objetivo de implementar um modelo apto a antecipar o comportamento do motor de indução trifásico com aplicação em controle por predição. Além disso, apresenta a importância de se modelar a máquina rotativa, além disso, é demonstrada a metodologia da modelagem utilizando identificação de sistema e uma breve fundamentação sobre os modelos ARX e ARMAX. Também realizou-se a estimação paramétrica e em seguida efetuou-se um teste para mostrar o desempenho da identificação do motor de indução trifásico.
Mestre em Ciências
38
Everitt, Tom. "Universal Induction and Optimisation: No Free Lunch." Thesis, Stockholms universitet, Matematiska institutionen, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-112785.
Full text
39
Grabowski, Jan E. "Inductive constructions for Lie bialgebras and Hopf algebras." Thesis, Queen Mary, University of London, 2006. http://qmro.qmul.ac.uk/xmlui/handle/123456789/1744.
Full textAbstract:
In recent years, two generalisations of the theory of Lie algebras have become prominent, namely the "semi-classical" theory of Lie bialgebras and the "quantum" theory of Bopf algebras, including the quantized enveloping algebras. I develop an inductive approach to the study of these objects. An important tool is a construction called double-bosonisation defined by Majid for both Lie bialgebras and Hopf algebras, inspired by the triangular decomposition of a Lie algebra into positive and negative roots and a Cartan subalgebra. We describe two specific applications. The first uses double-bosonisation to add positive and negative roots and considers the relationship between two algebras when there is an inclusion of the associated Dynkin diagrams. In this setting, which we call Lie induction, doublebosonisation realises the addition of nodes to Dynkin diagrams. We use our methods to obtain necessary conditions for such an induction to be simple, using representation theory, providing a different perspective on the classification of simple Lie algebras. We consider the corresponding scheme for quantized enveloping algebras, based on inclusions of the associated root data. We call this quantum Lie induction. We prove that we have a double-bosonisation associated to these inclusions and investigate the structure of the resulting objects, which are Hopf algebras in braided categories, that is, covariant Bopf algebras. The second application generalises one of the most important constructions in this field, namely the Drinfel'd double of a Lie bialgebra, which has dimension twice that of the underlying algebra. Our construction, the triple, has dimension three times that of the input algebra. Our main result is that when the input algebra is factorisable, this is isomorphic to the triple direct sum as an algebra and a twisting as a coalgebra. We also indicate a number of ways in which the triple is related to the double.
40
Joshi, Shirish. "Statistical analysis and validation procedures under the common random number correlation induction strategy for multipopulation simulation experiments." Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-02132009-170935/.
Full text
41
Steele, Savannah O. "Professional Development as a Community of Practice and Its Associated Influence on the Induction of a Beginning Mathematics Teacher." BYU ScholarsArchive, 2013. https://scholarsarchive.byu.edu/etd/3775.
Full textAbstract:
This qualitative study analyzes a professional development course and its associated influence on the induction of a beginning mathematics teacher from a sociocultural perspective. Specifically, it examines whether a specific high school mathematics professional development course formed a community of practice through the elements of mutual engagement, joint enterprise, and shared repertoire. A community of practice is an inherently sociocultural framework. The results show how each element was present in the professional development, indicating that a community of practice had formed. Using those three elements of community of practice, the study further analyzes the induction of one first-year teacher, Sarah, who was a participant in the community of practice. Sarah's induction is framed as consisting of her conformance to the school mathematics department accepted by both her colleagues and herself, as well as her transformation of the system. The results of the study demonstrate how each element of the community of practice influences each aspect of Sarah's induction into the mathematics department at her school.
42
Mamede, Albuquerque Vieira Alberto Jose Miguel <1987>. "Mathematical Approach for an Accurate Solution of the Circuit Model of Resonator Arrays for Inductive Power Transfer." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amsdottorato.unibo.it/7783/1/Tesi_Jose_Miguel_Alberto.pdf.
Full textAbstract:
In this thesis, a mathematical approach is used to solve the equivalent circuit of a resonator array for inductive power transfer (IPT). With this approach the equivalent impedance of the array of resonators is obtained in closed form, and the impedance matrix that represents the array circuit is inverted thus allowing the current in each resonator to be found analytically. In this way, a better and deeper understanding of the power transfer in IPT systems that use arrays of resonators is achieved, since this study can be applied to different types of configurations (arrays connected to a load, or with one or two receivers over it), different system parameters or operating conditions. It was found that the equivalent impedance remains constant if the array is terminated with the equivalent impedance of an infinite array of resonators. By computing the currents in each resonator, it is possible to determine the efficiency of the system, the power delivered to a load, to one or two receivers and the conditions for maximum efficiency or maximum power transfer. The power transferred and the efficiency depend not only on the system electrical parameters, but also on the number of resonators of the array and on the position of the receiver. Additionally, the magnetic near field generated by an array of resonators was analysed. It was concluded that when the array is perfectly terminated, the variation of the magnetic flux density is smoother. All the theoretical results were validated with numerical simulations and using an experimental setup composed of an H-bridge inverter operating in the hundred kHz range, supplying a resonator array and delivering up to about 90W to a load or receiver. This validation shows the practical applicability of the closed-form expressions obtained, which can be used as a design tool.
43
Болюх, Володимир Федорович. "Науково-технічні основи створення електромеханічних імпульсних перетворювачів індукційного типу з кріорезистивними обмотками." Thesis, НТУ "ХПІ", 2003. http://repository.kpi.kharkov.ua/handle/KhPI-Press/30142.
Full textAbstract:
Дисертація на здобуття наукового ступеня доктора технічних наук за спеціальністю 05.09.01 - електричні машини і апарати. - Національний технічний університет «Харківський політехнічний інститут», м . Харків, 2003. Дисертація присвячена проблемі створення електромеханічних імпульсних перетворю вачів індукційного типу з кріорезистивними обмотками, що охолоджуються рідким азотом. Розроблена методика розрахунку кріогенних ЕІПІТ, яка враховує комплекс взаємопов’язаних електричних, магнітних, теплових та механічних процесів з урахуванням нелінійності основ-них параметрів. Визначені основні закономірності функціонування силових та енергетичних ЕІПІТ, що забезпечують лінійний рух якоря при збудженні від ємнісного накопичувача та джерела постійної напруги. Запропоновані структурно геометричний, схемний і конструктив-ний підходи удосконалення одно- та багатосекційних ЕІПІП з обґрунтуванням їх параметрів. Отримано експериментальні дані, які підтверджують достовірність прийнятих математичних моделей і технічних рішень. Основні результати досліджень використані при виконанні 7 держбюджетних і хоздоговірних науково-дослідних робіт, у науково-виробничих фірмах та в навчальному процесі.Thesis for a Doctor's degree in Engineering Sciences by specialty 05.09.01 – Electrical Machines and Apparatus. – National Technical University “Kharkov Polytechnic Institute”, Kharkov, 2003. The dissertation deals with designing electromechanical impulse induction converters (EIIC) with liquid-nitrogen-cooled cryoresistive windings. On the basis of generalization of accumulated data in impulse electromechanics, a technique for designing cryogenic EIICs has been developed which takes into account interrelated electrical, magnetic, thermal, and mechanical complex processes with nonlinear critical parameters. The basic mechanisms of power and energy EIIC functioning which result in linear motion of the armature when the converter is excited from a capacitive accumulator or a constant-voltage source have been revealed. Structure-geometry, circuit, and design approaches for perfecting single- and multi-stage EIICs with valid parameters have been suggested. Experimental data have been obtained to validate developed mathematical models and engineering solutions. The main research results have been utilized and implemented at execution of seven state and commercial research projects, in research enterprises, and for students’ training.
44
Eren, Levent. "Bearing damage detection via wavelet packet decomposition of stator current /." free to MU campus, to others for purchase, 2002. http://wwwlib.umi.com/cr/mo/fullcit?p3074397.
Full text
45
Taylor, Peggy Sue. "The effect of facilitator training on the development and practice of participants in an online induction program for teachers of science and mathematics." Diss., Montana State University, 2007. http://etd.lib.montana.edu/etd/2007/taylor/TaylorP0507.pdf.
Full text
46
Snyders, Sean. "Inductive machine learning bias in knowledge-based neurocomputing." Thesis, Stellenbosch : Stellenbosch University, 2003. http://hdl.handle.net/10019.1/53463.
Full textAbstract:
Thesis (MSc) -- Stellenbosch University , 2003.ENGLISH ABSTRACT: The integration of symbolic knowledge with artificial neural networks is becoming an increasingly popular paradigm for solving real-world problems. This paradigm named knowledge-based neurocomputing, provides means for using prior knowledge to determine the network architecture, to program a subset of weights to induce a learning bias which guides network training, and to extract refined knowledge from trained neural networks. The role of neural networks then becomes that of knowledge refinement. It thus provides a methodology for dealing with uncertainty in the initial domain theory. In this thesis, we address several advantages of this paradigm and propose a solution for the open question of determining the strength of this learning, or inductive, bias. We develop a heuristic for determining the strength of the inductive bias that takes the network architecture, the prior knowledge, the learning method, and the training data into consideration. We apply this heuristic to well-known synthetic problems as well as published difficult real-world problems in the domain of molecular biology and medical diagnoses. We found that, not only do the networks trained with this adaptive inductive bias show superior performance over networks trained with the standard method of determining the strength of the inductive bias, but that the extracted refined knowledge from these trained networks deliver more concise and accurate domain theories.
AFRIKAANSE OPSOMMING: Die integrasie van simboliese kennis met kunsmatige neurale netwerke word 'n toenemende gewilde paradigma om reelewereldse probleme op te los. Hierdie paradigma genoem, kennis-gebaseerde neurokomputasie, verskaf die vermoe om vooraf kennis te gebruik om die netwerkargitektuur te bepaal, om a subversameling van gewigte te programeer om 'n leersydigheid te induseer wat netwerkopleiding lei, en om verfynde kennis van geleerde netwerke te kan ontsluit. Die rol van neurale netwerke word dan die van kennisverfyning. Dit verskaf dus 'n metodologie vir die behandeling van onsekerheid in die aanvangsdomeinteorie. In hierdie tesis adresseer ons verskeie voordele wat bevat is in hierdie paradigma en stel ons 'n oplossing voor vir die oop vraag om die gewig van hierdie leer-, of induktiewe sydigheid te bepaal. Ons ontwikkel 'n heuristiek vir die bepaling van die induktiewe sydigheid wat die netwerkargitektuur, die aanvangskennis, die leermetode, en die data vir die leer proses in ag neem. Ons pas hierdie heuristiek toe op bekende sintetiese probleme so weI as op gepubliseerde moeilike reelewereldse probleme in die gebied van molekulere biologie en mediese diagnostiek. Ons bevind dat, nie alleenlik vertoon die netwerke wat geleer is met die adaptiewe induktiewe sydigheid superieure verrigting bo die netwerke wat geleer is met die standaardmetode om die gewig van die induktiewe sydigheid te bepaal nie, maar ook dat die verfynde kennis wat ontsluit is uit hierdie geleerde netwerke meer bondige en akkurate domeinteorie lewer.
47
McAleer, Salme DeAnna. "Professional growth through mentoring a study of experienced mathematics teachers participating in a content-based online mentoring and induction program /." Thesis, Montana State University, 2008. http://etd.lib.montana.edu/etd/2008/mcaleer/McAleerS0808.pdf.
Full textAbstract:
It is well established that early career teacher practice can benefit from participating in effective mentoring and induction programs and experienced teacher practice can be enhanced by participation in successful professional development. But can experienced teachers improve their practice through their role as a mentor in a mentoring program? Although anecdotal evidence suggests that mentor teachers grow professionally through mentoring, there is limited research supporting this claim. Therefore, the purpose of this study was to explore the professional growth of mentor mathematics teachers participating in an online content-based mentoring and induction program, e-Mentoring for Student Success (eMSS). In specific, this mixed-methods study sought to determine what aspects of eMSS contributed to mentor professional growth and over what domains this growth occurred. Because the mentoring program was online, teaching and learning were dialogue driven and text-based. Therefore, this study also sought evidence of the mentor teachers\' professional growth in the online dialogue and commentary they provided for analysis. Finally, active engagement in professional development is hypothesized to be a precursor to professional growth and development. Using mentors\' activity level as a measure of engagement, this study also sought to determine if activity level was related to mentors\' perceived professional growth. The results of this study indicate that mentor mathematics teachers did grow professionally as a result of participating in eMSS. The experienced teachers reported growth in all assessed domains, particularity in their reflective practices, professional engagement and leadership, pedagogical knowledge, and in their access to instructional resources. Two predominant avenues of professional growth were cited as being important including reflection on practice and communicating with other mathematics educators. Program flexibility was also named as an important facilitator of professional growth. Finally, it seems that a mentor\'s activity level does positively relate to perceived professional growth and that much growth occurs \"behind the scenes\" and may not be evident in participants\' posts. In conclusion, implications of the findings and how the findings may be used to purposefully design mentoring programs to assist in the professional development of mentor mathematics teachers are offered to program designers. Recommendations for further research are also suggested.
48
Urso, Pascal. "Généralisations et méthodes correctes pour l'induction mathématique." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00505928.
Full textAbstract:
Il existe de nombreux systèmes de preuves par induction visant à automatiser la preuve de théorèmes mathématiques. Cependant, un système de preuve ne peut pas être réellement automatique si plusieurs interactions humaines -- telles que l'apport de lemmes, de généralisations, ou de schémas d'induction -- sont nécessaires pour prouver des théorèmes qui semblent triviaux pour un être humain. Par exemple, la preuve de la commutativité de la multiplication (y * x = x * y) doit notamment recourir à des lemmes exprimant la distributivité de la multiplication ainsi que la distributivité et la commutativité de l'addition. Dans cette thèse, nous proposons des apports aux méthodes de preuve par induction dans le sens d'une plus grande automatisation. Ces apports sont constitués de deux heuristiques efficaces et surtout de deux algorithmes corrects. Le premier algorithme calcule des généralisations correctes pour des théories non-conditionnelles. Le second est une méthode d'induction originale -- la "partition de termes"-- permettant la preuve automatique de théorèmes inductifs.
49
Allotey, Gladys Ami. "Ghanaian teachers' beliefs about giftedness and gifted education teaching strategies in mathematics and science." Thesis, Queensland University of Technology, 2019. https://eprints.qut.edu.au/132445/2/__qut.edu.au_Documents_StaffHome_staffgroupW%24_wu75_Documents_ePrints_Gladys%2520Ami_Allotey_Thesis%5B1%5D.pdf.
Full textAbstract:
The aim of this qualitative instrumental case study was to explore Ghanaian teachers' beliefs about giftedness and their knowledge of gifted education strategies. Ten teachers from six junior high schools participated in interviews, and provided lesson plans and related student work. Inductive and deductive data analysis revealed that the majority of teachers held limited insights into the nature of giftedness or of strategies advocated to support gifted students in mainstream classes. The study has implications for policy development and for reform of pre-service teacher education in Ghana.
50
Kaposi, Ambrus. "Type theory in a type theory with quotient inductive types." Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/41385/.
Full textAbstract:
Type theory (with dependent types) was introduced by Per Martin-Löf with the intention of providing a foundation for constructive mathematics. A part of constructive mathematics is type theory itself, hence we should be able to say what type theory is using the formal language of type theory. In addition, metatheoretic properties of type theory such as normalisation should be provable in type theory. The usual way of defining type theory formally is by starting with an inductive definition of precontexts, pretypes and preterms and as a second step defining a ternary typing relation over these three components. Well-typed terms are those preterms for which there exists a precontext and pretype such that the relation holds. However, if we use the rich metalanguage of type theory to talk about type theory, we can define well-typed terms directly as an inductive family indexed over contexts and types. We believe that this latter approach is closer to the spirit of type theory where objects come intrinsically with their types. Internalising a type theory with dependent types is challenging because of the mutual definitions of types, terms, substitution of terms and the conversion relation. We use induction induction to express this mutual dependency. Furthermore, to reduce the type-theoretic boilerplate needed for reasoning in the syntax, we encode the conversion relation as the equality type of the syntax. We use equality constructors thus we define the syntax as a quotient inductive type (a special case of higher inductive types from homotopy type theory). We define the syntax of a basic type theory with dependent function space, a base type and a family over the base type as a quotient inductive inductive type. The definition of the syntax comes with a notion of model and an eliminator: whenever one is able to define a model, the eliminator provides a function from the syntax to the model. We show that this method of representing type theory is practically feasible by defining a number of models: the standard model, the logical predicate interpretation for parametricity (as a syntactic translation) and the proof-relevant presheaf logical predicate interpretation. By extending the latter with a quote function back into the syntax, we prove normalisation for type theory. This can be seen as a proof of normalisation by evaluation. Internalising the syntax of type theory is not only of theoretical interest. It opens the possibility of type-theoretic metaprogramming in a type-safe way. This could be used for generic programming in type theory and to implement extensions of type theory which are justified by models such as guarded type theory or homotopy type theory.