Relevant bibliographies by topics / Parameterised systems / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Parameterised systems.

Dissertations / Theses on the topic 'Parameterised systems'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Parameterised systems.'

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

Kouvaros, Panagiotis. "Parameterised verification for multi-agent systems." Thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/33793.

Full text
Abstract:
In the past ten years several methods have been put forward for the efficient model checking of multiagent systems against agent-based specifications. Yet, since the number of states is exponential in the number of agents in the system, the model checking problem remains intractable for systems of many agents. This is particularly problematic when wishing to reason about unbounded systems where the number of components is not known at design time. Systems ranging from robotic swarms to e-commerce applications constitute typical examples in which the number of participants is independent of the
APA, Harvard, Vancouver, ISO, and other styles
2

Houhou, Sara. "Parameterised Verification from Formal Specifications of Information Systems." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS421.

Full text
Abstract:
La vérification des modèles de processus métiers est cruciale pour permettre d'y détecter d'éventuelles erreurs dès la conception, plutôt qu'à l'exécution sur des moteurs de processus métier. BPMN est la notation principale pour la modélisation de processus métier. Il s'agit d'un standard ISO, largement utilisé à la fois en enseignement et dans l'industrie. La sémantique de BPMN est cependant définie de façon semi-formelle au sein du standard. C'est pourquoi de nombreux travaux se sont attaqués à la définition d'une sémantique formelle pour BPMN. Dans cette thèse, nous avons tout d’abord fourn
APA, Harvard, Vancouver, ISO, and other styles
3

Graham, Douglas. "Parameterised verification of randomised distributed systems using state-based models." Thesis, Connect to e-thesis, 2008. http://theses.gla.ac.uk/95/.

Full text
Abstract:
Thesis (Ph.D.) - University of Glasgow, 2008.<br>Ph.D. thesis submitted to the Faculty of Information and Mathematical Sciences, University of Glasgow, 2008. Includes bibliographical references. Print version also available.
APA, Harvard, Vancouver, ISO, and other styles
4

Lehaut, Mathieu. "Synthesis for parameterized systems." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS341.

Full text
Abstract:
Cette thèse étudie le problème de la synthèse dans le cadre de systèmes distribués dont le nombre de participants n’est pas connu à l’avance et qui interagissent avec un environnement incontrôlable. Il s’agit alors de construire automatiquement un programme pour un tel système qui sera correct par construction vis à vis d’une spécification donné, si cela est possible. On étudie aussi le problème proche qu’est le contrôle, où il s’agit alors de construire un contrôleur pour un système déjà partiellement défini afin que tous les comportements de ce système soient corrects par rapport à la spécif
APA, Harvard, Vancouver, ISO, and other styles
5

Peach, Nigel G. "Bearings only tracking using a set of range parameterised extended Kalman filters." Thesis, University of Bath, 1997. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362303.

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

Mahata, Pritha. "Model Checking Parameterized Timed Systems." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4835.

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

Malak, Richard J. Jr. "Using parameterized efficient sets to model alternatives for systems design decisions." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26697.

Full text
Abstract:
Thesis (Ph.D)--Mechanical Engineering, Georgia Institute of Technology, 2009.<br>Committee Chair: Paredis, Christiaan J.J.; Committee Member: Bras, Bert; Committee Member: Choudhary, Ruchi; Committee Member: McGinnis, Leon; Committee Member: Rosen, David. Part of the SMARTech Electronic Thesis and Dissertation Collection.
APA, Harvard, Vancouver, ISO, and other styles
8

Ben, Henda Noomene. "Infinite-state Stochastic and Parameterized Systems." Doctoral thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8915.

Full text
Abstract:
<p>A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization.</p><p>Systems with unbounded data structure are natural models for reasoning about communication protocols, concurrent programs, real-time systems, etc. While parameterized systems are more suitable if the system consists of an arbitrary number of identical processes which is the case for cache coherence protocols, distributed algor
APA, Harvard, Vancouver, ISO, and other styles
9

Kojić, Aleksandar M. 1974. "Parameter estimation in nonlinearly parameterized systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47637.

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

Rezine, Ahmed. "Parameterized Systems : Generalizing and Simplifying Automatic Verification." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8587.

Full text
Abstract:
In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. A parameterized system may be regarded as an infinite family of instances, namely one for each size. The aim is to perform a parameterized verification, i.e. to verify that behaviors produced by all instances, regardless of their size, comply with some safety or liveness property. In this work, we describe three approaches to parameterized verifi
APA, Harvard, Vancouver, ISO, and other styles
11

Bherer, Hans. "Controller Synthesis for Parameterized Discrete Event Systems." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/26696/26696.pdf.

Full text
Abstract:
Les systèmes à événements discrets sont des systèmes dynamiques particuliers. Ils changent d’état de fa¸con discrète et le terme événement est utilisé afin de représenter l’occurrence de changements discontinus. Ces systèmes sont principalement construits par l’homme et on les retrouve surtout dans les secteurs manufacturier, de la circu- lation automobile, des bases de données et des protocoles de communication. Cette thèse s’intéresse au contrôle des systèmes paramétrés à événements discrets où les spécifications sont exprimées à l’aide de prédicats et satisfont une condition de similarité.
APA, Harvard, Vancouver, ISO, and other styles
12

Majumdar, Anirban. "Verification and synthesis of parameterized concurrent systems." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG059.

Full text
Abstract:
Cette thèse se situe au croisement de la vérification et de la synthèse des systèmes concurrents paramétrés. Le problème de la vérification de modèles paramétrés demande si un système satisfait une spécification donnée indépendamment du nombre de ses composants, alors que la synthèse vise la conception de protocoles pour ses composants afin que la spécification soit satisfaite.Nous étudions un modèle paramétré de réseaux où les processus sont distribués sur un graphe non orienté; ils exécutent le même protocole et communiquent par des diffusions sélectives de messages. Le problème de couvertur
APA, Harvard, Vancouver, ISO, and other styles
13

Waldburger, Nicolas. "Parameterized verification of distributed shared-memory systems." Electronic Thesis or Diss., Université de Rennes (2023-....), 2024. http://www.theses.fr/2024URENS058.

Full text
Abstract:
Les systèmes distribués sont constitués de plusieurs composantes informatisés (que nous appelons processus) qui interagissent pour accomplir une tâche commune. Un exemple de tâche est le consensus, où tous les processus doivent se mettre d’accord sur une valeur commune. Dans cette thèse, nous nous intéressons aux systèmes à mémoire partagée, où les processus interagissent en lisant et en écrivant dans une mémoire partagée. Nous ne travaillons pas directement sur des systèmes distribués, mais plutôt sur des modèles de ces systèmes, où nous considérons des questions de vérification automatique.
APA, Harvard, Vancouver, ISO, and other styles
14

Haydar, May. "Parameterized events for designing real-time reactive systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ59324.pdf.

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

Sävström, Tomas. "Small Model Theorems for Verification of Parameterized Systems." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-244347.

Full text
Abstract:
The world of software is increasing and the requirements on software systems are getting harder. To ensure that these requirements are fulfilled, we use program verification. The goal of verification is to prove that the system automatically fulfills its requirements. In this thesis, we will consider parameterized systems. A parameterized system is a system that contains an arbitrary number of components (processes) organized according to a particular pattern. Such systems are heavily used to implement mutual exclusion protocols [1,2]. In this thesis we will extend parameterized verification t
APA, Harvard, Vancouver, ISO, and other styles
16

Bond, Bradley N. (Bradley Neil). "Parameterized model order reduction for nonlinear dynamical systems." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/37935.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>Includes bibliographical references (p. 67-70).<br>The presence of several nonlinear analog circuits and Micro-Electro-Mechanical (MEM) components in modern mixed signal System-on-Chips (SoC) makes the fully automatic synthesis and optimization of such systems an extremely challenging task. The research presented in this thesis concerns the development of techniques for generating Parameterized Reduced Order Models (PROMs) of nonlinear dynamical systems. Such reduced order model
APA, Harvard, Vancouver, ISO, and other styles
17

Cao, Chengyu 1973. "Parameter estimation and control of nonlinearly parameterized systems." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/30326.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2004.<br>Includes bibliographical references.<br>Parameter estimation in nonlinear systems is an important issue in measurement, diagnosis and modeling. The goal is to find a differentiator free on-line adaptive estimation algorithm which can estimate the internal unknown parameters of dynamic systems using its inputs and outputs. This thesis provides new algorithms for adaptive estimation and control of nonlinearly parameterized (NLP) systems. First, a Hierarchical Min-max algorithm is invented to estimat
APA, Harvard, Vancouver, ISO, and other styles
18

Jahundovics, Vladislavs. "Automatic Verification of Parameterized Systems by Over-Approximation." Licentiate thesis, Linköpings universitet, Institutionen för datavetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-121776.

Full text
Abstract:
This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of finite state systems where every system consists of a finite number of processes running in parallel the same algorithm. All the systems in the family differ only in the number of the processes and, in general, the number of systems in a family may be unbounded. Examples of parameterized systems are communication protocols, mutual exclusion protocols, cache coherence protocols, distributed algorithms etc. Model-checking of finite state sy
APA, Harvard, Vancouver, ISO, and other styles
19

BRADDE, TOMMASO. "Parameterized macromodeling of passive and active dynamical systems." Doctoral thesis, Politecnico di Torino, 2022. http://hdl.handle.net/11583/2970988.

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

Chan, Brendan K. "Hyperboloid-Parameterized Description of Diffusive Superconducting-Magnetic Hybrid Systems." Thesis, California State University, Long Beach, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10606400.

Full text
Abstract:
<p> We present a study of diffusive Josephson junctions made of two superconductors connected by a magnetic heterostructure. When the link is sufficiently thin, Cooper pairs can tunnel from one superconductor to the other, generating a Josephson current. Junctions with inhomogeneous magnetization are of particular interest because they may display triplet pair correlations with non-zero spin projection along the quantization axis. The generation of these correlations in the hybrid structure is studied by solving numerically the Usadel equations. In previous works, we have shown for example tha
APA, Harvard, Vancouver, ISO, and other styles
21

KojiÄ, Aleksandar M. 1974. "Global parameter identification and control of nonlinearly parameterized systems." Thesis, Massachusetts Institute of Technology, 2002. http://hdl.handle.net/1721.1/8330.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2002.<br>Includes bibliographical references (leaves 109-114).<br>Nonlinearly parameterized (NLP) systems are ubiquitous in nature and many fields of science and engineering. Despite the wide and diverse range of applications, there exist relatively few results in control systems literature which exploit the structure of the nonlinear parameterization. A vast majority of presently applicable global control design approaches to systems with NLP, make use of either feedback-linearization, or assume linear pa
APA, Harvard, Vancouver, ISO, and other styles
22

Sakr, Mouhammad [Verfasser]. "Parameterized verification and repair of concurrent systems / Mouhammad Sakr." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2021. http://d-nb.info/1236571320/34.

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

Baur, Ulrike, Christopher Beattie, Peter Benner, and Serkan Gugercin. "Interpolatory Projection Methods for Parameterized Model Reduction." Universitätsbibliothek Chemnitz, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-201000011.

Full text
Abstract:
We provide a unifying projection-based framework for structure-preserving interpolatory model reduction of parameterized linear dynamical systems, i.e., systems having a structured dependence on parameters that we wish to retain in the reduced-order model. The parameter dependence may be linear or nonlinear and is retained in the reduced-order model. Moreover, we are able to give conditions under which the gradient and Hessian of the system response with respect to the system parameters is matched in the reduced-order model. We provide a systematic approach built on established interpolatory
APA, Harvard, Vancouver, ISO, and other styles
24

Saksena, Mayank. "Verifying Absence of ∞ Loops in Parameterized Protocols." Doctoral thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8605.

Full text
Abstract:
<p>The complex behavior of computer systems offers many challenges for <i>formal verification</i>. The analysis quickly becomes difficult as the number of participating processes increases.</p><p>A <i>parameterized system</i> is a family of systems parameterized on a number <i>n</i>, typically representing the number of participating processes. The <i>uniform verification problem</i> — to check whether a property holds for each instance — is an infinite-state problem. The automated analysis of parameterized and infinite-state systems has been the subject of research over the last 15–20 years.
APA, Harvard, Vancouver, ISO, and other styles
25

Deneux, Johann. "Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6891.

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

Bui-Thanh, Tan. "Model-constrained optimization methods for reduction of parameterized large-scale systems." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/40305.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2007.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 143-158).<br>Most model reduction techniques employ a projection framework that utilizes a reduced-space basis. The basis is usually formed as the span of a set of solutions of the large-scale system, which are computed for selected values (samples) of input parameters and forcing inputs. In existing mode
APA, Harvard, Vancouver, ISO, and other styles
27

Haziza, Frédéric. "Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-264171.

Full text
Abstract:
This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. The task is to show correctness regardless of the size of the system and we consider two methods to prove safety:(i) a backward reachability analysis, using the well-quasi ordered framework and monotonic abstraction, and (ii) a forward analysis which only ne
APA, Harvard, Vancouver, ISO, and other styles
28

DIAZ, RUBEN GOMEZ. "A SYSTEM FOR GENERATION OF PARAMETERIZED MODELS FOR VESSELS DESIGN." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2009. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14888@1.

Full text
Abstract:
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>Este trabalho situa-se numa das linhas de pesquisa da PUC-Rio de projeto de unidades flutuantes tais como, navios e plataformas semi-submersíveis. Nesta linha de pesquisa estão sendo desenvolvidos os programas gráficos MG (Mesh Generator) e o Sstab. O primeiro programa é um modelador geométrico por meio de seções transversais e gerador de malhas para modelos de estruturas flutuantes. O segundo programa é utilizado para a análise de estabilidade estática dos modelos gerados pelo MG. Este trabalho propõe um ambiente integrado de mo
APA, Harvard, Vancouver, ISO, and other styles
29

Röckl, Christine. "On the mechanized validation of infinite-state and parameterized reactive and mobile systems." [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=962067180.

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

Göthel, Thomas [Verfasser], and Sabine [Akademischer Betreuer] Glesner. "Mechanical Verification of Parameterized Real-Time Systems / Thomas Göthel. Betreuer: Sabine Glesner." Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2012. http://d-nb.info/1023762234/34.

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

Rubattu, Claudio. "Response time analysis of parameterized dataflow applications on heterogeneous SW/HW systems." Thesis, Rennes, INSA, 2020. http://www.theses.fr/2020ISAR0005.

Full text
Abstract:
Les fortes contraintes de réactivité et de consommation énergétique des systèmes embarqués et cyber-physiques nécessitent l’utilisation croissante de systèmes de calculs parallèles et fortement hétérogènes. La nature de ces systèmes parallèles implique une énorme complexité dans la compréhension et la prévision des performances en termes de temps de réponse. En effet, le temps de réponse dépend de nombreux facteurs associés aux caractéristiques à la fois de la fonctionnalité implémentée et de l’architecture cible. Les méthodes d’optimisation système actuelles dérivent le temps de réponse du sy
APA, Harvard, Vancouver, ISO, and other styles
32

Arslan, Ali Erkin. "Range Parameterized Bearings-only Tracking Using Particle Filter." Phd thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12614888/index.pdf.

Full text
Abstract:
In this study, accurate target tracking for bearings-only tracking problem is investigated. A new tracking filter for this nonlinear problem is designed where both range parameterization and Rao-Blackwellized (marginalized) particle filtering techniques are used in a Gaussian mixture formulation to track both constant velocity and maneuvering targets. The idea of using target turn rate in the state equation in such a way that marginalization is possible is elaborated. Addition to nonlinear nature, unobservability is a major problem of bearings-only tracking. Observer trajectory generation to i
APA, Harvard, Vancouver, ISO, and other styles
33

Hover, Franz S. "Deeply-towed underwater vehicle systems : a verified analytical procedure for creating parameterized dynamic models." Thesis, Massachusetts Institute of Technology, 1989. http://hdl.handle.net/1721.1/14005.

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

Frechina, Navarro Francisco. "A Rewriting-based, Parameterized Exploration Scheme for the Dynamic Analysis of Complex Software Systems." Doctoral thesis, Universitat Politècnica de València, 2014. http://hdl.handle.net/10251/44234.

Full text
Abstract:
Los sistemas software actuales son artefactos complejos cuyo comportamiento es a menudo extremadamente difícil de entender. Este hecho ha llevado al desarrollo de metodologías formales muy sofisticadas para el análisis, comprensión y depuración de programas. El análisis de trazas de ejecución consiste en la búsqueda dinámica de contenidos específicos dentro de las trazas de ejecución de un cierto programa. La búsqueda puede llevarse a cabo hacia adelante o hacia atrás. Si bien el análisis hacia adelante se traduce en una forma de análisis de impacto que identifica el alcance y las posibles co
APA, Harvard, Vancouver, ISO, and other styles
35

Murali, madhavan rathai Karthik. "Synthesis and real-time implementation of parameterized NMPC schemes for automotive semi-active suspension systems." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALT052.

Full text
Abstract:
Cette thèse traite de la synthèse et de la mise en œuvre en temps réel (RT) de schémas de contrôle prédictif non linéaire paramétré (pNMPC) pour les systèmes de suspension semi-active des automobiles. Le schéma pNMPC est basé sur une technique d'optimisation par simulation en boîte noire. Le point essentiel de la méthode est de paramétrer finement le profil d'entrée et de simuler le système pour chaque entrée paramétrée et d'obtenir la valeur approximative de l'objectif et de la violation des contraintes pour le problème pNMPC. Avec les résultats obtenus de la simulation, l'entrée admissible (
APA, Harvard, Vancouver, ISO, and other styles
36

Lacirignola, Martino. "Life cycle assessment of enhanced geothermal systems : from specific case studies to generic parameterized models." Thesis, Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1095/document.

Full text
Abstract:
Cette recherche vise à étudier les impacts environnementaux d'une technologie émergente de production d’électricité basée sur une source renouvelable, les systèmes géothermiques stimulés (EGS), par l’analyse de leur cycle de vie (ACV).Après avoir analysé plusieurs études de cas, nous avons développé un modèle ACV paramétré capable de caractériser les performances environnementales de la filière EGS. Nos résultats montrent que les émissions de gaz à effet de serre des EGS sur leur cycle de vie sont bien inférieures à celles des centrales utilisant des combustibles fossiles.Dans un deuxième temp
APA, Harvard, Vancouver, ISO, and other styles
37

Lacirignola, Martino. "Life cycle assessment of enhanced geothermal systems : from specific case studies to generic parameterized models." Electronic Thesis or Diss., Paris, CNAM, 2017. http://www.theses.fr/2017CNAM1095.

Full text
Abstract:
Cette recherche vise à étudier les impacts environnementaux d'une technologie émergente de production d’électricité basée sur une source renouvelable, les systèmes géothermiques stimulés (EGS), par l’analyse de leur cycle de vie (ACV).Après avoir analysé plusieurs études de cas, nous avons développé un modèle ACV paramétré capable de caractériser les performances environnementales de la filière EGS. Nos résultats montrent que les émissions de gaz à effet de serre des EGS sur leur cycle de vie sont bien inférieures à celles des centrales utilisant des combustibles fossiles.Dans un deuxième temp
APA, Harvard, Vancouver, ISO, and other styles
38

Andung, Muntaha Muhamad. "Non-intrusive Logging and Monitoring System of a Parameterized Hardware-in-the-loop Real-Time Simulator." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-254655.

Full text
Abstract:
Electronic Control Unit (ECU) is a crucial component in today’s vehicle. In a complete vehicle, there are many ECUs installed. Each of these controls a single function of the vehicle. During the development cycle of an ECU, its functionality needs to be validated against the requirement specification. The Hardware-in-the-loop (HIL) method is commonly used to do this by testing the ECU in a virtual representation of its controlled system. One crucial part of the HIL testing method is an intermediary component that acts as a bridge between the simulation computer and the ECU under test. This com
APA, Harvard, Vancouver, ISO, and other styles
39

Stavrakakis, Kynthia Katherina [Verfasser], Thomas [Akademischer Betreuer] Weiland, and Romanus [Akademischer Betreuer] Dyczij-Edlinger. "Model Order Reduction Methods for Parameterized Systems in Electromagnetic Field Simulations / Kynthia Katherina Stavrakakis. Betreuer: Thomas Weiland ; Romanus Dyczij-Edlinger." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012. http://d-nb.info/110611650X/34.

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

Farough, Aida. "A Parameterized Approach to Partitioning Between Focused and Diffuse Heat Output and Modeling Hydrothermal Recharge at The East Pacific Rise 9°50´N." Thesis, Virginia Tech, 2011. http://hdl.handle.net/10919/78062.

Full text
Abstract:
Ever since the discovery of seafloor hydrothermal systems at mid ocean ridges, scientists have been trying to understand the complex dynamic processes by which thermal energy is transported advectively by chemically reactive aqueous fluids from Earth's interior to the surface. Hydrothermal systems are generally assumed to consist of a heat source and a fluid circulation system. Understanding the interconnected physical, chemical, biological, and geological processes at oceanic spreading centers is important because these processes affect the global energy and biogeochemical budgets of the Eart
APA, Harvard, Vancouver, ISO, and other styles
41

Kaiser, Alexander. "Monotonicity in shared-memory program verification." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:1d16b4b5-524a-40db-b7bf-062374f8679c.

Full text
Abstract:
Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It has been used very successfully for debugging sequential system-level C code. Although model checking was originally designed for analysing concurrent systems, there is little evidence of fruitful applications of predicate abstraction to shared-variable concurrent software. The goal of the present thesis is to close this gap. We propose an algorithmic solution implementing predicate abstraction that targets safety properties in non-recursive programs executed by an unb
APA, Harvard, Vancouver, ISO, and other styles
42

Korneva, Alexandrina. "The Cubicle Fuzzy Loop : A Testing Framework for Cubicle." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG095.

Full text
Abstract:
L'objectif de cette thèse est d'intégrer une technique de test dans le model checker Cubicle. Pour cela, nous avons étendu Cubicle avec une boucle de Fuzzing (appelée Cubicle Fuzzy Loop - CFL). Cette nouvelle fonctionnalité remplit deux fonctions principales.Tout d'abord, elle sert d'oracle pour l'algorithme de génération d'invariants de Cubicle. Ce dernier, basé sur une exploration en avant de l'ensemble des états atteignables, était fortement limité par ses heuristiques lorsqu'elles sont appliquées à des modèles fortementconcurrents. CFL apporte une nouvelle manière plus efficace d'explorer
APA, Harvard, Vancouver, ISO, and other styles
43

Mebsout, Alain. "Inférence d'invariants pour le model checking de systèmes paramétrés." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112188/document.

Full text
Abstract:
Cette thèse aborde le problème de la vérification automatique de systèmesparamétrés complexes. Cette approche est importante car elle permet de garantircertaines propriétés sans connaître a priori le nombre de composants dusystème. On s'intéresse en particulier à la sûreté de ces systèmes et on traitele côté paramétré du problème avec des méthodes symboliques. Ces travauxs'inscrivent dans le cadre théorique du model checking modulo théories et ontdonné lieu à un nouveau model checker : Cubicle.Une des contributions principale de cette thèse est une nouvelle technique pourinférer des invariants
APA, Harvard, Vancouver, ISO, and other styles
44

Pham, Thi Ngoc Diem. "Spécification et conception de services d'analyse de l'utilisation d'un environnement informatique pour l’apprentissage humain." Thesis, Le Mans, 2011. http://www.theses.fr/2011LEMA1015/document.

Full text
Abstract:
Notre travail de recherche s’inscrit dans le cadre du projet de recherche REDiM (Réingénierie des EIAH Dirigée par les Modèles) qui porte sur la réingénierie d'un scénario pédagogique. Il se focalise plus précisément sur l'analyse de traces collectées en session par un EIAH pour fournir à l'enseignant des indicateurs calculés.Dans notre contexte de travail, UTL (Usage Tracking Language) permet de définir des indicateurs sous une forme proche des patrons de conception. Il a été conçu pour répondre aux questions de capitalisation et de réutilisation. Par contre, UTL ne disposait initialement pas
APA, Harvard, Vancouver, ISO, and other styles
45

PIRES, Stéfani Silva. "Descoberta de causa-raiz em ocorrências de sistemas elétricos." Universidade Federal de Campina Grande, 2010. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1471.

Full text
Abstract:
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-16T13:58:48Z No. of bitstreams: 1 STEFANI SILVA PIRES - DISSERTAÇÃO PGCC 2010..pdf: 819684 bytes, checksum: 625f468cb174d699bf5b98131d1adf61 (MD5)<br>Made available in DSpace on 2018-08-16T13:58:48Z (GMT). No. of bitstreams: 1 STEFANI SILVA PIRES - DISSERTAÇÃO PGCC 2010..pdf: 819684 bytes, checksum: 625f468cb174d699bf5b98131d1adf61 (MD5) Previous issue date: 2010-08-19<br>Este trabalho apresenta uma técnica de análise de causa-raiz para sistemas elétricos de potência. A análise de causa-raiz é uma forma de auxiliar o o
APA, Harvard, Vancouver, ISO, and other styles
46

TSAO, YA-LAN, and 曹亞嵐. "Parameterized DSP Core for Communication System." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/67315834973933899323.

Full text
Abstract:
博士<br>國立中央大學<br>電機工程研究所<br>93<br>This thesis is a comprehensive work of a parameterized DSP core for embedded system. The overall research includes the parameterized architecture of the DSP core, multi-function data-path, input/output modes for embedded applications, low-power techniques, optional special function blocks and module generator. Parameterized DSP core is designed for optimal usage of different requirements in system applications. Owing to the parameterized structure, the DSP core can be custom made for dedicated system with parameters setting. The parameterized DSP core is especi
APA, Harvard, Vancouver, ISO, and other styles
47

Teng, Jun-Xian, and 鄧君賢. "Parameterized and Embedded DSP Datapath for Communication Systems." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/08688439715373836824.

Full text
Abstract:
碩士<br>國立中央大學<br>電機工程研究所<br>90<br>Abstract In this thesis, a parameterized DSP datapath design and the parameterized DSP design flow are carried out. The proposed parameterized DSP is composed of DSP itself along with special blocks designed for communication systems. We term this kind processor as parameterized ASIC/DSP core. In the DSP datapath design, a subword MAC path with consideration of guard bit allocation is built for application in two different precision situations. Other than the subword MAC path, a correlator designed for WCDMA system is proposed. The correlator is designed t
APA, Harvard, Vancouver, ISO, and other styles
48

Stahl, Karsten [Verfasser]. "Exploring the limits of parameterized system verification / Karsten Stahl." 2003. http://d-nb.info/971627908/34.

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

Rosemblun, Marcela Laura. "Automatic differentiation: Overview and application to systems of parameterized nonlinear equations." Thesis, 1993. http://hdl.handle.net/1911/13777.

Full text
Abstract:
Automatic Differentiation is a computational technique that allows the evaluation of derivatives of functions defined by computer programs. Derivatives are calculated by applying the chain rule of differential calculus to the sequence of elementary computations involved in the program. In this work, an overview of the theory and implementation of automatic differentiation is presented, as well as a description of the available software. An application of automatic differentiation in the context of solving systems of parameterized nonlinear equations is discussed. In this application, the "diff
APA, Harvard, Vancouver, ISO, and other styles
50

Stavrakakis, Kynthia Katherina. "Model Order Reduction Methods for Parameterized Systems in Electromagnetic Field Simulations." Phd thesis, 2012. https://tuprints.ulb.tu-darmstadt.de/3033/1/ThesisStavrakakisKynthia.pdf.

Full text
Abstract:
The topic of this thesis falls in the field of system approximation. The original large-scale and parameter-dependent model is reduced to a smaller model which approximates the transfer function of the original model while the parameter dependence is retained in the reduced model. The simplified model is then succesfully used instead of the original model in a large variety of applications. The models stem from the Maxwell grid equations, which are obtained from the continuous Maxwell equations with the help of the Finite Integration Theory (FIT). In general, a variety of parameters is possibl
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Parameterised systems' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography