Dissertations / Theses on the topic 'Theory of engines'
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 'Theory of engines.'
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.
Miller, Shannon L. "Theory and implementation of low-irreversibility chemical engines /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textKim, Kee Hyo. "Engines of growth industrial policy and the Korean motor industry /." Thesis, Online version, 1997. http://ethos.bl.uk/OrderDetails.do?did=1&uin=uk.bl.ethos.337677.
Full textGreen, Johney Boyd Jr. "Application of deterministic chaos theory to cyclic variability in spark-ignition engines." Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/16809.
Full textHariri, Bassam. "Modelling and identification of S.I. engines for control system design." Thesis, University of Liverpool, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.266264.
Full textClifton, David A. "Novelty detection with extreme value theory in jet engine vibration data." Thesis, University of Oxford, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.670016.
Full textHumphrey, Tammy Ellen Physics Faculty of Science UNSW. "Mesoscopic quantum ratchets and the thermodynamics of energy selective electron heat engines." Awarded by:University of New South Wales. Physics, 2003. http://handle.unsw.edu.au/1959.4/19186.
Full textBenyo, Theresa Louise. "Analytical and computational investigations of a magnetohydrodynamics (MHD) energy-bypass system for supersonic gas turbine engines to enable hypersonic flight." Thesis, Kent State University, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=3618922.
Full textHistorically, the National Aeronautics and Space Administration (NASA) has used rocket-powered vehicles as launch vehicles for access to space. A familiar example is the Space Shuttle launch system. These vehicles carry both fuel and oxidizer onboard. If an external oxidizer (such as the Earth's atmosphere) is utilized, the need to carry an onboard oxidizer is eliminated, and future launch vehicles could carry a larger payload into orbit at a fraction of the total fuel expenditure. For this reason, NASA is currently researching the use of air-breathing engines to power the first stage of two-stage-to-orbit hypersonic launch systems. Removing the need to carry an onboard oxidizer leads also to reductions in total vehicle weight at liftoff. This in turn reduces the total mass of propellant required, and thus decreases the cost of carrying a specific payload into orbit or beyond. However, achieving hypersonic flight with air-breathing jet engines has several technical challenges. These challenges, such as the mode transition from supersonic to hypersonic engine operation, are under study in NASA's Fundamental Aeronautics Program.
One propulsion concept that is being explored is a magnetohydrodynamic (MHD) energy- bypass generator coupled with an off-the-shelf turbojet/turbofan. It is anticipated that this engine will be capable of operation from takeoff to Mach 7 in a single flowpath without mode transition. The MHD energy bypass consists of an MHD generator placed directly upstream of the engine, and converts a portion of the enthalpy of the inlet flow through the engine into electrical current. This reduction in flow enthalpy corresponds to a reduced Mach number at the turbojet inlet so that the engine stays within its design constraints. Furthermore, the generated electrical current may then be used to power aircraft systems or an MHD accelerator positioned downstream of the turbojet. The MHD accelerator operates in reverse of the MHD generator, re-accelerating the exhaust flow from the engine by converting electrical current back into flow enthalpy to increase thrust. Though there has been considerable research into the use of MHD generators to produce electricity for industrial power plants, interest in the technology for flight-weight aerospace applications has developed only recently.
In this research, electromagnetic fields coupled with weakly ionzed gases to slow hypersonic airflow were investigated within the confines of an MHD energy-bypass system with the goal of showing that it is possible for an air-breathing engine to transition from takeoff to Mach 7 without carrying a rocket propulsion system along with it. The MHD energy-bypass system was modeled for use on a supersonic turbojet engine. The model included all components envisioned for an MHD energy-bypass system; two preionizers, an MHD generator, and an MHD accelerator. A thermodynamic cycle analysis of the hypothesized MHD energy-bypass system on an existing supersonic turbojet engine was completed. In addition, a detailed thermodynamic, plasmadynamic, and electromagnetic analysis was combined to offer a single, comprehensive model to describe more fully the proper plasma flows and magnetic fields required for successful operation of the MHD energy bypass system.
The unique contribution of this research involved modeling the current density, temperature, velocity, pressure, electric field, Hall parameter, and electrical power throughout an annular MHD generator and an annular MHD accelerator taking into account an external magnetic field within a moving flow field, collisions of electrons with neutral particles in an ionized flow field, and collisions of ions with neutral particles in an ionized flow field (ion slip). In previous research, the ion slip term has not been considered.
The MHD energy-bypass system model showed that it is possible to expand the operating range of a supersonic jet engine from a maximum of Mach 3.5 to a maximum of Mach 7. The inclusion of ion slip within the analysis further showed that it is possible to 'drive' this system with maximum magnetic fields of 3 T and with maximum conductivity levels of 11 mhos/m. These operating parameters better the previous findings of 5 T and 10 mhos/m, and reveal that taking into account collisions between ions and neutral particles within a weakly ionized flow provides a more realistic model with added benefits of lower magnetic fields and conductivity levels especially at the higher Mach numbers. (Abstract shortened by UMI.)
Chung, Gi Yun. "An analytical approach to real-time linearization of a gas turbine engine model." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/50702.
Full textDufva, Johannes, and Andreas Lindgren. "Machine Learning Models for Fueling Inaccuracy Detection using Gas Exchange Signals in Heavy-duty Vehicle Engines." Thesis, Uppsala universitet, Avdelningen för systemteknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-447180.
Full textLindwall, Victor. "The application of Micro Perforation theory onto Volvo Cars's Air Induction Systems : Implementation and Manufacturing of Micro Perforated Silencers at Volvo Cars in Gothenburg." Thesis, Linköpings universitet, Maskinkonstruktion, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-145541.
Full textSandlund, Erik. "Modelling the Magnetic Influence of a Jet Aircraft : A study on the magnetic interference of an aircraft configuration and its effect on a magnetometer." Thesis, Linköpings universitet, Teoretisk Fysik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-157743.
Full textFerhatosmanoglu, Nilgun. "Optimal design of experiments for emerging biological and computational applications." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1179177867.
Full textKashinath, Karthik. "Nonlinear thermoacoustic oscillations of a ducted laminar premixed flame." Thesis, University of Cambridge, 2013. https://www.repository.cam.ac.uk/handle/1810/264291.
Full textAlcocer, Bonifaz Joaquin. "Design of High Performance Flanges and its Influence on Manufacturing Costs, Structural Performance and Weight." Thesis, KTH, Maskinkonstruktion (Inst.), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-248024.
Full textSyftet för detta projekt är att undersöka tillverkningskostnaden, med tonvikt på bearbetning av högpresterande flänsar för turbinapplikationer (TRS), samt dess relation till strukturella prestanda och vikt. Traditionella kostnadsmodelleringstekniker kombineras med det ickekonventionella tillverkningskomplexitetsindexet och används som kostnadsindikator. En tvärvetenskaplig studie genomförs med hjälp av ANSYS Workbench i form av dator simulerade experiment för att undersöka flänsavvägningar. En slutsats av studien är att multidisciplinära modeller av kostnad, prestanda och vikt saknade robusthet för att kunna dra djupgående slutsatser om prestandan för en flänsdesign. Tillverkningskomplexitetsindexet visar dock, efter partiell validering med erfarna ingenjörer, lovande resultat och kan vara framgångsrikt ett sätt att uppskatta den slutliga bearbetningskostnaden för flänsar.
Василенко, Олег Вадимович. "Совершенствование рабочего процесса двухтактного двигателя с искровым зажиганием и непосредственным впрыском топлива." Thesis, Украинский государственный университет железнодорожного транспорта, 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/21849.
Full textThesis to obtain scientific degree of Candidate of Engineering sciences on the speciality 05.05.03 – engines and power plants. National Technical University "Kharkiv Polytechnic Institute", Kharkov, 2015. The dissertation is devoted to improving environmental and economic performance two-stroke internal combustion engines with spark ignition by the use of direct fuel injection. Determined that a promising way of internal mixing with direct fuel injection is the organization layered fuel-air charge, providing improved environmental and economic performance. The criterion L, which characterizes the stratification of the fuel-air charge, can qualitatively assess the effect of mixing process on the performance of the engine as a whole. A factor Z, which is deter-mined using indicator efficiency two-stroke engine with external mixture formation, which takes into account only that fuel which is involved in the combustion cylinder engine. The use of direct injection petrol bundle of fuel-air charge modes for loading characteristic at n = 3000 rev/min enabled the reduction in fuel con-sumption of 1.83 times at the effective efficiency rjfmax = 0,31, 7-10 times lower harmful substances (CO, CH) in exhaust gases, the use of gasoline-ethanol blends ensured stable operation of the engine in all load range and a high economic and environmental performance than when using carburetor system power.
Василенко, Олег Вадимович. "Удосконалення робочого процесу двотактного двигуна з іскровим запалюванням і безпосереднім вприскуванням палива." Thesis, НТУ "ХПІ", 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/21826.
Full textThesis to obtain scientific degree of Candidate of Engineering sciences on the speciality 05.05.03 – engines and power plants. National Technical University "Kharkiv Polytechnic Institute", Kharkov, 2015. The dissertation is devoted to improving environmental and economic performance two-stroke internal combustion engines with spark ignition by the use of direct fuel injection. Determined that a promising way of internal mixing with direct fuel injection is the organization layered fuel-air charge, providing improved environmental and economic performance. The criterion L, which characterizes the stratification of the fuel-air charge, can qualitatively assess the effect of mixing process on the performance of the engine as a whole. A factor Z, which is deter-mined using indicator efficiency two-stroke engine with external mixture formation, which takes into account only that fuel which is involved in the combustion cylinder engine. The use of direct injection petrol bundle of fuel-air charge modes for loading characteristic at n = 3000 rev/min enabled the reduction in fuel con-sumption of 1.83 times at the effective efficiency rjfmax = 0,31, 7-10 times lower harmful substances (CO, CH) in exhaust gases, the use of gasoline-ethanol blends ensured stable operation of the engine in all load range and a high economic and environmental performance than when using carburetor system power.
Chastain, John H. "Internal combustion engine cooling strategies theory and test /." Connect to this title online, 2006. http://etd.lib.clemson.edu/documents/1171042757/.
Full textPacer, Michael D. "Mind as Theory Engine| Causation, Explanation and Time." Thesis, University of California, Berkeley, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10194103.
Full textHumans build theories out of the data we observe, and out of those theories arise wonders. The most powerful theories are causal theories, which organise data into actionable structures. Causal theories make explicit claims about the structure of the world: what entities and processes exist in it, which of these relate to one another and in what form those relations consist. We can use causal theories to induce new generalisations about the world (in the form of particular models or other causal theories) and to explain particular occurrences. This allows rapidly disseminating causal information throughout our cognitive communities. Causal theories and the explanations derived from them guide decisions we make, including where and when to look for more data, completing the cycle.
Causal theories play a ubiquitous and potent role in everyday life, in formal pursuit of them in the sciences, and through their applications in medicine, technology and industry. Given this, the rarity of analyses that attempt to characterise causal theories and their uses in general, computational terms is surprising. Only in recent years has there been a substantial refinement of our models of causal induction due to work by computational cognitive scientists — the interdisciplinary tradition out of which which this dissertation originates. And even so, many issues related to causal theories have been left unattended; three features in particular merit much greater attention from a computational perspective: generating and evaluating explanation, the role of simplicity in explanation choice, and continuous-time causal induction. I aim to redress this situation with this dissertation.
In Chapter 0, I introduce the primary paradigms from computational cognitive science – computational level analysis and rational analysis – that govern my research. In Chapter 1, I study formal theories of causal explanation in Bayesian networks by comparing the explanations the generate and evaluate to human judgements about the same systems. No one model of causal explanation captures the pattern of human judgements, though the intuitive hypothesis, that the most probable a posteriori explanation is the best performs worst of the models evaluated. I conclude that the premise of finding model for all of human causal explanation (even in this limited domain) is flawed; the research programme should be refined to consider the features of formal models and how well they capture our explanatory practices as they vary between individuals and circumstances. One feature not expressed in these models explicitly but that has been shown to matter for human explanation is simplicity. Chapter 2 considers the problem of simplicity in human causal explanation choice in a series of four experiments. I study what makes an explanation simple (whether it is the number of causes invoked in or the number of assumptions made by an explanation), how simplicity concerns are traded off against data-fit, which cognitive consequences arise from choosing simpler explanations when the data does not fit, and why people prefer simpler explanations.
In Chapter 3, I change the focus from studying causal explanation to causal induction — in particular, I develop a framework for continuous time causal theories (
CTCTS
). ACTCT
defines a generative probabilistic framework for other generative probabilistic models of causal systems, where the data in those systems expressed in terms of continuous time. Chapter 3 is the most interdisciplinary piece of my dissertation, accordingly it begins by reviewing a number of topics: the history of theories of causal induction within philosophy, statistics and medicine; empirical work on causal induction in cognitive science, focusing on issues related to causal induction with temporal data; conceptual issues surrounding the formal definition of time, data, and causal models; and probabilistic graphical models, causal theories, and stochastic processes. I then introduce the desiderata for theCTCT
framework and how those criteria are met. I then demonstrate the power ofCTCTS
by using them to analyse five sets of experiments (some new and some derived from the literature) on human causal induction with temporal data. Bookending each experiment and the model applied to it is are case from medical history that illustrate a real-world instance of the variety of problem being solved in the section; the opening discussion describes the case and why it fits the problem structure of the model used to analyse the experimental results and the closing discussion illustrates aspects of the case omitted from the initial discussion that complicate the model and fit better with the model introduced in the next section. Then, I discuss ways to incorporate other advances in probabilistic programming, generative theories and stochastic processes into theCTCT
framework, identify potential applications with specific focus on mechanisms and feedback loops, and conclude by analysing the centrality of temporal information in the study of the mind more generally.Excepting the supporting appendices and bibliography that end the dissertation, I conclude in two parts. First, in Chapter 4, I analyse issues at the intersection of three of the main themes of my work: namely, (causal) explanation, (causal) induction and time. This proceeds by examining these topics first in pairs and then as a whole. Following that, is Chapter 5, an epilogue that clarifies the interpretations and intended meanings of the “Mind as Theory Engine” metaphor as it applies to human cognition.
Fahlström, Kamilla, and Caroline Jensen. "Search Engine Marketing in SMEs : The motivations behind using search engine marketing." Thesis, Högskolan i Gävle, Avdelningen för ekonomi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-21116.
Full textLee, Szeyin. "Designing A Better Internet Search Engine Based On Information Foraging Theory." Scholarship @ Claremont, 2014. http://scholarship.claremont.edu/scripps_theses/456.
Full textFrança, Alberto César Cavalcanti. "A theory of motivation and satisfaction of software engineers." Universidade Federal de Pernambuco, 2014. https://repositorio.ufpe.br/handle/123456789/12006.
Full textMade available in DSpace on 2015-03-11T18:03:12Z (GMT). No. of bitstreams: 2 TESE Alberto César Cavalcanti França.pdf: 3788012 bytes, checksum: a84eaeee00c35211070eb3130be655f2 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014
CNPq
Pesquisas na área de engenharia de software indicam que o gerenciamento apropriado da motivação e satisfação no trabalho são importantes para o sucesso de projetos de software. No entanto, rara tem sido a preocupação com o uso apropriado de teorias bem estabelecidas para fundamentar tais pesquisas, o que deixa em aberto várias questões práticas sobre motivação e satisfação no contexto do desenvolvimento de softwares. Evidências apontam que o conhecimento sobre a satisfação no trabalho, neste contexto, está relativamente consolidado, mas ainda há muito a se aprender sobre as características específicas que antecedem a motivação dos engenheiros de software. Objetivo: O ponto de partida compreende teorias de Satisfação no Trabalho e das Características do Trabalho, que defendem que motivação e satisfação no trabalho referem-se a fenômenos distintos. Esta tese objetiva então clarificar quais são as características do trabalho que influenciam a motivação de engenheiros de software. Método: Este quadro teórico inicial foi evoluído baseado nos aprendizados resultantes de um estudo de múltiplos casos, executado em quatro organisações de software em Recife-PE. Durante 11 meses, dados foram coletados nestas organizações, através de entrevistas semi-estruturadas, estudos diários, e análise documental. Resultados: Os resultados apontam que (1) engenheiros de software não estão conscientes sobre a distinção entre os dois fenômenos (motivação e satisfação no trabalho), (2) motivação é caracterizada pelo engajamento e concentração, (3) motivação é afetada por diversas características da tarefa do engenheiro de software, mas também pela percepção sobre o engajamento dos colegas de trabalho e pela auto-confiança técnica do trabalhador, (4) motivação contribui para a satisfação no trabalho, moderada pela informação provida sobre a performance individual dos engenheiros, e (5) o papel mediador das características pessoais do indivíduo é universal. Conclusão: Com base nestes dados, é proposta uma nova teoria de motivação e satisfação de engenheiros de software (TMS-SE) que une elementos de teorias bem estabelecidas, expandindo-as e adaptando-as à realidade específica de engenheiros de software. A TMS-SE representa um avanço em nossa compreensão do comportamento de engenheiros de software, bem como levanta novas questões e propõe um terreno organizado para futuras investigações nesta área.
Context: Previous research work in the Software Engineering field indicates that a proper management of motivation and job satisfaction at work can help software organisations to achieve higher levels of project success. However, the little concern with the adequate use of well-established theories to underpin these researches left unclear several theoretical and practical aspects of work motivation and job satisfaction in the software context. In fact, there is enough knowledge about job satisfaction factors, but not on specific characteristics of the work that motivate software engineers. Objective: The starting point of this research comprises the Job Satisfaction and the Job Characteristics theories, which argue that job satisfaction and work motivation are distinguishable phenomena, with distinct antecedents and different outcomes. Then, this thesis aims to clarify specifically what factors drive motivation of software engineers at work. Method: The initial theoretical framework was evaluated and enhanced based on findings from a multiple case study that comprised four different software organisations from Recife, Brazil. For 11 months, rich data was collected independently in those organisations, by means of semi-structured interviews, diary studies, and document analyses, and the synthesis followed a standard procedure of cross-case analysis. Results: The results point out that (1) practitioners are not aware of the distinction between work motivation and job satisfaction, (2) work motivation is characterized by engagement and concentration, (3) work motivation is affected by software engineering tasks characteristics and by the co-workers’ engagement, workload and technical confidence, (4) work motivation improves satisfaction moderated by feedback information provided about the individual’s performance, and (5) the mediating role of individual characteristics is pervasive. Conclusion: Based on these data, it was possible to draw up a new theory of motivation and satisfaction of software engineers (TMS-SE), which unites elements from well established theories, expands and adapts them to the software engineering specific context. The TMS-SE represents an advance on our understanding of software engineers’ behaviour as well as it raises new questions and provides an organised ground for future investigations in this area.
Gomma, Hesham Wagih. "Robust and predictive control of 1.5 MW gas turbine engine." Thesis, University of Exeter, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302533.
Full textNeuenstadt, Christian [Verfasser]. "An engine for ontology-based stream processing theory and implementation / Christian Neuenstadt." Lübeck : Zentrale Hochschulbibliothek Lübeck, 2018. http://d-nb.info/1161750231/34.
Full textHassan, Nofal Adrees. "Adaptive-stochastic identification of an idling automotive I.C. engine." Thesis, University of Liverpool, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316554.
Full textWalls, Anna H. "Getting through difficult projects : a grounded theory of engineers' competence frontiers." Thesis, University of Canterbury. Civil Engineering, 2004. http://hdl.handle.net/10092/7919.
Full textHmad, Ouadie. "Evaluation et optimisation des performances de fonctions pour la surveillance de turboréacteurs." Thesis, Troyes, 2013. http://www.theses.fr/2013TROY0029.
Full textThis thesis deals with monitoring systems of turbojet engines. The development of such systems requires a performance evaluation and optimization phase prior to their introduction in operation. The work has been focused on this phase, and more specifically on the performance of the detection and the prognostic functions of two systems. Performances metrics related to each of these functions as well as their estimate have been defined. The monitored systems are, on the one hand, the start sequence for the detection function and on the other hand, the oil consumption for the prognostic function. The used data come from flights in operation without degradation, simulations of degradation were necessary for the performance assessment. Optimization of detection performance was obtained by tuning a threshold on the decision statistics taking into account the airlines requirements in terms of good detection rate and false alarm rate. Two approaches have been considered and their performances have been compared for their best configurations. Prognostic performances of over oil consumption, simulated using Gamma processes, have been assessed on the basis of the relevance of maintenance decision induced by the prognostic. This thesis has allowed quantifying and improving the performance of the two considered functions to meet the airlines requirements. Other possible improvements are proposed as prospects to conclude this thesis
Ding, Zhengtao. "Dynamic model uncertainty and change detection with application to a diesel engine." Thesis, University of Manchester, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292779.
Full textDelivani, Eleni. "Tourism as an alternative engine of economic growth : the case of Greece : a Kaldorian approach." Thesis, University of York, 1991. http://etheses.whiterose.ac.uk/4261/.
Full textAquino, Phillip A. "PREDICTION OF PREMIXED INTERNAL COMBUSTION ENGINE MASS FRACTON BURNED PROFILES USING A PHYSICAL FORM OF THE WIEBE FUNCTION AND THE THEORY OF TURBULENT FLAME BRUSH THICKNESS DYNAMICS." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1606987013001077.
Full textCollier, D. A. "A comparative history of the development of the leading stationary steam engine manufacturers of Lancashire, c. 1800-1939." Thesis, University of Manchester, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.370407.
Full textFrank, Mario. "Axiom relevance decision engine : technical report." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2014/7212/.
Full textDieser technische Report beschreibt die Konzeption, Implementierung und Evaluation eines Verfahrens zur Auswahl von logischen Formeln bezüglich derer Relevanz für den Beweis einer logischen Formel. Das Verfahren wird ausschließlich für die Prädikatenlogik erster Ordnung angewandt, wenngleich es auch für höherstufige Prädikatenlogiken geeignet ist. Das Verfahren nutzt eine unifikationsbasierte Breitensuche im Graphen wobei jeder Knoten im Graphen ein Prädikat und jede existierende Kante eine Unifizierbarkeitsrelation ist. Ziel des Verfahrens ist die Reduktion einer gegebenen Menge von Formeln auf eine für aktuelle Theorembeweiser handhabbare Größe. Daher ist das Verfahren als Präprozess-Schritt für das automatische Theorembeweisen geeignet. Zur Beschleunigung der Suche wird neben der Standard-Unifikation eine abgeschwächte Unifikation verwendet. Das System wurde während der Weltmeisterschaft der Theorembeweiser im Jahre 2014 (CASC J6) in Manchester zusammen mit dem Theorembeweiser leanCoP eingereicht und konnte leanCoP dabei unterstützen, Probleme zu lösen, die leanCoP alleine nicht handhaben kann. Die Tests mit leanCoP und dem Theorembeweiser E im Nachgang zu der Weltmeisterschaft zeigen, dass das Verfahren unabhängig von dem verwendeten Kalkül ist und bei beiden Theorembeweisern positive Auswirkungen auf die Beweisbarkeit von Problemen mit großen Formelmengen hat.
Briceño, Simón Ignacio. "A game-based decision support methodology for competitive systems design." Diss., Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26671.
Full textScopa, Stefano. "Non-equilibrium dynamics of driven low-dimensional quantum systems." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0084/document.
Full textThis thesis analyzes some aspects regarding the dynamics of one-dimensional quantum systems which are driven out-of-equilibrium by the presence of time- dependent external fields. Among the possible kinds of driven systems, our focus is dedicated to the slow variation of a Hamiltonian’s parameter across a quantum phase transition and to the case of a time-periodic forcing. To begin with, we prepare the background and the tools needed in the following. This includes a brief introduction to quantum critical models (in particular to the xy spin chain and to the Bose-Hubbard model), the Kibble-Zurek mechanism and Floquet theory. Next, we consider the non-equilibrium dynamics of Tonks-Girardeau gases in time-dependent harmonic trap potentials. The analysis is made with different techniques: perturbative expansions, numerical exact diagonalization and exact methods based on the theory of Ermakov-Lewis dynamical invariants. The last part of the thesis deals instead with the non-equilibrium dynamics of markovian open quantum systems subject to time-periodic perturbations of the system parameters and of the environment. This has led to an exact formulation of Floquet theory for a Lindblad dynamics. Moreover, within the Lindblad-Floquet framework it is possible to have an exact characterization ofthe finite-time operation of quantum heat-engines
Farrall, Simon. "A study in the use of fuzzy logic in the management of an automotive heat engine/electric hybrid vehicle powertrain." Thesis, University of Warwick, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.387380.
Full textBuisman, Jacco. "Game Theory and Bidding for Software Projects An Evaluation of the Bidding Behaviour of Software Engineers." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5850.
Full textJacco Buisman Bonairestraat 32 9715 SE Groningen The Netherlands
Xue, Jian. "Improvement of decoding engine & phonetic decision tree in acoustic modeling for online large vocabulary conversational speech recognition." Diss., Columbia, Mo. : University of Missouri-Columbia, 2007. http://hdl.handle.net/10355/4821.
Full textThe entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file. Title from title screen of research.pdf file (viewed on March 4, 2008) Vita. Includes bibliographical references.
Malik, Pravir. "Development and evaluation of a framework for an engine of innovation in complex adaptive systems." Thesis, University of Pretoria, 2017. http://hdl.handle.net/2263/62779.
Full textThesis (PhD)--University of Pretoria, 2017.
Graduate School of Technology Management (GSTM)
PhD
Unrestricted
Vance, Jonathan Blake. "Neural network control of nonstrict feedback and nonaffine nonlinear discrete-time systems with application to engine control." Diss., Rolla, Mo. : University of Missouri-Rolla, 2007. http://scholarsmine.umr.edu/thesis/pdf/Vance_09007dcc8043fb11.pdf.
Full textVita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed March 26, 2008) Includes bibliographical references.
Buse, Kathleen Relihan. "Women Persisting in the Engineering Profession: A Paradoxical Explanation Adapting Intentional Change Theory." Case Western Reserve University School of Graduate Studies / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=case1333586402.
Full textBusch, Stephen [Verfasser], and U. [Akademischer Betreuer] Spicher. "The Theory and Application of Optical Diagnostic Techniques in the Combustion Chamber of a Diesel Engine / Stephen Busch. Betreuer: U. Spicher." Karlsruhe : KIT-Bibliothek, 2013. http://d-nb.info/1035450984/34.
Full textBednar, Kathrin, Sarah Spiekermann, and Marc Langheinrich. "Engineering Privacy by Design: Are engineers ready to live up to the challenge?" Taylor & Francis Group, 2019. http://epub.wu.ac.at/6695/1/01972243.2019.pdf.
Full textShankar, Praveen. "Self-organizing radial basis function networks for adaptive flight control and aircraft engine state estimation." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1186767939.
Full textBäcke, Louise, Ellinor Hansen, and Linnea Johansson. "Mobile Search : An empirical investigation of the next big thing." Thesis, Linnéuniversitetet, Ekonomihögskolan, ELNU, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-19290.
Full textKea, Howard Eric. "How Are NASA Engineers Motivated? An Analysis of Factors that Influence NASA Goddard Engineers’ Level of Motivation." [Yellow Springs, Ohio] : Antioch University, 2008. http://www.ohiolink.edu/etd/view.cgi?acc_num=antioch1232149548.
Full textTitle from PDF t.p. (viewed March 19, 2009). Advisor: Jon Wergin, Ph.D. "A dissertation submitted to the Ph.D. in Leadership and Change program of Antioch University in partial fulfillment of the requirements for the degree of Doctor of Philosophy July 2008."--from the title page. Includes bibliographical references (p. 146-151).
Blaha, Josef. "Stirlingův motor." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2008. http://www.nusl.cz/ntk/nusl-228037.
Full textZhang, Daili. "Multi-agent based control of large-scale complex systems employing distributed dynamic inference engine." Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33963.
Full textCruz, Vinicius Guimarães da. "Desenvolvimento experimental de um motor stirling tipo gama." Universidade Federal da Paraíba, 2012. http://tede.biblioteca.ufpb.br:8080/handle/tede/5341.
Full textCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
The current paper develops an experimental Stirling engine Gama type. Different settings of this type of engine are presented (alpha, beta and gamma), along with the Stirling Cycle Definition and the mathematical modeling for each setting. It´s been Proceed a mathematical analysis based on the Stirling Theory, which is the method based upon the isothermical compression and expansion of an ideal gas, put to analysis by a computer software, determining the dependency between the engine s construction and functioning parameters. Bibliography used takes over the main Stirling engine settings and various working conditions, fed by a numerous types of fuels. The experimental part of the paper is assembling of a Stirling engine gamma type containing no regenerator, therefore, having the air as its working fluid, using electrical resistances as heat source, also a water jet at ambiance temperature to cool down the compression and heat exchanger. Engine tests were performed at atmospheric pressure, temperatures from 100 to 600 °C, 100 to 400 rpm rotations. The results are presented in graphics and are questioned.
O presente trabalho consiste no desenvolvimento experimental de um motor Stirling tipo gama. São apresentadas inicialmente as diferentes configurações deste tipo de motor (alfa, gama e beta), a definição do ciclo de Stirling e a modelagem matemática para cada configuração. Uma análise matemática é feita através da teoria de Schmidt, que é um método baseado na compressão e expansão isotérmica de um gás ideal, implementada em programa computacional permitindo determinar a dependência entre os parâmetros construtivos e de funcionamento do motor. A revisão bibliográfica contempla as principais configurações de motores Stirling e várias condições de funcionamento, alimentados por diversos tipos de combustíveis. A parte experimental do trabalho é a montagem de um protótipo de motor Stirling tipo gama sem regenerador tendo o ar como fluido de trabalho, utilizando resistências elétricas como fonte de calor e um fluxo de água a temperatura ambiente para o resfriamento do trocador de calor de compressão. Os testes do motor serão realizados a pressão atmosférica, para temperaturas de 100 a 600 °C e rotações de 100 a 400 rpm, os resultados são apresentados em gráficos e discutidos.
Machado, Luis Paulo Silveira. "Propagação do momento linear e energia cinética em cadeias granulares afiladas." Universidade Federal da Paraíba, 2011. http://tede.biblioteca.ufpb.br:8080/handle/tede/5717.
Full textCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
Recently, tapered granular chains have been studied for the development of impact-absorbing devices (shock waves). The characteristic of this system to mitigate shock waves (pulses of linear momentum), makes this material an excellent candidate for such absorbers. Therefore, many studies have been conducted in this direction, but most are numeric character, and some analytical. However, the analytical approximations presented do not show good fits with numerical solutions. In this work we study analytically the propagation of linear momentum and kinetic energy in one-dimensional tapered chains of spherical grains that interact according to the Hertz potential. We apply the binary approximation, based on the supposition that the energy transferred along the chain occurs through successive collisions between two particles. Four settings taper were studied: forward linear, forward exponential, backward linear and backward exponential. With the Binary Theory, we correctly anticipate the trends of increase and decrease the propagation of linear momentum and kinetic energy. However, to capture the correct values of the amplitudes of the pulses of these quantities we developed a numericalanalytic correction to the velocities of particles. Compared the results with numerical solutions of the equations of motion, where we use the Runge-Kutta fourth order. The results show: good agreement between the analytical and numerical theories; forward exponentially tapered chains are the most suitable in the design of absorbers (present exponential decay of linear momentum); a weaker scenario for the propagation of kinetic energy (due to quadratic dependence with the velocity), but the linear momentum is the quantity relevant in the context of impacts.Furthermore, we found good agreement with experimental results presented by F. Melo et al (2006). Thus, we present analytical expressions that capture correctly the propagation of linear momentum and kinetic energy in tapered granular chains. These systems actually demonstrate be excellent for absorbing shock waves, attenuating pulses of linear momentum and saturating kinetic energy. An extension of this work is to study tapered decorated chains and with precompression, allowing the absorption in chains composed of a number smaller grains (short chains).
Recentemente, cadeias granulares afiladas tem sido objeto de estudo para o desenvolvimento de dispositivos absorvedores de impacto (ondas de choque). A caracterıstica deste sistema em atenuar ondas de choque (pulsos de momento linear), torna este material um excelente candidato para tais absorvedores. Assim, vários estudos neste sentido foram realizados, por´em a maioria são de caráter numérico e, alguns, anal´ıticos. Todavia, as aproximaçoes analıticas apresentadas não demonstram bons ajustes com soluções numericas. Neste trabalho estudamos analiticamente a propagação do momento linear e energia cinetica em cadeias afiladas unidimensionais de graos esfericos que interagem segundo o potencial de Hertz. Aplicamos a aproximaçao binaria, baseada na suposiçao que a energia transferida ao longo da cadeia ocorre atraves de colis oes sucessivas entre duas part´ıculas. Estudamos quatro configuraçoes de afilamento: linear para frente, exponencial para frente, linear para tras e exponencial para tras. Com a Teoria Binaria, prevemos corretamente as tendencias de aumento e diminuiçao das propagaçoes do momento linear e energia cinetica. Contudo, para capturarmos os valores corretos das amplitudes dos pulsos dessas grandezas desenvolvemos uma correçao numerico-analıtica para as velocidades das partıculas. Confrontamos os resultados com soluçoes numericas das equaçoes de movimento, onde utilizamos o metodo de Runge-Kutta de quarta ordem. Os resultados demonstram: bom acordo entre as teorias analıtica e numerica; as cadeias afiladas exponencialmente para frente são as mais indicadas nos projetos de absorvedores (apresentam decaimento exponencial do momento linear); um cen´ario mais fraco para a propagação da energia cinetica (devido a dependencia quadratica com a velocidade), porem o momento linear e a grandeza relevante no contexto de impactos. Alem disso, obtivemos bom acordo com resultados experimentais apresentados por F. Melo e colaboradores (2006). Dessa forma, apresentamos expressoes analıticas que capturam corretamente as propagaçoes de momento linear e energia cinetica em cadeias granulares afiladas. Estes sistemas, realmente demonstram serem excelentes para absorver ondas de choque, atenuando pulsos de momento linear e saturando pulsos de energia cin´etica.Uma extensao deste trabalho sera estudar cadeias decoradas afiladas com pre-compressao, que permitem a absorçao de ondas de choque com numero menor de graos nas cadeias (cadeias curtas).
Kovář, Michal. "Indikace tlaku ve válcích modelu Stirlingova motoru." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2009. http://www.nusl.cz/ntk/nusl-228846.
Full textJakel, Roland. "Analysis of Hyperelastic Materials with Mechanica - Theory and Application Examples." Universitätsbibliothek Chemnitz, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-201000705.
Full textTeil 1: Theoretische Hintergrundinformation - Das Hookesche Gesetz für linear-elastische Werkstoffe - Die Dehnungsenergiedichte für linear-elastische Materialien - Hyperelastisches Material - Materialgesetze für Hyperelastizität - Auswählen des Materialgesetzes und Testdurchführung - Implementierung der hyperelastischen Materialgesetze in Mechanica - Definieren der hyperelastischen Materialparameter in Mechanica - Testaufbauten und Prüfkörper der unterstützten Materialtests - Der einachsige Druckversuch - Spannungs- und Dehnungsdefinition in der Mechanica-Analyse mit großen Verformungen Teil 2: Anwendungsbeispiele - Ein einachsig beanspruchter Prüfkörper - Ein volumetrischer Drucktest - Ein planarer Test - Einfluss des Materialgesetzes Anhang: - Kurzvorstellung der PTC Simulationsdienstleistungen - Wörterbuch technisches Englisch-Deutsch