To see the other types of publications on this topic, follow the link: Automated Modal Analysis.

Dissertations / Theses on the topic 'Automated Modal Analysis'

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 'Automated Modal Analysis.'

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

Agee, Barry L. "Development of a laser-based automated mechanical mobility measurement system for one-dimensional experimental modal analysis." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-12042009-020017/.

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

Yorgason, Robert Ivan. "Heteromorphic to Homeomorphic Shape Match Conversion Toward Fully Automated Mesh Morphing to Match Manufactured Geometry." BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/6414.

Full text
Abstract:
The modern engineering design process includes computer software packages that require approximations to be made when representing geometries. These approximations lead to inherent discrepancies between the design geometry of a part or assembly and the corresponding manufactured geometry. Further approximations are made during the analysis portion of the design process. Manufacturing defects can also occur, which increase the discrepancies between the design and manufactured geometry. These approximations combined with manufacturing defects lead to discrepancies which, for high precision part
APA, Harvard, Vancouver, ISO, and other styles
3

Kodikara, Kodikara Arachchige Tharindu Lakshitha. "Structural health monitoring through advanced model updating incorporating uncertainties." Thesis, Queensland University of Technology, 2017. https://eprints.qut.edu.au/110811/1/Kodikara%20Arachchige%20Tharindu%20Lakshitha_Kodikara_Thesis.pdf.

Full text
Abstract:
This research developed comprehensive model updating systems for real structures including a hybrid approach which enhanced existing deterministic model updating techniques by providing measures to incorporate uncertainties in a computationally efficient way compared to probabilistic model updating approaches. Further, utilizing the developed hybrid approach a methodology was developed to assess the deterioration of reinforced concrete buildings under serviceability loading conditions. The developed methodologies in the research were successfully validated utilizing two real benchmark structur
APA, Harvard, Vancouver, ISO, and other styles
4

Loer, Karsten. "Model-based automated analysis for dependable interactive systems." Thesis, University of York, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.399265.

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

Abdul, Sani Asmiza. "Towards automated formal analysis of model transformation specifications." Thesis, University of York, 2013. http://etheses.whiterose.ac.uk/8641/.

Full text
Abstract:
In Model-Driven Engineering, model transformation is a key model management operation, used to translate models between notations. Model transformation can be used for many engineering activities, for instance as a preliminary to merging models from different meta- models, or to generate codes from diagrammatic models. A mapping model needs to be developed (the transformation specification) to represent relations between concepts from the metamodels. The evaluation of the mapping model creates new challenges, for both conventional verification and validation, and also in guaranteeing that mode
APA, Harvard, Vancouver, ISO, and other styles
6

Rutaganda, Remmy. "Automated Model-Based Reliability Prediction and Fault Tree Analysis." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-67240.

Full text
Abstract:
This work was undertaken as a final year project in Computer Engineering, within the Department of Computer and Information Science at Linköping University. At the Department of Computer and Information Science, work oriented at testing and analyzing applications is developed to provide solution approaches to problems that arise in system product development. One of the current applications being developed is the ‘Systemics Analyst’. The purpose of the application is to facilitate for system developers with an analysis tool permitting insights on system reliability, system critical components,
APA, Harvard, Vancouver, ISO, and other styles
7

Aguilar, Chongtay María del Rocío. "Model based system for automated analysis of biomedical images." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/30059.

Full text
Abstract:
This thesis is concerned with developing a probabilistic formulation of model-based vision using generalised flexible template models. It includes the design and implementation of a system which extends flexible template models to include grey level information in the object representation for image interpretation. This system was designed to deal with microscope images where the different stain and illumination conditions during the image acquisition process produce a strong correlation between density profile and geometric shape. This approach is based on statistical knowledge from a trainin
APA, Harvard, Vancouver, ISO, and other styles
8

Tanuan, Meyer C. "Automated Analysis of Unified Modeling Language (UML) Specifications." Thesis, University of Waterloo, 2001. http://hdl.handle.net/10012/1140.

Full text
Abstract:
The Unified Modeling Language (UML) is a standard language adopted by the Object Management Group (OMG) for writing object-oriented (OO) descriptions of software systems. UML allows the analyst to add class-level and system-level constraints. However, UML does not describe how to check the correctness of these constraints. Recent studies have shown that Symbolic Model Checking can effectively verify large software specifications. In this thesis, we investigate how to use model checking to verify constraints of UML specifications. We describe the process of specifying, translating an
APA, Harvard, Vancouver, ISO, and other styles
9

Aho, P. (Pekka). "Automated state model extraction, testing and change detection through graphical user interface." Doctoral thesis, Oulun yliopisto, 2019. http://urn.fi/urn:isbn:9789526224060.

Full text
Abstract:
Abstract Testing is an important part of quality assurance, and the use of agile processes, continuous integration and DevOps is increasing the pressure for automating all aspects of testing. Testing through graphical user interfaces (GUIs) is commonly automated by scripts that are captured or manually created with a script editor, automating the execution of test cases. A major challenge with script-based GUI test automation is the manual effort required for maintaining the scripts when the GUI changes. Model-based testing (MBT) is an approach for automating also the design of test cases. Tra
APA, Harvard, Vancouver, ISO, and other styles
10

Blom, Rikard. "Advanced metering infrastructure reference model with automated cyber security analysis." Thesis, KTH, Elkraftteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-204910.

Full text
Abstract:
European Union has set a target to install nearly 200 million smart metersspread over Europe before 2020, this leads into a vast increase of sensitiveinformation flow for Distribution System Operators (DSO’s), simultaneously thisleads to raised cyber security threats. The in and outgoing information of the DSOneeds to be processed and stored by different Information technology (IT)- andOperational Technology (OT)-systems depending on the information. High demandsare therefore required of the enterprise cyber security to be able to protect theenterprise IT- and OT-systems. Sensitive customer in
APA, Harvard, Vancouver, ISO, and other styles
11

Mårtensson, Jonas. "Geometric analysis of stochastic model errors in system identification." Doctoral thesis, KTH, Reglerteknik, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4506.

Full text
Abstract:
Models of dynamical systems are important in many disciplines of science, ranging from physics and traditional mechanical and electrical engineering to life sciences, computer science and economics. Engineers, for example, use models for development, analysis and control of complex technical systems. Dynamical models can be derived from physical insights, for example some known laws of nature, (which are models themselves), or, as considered here, by fitting unknown model parameters to measurements from an experiment. The latter approach is what we call system identification. A model is always
APA, Harvard, Vancouver, ISO, and other styles
12

Kara, Ismihan Refika. "Automated Navigation Model Extraction For Web Load Testing." Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613992/index.pdf.

Full text
Abstract:
Web pages serve a huge number of internet users in nearly every area. An adequate testing is needed to address the problems of web domains for more efficient and accurate services. We present an automated tool to test web applications against execution errors and the errors occured when many users connect the same server concurrently. Our tool, called NaMoX, attains the clickables of the web pages, creates a model exerting depth first search algorithm. NaMoX simulates a number of users, parses the developed model, and tests the model by branch coverage analysis. We have performed experiments o
APA, Harvard, Vancouver, ISO, and other styles
13

Chan, Carlos Chun Ming. "Speaker model adaptation in automatic speech recognition." Thesis, Robert Gordon University, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.339307.

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

Ronval, Gilles P. L. "Automatic modal analysis and taxonomy for vibration signature recognition." Thesis, University of Huddersfield, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305084.

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

Ahmedt, Aristizabal David Esteban. "Multi-modal analysis for the automatic evaluation of epilepsy." Thesis, Queensland University of Technology, 2019. https://eprints.qut.edu.au/132537/1/David_Ahmedt%20Aristizabal_Thesis.pdf.

Full text
Abstract:
Motion recognition technology is proposed to support neurologists in the study of patients' behaviour during epileptic seizures. This system can provide clues on the sub-type of epilepsy that patients have, it identifies unusual manifestations that require further investigation, as well as better understands the temporal evolution of seizures, from their onset through to termination. The incorporation of quantitative methods would assist in developing and formulating a diagnosis in situations where clinical expertise is unavailable. This research provides important supplementary and unbiased d
APA, Harvard, Vancouver, ISO, and other styles
16

Delgado, Diogo Miguel Melo. "Automated illustration of multimedia stories." Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/4478.

Full text
Abstract:
Submitted in part fulfillment of the requirements for the degree of Master in Computer Science<br>We all had the problem of forgetting about what we just read a few sentences before. This comes from the problem of attention and is more common with children and the elderly. People feel either bored or distracted by something more interesting. The challenge is how can multimedia systems assist users in reading and remembering stories? One solution is to use pictures to illustrate stories as a mean to captivate ones interest as it either tells a story or makes the viewer imagine one. This thesi
APA, Harvard, Vancouver, ISO, and other styles
17

Karlapudi, Janakiram. "Analysis on automatic generation of BEPS model from BIM model." Verlag der Technischen Universität Graz, 2020. https://tud.qucosa.de/id/qucosa%3A73547.

Full text
Abstract:
The interlinking of enriched BIM data to Building Energy Performance Simulation (BEPS) models facilitates the data flow throughout the building life cycle. This seamless data transfer from BIM to BEPS models increases design efficiency. To investigate the interoperability between these models, this paper analyses different data transfer methodologies along with input data requirements for the simulation process. Based on the analysed knowledge, a methodology is adopted and demonstrated to identify the quality of the data transfer process. Furthermore, discussions are provided on identified eff
APA, Harvard, Vancouver, ISO, and other styles
18

Kypuros, Javier Angel. "Variable structure model synthesis for switched systems /." Full text (PDF) from UMI/Dissertation Abstracts International, 2001. http://wwwlib.umi.com/cr/utexas/fullcit?p3008373.

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

Nasser-Barakat, Fatima. "Automatic modal variation tracking via a filter-free random decrement technique application to ambient vibration recordings on high-rise buildings." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT044/document.

Full text
Abstract:
Cette thèse propose une nouvelle approche pour surveiller automatiquementles variations des fréquences et des taux d’amortissement des batiments de grande hauteursoumis à des vibrations ambiantes. L’approche vise à relever simultanément avec les défissuivants: signaux multi-composants enregistrées sur les bâtiments mentionnés ci-dessusavec des réponses impulsionnelles ayant des modes de fréquences rapprochées, des amplitudesfaibles, exponentielles et amorties noyées dans des bruits additifs élevés. La méthoderepose sur l’application de la technique de décrément aléatoire directement sur le sig
APA, Harvard, Vancouver, ISO, and other styles
20

Ghosh, Krishnendu. "Formal Analysis of Automated Model Abstractions under Uncertainty: Applications in Systems Biology." University of Cincinnati / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1330024977.

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

Keil, Mitchel J. "Automatic generation of interference-free geometric models of spatial mechanisms." Diss., This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-08252008-162631/.

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

Wang, Yizhi. "Automated Analysis of Astrocyte Activities from Large-scale Time-lapse Microscopic Imaging Data." Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/95988.

Full text
Abstract:
The advent of multi-photon microscopes and highly sensitive protein sensors enables the recording of astrocyte activities on a large population of cells over a long-time period in vivo. Existing tools cannot fully characterize these activities, both within single cells and at the population-level, because of the insufficiency of current region-of-interest-based approaches to describe the activity that is often spatially unfixed, size-varying, and propagative. Here, we present Astrocyte Quantitative Analysis (AQuA), an analytical framework that releases astrocyte biologists from the ROI-based p
APA, Harvard, Vancouver, ISO, and other styles
23

Johnson, John Peter. "Automatic sensitivity analysis for an Army modernization optimization model." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1995. http://handle.dtic.mil/100.2/ADA302947.

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

Cunado, David. "Automatic gait recognition via model-based moving feature analysis." Thesis, University of Southampton, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297628.

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

Sproston, Jeremy James. "Model checking of probabilistic timed and hybrid systems." Thesis, University of Birmingham, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.391021.

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

Wei, Ran. "An extensible static analysis framework for automated analysis, validation and performance improvement of model management programs." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/14375/.

Full text
Abstract:
Model Driven Engineering (MDE) is a state-of-the-art software engineering approach, which adopts models as first class artefacts. In MDE, modelling tools and task-specific model management languages are used to reason about the system under development and to (automatically) produce software artefacts such as working code and documentation. Existing tools which provide state-of-the-art model management languages exhibit the lack of support for automatic static analysis for error detection (especially when models defined in various modelling technologies are involved within a multi-step MDE dev
APA, Harvard, Vancouver, ISO, and other styles
27

Zheng, Yilei. "IFSO: A Integrated Framework For Automatic/Semi-automatic Software Refactoring and Analysis." Digital WPI, 2004. https://digitalcommons.wpi.edu/etd-theses/241.

Full text
Abstract:
To automatically/semi-automatically improve internal structures of a legacy system, there are several challenges: most available software analysis algorithms focus on only one particular granularity level (e.g., method level, class level) without considering possible side effects on other levels during the process; the quality of a software system cannot be judged by a single algorithm; software analysis is a time-consuming process which typically requires lengthy interactions. In this thesis, we present a framework, IFSO (Integrated Framework for automatic/semi-automatic Software refactoring
APA, Harvard, Vancouver, ISO, and other styles
28

Deosthale, Eeshan Vijay. "Model-Based Fault Diagnosis of Automatic Transmissions." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1542631227815892.

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

Al, Ramadhani Saif Ahmed. "A gap analysis of the automated speed enforcement operations and regulations in Oman." Thesis, Queensland University of Technology, 2019. https://eprints.qut.edu.au/134252/1/Saif_Al%20Ramadhani_Thesis.pdf.

Full text
Abstract:
This research is the first of its kind on the conceptual approach to automated speed enforcement and operational practices in Oman, from the perspectives of police and policy-makers. Two gap analysis tools were used to identify the gaps within the conceptual approach and operational practices: Congruence Model and Benchmarking. Suggestions are provided for improving the conceptual and operational aspects of the automated speed enforcement program in Oman, and can also be adopted in other neighbouring countries of the Gulf Cooperation Council.
APA, Harvard, Vancouver, ISO, and other styles
30

Meiklejohn, Mark. "Automated software development and model generation by means of syntactic and semantic analysis." Thesis, University of Strathclyde, 2014. http://oleg.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=24855.

Full text
Abstract:
Software development is a global activity and the development of a software system starts from some requirement that describes the problem domain. These requirements need to be communicated so that the software system can be fully engineered and in the majority of cases the communication of software requirements typically take the form of written text, which is difficult to transform into a model of the software system and consumes an inordinate amount of project effort. This thesis proposes and evaluates a fully automated analysis and model creation technique that exploits the syntactic and s
APA, Harvard, Vancouver, ISO, and other styles
31

CABBOI, ALESSANDRO. "Automatic operational modal analysis: challenges and applications to historic structures and infrastructures." Doctoral thesis, Università degli Studi di Cagliari, 2014. http://hdl.handle.net/11584/266404.

Full text
Abstract:
The core of the work turns around the capability to automate Operational Modal Analysis methods for permanent dynamic monitoring systems. In general, the application of OMA methods requires an experienced engineer in experimental dynamics and modal analysis; in addition, a lot of time is usually spent in manual analysis, necessary to ensure the best estimation of modal parameters. Those features are in contrast with permanent dynamic monitoring, which requires algorithms in order to efficiently manage the huge amount of recorded data in short time, ensuring an acceptable quality of results. T
APA, Harvard, Vancouver, ISO, and other styles
32

Kautz, Oliver [Verfasser]. "Model Analyses Based on Semantic Differencing and Automatic Model Repair / Oliver Kautz." Düren : Shaker, 2021. http://d-nb.info/1233548298/34.

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

Ohlsson, Henrik. "Mathematical Analysis of a Biological Clock Model." Thesis, Linköping University, Department of Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-6750.

Full text
Abstract:
<p>Have you thought of why you get tired or why you get hungry? Something in your body keeps track of time. It is almost like you have a clock that tells you all those things.</p><p>And indeed, in the suparachiasmatic region of our hypothalamus reside cells which each act like an oscillator, and together form a coherent circadian rhythm to help our body keep track of time. In fact, such circadian clocks are not limited to mammals but can be found in many organisms including single-cell, reptiles and birds. The study of such rhythms constitutes a field of biology, chronobiology, and forms the b
APA, Harvard, Vancouver, ISO, and other styles
34

Alexsson, Andrei. "Unsupervised hidden Markov model for automatic analysis of expressed sequence tags." Thesis, Linköpings universitet, Bioinformatik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-69575.

Full text
Abstract:
This thesis provides an in-depth analyze of expressed sequence tags (EST) that represent pieces of eukaryotic mRNA by using unsupervised hidden Markov model (HMM). ESTs are short nucleotide sequences that are used primarily for rapid identificationof new genes with potential coding regions (CDS). ESTs are made by sequencing on double-stranded cDNA and the synthesizedESTs are stored in digital form, usually in FASTA format. Since sequencing is often randomized and that parts of mRNA contain non-coding regions, some ESTs will not represent CDS.It is desired to remove these unwanted ESTs if the p
APA, Harvard, Vancouver, ISO, and other styles
35

Bakir, Mehmet Emin. "Automatic selection of statistical model checkers for analysis of biological models." Thesis, University of Sheffield, 2017. http://etheses.whiterose.ac.uk/20216/.

Full text
Abstract:
Statistical Model Checking (SMC) blends the speed of simulation with the rigorous analytical capabilities of model checking, and its success has prompted researchers to implement a number of SMC tools whose availability provides flexibility and fine-tuned control over model analysis. However, each tool has its own practical limitations, and different tools have different requirements and performance characteristics. The performance of different tools may also depend on the specific features of the input model or the type of query to be verified. Consequently, choosing the most suitable tool fo
APA, Harvard, Vancouver, ISO, and other styles
36

Kovanovic, Vitomir. "Assessing cognitive presence using automated learning analytics methods." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28759.

Full text
Abstract:
With the increasing pace of technological changes in the modern society, there has been a growing interest from educators, business leaders, and policymakers in teaching important higher-order skills which were identified as necessary for thriving in the present-day globalized economy. In this regard, one of the most widely discussed higher order skills is critical thinking, whose importance in shaping problem solving, decision making, and logical thinking has been recognized. Within the domain of distance and online education, the Community of Inquiry (CoI) model provides a pedagogical framew
APA, Harvard, Vancouver, ISO, and other styles
37

Schmitt, Eugene David. "Control synthesis and stability analysis of a fuzzy Sugeno Model system." Thesis, Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/18878.

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

Aldokhail, Abdullah M. "Automated Signal to Noise Ratio Analysis for Magnetic Resonance Imaging Using a Noise Distribution Model." University of Toledo Health Science Campus / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=mco1469557255.

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

Germeys, Jasper. "Supervision of the Air Loop in the Columbus Module of the International Space Station." Thesis, Linköpings universitet, Fordonssystem, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133926.

Full text
Abstract:
Failure detection and isolation (FDI) is essential for reliable operations of complex autonomous systems or other systems where continuous observation or maintenance thereof is either very costly or for any other reason not easily accessible. Beneficial for the model based FDI is that there is no need for fault data to detect and isolate a fault in contrary to design by data clustering. However, it is limited by the accuracy and complexity of the model used. As models grow more complex, or have multiple interconnections, problems with the traditional methods for FDI emerge. The main objective
APA, Harvard, Vancouver, ISO, and other styles
40

Sohaib, Muhammad. "Parameterized Automated Generic Model for Aircraft Wing Structural Design and Mesh Generation for Finite Element Analysis." Thesis, Linköpings universitet, Maskinkonstruktion, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-71264.

Full text
Abstract:
This master thesis work presents the development of a parameterized automated generic model for the structural design of an aircraft wing. Furthermore, in order to perform finite element analysis on the aircraft wing geometry, the process of finite element mesh generation is automated. Aircraft conceptual design is inherently a multi-disciplinary design process which involves a large number of disciplines and expertise. In this thesis work, it is investigated how high-end CAD software‟s can be used in the early stages of an aircraft design process, especially for the design of an aircraft wing
APA, Harvard, Vancouver, ISO, and other styles
41

Moffitt, Kevin Christopher. "Toward Enhancing Automated Credibility Assessment: A Model for Question Type Classification and Tools for Linguistic Analysis." Diss., The University of Arizona, 2011. http://hdl.handle.net/10150/145456.

Full text
Abstract:
The three objectives of this dissertation were to develop a question type model for predicting linguistic features of responses to interview questions, create a tool for linguistic analysis of documents, and use lexical bundle analysis to identify linguistic differences between fraudulent and non-fraudulent financial reports. First, The Moffitt Question Type Model (MQTM) was developed to aid in predicting linguistic features of responses to questions. It focuses on three context independent features of questions: tense (past vs. present vs. future), perspective (introspective vs. extrospective
APA, Harvard, Vancouver, ISO, and other styles
42

Larsson, Jonatan. "Automatic Test Generation and Mutation Analysis using UPPAAL SMC." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-36415.

Full text
Abstract:
Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. Resource usage is also of concern for proper behavior because of the very nature of embedded systems.  To design reliable and energy-efficient systems, methods are needed to detect hot points of consumption and correct them prior to deployment. To reduce testing effort, Model-based test
APA, Harvard, Vancouver, ISO, and other styles
43

Sanderson, Conrad, and conradsand@ieee org. "Automatic Person Verification Using Speech and Face Information." Griffith University. School of Microelectronic Engineering, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030422.105519.

Full text
Abstract:
Identity verification systems are an important part of our every day life. A typical example is the Automatic Teller Machine (ATM) which employs a simple identity verification scheme: the user is asked to enter their secret password after inserting their ATM card; if the password matches the one prescribed to the card, the user is allowed access to their bank account. This scheme suffers from a major drawback: only the validity of the combination of a certain possession (the ATM card) and certain knowledge (the password) is verified. The ATM card can be lost or stolen, and the password can be
APA, Harvard, Vancouver, ISO, and other styles
44

Andersson, Jonny. "Automatic test vector generation and coverage analysis in model-based software development." Thesis, Linköping University, Department of Electrical Engineering, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5204.

Full text
Abstract:
<p>Thorough testing of software is necessary to assure the quality of a product before it is released. The testing process requires substantial resources in software development. Model-based software development provides new possibilities to automate parts of the testing process. By automating tests, valuable time can be saved. This thesis focuses on different ways to utilize models for automatic generation of test vectors and how test coverage analysis can be used to assure the quality of a test suite or to find "dead code" in a model. Different test-automation techniques have been investigat
APA, Harvard, Vancouver, ISO, and other styles
45

Sturgill, David Matthew. "Comparative Genome Analysis of Three Brucella spp. and a Data Model for Automated Multiple Genome Comparison." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/10163.

Full text
Abstract:
Comparative analysis of multiple genomes presents many challenges ranging from management of information about thousands of local similarities to definition of features by combination of evidence from multiple analyses and experiments. This research represents the development stage of a database-backed pipeline for comparative analysis of multiple genomes. The genomes of three recently sequenced species of Brucella were compared and a superset of known and hypothetical coding sequences was identified to be used in design of a discriminatory genomic cDNA array for comparative functional genomic
APA, Harvard, Vancouver, ISO, and other styles
46

Badenhorst, Jacob Andreas Cornelius. "Data sufficiency analysis for automatic speech recognition / by J.A.C. Badenhorst." Thesis, North-West University, 2009. http://hdl.handle.net/10394/3994.

Full text
Abstract:
The languages spoken in developing countries are diverse and most are currently under-resourced from an automatic speech recognition (ASR) perspective. In South Africa alone, 10 of the 11 official languages belong to this category. Given the potential for future applications of speech-based information systems such as spoken dialog system (SDSs) in these countries, the design of minimal ASR audio corpora is an important research area. Specifically, current ASR systems utilise acoustic models to represent acoustic variability, and effective ASR corpus design aims to optimise the amount of rele
APA, Harvard, Vancouver, ISO, and other styles
47

Ponge, Julien Nicolas Computer Science &amp Engineering Faculty of Engineering UNSW. "Model based analysis of time-aware web services interactions." Publisher:University of New South Wales. Computer Science & Engineering, 2009. http://handle.unsw.edu.au/1959.4/43525.

Full text
Abstract:
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but also the business protocol supported by the service. The present work focuses on the formalization of the important category of protocols that include time-related constraints (called timed protocols), and the impact of time on compatibility and replaceability analysis. We formalized the following timing constraints: CInvoke constraints define time wi
APA, Harvard, Vancouver, ISO, and other styles
48

Svärd, Carl, and Henrik Wassén. "Development of Methods for Automatic Design of Residual Generators." Thesis, Linköping University, Department of Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-7931.

Full text
Abstract:
<p>Legislation requires substantially lowered emissions and that all trucks manufactured are equipped with an On-Board Diagnosis (OBD) system. One approach for designing an OBD system is to use model based diagnosis and residual generation. At Scania CV AB, a method for automatic design of a diagnosis system from a model has been developed but there are still possibilities for improvements to get more and better residual generators. The main objective of this thesis is to analyze and improve the existing method.</p><p>A theoretic outline of two methods using different causality assumptions is
APA, Harvard, Vancouver, ISO, and other styles
49

Martinez, Salvador. "Automatic reconstruction and analysis of security policies from deployed security components." Phd thesis, Ecole des Mines de Nantes, 2014. http://tel.archives-ouvertes.fr/tel-01065944.

Full text
Abstract:
Security is a critical concern for any information system. Security properties such as confidentiality, integrity and availability need to be enforced in order to make systems safe. In complex environments, where information systems are composed by a number of heterogeneous subsystems, each subsystem plays a key role in the global system security. For the specific case of access-control, access-control policies may be found in several components (databases, networksand applications) all, supposedly, working together. Nevertheless since most times these policies have been manually implemented a
APA, Harvard, Vancouver, ISO, and other styles
50

Thongmal, Larsson Marie. "A model for material handling improvements when using automated storage systems: A case study." Thesis, Linnaeus University, School of Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-6350.

Full text
Abstract:
<p>The purpose of this thesis is to create a model of how to organize the placements of articles in an automated storage system in order to reduce time and cost related to the extractions. The model was developed during an investigation at a case company, and a comprehensive study of the material handling identified bottlenecks, whereof one was chosen to be further investigated: the automated storage system. The automated storage system is newly installed equipment, which required new working methods to be incorporated to the already existing working environment. The ABC-analysis was used in o
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!