Log in

Relevant bibliographies by topics / System-level models / Dissertations / Theses

To see the other types of publications on this topic, follow the link: System-level models.

Dissertations / Theses on the topic 'System-level models'

Author: Grafiati

Published: 4 June 2021

Last updated: 8 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 'System-level models.'

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

Chadha, Vikrampal. "Simulation of large-scale system-level models." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-12162009-020334/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Nel, Christoffel Antonie. "The creation of nonlinear behavioral-level models for system level receiver simulation." Thesis, Stellenbosch : Stellenbosch University, 2004. http://hdl.handle.net/10019.1/50128.

Full text

Abstract:

Thesis (MScEng)--Stellenbosch University, 2004.<br>ENGLISH ABSTRACT: The aim of this thesis was to investigate the use of behavioral level models in receiver simulations using the capabilities of Agilent's Advanced Design System. Behavioral level modeling has become increasingly attractive because it offers faster and easier results for system level simulations. The work in this thesis focused strongly on nonlinear measurements to characterize the various nonlinear phenomena that are present in amplifiers and mixers. Measurement automation software was developed to automate the process.

APA, Harvard, Vancouver, ISO, and other styles

3

Arnedo, Luis. "System Level Black-Box Models for DC-DC Converters." Diss., Virginia Tech, 2008. http://hdl.handle.net/10919/29193.

Full text

Abstract:

The aim of this work is to develop a two-port black-box dc-dc converter modeling methodology for system level simulation and analysis. The models do not require any information about the components, structure, or control parameters of the converter. Instead, all the information needed to build the models is collected from unterminated experimental frequency response function (FRF) measurements performed at the converter power terminals. These transfer funtions are known as audiosuceptibility, back current gain, output impedance, and input admittance. The measurements are called unterminated b

APA, Harvard, Vancouver, ISO, and other styles

4

Lai, Jimmy Chi-Ming. "Abstraction models at system level for networked interactive multimedia scripting." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/38066.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.<br>Includes bibliographical references (p. 85-86).<br>by Jimmy Chi-Ming Lai.<br>M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

5

Montagna, Sara <1982&gt. "Multi-level models and infrastructures for simulating biological system development." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3415/.

Full text

Abstract:

The hierarchical organisation of biological systems plays a crucial role in the pattern formation of gene expression resulting from the morphogenetic processes, where autonomous internal dynamics of cells, as well as cell-to-cell interactions through membranes, are responsible for the emergent peculiar structures of the individual phenotype. Being able to reproduce the systems dynamics at different levels of such a hierarchy might be very useful for studying such a complex phenomenon of self-organisation. The idea is to model the phenomenon in terms of a large and dynamic network of compartmen

APA, Harvard, Vancouver, ISO, and other styles

6

Patel, Hiren Dhanji. "Ingredients for Successful System Level Automation & Design Methodology." Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/26825.

Full text

Abstract:

This dissertation addresses the problem of making system level design (SLD) methodology based on SystemC more useful to the complex embedded system design community by presenting a number of ingredients currently absent in the existing SLD methodologies and frameworks. The complexity of embedded systems have been increasing at a rapid rate due to proliferation of desired functionality of such systems (e.g., cell phones, game consoles, hand-held devices, etc., are providing more features every few months), and the device technology still riding the curve predicted by Moore's law. Design method

APA, Harvard, Vancouver, ISO, and other styles

7

Park, Yong Hwa. "An evaluation methodology for the level of service at the airport landside system." Thesis, Online version, 1994. http://ethos.bl.uk/OrderDetails.do?did=1&uin=uk.bl.ethos.260890.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Zaum, Daniel [Verfasser]. "System Level Analysis of Mixed-Signal Systems using State Space Models / Daniel Zaum." München : Verlag Dr. Hut, 2011. http://d-nb.info/1017353360/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

La, Fratta Patrick Anthony. "Evaluating the Design and Performance of a Single-Chip Parallel Computer Using System-Level Models and Methodology." Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/32424.

Full text

Abstract:

As single-chip systems are predicted to soon contain over a billion transistors, design methodologies are evolving dramatically to account for the fast evolution of technologies and product properties. Novel methodologies feature the exploration of design alternatives early in development, the support for IPs, and early error detection â all with a decreasing time-to-market. In order to accommodate these product complexities and development needs, the modeling levels at which designers are working have quickly changed, as development at higher levels of abstraction allows for faster simula

APA, Harvard, Vancouver, ISO, and other styles

10

Shahid, Hamid. "Integration of System-Level Design and Mechanical Design Models in the Development of Mechanical Systems." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-53061.

Full text

Abstract:

Modern-day systems are becoming complex due to the growing needs of the market. These systems contain various subsystems developed by different groups of engineers. Particularly, all mechatronics systems involve different mechanical, electrical and software parts developed by multidisciplinary teams of engineers from different backgrounds. Designing of these complex systems requires effective management, of the engineering and the system integration information, across all the involved disciplines. Model Based System Engineering (MBSE) is one of the effective ways for managing the engineering

APA, Harvard, Vancouver, ISO, and other styles

11

Nimmatoori, Praneeth. "Comparison of Several Project Level Pavement Condition Prediction Models." University of Toledo / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1578491583921183.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Alhroob, Aysh M. "Software test case generation from system models and specification. Use of the UML diagrams and High Level Petri Nets models for developing software test cases." Thesis, University of Bradford, 2010. http://hdl.handle.net/10454/5453.

Full text

Abstract:

The main part in the testing of the software is in the generation of test cases suitable for software system testing. The quality of the test cases plays a major role in reducing the time of software system testing and subsequently reduces the cost. The test cases, in model de- sign stages, are used to detect the faults before implementing it. This early detection offers more flexibility to correct the faults in early stages rather than latter ones. The best of these tests, that covers both static and dynamic software system model specifications, is one of the chal- lenges in the sof

APA, Harvard, Vancouver, ISO, and other styles

13

Schürmans, Stefan [Verfasser], Rainer [Akademischer Betreuer] Leupers, and Tobias [Akademischer Betreuer] Gemmeke. "Power Estimation on Electronic System Level using Linear Power Models / Stefan Schürmans ; Rainer Leupers, Tobias Gemmeke." Aachen : Universitätsbibliothek der RWTH Aachen, 2018. http://d-nb.info/1171323808/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Alhroob, Aysh Menoer. "Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases." Thesis, University of Bradford, 2010. http://hdl.handle.net/10454/5453.

Full text

Abstract:

The main part in the testing of the software is in the generation of test cases suitable for software system testing. The quality of the test cases plays a major role in reducing the time of software system testing and subsequently reduces the cost. The test cases, in model de- sign stages, are used to detect the faults before implementing it. This early detection offers more flexibility to correct the faults in early stages rather than latter ones. The best of these tests, that covers both static and dynamic software system model specifications, is one of the chal- lenges in the software test

APA, Harvard, Vancouver, ISO, and other styles

15

Fischer, Marco. "A Formal Fault Model for Component-Based Models of Embedded Systems." Doctoral thesis, Dresden : TUDpress, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2960240&prov=M&dok_var=1&dok_ext=htm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Shrestha, Pratigya. "Inverter-based Control to Enhance the Resiliency of a Distribution System." Thesis, Virginia Tech, 2019. http://hdl.handle.net/10919/93764.

Full text

Abstract:

Due to the increase in the integration of renewable energy to the grid, there is a critical need for varying the existing methods and techniques for grid operation. With increased renewable energy, mainly wind and photovoltaics, there is a reduction in inertia as the percentage of inverter-based resources is increasing. This can bring about an issue with the maintenance and operation of the grid with respect to frequency and voltage. Thus, the ability of inverters to regulate the voltage and frequency becomes significant. Under normal operation of the system, the ability of the inverters to su

APA, Harvard, Vancouver, ISO, and other styles

17

Fischer, Marco. "A formal fault model for component based models of embedded systems." Dresden TUDpress, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2960240&prov=M&dok_var=1&dok_ext=htm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Ungureanu, George. "Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-127832.

Full text

Abstract:

In the past decade we have witnessed an abrupt shift to parallel computing subsequent to the increasing demand for performance and functionality that can no longer be satisfied by conventional paradigms. As a consequence, the abstraction gab between the applications and the underlying hardware increased, triggering both industry and academia in several research directions. This thesis project aims at analyzing some of these directions in order to offer a solution for bridging the abstraction gap between the description of a problem at a functional level and the implementation on a heterogeneou

APA, Harvard, Vancouver, ISO, and other styles

19

Kazi, Tarannum Ayesha. "An investigation of drivers' self-reported level of trust in adaptive-cruise-control and their conceptual models of the system." Thesis, Brunel University, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436500.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Raymond, Alexander William. "Investigation of microparticle to system level phenomena in thermally activated adsorption heat pumps." Thesis, Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/34682.

Full text

Abstract:

Heat actuated adsorption heat pumps offer the opportunity to improve overall energy efficiency in waste heat applications by eliminating shaft work requirements accompanying vapor compression cycles. The coefficient of performance (COP) in adsorption heat pumps is generally low. The objective of this thesis is to model the adsorption system to gain critical insight into how its performance can be improved. Because adsorption heat pumps are intermittent devices, which induce cooling by adsorbing refrigerant in a sorption bed heat/mass exchanger, transient models must be used to predict perfo

APA, Harvard, Vancouver, ISO, and other styles

21

Specht, Emilena. "An approach for embedded software generation based in declarative alloy models." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/22812.

Full text

Abstract:

Este trabalho propõe uma nova abordagem para o desenvolvimento de sistemas embarcados, através da combinação da abstração e propriedades de verificação de modelos da linguagem declarativa Alloy com a ampla aceitação de Java na indústria. A abordagem surge no contexto de que a automação de software no domínio embarcado tornou-se extremamente necessária, uma vez que atualmente a maior parte do tempo de desenvolvimento é gasta no projeto de software de produtos tão restritos em termos de recursos. As ferramentas de automação de software embarcado devem atender a demanda por produtividade e manute

APA, Harvard, Vancouver, ISO, and other styles

22

Rullmann, Markus. "Models, Design Methods and Tools for Improved Partial Dynamic Reconﬁguration". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-61526.

Full text

Abstract:

Partial dynamic reconﬁguration of FPGAs has attracted high attention from both academia and industry in recent years. With this technique, the functionality of the programmable devices can be adapted at runtime to changing requirements. The approach allows designers to use FPGAs more efﬁciently: E. g. FPGA resources can be time-shared between different functions and the functions itself can be adapted to changing workloads at runtime. Thus partial dynamic reconﬁguration enables a unique combination of software-like ﬂexibility and hardware-like performance. Still there exists no common understa

APA, Harvard, Vancouver, ISO, and other styles

23

Patel, Hiren Dhanji. "HEMLOCK: HEterogeneous ModeL Of Computation Kernel for SystemC." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/9632.

Full text

Abstract:

As SystemC gains popularity as a System Level Design Language (SLDL) for System-On-Chip (SOC) designs, heterogeneous modelling and efficient simulation become increasingly important. The key in making an SLDL heterogeneous is the facility to express different Models Of Computation (MOC). Currently, all SystemC models employ a Discrete-Event simulation kernel making it difficult to express most MOCs without specific designer guidelines. This often makes it unnatural to express different MOCs in SystemC. For the simulation framework, this sometimes results in unnecessary delta cycles for models

APA, Harvard, Vancouver, ISO, and other styles

24

Hu, Chih-Chieh. "Mechanistic modeling of evaporating thin liquid film instability on a bwr fuel rod with parallel and cross vapor flow." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/28148.

Full text

Abstract:

Thesis (M. S.)--Mechanical Engineering, Georgia Institute of Technology, 2009.<br>Committee Chair: Abdel-Khalik, Said; Committee Member: Ammar, Mostafa H.; Committee Member: Ghiaasiaan, S. Mostafa; Committee Member: Hertel, Nolan E.; Committee Member: Liu, Yingjie.

APA, Harvard, Vancouver, ISO, and other styles

25

Saman, Nariman Goran. "A Framework for Secure Structural Adaptation." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-78658.

Full text

Abstract:

A (self-) adaptive system is a system that can dynamically adapt its behavior or structure during execution to "adapt" to changes to its environment or the system itself. From a security standpoint, there has been some research pertaining to (self-) adaptive systems in general but not enough care has been shown towards the adaptation itself. Security of systems can be reasoned about using threat models to discover security issues in the system. Essentially that entails abstracting away details not relevant to the security of the system in order to focus on the important aspects related to secu

APA, Harvard, Vancouver, ISO, and other styles

26

Park, Byung-Goo. "A system-level testability allocation model /." free to MU campus, to others for purchase, 1997. http://wwwlib.umi.com/cr/mo/fullcit?p9842588.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Nemouchi, Yakoub. "Model-based Testing of Operating System-Level Security Mechanisms." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS061/document.

Full text

Abstract:

Le test à base de modèle, en particulier test basé sur des assistants à la preuve, réduit de façon transparente l'écart entre la théorie, le modèle formel, et l’implémentation d'un système informatique. Actuellement, les techniques de tests offrent une possibilité d'interagir directement avec de "vrais" systèmes : via différentes propriétés formelles, les tests peuvent être dérivés et exécutés sur le système sous test. Convenablement, l'ensemble du processus peut être entièrement automatisé. Le but de cette thèse est de créer un environnement de test de séquence à base de modèle pour les progr

APA, Harvard, Vancouver, ISO, and other styles

28

Saha, Bhaskar. "A model-based reasoning architecture for system-level fault diagnosis." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/22653.

Full text

Abstract:

Thesis (Ph. D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2008.<br>Committee Chair: Vachtsevanos, George; Committee Member: Liang, Steven; Committee Member: Michaels, Thomas; Committee Member: Vela, Patricio; Committee Member: Wardi, Yorai.

APA, Harvard, Vancouver, ISO, and other styles

29

Ammer, Michael Johannes [Verfasser], Linus [Akademischer Betreuer] Maurer, Linus [Gutachter] Maurer, Martin [Gutachter] Sauter, and Bernd [Gutachter] Deutschmann. "A Methodology to Generate Transient Behavioral Models of Complete ICs out of Design Data for ESD and Electrical Stress Simulation on System Level / Michael Johannes Ammer ; Gutachter: Linus Maurer, Martin Sauter, Bernd Deutschmann ; Akademischer Betreuer: Linus Maurer ; Universität der Bundeswehr München, Fakultät für Elektrotechnik und Informationstechnik." Neubiberg : Universitätsbibliothek der Universität der Bundeswehr München, 2020. http://d-nb.info/1229997016/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Blömeling, Frank. "Multi-level substructuring methods for model order reduction." Berlin dissertation.de, 2008. http://d-nb.info/988537184/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Shi, Jianlin. "Model and tool integration in high level design of embedded system /." Stockholm : Maskinkontruktion, Kungliga Tekniska högskolan, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4589.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Toczek, Tomasz. "Une approche fonctionnelle pour la conception et l'exploration architecturale de systèmes numériques." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00665104.

Full text

Abstract:

Ce manuscrit présente une méthode de conception au niveau système reposant sur la programmation fonctionnelle typée et visant à atténuer certains des problèmes complexifiant le développement des systèmes numériques modernes, tels que leurs tailles importantes ou la grande variété des blocs les constituant. Nous proposons un ensemble de mécanismes permettant de mélanger au sein d'un même design plusieurs formalismes de description distincts ("modèles de calcul") se situant potentiellement à des niveaux d'abstraction différents. De plus, nous offrons au concepteur la possibilité d'expliciter dir

APA, Harvard, Vancouver, ISO, and other styles

33

Gladigau, Jens [Verfasser], and Teich [Akademischer Betreuer] Jürgen. "Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling / Jens Gladigau. Betreuer: Teich Jürgen." Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012. http://d-nb.info/1028958757/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Zhang, Ran. "Decision Support Models for A Few Critical Problems in Transportation System Design and Operations." Scholar Commons, 2017. http://scholarcommons.usf.edu/etd/6669.

Full text

Abstract:

Transportation system is one of the key functioning components of the modern society and plays an important role in the circulation of commodity and growth of economy. Transportation system is not only the major influencing factor of the efficiency of large-scale complex industrial logistics, but also closely related to everyone’s daily life. The goals of an ideal transportation system are focused on improving mobility, accessibility, safety, enhancing the coordination of different transportation modals and reducing the impact on the environment, all these activities require sophisticated desi

APA, Harvard, Vancouver, ISO, and other styles

35

Beltz, Jeffrey R. "Transitioning Middle Level Students Through a Tuition Model in Pennsylvania's Public School System." Youngstown State University / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=ysu1541160306624089.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Muhammad, Naeem. "Suitability of the Requirements Abstraction Model (RAM) Requirements for High Level System Testing." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4127.

Full text

Abstract:

In market-driven requirements engineering requirements are elicited from various internal and external sources. These sources may include engineers, marketing teams, customers etc. This results in a collection of requirements at multiple levels of abstractions. The Requirements Abstraction Model (RAM) is a Market Driven Requirements Engineering (MDRE) model that helps in managing requirements by organizing them at four levels (product, feature, function and component) of abstraction. The model is adaptable and can be tailored to meet the needs of the various organizations e.g. number of abstra

APA, Harvard, Vancouver, ISO, and other styles

37

Harrath, Nesrine. "A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level." Thesis, Paris, CNAM, 2014. http://www.theses.fr/2014CNAM0957/document.

Full text

Abstract:

Les systèmes embarqués sont de plus en plus intégrés dans les applications temps réel actuelles. Ils sont généralement constitués de composants matériels et logiciels profondément Intégrés mais hétérogènes. Ces composants sont développés sous des contraintes très strictes. En conséquence, le travail des ingénieurs de conception est devenu plus difficile. Pour répondre aux normes de haute qualité dans les systèmes embarqués de nos jours et pour satisfaire aux besoins quotidiens de l'industrie, l'automatisation du processus de développement de ces systèmes prend de plus en plus d'ampleur. Un déf

APA, Harvard, Vancouver, ISO, and other styles

38

Tamssaouet, Ferhat. "Towards system-level prognostics : modeling, uncertainty propagation and system remaining useful life prediction." Thesis, Toulouse, INPT, 2020. http://www.theses.fr/2020INPT0079.

Full text

Abstract:

Le pronostic est le processus de prédiction de la durée de vie résiduelle utile (RUL) des composants, sous-systèmes ou systèmes. Cependant, jusqu'à présent, le pronostic a souvent été abordé au niveau composant sans tenir compte des interactions entre les composants et l'impact de l'environnement, ce qui peut conduire à une mauvaise prédiction du temps de défaillance dans des systèmes complexes. Dans ce travail, une approche de pronostic au niveau du système est proposée. Cette approche est basée sur un nouveau cadre de modélisation : le modèle d'inopérabilité entrée-sortie (IIM), qui permet d

APA, Harvard, Vancouver, ISO, and other styles

39

Gupta, Vishakha. "Coordinated system level resource management for heterogeneous many-core platforms." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42750.

Full text

Abstract:

A challenge posed by future computer architectures is the efficient exploitation of their many and sometimes heterogeneous computational cores. This challenge is exacerbated by the multiple facilities for data movement and sharing across cores resident on such platforms. To answer the question of how systems software should treat heterogeneous resources, this dissertation describes an approach that (1) creates a common manageable pool for all the resources present in the platform, and then (2) provides virtual machines (VMs) with multiple `personalities', flexibly mapped to and efficientl

APA, Harvard, Vancouver, ISO, and other styles

40

Invergo, Brandon M. 1982. "A system-level, molecular evolutionary analysis of mammalian phototransduction." Doctoral thesis, Universitat Pompeu Fabra, 2013. http://hdl.handle.net/10803/145482.

Full text

Abstract:

Phototransduction is the biochemical process by which a light stimulus is converted to a neuronal signal. The process functions through complex interactions between many proteins, which work in concert to tightly control the dynamics of the photoresponse. The primary aim of this thesis is to describe how the topology and kinetics of these interactions have given rise to detectable patterns of molecular evolution. To this end, a secondary aim is to develop a comprehensive mathematical model of mammalian phototransduction, first through the improvement of an existing model of the amph

APA, Harvard, Vancouver, ISO, and other styles

41

Liang, Feng. "Modeling in Modelica and SysML of System Engineering at Scania Applied to Fuel Level Display." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-84829.

Full text

Abstract:

The main objective of this thesis is to introduce a four perspectives structure in order to provide one solution for traceability and dependability in the system design phase. The traceability between different perspectives help engineers have a clear picture of the whole system before goes to the real implementation. Fuel Level Display system from Scania Truck is used to undertake as a case study to offer insights of the approach. A four perspectives structure is made in the first place in order to analysis traceability between different viewpoints. After implementing the Fuel Level Display

APA, Harvard, Vancouver, ISO, and other styles

42

Alshekhly, Zoubida, and Namra Gill. "Proof-of-concept of Model-based testing based on an UML-model of a water-level measurement system." Thesis, Malmö universitet, Fakulteten för teknik och samhälle (TS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-20548.

Full text

Abstract:

Software testing is a very important phase in software development as it minimize risks ina software system, however, it consumes time and can be very expensive. With automatictest case generation time consumption and cost can be reduced. Model-based testing isa method to test a software system with a model of the systems behaviour. Automatictest case generation is often considered a favorable support in model-based testing. In thiswork, the concept of model-based testing is explored along with testing the embedded partof a water-level measurement system (WLM) to investigate the efficiency of

APA, Harvard, Vancouver, ISO, and other styles

43

Gill, Janet Ann. "A model linking safety, threat and other critical causal factors to their system-level mitigators." Thesis, Queen Mary, University of London, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.435052.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Sinclair, Frazer Hamilton. "Community level consequences of adaptive management through climate matching : oak galls as a model system." Thesis, University of Edinburgh, 2012. http://hdl.handle.net/1842/7684.

Full text

Abstract:

In the present century, ecosystems across the globe will be subject to profound changes in climate. Forests are expected to be particularly sensitive to such change as the long life span of trees limits the potential for rapid adaptation. In order to preserve commercial viability and the essential ecosystem services provided by forests, there has been much interest in strategies for managing the adaptation of trees to their climatic environment. Climate Matching has emerged as one such strategy, whereby climate models are used to identify provenances – tree populations at a particular locality

APA, Harvard, Vancouver, ISO, and other styles

45

Chang, Biao. "Spatial analysis of sea level rise associated with climate change." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/49062.

Full text

Abstract:

Sea level rise (SLR) is one of the most damaging impacts associated with climate change. The objective of this study is to develop a comprehensive framework to identify the spatial patterns of sea level in the historical records, project regional mean sea levels in the future, and assess the corresponding impacts on the coastal communities. The first part of the study suggests a spatial pattern recognition methodology to characterize the spatial variations of sea level and to investigate the sea level footprints of climatic signals. A technique based on artificial neural network is proposed to

APA, Harvard, Vancouver, ISO, and other styles

46

Ibrahim, Shire Mohammed. "Participatory system dynamics modelling approach to safe and efficient staffing level management within hospital pharmacies." Thesis, Loughborough University, 2018. https://dspace.lboro.ac.uk/2134/34790.

Full text

Abstract:

With increasingly complex safety-critical systems like healthcare being developed and managed, there is a need for a tool that allows us to understand their complexity, design better strategies and guide effective change. System dynamics (SD) has been widely used in modelling across a range of applications from socio-economic to engineering systems, but its potential has not yet been fully realised as a tool for understanding trade-off dynamics between safety and efficiency in healthcare. SD has the potential to provide balanced and trustworthy insights into strategic decision making. Particip

APA, Harvard, Vancouver, ISO, and other styles

47

Deb, Abhijit Kumar. "System Design for DSP Applications with the MASIC Methodology." Doctoral thesis, KTH, Microelectronics and Information Technology, IMIT, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3820.

Full text

Abstract:

<p>The difficulties of system design are persistentlyincreasing due to the integration of more functionality on asystem, time-to-market pressure, productivity gap, andperformance requirements. To address the system designproblems, design methodologies build system models at higherabstraction level. However, the design task to map an abstractfunctional model on a system architecture is nontrivial becausethe architecture contains a wide variety of system componentsand interconnection topology, and a given functionality can berealized in various ways depending on cost-performancetradeoffs. Theref

APA, Harvard, Vancouver, ISO, and other styles

48

Park, Nai Soo. "Frequency Management Database Model (FMDM) for the Korean Army Communication System at the regiment unit level." Thesis, Monterey, California. Naval Postgraduate School, 1989. http://hdl.handle.net/10945/25961.

Full text

Abstract:

This thesis provides a Frequency Management Database Model ( FMDM) for the Republic of Korea Army (ROKA) Communication System. The FMDM uses a personal computer to increase the efficiency of the frequency management system at the regiment unit level in the Korean Army. A signal officer in the ROKA can use the FMDM for the allocation, planning, and distribution of radio frequencies, in order to achieve the optimum use of the frequency spectrum. A discussion of security has been included in this thesis so that both the hardware and software of the FMDM are protected. Keywords: Frequency manageme

APA, Harvard, Vancouver, ISO, and other styles

49

Yoon, Sungwon. "Limited-data tomography : a level-set reconstruction algorithm, a tomosynthesis system model, and an anthropomorphic phantom /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Cain, Mark J. "A GAMS-based model of the U.S. Army Wartime Ammunition Distribution System for the Corps level." Thesis, Monterey, California. Naval Postgraduate School, 1985. http://hdl.handle.net/10945/23244.

Full text

Abstract:

Approved for public release; distribution is unlimited<br>The U.S. Army Wartime Ammunition Distribution System (WADS) will experience an unprecedented demand for ammunition under the operational concept of Airland Battle. To meet demand, proper storage facility location and an efficient flow through the distribution network will be required. Using information from Army Field Manuals, maps and simulation data for demand, both a mixed integer program (MIP) and a sequential, optimization-based heuristic are developed to model the WADS. The Generalized Algebraic Modelling System is used to impleme

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!