Дисертації з теми "Input, Output and Data Devices"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Input, Output and Data Devices".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Romeike, Ralf. "Output statt Input." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2013/6431/.
Повний текст джерелаLöfving, Erik. "Organizing physical flow data : from input-output tables to data warehouses /." Linköping : Dept. of Mathematics, Univ, 2005. http://www.bibl.liu.se/liupubl/disp/disp2005/stat5s.pdf.
Повний текст джерелаMcLaughlin, Anne Collins. "Attentional demands on input devices in a complex task." Thesis, Georgia Institute of Technology, 2003. http://hdl.handle.net/1853/30305.
Повний текст джерелаHernańdez, Correa Evelio. "Control of nonlinear systems using input-output information." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/11176.
Повний текст джерелаGarriga, Berga Carles. "A New Approach to the Synthesis of Fuzzy Systems from Input-Output Data." Doctoral thesis, Universitat Ramon Llull, 2005. http://hdl.handle.net/10803/9147.
Повний текст джерелаThis thesis researches into the issues related to intelligible fuzzy models, because since science demonstrated the use of fuzzy logic when searching optimal models in terms of error (in fact a fuzzy model is a universal approximator), some but few investigators have focused their efforts in order to achieve really intelligible models in spite of losing some accuracy.
In this work we propose a whole methodology able to find an intelligible fuzzy model in a local manner (rule by rule) from input-output data. In this sense we find the number and position of the necessary fuzzy sets and also the linguistic rules related to them. For this purpose we have developed a hierarchical process which takes into account several steps and techniques, some of which are original contributions.
The resulting method is very simple and also intelligible. Therefore, this solution performs the final models with a low computational cost, but furthermore, allows the tuning of its different options depending on the nature of the problem and the characteristics of the users.
In this thesis we explain the whole methodology and illustrate its advantages (but also its problems) with several examples which are benchmarks in most cases.
Bailey, Alastair S. "The estimation of input-output coefficients for agriculture from whole farm accounting data." Thesis, University of Reading, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.320135.
Повний текст джерелаWelmers, Laura Hazel. "The implementation of an input/output consistency checker for a requirements specification document." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9889.
Повний текст джерелаYAMAMOTO, Shuichiro. "Reconstructing Data Flow Diagrams from Structure Charts Based on the Input and Output Relationship." Institute of Electronics, Information and Communication Engineers, 1995. http://hdl.handle.net/2237/15017.
Повний текст джерелаYang, Shaoshi. "Detection for multiple-input multiple-output systems : probabilistic data association and semidefinite programming relaxation." Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/360710/.
Повний текст джерелаHolmes, William Paul. "Voice input for the disabled /." Title page, contents and summary only, 1987. http://web4.library.adelaide.edu.au/theses/09ENS/09ensh749.pdf.
Повний текст джерелаTypescript. Includes a copy of a paper presented at TADSEM '85 --Australian Seminar on Devices for Expressive Communication and Environmental Control, co-authored by the author. Includes bibliographical references (leaves [115-121]).
Rudianto, Rudi. "ANALYSIS & DESIGN OF IMPROVED MULTIPHASE INTERLEAVING DC-DC CONVERTER WITH INPUT-OUTPUT BYPASS CAPACITOR." DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/102.
Повний текст джерелаAu, Kwok Shum. "Multiple-input multiple-output detection in wireless communications and data storage systems : performance and implementation issues /." View abstract or full-text, 2007. http://library.ust.hk/cgi/db/thesis.pl?ECED%202007%20AU.
Повний текст джерелаLamprecht, Erwin Cornelius. "Multiple-Input Single-Output system identification techniques using the pebble bed modular reactor data / E.C. Lamprecht." Thesis, North-West University, 2004. http://hdl.handle.net/10394/639.
Повний текст джерелаThesis (M.Ing. (Computer and Electronical Engineering))--North-West University, Potchefstroom Campus, 2005.
Battenberg, Janice K. "Selective attention : a comparison of two computer input devices utilizing a traditional keyboard vs. a touch sensitive screen." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/546125.
Повний текст джерелаDepartment of Special Education
Meterelliyoz, Kuyzu Melike. "Variance parameter estimation methods with re-use of data." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26490.
Повний текст джерелаCommittee Co-Chair: Alexopoulos, Christos; Committee Co-Chair: Goldsman, David; Committee Member: Kim, Seong-Hee; Committee Member: Shapiro, Alexander; Committee Member: Spruill, Carl. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Schweizer, Andreas. "Analysis and optimisation of stable matching in combined input and output queued switches." Western Australian Telecommunications Research Institute, 2009. http://theses.library.uwa.edu.au/adt-WU2009.0078.
Повний текст джерелаSeevinck, Jennifer. "Emergence in interactive art." Thesis, University of Technology, Sydney, 2011.
Знайти повний текст джерелаHeasman, Ray Edward. "The implementation of a core architecture for geophysical data acquisition." Thesis, Rhodes University, 2000. http://hdl.handle.net/10962/d1005256.
Повний текст джерелаTai, Yiyang. "Machine Learning Uplink Power Control in Single Input Multiple Output Cell-free Networks." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279462.
Повний текст джерелаDen här avhandlingen tar hänsyn till upplänken till cellfria multipla utgångssystem med en enda ingång, där åtkomstpunkterna använder matchad filtermottagning. I den här inställningen är vårt mål att utveckla ett skalbart styrsystem för upplänkskraft som endast förlitar sig på storskaliga uppskattningar av kanalökningar och är robusta för förändringar i miljön. Specifikt formulerar vi problemet som maxmin och max-produkt signal-till-störningsförhållande optimeringsuppgifter, som kan lösas genom geometrisk programmering. Därefter studerar vi resultatet av övervakade och okontrollerade inlärningsmetoder som använder ett framåtriktat neuralt nätverk. Vi finner att båda metoderna fungerar nära det optimala som uppnås genom geometrisk programmering, medan det övervakade schemat undviker förberäkningen av träningsdata som övervakat inlärning skulle kräva för varje system- eller miljöändring.
Shtarkalev, Bogomil Iliev. "Single data set detection for multistatic Doppler radar." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/10556.
Повний текст джерелаFischer, Elisabeth [Verfasser]. "Teaching Quality in Higher Education : A Field Study Investigating Effects between Input, Process, and Output Variables Using Multiple Data Sources / Elisabeth Fischer." Kassel : Universitätsbibliothek Kassel, 2019. http://d-nb.info/1201508843/34.
Повний текст джерелаAbouzeid, Shadi. "A visual interactive grouping analysis tool (VIGAT) that takes mixed data types as input and provides visually interactive overlapping groups as output." Thesis, University of Strathclyde, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401309.
Повний текст джерелаChibesakunda, Mwelwa K. "A Methodology for Analyzing Power Consumption in Wireless Communication Systems." Thesis, University of Cape Town, 2004. http://pubs.cs.uct.ac.za/archive/00000102/.
Повний текст джерелаLi, Linyu. "Economic growth in Sweden, 2000-2010 : The dot-com bubble and the financial crisis." Thesis, Högskolan Dalarna, Nationalekonomi, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:du-14883.
Повний текст джерелаThanawala, Rajiv P. "Development of G-net (a software system for graph theory & algorithms) with special emphasis on graph rendering on raster output devices." Virtual Press, 1992. http://liblink.bsu.edu/uhtbin/catkey/834618.
Повний текст джерелаDepartment of Computer Science
Amer, Taher. "Evaluating Swiftpoint as a Mobile Device for Direct Manipulation Input." Thesis, University of Canterbury. Computer Science and Software Engineering, 2006. http://hdl.handle.net/10092/1123.
Повний текст джерелаÖman, Andreas. "CO2-utsläpp och konsumtion : Förutsättningar för att påvisa och minska indirekta CO2-utsläpp i den enskilde individens konsumtion av varor." Thesis, Linköping University, Department of Water and Environmental Studies, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-11308.
Повний текст джерелаIVL Svenska Miljöinstitutet utvecklade år 2001 – 2002 i projektet “Klimat.nu – Den stora miljöutmaningen”, ett webbaserat verktyg för att upplysa och vägleda individen i klimatfrågan. Verktygets syfte är att kvantifiera fossila koldioxidutsläpp som en konsekvens av individens energikonsumtion; hushållsel, drivmedel m.m. Syftet är även att individen ges råd om hur man minskar CO2-utsläpp genom att förändra sitt leverne. IVL Svenska Miljöinstitutet vill utöka beräkningsverktygets innehåll till att även omfatta konsumentvaror. Studien har sökt svar hur enskilda individers olika typer av varukonsumtion sättas i samband med CO2-utsläpp och vilka konsumentråd är rimliga att ge för att uppnå utsläppsminskningar, samt hur dessa minskningar kan kvantifieras.
I studien har ett systemanalytiskt tillvägagångssätt tillämpats och empirin har bestått av miljöexpanderad input-output-data (MIOA). Data har samlats in från Statistiska Centralbyrån (SCB) på miljöräkenskapernas data- och analyssidor. Insamlad data beskriver utsläpp som sker i varors livscykel till och med distribution till affär (indirekta utsläpp). Det är dock viktigt att ha varuklassers hela livscykel i åtanke så att försök till att minska konsumentens indirekta CO2-utsläpp inte leder till ökade totala utsläpp. Dataosäkerheter har identifierats, vilka visar att insamlad data underskattar varors indirekta CO2-utsläpp. Data grundar sig på antagandet att Sverige skulle ha producerat alla varor som importeras. I genomsnitt är ca 69 % av varors indirekta CO2-utsläpp av utländsk härkomst, dessa länder har vanligtvis högre utsläppsintensitet än Sverige i sina produktionsstrukturer. I Sverige finns data endast tillgänglig med ca tre års fördröjning. I sin nuvarande form representerar data trots osäkerheter en lägsta nivå på olika varuklassers indirekta CO2-utsläpp.
För att göra insamlad data funktionell i beräkningsverktyget prövades en metodik där utsläppsintensiteter beräknades. Utsläppsintensiteter tillgodoser kravet för att enskilda individers olika typer av varukonsumtion ska kunna kopplas till dess CO2-utsläpp. I beräkningsverktyget innebär det att utsläppsintensiteter integreras, som tillsammans med en viss summa pengar, utgör underlaget för att beräkna individens indirekta CO2-utsläpp. Ur ett individperspektiv är metodiken särskilt tilltalande eftersom pengar används som beräkningsenhet, enheten är något som individen oftast har lätt att relatera till. Användningen av utsläppsintensiteter möjliggör kvantifiering av en utsläppsminskning om individen spenderar en summa pengar på en varuklass med lägre utsläppsintensitet i stället en med högre. Med pengar som enhet kan även ”rebound-effekten” undvikas.
På grund av osäkerheter i dataunderlaget kan studien inte påvisa att förändrad konsumtion av varor leder till en faktisk utsläppsminskning. Störst sannolikhet att uppnå en faktisk minskning är dock om individen råds att fördela en summa pengar från en varuklass till en annan, i vilka det finns stora kvantitativa skillnader mellan utsläppsintensiteterna.
Öman, Andreas. "CO2-utsläpp och konsumtion : Förutsättningar för att påvisa och minska indirekta CO2-utsläpp i den enskilde individens konsumtion av varor." Thesis, Linköpings universitet, Tema vatten i natur och samhälle, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-11308.
Повний текст джерелаOlwert, Craig Thomas. "A Computable General Equilibrium Model of the City with Optimization of its Transportation Network: Impacts of Changes in Technology, Preferences, and Policy." The Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1269369926.
Повний текст джерелаCho, Hyunkyoo. "Efficient variable screening method and confidence-based method for reliability-based design optimization." Diss., University of Iowa, 2014. https://ir.uiowa.edu/etd/4594.
Повний текст джерелаHolz, Christian. "3D from 2D touch." Phd thesis, Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6779/.
Повний текст джерелаDie Interaktion mit Computern war in den letzten vierzig Jahren stark von Tastatur und Maus geprägt. Neue Arten von Sensoren ermöglichen Computern nun, Eingaben durch Berührungs-, Sprach- oder 3D-Gestensensoren zu erkennen. Solch neuartige Formen der Interaktion werden häufig unter dem Begriff "natürliche Benutzungsschnittstellen" bzw. "NUIs" (englisch natural user interfaces) zusammengefasst. 2D-NUIs ist vor allem auf Mobilgeräten ein Durchbruch gelungen; über eine Milliarde solcher Geräte lassen sich durch Berührungseingaben bedienen. 3D-NUIs haben sich jedoch bisher nicht auf mobilen Plattformen durchsetzen können, da sie Nutzereingaben vorrangig mit Kameras aufzeichnen. Da Kameras Bilder jedoch erst ab einem gewissen Abstand auflösen können, eignen sie sich nicht als Sensor in einer mobilen Plattform. In dieser Arbeit lösen wir dieses Problem mit Hilfe von 2D-Sensoren, von deren Eingaben wir 3D-Informationen rekonstruieren. Unsere Prototypen zeichnen dabei die 2D-Abdrücke der Objekte, die den Sensor berühren, mit hoher Auflösung auf. Aus diesen Abdrücken leiten sie dann die Textur der Objekte ab. Anhand der Stelle der Objektoberfläche, die den Sensor berührt, rekonstruieren unsere Prototypen schließlich die 3D-Ausrichtung des jeweiligen Objektes. Neben unserem Hauptbeitrag der 3D-Rekonstruktion stellen wir drei Anwendungen unserer Methode vor. (1) Wir präsentieren Geräte, die Berührungseingaben dreimal genauer als existierende Geräte messen und damit Nutzern ermöglichen, dreimal kleinere Ziele zuverlässig mit dem Finger auszuwählen. Wir zeigen dabei, dass sowohl die Haltung des Fingers als auch der Benutzer selbst einen systematischen Einfluss auf die vom Sensor gemessene Position ausübt. Da existierende Geräte weder die Haltung des Fingers noch den Benutzer erkennen, nehmen sie solche Variationen als Eingabeungenauigkeit wahr. Wir stellen ein Modell für Berührungseingabe vor, das diese beiden Faktoren integriert, um damit die gemessenen Eingabepositionen zu präzisieren. Anschließend untersuchen wir, welches mentale Modell Nutzer beim Berühren kleiner Ziele mit dem Finger anwenden. Unsere Ergebnisse deuten auf ein visuelles Modell hin, demzufolge Benutzer Merkmale auf der Oberfläche ihres Fingers an einem Ziel ausrichten. Bei der Analyse von Berührungseingaben mit diesem Modell verschwinden nahezu alle zuvor von uns beobachteten systematischen Effekte. (2) Unsere Prototypen identifizieren Nutzer anhand der biometrischen Merkmale von Fingerabdrücken. Unser Prototyp Fiberio integriert dabei einen Fingerabdruckscanner und einen Bildschirm in die selbe Oberfläche und löst somit das seit Langem bestehende Problem der sicheren Authentifizierung auf Berührungsbildschirmen. Gemeinsam mit der 3D-Rekonstruktion von Eingaben ermöglicht diese Fähigkeit Fiberio, eine Reihe von Anwendungen zu implementieren, die bisher den sperrigen Aufbau aktueller 3D-NUI-Systeme voraussetzten. (3) Um die Flexibilität unserer Methode zu zeigen, implementieren wir sie auf einem großen, berührungsempfindlichen Fußboden, der Objekttexturen bei der Eingabe ebenfalls mit hoher Auflösung aufzeichnet. Ähnlich wie zuvor analysiert unser System GravitySpace diese Abdrücke, um Nutzer anhand ihrer Schuhsolen zu identifizieren, Möbelstücke auf dem Boden zu erkennen und Nutzern präzise Eingaben mittels ihrer Schuhe zu ermöglichen. Indem GravitySpace alle Abdrücke klassifiziert, erkennt das System die Körperteile der Benutzer, die sich in Kontakt mit dem Boden befinden. Aus der Anordnung dieser Kontakte schließt GravitySpace dann auf die Körperhaltungen aller Benutzer in 3D. GravitySpace hat daher das Potenzial, Anwendungen für zukünftige 3D-NUI-Systeme auf einer flachen Oberfläche zu implementieren, wie zum Beispiel in zukünftigen intelligenten Wohnungen. Wie schließen diese Arbeit mit einem Ausblick auf zukünftige interaktive Geräte. Dabei konzentrieren wir uns auf den Mobilitätsaspekt aktueller Entwicklungen und beleuchten, wie zukünftige mobile NUI-Geräte Nutzer in Form implantierter Geräte direkt unterstützen können.
Wu, Chih-Sung. "Designing tangible tabletop interactions to support the fitting process in modeling biological systems." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/50128.
Повний текст джерелаGiljum, Stefan, Hanspeter Wieland, Franz Stephan Lutter, Nina Eisenmenger, Heinz Schandl, and Anne Owen. "The impacts of data deviations between MRIO models on material footprints: A comparison of EXIOBASE, Eora, and ICIO." Wiley, 2019. http://dx.doi.org/10.1111/jiec.12833.
Повний текст джерелаJanse, van Rensburg HP. "Development of a digitising workstation for the electronics laboratory utilising the personal computer." Thesis, Cape Technikon, 1994. http://hdl.handle.net/20.500.11838/1081.
Повний текст джерелаThis thesis describes the design, development and implementation of a digitising workstation for the electronics laboratory that utilises the personal computer.
Papageorgiou, Asterios. "A physical accounting model for monitoring material flows in urban areas with application to the Stockholm Royal Seaport district." Thesis, KTH, Hållbar utveckling, miljövetenskap och teknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-231160.
Повний текст джерелаMer än hälften av den globala befolkningen bor numera i urbana områden och denna andel uppskattas öka under de kommande årtiondena. Urbana system förbrukar fysiska resurser och genererar stora mängder av rester vilket innebär påfrestningar på miljön samt hindrar en hållbar utveckling. Således kan förståelse av Urban Metabolism (UM) stödja insatserna för att effektivisera resursförbrukningen och avfallshanteringen. I detta sammanhang har en stor mängd av metoder och verktyg utvecklats och tillämpats i UM-studier, såsom Materialflödeanalys (Material Flow Analysis - MFA) och Input-output Analys (Input Output - IOA) baserat på fysiska input-output tabeller (Input Output Tables – PIOTs). Ändå saknas en standardiserad metod för redovisning av materialflöden inom och över gränserna av urbana system. I samband med detta examensarbete utvecklades en fysisk räkenskapsmodell för övervakning av materialflöden i urbana områden. Denna modell kan potentiellt bli grunden för en enhetlig metod för beräkning av materialflöden i urbana system. Modellen utvecklades i en stegvis process och baserades på litteraturgranskning. Grunden för modellen är ett omfattande PIOT ramverk som kan användas för registrering av materialflöden i urbana system. PIOT ramverket är annorlunda än de typiska PIOT-systemen. Det ger en tydligare avgränsning av systemgränserna, det visar tydligt ursprung och destination för materialflöden, och dessutom kan det erbjuda ett livscykelperspektiv på materialflödena. Modellen består av en uppsättning identiska PIOT. Varje deltabell innehåller materialflöden som tillhör i en specifik klass, medan huvudtabellen aggregerar materialet som strömmar för alla material från deltabellerna. Därigenom kan modellen avbilda materialflödena i ett aggregat-perspektiv och samtidigt ge fysiska räkenskaper för specifika materialtyper. Modellen användes i en nybyggd stadsdel i Norra Djurgårdsstaden (NDS), för att utforska och bedöma dess funktioner. För att kartlägga och kvantifiera flödena i stadsdelen genomfördes en MFA baserad på “bottom-up-data”. Insamlingen och analysen av data var emellertid en besvärlig process och dessutom kunde flera materialflöden inte kvantifieras på grund av databrister. Därför kunde modellens tabeller inte fyllas fullständigt och ett flödesdiagram skapades med både kvantitativa och kvalitativa flöden. Trots att det fanns databrister lyckades tillämpningen av modellen att avbilda UM i det avgränsade urbana systemet på ett adekvat sätt. Det visade tydligt att nästan 96% av de materiella insatserna är ackumulerade i lager. Dessutom fastställde modellen kvalitativt den fysiska växelverkan mellan det urbana systemet och den naturliga miljön, det nationella socioekonomiska och det globala socioekonomiska systemet. Emellertid var det inte möjligt att bedöma modellens fullständiga potential eftersom det inte var möjligt att upprätta intersektorala kopplingar. Dessutom beräknades indirekta flöden av flera importerade material baserat på koefficienterna för materialintensitet. Detta tillvägagångssätt kan erbjuda insikt om de uppströms påfrestningar som orsakas av materialproduktionen. Dock finns det endast koefficienter för specifika material. Därför kan de inte användas för att uppskatta de indirekta flödena för varje materialinflöde. Dock framhöll deras partiella tillämpning att indirekta flödena var 38% högre än direktflödena, vilket indikerar att påfrestningar som utövas till miljön på grund av produktion av importerade material är betydande. Tillämpningen av modellen möjliggjorde en bedömning av både styrkor och svagheter hos modellen. Å ena sidan kan modellen fastställa fysiska interaktioner mellan det urbana socioekonomiska systemet och naturmiljön, det nationella socioekonomiska systemet och det globala socioekonomiska systemet. Dessutom har det potential att beskriva intersektorala flöden inom gränserna för det urbana systemet och det kan erbjuda insikt om materialinflödenas ursprung och materialutflödenas destination. En annan styrka i modellen är att den erbjuder livscykelperspektiv genom att ta hänsyn till indirekta flöden av importerade material. Å andra sidan demonstrerades att sammanställningenav modellens tabeller kräver en stor mängd data, speciellt när data erhålls med ett ”bottom-up” tillvägagångssätt. Ändå är bottom-up data inte alltid tillgängliga för urbana områden. En annan svaghet är att sammanställningenav tabellerna i modellen med bottom-up-data kräver en mödosam process för datainsamling och analys. Dessutom kräver analysen av data många antaganden som ökar osäkerheten i resultaten. Ovanstående svagheter i modellen kan hindra tillämpningen av modellen för räkenskap av materialflöden på urbana områden. Således rekommenderas kombinationen av bottom-up-data med top-down data för tillämpning av modellen. Dessutom föreslås utvecklingen av integrerade databaser för datainsamling om materialflöden i urbana områden.
Ryd, Jonatan, and Jeffrey Persson. "Development of a pipeline to allow continuous development of software onto hardware : Implementation on a Raspberry Pi to simulate a physical pedal using the Hardware In the Loop method." Thesis, KTH, Hälsoinformatik och logistik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-296952.
Повний текст джерелаSaab vill undersöka metoden Hardware In the Loop som ett koncept, dessutom hur en infrastruktur av Hardware In the Loop skulle se ut. Hardware In the Loop baseras på att kontinuerligt testa hårdvara som är simulerad. Mjukvaran Saab vill använda sig av för Hardware In the Loop metoden är Jenkins, vilket är ett Continuous Integration och Continuous Delivery verktyg. För attsimulera hårdvaran vill Saab undersöka användningen av ett Application Programming Interface mellan en Raspberry Pi och programmeringsspråket Robot Framework. Anledning till att Saab vill undersöka allt det här, är för att de tror att det kan förbättra frekvensen av testning och kvaliteten av testning, vilket skulle leda till en förbättring av deras produkter. Teorin bakom Hardware In the Loop, Continuous Integration och Continuous Delivery kommer att förklaras i den här rapporten. Hardware In the Loop metoden blev implementerad med Continuous Integration och Continuous Delivery verktyget Jenkins. Ett Application Programming Interface mellan General Purpose Input/output pinnarna på en Raspberry Pi och Robot Framework blev utvecklat. Med de här implementationerna utförda, så blev Hardware Inthe Loop metoden slutligen integrerat, där Raspberry Pis användes för att simulera hårdvaran.
Moon, Min-Yeong. "Confidence-based model validation for reliability assessment and its integration with reliability-based design optimization." Diss., University of Iowa, 2017. https://ir.uiowa.edu/etd/5816.
Повний текст джерелаJensen, Deron Eugene. "System-wide Performance Analysis for Virtualization." PDXScholar, 2014. https://pdxscholar.library.pdx.edu/open_access_etds/1789.
Повний текст джерелаJohnson, Andrew. "Methods in productivity and efficiency analysis with applications to warehousing." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2006. http://hdl.handle.net/1853/29400.
Повний текст джерелаMcGinnis, Leon - Committee Chair, Griffin, Paul - Committee Member, Hackman, Steve - Committee Member, Parsons, Len - Committee Member, Sharp, Gunter - Committee Member. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Nimgaonkar, Satyajeet. "Secure and Energy Efficient Execution Frameworks Using Virtualization and Light-weight Cryptographic Components." Thesis, University of North Texas, 2014. https://digital.library.unt.edu/ark:/67531/metadc699986/.
Повний текст джерелаMota, Susana de Jesus. "Channel modelling for MIMO systems." Doctoral thesis, Universidade de Aveiro, 2014. http://hdl.handle.net/10773/14961.
Повний текст джерелаSystems equipped with multiple antennas at the transmitter and at the receiver, known as MIMO (Multiple Input Multiple Output) systems, offer higher capacities, allowing an efficient exploitation of the available spectrum and/or the employment of more demanding applications. It is well known that the radio channel is characterized by multipath propagation, a phenomenon deemed problematic and whose mitigation has been achieved through techniques such as diversity, beamforming or adaptive antennas. By exploring conveniently the spatial domain MIMO systems turn the characteristics of the multipath channel into an advantage and allow creating multiple parallel and independent virtual channels. However, the achievable benefits are constrained by the propagation channel’s characteristics, which may not always be ideal. This work focuses on the characterization of the MIMO radio channel. It begins with the presentation of the fundamental results from information theory that triggered the interest on these systems, including the discussion of some of their potential benefits and a review of the existing channel models for MIMO systems. The characterization of the MIMO channel developed in this work is based on experimental measurements of the double-directional channel. The measurement system is based on a vector network analyzer and a two-dimensional positioning platform, both controlled by a computer, allowing the measurement of the channel’s frequency response at the locations of a synthetic array. Data is then processed using the SAGE (Space-Alternating Expectation-Maximization) algorithm to obtain the parameters (delay, direction of arrival and complex amplitude) of the channel’s most relevant multipath components. Afterwards, using a clustering algorithm these data are grouped into clusters. Finally, statistical information is extracted allowing the characterization of the channel’s multipath components. The information about the multipath characteristics of the channel, induced by existing scatterers in the propagation scenario, enables the characterization of MIMO channel and thus to evaluate its performance. The method was finally validated using MIMO measurements.
Os sistemas equipados com múltiplas antenas no emissor e no recetor, conhecidos como sistemas MIMO (Multiple Input Multiple Output), oferecem capacidades mais elevadas, permitindo melhor rentabilização do espectro e/ou utilização de aplicações mais exigentes. É sobejamente sabido que o canal rádio é caracterizado por propagação multipercurso, fenómeno considerado problemático e cuja mitigação tem sido conseguida através de técnicas como diversidade, formatação de feixe ou antenas adaptativas. Explorando convenientemente o domínio espacial os sistemas MIMO transformam as características multipercurso do canal numa mais-valia e permitem criar vários canais virtuais, paralelos e independentes. Contudo, os benefícios atingíveis são condicionados pelas características do canal de propagação, que poderão não ser sempre as ideais. Este trabalho centra-se na caracterização do canal rádio para sistemas MIMO. Inicia-se com a apresentação dos resultados fundamentais da teoria da informação que despoletaram todo o entusiamo em torno deste tipo de sistemas, sendo discutidas algumas das suas potencialidades e uma revisão dos modelos existentes para sistemas MIMO. A caracterização do canal MIMO desenvolvida neste trabalho assenta em medidas experimentais do canal direcional adquiridas em dupla via. O sistema de medida é baseado num analisador de redes vetorial e numa plataforma de posicionamento bidimensional, ambos controlados por um computador, permitindo obter a resposta em frequência do canal rádio nos vários pontos correspondentes à localização dos elementos de um agregado virtual. As medidas são posteriormente processadas com o algoritmo SAGE (Space-Alternating Expectation-Maximization), de forma a obter os parâmetros (atraso, direção de chegada e amplitude complexa) das componentes multipercurso mais significativas. Seguidamente, estes dados são tratados com um algoritmo de classificação (clustering) e organizados em grupos. Finalmente é extraída informação estatística que permite caracterizar o comportamento das componentes multipercurso do canal. A informação acerca das características multipercurso do canal, induzidas pelos espalhadores (scatterers) existentes no cenário de propagação, possibilita a caracterização do canal MIMO e assim avaliar o seu desempenho. O método foi por fim validado com medidas MIMO.
Verlaine, Lionel. "Optimisation des requêtes dans une machine bases de données." Paris 6, 1986. http://www.theses.fr/1986PA066532.
Повний текст джерелаAmri, Mohamed. "Etude et realisation d'un reseau local a insertion de registre : traitement des interblocages et determinisme." Clermont-Ferrand 2, 1987. http://www.theses.fr/1987CLF21062.
Повний текст джерелаHarrison, William. "Malleability, obliviousness and aspects for broadcast service attachment." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4138/.
Повний текст джерелаPalix, Nicolas, Julia L. Lawall, Gaël Thomas, and Gilles Muller. "How Often do Experts Make Mistakes?" Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4132/.
Повний текст джерелаCARVALHO, Gustavo Henrique Porto de. "NAT2TEST: generating test cases from natural language requirements based on CSP." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/17929.
Повний текст джерелаMade available in DSpace on 2016-09-28T12:33:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5) Previous issue date: 2016-02-26
High trustworthiness levels are usually required when developing critical systems, and model based testing (MBT) techniques play an important role generating test cases from specification models. Concerning critical systems, these models are usually created using formal or semi-formal notations. Moreover, it is also desired to clearly and formally state the conditions necessary to guarantee that an implementation is correct with respect to its specification by means of a conformance relation, which can be used to prove that the test generation strategy is sound. Despite the benefits of MBT, those who are not familiar with the models syntax and semantics may be reluctant to adopt these formalisms. Furthermore, most of these models are not available in the very beginning of the project, when usually natural-language requirements are available. Therefore, the use of MBT is postponed. Here, we propose an MBT strategy for generating test cases from controlled naturallanguage (CNL) requirements: NAT2TEST, which refrains the user from knowing the syntax and semantics of the underlying notations, besides allowing early use of MBT via naturallanguage processing techniques; the formal and semi-formal models internally used by our strategy are automatically generated from the natural-language requirements. Our approach is tailored to data-flow reactive systems: a class of embedded systems whose inputs and outputs are always available as signals. These systems can also have timed-based behaviour, which may be discrete or continuous. The NAT2TEST strategy comprises a number of phases. Initially, the requirements are syntactically analysed according to a CNL we proposed to describe data-flow reactive systems. Then, the requirements informal semantics are characterised based on the case grammar theory. Afterwards, we derive a formal representation of the requirements considering a model of dataflow reactive systems we defined. Finally, this formal model is translated into communicating sequential processes (CSP) to provide means for generating test cases. We prove that our test generation strategy is sound with respect to our timed input-output conformance relation based on CSP: csptio. Besides CSP, we explore the generation of other target notations (SCR and IMR) from which we can generate test cases using commercial tools (T-VEC and RT-Tester, respectively). The whole process is fully automated by the NAT2TEST tool. Our strategy was evaluated considering examples from the literature, the aerospace (Embraer) and the automotive (Mercedes) industry. We analysed performance and the ability to detect defects generated via mutation. In general, our strategy outperformed the considered baseline: random testing. We also compared our strategy with relevant commercial tools.
Testes baseados em modelos (MBT) consiste em criar modelos para especificar o comportamento esperado de sistemas e, a partir destes, gerar testes que verificam se implementações possuem o nível de confiabilidade esperado. No contexto de sistemas críticos, estes modelos são normalmente (semi)formais e deseja-se uma definição precisa das condições necessárias para garantir que uma implementação é correta em relação ao modelo da especificação. Esta definição caracteriza uma relação de conformidade, que pode ser usada para provar que uma estratégia de MBT é consistente (sound). Apesar dos benefícios, aqueles sem familiaridade com a sintaxe e a semântica dos modelos empregados podem relutar em adotar estes formalismos. Aqui, propõe-se uma estratégia de MBT para gerar casos de teste a partir de linguagem natural controlada (CNL). Esta estratégia (NAT2TEST) dispensa a necessidade de conhecer a sintaxe e a semântica das notações formais utilizadas internamente, uma vez que os modelos intermediários são gerados automaticamente a partir de requisitos em linguagem natural. Esta estratégia é apropriada para sistemas reativos baseados em fluxos de dados: uma classe de sistemas embarcados cujas entradas e saídas estão sempre disponíveis como sinais. Estes sistemas também podem ter comportamento dependente do tempo (discreto ou contínuo). Na estratégia NAT2TEST, inicialmente, os requisitos são analisados sintaticamente de acordo com a CNL proposta neste trabalho para descrever sistemas reativos. Em seguida, a semântica informal dos requisitos é caracterizada utilizando a teoria de gramática de casos. Posteriormente, deriva-se uma representação formal dos requisitos considerando um modelo definido neste trabalho para sistemas reativos. Finalmente, este modelo é traduzido em uma especificação em communicating sequential processes (CSP) para permitir a geração de testes. Este trabalho prova que a estratégia de testes proposta é consistente considerando a relação de conformidade temporal baseada em entradas e saídas também definida aqui: csptio. Além de CSP, foi explorada a geração de outras notações formais (SCR e IMR), a partir das quais é possível gerar casos de teste usando ferramentas comerciais (T-VEC e RT-Tester, respectivamente). Todo o processo é automatizado pela ferramenta NAT2TEST. A estratégia NAT2TEST foi avaliada considerando exemplos da literatura, da indústria aeroespacial (Embraer) e da automotiva (Mercedes). Foram analisados o desempenho e a capacidade de detectar defeitos gerados através de operadores de mutação. Em geral, a estratégia NAT2TEST apresentou melhores resultados do que a referência adotada: testes aleatórios. A estratégia NAT2TEST também foi comparada com ferramentas comerciais relevantes.
Fan, Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, and Hanne Riis Nielson. "AspectKE*: Security aspects with program analysis for distributed systems." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4136/.
Повний текст джерелаShahin, Kamrul. "Modèle graphique probabiliste appliqué au diagnostic de l'état de santé des systèmes, au pronostic et à l'estimation de la durée de vie résiduelle." Electronic Thesis or Diss., Université de Lorraine, 2020. http://www.theses.fr/2020LORR0129.
Повний текст джерелаThis thesis contributes to prognosis and health management for assessing health condition of complex systems. In the context of operational management and operational safety of systems, we propose to investigate how Dynamic Probabilistic Graphical Modelling (DPGM) can be used to diagnose the current health state of systems, prognostic the future health state, and the evolution of degradation, as well as estimate its remaining useful life based on its operating conditions. System degradation is generally unknown and requires shutting down the system to be observed. However, this is difficult or even impossible during system operation. Though, a set of observable quantities on a system or component can characterise the level of degradation and help to estimate the remaining useful life of components and systems. The DPGM provides an approach suitable for modelling the evolution of the health state of systems and components. The aim of this thesis is to transpose and capitalize on the experience of these previous works in a prognostic context on the basis of a more efficient DPGM taking into account the available knowledge on the system. We extend the classical HMM family models to the IOHMM to allow the time propagation of uncertainty to address prognostic problems. This research includes the extension of learning and inference algorithms. Variants of the HMM model are proposed to incorporate the operating environment into the prognosis. The aim of this thesis is to contribute to solving the following scientific locks: - Considering the state of health whatever the complexity of the system by a stochastic model and learning the model parameters from the available measurements on the system. - Establish a diagnosis of the state of health of the system and the prognosis of its evolution by integrating several operational conditions. - Estimate the remaining useful life of components and structured systems with series and parallel components. This is a major challenge because the prognosis of the degradation of system components makes it possible to define strategies for either control or maintenance in relation to the residual life of the system. This allows the reduction of the probability of occurrence of a shutdown due to a system malfunction either by adjusting the degradation speed to fit in with a preventive maintenance plan or by proactively planning maintenance interventions
Hunter, Brandon. "Channel Probing for an Indoor Wireless Communications Channel." BYU ScholarsArchive, 2003. https://scholarsarchive.byu.edu/etd/64.
Повний текст джерелаScarlato, Michele. "Sicurezza di rete, analisi del traffico e monitoraggio." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3223/.
Повний текст джерела