To see the other types of publications on this topic, follow the link: Automatic mode.
Dissertations / Theses on the topic 'Automatic mode'
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 'Automatic mode.'
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
Sonmezoglu, Soner. "A High Performance Automatic Mode-matched Mems Gyroscope." Master's thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12614656/index.pdf.
Full textAbstract:
This thesis, for the first time in the literature, presents an automatic mode-matching system that uses the phase relationships between the residual quadrature and drive signals in a gyroscope to achieve and maintain the frequency matching condition, and also the system allows controlling the system bandwidth by adjusting the closed loop parameters of the sense mode controller, independently from the mechanical sensor bandwidth. There are two mode-matching methods, using the proposed mode-matching system, presented in this thesis. In the first method, the frequency matching between the resonance modes of the gyroscope is automatically accomplished by changing the proof mass potential. The main motivation behind the first method is to tune the sense mode resonance frequency with respect to the drive mode resonance frequency using the electrostatic tuning capability of the sense mode. In the second method, the mode-matched gyroscope operation is accomplished by using dedicated frequency tuning electrodes that only provides a capability of tuning the sense mode resonance frequency generating an electrostatic spring effect on the sense frame, independently from the proof mass potential. This study mainly focuses on the second method because the proof mass potential variation is not desired during the gyroscope operation since the proof mass potential directly affects the drive and sense mode dynamics of the gyroscope. Therefore, a single-mass fully-decoupled gyroscope including the dedicated frequency tuning electrodes are designed. To identify mode shapes and mode frequencies of the designed gyroscope, FEM simulations are performed. The designed gyroscopes are fabricated using SOI-based SOG process. The fabrication imperfections are clarified during the formation of the structural layer of the gyroscope. Next, the closed loop controllers are designed for the drive amplitude control, sense force-feedback, quadrature cancellation, and mode-matching regarding the phase relationship between the quadrature and drive signals. Mode-matching is achieved by using a closed loop controller that provides a DC tuning potential. The mode-matching system consisting of vacuum packaged sensor, drive amplitude control, sense force-feedback, quadrature cancellation, and mode-matching modules is implemented on a printed circuit board (PCB), and then the system level tests are performed.
Tests illustrate that the mode-matching system operates in a desired manner. Test results demonstrate that the performances of the studied MEMS gyroscopes are improved up to 2.6 times in bias instability and 2 times in ARW under the mode-matched condition compared to the mismatched (~200 Hz) condition, reaching down to 0.73 °<br>/hr and 0.024 °<br>/&radic<br>hr, respectively. At the mode-matched gyroscope operation, the better performance is obtained to be bias instability of 0.87
2
Kang, Yixiu. "Implementation of Forward and Reverse Mode Automatic Differentiation for GNU Octave Applications." Ohio University / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1049467867.
Full text
3
Stockwell, Kathryn S. "Automatic phased mission system reliability model generation." Thesis, Loughborough University, 2013. https://dspace.lboro.ac.uk/2134/13583.
Full textAbstract:
There are many methods for modelling the reliability of systems based on component failure data. This task becomes more complex as systems increase in size, or undertake missions that comprise multiple discrete modes of operation, or phases. Existing techniques require certain levels of expertise in the model generation and calculation processes, meaning that risk and reliability assessments of systems can often be expensive and time-consuming. This is exacerbated as system complexity increases. This thesis presents a novel method which generates reliability models for phasedmission systems, based on Petri nets, from simple input files. The process has been automated with a piece of software designed for engineers with little or no experience in the field of risk and reliability. The software can generate models for both repairable and non-repairable systems, allowing redundant components and maintenance cycles to be included in the model. Further, the software includes a simulator for the generated models. This allows a user with simple input files to perform automatic model generation and simulation with a single piece of software, yielding detailed failure data on components, phases, missions and the overall system. A system can also be simulated across multiple consecutive missions. To assess performance, the software is compared with an analytical approach and found to match within 5% in both the repairable and non-repairable cases. The software documented in this thesis could serve as an aid to engineers designing new systems to validate the reliability of the system. This would not require specialist consultants or additional software, ensuring that the analysis provides results in a timely and cost-effective manner.
4
Oldaker, R. S. "The design and control of mechanical switched mode drives." Thesis, University of Hull, 1997. http://hydra.hull.ac.uk/resources/hull:4571.
Full textAbstract:
This thesis is concerned with the design, control and performance evaluation of a novel design for mechanical drives. This drive operates in a pulsed manner where energy is extracted from the input, stored and then released to the output. A spring acts as the energy store and brakes and clutches control the extraction and release of energy. By controlling the storage and release of this energy the device's output velocity can be controlled independently of the input velocity and since theoretically there is no energy loss the device operates in an analogous fashion to a variable ratio gearbox. Two design variations are presented. A step-up mechanism that is unidirectional and capable of output velocities greater than the input, and a step-up/stepdown device that has bi-directional output velocity capabilities with no theoretical constraint on the value of output velocity. A prototype drive for each design is evaluated and detailed mathematical models are presented and compared to the prototypes. In addition a detailed design methodology is put forward for step-up/stepdowndevices.
5
Mohammadridha, Taghreed. "Automatic Glycemia Regulation of Type I Diabetes." Thesis, Ecole centrale de Nantes, 2017. http://www.theses.fr/2017ECDN0008.
Full textAbstract:
Cette thèse étudie le contrôle en boucle fermée pour la régulation de la glycémie du diabète de type 1 (DT1). Deux catégories principales de commande sont conçues: l'une est basée sur un modèle et l'autre non. Pour tester leur efficacité, les deux types sont testés in silico sur deux simulateurs de DT1. Le premier est un modèle à long terme qui est dérivé des données cliniques des sujets de DT1 et le second est le simulateur Uva/Padova. Tout d'abord, la commande sans modèle (CSM) est conçue. Après avoir montré qu'un régulateur proportionnel intelligent (iP) à référence constante peut être mis en défaut sur un simple second ordre, nous avons conçu un régulateur iP à référence variable. Une solution alternative est un régulateur proportionnel-intégral-dérivé intelligent (iPID) à référence constante. Une meilleure performance globale est obtenue avec iPID par rapport à iP et par rapport à un PID classique. Deuxièmement, une commande par modes glissants (CMG) garantie positive est conçue pour la première fois pour la régulation de la glycémie. La conception de cette commande est basée sur un modèle. La commande CMG est choisie pour la régulation de la glycémie en raison de ses propriétés de robustesse bien connues. Cependant, notre contribution majeure est l'assurance d'une commande rigoureusement positive. La commande CMG est conçue pour être positive partout dans un ensemble invariant du sous-système d'insulinémie du plasma. Enfin, un régulateur positif par retour d'état est calculé pour la première fois pour la régulation de la glycémie. Le plus grand ensemble positif invariant (EPI) est trouvé. Non seulement la positivité de la commande est révisée, mais plutôt un contrôle glycémique serré est atteint. Lorsque l'état initial du système appartient à l’EPI, l'hypoglycémie est évitée. Dans le cas contraire, l'hypoglycémie future est prédite pour tout état initial en dehors de l'EPI<br>This thesis investigates closed-loop control for glycemia regulation of Type1 Diabetes Mellitus (T1DM). Two main controller categories are designed: non-model-based and model-based. To test their efficiency, both types are tested in silico on two T1DM simulators. The first is a long-term model that is derived from clinical data of T1DM subjects and the second is the Uva/Padova simulator. Firstly, Model-free Control (MFC) is designed: a variable reference intelligent Proportional (iP) control and a constant reference intelligent Proportional-Integral-Derivative (iPID). Better overall performance is yielded with iPID over iP and over a classic PID. Secondly, a positive Sliding Mode Control SMC is designed for the first time for glycemia regulation. The model-based controller is chosen for glycemia regulation due to its well-known robustness properties. More importantly, our main contribution is that SMC is designed to be positive everywhere in the positively invariant set for the plasma insulin subsystem. Finally, a positive state feedback controller is designed for the first time to regulate glycemia. The largest Positively Invariant Set (PIS) is found. Not only control positivity is respected but rather a tight glycemic control is achieved. When the system initial condition belongs to the PIS, hypoglycemia is prevented, otherwise future hypoglycemia is predicted for any initial condition outside the PIS
6
Bremberg, Daniel. "Automatic Mixed-Mode Crack Propagation Computations using a combined Hexahedral/Tetrahedral-Approach." Licentiate thesis, KTH, Solid Mechanics (Div.), 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-11823.
Full text
7
Sigfridsson, Jenny, and Josefin Frisk. "Robotstyrning med metoden Sliding Mode Control." Thesis, Linköping University, Department of Electrical Engineering, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2813.
Full textAbstract:
<p>The task in this thesis is the steering of one of Saab Bofors Dynamics robots using Sliding Mode Control, a method they never used before. The robot constitutes a system which in addition to perturbations and uncertainties due to modeling imprecision, hold the difficulty of being highly time variant. In order to be able to keep required performance with uncertainties and modeling imprecision present, the use of robust control methods like Sliding Mode Control is necessary. SMC is based on the states of the system being forced to stay on or in the direct vicinity of a hyper plane in the state space which is chosen in a way that gives the system dynamics desired properties. Other advantages with sliding mode are reduced order dynamics on the switching surface and total insensitivity to some uncertainties and perturbations. The existing metod for controlling the robot is Linear Quadratic Control. To evaluate the SMC-methodology and compare it with the existing solution simulations using SMC and LQ-control are made with uncertainties and modeling imprecision. Our tests show that a control law based on SMC is robust and seems to be a very good alternative to the existing solution.</p>
8
Iorio, Francesco. "Automatic discovery of drug mode of action and drug repositioning from gene expression data." Doctoral thesis, Universita degli studi di Salerno, 2011. http://hdl.handle.net/10556/976.
Full textAbstract:
2009 - 2010<br>The identification of the molecular pathway that is targeted by a compound,
combined with the dissection of the following reactions in the cellular environment,
i.e. the drug mode of action, is a key challenge in biomedicine.
Elucidation of drug mode of action has been attempted, in the past, with
different approaches. Methods based only on transcriptional responses are
those requiring the least amount of information and can be quickly applied
to new compounds. On the other hand, they have met with limited success
and, at the present, a general, robust and efficient gene-expression based
method to study drugs in mammalian systems is still missing.
We developed an efficient analysis framework to investigate the mode of
action of drugs by using gene expression data only. Particularly, by using
a large compendium of gene expression profiles following treatments with
more than 1,000 compounds on different human cell lines, we were able
to extract a synthetic consensual transcriptional response for each of the
tested compounds. This was obtained by developing an original rank merging
procedure. Then, we designed a novel similarity measure among the
transcriptional responses to each drug, endingending up with a “drug similarity
network”, where each drug is a node and edges represent significant
similarities between drugs.
By means of a novel hierarchical clustering algorithm, we then provided
this network with a modular topology, contanining groups of highly interconnected
nodes (i.e. network communities) whose exemplars form secondlevel
modules (i.e. network rich-clubs), and so on. We showed that these
topological modules are enriched for a given mode of action and that the
hierarchy of the resulting final network reflects the different levels of similarities
among the composing compound mode of actions.
Most importantly, by integrating a novel drug X into this network (which
can be done very quickly) the unknown mode of action can be inferred by
studying the topology of the subnetwork surrounding X. Moreover, novel
potential therapeutic applications can be assigned to safe and approved
drugs, that are already present in the network, by studying their neighborhood
(i.e. drug repositioning), hence in a very cheap, easy and fast way,
without the need of additional experiments.
By using this approach, we were able to correctly classify novel anti-cancer
compounds; to predict and experimentally validate an unexpected similarity
in the mode of action of CDK2 inhibitors and TopoIsomerase inhibitors
and to predict that Fasudil, a known and FDA-approved cardiotonic agent,
could be repositioned as novel enhancer of cellular autophagy.
Due to the extremely safe profile of this drug and its potential ability to
traverse the blood-brain barrier, this could have strong implications in the
treatment of several human neurodegenerative disorders, such as Huntington
and Parkinson diseases. [edited by author]<br>IX n.s.
9
Nottley, G. C. "The Instrumentation Data Recorder in an Automatic Mode to Record and Reproduce Digital Data." International Foundation for Telemetering, 1987. http://hdl.handle.net/10150/615268.
Full textAbstract:
International Telemetering Conference Proceedings / October 26-29, 1987 / Town and Country Hotel, San Diego, California<br>The conventional IRIG Instrumentation Tape Recorder has two major disadvantages when used to record and reproduce digital data. Firstly it has a limited number of discrete tape speeds, and secondly the operator has to calculate and then set the tape speed to give the appropriate packing density or clock rate. The use of microprocessors has made it possible to take the majority of these calculations, and also the setting up of the recorder, out of the users hands. Also the tape speeds available are virtually continuous over the range 17/8 ips to 120 ips. There are other facilities available and this paper describes the operation and facilities of an instrumentation recorder which is almost totally automatic.
10
Tychkov, V. V., and R. V. Trembovetskaya. "Calibration of ionometric transducers for information-measuring systems and automatic control systems in real mode." Thesis, Sumy State University, 2017. http://essuir.sumdu.edu.ua/handle/123456789/65151.
Full textAbstract:
Currently, there are a number of ways ISE calibrations, each of which
depends on several factors: the amount and nature of the sample, frequency
analysis, metrological characteristics and electrode-active properties of the
material of the electrodes themselves. However, these calibration methods
have limitations when used in the flow-injection analysis method (FIA).
11
Jacomeli, João Ricardo [UNESP]. "Aplicação de observadores e controladores com modos deslizantes no controle da geração." Universidade Estadual Paulista (UNESP), 2006. http://hdl.handle.net/11449/87233.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:22:35Z (GMT). No. of bitstreams: 0
Previous issue date: 2006-08-29Bitstream added on 2014-06-13T19:48:58Z : No. of bitstreams: 1
jacomeli_jr_me_ilha.pdf: 1801701 bytes, checksum: 7e0a2edc93d23563d2882556d106d710 (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>Devido ao grande crescimento em tamanho e complexidade dos sistemas de potência interconectados, surge a necessidade de se desenvolver novas técnicas de controle de geração. Eram usados modelos simplificados para a análise, assim como outras abordagens. Atualmente, novas modelagens levam em conta muitos outros parâmetros que antes não eram utilizados, aproximando cada vez mais a planta modelada com a planta real. Grandes esforços têm sido feitos no controle automático da geração de sistemas de potência interconectados. Para tanto, foram utilizados neste trabalho um observador com modo deslizante e leis de controle com modo deslizante analógica e controle com modo deslizante digital para análise de desempenho do controle de geração, utilizando a planta de um sistema com geração térmica e geração hidráulica interconectados.<br>Due to the great growth in size and complexity of the interconnected power systems, it appears of developing of new techniques of generation control. Simplified models were used for the analysis, as well as for other approaches. Nowadays, new modellings take into account many other parameters that before were not considered, approximating the modeled plant with the real plant. Great efforts have been made in the automatic generation control of the interconnected power systems. In this work an observer with sliding mode and control laws with analogical sliding mode and control with digital sliding mode, with the plant of an interconnected system with thermal generation and hydraulic generation, were proposed and analyzed.
12
Watechagit, Sarawoot. "Modeling and estimation for stepped automatic transmission with clutch-to-clutch shift technology." Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1087316345.
Full textAbstract:
Thesis (Ph. D.)--Ohio State University, 2004.<br>Title from first page of PDF file. Document formatted into pages; contains xxvi, 286 p. : ill. (some col.). Advisor: Krishnaswamy Srinivasan, Department of Mechanical Engineering. Includes bibliographical references (p. 280-286).
13
Bregeault, Vincent. "Quelques contributions à la théorie de la commande par modes glissants." Phd thesis, Ecole centrale de nantes - ECN, 2010. http://tel.archives-ouvertes.fr/tel-00560746.
Full textAbstract:
Ce travail de thèse propose des solutions pour la commande de systèmes non linéaires incertains en se basant sur la théorie des modes glissants. Ce mémoire présente la théorie des modes glissants et des modes glissants d'ordre supérieur, en distinguant des notions souvent confondues, comme les commandes équivalente et nominale, ou les modes glissants d'ordre supérieur idéal et réel. Une preuve originale de la convergence de l'algorithme du super twisting est également présentée. Une commande par modes glissants à amplitude adaptative a été proposée dans le but de pour réduire le chattering. Elle a été testée sur le banc d'essais d'actionneur électropneumatique de l'IRCCyN, dont les modèles de simulation et de synthèse sont exposés. L'autre théorie présentée dans ce mémoire est celle de la commande à temps minimal pour des systèmes parfaitement connu. Des algorithmes de calcul de la surface de commutation à temps minimal sont présentés. Un lien est fait avec la théorie de la commande par modes glissants d'ordre supérieur. Le résultat est une commande ayant la robustesse et la précision asymptotique des modes glissants d'ordre supérieur et la vitesse de convergence héritée de la commande à temps minimal. Une solution au problème du chattering, spécialement délicat pour cette commande, est également proposée.
14
Faraut, Gregory. "Commutations sûres de mode pour les systèmes à événements discrets." Phd thesis, INSA de Lyon, 2010. http://tel.archives-ouvertes.fr/tel-00945172.
Full textAbstract:
Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L'étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d'étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L'étape suivante est l'exécution d'une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d'aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d'états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l'applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l'utilisons sur un exemple de taille importante utilisée dans la littérature.
15
Durmaz, Burak. "Sliding Mode Control Of Linearly Actuated Nonlinear Systems." Master's thesis, METU, 2009. http://etd.lib.metu.edu.tr/upload/12610666/index.pdf.
Full textAbstract:
This study covers the sliding mode control design for a class of nonlinear systems, where the control input affects the state of the system linearly as described by (d/dt)x=A(x)x+B(x)u+d(x). The main streamline of the study is the sliding surface design for the system. Since there is no systematic way of designing sliding surfaces for nonlinear systems, a moving sliding surface is designed such that its parameters are determined in an adaptive manner to cope with the nonlinearities of the system. This adaptive manner includes only the automatic adaptation of the sliding surface by determining its parameters by means of solving the State Dependent Riccati Equations (SDRE) online during the control process. The two methods developed in this study: SDRE combined sliding control and the pure SDRE with bias terms are applied to a longitudinal model of a generic hypersonic air vehicle to compare the results.
16
Willkomm, Johannes [Verfasser]. "The reverse mode of automatic differentiation applied to the MATLAB language - advanced methods for adjoint code generation / Johannes Willkomm." München : Verlag Dr. Hut, 2021. http://d-nb.info/1238423108/34.
Full text
17
Okyay, Ahmet. "Sliding Mode Control Algorithm Development For Anti-lock Brake System." Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613568/index.pdf.
Full textAbstract:
In this thesis, a sliding mode controller employing a new sliding surface for
antilock brake system (ABS) is proposed, its stability is proven formally and its
performance is compared with existing sliding mode controllers. The new sliding
mode controller uses the integral-derivative surface, which includes error, its
derivative and its integral, all at the same time. This and the already existing
derivative surface, which includes error and its derivative only, are named zerothorder
sliding surfaces. Their stability analysis is done using first-order auxiliary
surfaces. Auxiliary surfaces equal the sliding surfaces when derivative of the error
becomes zero. The first-order error surface, which includes only the error, and the
integral surface, which includes error and its integral, were also designed for
comparison. During design, tire brake force response is modelled as an
uncertainty. Controllers are simulated on a road with an abrupt change in road
coefficient of adhesion. Controller parameters used are optimized, which results in
comparable stopping distances while braking on a constant coefficient of adhesion
road. Effect of first order actuator dynamics with varying time constants and
actuator absolute time delay were considered. Reaching and sliding properties of
controllers were also investigated, using results on a constant coefficient of
adhesion road. It is observed that zeroth-order sliding surfaces give smoother
response for both derivative and integral-derivative cases. As the controllers
employing error and derivative surfaces get unstable in the presence of actuator
time delay, the integral-derivative surface, proposed in this study, stands as the
best controller.
18
Lombardi, Paolo. "Generic wind estimation and compensation based on residual generators and higher-order sliding mode schemes." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/10662/.
Full textAbstract:
This master thesis proposes a solution to the approach problem in case of unknown severe microburst wind shear for a fixed-wing aircraft, accounting for both longitudinal and lateral dynamics. The adaptive controller design for wind rejection is also addressed, exploiting the wind estimation provided by suitable estimators. It is able to successfully complete the final approach phase even in presence of wind shear, and at the same time aerodynamic envelope protection is retained. The adaptive controller for wind compensation has been designed by a backstepping approach and feedback linearization for time-varying systems. The wind shear components have been estimated by higher-order sliding mode schemes. At the end of this work the results are provided, an autonomous final approach in presence of microburst is discussed, performances are analyzed, and estimation of the microburst characteristics from telemetry data is examined.
19
Jacomeli, João Ricardo. "Aplicação de observadores e controladores com modos deslizantes no controle da geração /." Ilha Solteira : [s.n.], 2006. http://hdl.handle.net/11449/87233.
Full textAbstract:
Orientador: José Paulo Fernandes Garcia<br>Banca: Marcelo Carvalho M. Teixeira<br>Banca: Fuad Kassab Junior<br>Resumo: Devido ao grande crescimento em tamanho e complexidade dos sistemas de potência interconectados, surge a necessidade de se desenvolver novas técnicas de controle de geração. Eram usados modelos simplificados para a análise, assim como outras abordagens. Atualmente, novas modelagens levam em conta muitos outros parâmetros que antes não eram utilizados, aproximando cada vez mais a planta modelada com a planta real. Grandes esforços têm sido feitos no controle automático da geração de sistemas de potência interconectados. Para tanto, foram utilizados neste trabalho um observador com modo deslizante e leis de controle com modo deslizante analógica e controle com modo deslizante digital para análise de desempenho do controle de geração, utilizando a planta de um sistema com geração térmica e geração hidráulica interconectados.<br>Abstract: Due to the great growth in size and complexity of the interconnected power systems, it appears of developing of new techniques of generation control. Simplified models were used for the analysis, as well as for other approaches. Nowadays, new modellings take into account many other parameters that before were not considered, approximating the modeled plant with the real plant. Great efforts have been made in the automatic generation control of the interconnected power systems. In this work an observer with sliding mode and control laws with analogical sliding mode and control with digital sliding mode, with the plant of an interconnected system with thermal generation and hydraulic generation, were proposed and analyzed.<br>Mestre
20
Zhao, Yue. "Automatic Prevention and Recovery of Aircraft Loss-of-Control by a Hybrid Control Approach." Ohio University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1458728101.
Full text
21
Brun, Xavier. "Contribution à la commande des systèmes mécatroniques à fluide sous pression." Habilitation à diriger des recherches, INSA de Lyon, 2010. http://tel.archives-ouvertes.fr/tel-00537967.
Full textAbstract:
Je tiens, dans ma démarche scientifique, à développer mes connaissances d'un point de vue Système et d'un point de vue Commande. En effet, je suis convaincu que si les automaticiens travaillent conjointement avec les équipes de conception (mécanique, électronique, informatique) et participent à la mise en place de l'architecture du système alors cela permet et permettra d'intégrer le choix des stratégies de commandes en amont du développement du système. Démarche qui peut être très efficace pour répondre à des spécifications de plus en plus exigeantes en terme de performances statiques, dynamiques, énergétiques, écologiques ... Dans les articles scientifiques, l'aspect théorie et/ou mise en oeuvre de la commande est très souvent mis en avant par rapport à l'aspect que je qualifie de système. Preuve en ai donnée dans mes différentes contributions scientifiques dont une liste est présente à la fin de ce document dans la partie bibliographie personnelle (qui en fait n'a rien de personnelle, mais représente les fruits de différents travaux collaboratifs). Certains articles sont en version intégrale en annexe. Dans ce mémoire qui présente mes contributions passées, présentes et peut-être futures sur la commande des systèmes mécatroniques à fluide sous pression, l'occasion m'est donnée de mettre en avant le système par rapport à différentes techniques de commandes avancées. Ce travail présente la synthèse de mes activités de Maître de conférences à l'INSA de Lyon au sein du Laboratoire d'Automatique Industrielle de 2001 à 2006 (L.A.I . Equipe d'Accueil 3079) et depuis 2007 au sein du laboratoire Ampère (Unité Mixte de Recherche 5005 du CNRS) issu de la fusion du L.A.I. avec le CEGELY (CEntre de Génie Electrique de LYon) et une équipe de Génomique microbienne environnementale. Ces travaux encadrés ou co-encadrés m'ont permis de contribuer au développement des activités de recherche du laboratoire d'Automatique Industrielle hier et du laboratoire Ampère aujourd'hui, à travers l'axe scientifique commande des systèmes Fluid Power. Le mémoire est organisé en 4 chapitres. Après un bref résumé présentant mon curriculum vitae et quelques faits marquants de mes activités, le chapitre 2 dresse un bilan de mes activités de recherche, d'enseignement et responsabilités collectives. Ce bilan se veut être prioritairement quantitatif. L'aspect qualitatif étant surtout abordé au niveau de la recherche lors du chapitre 3. Ce chapitre présente de manière approfondie et technique le fil conducteur de ma recherche résumé par le titre de ce document. Enfin, le chapitre 4 donne des conclusions mais surtout des orientations à mes perspectives de recherche au travers différents projets que je souhaite développer. Les annexes, en fin de ce document, regroupent les textes des productions scientifiques que je juge aujourd'hui significatives.
22
Reyss, Olivier. "Stratégies de contrôle embarquables d'un groupe moto-propulseur hybride de type bi-mode." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00345795.
Full textAbstract:
Ces dernières années ont vu le marché automobile évoluer de manière importante, chahuté par un ensemble de contraintes géopolitiques et environnementales nouvelles, dont la principale est la nécessité de réduire les émissions de gaz à effet de serre. Une des solutions à moyen terme les plus prometteuses pour répondre à ce problème est l'hybridation des groupes moto-propulseurs. La complexification des transmissions alors engendrée pose des problèmes de contrôle dont les points clés sont : la rapidité des suivis du couple à la roue, du régime moteur et de la tension de l'élément de stockage dans un cadre multivariable, le découplage de ces suivis et la robustesse de la loi de commande face à un certain nombre de perturbations identifiées et aux non-linéarités. Un outil moderne répond à ces attentes, en proposant une approche fréquentielle, qui permet donc la traduction d'un cahier des charges précis : la synthèse H1. Dans cette thèse, nous poserons tout d'abord le contexte du marché automobile actuel, et nous déterminerons un modèle générique pour un ensemble de transmissions hybrides. Deux axes seront alors étudiés indépendamment. D'une part, nous présenterons une structure de loi de commande avantageuse reprenant l'approche moteur / boîte de vitesse que l'on retrouve dans un véhicule classique. D'autre part, nous mettrons en relief le fait que le système, bien que non linéaire, peut être abordé dans le cadre des systèmes linéaires à paramètres variants (LPV). Deux approches sont alors possibles : synthétiser un correcteur linéaire invariant, ou un correcteur également LPV. Pour faire ce choix nous mettrons en place plusieurs outils d'analyse, adaptés au cadre LPV, et réaliserons des simulations significatives. Dans le but d'implanter la loi de commande choisie dans un véhicule d'essais, une architecture logicielle sera alors définie, assurant la discrétisation et la bonne initialisation du correcteur. Les résultats obtenus sur prototype montrent que les outils utilisés sont bien adaptés aux transmissions hybrides, et qu'ils permettent un réglage fin des objectifs du cahier des charges.
23
Planckaert, Jean-Pierre. "Modélisation du soudage MIG/MAG en mode short-arc." Electronic Thesis or Diss., Nancy 1, 2008. http://www.theses.fr/2008NAN10024.
Full textAbstract:
Il existe aujourd'hui de nombreux procédés de soudage répondant à la très grande variété d'assemblage à réaliser et aux caractéristiques des métaux utilisés. Le premier chapitre décrit les différentes sources d'énergie utilisées en soudage. Suite à cela, une explication plus détaillée du soudage à l'arc électrique est donnée. Enfin nous présentons la conception d'une plateforme d'essai de soudage. Il est possible, bien sûr, d'utiliser une approche empirique pour optimiser un procédé. Néanmoins il y a des avantages à choisir une approche analytique puisqu'on peut en attendre des avancées significatives dans la compréhension des interactions dynamiques présentes dans l'arc. C'est pourquoi nous présentons dans le chapitre 2 les connaissances théoriques de la physique quant au comportement du métal liquide transféré en soudage MIG/MAG. Ce travail comporte donc également un aspect expérimental nécessaire à l'élaboration des bases de données utilisées pour la construction des modèles. Les différents enregistrements ont été effectués au CTAS sur une plate forme équipée d'un système d'acquisition de données pour les mesures de tension, courant, vitesse fil et d'un système de vidéo rapide. Le chapitre 3 présente notre recherche d'une méthode de segmentation permettant d'obtenir le suivi de variables pertinentes. Nous y proposons un capteur logiciel basé sur la théorie des contours actifs et montrons de bons résultats obtenus sur des vidéos expérimentales. Une étape d'ajustement de certains paramètres est indispensable. Elle est donnée dans le chapitre 4. Le simulateur créé permet d’interpréter certains phénomènes importants en soudage, de réaliser une étude de sensibilité « sans risque » et de donner les signatures théoriques de défauts<br>Nowadays there is a lot of welding processes giving an answer to the great diversity of joints to realize and to the characteristics of the metals employed. The first chapter describes the different power sources used in welding. After that, a more detailed explanation of arc welding is given. Finally we present the design of a welding test bed. One can, of course, use an empirical approach to optimize a process. Nevertheless there are advantages in choosing an analytical approach since we can expect significant progress in the understanding of the dynamical interactions in the arc. That’s why we present in the second chapter the theoretical knowledge concerning the behaviour of the molten metal transferred during Gas Metal Arc Welding. This work involves as well an experimental aspect required for the elaboration of the databases used to build the model. The recordings were made at CTAS on a test bed equipped with an acquisition system for measuring voltage, current, wire feed speed and high speed videos. The third chapter presents our research of a segmentation method to measure some relevant quantities. We propose a software sensor based on the active contour theory and we show good results on experimental movies. An adjustment step of the model is needed and described in the fourth chapter. The created simulator allows us to interpret some important phenomena in welding, to make a sensitive study “without risk” and to give theoretical defects signatures
24
Walter, Sebastian. "Structured higher-order algorithmic differentiation in the forward and reverse mode with application in optimum experimental design." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012. http://dx.doi.org/10.18452/16514.
Full textAbstract:
In dieser Arbeit werden Techniken beschrieben, die es erlauben (höhere) Ableitungen und Taylorapproximationen solcher Computerprogramme effizient zu berechnen. Auch inbesondere dann, wenn die Programme Algorithmen der numerischen linearen Algebra (NLA) enthalten. Im Gegensatz zur traditionellen algorithmischen Differentiation (AD), bei der die zugrunde liegenden Algorithmen um zusätzliche Befehlere erweitert werden, sind in dieser Arbeit die Zerlegungen durch definierende Gleichungen charakterisiert. Basierend auf den definierenden Gleichungen werden Strukturausnutzende Algorithmen hergeleitet. Genauer, neuartige Algorithmen für die Propagation von Taylorpolynomen durch die QR, Cholesky und reell-symmetrischen Eigenwertzerlegung werden präsentiert. Desweiteren werden Algorithmen für den Rückwärtsmodus der AD hergeleitet, welche im Wesentlichen nur die Faktoren der Zerlegungen benötigen. Im Vergleich zum traditionellen Ansatz, bei dem alle Zwischenergebnisse gespeichert werden, ist dies eine Reduktion von O(N^3) zu O(N^2) für Algorithmen mit O(N^3) Komplexität. N ist hier die Größe der Matrix. Zusätzlich kann bestehende, hoch-optimierte Software verwendet werden. Ein Laufzeitvergleich zeigt, dass dies im Vergleich zum traditionellen Ansatz zu einer Beschleunigung in der Größenordnung 100 führen kann. Da die NLA Funktionen als Black Box betrachtet werden, ist desweiteren auch der Berechnungsgraph um Größenordnungen kleiner. Dies bedeutet, dass Software, welche Operator Overloading benutzt, weniger Overhead hervorruft und auch weniger Speicher benötigt.<br>This thesis provides a framework for the evaluation of first and higher-order derivatives and Taylor series expansions through large computer programs that contain numerical linear algebra (NLA) functions. It is a generalization of traditional algorithmic differentiation (AD) techniques in that NLA functions are regarded as black boxes where the inputs and outputs are related by defining equations. Based on the defining equations, structure-exploiting algorithms are derived. More precisely, novel algorithms for the propagation of Taylor polynomials through the QR, Cholesky,- and real-symmetric eigenvalue decomposition are shown. Recurrences for the reverse mode of AD, which require essentially only the returned factors of the decomposition, are also derived. Compared to the traditional approach where all intermediates of an algorithm are stored, this is a reduction from O(N^3) to O(N^2) for algorithms with O( N^3) complexity. N denotes the matrix size. The derived algorithms make it possible to use existing high-performance implementations. A runtime comparison shows that the treatment of NLA functions as atomic can be more than one order of magnitude faster than an automatic differentiation of the underlying algorithm. Furthermore, the computational graph is orders of magnitudes smaller. This reduces the additional memory requirements, as well as the overhead, of operator overloading techniques to a fraction.
25
Planckaert, Jean-Pierre. "Modélisation du soudage MIG/MAG en mode short-arc." Phd thesis, Université Henri Poincaré - Nancy I, 2008. http://tel.archives-ouvertes.fr/tel-00325823.
Full textAbstract:
Il existe aujourd'hui de nombreux procédés de soudage répondant à la très grande variété d'assemblage à réaliser et aux caractéristiques des métaux utilisés. Le premier chapitre décrit les différentes sources d'énergie utilisées en soudage. Suite à cela, une explication plus détaillée du soudage à l'arc électrique est donnée. Enfin nous présentons la conception d'une plateforme d'essai de soudage.<br />Il est possible, bien sûr, d'utiliser une approche empirique pour optimiser un procédé. Néanmoins il y a des avantages à choisir une approche analytique puisqu'on peut en attendre des avancées significatives dans la compréhension des interactions dynamiques présentes dans l'arc. C'est pourquoi nous présentons dans le chapitre 2 les connaissances théoriques de la physique quant au comportement du métal liquide transféré en soudage MIG/MAG.<br />Ce travail comporte donc également un aspect expérimental nécessaire à l'élaboration des bases de données utilisées pour la construction des modèles. Les différents enregistrements ont été effectués au CTAS sur une plate forme équipée d'un système d'acquisition de données pour les mesures de tension, courant, vitesse fil et d'un système de vidéo rapide. Le chapitre 3 présente notre recherche d'une méthode de segmentation permettant d'obtenir le suivi de variables pertinentes. Nous y proposons un capteur logiciel basé sur la théorie des contours actifs et montrons de bons résultats obtenus sur des vidéos expérimentales.<br />Une étape d'ajustement de certains paramètres est indispensable. Elle est donnée dans le chapitre 4. Le simulateur créé permet d'interpréter certains phénomènes importants en soudage, de réaliser une étude de sensibilité « sans risque » et de donner les signatures théoriques de défauts.
26
Tasserie, Jordy. "Functional Neuro-Imaging Study of Deep Brain Stimulation Mechanisms for the Restoration of Consciousness Using a Non-Human Primate Mode Pypreclin: An Automatic Pipeline for Macaque Functional MRI." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASL051.
Full textAbstract:
Les traumatismes crâniens les plus sévères peuvent altérer les communications entre des régions cérébrales distantes et conduire à des désordres chroniques de la conscience. Il a été rapporté que la Stimulation Cérébrale Profonde (SCP) du Thalamus module l'éveil et améliore le comportement des patients en état de conscience minimale. Cependant, il n'existe aucune démonstration évidente des mécanismes cérébraux pour la restauration spécifique et causale de l˅accès conscient, i.e. la prise de conscience, par la stimulation électrique. Dans cette étude, nous dressons l'hypothèse que la stimulation thalamique spécifique pourrait restaurer à la fois la vigilance et la prise de conscience à travers la restauration de l'activité thalamo-corticale et de la réorganisation des dynamiques corticales subséquentes.Nous avons créé une installation expérimentale qui combine la SCP et l'Imagerie par Résonance Magnétique fonctionnelle 'IRMf' chez le Primate Non-Humain (PNH) et appliqué une anesthésie finement contrôlée pour supprimer la conscience. Nous avons enregistré l'activité cérébrale du cerveau entier et développé un module de pré-traitement des images, Pypreclin, pour résoudre le problème d'artéfact lié à l'électrode. Sous sédation profonde, la stimulation électrique du noyau Centro-Median du Thalamus (CMT) a induit une forte vigilance de façon binaire. Lorsque la SCP du CMT a été déclenchée, le signal IRMf mesuré a augmenté dans les cortex préfrontal, pariétal et cingulaire, pour retourner progressivement à la valeur de référence quelques secondes après que le stimulateur a été éteint. De plus, la SCP du CMT a conduit à une reconfiguration des dynamiques corticales des états de repos en diminuant la similarité entre fonction et structure, précédemment décrite comme signature de la conscience. Enfin, la SCP du CMT a rétabli une vaste réponse hiérarchique à la régularité auditive globale qui était interrompuesous anesthésie générale. Ainsi, la SCP du CMT a restauré les deux dimensions principales de la conscience que sont l˅éveil et le contenu conscient, ouvrant la voie vers une application thérapeutique chez les patients atteint de désordres chroniques de la conscience<br>Severe brain injuries may lead to the disruption of long-range inter-region brain communications resulting in chronic Disorders of Consciousness (DoC). Electrical Deep Brain Stimulation (DBS) of the Thalamus has been reported to modulate arousal and ameliorate behavior in Minimally Conscious State (MCS) patients. However, there is no clear demonstration of the cerebral mechanisms for the specific and causal restoration of conscious access, i.e. awareness, with DBS. Here we hypothesized that specific thalamic DBS might restore both arousal and awareness through the restoration of thalamo-cortical activity and the subsequent reorganization of cortical dynamics. We first designed an experimental set-up combining DBS and functional Magnetic Resonance Imaging (fMRI) in Non-Human Primate (NHP) and applied finely tuned anesthesia to suppress consciousness. We recorded whole brain activity and developed a preprocessing pipeline, Pypreclin, to tackle the electrode-induced artifact. During deep sedation, Centro-Median Thalamic (CMT) DBS robustly induced arousal in an ON-OFF fashion. When CMT DBS was switched ON, fMRI signal increased in prefrontal, parietal and cingulate cortices, and gradually returned to baseline seconds after the stimulator was turned OFF. Moreover, CMT DBS led to a reconfiguration of Resting State cortical dynamics bydecreasing the function-structure similarity, previously described as a consciousness signature. Finally, CMT DBS restored a broad hierarchical response to global auditory regularities that was disrupted under general anesthesia. Thus, CMT DBS restored the two main dimensions of consciousness, i.e. arousal and awareness, paving the way to its therapeutical translation in patients with chronic DoC
27
Северин, Валерій Петрович, Олена Миколаївна Нікуліна та Олександр Сергійович Шевцов. "Нелінійні моделі парових турбін АЕС для маневрених режимів експлуатації". Thesis, НТУ "ХПІ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/33423.
Full textAbstract:
Побудована нелінійна модель парової турбіни К-1000-60/1500-2 як об’єкта автоматичного керування в відносних змінних стану, що враховує експериментальні дані регулюючих органів і використовує мінімальну кількість обчислень. На основі цієї моделі для дослідження режиму скидання навантаження побудовані графіки зміни змінних тиску та частоти.<br>A nonlinear model of the steam turbine K-1000-60/1500-2 was constructed as an object of automatic control in relative variables, which takes into account experimental data of regulatory bodies and uses a minimal amount of computations. On the basis of this model, graphs of changes in pressure and frequency variables are constructed for investigating the load reset mode.
28
Shenouda, Amir. "Quasi-static hydraulic control systems and energy savings potential using independent metering four-valve assembly configuration." Diss., Available online, Georgia Institute of Technology, 2006, 2006. http://etd.gatech.edu/theses/available/etd-07052006-143614/.
Full textAbstract:
Thesis (Ph. D.)--Mechanical Engineering, Georgia Institute of Technology, 2007.<br>Wayne J. Book, Committee Chair ; Nader Sadegh, Committee Member ; Chris Paredis, Committee Member ; Bonnie Heck, Committee Member ; Roger Yang, Committee Member ; Renato D.C.Monteiro, Committee Member.
29
Fernandes, Ueslei Barbosa [UNESP]. "Controle com Estrutura Variável e Modos Deslizantes Aplicado em Sistema de Suspensão Ativa." Universidade Estadual Paulista (UNESP), 2013. http://hdl.handle.net/11449/87150.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:22:33Z (GMT). No. of bitstreams: 0
Previous issue date: 2013-03-25Bitstream added on 2014-06-13T19:06:56Z : No. of bitstreams: 1
fernandes_ub_me_ilha.pdf: 637735 bytes, checksum: e0ec28cfe51e61823ad56670d721ba9b (MD5)<br>Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)<br>Utilizando as técnicas de Controle com Estrutura Variável e Modos Deslizantes (CEV/MD) é proposta aqui uma aplicação das mesmas em um sistema que representa 1/4 do modelo de Suspensão Ativa de um veículo. Teoria e projeto de preditores contínuo são apresentados com o intuito de obter bom desempenho na presença de atrasos no controle ou atrasos na aquisição de dados do sistema. Com a finalidade de verificar a robustez do CEV/MD é feita uma comparação com o controle LQR (Linear Quadratic Regulator) apresentando os resultados de simulações e implementações em bancada para algumas condições de operação, levando em consideração a presença de incertezas no sistema<br>Using the techniques of Control with Variable Structure and Sliding Mode (VSC/SM) is proposed here an implementation in a system that represents 1/4 of the model of an Active Suspension of a vehicle. Theory and design of continuous predictors are presented in order to obtain good performance in the presence of control delays or delays in the data acquisition system. In order to verify the robustness of the VSC/SM a comparison with the LQR control (Linear Quadratic Regulator) in presented good results of simulations and implementations for some operating conditions, taking into account the presence of uncertainties in the system, illustrated the proposed method
30
Girin, Alexis. "Contribution à la commande non linéaire d'un système électropneumatique pour une utilisation aéronautique : application sur un benchmark dédié." Phd thesis, Ecole centrale de nantes - ECN, 2007. http://tel.archives-ouvertes.fr/tel-00207714.
Full textAbstract:
L'objectif de ce travail de thèse est d'évaluer la pertinence et les performances des techniques avancées de commande et d'observation des systèmes non linéaires et de voir si elles rendent possible l'utilisation d'un système électropneumatique haute performance pour le positionnement de gouvernes d'engin aérodynamique. Pour cela un banc d'essai et un benchmark associé ont été réalisés, en collaboration par les laboratoires AMPERE / IRCCyN, par le Laboratoire de Recherche en Balistique et Aérodynamique de la DGA et par MBDA (Groupe EADS). <br />L'étude montre que l'utilisation de commandes non linéaires permet d'obtenir les performances souhaitées. Des commandes non linéaires par modes glissants d'ordre supérieur mono et multi variables sont appliquées sur le système électropneumatique lui assurant une convergence en temps fini et la robustesse face aux incertitudes paramétriques et aux perturbations, ce qui constitue une des principales contributions de ce travail. Par ailleurs, dans le but de minimiser le nombre de capteurs et/ou pallier à leur défaillance, la synthèse d'observateurs pour cette plateforme expérimentale a été étudiée. Ainsi, une étude de l'observabilité, une synthèse d'observateurs à grands gains et par modes glissants a été effectuée.<br />La conclusion de ce travail permet de déterminer qu'il est possible d'utiliser des actionneurs électropneumatiques pour le positionnement d'une gouverne de missile, sous réserve de concevoir des composants intégrables. Cette thèse permet de déterminer les caractéristiques que devront avoir ces composants pour permettre d'obtenir l'ensemble des performances souhaitées.
31
Северин, Валерий Петрович, Елена Николаевна Никулина та Дарина Андреевна Лукинова. "Многокритериальный синтез систем управления энергоблока АЭС с реактором ВВЭР-1000 для эксплуатации в маневренных режимах". Thesis, НТУ "ХПІ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/33422.
Full textAbstract:
Для многокритериального синтеза нелинейных систем управления использована упрощенная векторная целевая функция, которая учитывает ограничения переменных параметров, ограничения перерегулирования и размаха колебаний, а также требования минимальности времени регулирования. Как пример задачи синтеза системы управления энергоблока при работе в маневренных режимах рассматривается задача многокритериального синтеза системы управления турбиной с нечеткими регуляторами.<br>For a multicriterion synthesis of nonlinear control systems, a simplified vector objective function is used that takes into account the limitations of the variable parameters, the limitations of overshoot and swing of the oscillations, and also the requirements for the minimum of the control time. As an example of the task of synthesizing the power unit control system during operation in maneuvering modes, the task of multi-criteria synthesis of the turbine control system with fuzzy regulators is considered.
32
Северин, Валерий Петрович, Елена Николаевна Никулина та Александр Сергеевич Шевцов. "Моделирование паровых турбин АЭС как объектов управления в маневренных режимах эксплуатации". Thesis, Національний університет біоресурсів і природокористування України, 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/33062.
Full textAbstract:
Рассмотрены уравнения переходных режимов паровой турбины как объекта управления в абсолютных переменных состояния. Построены нелинейные модели паровых турбин К-1000-60/1500-2 и К-220-4,4-3 как объектов автоматического управления в относительных переменных состояния. Получены графики изменения переменных давления и частоты. Исследованы режимы сброса нагрузки.<br>The equations of transition modes of a steam turbine as a control object in absolute state variables are considered. Nonlinear models of K-1000-60/1500-2 and K-220-4,4-3 steam turbines as automatic control objects in relative state variables are constructed. The graphs of changes in pressure and frequency variables are obtained. The modes of load shedding are investigated.
33
Ricca, Steven. "Using a one-chip microcomputer to control an automated warehouse model." Ohio : Ohio University, 1988. http://www.ohiolink.edu/etd/view.cgi?ohiou1182869918.
Full text
34
Nollet, Frédéric. "Lois de commande par modes glissants du moteur pas-à-pas." Phd thesis, Ecole Centrale de Lille, 2006. http://tel.archives-ouvertes.fr/tel-00132768.
Full textAbstract:
Ce travail présente des techniques, basées sur les modes glissants, permettant d'estimer des paramètres, de reconstruire des variables (observateur) et/ou de commander un moteur pas-à-pas. Le but étant de réaliser un suivi de trajectoire en position robuste avec un minimum de capteurs. Après avoir défini le contexte de l'étude, la planification et l'optimisation des trajectoires et les objectifs, le banc réalisé au LAGIS est décrit. Il est alors présenté une identification des paramètres par plusieurs méthodes. Les propriétés de platitude du moteur pas-à-pas sont utilisées. Des commandes classiques sont rapidement développées et illustrées de résultats expérimentaux. Cependant, elles ne sont pas assez de robustes vis à vis de perturbations internes (incertitudes ou variations paramétriques) ou externes (couple de charge). Pour pallier ce problème, des lois de commande par modes glissants, d'ordre 1 et 2, sont alors utilisées. Après une description, des expérimentations sont menées qui démontrent les qualités des modes glissants. Un nouveau mode glissant d'ordre 3, basé sur l'homogénéité géométrique et un terme additionnel de type mode glissant intégral, est introduit pour diminuer la réticence. Les résultats expérimentaux montrent une très bonne précision, une diminution de la réticence et de la consommation énergétique. Pour les commandes d'ordre deux et trois, des observateurs par modes glissants d'ordre 2 sont utilisés avec succès pour se passer d'un capteur de vitesse.
35
Richard, Pierre-Yves. "Approches fondées sur des modèles énergétiques pour l'analyse formelle et la commande des systèmes non linéaires hybrides." Habilitation à diriger des recherches, Université Rennes 1, 2008. http://tel.archives-ouvertes.fr/tel-00354180.
Full textAbstract:
Les travaux décrits dans le mémoire concernent la modélisation, l'analyse et la commande de systèmes dynamiques à caractère le plus souvent hétérogène, à partir d'approches privilégiant les formes de représentation de connaissance. Ils se caractérisent à la fois par un souci de généricité dans les démarches méthodologiques, et par une grande diversité d'objets. Le volet modélisation s'appuie essentiellement sur le choix de l'outil bond graph, qui permet une approche unifiée de l'hétérogénéité physique basée sur le point de vue de l'énergie. Cet outil est d'abord utilisé à des fins de modélisation pure dans des domaines variés allant de la mécatronique au vivant (physiologie cardiovasculaire) en passant par l'électronique de puissance (convertisseurs statiques). L'apport majeur des travaux dans ces domaines consiste en un élargissement du champ de validité de l'approche bond graph à de nouvelles classes de systèmes complexes, avec pour chacune d'entre elles la recherche de démarches de synthèse systématiques. Les principales formes de complexité abordées partagent pour la plupart un caractère hybride, ce qualificatif étant compris dans une acception large qui recouvre trois aspects différents : le couplage entre plusieurs domaines de la physique (pluridisciplinarité), entre des paramètres localisés et répartis (hybridisme spatial), entre des dynamiques continues et des événements discrets (hybridisme temporel, notion de commutation). Dans le prolongement logique de ce premier volet d'activités, une partie importante des travaux concerne l'analyse formelle de modèles bond graphs, à travers l'extension de méthodologies existantes et le développement de nouvelles approches. Une première catégorie de méthodologies étudiées vise à générer, à partir de modèles en bond graph, d'autres types de représentations dynamiques telles que des formes d'état dans le domaine temporel ou des fonctions de transfert dans le domaine symbolique, avec en particulier l'enjeu d'expliciter des modèles initialement implicites, pour faciliter leur simulation et rendre possible l'utilisation de solveurs standards. Une deuxième catégorie de méthodes d'analyse vise directement à exploiter les modèles bond graphs afin de mettre en évidence certaines propriétés structurelles des systèmes dynamiques qu'ils représentent (telles que la platitude différentielle). À l'intérieur de ce volet consacré à l'analyse formelle, une place centrale est accordée à la thématique des systèmes à commutations, qui inscrit les travaux correspondants dans l'axe des systèmes dynamiques hybrides (au sens temporel) propre à l'équipe ASH. Le troisième et dernier grand volet des activités de recherche présentées est consacré à la commande. Il vient à son tour en complément naturel des deux précédents, mais fait l'objet de développements théoriques décorrélés du bond graph, étant essentiellement abordé à travers une approche fondée sur le concept non linéaire de mode glissant. La commande par mode glissant, principe bien connu et largement mis en œuvre dans de nombreuses applications, y est envisagée dans le contexte spécifique des systèmes à entrées logiques (dont les systèmes à commutations sont un cas particulier). De nouvelles stratégies de commande par mode glissant à valeurs binaires sont développées, qui rendent ces lois directement applicables aux systèmes à entrées logiques, au lieu d'être approchées en moyenne par le biais d'une modulation de largeur d'impulsion (MLI).
36
Beargie, Aimee M. "Sliding mode control of a non-collocated flexible system." Thesis, Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/19306.
Full text
37
PENG, SISI. "Evaluating Automatic Model Selection." Thesis, Uppsala universitet, Statistiska institutionen, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-154449.
Full textAbstract:
In this paper, we briefly describe the automatic model selection which is provided by Autometrics in the PcGive program. The modeler only needs to specify the initial model and the significance level at which to reduce the model. Then, the algorithm does the rest. The properties of Autometrics are discussed. We also explain its background concepts and try to see whether the model selected by the Autometrics can perform well. For a given data set, we use Autometrics to find a “new” model, and then compare the “new” model with a previously selected one by another modeler. It is an interesting issue to see whether Autometrics can also find models which fit better to the given data. As an illustration, we choose three examples. It is true that Autometrics is labor saving and always gives us a parsimonious model. It is really an invaluable instrument for social science. But, we still need more examples to strongly support the idea that Autometrics can find a model which fits the data better, just a few examples in this paper is far from enough.
38
Sen, Sagar. "Automatic effective model discovery." Rennes 1, 2010. http://www.theses.fr/2010REN1S042.
Full textAbstract:
Les découvertes scientifiques aboutissent souvent à la représentation de structures dans l’environnement sous forme de graphes d’objets. Par exemple, certains réseaux de réactions biologiques visent à représenter les processus vitaux tels que la consommation de gras ou l’activation/désactivation des gênes. L’extraction de connaissances à partir d'expérimentations, l'analyse des données et l’inférence conduisent à la découverte de structures effectives dans la nature. Ce processus de découverte scientifiques peut-il être automatisé au moyen de diverses sources de connaissances? Dans cette thèse, nous abordons la même question dans le contexte contemporain de l'ingénierie dirigée par les modèles (IDM) de systèmes logiciels complexes. L’IDM vise à accélérer la création de logiciels complexes en utilisant de artefacts de base appelés modèles. Tout comme le processus de découverte de structures effectives en science un modeleur crée dans un domaine de modélisation des modèles effectifs, qui représente des artefacts logiciels utiles. Dans cette thèse, nous considérons deux domaines de modélisation: métamodèles pour la modélisation des langages et des feature diagrams pour les lignes de produits (LPL) logiciels. Pouvons-nous automatiser la découverte de modèles effectifs dans un domaine de modélisation? Le principal défi dans la découverte est la génération automatique de modèles. Les modèles sont des graphes d’objets interconnectés avec des contraintes sur leur structure et les données qu'ils contiennent. Ces contraintes sont imposées par un domaine de modélisation et des sources hétérogènes de connaissances, incluant plusieurs règles de bonne formation. Comment pouvons-nous générer automatiquement des modèles qui satisfont ces contraintes? Dans cette thèse, nous présentons un framework dirigé par les modèles pour répondre à cette question. Le framework pour la découverte automatique de modèles utilise des sources hétérogènes de connaissances pour construire, dans un premier temps, un sous-ensemble concis et pertinent d’une spécification du domaine de modélisation appelée domaine de modélisation effectif. Ensuite, il transforme le domaine de modélisation effectif défini dans différents langages vers un problème de satisfaction de contraintes dans le langage de spécification formel Alloy. Enfin, le framework invoque un solveur sur le modèle Alloy pour générer un ou plusieurs modèles effectifs. Nous incorporons le framework dans deux outils: Cartier pour la découverte de modèles a partir de n’importe quel langage de modélisation et Avishkar pour la découverte de produits dans une LPL. Nous validons notre framework par des expérimentations rigoureuses pour la génération de test, la complétion de modèles partiel, la génération de produits, et la génération d’orchestrations web service. Les résultats montrent que notre framework génère systématiquement des solutions effectives dans des domaines de modélisation à partir de cas d’étude significatifs<br>Scientific discovery often culminates into representing structure in nature as networks (graphs) of objects. For instance, certain biological reaction networks aim to represent living processes such as burning fat or switching genes on/off. Knowledge from experiments, data analysis and mental tacit lead to the discovery of such effective structures in nature. Can this process of scientific discovery using various sources of knowledge be automated? In this thesis, we address the same question in the contemporary context of model-driven engineering (MDE) of complex software systems. MDE aims to grease the wheels of complex software creation using first class artifacts called models. Very much like the process of effective structure discovery in science a modeler creates effective models, representing useful software artifacts, in a modelling domain. In this thesis, we consider two such modelling domains: metamodels for modelling languages and feature diagrams for Software Product Lines (SPLs). Can we automate effective model discovery in a modelling domain? The central challenge in discovery is the automatic generation of models. Models are graphs of inter-connected objects with constraints on their structure and the data contained in them. These constraints are enforced by a modelling domain and heterogeneous sources of knowledge including several well-formedness rules. How can we automatically generate models that simultaneously satisfy these constraints? In this thesis, we present a model-driven framework to answer this question. The framework for automatic model discovery uses heterogeneous sources of knowledge to first setup a concise and relevant subset of a modelling domain specification called the effective modelling domain. Next, it transforms the effective modelling domain defined in possibly different languages to a constraint satisfaction problem in the unique formal specification language Alloy. Finally, the framework invokes a solver on the Alloy model to generate one or more effective models. We embody the framework in two tools: Cartier for model discovery in any modelling language and Avishkar for product discovery in a SPL. We validate our framework through rigorous experiments in test model generation, partial model completion, product generation in SPLs, and generation of web-service orchestrations. The results qualify that our framework consistently generates effective findings in modelling domains from commensurate case studies
39
Северин, Валерий Петрович, Елена Николаевна Никулина та Дарина Андреевна Лютенко. "Анализ и синтез систем управления энергоблока АЭС для маневренных режимов эксплуатации". Thesis, Сумський державний університет, 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/33429.
Full textAbstract:
Усовершенствованы модели и методы для анализа и синтеза систем автоматического управления энергоблоков атомных электростанций на основании методов оптимизации. Построены нелинейные математические модели систем управления энергоблока и проведен синтез оптимальных регуляторов для маневренных режимов эксплуатации.<br>Models and methods for analysis and synthesis of automatic control systems of power units of nuclear power plants were improved on the basis of optimization methods. Nonlinear mathematical models of control systems of power unit were built and synthesis of optimal controllers was carried out for maneuvering modes of operation.
40
Kerkeni, Leila. "Analyse acoustique de la voix pour la détection des émotions du locuteur." Thesis, Le Mans, 2020. http://www.theses.fr/2020LEMA1003.
Full textAbstract:
L'objectif de cette thèse est de proposer un système de reconnaissance automatique des émotions (RAE) par analyse de la voix pour une application dans un contexte pédagogique d'orchestration de classe. Ce système s'appuie sur l'extraction de nouvelles caractéristiques, par démodulation en amplitude et en fréquence, de la voix ; considérée comme un signal multi-composantes modulé en amplitude et en fréquence (AM-FM), non-stationnaire et issue d'un système non-linéaire. Cette démodulation est basée sur l’utilisation conjointe de la décomposition en modes empiriques (EMD) et de l’opérateur d’énergie de Teager-Kaiser (TKEO).Dans ce système, le modèle discret (ou catégoriel) a été retenu pour représenter les six émotions de base (la tristesse, la colère, la joie, le dégoût, la peur et la surprise) et l'émotion dite neutre. La reconnaissance automatique a été optimisée par la recherche de la meilleure combinaison de caractéristiques, la sélection des plus pertinentes et par comparaison de différentes approches de classification. Deux bases de données émotionnelles de référence, en allemand et en espagnol, ont servi à entrainer et évaluer ce système. Une nouvelle base de données en Français, plus appropriée pour le contexte pédagogique a été construite, testée et validée<br>The aim of this thesis is to propose a speech emotion recognition (SER) system for application in classroom. This system has been built up using novel features based on the amplitude and frequency (AM-FM) modulation model of speech signal. This model is based on the joint use of empirical mode decomposition (EMD) and the Teager-Kaiser energy operator (TKEO). In this system, the discrete (or categorical) emotion theory was chosen to represent the six basic emotions (sadness, anger, joy, disgust, fear and surprise) and neutral emotion.Automatic recognition has been optimized by finding the best combination of features, selecting the most relevant ones and comparing different classification approaches. Two reference speech emotional databases, in German and Spanish, were used to train and evaluate this system. A new database in French, more appropriate for the educational context was built, tested andvalidated
41
Hasturk, Ozgur. "The Stabilization Of A Two Axes Gimbal Of A Roll Stabilized Missile." Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613591/index.pdf.
Full textAbstract:
Nowadays, high portion of tactical missiles use gimbaled seeker. For accurate target tracking, the platform where the gimbal is mounted must be stabilized with respect to the motion of the missile body. Line of sight stabilization is critical for fast and precise tracking and alignment. Although, conventional PID framework solves many stabilization problems, it is reported that many PID feedback loops are poorly tuned. In this thesis, recently introduced robot control method, proxy based sliding mode control, is adopted for the line of sight (LOS) stabilization. Before selecting the proposed method, adaptive neural network sliding mode control and fuzzy control are also implemented for comparative purposes. Experimental and simulation results show a satisfactory response of the proxy based sliding mode controller.
42
Mårtensson, Jonas. "Geometric analysis of stochastic model errors in system identification." Doctoral thesis, KTH, Reglerteknik, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4506.
Full textAbstract:
Models of dynamical systems are important in many disciplines of science, ranging from physics and traditional mechanical and electrical engineering to life sciences, computer science and economics. Engineers, for example, use models for development, analysis and control of complex technical systems. Dynamical models can be derived from physical insights, for example some known laws of nature, (which are models themselves), or, as considered here, by fitting unknown model parameters to measurements from an experiment. The latter approach is what we call system identification. A model is always (at best) an approximation of the true system, and for a model to be useful, we need some characterization of how large the model error is. In this thesis we consider model errors originating from stochastic (random) disturbances that the system was subject to during the experiment. Stochastic model errors, known as variance-errors, are usually analyzed under the assumption of an infinite number of data. In this context the variance-error can be expressed as a (complicated) function of the spectra (and cross-spectra) of the disturbances and the excitation signals, a description of the true system, and the model structure (i.e., the parametrization of the model). The primary contribution of this thesis is an alternative geometric interpretation of this expression. This geometric approach consists in viewing the asymptotic variance as an orthogonal projection on a vector space that to a large extent is defined from the model structure. This approach is useful in several ways. Primarily, it facilitates structural analysis of how, for example, model structure and model order, and possible feedback mechanisms, affect the variance-error. Moreover, simple upper bounds on the variance-error can be obtained, which are independent of the employed model structure. The accuracy of estimated poles and zeros of linear time-invariant systems can also be analyzed using results closely related to the approach described above. One fundamental conclusion is that the accuracy of estimates of unstable poles and zeros is little affected by the model order, while the accuracy deteriorates fast with the model order for stable poles and zeros. The geometric approach has also shown potential in input design, which treats how the excitation signal (input signal) should be chosen to yield informative experiments. For example, we show cases when the input signal can be chosen so that the variance-error does not depend on the model order or the model structure. Perhaps the most important contribution of this thesis, and of the geometric approach, is the analysis method as such. Hopefully the methodology presented in this work will be useful in future research on the accuracy of identified models; in particular non-linear models and models with multiple inputs and outputs, for which there are relatively few results at present.<br>QC 20100810
43
Wheeler, Paul H. (Paul Harrison). "Aspects of automation mode confusion." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/42375.
Full textAbstract:
Thesis (S.M.)--Massachusetts Institute of Technology, System Design and Management Program, 2007.<br>Includes bibliographical references (p. 101-108).<br>Complex systems such as commercial aircraft are difficult for operators to manage. Designers, intending to simplify the interface between the operator and the system, have introduced automation to assist the operator. In most cases, the automation has helped the operator, but at times operator confusion as to what the automation is doing has created dangerous situations that lead to property damage or loss of life. This problem, known as mode confusion, has been difficult to analyze and thus solutions tend to be reactive instead of proactive. This thesis examines mode confusion as an emergent property of the operator and the automation. It develops models of the automation and the operator and then studies their emergent behavior. It then applies the model in a case study.<br>by Paul H. Wheeler.<br>S.M.
44
Duvenaud, David. "Automatic model construction with Gaussian processes." Thesis, University of Cambridge, 2014. https://www.repository.cam.ac.uk/handle/1810/247281.
Full textAbstract:
This thesis develops a method for automatically constructing, visualizing and describing a large class of models, useful for forecasting and finding structure in domains such as time series, geological formations, and physical dynamics. These models, based on Gaussian processes, can capture many types of statistical structure, such as periodicity, changepoints, additivity, and symmetries. Such structure can be encoded through kernels, which have historically been hand-chosen by experts. We show how to automate this task, creating a system that explores an open-ended space of models and reports the structures discovered. To automatically construct Gaussian process models, we search over sums and products of kernels, maximizing the approximate marginal likelihood. We show how any model in this class can be automatically decomposed into qualitatively different parts, and how each component can be visualized and described through text. We combine these results into a procedure that, given a dataset, automatically constructs a model along with a detailed report containing plots and generated text that illustrate the structure discovered in the data. The introductory chapters contain a tutorial showing how to express many types of structure through kernels, and how adding and multiplying different kernels combines their properties. Examples also show how symmetric kernels can produce priors over topological manifolds such as cylinders, toruses, and Möbius strips, as well as their higher-dimensional generalizations. This thesis also explores several extensions to Gaussian process models. First, building on existing work that relates Gaussian processes and neural nets, we analyze natural extensions of these models to deep kernels and deep Gaussian processes. Second, we examine additive Gaussian processes, showing their relation to the regularization method of dropout. Third, we combine Gaussian processes with the Dirichlet process to produce the warped mixture model: a Bayesian clustering model having nonparametric cluster shapes, and a corresponding latent space in which each cluster has an interpretable parametric form.
45
Bathla, Rajender, and Anil Kapil. "Analytical Scenario of Software Testing Using Simplistic Cost Model." IJCSN, 2012. http://hdl.handle.net/10150/219531.
Full textAbstract:
Software testing is the process of executing a program with
the intention of finding errors in the code. It is the process
of exercising or evaluating a system or system component
by manual automatic means to verify that it satisfies
specified requirements or to identify differences between
expected and actual results [4]. Software Testing should not
be a distinct phase in System development but should be
applicable throughout the design development and
maintenance phases. ‘Software Testing is often used in
association with terms verification & validation ‘Software
testing is the process of executing software in a controlled
manner, in order to answer the question: Does the software
behave as specified. One way to ensure system‘s
responsibility is to extensively test the system. Since
software is a system component it requires a testing process
also.<br>Software can be tested either manually or automatically.
The two approaches are complementary: automated testing
can perform a huge number of tests in short time or period,
whereas manual testing uses the knowledge of the testing
engineer to target testing to the parts of the system that are
assumed to be more error-prone. Despite this contemporary,
tools for manual and automatic testing are usually different,
leading to decreased productivity and reliability of the
testing process. Auto Test is a testing tool that provides a
“best of both worlds” strategy: it integrates developers’ test
cases into an automated process of systematic contractdriven
testing.
This allows it to combine the benefits of both approaches
while keeping a simple interface, and to treat the two types
of tests in a unified fashion: evaluation of results is the
same, coverage measures are added up, and both types of
tests can be saved in the same format. The objective of this
paper is to discuss the Importance of Automation tool with
associate to software testing techniques in software
engineering. In this paper we provide introduction of
software testing and describe the CASE tools. The solution
of this problem leads to the new approach of software
development known as software testing in the IT world.
Software Test Automation is the process of automating the
steps of manual test cases using an automation tool or utility
to shorten the testing life cycle with respect to time.
46
Chalk, Matěj. "Nástroj pro abstraktní regulární model checking." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2018. http://www.nusl.cz/ntk/nusl-385924.
Full textAbstract:
Formal verification methods offer a large potential to provide automated software correctness checking (based on sound mathematical roots), which is of vital importance. One such technique is abstract regular model checking, which encodes sets of reachable configurations and one-step transitions between them using finite automata and transducers, respectively. Though this method addresses problems that are undecidable in general, it facilitates termination in many practical cases, while also significantly reducing the state space explosion problem. This is achieved by accelerating the computation of reachability sets using incrementally refinable abstractions, while eliminating spurious counterexamples caused by overapproximation using a counterexample-guided abstraction refinement technique. The aim of this thesis is to create a well designed tool for abstract regular model checking, which has so far only been implemented in prototypes. The new tool will model systems using symbolic automata and transducers instead of their (less concise) classic alternatives.
47
Junke, Christophe. "Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus." Phd thesis, Ecole Centrale Paris, 2012. http://tel.archives-ouvertes.fr/tel-00680308.
Full textAbstract:
Nous nous intéressons aux approches formelles pour le développement de systèmes réactifs critiques. Le langage synchrone Lustre pour la spécification de tels systèmes a subit des évolutions majeurs au cours des dernières années en intégrant dans sa sémantique à base flots de données synchrones des constructions de plus haut-niveau appelées automates de modes (dans le langage Scade 6). Ceux-ci mettent en œuvre l'activation de modes de calculs en fonction des états et des transitions de l'automate, et reposent pour cela sur la sémantique des horloges du langage Lustre. En particulier, nous étudiions la prise en compte des horloges et des automates de modes dans l'outil de génération de tests GATeL dédié à l'origine au langage Lustre mono-horloge (flots de données purs). GATeL génère automatiquement des séquences de tests pour un modèle à partir d'un objectif de test décrit en Lustre à travers une exploration en arrière des dépendances entre flots et selon des teniques de résolution de contraintes. Nous présentons ces différents domaines et la mise en oeuvre des modifications apportées à l'outil pour prendre en compte les automates de modes. Enfin, nous définissons des critères de couverture structurelle pour les automates de modes et montrons alors comment, en les traduisant de manière automatique sous forme d'objectifs de tests, GATeL permet de générer des séquences couvrant ces critères.
48
Heussner, Alexander. "Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions". Thesis, Bordeaux 1, 2011. http://www.theses.fr/2011BOR14278/document.
Full textAbstract:
La vérification de propriétés de sûreté des logiciels distribués basés sur des canaux fifo non bornés et fiables mène directement au model checking de systèmes infinis. Nous introduisons la famille des (q)ueueing (c)oncurrent (p)rocesses (QCP) composant des systèmes de transitions locaux, par exemple des automates finis/à pile, qui communiquent entre eux par des files fifo. Le problème d'atteignabilité des états de contrôle est indécidable pour des automates communicants et des automates à plusieurs piles, et par conséquent pour QCP.Nous présentons deux solutions pour contourner ce résultat négatif :Primo, une sur-approximation basée sur l'approche abstraire-tester-raffiner qui s'appuie sur notre nouveau concept de raffinement par chemin. Cette approche mène à permettre d'écrire un semi-algorithme du type CEGAR qui est implémenté avec des QDD et réalisé dans le framework McScM dont le banc d'essai conclut notre présentation.Secundo, nous proposons des restrictions pour les QCP à des piles locales pour démêler l'interaction causale entre les données locales (la pile), et la synchronisation globale. Nous montrons qu'en supposant qu'il existe une borne existentielle sur les exécutions et qu'en ajoutant une condition sur l'architecture, qui entrave la synchronisation de deux piles, on arrive à une réponse positive pour le problème de décidabilité de l'atteignabilité qui est EXPTime-complet (et qui généralise des résultats déjà connus). La construction de base repose sur une simulation du système par un automate à une pile équivalent du point de vue de l'atteignabilité --- sous-jacente, nos deux restrictions restreignent les exécutions à une forme hors-contexte. Nous montrons aussi que ces contraintes apparaissent souvent dans des situations ``concrètes''et qu'elles sont moins restrictives que celles actuellement connues. Une autre possibilité pour arriver à une solution pratiquement utilisable consiste à supposer une borne du problème de décidabilité : nous montrons que l'atteignabilité par un nombre borné de phases est décidable par un algorithme constructif qui est 2EXPTime-complet.Finalement, nous montrons qu'élargir les résultats positifs ci-dessus à la vérification de la logique linéaire temporelle demande soit de sacrifier l'expressivité de la logique soit d'ajouter des restrictions assez fortes aux QCP --- deux restrictions qui rendent cette approche inutilisable en pratique. En réutilisant notre argument de type ``hors-contexte'', nous représentons l'ordre partiel sous-jacent aux exécutions par des grammaires hypergraphes. Cela nous permet de bénéficier de résultats connus concertant le model checking des formules de la logique MSO sur les graphes (avec largeur arborescente bornée), et d'arriver aux premiers résultats concernant la vérification des propriétés sur l'ordre partiel des automates (à pile) communicants<br>The safety verification of distributed programs, that are based on reliable, unbounded fifo communication, leads in a straight line to model checking of infinite state systems. We introduce the family of (q)ueueing (c)oncurrent (p)rocesses (QCP): local transition systems, e.g., (pushdown-)automata, that are globally communicating over fifo channels. QCP inherits thus the known negative answers to the control-state reachability question from its members, above all from communicating automata and multi-stack pushdown systems. A feasible resolution of this question is, however, the corner stone for safety verification.We present two solutions to this intricacy: first, an over-approximation in the form of an abstract-check-refine algorithm on top of our novel notion of path invariant based refinement. This leads to a \cegar semi-algorithm that is implemented with the help of QDD and realized in a small software framework (McScM); the latter is benchmarked on a series ofsmall example protocols. Second, we propose restrictions for QCP with local pushdowns that untangle the causal interaction of local data, i.e., thestack, and global synchronization. We prove that an existential boundedness condition on runs together with an architectural restriction, that impedes the synchronization of two pushdowns, is sufficient and leads to an EXPTime-complete decision procedure (thus subsuming and generalizing known results). The underlying construction relies on a control-state reachability equivalent simulation on a single pushdown automaton, i.e., the context-freeness of the runs under the previous restrictions. We can demonstrate that our constraints arise ``naturally'' in certain classes of practical situations and are less restrictive than currently known ones. Another possibility to gain a practicable solution to safety verification involves limiting the decision question itself: we show that bounded phase reachability is decidable by a constructive algorithms in 2ExpTime, which is complete.Finally, trying to directly extend the previous positive results to model checking of linear temporal logic is not possible withouteither sacrificing expressivity or adding strong restrictions (i.e., that are not usable in practice). However, we can lift our context-freeness argument via hyperedge replacement grammars to graph-like representation of the partial order underlying each run of a QCP. Thus, we can directly apply the well-known results on MSO model checking on graphs (of bounded treewidth) to our setting and derive first results on verifying partial order properties on communicating (pushdown-) automata
49
Liang, Dong. "Automatic generation of software applications." Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.
Full textAbstract:
The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.
50
Jablonský, Viktor. "Automatická tvorba 3D modelů v programu Blender." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237162.
Full textAbstract:
This text was written as part of a master's thesis. It describes development of an automatic generator of 3D models for Blender. After a brief introduction to the Blender application some of existing scripts for 3D model creation (tested as part of theoretical research) are presented. After an analysis of features required from an automatic generator various types of swords were chosen as the suitable class of objects for the automatic creation. Next part of this thesis presents basic terms in this field, namely the nomenclature of the swords and other related weapons. Their most important properties are listed and explained. The chapter also provides a simplified abstract of the sword typology. Following chapters describe main ideas of creating the model, explain principles and mathematics behind used algorithms and procedures and provide information about realization of the GUI as well as testing and optimisation. As the text explains these issues, sugestions about possible future enhancements are made. Document is concluded with an evaluation of all achievements and argues impact of this work on its field.