Relevant bibliographies by topics / Le Devès / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Le Devès.

Dissertations / Theses on the topic 'Le Devès'

Author: Grafiati
Published: 4 June 2021
Last updated: 10 February 2022

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 'Le Devès.'

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

Tourman, Arnaud. "Fonctionnement, dynamique et intérêt paléoenvironnemental des tourbières du plateau volcanique du Devès (Velay, Massif Central français)." Phd thesis, Université Jean Monnet - Saint-Etienne, 2007. http://tel.archives-ouvertes.fr/tel-00498259.

Full text
Abstract:
Le plateau basaltique du Devès, situé dans la région du Velay, au sud du Massif Central oriental français, compte une dizaine de tourbières dont le contexte hydro-géomorphologique est original. Quatre d'entre elles ont été étudié dans ce travail : une vaste tourbière basse de maar, ainsi que trois petites tourbières basses de bassins. Les objectifs assignés à ce travail de recherche sont triples : - approfondir les connaissances écogéographiques sur les tourbières du domaine volcanique du Devès afin d'obtenir un évaluation générale de leur état de santé. - déterminer les impacts des interventi
APA, Harvard, Vancouver, ISO, and other styles
2

Lecocq, Anne. "Hydrogéologie en milieux volcanique : étude de la partie Nord du plateau balsaltique du Deves (Massif Central)." Clermont-Ferrand 2, 1987. http://www.theses.fr/1987CLF21063.

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

Seo, Chungman. "Interoperability between DEVS Simulators using Service Oriented Architecture and DEVS Namespace." Diss., The University of Arizona, 2009. http://hdl.handle.net/10150/194696.

Full text
Abstract:
Interoperability between heterogeneous software systems is an important issue to increase software reusability in the software industry. Many methods are proposed to implement interoperable systems using distributed computing infrastructures such as CORBA, HLA and SOA. Those infrastructures can provide communication channels between software systems with heterogeneous environments. SOA (Service Oriented Architecture) provides a more flexible approach to interoperability than do the others because it provides platform independence and employs platform-neutral message passing with Simple Object
APA, Harvard, Vancouver, ISO, and other styles
4

Šimara, Michal. "Simulační server pro DEVS." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-236425.

Full text
Abstract:
The purpose of this master's thesis was to design and implement the simulation server for the DEVS that is using already existing SmallDEVS system. The work is aimed to description of the DEVS formalism, SmallDEVS and implemented simulation server. This server provides functions to create new DEVS models, edit already existing models and control simulation. In addition server saves information about state changes during the simulation process, so we can find out the state of the model at any simulation time. It allows to analyze this data and get more information about the simulation process,
APA, Harvard, Vancouver, ISO, and other styles
5

Pekkari, Johan. "SEMPER FIDELIS – inte bara en devis!" Thesis, Mittuniversitetet, Institutionen för samhällsvetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-21922.

Full text
Abstract:
Det här arbetet studerar med hjälp av en attitydundersökning förhållandet mellan anställdasoldater och Försvarsmakten i syfte att utveckla förståelsen för soldaters commitment till sinarbetsgivare. Frågeställningen lyder Hur ser soldaters relationer ut till arbetsgivarenFörsvarsmakten? Arbetets teoretiska grund hämtas i begreppet relationship commitment och närmare bestämtden del som benämns attitudinal commitment. Den begreppsdefinition som nyttjas bygger ihuvudsak på Meyer och Allens (1991) tre komponenter av relationship commitment, det villsäga affective commitment (känslomässig), continua
APA, Harvard, Vancouver, ISO, and other styles
6

Hsu, Irving Shang-Yi 1967. "DEVS Monitor: An X Window system-based debugger for the DEVS-scheme simulation environment." Thesis, The University of Arizona, 1992. http://hdl.handle.net/10150/292071.

Full text
Abstract:
An effective testing and debugging tool for simulation modeling must be able to extract the salient characteristics of simulation dynamics and present them in a clear and coherent manner, provide fine-grained control over the execution of simulation, and allow direct manipulation of model state to facilitate hypothesis construction and confirmation. We have designed DEVS Monitor to meet these goals. DEVS Monitor is designed around its graphical display of the dynamic behavior of simulation models. Because models in DEVS-Scheme are object-oriented and hierarchical in nature, DEVS Monitor is abl
APA, Harvard, Vancouver, ISO, and other styles
7

Borland, Spencer. "Transforming statechart models to DEVS." Thesis, McGill University, 2003. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=80231.

Full text
Abstract:
The Statechart formalism is explored. The meta-modeling environment, AToM3, is examined. Statecharts are meta-modelled using the AToM3 tool. The classical, hierarchical DEVS formalism is also explained in detail. A simulation package, pythonDEVS is used to simulate DEVS models. Small modifications to the pythonDEVS package yields a real-time DEVS executor, pythonDEVS. From the Statechart meta-model, a Statechart modeling environment is generated. The mapping of Statechart models onto behaviourally equivalent DEVS models is presented. Statecharts are mapped onto DEVS. A code generator is
APA, Harvard, Vancouver, ISO, and other styles
8

Song, Hongyan 1970. "Infrastructure for DEVS modelling and experimentation." Thesis, McGill University, 2006. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=101651.

Full text
Abstract:
After over thirty years of research and development, Discrete EVent system Specification (DEVS) has been widely accepted and applied in the Modelling and Simulation community. Recently, standardizing DEVS formalism and expanding DEVS application have become major challenges for DEVS researchers. In this thesis, we present our efforts to facilitate the process of DEVS modelling, and to promote DEVS standardization and application.<br>The Infrastructure for DEVS Modelling and Experimenting provides facilities to facilitate the DEVS modelling process at four different levels. At the modelling lev
APA, Harvard, Vancouver, ISO, and other styles
9

Šurina, Timotej. "Implementace simulátoru DEVS v C++20." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445525.

Full text
Abstract:
This master's thesis deals with the issue of modeling and simulation of systems based on the DEVS formalism. The result of this work is a library that is inspired by the adevs tool and based on the classical DEVS formalism. The library is implemented in the programming language C++20 and is supplemented by predefined models of components for creation of queueing systems. The library also contains a set of examples for use in teaching. In comparison with the paralel adevs tool it is less effective but it has simpler interface with focus on clarity, which is more important for teaching. The libr
APA, Harvard, Vancouver, ISO, and other styles
10

Suchý, Václav. "Modelování agentů pro robotický fotbal." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2009. http://www.nusl.cz/ntk/nusl-236706.

Full text
Abstract:
This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.
APA, Harvard, Vancouver, ISO, and other styles
11

Hořák, Jan. "Grafický editor simulačních modelů." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235987.

Full text
Abstract:
This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main sectio
APA, Harvard, Vancouver, ISO, and other styles
12

Shao, Min 1975. "A study of RMF monitoring using DEVS simulation." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/80119.

Full text
Abstract:
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.<br>Includes bibliographical references (leaf 56).<br>by Min Shao.<br>S.B.and M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
13

Broberg, Hanna. "DEVIS: Design av verksamhetsstödjande IT-system : En designteori och metod." Doctoral thesis, Linköpings universitet, VITS - Laboratoriet för verksamhetsinriktad systemutveckling, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-17851.

Full text
Abstract:
Det finns IT-system i verksamheter som inte är verksamhetsstödjande. Dessa ITsystem fungerar mer som hinder än stöd för personalen i utförande av arbetet. Det finns därmed behov av utveckling av IT-system så att de blir verksamhetsstödjande. Denna forsknings förslag är att denna utveckling bör ske med en designteori och metod. Designteorin och metoden har konstruerats genom en eklektisk och kumulativ kunskapsutveckling. Teoretiska komponenter från designteorierna handlingsbarhetsteori och aktivitetsteori har integrerats till en designteori för verksamhetsstödjande IT-system. Metodkomponenter f
APA, Harvard, Vancouver, ISO, and other styles
14

Broberg, Hanna. "DEVIS: Design av verksamhetsstödjande IT-system : en designteori och metod /." Linköping : Linköpings universitet, Institutionen för Industriell och Ekonomisk Utveckling, LiU tr.), 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-17851.

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

Castro, Rui Bayer. "An object-oriented framework for large-scale discrete event simulation modelling : selective external modularity." Thesis, Lancaster University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302371.

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

Srivrunyoo, Inthira. "A Contextualized Web-Based Learning Environments for DEVS Models." Digital Archive @ GSU, 2007. http://digitalarchive.gsu.edu/cs_theses/52.

Full text
Abstract:
With the advance in applying technology in education, the traditional lecture-driven teaching style is gradually replaced by a more active teaching style where the students play a more active rule in the learning process. In this paper we introduce a new initiative to provide a suite of online tools for learning DEVS model. The uniqueness of this tutorial project is the integration of information technology and multimedia into education through the development of an interactive tutorial and the characteristic of contextualized learning. The tutorial teaches students about the basic aspects of
APA, Harvard, Vancouver, ISO, and other styles
17

Srivrunyoo, Inthira. "A contextualized Web-based learning environment for DEVS models." unrestricted, 2007. http://etd.gsu.edu/theses/available/etd-11222007-132933/.

Full text
Abstract:
Thesis (M.S.)--Georgia State University, 2007.<br>Title from file title page. Xiaolin Hu, committee chair; Rajshekhar Sunderraman, Ying Zhu, committee members. Electronic text (71 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Jan. 29, 2008. Includes bibliographical references (p. 70-71).
APA, Harvard, Vancouver, ISO, and other styles
18

Christensen, Eric Richard. "Hierarchical optimistic distributed simulation: Combining DEVS and Time Warp." Diss., The University of Arizona, 1990. http://hdl.handle.net/10150/185241.

Full text
Abstract:
Conventional simulation environments and languages do not provide a unified approach to system decomposition and modelling. Also noticeably lacking is the support for model reuse. In this time of constrained resources--people, time, money--it is imperative that the new methodologies present in parallel computing, software engineering, and artificial intelligence be applied to the modelling and simulation domain. Additionally modelling and simulation must move from one time modelling efforts in isolation to an integrated multifaceted system modelling approach maximizing model reuse and optimizi
APA, Harvard, Vancouver, ISO, and other styles
19

Baati, Lassaad. "Modelisation des structures variables avec DEVS : application aux CGFs." Aix-Marseille 3, 2008. http://www.theses.fr/2008AIX30051.

Full text
Abstract:
La modélisation des structures variables devient cruciale pour la modélisation fidèle ses systèmes dynamiques complexes. Dans le cadre de la modélisation à évènement discret DEVS, diverses solutions ont été apportées. Elles préconisent ou bien l'altération du formalisme classique DEVS en ajoutant des fonctions et des paramètres qui changent sa sémantique, ou bien un mélange entre données de comportement et données de structure. Dans cette optique, nous proposons une approche de modélisatiion DEVS à structure hiérarchique et dynamique, qui préserve ce formalisme dans le but de profiter de ses p
APA, Harvard, Vancouver, ISO, and other styles
20

Debès, Cédric [Verfasser], and Robert [Akademischer Betreuer] Russell. "Physical constraints on protein structure evolution / Cédric Debès ; Betreuer: Robert Russell." Heidelberg : Universitätsbibliothek Heidelberg, 2013. http://d-nb.info/1177382415/34.

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

Garredu, Stéphane. "Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS." Thesis, Corte, 2013. http://www.theses.fr/2013CORT0003/document.

Full text
Abstract:
Cette thèse s’inscrit au carrefour du monde de la modélisation et simulation de systèmes d’une part et du monde de l’ingénierie logicielle d’autre part. Elle vise à faire bénéficier un formalisme de spécification de systèmes à évènements discrets (DEVS) des apports de l’ingénierie dirigée par les modèles (IDM) avec l’une de ses incarnations les plus populaires : MDA (Model Driven Architecture). Le formalisme DEVS de par son adaptabilité et son extensibilité permet l’expression et la simulation de modèles dans des domaines très variés, mais l’existence de plusieurs plateformes dédiées à ce lang
APA, Harvard, Vancouver, ISO, and other styles
22

Togo, Hamidou. "Parallélisation de simulateur DEVS par métamodélisation et transformation de modèle." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22663/document.

Full text
Abstract:
Cette thèse propose une approche d’ingénierie consistant à paralléliser des simulateurs DEVS existants, sans être obligé de modifier les algorithmes de l’implémentation initiale, mais en injectant des composants additionnels adaptés au protocole de communication intercomposants en vigueur. Les algorithmes de simulation de ces nouveaux composants appelés « Manteaux », sont définis. Une démarche d’ingénierie permettant de systématiser le passage d’une implémentation à sa contrepartie parallèle et distribuée est ensuite proposée. Cette démarche s’appuie sur les principes de méta modélisation et d
APA, Harvard, Vancouver, ISO, and other styles
23

Andersson, Patrik, and Erik Norén. "Utvärderingsmetoder för e-tjänster : Användningsbaserad granskning av utvärderingsmetoderna Effektstyrning, DEVIS och Expertutvärdering." Thesis, Linköpings universitet, Institutionen för ekonomisk och industriell utveckling, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-70582.

Full text
Abstract:
Syfte: Denna studie har två huvudsyften, ett praktiskt och ett akademiskt. Det praktiska huvudsyftet är att genomföra en utvärdering av e-tjänsten Nationella Exjobb-poolen (’xjobb.nu’) som drivs av Verket för Högskoleservice (’VHS’). Kopplat till detta har vi haft vårt akademiska huvudsyfte som varit att utvärdera hur väl tre metoder (’Effektstyrning’, ’DEVIS’ och ’Expertutvärdering’) passar för att utvärdera en existerande e-tjänst. Frågor: Vi har utgått från tre forskningsfrågor som med grund i vårt syfte är uppdelade i akademiska och praktiska frågor med inriktning på att utvärdera användba
APA, Harvard, Vancouver, ISO, and other styles
24

Bagoudou, Ousséini. "Les contrats de réparation et d'entretien." Montpellier 1, 1985. http://www.theses.fr/1985MON10025.

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

Brandalise, Gabrielle. "Contrats publics d'ingénierie et d'architecture avec asymétries d'information." Toulouse 1, 1987. http://www.theses.fr/1987TOU10022.

Full text
Abstract:
L'objet de la thèse est l'étude des contrats passés entre l'état et l'ingénierie ou l'architecture privée, dans un cadre d'information asymétrique. Les deux premiers chapitres sont consacrés à un tour d'horizon de la littérature des contrats état-entreprises en l'absence puis en présence d'aversion au risque. Le troisième chapitre présente un modèle normatif pour les marchés publics d'ingénierie et d'architecture. Alors que les contrats issus du modèle et ceux effectivement pratiques sont analogues lorsque la proposition initiale du coût du projet est d'abord provisoire, les deux types de cont
APA, Harvard, Vancouver, ISO, and other styles
26

Morneau-Sévigny, Flore. "Détresse psychologique chez les étudiants universitaires : un devis mixte incluant une méta-analyse." Doctoral thesis, Université Laval, 2017. http://hdl.handle.net/20.500.11794/27938.

Full text
Abstract:
La détresse psychologique est très présente chez les étudiants universitaires. Cette détresse est associée à des conséquences graves tels l’échec scolaire, l’abus de substance ou les pensées suicidaires. Cette thèse se penche sur le phénomène de la détresse psychologique chez les bacheliers canadiens et, plus particulièrement, chez les bacheliers de l’Université Laval. Dans un premier temps, un résumé de l’état de la littérature quant aux facteurs associés à la détresse psychologique des universitaires canadiens a été réalisé grâce à une recension systématique suivie d’une méta-analyse. La mét
APA, Harvard, Vancouver, ISO, and other styles
27

Sun, Yi. "High Performance Simulation of DEVS Based Large Scale Cellular Space Models." Digital Archive @ GSU, 2009. http://digitalarchive.gsu.edu/cs_diss/40.

Full text
Abstract:
Cellular space modeling is becoming an increasingly important modeling paradigm for modeling complex systems with spatial-temporal behaviors. The growing demand for cellular space models has directed researchers to use different modeling formalisms, among which Discrete Event System Specification (DEVS) is widely used due to its formal modeling and simulation framework. The increasing complexity of systems to be modeled asks for cellular space models with large number of cells for modeling the systems¡¯ spatial-temporal behavior. Improving simulation performance becomes crucial for simulating
APA, Harvard, Vancouver, ISO, and other styles
28

Kim, Jinwoo 1963. "Extending DEVS-Scheme for control of an oxygen production test bed." Thesis, The University of Arizona, 1991. http://hdl.handle.net/10150/277874.

Full text
Abstract:
This thesis describes an implementation of real-time simulation and control in the DEVS-Scheme environment. The plant is described by discrete event models developed within the event-based control paradigm. A model of the controller is employed to validate its design against a model of the plant. The same model is then migrated over to actual operation by interfacing it to a programmable sensor/actuator interface unit. A system entity structure is employed to generate both the simulation and execution versions of the controller. This methodology is supported by extensions to the DEVS-Scheme si
APA, Harvard, Vancouver, ISO, and other styles
29

Park, Sunwoo. "Cost-based partitioning for distributed simulation of hierarchical modular DEVS models." Diss., The University of Arizona, 2003. http://hdl.handle.net/10150/280322.

Full text
Abstract:
The main objective of this research is to design and implement a class of generic partitioning algorithms for hierarchical, modular Discrete Event Specification System (DEVS) models for distributed simulation. To attain the goal of this dissertation, a set of partitioning algorithms is designed using the cost analysis methodology. For more than a decade, abundant research has been conducted to develop partitioning algorithms that can find optimal, or reasonably acceptable, solutions for various partitioning problems. These employ methods such as simulated annealing, random partitioning, heuris
APA, Harvard, Vancouver, ISO, and other styles
30

Ninios, Panagiotis. "An object oriented/DEVS framework for strategic modelling and industry simulation." Thesis, London Business School (University of London), 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393259.

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

Jang, Duh 1957. "Realization of distributed experimental frame in DEVS-SCHEME and simulation environment." Thesis, The University of Arizona, 1988. http://hdl.handle.net/10150/276665.

Full text
Abstract:
The thesis describes a realization of distributed experimental frame concepts in DEVS-SCHEME, an object-oriented simulation environment. Also discussed, are the design and implementation issues concerning the attachments of frame components to a model in a given model structure. The algorithm for the attachments is derived to set up the model composition and model couplings when needed. An example of a simplified computer system which consists of a CPU, and a memory management (MGMT), is presented to demonstrate how such a system is observed and experimented with under centralized and decentra
APA, Harvard, Vancouver, ISO, and other styles
32

Hihn, Markus [Verfasser], Dirk [Gutachter] Kreimer, Matthew [Gutachter] DeVos, and Loïc [Gutachter] Foissy. "The generalized chord diagram expansion / Markus Hihn ; Gutachter: Dirk Kreimer, Matthew DeVos, Loïc Foissy." Berlin : Mathematisch-Naturwissenschaftliche Fakultät, 2016. http://d-nb.info/1114229415/34.

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

Berlioz, Marion. "Conception et simulation des préformes en estampage en vue de l'obtention d'un devis rapide." Grenoble INPG, 2000. http://www.theses.fr/2000INPG0134.

Full text
Abstract:
Le développement de la conception intégrée dans les industries conduit à une modification du statut des acteurs de la fabrication. En effet, ceux-ci n'interviennent plus en tant que sous-traitants des concepteurs, mais plutôt comme des partenaires prenant part à la conception des produits qu'ils auront à réaliser. Cependant, pour intervenir à bon escient, chaque acteur doit être en mesure d'évaluer le produit selon son point de vue. Ainsi, des outils propres à chaque métier apparaissent indispensables. Les travaux présentés dans ce manuscrit s'inscrivent dans une politique d'offre de ces 'outi
APA, Harvard, Vancouver, ISO, and other styles
34

Monteix, Christian. "Un modèle informatique des produits manufactures pour la fabrication : application à l’élaboration de devis." Lyon, INSA, 1985. http://www.theses.fr/1985ISAL0032.

Full text
Abstract:
Nous prop·osons un Modèle de données Orienté Production (H. O. P. ) des produits manufacturés dans un contexte général de préparation la fabrication en assurant une compatibilité avec la conception. L ' étude se situe dans les PME-PMI en secteur mécanique. Une définition précise en terme de tâches de la fonction de préparation à la fabrication permet de fixer le contexte fonctionnel de l'étude. La construction d'un modèle conceptuel basé sur les informations nécessaires à ces tâches est alors établie. Elle repose sur une campagne d'entretiens que nous avons conduite auprès d’ingénieurs méthode
APA, Harvard, Vancouver, ISO, and other styles
35

Song, Fei. "An Interactive Wildfire Spread and Suppression Simulation Environment Based on Devs-Fire." Digital Archive @ GSU, 2008. http://digitalarchive.gsu.edu/cs_theses/59.

Full text
Abstract:
Wildfires pose serious threats to the society and environment. Simulation of wildfire spread and fire suppression remains a challenging task due to the complexity of wildfire behavior and fire suppression tactics. In previous work, a wildfire spread and suppression simulation model called DEVS-FIRE has been developed. Based on that model, this thesis develops a graphic user interface to support an interactive simulation environment for surface wildfire spread and suppression simulation. The developed environment allows users to dynamically set up fire spread simulations, and to interacticaly d
APA, Harvard, Vancouver, ISO, and other styles
36

Vasconcelos, Maria Jose. "Modeling spatial dynamic ecological processes with DEVS-Scheme and geographic information systems." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186257.

Full text
Abstract:
The objective of this work is to introduce and illustrate the potential of discrete event, hierarchical modular models for simulating spatial dynamic ecological processes in geographic information systems (GIS). The knowledge based discrete-event simulation environment (DEVS-Scheme) associates stand-alone discrete event models with spatial locations represented in a GIS data base, and couples those models in a coherent manner. The dynamic models can then process spatially distributed information available in a GIS data base, and update it through time. The models also can receive external upda
APA, Harvard, Vancouver, ISO, and other styles
37

Bait, Shiginah Fahad Awadh. "Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency." Diss., The University of Arizona, 2006. http://hdl.handle.net/10150/193709.

Full text
Abstract:
Recent research advances in Discrete EVent system Specification (DEVS) as well as cellular space modeling emphasized the need for high performance modeling methodologies and environments. The growing demand for cellular space models has directed researchers to use different implementation formalisms. Many efforts were dedicated to develop cellular space models in DEVS in order to employ the advantage of discrete event systems. Unfortunately, the conventional implementations degrade the performance in large scale cellular models because of the huge volume of inter-cell messages generated during
APA, Harvard, Vancouver, ISO, and other styles
38

Mittal, Saurabh. "DEVS Unified Process For Integrated Development and Testing of Service Oriented Architectures." Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/194093.

Full text
Abstract:
Service Oriented Architectures (SOA) present challenges to current model-based software engineering methodologies such as Rational Unified Process (RUP). In this research effort we propose a process called DEVS Unified Process (DUNIP) that uses the DEVS formalism as a basis for automated generation of models from various requirement specifications and realization as SOA collaborative services. DEVS is inherently based on object oriented methodology and systems theory, and categorically separates the Model, the Simulator and the Experimental frame, and has been used for systems Modeling &amp; S
APA, Harvard, Vancouver, ISO, and other styles
39

Hild, Daryl Ralph. "Discrete event system specification (DEVS) distributed object computing (DOC) modeling and simulation." Diss., The University of Arizona, 2000. http://hdl.handle.net/10150/284112.

Full text
Abstract:
This research examines an approach to modeling and simulating distributed object computing (DOC) systems as a set of discrete software components mapped onto a set of networked processing nodes. Our overall modeling approach has clearly separated hardware and software components enabling systems level, distributed co-design engineering. The distributed co-design engineering refers to a formal approach to concurrent hardware and software systems engineering that provides a tractable method for analyzing the inherent complexities that arise in distributed systems. The software abstraction forms
APA, Harvard, Vancouver, ISO, and other styles
40

Touraille, Luc. "Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2012. http://tel.archives-ouvertes.fr/tel-00914327.

Full text
Abstract:
The multiplication of software environments supporting DEVS Modeling & Simulation is becoming a hindrance to scientific collaboration. Indeed, the use of disparate tools in the community makes the exchange, reuse and comparison of models very difficult, preventing practitioners from building on previous works to devise models of ever-increasing complexity. Tool interoperability is not the only issue raised by the need for models of higher and higher complexity. As models grow, their development becomes more error-prone, and their simulation becomes more resource-consuming. Consequently, it is
APA, Harvard, Vancouver, ISO, and other styles
41

Trojet, Mohamed Wassim. "Approche de vérification formelle des modèles DEVS à base du langage Z." Aix-Marseille 3, 2010. http://www.theses.fr/2010AIX30040.

Full text
Abstract:
Le cadre général dans lequel se situe cette thèse concerne l’amélioration de la vérification et la validation des modèles de simulation par l'intégration des méthodes formelles. Notre approche consiste à doter les modèles DEVS d’une approche de vérification formelle basée sur le langage Z. DEVS est un formalisme qui permet la description et l'analyse du comportement des systèmes à évènements discrets, c'est à dire, les systèmes dont le changement d'état dépend de l'occurrence d'un évènement. Un modèle DEVS est essentiellement validé par la simulation qui permet de vérifier si celui ci décrit b
APA, Harvard, Vancouver, ISO, and other styles
42

Kolařík, Jan. "Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2013. http://www.nusl.cz/ntk/nusl-236388.

Full text
Abstract:
This thesis describes the design and implementation of an client-server application. This application is used to remote access to models of systems, which are saved on the server. Application also provides editation of the models and their simulation. In the thesis there is a design of Communication Protocol between the client and server too. For the implementation of the client and prototype of the server was used Qt library. Server is realized as a part of existing simulation core (SmallDEVS), which is implemented by Smalltalk.
APA, Harvard, Vancouver, ISO, and other styles
43

SEDDIKI, AMAR. "Elaboration d'une interface logiciel d'etude de devis des pieces usinees sur tour a commande numerique." Paris, ENSAM, 1995. http://www.theses.fr/1995ENAM0004.

Full text
Abstract:
Cette etude contribue essentiellement a l'analyse des problemes de calcul de devis, a une etude des differentes methodes d'etablissement de devis d'usinage existantes et a l'elaboration d'une nouvelle methode de calcul de devis base sur deux principaux concepts. Le concept d'entite d'usinage: la methode s'appuie sur une decomposition de la piece en entites d'usinage et non pas en operations elementaires et sur l'elaboration des modeles d'usinage performant associes aux entites retenues. Nous considerons que la piece est composee d'un certain nombre d'entites d'usinage, telles que pour chaque e
APA, Harvard, Vancouver, ISO, and other styles
44

Stiti, Haddad Farah. "Les stratégies de l’interlocution dans les Nouvelles Récréations et Joyeux Devis de Bonaventure Des Périers." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUL152.

Full text
Abstract:
Dans le sillage des recueils de narrations brèves qui ont fait florès à la Renaissance, les Nouvelles Récréations et Joyeux Devis de Bonaventure Des Périers égrainent une succession d’histoires, sans jamais réellement formuler de morale ni d’explication finale. Toute ambition édificatrice et utilitaire est ainsi récusée, peut-être dans le but de déplacer l’intérêt du lecteur de la matière narrative à sa mise en pratique. En effet, parallèlement au fil diégétique, nous postulons que se développe un fil mimétique qui confère aux nouvelles une étoffe dramatique et transfère l’intérêt de la narrat
APA, Harvard, Vancouver, ISO, and other styles
45

Bencze-Rovez, Ludovic. "Le Ludique et l'absurde dans la littérature du XXè siècle : Raymond Devos et Raymond Queneau." Thesis, Cergy-Pontoise, 2011. http://www.theses.fr/2011CERG0569.

Full text
Abstract:
L'amorce repose sur une contradiction quasi-résorbée : Les ludique et absurde négligés par la littérature, s'imposent au XXe siècle, comme composants utiles à une manifestation intellectuelle plus en phase avec la pensée humaine contemporaine. L'analyse littéraire repose sur l'observation d'aptitudes que manifestent les notions de ludique et d'absurde pour s'adapter aux contraintes inhérentes aux écritures romanesques, théâtrales et poétiques, aujourd'hui. Pour définir les compétences accrues d'un message littéraire en contexte ludique et/ou absurde, la première partie est une relecture ciblée
APA, Harvard, Vancouver, ISO, and other styles
46

Deniz, Fatih. "Variable Structure And Dynamism Extensions To A Devs Based Modeling And Simulation Framework." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12611520/index.pdf.

Full text
Abstract:
In this thesis, we present our approach to add dynamism support to simulation environments, which adopts DEVS-based modeling and simulation approach and builds upon previous work on SiMA, a DEVS-based simulation framework developed at TUBITAK UEKAE. Defining and executing simulation models of complex and adaptive systems is often a non-trivial task. One of the requirements of simulation software frameworks for such complex and adaptive systems is that supporting variable structure models, which can change their behavior and structure according to the changing conditions. In the relevant litera
APA, Harvard, Vancouver, ISO, and other styles
47

Zhang, Ming. "Toward a Flexible and Reconfigurable Distributed Simulation: A New Approach to Distributed DEVS." Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/195286.

Full text
Abstract:
With the increased demand for distributed simulation to support large-scale modeling and simulation applications, much research has focused on developing a suitable framework to support simulation across a heterogeneous computing network. Middleware based solutions have dominated this area for years, however, they lack the flexibility for model partitions and dynamic repartition due to their innate static natures. In this dissertation, a novel approach for DEVS based distributed simulation framework is proposed and implemented. The objective of such a framework is to distribute simulation enti
APA, Harvard, Vancouver, ISO, and other styles
48

Lecocq, Anne. "Hydrogéologie en milieu volcanique étude de la partie nord du plateau basaltique du Deves (Massif central) /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb376071877.

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

Barreiro, Claro Daniela. "Spoc : un canevas pour la composition automatique de services web dédiés à la réalisation de devis." Angers, 2006. http://www.theses.fr/2006ANGE0025.

Full text
Abstract:
Une requête d'un utilisateur peut correspondre à l'emploi de plusieurs services exécutés conjointement. Ce type de problème est connu comme la composition de services web. Dans cette thèse, nous proposons un canevas pour la composition automatique des services web, nommé SPOC (Semantic-based Planning Optimized Compositions). Ce canevas se décompose en quatre phases successives : la découverte, la planification, l'exécution de devis et l'optimisation. La phase de découverte recherche les services web qui vont être candidats. La phase de planification détermine quelle composition de services peu
APA, Harvard, Vancouver, ISO, and other styles
50

Skogstad, Kjell-Inge. "Multi-Formalism Modelling of a Submarine Combat System Test Facility: an Application of DEVS." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2006. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9332.

Full text
Abstract:
<p>This thesis aims at applying and exploring the DEVS-based theory for the purpose of gaining experiences and recommendations with regards to the usefulness of DEVS in the analysis of a submarine combat system and in establishing simulation credibility. In this regard, first a literature study of the DEVS-based literature is performed, before a case study is carried out, targeting a subset of the submarine combat system test bed under construction at Forsvarets forskningsinstitutt (FFI). In doing so, an architectural description of the subset based on DEVS is created and special requirements
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Le Devès' for other source types:
Journal articles Books
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