To see the other types of publications on this topic, follow the link: First order dynamic.

Dissertations / Theses on the topic 'First order dynamic'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 38 dissertations / theses for your research on the topic 'First order dynamic.'

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

Duke, Elizabeth R. "Solving higher order dynamic equations on time scales as first order systems." Huntington, WV : [Marshall University Libraries], 2006. http://www.marshall.edu/etd/descript.asp?ref=653.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Park, Nam Seog. "A connectionist representation of first-order formulae with dynamic variable binding." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/30624.

Full text
Abstract:
The relationship between symbolicism and connectionism has been one of the major issues in recent Artificial Intelligence research. An increasing number of researchers from each side have tried to adopt desirable characteristics of the other. These efforts have produced a number of different strategies for interfacing connectionist and symbolic AI. One of them is <I>connectionist and symbol processing</I> which attempts to replicate symbol processing functionalaties using connectionist components. In this direction, this thesis develops a connectionist inference architecture which performs sta
APA, Harvard, Vancouver, ISO, and other styles
3

Kutahyalioglu, Aysen. "Oscillation Of Second Order Dynamic Equations On Time Scales." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605380/index.pdf.

Full text
Abstract:
During the last decade, the use of time scales as a means of unifying and extending results about various types of dynamic equations has proven to be both prolific and fruitful. Many classical results from the theories of differential and difference equations have time scale analogues. In this thesis we derive new oscillation criteria for second order dynamic equations on time scales.
APA, Harvard, Vancouver, ISO, and other styles
4

Sforni, Lorenzo. "A First-Order Closed-loop Methodology for Nonlinear Optimal Control." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/21429/.

Full text
Abstract:
This thesis is focused on state-of-art numerical optimization methods for nonlinear (discrete-time) optimal control. These challenging problems arise when dealing with complex tasks for autonomous systems (e.g. vehicles or robots) which require the generation of a trajectory that satisfies the system dynamics and, possibly, input and state constraints due to, e.g, actuator limits or safety region of operation. A general formulation is proposed that allows the implementation of different descent optimization algorithms on optimal control problems exploiting the beneficial effects of state f
APA, Harvard, Vancouver, ISO, and other styles
5

Zaidi, Atiya-tul-Hussain Mathematics &amp Statistics Faculty of Science UNSW. "Existence and uniqueness of solutions to non-linear first order dynamic equations on time scales." Awarded by:University of New South Wales. Mathematics & Statistics, 2009. http://handle.unsw.edu.au/1959.4/44908.

Full text
Abstract:
The theory of dynamic equations on time scales provides an important bridge between the fields of differential and difference equations. It is particularly useful in describing phenomena that possess a hybrid continuous-discrete behaviour in their growth, like many temperate--2one insect populations and crops. A dynamic equation on a time scale is a generalised. 'two-in-one' model, it serves as a differential equation for purely continuous domains and as a difference equation for purely discrete ones. The field of "dynamic equations on time scales" is about 20 years old. As such, much of the
APA, Harvard, Vancouver, ISO, and other styles
6

Giorgidze, George. "First-class models : on a noncausal language for higher-order and structurally dynamic modelling and simulation." Thesis, University of Nottingham, 2012. http://eprints.nottingham.ac.uk/12554/.

Full text
Abstract:
The field of physical modelling and simulation plays a vital role in advancing numerous scientific and engineering disciplines. To cope with the increasing size and complexity of physical models, a number of modelling and simulation languages have been developed. These languages can be divided into two broad categories: causal and noncausal. Causal languages express a system model in terms of directed equations. In contrast, a noncausal model is formulated in terms of undirected equations. The fact that the causality can be left implicit makes noncausal languages more declarative and noncausal
APA, Harvard, Vancouver, ISO, and other styles
7

Heidarian, Alireza. "Study of the Static and Dynamic Magnetization across the First Order Phase Transition in FeRh Thin Films." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-198693.

Full text
Abstract:
The equiatomic FeRh alloy undergoes a first-order phase transition from an antiferromagnetic (AFM) to a ferromagnetic (FM) state at about 370 K with a small thermal hysteresis of about 10 K around the phase transition. The transition is accompanied by a unit cell volume expansion about 1% in the c lattice parameter. During the transition the new phase nucleates in the matrix of the original phase by reaching the critical temperature followed by a growth in size upon increasing temperature further. Therefore, to understand the transition process with more details, it is desirable to investigate
APA, Harvard, Vancouver, ISO, and other styles
8

Bertone, Armando. "Static and dynamic motion aftereffects of first- and second-order motion in central and peripheral fields of vision." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape15/PQDD_0003/MQ39441.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Baradaran, Amir R. "Development and Implementation of a Preconditioner for a Five-Moment One-Dimensional Moment Closure." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/32225.

Full text
Abstract:
This study is concerned with the development and implementation of a preconditioner for a set of hyperbolic partial differential equations resulting from a new 5-moment closure for the prediction of gas flows both in and out of local equilibrium. This new 5-moment closure offers a robust and efficient system of first-order hyperbolic partial differential equations that has proven to provide an accurate treatment of one-dimensional gases, both in and for significant departures from local thermodynamic equilibrium. However, numerical computations using this model have proven to be difficult as a
APA, Harvard, Vancouver, ISO, and other styles
10

Heidarian, Alireza [Verfasser], Jürgen [Akademischer Betreuer] Faßbender, and Thomas [Akademischer Betreuer] Thomson. "Study of the Static and Dynamic Magnetization across the First Order Phase Transition in FeRh Thin Films / Alireza Heidarian. Betreuer: Jürgen Faßbender. Gutachter: Jürgen Faßbender ; Thomas Thomson." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://d-nb.info/1088185940/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Fortin, Marie. "Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG046.

Full text
Abstract:
Cette thèse porte sur l’expressivité de la logique du premier ordre et d’autres formalismes sur différentes classes de structures ordonnées, parmi lesquelles les MSC (Message Sequence Charts), un modèle standard pour les exécutions de systèmes concurrents avec échange de messages. Cette étude est motivée par deux questions classiques : celle de l’équivalence, pour certaines classes de structures, entre la logique du premier ordre et son fragment avec k variables, et celle de la comparaison entre automates et logique, dans l’esprit du théorème de Büchi-Elgot-Trakhtenbrot. Notre approche repose
APA, Harvard, Vancouver, ISO, and other styles
12

Aleksandar, Kupusinac. "Analiza osobina dinamičkih postuslova u Horovim tripletima." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2010. http://dx.doi.org/10.2298/NS20101213KUPUSINAC.

Full text
Abstract:
Doktorska disertacija prezentuje nov i opštiji način analiziranja&nbsp;semantike strukturiranih i objektno orijentisanih programa i to&nbsp;isključivo u okvirima predikatske logike prvog reda. Doktorska&nbsp;disertacija razmatra sledeće teme:1.) S-programski račun,2.) Definicija i osobine dinamičkih postuslova u S-računu,3.) Konceptualne definicije objekta, klase i invarijante,4.) Analiza invarijanata u klasi (SP-analiza i DP-analiza).<br>Doctoral thesis presents a new and more general method for analizing of&nbsp;structured and object-oriented program semantics, based on the first-order&nbsp;
APA, Harvard, Vancouver, ISO, and other styles
13

Bonnefoy, Antoine. "Elimination dynamique : accélération des algorithmes d'optimisation convexe pour les régressions parcimonieuses." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM4011/document.

Full text
Abstract:
Les algorithmes convexes de résolution pour les régressions linéaires parcimonieuses possèdent de bonnes performances pratiques et théoriques. Cependant, ils souffrent tous des dimensions du problème qui dictent la complexité de chacune de leur itération. Nous proposons une approche pour réduire ce coût calculatoire au niveau de l'itération. Des stratégies récentes s'appuyant sur des tests d'élimination de variables ont été proposées pour accélérer la résolution des problèmes de régressions parcimonieuse pénalisées tels que le LASSO. Ces approches reposent sur l'idée qu'il est profitable de dé
APA, Harvard, Vancouver, ISO, and other styles
14

Zhang, Jingzhao S. M. Massachusetts Institute of Technology. "Dynamical systems view of acceleration in first order optimization." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122886.

Full text
Abstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2019<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 85-87).<br>Gradient based optimization algorithms are among the most fundamental algorithms in optimization and machine learning, yet they suffer from slow convergence. Consequently, accelerating gradient based methods have become an important recent topic of study. In this thesis, we focus on explaining and understanding the acceleration results. In particular, we aim to provide insights into
APA, Harvard, Vancouver, ISO, and other styles
15

Pressacco, Federico [Verfasser], Christian [Akademischer Betreuer] Back, Jaroslav [Akademischer Betreuer] Fabian, Franz [Akademischer Betreuer] Giessibl, and Dominique [Akademischer Betreuer] Bougeard. "Magnetization dynamics across the first order phase transition in FeRh thin films / Federico Pressacco. Betreuer: Christian Back ; Jaroslav Fabian ; Franz Giessibl ; Dominique Bougeard." Regensburg : Universitätsbibliothek Regensburg, 2013. http://d-nb.info/1051740592/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Keppeler, Jens. "Answering Conjunctive Queries and FO+MOD Queries under Updates." Doctoral thesis, Humboldt-Universität zu Berlin, 2020. http://dx.doi.org/10.18452/21483.

Full text
Abstract:
In dieser Arbeit wird das dynamische Auswertungsproblem über dynamische Datenbanken betrachtet, bei denen Tupel hinzugefügt oder gelöscht werden können. Die Aufgabe besteht darin einen dynamischen Algorithmus zu konstruieren, welcher unmittelbar nachdem die Datenbank aktualisiert wurde, die Datenstruktur, die das Resultat repräsentiert, aktualisiert. Die Datenstruktur soll in konstanter Zeit aktualisiert werden und das Folgende unterstützen: * Teste in konstanter Zeit ob ein Tupel zur Ausgabemenge gehört, * gebe die Anzahl der Tupel in der Ausgabemenge in konstanter Zeit aus, * zäh
APA, Harvard, Vancouver, ISO, and other styles
17

Davies, Guy. "Mapping and integration of schema representations of component specefications." Doctoral thesis, KTH, Data- och systemvetenskap, DSV, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-136.

Full text
Abstract:
Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. It is therefore of interest to transform process based specifications into conceptual schemata. Process oriented languages have an additional drawback in that reliable inputs to the integration of diverse specifications can result in unreliable outputs. This prob
APA, Harvard, Vancouver, ISO, and other styles
18

Michelon, Mateus Fontana. "Transições de fase em ligas substitucionais e líquidos polimórficos através de simulações atomísticas." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/277258.

Full text
Abstract:
Orientador: Alex Antonelli<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin<br>Made available in DSpace on 2018-08-14T11:09:53Z (GMT). No. of bitstreams: 1 Michelon_MateusFontana_D.pdf: 2538667 bytes, checksum: 7cf68d701030ed6e318c7312b4f25a03 (MD5) Previous issue date: 2009<br>Resumo: Um dos objetivos da simulação atomística na ciência dos materiais é calcular as propriedades de um material virtual e propor rotas para sua fabricação em laboratório. Uma das principais propriedades que o material deve apresentar antes de ser sintetizado é a estabilida
APA, Harvard, Vancouver, ISO, and other styles
19

Shi, Dan, and 史丹. "Making the unthinkable thinkable via first-order languaging dynamics from the perspective of ecosocial semiotic theory : a distributed language view of the pedagogic recontextualization of literary texts in L2 tertiary settings." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2014. http://hdl.handle.net/10722/206734.

Full text
Abstract:
This study investigates what classroom participants do with literary texts and how literary texts are pedagogically recontextualized through classroom activities in L2 tertiary literature classrooms. Premised upon the pedagogic processes of decontextualization and recontextualization that take place in the meaning-making practices of the literature classroom, the current study examines the process of literary text recontextualization via the multimodal partnership of vocalization and gesticulation. Through this process, esoteric literary meanings requiring specialist knowledge are transformed
APA, Harvard, Vancouver, ISO, and other styles
20

Belmouri, Nour el islam. "3D modeling of elastic anisotropy and frustration effects, and optical microscopy investigation of thermo- and photo-induced first-order phase transitions in spin crossover molecular solids." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPAST174.

Full text
Abstract:
Ce manuscrit de thèse présente une étude hybride, théorique et expérimentale, des matériaux moléculaires à transition de spin (TS). Dans la partie théorique, des simulations 3D basées sur un modèle électro-élastique, résolu par la méthode de Monte Carlo Metropolis et une approche analytique, apportent des éclairages sur les propriétés spatio-temporelles des monocristaux TS. Ce modèle a été étendu pour tenir compte de l'anisotropie élastique et de la frustration, des phénomènes observés dans plusieurs matériaux TS. L'anisotropie a conduit à des processus de relaxation multi-étapes à basse tempé
APA, Harvard, Vancouver, ISO, and other styles
21

Mengesha, Abi Taddesse. "Characterizing phosphate desorption kinetics from soil : an approach to predicting plant available phosphorus." Thesis, University of Pretoria, 2008. http://hdl.handle.net/2263/24346.

Full text
Abstract:
Many agricultural fields that have received long-term applications of P often contain levels of P exceeding those required for optimal crop production. Knowledge of the effect of the P remaining in the soil (residual effect) is of great importance for fertilization management. In order to characterize P forms in soils, a wide variety of methods have been proposed. The use of dialysis membrane tubes filled with hydrous ferric oxide (DMT-HFO) has recently been reported as an effective way to characterize P desorption over a long-term in laboratoty studies. However, there is little information on
APA, Harvard, Vancouver, ISO, and other styles
22

Shu, Yupeng. "Numerical Solutions of Generalized Burgers' Equations for Some Incompressible Non-Newtonian Fluids." ScholarWorks@UNO, 2015. http://scholarworks.uno.edu/td/2051.

Full text
Abstract:
The author presents some generalized Burgers' equations for incompressible and isothermal flow of viscous non-Newtonian fluids based on the Cross model, the Carreau model, and the Power-Law model and some simple assumptions on the flows. The author numerically solves the traveling wave equations for the Cross model, the Carreau model, the Power-Law model by using industrial data. The author proves existence and uniqueness of solutions to the traveling wave equations of each of the three models. The author also provides numerical estimates of the shock thickness as well as maximum strain $\vare
APA, Harvard, Vancouver, ISO, and other styles
23

Le, Manh Hung. "Études mathématiques et numériques de la complémentarité aux valeurs propres et des problèmes d'accélération dans l'optimisation du premier ordre." Electronic Thesis or Diss., Limoges, 2023. http://www.theses.fr/2023LIMO0104.

Full text
Abstract:
Dans cette thèse, j’explore deux sujets clés. Premièrement, je m’intéresse à l’étude mathématique et numérique du problème de complémentarité des valeurs propres de Pareto et de sa contrepartie inverse. Notre approche utilise des méthodes de points intérieurs, complétées par une technique de lissage non paramétrique. L’efficacité des méthodologies proposées est soulignée par un ensemble d’expériences numériques. En mettant l’accent sur l’optimisation continue, nous adoptons une perspective de systèmes dynamiques. Plus précisément, nous étudions divers algorithmes inertiels à gradient proximal,
APA, Harvard, Vancouver, ISO, and other styles
24

Tongning, Robert-christopher. "Ralentir le déphasage des états de superposition atomiques dans un cristal de Tm3+ : YAG." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01011160.

Full text
Abstract:
Ce travail se place dans le contexte des recherches sur les mémoires quantiques pour la lumière. L'information quantique est stockée dans un état de superposition atomique, dont la durée de vie détermine le temps maximum de stockage.On s'intéresse particulièrement aux matériaux capables de capturer la lumière par excitation résonnante d'une raie d'absorption, puis de conserver l'information quantique dans un état de superposition du fondamental électronique.Dans Tm3+:YAG, l'information est enregistrée dans un état de spin nucléaire. Cependant le champ magnétique qui lève la dégénérescence nucl
APA, Harvard, Vancouver, ISO, and other styles
25

Liang, Yi Chang, and 梁益昌. "PBVPs of first-order impulsive dynamic equations on time scales." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/79901829100172007931.

Full text
Abstract:
碩士<br>國立政治大學<br>應用數學研究所<br>97<br>In this thesis, we are concernd with nonlinear first-order periodic boundary value problems of impulsive dynamic equations on time scales. By using Schaefer’s theorem and Banach’s fixed point theorem we acquire some new existence results.
APA, Harvard, Vancouver, ISO, and other styles
26

陳思穎. "Neural Network-Based Evolution Strategies for Implementing First Order Dynamic Systems." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/04241575148287005108.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Munoz, Brad Ernest. "Reliability methods in dynamic system analysis." 2012. http://hdl.handle.net/2152/20038.

Full text
Abstract:
Standard techniques used to analyze a system's response with uncertain system parameters or inputs, are generally Importance sampling methods. Sampling methods require a large number of simulation runs before the system output statistics can be analyzed. As model fidelity increases, sampling techniques become computationally infeasible, and Reliability methods have gained popularity as an analysis method that requires significantly fewer simulation runs. Reliability analysis is an analytic technique which finds a particular point in the design space that can accurately be related to the prob
APA, Harvard, Vancouver, ISO, and other styles
28

林名黎. "Oscillation for a system of first order dynamic equations on time scales." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/17720860835712520430.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Heidarian, Alireza. "Study of the Static and Dynamic Magnetization across the First Order Phase Transition in FeRh Thin Films." Doctoral thesis, 2015. https://tud.qucosa.de/id/qucosa%3A29268.

Full text
Abstract:
The equiatomic FeRh alloy undergoes a first-order phase transition from an antiferromagnetic (AFM) to a ferromagnetic (FM) state at about 370 K with a small thermal hysteresis of about 10 K around the phase transition. The transition is accompanied by a unit cell volume expansion about 1% in the c lattice parameter. During the transition the new phase nucleates in the matrix of the original phase by reaching the critical temperature followed by a growth in size upon increasing temperature further. Therefore, to understand the transition process with more details, it is desirable to investigate
APA, Harvard, Vancouver, ISO, and other styles
30

Seecharan, Turuna Saraswati. "Metamodel-Based Probabilistic Design for Dynamic Systems with Degrading Components." Thesis, 2012. http://hdl.handle.net/10012/6634.

Full text
Abstract:
The probabilistic design of dynamic systems with degrading components is difficult. Design of dynamic systems typically involves the optimization of a time-invariant performance measure, such as Energy, that is estimated using a dynamic response, such as angular speed. The mechanistic models developed to approximate this performance measure are too complicated to be used with simple design calculations and lead to lengthy simulations. When degradation of the components is assumed, in order to determine suitable service times, estimation of the failure probability over the product lifetime is r
APA, Harvard, Vancouver, ISO, and other styles
31

Barz, T., S. Kuntsche, G. Wozny, and Harvey Arellano-Garcia. "An efficient sparse approach to sensitivity generation for large-scale dynamic optimization." 2011. http://hdl.handle.net/10454/9037.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

DINI, FABRIZIO. "Target detection and tracking in video surveillance." Doctoral thesis, 2010. http://hdl.handle.net/2158/574120.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Karmakar, Smarajit. "Numerical Studies Of Slow Dynamics And Glass Transition In Model Liquids." Thesis, 2009. https://etd.iisc.ac.in/handle/2005/633.

Full text
Abstract:
An increase in the co-operativity in the motion of particles and a growth of a suitably defined dynamical correlation length seem to be generic features exhibited by all liquids upon supercooling. These features have been observed both in experiments and in numerical simulations of glass-forming liquids. Specially designed NMR experiments have estimated that the rough magnitude of this correlation length is of the order of a few nanometers near the glass transition. Simulations also predict that there are regions in the system which are more liquid-like than other regions. A complete theoretic
APA, Harvard, Vancouver, ISO, and other styles
34

Karmakar, Smarajit. "Numerical Studies Of Slow Dynamics And Glass Transition In Model Liquids." Thesis, 2009. http://hdl.handle.net/2005/633.

Full text
Abstract:
An increase in the co-operativity in the motion of particles and a growth of a suitably defined dynamical correlation length seem to be generic features exhibited by all liquids upon supercooling. These features have been observed both in experiments and in numerical simulations of glass-forming liquids. Specially designed NMR experiments have estimated that the rough magnitude of this correlation length is of the order of a few nanometers near the glass transition. Simulations also predict that there are regions in the system which are more liquid-like than other regions. A complete theoretic
APA, Harvard, Vancouver, ISO, and other styles
35

Palmeri, Alessandro, and N. Makris. "Linearization and first-order expansion of the rocking motion of rigid blocks stepping on viscoelastic foundation." 2008. http://hdl.handle.net/10454/603.

Full text
Abstract:
In structural mechanics there are several occasions where a linearized formulation of the original nonlinear problem reduces considerably the computational effort for the response analysis. In a broader sense, a linearized formulation can be viewed as a first-order expansion of the dynamic equilibrium of the system about a `static¿ configuration; yet caution should be exercised when identifying the `correct¿ static configuration. This paper uses as a case study the rocking response of a rigid block stepping on viscoelastic supports, whose non-linear dynamics is the subject of the companio
APA, Harvard, Vancouver, ISO, and other styles
36

LIU, JIA-XIN, and 劉家新. "Derivation of Equations of Motion, PID Control Based on First-Order Purturbation, and Dynamical Simulation for a Coanda Effect Saucer." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/s7wv6p.

Full text
Abstract:
碩士<br>逢甲大學<br>自動控制工程學系<br>106<br>While much work has been performed in the research of the Coanda effect and related mechanical design of the Coanda effect aircraft, little discussion has been found on the control of the Coanda effect saucer. The focus of this thesis is to derive the dynamical equations and controller for a special-structured Coanda effect saucer that will allow the aircraft to reach a stable and controllable state. There are two kinds of lifts: the lift caused by the momentum change and the lift caused by the air pressure difference. In this thesis, dynamical equations are de
APA, Harvard, Vancouver, ISO, and other styles
37

Gu, Yilan. "Advanced Reasoning about Dynamical Systems." Thesis, 2010. http://hdl.handle.net/1807/26274.

Full text
Abstract:
In this thesis, we study advanced reasoning about dynamical systems in a logical framework -- the situation calculus. In particular, we consider promoting the efficiency of reasoning about action in the situation calculus from three different aspects. First, we propose a modified situation calculus based on the two-variable predicate logic with counting quantifiers. We show that solving the projection and executability problems via regression in such language are decidable. We prove that generally these two problems are co-NExpTime-complete in the modified language. We also consider restric
APA, Harvard, Vancouver, ISO, and other styles
38

Pirnerová, Helena. "Aktuální členění věty v psaných médiích." Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-311010.

Full text
Abstract:
The diploma thesis is focused on an analysis of the first sentences of newspaper articles namely from an aspect of the topic-focus articulation, which is expressed in Czech primarily by word order. The word order depending on the increasing communicative dynamism of words in the sentence might be changed from an objective word order if new information follows known or before mentioned information into subjective word order resulting in a reverse order. E.g.: The CEZ group showed record profit of 52 milliard CZK last year, a reverse word order: (literal translation) Record profit (Obj) of 52 mi
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!