Bibliografías temáticas / Parameterised systems / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Parameterised systems.

Tesis sobre el tema "Parameterised systems"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Parameterised systems".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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/.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
<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
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Resumen
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é.
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
<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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
<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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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 (
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

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

Texto completo
Resumen
博士<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
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Texto completo
Resumen
碩士<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
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Parameterised systems" para otros tipos de fuentes:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía