Дисертації з теми "Automated data processing systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Automated data processing systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
李少彬 and Siu-pan Li. "The validity of the use of automated evaluation systems as architectural design aids." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B4257562X.
Повний текст джерелаEskenazi, Cem. "An automated visual inspection system for bare hybrid boards /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63302.
Повний текст джерелаSlabber, Frans Bresler. "Semi-automated extraction of structural orientation data from aerospace imagery combined with digital elevation models." Thesis, Rhodes University, 1996. http://hdl.handle.net/10962/d1005614.
Повний текст джерелаHeywood, James K. "AUTOMATED TESTING OF THE ADVANCED DATA ACQUISITION AND PROCESSING SYSTEM." International Foundation for Telemetering, 2001. http://hdl.handle.net/10150/606456.
Повний текст джерелаSoftware and techniques are described for testing the Advanced Data Acquisition and Processing System (ADAPS), the primary flight test telemetry system used at Edwards AFB, California. The software described acts as an additional simulation capability and moves the simulation definition process into a realm where data is formed by means of a high-order language. The potential for creation of more sophisticated simulated test data is thus enabled. Extension of the techniques described in this paper to applications other than testing is discussed.
Bodner, Douglas Anthony. "Real-time control approaches to deadlock management in automated manufacturing systems." Diss., Georgia Institute of Technology, 1996. http://hdl.handle.net/1853/25607.
Повний текст джерелаTeske, Alexander. "Automated Risk Management Framework with Application to Big Maritime Data." Thesis, Université d'Ottawa / University of Ottawa, 2018. http://hdl.handle.net/10393/38567.
Повний текст джерелаNaik, Pranab Sabitru. "Design and implementation of a fully automated real-time s-parameter imaging system." Thesis, Click to view the E-thesis via HKUTO, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30708758.
Повний текст джерелаXozwa, Thandolwethu. "Automated statistical audit system for a government regulatory authority." Thesis, Nelson Mandela Metropolitan University, 2015. http://hdl.handle.net/10948/6061.
Повний текст джерелаRossman, Mark A. "Automated Detection of Hematological Abnormalities through Classification of Flow Cytometric Data Patterns." FIU Digital Commons, 2011. http://digitalcommons.fiu.edu/etd/344.
Повний текст джерелаKuehl, Phillip Anthony. "Real-time processing of electromyograms in an automated hand-forearm data collection and analysis system." Thesis, Kansas State University, 2015. http://hdl.handle.net/2097/19087.
Повний текст джерелаDepartment of Electrical and Computer Engineering
Steven Warren
Handgrip contractions are a useful exercise for assessing muscle fatigue in the forearm musculature. Most conventional hand-forearm ergometer systems require the researcher to manually guide subject activity, collect subject data, and assess subject fatigue after it has occurred. Since post-processing tools are not standardized for this type of experiment, researchers resort to building their own tools. This process can make comparing results between research groups difficult. This thesis presents updates to a hand-forearm ergometer system that automate the control, data-acquisition, and data-analysis mechanisms. The automated system utilizes a LabVIEW virtual instrument as the system centerpiece; it provides the subject/researcher interfaces and coordinates data acquisition from both traditional and new sensors. The system also processes the hand-forearm data within the LabVIEW environment as the data are collected. This allows the researcher to better understand the onset of subject fatigue while an experiment is in progress. System upgrades relative to prior work include the addition of new parameters to the researcher display, a change in the subject display from a binary up-down display to a sliding bar for better control over subject grip state, and a software update from a simple data acquisition and display system to a real-time processing system. The toolset has proven to be a viable support resource for experimental studies performed in the Kansas State University Human Exercise Physiology Laboratory that target muscle fatigue in human forearms. Initial data acquired during these tests indicate the viability of the system to acquire consistent and physiologically meaningful data while providing a useable toolset for follow-on data analyses.
Shelton, Debra Kay. "A selection model for automated guided vehicles." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/101465.
Повний текст джерелаM.S.
Van, der Walt Craig. "An investigation into the practical implementation of speech recognition for data capturing." Thesis, Cape Technikon, 1993. http://hdl.handle.net/20.500.11838/1156.
Повний текст джерелаA study into the practical implementation of Speech Recognition for the purposes of Data Capturing within Telkom SA. is described. As datacapturing is increasing in demand a more efficient method of capturing is sought. The technology relating to Speech recognition is herein examined and practical gnidelines for selecting a Speech recognition system are described. These guidelines are used to show how commercially available systems can be evaluated. Specific tests on a selected speech recognition system are described, relating to the accuracy and adaptability of the system. The results obtained illustrate why at present speech recognition systems are not advisable for the purpose of Data capturing. The results also demonstrate how the selection of keywords words can affect system performance. Areas of further research are highlighted relating to recognition performance and vocabulary selection.
Swanepoel, Petrus Johannes. "Omnidirectional image sensing for automated guided vehicle." Thesis, Bloemfontein : Central University of Technology, Free State, 2009. http://hdl.handle.net/11462/39.
Повний текст джерелаAutomated Guided Vehicles (AGVs) have many different design specifications, although they all have certain design features in common, for instance they are designed to follow predetermined paths, and they need to be aware of their surroundings and changes to their surroundings. They are designed to house sensors for navigation and obstacle avoidance. In this study an AGV platform was developed by modifying an electric wheelchair. A serial port interface was developed between a computer and the control unit of the electric wheelchair, which enables the computer to control the movements of the platform. Different sensors were investigated to determine which would be best suited and most effective to avoid collisions. The sensors chosen were mounted on the AGV and a programme was developed to enable the sensors to assist in avoiding obstacles. An imaging device as an additional sensor system for the AGV was investigated. The image produced by a camera and dome mirror was processed into a panoramic image representing an entire 360o view of the AGV‟s surroundings. The reason for this part of the research was to enable the user to make corrections to the AGV‟s path if it became stuck along the track it was following. The entire system was also made completely wireless to improve the flexibility of the AGV‟s applications.
Hernańdez, Correa Evelio. "Control of nonlinear systems using input-output information." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/11176.
Повний текст джерелаMunnecom, Lorenna, and Miguel Chaves de Lemos Pacheco. "Exploration of an Automated Motivation Letter Scoring System to Emulate Human Judgement." Thesis, Högskolan Dalarna, Mikrodataanalys, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:du-34563.
Повний текст джерелаPalmer, David Donald. "Modeling uncertainty for information extraction from speech data /." Thesis, Connect to this title online; UW restricted, 2001. http://hdl.handle.net/1773/5834.
Повний текст джерелаZhao, Guang, and 趙光. "Automatic boundary extraction in medical images based on constrained edge merging." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B31223904.
Повний текст джерелаPark, Jonghun. "Structural analysis and control of resource allocation systems using petri nets." Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/24529.
Повний текст джерелаGoussard, George Willem. "Unsupervised clustering of audio data for acoustic modelling in automatic speech recognition systems." Thesis, Stellenbosch : University of Stellenbosch, 2011. http://hdl.handle.net/10019.1/6686.
Повний текст джерелаENGLISH ABSTRACT: This thesis presents a system that is designed to replace the manual process of generating a pronunciation dictionary for use in automatic speech recognition. The proposed system has several stages. The first stage segments the audio into what will be known as the subword units, using a frequency domain method. In the second stage, dynamic time warping is used to determine the similarity between the segments of each possible pair of these acoustic segments. These similarities are used to cluster similar acoustic segments into acoustic clusters. The final stage derives a pronunciation dictionary from the orthography of the training data and corresponding sequence of acoustic clusters. This process begins with an initial mapping between words and their sequence of clusters, established by Viterbi alignment with the orthographic transcription. The dictionary is refined iteratively by pruning redundant mappings, hidden Markov model estimation and Viterbi re-alignment in each iteration. This approach is evaluated experimentally by applying it to two subsets of the TIMIT corpus. It is found that, when test words are repeated often in the training material, the approach leads to a system whose accuracy is almost as good as one trained using the phonetic transcriptions. When test words are not repeated often in the training set, the proposed approach leads to better results than those achieved using the phonetic transcriptions, although the recognition is poor overall in this case.
AFRIKAANSE OPSOMMING: Die doelwit van die tesis is om ’n stelsel te beskryf wat ontwerp is om die handgedrewe proses in die samestelling van ’n woordeboek, vir die gebruik in outomatiese spraakherkenningsstelsels, te vervang. Die voorgestelde stelsel bestaan uit ’n aantal stappe. Die eerste stap is die segmentering van die oudio in sogenaamde sub-woord eenhede deur gebruik te maak van ’n frekwensie gebied tegniek. Met die tweede stap word die dinamiese tydverplasingsalgoritme ingespan om die ooreenkoms tussen die segmente van elkeen van die moontlike pare van die akoestiese segmente bepaal. Die ooreenkomste word dan gebruik om die akoestiese segmente te groepeer in akoestiese groepe. Die laaste stap stel die woordeboek saam deur gebruik te maak van die ortografiese transkripsie van afrigtingsdata en die ooreenstemmende reeks akoestiese groepe. Die finale stap begin met ’n aanvanklike afbeelding vanaf woorde tot hul reeks groep identifiseerders, bewerkstellig deur Viterbi belyning en die ortografiese transkripsie. Die woordeboek word iteratief verfyn deur oortollige afbeeldings te snoei, verskuilde Markov modelle af te rig en deur Viterbi belyning te gebruik in elke iterasie. Die benadering is getoets deur dit eksperimenteel te evalueer op twee subversamelings data vanuit die TIMIT korpus. Daar is bevind dat, wanneer woorde herhaal word in die afrigtingsdata, die stelsel se benadering die akkuraatheid ewenaar van ’n stelsel wat met die fonetiese transkripsie afgerig is. As die woorde nie herhaal word in die afrigtingsdata nie, is die akkuraatheid van die stelsel se benadering beter as wanneer die stelsel afgerig word met die fonetiese transkripsie, alhoewel die akkuraatheid in die algemeen swak is.
Swarnkar, Divya. "Experience and analysis of the real time data acquisition system." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 59 p, 2005. http://proquest.umi.com/pqdweb?did=994252331&sid=12&Fmt=2&clientId=8331&RQT=309&VName=PQD.
Повний текст джерелаPrincipal faculty advisors: Martin Swany, Dept.. of Computer & Information Sciences; and David Seckel, Dept. of Physics & Astronomy. Includes bibliographical references.
Wark, Timothy J. "Multi-modal speech processing for automatic speaker recognition." Thesis, Queensland University of Technology, 2001.
Знайти повний текст джерелаLi, Xiaojing School of Electrical Engineering & Telecommunications & School of Surveying & Spatial Information Systems UNSW. "Optimal integrated multi-sensor system for full-scale structural monitoring based on advanced signal processing." Awarded by:University of New South Wales. School of Electrical Engineering and Telecommunications & School of Surveying and Spatial Information Systems, 2006. http://handle.unsw.edu.au/1959.4/27284.
Повний текст джерелаGurung, Sanjaya. "Integrating environmental data acquisition and low cost Wi-Fi data communication." Thesis, University of North Texas, 2009. https://digital.library.unt.edu/ark:/67531/metadc12131/.
Повний текст джерелаChan, Wing Sze. "Semantic search of multimedia data objects through collaborative intelligence." HKBU Institutional Repository, 2010. http://repository.hkbu.edu.hk/etd_ra/1171.
Повний текст джерелаRobinson, James Beresford. "Lntp : the implementation and performance of a new local area network transport protocol." Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/26523.
Повний текст джерелаScience, Faculty of
Computer Science, Department of
Graduate
Knights, MS. "Flexible shape models for image analysis in an automated lobster catch assessment system." Thesis, Honours thesis, University of Tasmania, 2007. https://eprints.utas.edu.au/3013/2/1_front_Knights.pdf.
Повний текст джерелаJung, Uk. "Wavelet-based Data Reduction and Mining for Multiple Functional Data." Diss., Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/5084.
Повний текст джерелаParshakov, Ilia. "Automatic class labeling of classified imagery using a hyperspectral library." Thesis, Lethbridge, Alta. : University of Lethbridge, Dept. of Geography, c2012, 2012. http://hdl.handle.net/10133/3372.
Повний текст джерелаvii, 93 leaves : ill., maps (some col.) ; 29 cm
Karunanidhi, Karthikeyan. "ARROS; distributed adaptive real-time network intrusion response." Ohio : Ohio University, 2006. http://www.ohiolink.edu/etd/view.cgi?ohiou1141074467.
Повний текст джерелаGhosh, Sushmita. "Real time data acquisition for load management." Thesis, Virginia Tech, 1985. http://hdl.handle.net/10919/45726.
Повний текст джерелаMaster of Science
Schifiliti, Robert P. "Use of Fire Plume Theory in the Design and Analysis of Fire Detector and Sprinkler Response." Digital WPI, 2000. https://digitalcommons.wpi.edu/etd-theses/1155.
Повний текст джерелаYaman, Sibel. "A multi-objective programming perspective to statistical learning problems." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26470.
Повний текст джерелаCommittee Chair: Chin-Hui Lee; Committee Member: Anthony Yezzi; Committee Member: Evans Harrell; Committee Member: Fred Juang; Committee Member: James H. McClellan. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Hawkins, Kevin Michael. "Development of an automated anesthesia system for the stabilization of physiological parameters in rodents." Link to electronic thesis, 2003. http://www.wpi.edu/Pubs/ETD/Available/etd-0424103-105500/.
Повний текст джерелаNeumann, Stefan, and Holger Giese. "Scalable compatibility for embedded real-time components via language progressive timed automata." Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6385/.
Повний текст джерелаDie korrekte Komposition individuell entwickelter Komponenten von eingebetteten Realzeitsystemen ist eine Herausforderung, da neben funktionalen Eigenschaften auch nicht funktionale Eigenschaften berücksichtigt werden müssen. Ein Beispiel hierfür ist die Kompatibilität von Realzeiteigenschaften, welche eine entscheidende Rolle in eingebetteten Systemen spielen. Heutzutage wird die Kompatibilität derartiger Eigenschaften in einer aufwändigen Integrations- und Konfigurationstests am Ende des Entwicklungsprozesses geprüft, wobei diese Tests im schlechtesten Fall fehlschlagen. Aus diesem Grund wurde eine Zahl an formalen Verfahren Entwickelt, welche eine frühzeitige Analyse von Realzeiteigenschaften von Komponenten erlauben, sodass Inkompatibilitäten von Realzeiteigenschaften in späteren Phasen ausgeschlossen werden können. Existierenden Verfahren verlangen jedoch, dass eine Reihe von Bedingungen erfüllt sein muss, welche von realen Systemen nur schwer zu erfüllen sind, oder aber, die verwendeten Analyseverfahren skalieren nicht für größere Systeme. In dieser Arbeit wird ein Ansatz vorgestellt, welcher auf dem formalen Modell des Timed Automaton basiert und der keine Bedingungen verlangt, die von einem realen System nur schwer erfüllt werden können. Der in dieser Arbeit vorgestellte Ansatz enthält ein Framework, welches eine modulare Analyse erlaubt, bei der ausschließlich miteinender kommunizierende Komponenten paarweise überprüft werden müssen. Somit wird eine skalierbare Analyse von Realzeiteigenschaften ermöglicht, die keine Bedingungen verlangt, welche nur bedingt von realen Systemen erfüllt werden können.
Shankar, Sanjeev. "Analysis of microprocessor based vehicular instrumentation and automatic passenger counting systems." Thesis, Virginia Tech, 1985. http://hdl.handle.net/10919/41570.
Повний текст джерелаMaster of Science
Sanford, Jerald Patrick. "An automatic system for converting digitized line drawings into highly compressed mathematical primitives." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/101259.
Повний текст джерелаM.S.
Lewis, W. Ivan. "DACS: an interactive computer program to aid in the design and analysis of linear control systems." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/76039.
Повний текст джерелаMaster of Science
Hammam, Yasser, and n/a. "Geographical vector agents." University of Otago. Department of Information Science, 2008. http://adt.otago.ac.nz./public/adt-NZDU20080404.150839.
Повний текст джерелаKotze, Benjamin Johannes. "Navigation for automatic guided vehicles using omnidirectional optical sensing." Thesis, Bloemfontein : Central University of Technology, Free State, 2013. http://hdl.handle.net/11462/185.
Повний текст джерелаAutomatic Guided Vehicles (AGVs) are being used more frequently in a manufacturing environment. These AGVs are navigated in many different ways, utilising multiple types of sensors for detecting the environment like distance, obstacles, and a set route. Different algorithms or methods are then used to utilise this environmental information for navigation purposes applied onto the AGV for control purposes. Developing a platform that could be easily reconfigured in alternative route applications utilising vision was one of the aims of the research. In this research such sensors detecting the environment was replaced and/or minimised by the use of a single, omnidirectional Webcam picture stream utilising an own developed mirror and Perspex tube setup. The area of interest in each frame was extracted saving on computational recourses and time. By utilising image processing, the vehicle was navigated on a predetermined route. Different edge detection methods and segmentation methods were investigated on this vision signal for route and sign navigation. Prewitt edge detection was eventually implemented, Hough transfers used for border detection and Kalman filtering for minimising border detected noise for staying on the navigated route. Reconfigurability was added to the route layout by coloured signs incorporated in the navigation process. The result was the manipulation of a number of AGV’s, each on its own designated coloured signed route. This route could be reconfigured by the operator with no programming alteration or intervention. The YCbCr colour space signal was implemented in detecting specific control signs for alternative colour route navigation. The result was used generating commands to control the AGV through serial commands sent on a laptop’s Universal Serial Bus (USB) port with a PIC microcontroller interface board controlling the motors by means of pulse width modulation (PWM). A total MATLAB® software development platform was utilised by implementing written M-files, Simulink® models, masked function blocks and .mat files for sourcing the workspace variables and generating executable files. This continuous development system lends itself to speedy evaluation and implementation of image processing options on the AGV. All the work done in the thesis was validated by simulations using actual data and by physical experimentation.
Svensson, Pontus. "Automated Image Suggestions for News Articles : An Evaluation of Text and Image Representations in an Image Retrieval System." Thesis, Linköpings universitet, Interaktiva och kognitiva system, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-166669.
Повний текст джерелаOh, Sang Min. "Switching linear dynamic systems with higher-order temporal structure." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/29698.
Повний текст джерелаCommittee Chair: Dellaert, Frank; Committee Co-Chair: Rehg, James; Committee Member: Bobick, Aaron; Committee Member: Essa, Irfan; Committee Member: Smyth, Padhraic. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Daniel, Jérémie. "Trajectory generation and data fusion for control-oriented advanced driver assistance systems." Phd thesis, Université de Haute Alsace - Mulhouse, 2010. http://tel.archives-ouvertes.fr/tel-00608549.
Повний текст джерелаCastagno, Thomas A. "The effect of knee pads on gait and comfort." Link to electronic thesis, 2004. http://www.wpi.edu/Pubs/ETD/Available/etd-0426104-174716.
Повний текст джерелаHon, Wing-kai. "On the construction and application of compressed text indexes." Click to view the E-thesis via HKUTO, 2004. http://sunzi.lib.hku.hk/hkuto/record/B31059739.
Повний текст джерелаHon, Wing-kai, and 韓永楷. "On the construction and application of compressed text indexes." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2004. http://hub.hku.hk/bib/B31059739.
Повний текст джерелаNduku, Nyaniso Prudent. "Development of methods for distribution network power quality variation monitoring." Thesis, Cape Peninsula University of Technology, 2009. http://hdl.handle.net/20.500.11838/1144.
Повний текст джерелаThe purpose of this project is to develop methods for distribution network power quality' variations monitoring. Power quality (PO) has become a significant issue for both power suppliers and customers. There have been important changes in power system regarding to power quality requirements. "Power quality" is the combination at voltage quality and current quality. The main research problem of the project is to investigate the power quality of a distribution network by selection of proper measurement, applying and developing the existing classic and modern signal conditioning methods for power disturbance's parameters extracting and monitoring. The research objectives are: To study the standard lEC 61000-4-30 requirements. to investigate the common couplings in the distribution network. To identity the points for measurement, to develop MySQL database for the data from the measurement and to develop MATLAB software tor simulation of the network To develop methods based on Fourier transforms for estimation of the parameters of the disturbances. To develop software for the methods implementation, The influence of different loads on power quality disturbances are considered in the distribution network. Points on the network and meters according to the lEC power quality standards are investigated and applied for the CPUT Bellville campus distribution network. The implementation of the power quality monitoring for the CPUT Bellville campus helps the quality of power supply to be improved and the used power to be reduced. MATLAB programs to communicate with the database and calculate the disturbances and power quality parameters are developed.
He, Hai. "Towards automatic understanding and integration of web databases for developing large-scale unified access systems." Diss., Online access via UMI:, 2006.
Знайти повний текст джерелаKrause, Christian, and Holger Giese. "Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2012/5784/.
Повний текст джерелаEine der wichtigsten Herausforderungen in der Entwicklung von Service-orientierten Systemen ist die Vorhersage und die Zusicherung von nicht-funktionalen Eigenschaften, wie Ausfallsicherheit und Verfügbarkeit von zusammengesetzten, interorganisationellen Diensten. Diese Systeme sind oft charakterisiert durch eine Vielzahl von inhärenten Unsicherheiten, welche sowohl in der Modellierung als auch in der Analyse eine Rolle spielen. Die verschiedenen relevanten Arten von Unsicherheiten können eingeteilt werden in (1) epistemische Unsicherheiten aufgrund von unvollständigem Wissen und (2) Zufall als Mittel in Protokollen oder als Resultat von physikalischen Prozessen. In diesem Bericht wird ein probabilistisches, Zeit-behaftetes Modell untersucht, welches es ermöglicht quantitative Aussagen über nicht-funktionale Eigenschaften von einer eingeschränkten Klasse von Service-orientierten Echtzeitsystemen mittels formaler Methoden zu treffen. Zur Motivation und Einordnung wird ein Anforderungskatalog für probabilistische Echtzeitsysteme mit Unsicherheiten erstellt und gezeigt, dass die Unsicherheiten vom Typ (1) und (2) in den untersuchten Systemen einen Ein uss auf die Wahl der Modellierungs- und der Analysemethode haben. Als formales Modell werden Interval Probabilistic Timed Automata (IPTA) benutzt. Basierend auf den erarbeiteten Anforderungen wird gezeigt, dass dieses Modell sowohl ausreichende Ausdrucksstärke für eine realistische und modulare Spezifikation als auch geeignete formale Methoden zur Bestimmung von quantitativen Sicherheits- und Zuverlässlichkeitseigenschaften bietet. Als technisches Mittel für die quantitative Analyse wird probabilistisches Model Checking, speziell probabilistische Zeit-beschränkte Erreichbarkeitsanalyse und Bestimmung von Erwartungswerten für Kosten und Vergütungen eingesetzt. Um die quantitative Analyse mittels probabilistischem Model Checking durchzuführen, wird eine Erweiterung des Prism-Werkzeugs zur Modellierung und Analyse von IPTA eingeführt. Die präsentierte Erweiterung von Prism ermöglicht die Modellierung von probabilistischen Unsicherheiten mittelsWahrscheinlichkeitsintervallen, wie sie für IPTA benötigt werden. Zur Verifikation wird probabilistische Erreichbarkeitsanalyse und die Berechnung von Erwartungswerten durch das Werkzeug unterstützt. Es wird die Performanz der Prism-Erweiterung untersucht und der Intervall-basierte IPTA-Ansatz mit Modellen mit festen Wahrscheinlichkeitswerten verglichen.
Teoh, Pek Loo. "A study of single laser interferometry-based sensing and measuring technique in robot manipulator control and guidance. Volume 1." Monash University, Dept. of Mechanical Engineering, 2003. http://arrow.monash.edu.au/hdl/1959.1/9565.
Повний текст джерелаDu, Preez Hercule. "GrailKnights : an automaton mass manipulation package for enhanced pattern analysis." Thesis, Stellenbosch : Stellenbosch University, 2008. http://hdl.handle.net/10019.1/2902.
Повний текст джерелаThis thesis describes the design and implementation of an application names GrailKnights that allows for the mass manipulation of automata, with added visual pattern analysis features. It comprises a database-driven backend for automata storage, and a graphical user interface that allows for filtering the automata selected from the database with visual interpretation of visible patterns over the resulting automata.