To see the other types of publications on this topic, follow the link: Wave Analysis Language systems.
Dissertations / Theses on the topic 'Wave Analysis Language systems'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Wave Analysis Language systems.'
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
Carandang, Alfonso B., and n/a. "Recognition of phonemes using shapes of speech waveforms in WAL." University of Canberra. Information Sciences & Engineering, 1994. http://erl.canberra.edu.au./public/adt-AUC20060626.144432.
Full textAbstract:
Generating a phonetic transcription of the speech waveform is one method
which can be applied to continuous speech recognition. Current methods of labelling a
speech wave involve the use of techniques based on spectrographic analysis. This paper
presents a computationally simple method by which some phonemes can be identified
primarily by their shapes.
Three shapes which are regularly manifested by three phonemes were examined
in utterances made by a number of speakers. Features were then devised to recognise
their patterns using finite state automata combined with a checking mechanism. These
were implemented in the Wave Analysis Language (WAL) system developed at the
University of Canberra and the results showed that the phonemes can be recognised
with high accuracy. The resulting shape features have also demonstrated a degree of
speaker independence and context dependency.
2
Ojima, Hirotaka, Kenji Nagase, and Yoshikazu Hayakawa. "Wave-based analysis and wave control of damped mass-spring systems." IEEE, 2001. http://hdl.handle.net/2237/6856.
Full text
3
Yildirim, Baran. "Acoustic Wave Analysis Using Different Wave Propagation Models." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/3/12609527/index.pdf.
Full textAbstract:
In this study in order to simulate the acoustic waves, Ray Theory and Normal Mode models are used. These methods are analyzed using MATLAB simulation tool<br>differences between two models are examined and a region with a known bottom profile and sound velocity profiles is investigated. The Ray Theory is used in acoustic systems which is the one of the applications of wave modeling. Ray theory is solved with standard Ordinary Differential Equation solvers and normal mode with finite element method. Different bottom profiles and sound velocity profiles previously taken are interpolated to form an environment and examined in the case study.
in the case study.
4
Hu, Xin 1979. "Full-wave analysis of large conductor systems over substrate." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/35597.
Full textAbstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>Includes bibliographical references (leaves 137-145).<br>Designers of high-performance integrated circuits are paying ever-increasing attention to minimizing problems associated with interconnects such as noise, signal delay, crosstalk, etc., many of which are caused by the presence of a conductive substrate. The severity of these problems increases as integrated circuit clock frequencies rise into the multiple gigahertz range. In this thesis, a simulation tool is presented for the extraction of full-wave interconnect impedances in the presence of a conducting substrate. The substrate effects are accounted for through the use of full-wave layered Green's functions in a mixed-potential integral equation (MPIE) formulation. Particularly, the choice of implementation for the layered Green's function kernels motivates the development of accelerated techniques for both their 3D volume and 2D surface integrations, where each integration type can be reduced to a sum of D line integrals. In addition, a set of high-order, frequency-independent basis functions is developed with the ability to parameterize the frequency-dependent nature of the solution space, hence reducing the number of unknowns required to capture the interconnects' frequency-variant behavior.<br>(cont.) Moreover, a pre-corrected FFT acceleration technique, conventional for the treatment of scalar Green's function kernels, is extended in the solver to accommodate the dyadic Green's function kernels encountered in the substrate modeling problem. Overall, the integral-equation solver, combined with its numerous acceleration techniques, serves as a viable solution to full-wave substrate impedance extractions of large and complex interconnect structures.<br>by Xin Hu.<br>Ph.D.
5
Dalal, Abdulsalam Elmabruk Daw. "Shadow Wave Solutions for Some Balance Law Systems." Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2017. https://www.cris.uns.ac.rs/record.jsf?recordId=104976&source=NDLTD&language=en.
Full textAbstract:
In the first part, the pressureless gas dynamic system with source (body force) is examined and solved by using Shadow Waves. The source represents gravity and Shadow Wave solution (containing the delta function) shows acceleration (contrary to shocks, for example). In the second part, one will nd numerical calculations that conrms the above results.<br>Rad je posvecen analizi modela gasa bez pritiska uz dodatak izvora. Model je resen koriscenjem senka talasa. U ovom slucaju, izvor predstavlja uticaj gravitacije na cestice u modelu. Za razliku od udarnih talasa, talasi senke koje sadrze delta funkciju, krecu se ubrzano pod gravitacionim uticajem. U drugom delu rada su naprevljeni numericki eksperimenti koji potvrdjuju teoijske rezultate.
6
Duong, Ninh T. "Analysis and design of millimetre wave antenna array power combines /." Title page, table of contents and abstract only, 1998. http://web4.library.adelaide.edu.au/theses/09PH/09phd925.pdf.
Full text
7
Nagvanshi, Preeti. "Analysis of multiple antenna ultra-wideband and millimeter wave communication systems." Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2007. http://wwwlib.umi.com/cr/ucsd/fullcit?p3284213.
Full textAbstract:
Thesis (Ph. D.)--University of California, San Diego, 2007.<br>Title from first page of PDF file (viewed January 14, 2008). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 133-140).
8
Hanna, Fadi. "Analysis of Hydropower Systems' Ability to Follow Square Wave Load Variations." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-195027.
Full textAbstract:
The interest for renewable energies is increasing in Sweden and wind power is a major factor for the increase. Therefore, it is expected that with increasing installed capacity from renewable resources the variations in the power system will increase drastically due to the unexpected energy production from these types of power sources. Thus, a flexible power production is required to balance these variations which can cause serious problems in the power system such as voltage flicker and harmonics. In Sweden, the hydropower is ideal for balancing due to the high installed capacity and the flexible generation of hydropower. Therefore it is import to study the capability of the hydropower systems at balancing these variations and this is done by studying the ability of the hydropower systems at producing with extreme variations on their power production. A short-term mixed-integer linear programming model is utilised to study the capability of a hydropower system while facing extreme variations in its power production. The extreme variations are modelled as square waves where the production of the hydropower system is forced to follow these square waves. The hydropower system model considers both the water delay time and the head-dependency of the power plants. Another interesting factor that is considered in the study is how the arrangement of the power plants in a hydropower system affects the power variation capabilities. The special aspect in this study is that the hydropower systems simulated are completely fictitious systems. This means that the crucial aspects that influence the variation in the power production of a hydropower system can be manipulated to study the effects. The results obtained showed that the capability of a hydropower system at following extreme variation in power production is highly dependent on the reservoir water contents of the different power plants during the simulation period. Another obvious factor that impacted the capability of a hydropower system was the arrangement of the power plants included in the system. Lastly it was shown that if a hydropower system is dominated by small reservoirs, then this will mean more variation in the efficiency of the power production<br>Intresset för förnybara energikällor ökar i Sverige och vindkraft utgör en större del av denna ökning. Därför förväntas variationerna i det elektriska systemet öka drastiskt med en ökande effektkapacitet från förnybara energikällor. På grund av detta är det viktigt att balansera dessa variationer och för att lyckas med detta en flexibel kraftproduktion krävs. Variationer i det elektriska systemet kan medföra seriösa spänning och frekvens problem så som flimmer och övertoner. I Sverige utgör vattenkraft en stor del av den totala installerade effekten i landet och på grund av dess flexibla kraftproduktion gör att vattenkraft är en idealisk kraftkälla för att balansera stora variationer i det elektriska systemet. Därför är det viktigt att studera förmågan för vattenkraft systemen då dessa tvingas att producera under stora produktionsvariationer. För att studera detta har ett linjärt heltalsproblem (engelska: MILP) använts för att simulera ett vattenkraftsystem med stora variationer i vattenkraftsystemets produktion. Dessa extrema variationer i produktionen är modellerade som fyrkantsvågor som elproduktionen från vattenkraften följer. Vattenkraftsystemet är modellerat så att den tar hänsyn till både rinntider från ett kraftverk till ett nedströms kraftverk och till fallhöjdsberoendet för varje kraftverk. En annan intressant faktor som anses i studien är hur placeringen av dem olika kraftverken påverkar förmågan för ett vattenkraftsystem. Den intressanta aspekten i denna studie är att dem simulerade vattenkraftsystemen är helt fiktiva system, vilket menas att dem avgörande parametrarna och faktorerna för ett vattenkraftsystem då den producerar under stora variationer kan studeras noggrannare genom manipulation av dessa parametrar och faktorer. De erhållna resultaten visade att ett vattenkraftsystems kapabilitet att följa stora produktionsvariationer är mycket beroende av vatten innehållet i magasinerna av dem olika kraftverken. En annan faktor som hade en tydlig påverkan på variationsförmågan av elproduktionen var hur dem olika kraftverken i systemet var placerade. Slutligen, resultaten kunde bevisa att om ett vattenkraftsystem är dominerat av små magasiner kommer effektiviteten av vattenkraftsystemets elproduktionen att vara mer varierande.
9
Tom, Tracey Hiroto Alena. "Development of Wave Prediction and Virtual Buoy Systems." 京都大学 (Kyoto University), 2010. http://hdl.handle.net/2433/120845.
Full text
10
Rivano, Giuseppina. "Analysis of offshore hybrid energy systems for improved dispatchability of wave energy." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Find full textAbstract:
Attualmente è riscontrabile a livello globale un aumento del numero di giacimenti offshore contenenti un piccolo quantitativo di gas a bassa pressione e dunque destinati ad essere avviati alla procedura finale di chiusura. Per eliminare gli elevati costi di trasporto del gas e valorizzare il sito, nasce il concetto di Gas-to-Wire. Esso consiste nella produzione di elettricità attraverso la combustione del gas naturale in sito. Allo stesso tempo, la consapevolezza che le risorse oil & gas sono destinate ad estinguersi con gli anni ha spinto la comunità scientifica a concentrare l’attenzione su nuove forme di energia rinnovabile, come le onde marine. Nonostante ciò, vi sono ancora delle barriere da abbattere legate sia al prezzo di tali tecnologie che alla produzione di energia in modo discontinuo che rende problematica la loro integrazione nella rete elettrica.
Al fine di superare tali problematiche, si è pensato di adottare un sistema ibrido di energia offshore costituito da convertitori di onda e microturbine a gas installate sulla piattaforma presente nel giacimento depleto. Esse forniscono potenza addizionale di bilanciamento sfruttando il concetto di Gas-to-Wire, consentendo una maggiore dispacciabilità dell’energia rinnovabile da onde.
Lo scopo del presente lavoro è quello di analizzare le prestazioni energetiche, economiche e d’impatto ambientale del sistema ibrido di energia offshore. Due differenti siti, Mare del Nord e Mar Adriatico, sono stati presi in considerazione al fine di valutare l’influenza delle diverse condizioni meteo-marine, diversi mercati elettrici di dispacciamento e diversi incentivi fiscali per l’integrazione di energia rinnovabile sulle prestazioni del sistema ibrido di energia offshore. Attraverso l’approccio seguito per il dimensionamento e gestione dei due sistemi ibridi, è stato possibile calcolare gli indicatori tecnici, ambientali ed economici.
11
Xu, Cheng. "Enhancement and performance analysis for 3D beamforming systems." Thesis, Brunel University, 2018. http://bura.brunel.ac.uk/handle/2438/16630.
Full textAbstract:
This thesis is about the researching for 5th generation (5G) communication system, which focus on the improvement of 3D beamforming technology in the antenna array using in the Full Dimension Multiple-Input Multiple-Output (FD-MIMO) system and Millimeter-wave (mm-wave) system. When the 3D beamforming technology has been used in 5G communication system, the beam needs a weighting matrix to direct the beam to cover the UEs, but some compromises should be considered. If the narrow beams are used to transmit signals, then more energy is focused in the desired direction, but this has a restricted coverage area to a single or few User Equipments (UEs). If the BS covers multiple UEs, then multiple beams need to be steered towards more groups of UEs, but there is more interference between these beams from their side lobes when they are transmitted at same time. These challenges are waiting to be solved, which are about interference between each beam when the 3D beamforming technology is used. Therefore, there needs to be one method to decrease the generated interference between each beam through directing the side lobe beams and nulls to minimize interference in the 3D beamforming system. Simultaneously, energy needs to be directed towards the desired direction. If it has been decided that one beam should covera cluster of UEs, then there will be a range of received Signal to Interference plus Noise Ratio (SINR) depending on the location of the UEs relative to the direction of the main beam. If the beam is directed towards a group of UEs then there needs be a clustering method to cluster the UEs. In order to cover multiple UEs, an improved K-means clustering algorithm is used to cluster the multiple UEs into different groups, which is based on the cosine distance. Itcan decrease the number of beams when multiple UEs need be covered by multiple beams at same time. Moreover, a new method has been developed to calculate the weighting matrix for beamforming. It can adjust the values of weighting matrix according to the UEs' location and direct the main beam in a desired direction whilst minimizing its side lobes in other undesired directions. Then the minimum side lobe beamforming system only needs to know the UEs' location and can be used to estimate the Channel State Information (CSI) of UEs. Therefore, the scheme also shows lower complexity when compared to the beamforming methods with pre-coding. In order to test the improved K-means clustering algorithm and the new weighting method that can enhance the performance for 3D beamforming system, the two simulation systems are simulated to show the results such as 3D beamforming LTE system and mm-wave system.
12
Vantoch-Wood, Angus Robert. "Quantifying methods for an innovation systems analysis of the UK wave energy sector." Thesis, University of Exeter, 2012. http://hdl.handle.net/10871/11122.
Full textAbstract:
Current proxy indicators of innovation although insightful, tend to provide more relevance in both larger scale markets, (such as in the pharmaceuticals or electronics industry) and for codifiable innovative activity, (such as patents and bibliometrics). These measures could be capitalised on further if a more robust measure of functionality performance that included informal innovative activity could be gained to help assess the overall performance of the system under inspection. This work uses the emerging UK wave energy sector as a primary case study to explore early stage innovation systems through the novel application of network analysis as well as existing innovation systems theory. It was hoped that a clearer understanding of which metrics were related to which system functionality and how representative they were would help to create more robust and transferable measures of emergent system functionality. The question as to whether this increased confidence and insight into system operation could allow for benchmarking comparisons between spatially or socially different emerging innovative networks, such as different countries or stakeholder types was then addressed, as well as wether this could provide a higher level of efficacy to applied policy support? A further goal of this work was to assess the current wave energy sector through these methodologies and provide insightful feedback into activity, potential opportunities and threats present within the system. The main methodological findings show that the novel application of Social Network Analysis provided a strongly correlated and insightful metric of innovative activity however (as with established metrics), there were clearl limitations on applicability and that a ‘one size fits all’ application of methods is not available for any innovation assessment tools. Additionally, many existing metrics used within analysis are often un-clearly defined or presented leaving largely presumptuous levels of interpretation within the final analysis. Sectoral findings showed a range of narratives regarding the sector. Clear prominence of Scotland and higher levels of all system functionality within the country make it a strong performer within the system. Likewise, a lack of coherent and ‘first-past-the-post’ funding policy has produced a ‘gating’ of technology support that in turn has disillusioned many early device developers while pulling out a fortunate few. This ‘Mathew Effect’ within the system may (among other things) leave the sector open to system shocks from outside competition and reduce the level of market entrance due to a perception of unfair or secretive support provision.
13
Ben, Hamdin Hanya Abdusalam Mohamed. "Boundary element and transfer operator methods for multi-component wave systems." Thesis, University of Nottingham, 2012. http://eprints.nottingham.ac.uk/12446/.
Full textAbstract:
In this thesis, exact and semiclassical approaches are derived for predicting wave energy distributions in coupled cavities with variable material properties. These approaches are attractive because they can be extended to more complex built-up systems. For the exact treatment, we describe a multi-component boundary element method. We point out that depending on the boundary conditions and the number of interfaces between sub-components, it may be advantageous to use a normal derivative method to set up the integral kernels. We describe how the arising hypersingular integral kernels can be reduced to weakly singular integral and then using the piecewise constant collocation method. The normal derivative method can be used to minimise the number of weakly-singular integrals thus leading to BEM formulations which are easier to handle. The second component of this work concerns a novel approach for finding an exact formulation of the transfer operator. This approach is demonstrated successfully for a disc with boundary conditions changing discontinuously across the boundary. Such an operator captures the diffraction effects related to the change of boundary conditions. So it incorporates boundary effects such as diffraction and surface waves. A comparison between the exact results from the BEM against the exact transfer operator shows good agreement between both categories. Such an exact operator converges to the semiclassical Bogomolny transfer operator in the semiclassical limit. Having seen how the exact transfer operator behaves for a unit disc, a similar approach is adapted for the coupled cavity configuration resulting in the semiclassical transfer operator. Our formulation for the transfer operator is applicable not only for the quantization of a system, but also to recover the Green function.
14
McBride, Cheryl. "Translation memory systems: An analysis of translators' attitudes and opinions." Thesis, University of Ottawa (Canada), 2009. http://hdl.handle.net/10393/28404.
Full textAbstract:
Translation memory (TM) systems are among the most aggressively marketed and widely used computer-aided translation tools. Previous studies have focused on when and how TMs are used, but there is significantly less information available relating to translators' perceptions of and attitudes towards them.
The goal of this thesis is to explore translators' unprompted opinions of the issues related to TM system usage. After analyzing postings on translators' discussion boards, I propose to compare current assumptions about TM systems and their use with what translators are expressing in their unprompted opinions. I believe that with a better understanding of different perspectives and attitudes, translators can evaluate and potentially adjust their own perceptions in light of others' experience, developers and vendors can respond more accurately to users' needs, clients can better comprehend translators' concerns, and researchers and trainers can properly address the issues currently surrounding TM system usage.
This thesis is organized into three chapters. Following a general introduction, Chapter I explains the functioning of TM systems and the issues surrounding their use, and then explores what is known about the use of TM systems and attitudes towards them as these are expressed in scholarly research, vendor promotional materials, surveys of practicing translators, and analyses of mailing lists. Chapter 2 provides a description of the methodology used in this project to select a primary resource, extract TM-related information, and classify the data. Chapter 3 presents a summary and analysis of the data found in the corpus. Finally, the conclusion summarizes the findings of this research and their implications for translators, vendors, clients/agencies, translator trainers, and researchers, addresses areas requiring further investigation and research, and evaluates the methodology of the project.
15
Ginbayashi, Jun. "Formal methods and tools for systems analysis and design." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.294381.
Full text
16
Winn, Tiffany Rose, and winn@infoeng flinders edu au. "LDPL: A Language Designer's Pattern Language." Flinders University. Informatics and Engineering, 2006. http://catalogue.flinders.edu.au./local/adt/public/adt-SFU20061127.123254.
Full textAbstract:
Patterns provide solutions to recurring design problems in a variety of domains,
including that of software design. The best patterns are generative: they show how to
build the solution they propose, rather than just explaining it. A collection of patterns
that work together to generate a complex system is called a pattern language. Pattern
languages have been written for domains as diverse as architecture and computer
science, but the process of developing pattern languages is not well understood.
This thesis focuses on defining both the structure of pattern languages and the
processes by which they are built. The theoretical foundation of the work is existing
theory on symmetry breaking. The form of the work is itself a pattern language: a
Language Designer's Pattern Language (LDPL). LDPL itself articulates the structure
of pattern languages and the key processes by which they form and evolve, and thus
guides the building of a properly structured pattern language. LDPL uses
multidisciplinary examples to validate the claims made, and an existing software
pattern language is analyzed using the material developed.
A key assumption of this thesis is that a pattern language is a structural entity; a
pattern is not just a transformation on system structure, but also the resultant structural
configuration. Another key assumption is that it is valid to treat a pattern language
itself as a complex, designed system, and therefore valid to develop a pattern language
for building pattern languages.
One way of developing a pattern language for building pattern languages would be
to search for underlying commonality across a variety of existing, well known pattern
languages. Such underlying commonality would form the basis for patterns in LDPL.
This project has not directly followed this approach, simply because very few pattern
languages that are genuinely structural have currently been explicitly documented.
Instead, given that pattern languages articulate structure and behavior of complex
systems, this research has investigated existing complex systems theory - in particular,
symmetry-breaking - and used that theory to underpin the pattern language. The
patterns in the language are validated by examples of those patterns within two well
known pattern languages, and within several existing systems whose pattern
languages have not necessarily been explicitly documented as such, but the existence
of which is assumed in the analysis.
In addition to developing LDPL, this project has used LDPL to critique an existing
software pattern language, and to show how that software pattern language could
potentially have been generated using LDPL. Existing relationships between patterns
in the software language have been analyzed and, in some cases, changes to patterns
and their interconnections have been proposed as a way of improving the language.
This project makes a number of key contributions to pattern language research. It
provides a basis for semantic analysis of pattern languages and demonstrates the
validity of using a pattern language to articulate the structure of pattern languages and
the processes by which they are built. The project uses symmetry-breaking theory to
analyze pattern languages and applies that theory to the development of a language.
The resulting language, LDPL, provides language developers with a tool they can use
to help build pattern languages.
17
Zoli, Marco. "Performance analysis of ray-tracing assisted beamforming techniques for future mm-wave wireless systems." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7583/.
Full textAbstract:
Il progetto di tesi riguarda principalmente la progettazione di moderni sistemi wireless, come 5G o
WiGig, operanti a onde millimetriche, attraverso lo studio di una tecnica avanzata detta
Beamforming, che, grazie all'utilizzo di antenne direttive e compatte, permette di superare limiti di
link budget dovuti alle alte frequenze e introdurre inoltre diversità spaziale alla comunicazione.
L'obiettivo principale del lavoro è stato quello di valutare, tramite simulazioni numeriche, le
prestazioni di alcuni diversi schemi di Beamforming integrando come tool di supporto un
programma di Ray Tracing capace di fornire le principali informazioni riguardo al canale radio.
Con esso infatti è possibile sia effettuare un assessment generale del Beamforming stesso, ma
anche formulare i presupposti per innovative soluzioni, chiamate RayTracing-assisted-
Beamforming, decisamente promettenti per futuri sviluppi così come confermato dai risultati.
18
Gustavsson, Andreas. "Static Execution Time Analysis of Parallel Systems." Doctoral thesis, Mälardalens högskola, Inbyggda system, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-31399.
Full textAbstract:
The past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism is no longer feasible due to extensive power consumption and heat dissipation. Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. This is most often done using multiple, relatively slow and simple, processing cores situated on a single processor chip. The cores usually share some resources on the chip, such as some level of cache memory (which means that they also share the interconnect, e.g., a bus, to that memory and also all higher levels of memory). To fully exploit this type of parallel processor chip, programs running on it will have to be concurrent. Since multi-core processors are the new standard, even embedded real-time systems will (and some already do) incorporate this kind of processor and concurrent code. A real-time system is any system whose correctness is dependent both on its functional and temporal behavior. For some real-time systems, a failure to meet the temporal requirements can have catastrophic consequences. Therefore, it is crucial that methods to derive safe estimations on the timing properties of parallel computer systems are developed, if at all possible. This thesis presents a method to derive safe (lower and upper) bounds on the execution time of a given parallel system, thus showing that such methods must exist. The interface to the method is a small concurrent programming language, based on communicating and synchronizing threads, that is formally (syntactically and semantically) defined in the thesis. The method is based on abstract execution, which is itself based on abstract interpretation techniques that have been commonly used within the field of timing analysis of single-core computer systems, to derive safe timing bounds in an efficient (although, over-approximative) way. The thesis also proves the soundness of the presented method (i.e., that the estimated timing bounds are indeed safe) and evaluates a prototype implementation of it.<br>Den strategi som historiskt sett använts för att öka processorers prestanda (genom ökad klockfrekvens och ökad instruktionsnivåparallellism) är inte längre hållbar på grund av den ökade energikonsumtion som krävs. Därför är den nuvarande trenden inom processordesign att låta mjukvaran påverka det parallella exekveringsbeteendet. Detta görs vanligtvis genom att placera multipla processorkärnor på ett och samma processorchip. Kärnorna delar vanligtvis på några av processorchipets resurser, såsom cache-minne (och därmed också det nätverk, till exempel en buss, som ansluter kärnorna till detta minne, samt alla minnen på högre nivåer). För att utnyttja all den prestanda som denna typ av processorer erbjuder så måste mjukvaran som körs på dem kunna delas upp över de tillgängliga kärnorna. Eftersom flerkärniga processorer är standard idag så måste även realtidssystem baseras på dessa och den nämnda typen av kod. Ett realtidssystem är ett datorsystem som måste vara både funktionellt och tidsmässigt korrekt. För vissa typer av realtidssystem kan ett inkorrekt tidsmässigt beteende ha katastrofala följder. Därför är det ytterst viktigt att metoder för att analysera och beräkna säkra gränser för det tidsmässiga beteendet hos parallella datorsystem tas fram. Denna avhandling presenterar en metod för att beräkna säkra gränser för exekveringstiden hos ett givet parallellt system, och visar därmed att sådana metoder existerar. Gränssnittet till metoden är ett litet formellt definierat trådat programmeringsspråk där trådarna tillåts kommunicera och synkronisera med varandra. Metoden baseras på abstrakt exekvering för att effektivt beräkna de säkra (men ofta överskattade) gränserna för exekveringstiden. Abstrakt exekvering baseras i sin tur på abstrakta interpreteringstekniker som vida används inom tidsanalys av sekventiella datorsystem. Avhandlingen bevisar även korrektheten hos den presenterade metoden (det vill säga att de beräknade gränserna för det analyserade systemets exekveringstid är säkra) och utvärderar en prototypimplementation av den.<br>Worst-Case Execution Time Analysis of Parallel Systems<br>RALF3 - Software for Embedded High Performance Architectures
19
Aloi, Daniel N. "Electromagnetic analysis of ground multipath for satellite-based positioning systems." Ohio University / OhioLINK, 1996. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1178816934.
Full text
20
Ramachandran, Venkateshwaran. "A temporal analysis of natural language narrative text." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-03122009-040648/.
Full text
21
Wells, Wilfred Henry. "Development of a cognitive work analysis framework tutorial using Systems Modeling Language." Doctoral diss., University of Central Florida, 2011. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4720.
Full textAbstract:
At the present time, most systems engineers do not have access to cognitive work analysis information or training in terms they can understand. This may lead to a disregard of the cognitive aspect of system design. The impact of this issue is system requirements that do not account for the cognitive strengths and limitations of users. Systems engineers cannot design effective decision support systems without defining cognitive work requirements. In order to improve system requirements, integration of cognitive work requirements into the systems engineering process has to be improved. One option to address this gap is the development of a Cognitive Work Analysis (CWA) framework using Systems Modeling Language (SysML). The study had two phases. The first involved aligning the CWA terminology with the SysML to produce a CWA framework using SysML. The second was the creation of an instruction using SysML to inform systems engineers of the process of integrating cognitive work requirements into the systems engineering process. This methodology provides a structured framework to define, manage, organize, and model cognitive work requirements. Additionally, it provides a tool for systems engineers to use in system design which supports a user's cognitive functions, such as situational awareness, problem solving, and decision making.<br>ID: 030646182; System requirements: World Wide Web browser and PDF reader.; Mode of access: World Wide Web.; Thesis (Ph.D.)--University of Central Florida, 2011.; Includes bibliographical references (p. 243-255).<br>Ph.D.<br>Doctorate<br>Industrial Engineering and Management Systems<br>Engineering and Computer Science<br>Industrial Engineering
22
Halle, Robert F. "Extensible Markup Language (XML) based analysis and comparison of heterogeneous databases." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2001. http://handle.dtic.mil/100.2/ADA393736.
Full textAbstract:
Thesis (M.S. in Software Engineering) Naval Postgraduate School, June 2001.<br>Thesis advisor(s): Berzins, Valdis. "June 2001." Includes bibliographical references (p. 137-138). Also Available online.
23
Yau, Desmond. "Analysis of coupling, guiding and radiation mechanisms on several microwave structures /." [St. Lucia, Qld.], 2001. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe16164.pdf.
Full text
24
Gustavsson, Andreas. "Static Timing Analysis of Parallel Systems Using Abstract Execution." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-26125.
Full textAbstract:
The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level.This is most often done using multiple processing cores situated on a single processor chip.The cores usually share some resources on the chip, such as some level of cache memory (which means that they also share the interconnect, e.g. a bus, to that memory and also all higher levels of memory), and to fully exploit this type of parallel processor chip, programs running on it will have to be concurrent.Since multi-core processors are the new standard, even embedded real-time systems will (and some already do) incorporate this kind of processor and concurrent code. A real-time system is any system whose correctness is dependent both on its functional and temporal output. For some real-time systems, a failure to meet the temporal requirements can have catastrophic consequences. Therefore, it is of utmost importance that methods to analyze and derive safe estimations on the timing properties of parallel computer systems are developed. This thesis presents an analysis that derives safe (lower and upper) bounds on the execution time of a given parallel system.The interface to the analysis is a small concurrent programming language, based on communicating and synchronizing threads, that is formally (syntactically and semantically) defined in the thesis.The analysis is based on abstract execution, which is itself based on abstract interpretation techniques that have been commonly used within the field of timing analysis of single-core computer systems, to derive safe timing bounds in an efficient (although, over-approximative) way.Basically, abstract execution simulates the execution of several real executions of the analyzed program in one go.The thesis also proves the soundness of the presented analysis (i.e. that the estimated timing bounds are indeed safe) and includes some examples, each showing different features or characteristics of the analysis.<br>Worst-Case Execution Time Analysis of Parallel Systems<br>RALF3 - Software for Embedded High Performance Architectures
25
Van, Heerden George Adrian. "Evaluation of alternatives for hydraulic analysis of sanitary sewer systems." Thesis, Stellenbosch : Stellenbosch University, 2014. http://hdl.handle.net/10019.1/86534.
Full textAbstract:
Thesis (MScEng)--Stellenbosch University, 2014.<br>ENGLISH ABSTRACT: This research project focuses on sanitary sewer systems. When performing an analysis of a sewer drainage system with known constraints, an appropriate model needs to be chosen depending on the objectives of the analysis. Uncertainties are also present in the analysis of sewer drainage systems. The uncertainties and the errors in hydraulic models need to be understood and considered. The required level of accuracy and the type of hydraulic problem that needs to be solved may alter the complexity of the hydraulic model used to solve a drainage system. The wide variety of available simulation models further complicates model selection. With various models available, selecting the most appropriate model for a particular drainage system simulation is important.
The various models for sewer drainage system analysis can be categorised in different ways. For example, it is possible to categorise models according to their purpose, which could be evaluation, design or planning. Evaluation models are mainly used to test whether existing systems or planned systems are adequate and require the highest hydraulic detail. Design models are used to determine the size of conduits within a drainage system and require moderate levels of hydraulic detail. Planning models are primarily used for strategic planning and decision making for urban or regional drainage systems and require the least amount of hydraulic detail. An understanding of the available models is required in order to choose the most suitable simulation model for the desired purpose. Some models are derived from the Saint-Venant equations of flow. The most detailed models are typically referred to as fully dynamic wave models and utilise all the components of the Saint-Venant flow equations. By removing terms from the Saint-Venant equations a kinematic wave model can be created. Some less complex models ignore basic principles of hydraulics in order to make assumptions that simplify the process of simulating flows. In this thesis three different models were compared: a detailed model using fully dynamic flow equations, a simplified model using kinematic wave equations and a basic model using contributor hydrograph routing equations. For the drainage system analysis SWMM-EXTRAN was used as the fully dynamic wave model, SWMM-TRANSPORT was used as the kinematic wave model and SEWSAN was used as the contributor hydrograph model.
Two drainage systems situated in South Africa were used as case studies and are referred to as Drainage System A and Drainage System B in this thesis. The actual flow rate was recorded at two points with flow loggers, one in each of the two systems. The flow rate was continually recorded at 1 hour intervals for the period 1 July 2010 to 9 July 2010 in Drainage System A as well as in Drainage System B. The same input parameters were used for each model allowing the modelled flow rates to be compared to the measured flow rates.
The models provided peak flow results that were within 2% of the measured peak flow rates and the modelled mean flows were within 8.5% of the measured mean flows in most situations. However, when rapidly varied flows occurred the kinematic wave and contributor hydrograph models returned conservative results as they were unable to account for hydraulic effects such as acceleration. The effect of acceleration became most pronounced up and downstream of drop structures and sections where the slope changed considerably. The kinematic wave and contributor hydrograph models were therefore unable to accurately simulate surcharge conditions.
The results suggest that the fully dynamic wave model can be used in all scenarios. The kinematic wave model can be used for a design analysis if no hydraulic structures occur in the system. The contributor hydrograph model should not be used for an evaluation analysis, but can be used for a design analysis if a relatively high level of confidence in the parameter set exists and no areas of rapidly varying flow or hydraulic structures exist within the system.<br>AFRIKAANSE OPSOMMING: Hierdie navorsing projek is gefokus op riool dreineringsisteme. Wanneer ʼn analise van ʼn riool dreineringsisteem met bekende beperkinge onderneem word, moet ʼn geskikte model gekies word afhangende van die doelwitte van die analise. Onbekendes is ook teenwoordig in die analise van riool dreineringsisteme. Dit word belangrik dat die onsekerhede en die foute in hidroliese modelle moet verstaan en oorweeg word. Die verwagte vlak van akkuraatheid en die tipe hidroliese probleem wat opgelos moet word mag die ingewikkeldheid van die hidroliese probleem, wat gebruik word om ʼn rioolsisteem op te los, verander. Die wye verskeidenheid van beskikbare simulasie modelle bemoeilik verder die keuse van ʼn model. Met etlike modelle beskikbaar vir seleksie, is die mees geskikte model vir ʼn spesifieke dreineringsisteem simulasie belangrik.
Die verskeie modelle vir riool dreineringsisteem analise kan op verskillende wyses gekategoriseer word. Byvoorbeeld, dit is moontlik om modelle te kategoriseer volgens hulle doel, wat evaluasie, ontwerp en beplanning kan wees. Evaluasiemodelle word hoofsaaklik gebruik om te toets of huidige of beplande sisteme voldoende is en of hulle die hoogs moontlike hidroliese besonderhede benodig. Ontwerpmodelle word gebruik om die grootte van ʼn leipyp binne ʼn rioolsisteem te bepaal en benodig matige vlakke van hidroliese besonderhede. Beplanningsmodelle word hoofsaaklik gebruik vir strategiese beplanning en besluitneming vir stedelike en landelike rioolsisteme en benodig die laagste vlak van hidroliese data. ʼn Begrip van die beskikbare modelle is nodig om ʼn keuse te maak rakende die mees geskikte simulasie model vir die verlangde doelwit. Sommige modelle is afkomstig van die Saint-Venant vergelykings van vloei. Die mees gedetailleerde modelle word tipies na verwys as die volledige dinamiese golf modelle en benut alle komponente van die Saint-Venant vloei vergelykings. Deur die verwydering van terme van die Saint-Venant vergelykings kan ʼn kinematiese golf model daargestel word. Sommige minder gekompliseerde modelle ignoreer die basiese beginsels van hidrologie om aannames te maak wat die proses van golf simulering vereenvoudig. In hierdie tesis is drie verskillende modelle vergelyk; ʼn gedetailleerde model wat volledige dinamiese vloeivergelykings gebruik; ʼn vereenvoudigde model wat kinematiese golfvergelykings gebruik en ʼn basiese model wat bydraende hidroliese versending vergelykings. Vir die dreineringsisteem analise was SWMM-EXTRAN gebruik as die volledige dinamiese golfmodel, SWMM-TRANSPORT was gebruik as die kinetiese golfmodel en SEWSAN was gebruik as die bydraende hidroliese model.
Twee dreineringsisteme in Suid-Afrika was gebruik as gevallestudies en word na verwys as Dreineringsisteem A en Dreineringsisteem B. Die werklike vloeikoers was aangeteken by twee punte met vloeimeters, een in elk van die sisteme. Die vloeikoers was deurlopend opgeteken met 1 uur tussenposes vir die periode 1 Julie 2010 tot 9 Julie 2010 in Dreinering Sisteem A sowel as Dreinering Sisteem B. Dieselfde inset parameters was gebruik vir elke model wat dit moontlik gemaak het dat die gemoduleerde vloeikoerse met die gemete vloeikoerse vergelyk kon word.
Die modelle het spits vloeiresultate voorsien wat binne 2% van die gemete spits vloeikoerse was en, in die meeste situasies, dat die gemoduleerde gemiddelde vloei binne 8.5% van die gemete gemiddelde vloei was. Wanneer vinnig varierende vloei voorgekom het, die kinetiese golf and bydraende hidrograaf modelle konserwatiewe resultate gelewer het, aangesien hulle nie in staat was om hidroliese effekte soos versnelling te verklaar nie. Die effek van versnelling was op sy duidelikste stroomopwaarts en stroomafwaarts onder valstrukture en by gedeeltes waar die helling aansienlik verander het. Die kinetiese golf en bydraer hidrograaf modelle was gevolglik nie in staat om oorladingsomstandighede akkuraat te simuleer nie. Die resultate wys dat die volledige dinamiese vloeimiddel gebruik kan word in alle omstandighede. Die kinematiese vloeimiddel kan gebruik word vir ʼn ontwerp analise indien geen hidroliese struktuur in die sisteem voorkom nie. Die bydraer hidrograaf model behoort nie gebruik te word vir ʼn evaluerings analise nie, maar kan gebruik word vir ʼn ontwerp analise indien ʼn relatiewe hoë vlak van vertroue in die parameter stel bestaan en geen area van vinnig veranderende vloei of hidroliese strukture binne die sisteem bestaan nie.
26
Nielsen, Robert D. "An analysis of continuous wave and time domain electron paramagnetic resonance spectra with applications to biological systems /." Thesis, Connect to this title online; UW restricted, 2003. http://hdl.handle.net/1773/8596.
Full text
27
Al-Kamha, Reema. "Conceptual XML for Systems Analysis." Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd1890.pdf.
Full text
28
Hosseini, Habib Mir Mohamad. "Analysis and recognition of Persian and Arabic handwritten characters /." Title page, contents and abstract only, 1997. http://web4.library.adelaide.edu.au/theses/09PH/09phh8288.pdf.
Full text
29
Maïga, Oumar. "An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22662/document.
Full textAbstract:
Cette thèse propose une méthodologie qui intègre les méthodes formelles dans la spécification, la conception, la vérification et la validation des systèmes complexes concurrents et distribués avec une perspective à événements discrets. La méthodologie est basée sur le langage graphique HILLS (High Level Language for System Specification) que nous avons défini. HiLLS intègre des concepts de génie logiciel et de théorie des systèmes pour une spécification des systèmes. Précisément, HiLLS intègre des concepts et notations de DEVS (Discrete Event System Specification), UML (Unified Modeling Language) et Object-Z. Les objectifs de HILLS incluent la définition d’une syntaxe concrète graphique qui facilite la communicabilité des modèles et plusieurs domaines sémantiques pour la simulation, le prototypage, l’enaction et l’accessibilité à l’analyse formelle. L’Enaction se définit par le processus de création d’une instance du système qui s’exécute en temps réel (par opposition au temps virtuel utilisé en simulation). HiLLS permet la construction hiérarchique et modulaire des systèmes à événements discrets grâce à une description simple et rigoureuse des aspects statiques, dynamiques et fonctionnels des modèles. La sémantique pour simulation de HiLLS est définie en établissant un morphisme sémantique entre HiLLS et DEVS; de cette façon chaque modèle HiLLS peut être simulé en utilisant un simulateur DEVS. Cette approche permet aux utilisateurs DEVS d’utiliser HiLLS comme un langage de spécification dans la phase de modélisation et d’utiliser leurs propres implémentations locales ou distribuées de DEVS en phase de simulation. L’enactment des modèles HiLLS est basé sur une adaptation du patron de conception Observateur pour leur implémentation. La vérification formelle est faite en établissant un morphisme entre chaque niveau d’abstraction de HiLLS et une méthode formelle adaptée pour la vérification formelle des propriétés à ce niveau. Les modèles formels sur lesquels sont faites les vérifications formelles sont obtenus à partir des spécifications HiLLS en utilisant des morphismes. Les trois niveaux d’abstraction de HiLLS sont : le niveau composite, le niveau unitaire et le niveau des traces. Ces niveaux correspondent respectivement aux trois niveaux suivants de la hiérarchie de spécification des systèmes proposée par Zeigler : CN (Coupled Network), IOS (Input Output System) et IORO (Input Output Relation Observation). Nous avons établi des morphismes entre le niveau Composite et CSP (Communicating Sequential Processes), entre le niveau unitaire et Z, et nous utilisons les logiques temporelles telles que LTL, CTL et TCTL pour exprimer les propriétés sur les traces. HiLLS permet à la fois la spécification des modèles à structures statiques et les modèles à structures variables. Dans le cas des systèmes à structures variables, le niveau composite intègre à la fois des propriétés basées sur les états et les processus. Pour prendre en compte ces deux aspects, un morphisme est défini entre le niveau Composite de HiLLS et CSPZ (une combinaison de CSP et Z). Le processus de vérification et de validation combine la simulation, la vérification exhaustive de modèle (model checking) et la preuve de théorèmes (theorem proving) dans un Framework commun. La vérification exhaustive et la preuve de théorèmes sur les modèles HiLLS sont basées sur les outils associés aux méthodes formelles sélectionnées dans les morphismes. Nous appliquons la méthodologie de modélisation de HiLLS à la modélisation du Alternating Bit Protocol (ABP) et à celle d’un guichet automatique de dépôt de billet (Automated Teller Machine) (ATM)<br>This thesis proposes a methodology which integrates formal methods in the specification, design, verification and validation processes of complex, concurrent and distributed systems with discrete events perspectives. The methodology is based on the graphical language HILLS (High Level Language for System Specification) that we defined. HiLLS integrates software engineering and system theoretic views for the specification of systems. Precisely, HiLLS integrates concepts and notations from DEVS (Discrete Event System Specification), UML (Unified Modeling Language) and Object-Z. The objectives of HILLS include the definition of a highly communicable graphical concrete syntax and multiple semantic domains for simulation, prototyping, enactment and accessibility to formal analysis. Enactment refers to the process of creating an instance of system executing in real-clock time. HILLS allows hierarchical and modular construction of discrete event systems models while facilitating the modeling process due to the simple and rigorous description of the static, dynamic, structural and functional aspects of the models. Simulation semantics is defined for HiLLS by establishing a semantic mapping between HiLLS and DEVS; in this way each HiLLS model can be simulated by a DEVS simulator. This approach allow DEVS users to use HiLLS as a modeling language in the modeling phase and use their own stand alone or distributed DEVS implementation package to simulate the models. An enactment of HiLLS models is defined by adapting the observer design-pattern to their implementation. The formal verification of HiLLS models is made by establishing morphisms between each level of abstraction of HILLS and a formal method adapted for the formal verification of the properties at this level. The formal models on which are made the formal verification are obtained from HILLS specifications by using the mapping functions. The three levels of abstraction of HILLS are: the Composite level, the Unitary level and the Traces level. These levels correspond respectively to the following levels of the system specification hierarchy proposed by Zeigler: CN (Coupled Network), IOS (Input Output System) and IORO (Input Output Relation Observation). We have established morphisms between the Composite level and CSP (Communicating Sequential Processes), between Unitary level and Z and we expect to use temporal logics like LTL, CTL and TCTL to express traces level properties. HiLLS allows the specification of both static and dynamic structure systems. In case of dynamic structure systems, the composite level integrates both sate-based and process-based properties. To handle at the same time state-based and process-based properties, morphism is established between the dynamic composite level and CSPZ (a combination of CSP and Z); The verification and validation process combine simulation, model checking and theorem proving techniques in a common framework. The model checking and theorem proving of HILLS models are based on an integrated tooling framework composed of tools supporting the notations of the selected formal methods in the established morphisms. We apply our methodology to modeling of the Alternating Bit Protocol (ABP) and the Automated Teller Machine (ATM)
30
Calkins, Josh A. "An Investigation of Lithospheric Structure and Evolution in Convergent Orogenic Systems using Seismic Receiver Functions and Surface Wave Analysis." Diss., The University of Arizona, 2008. http://hdl.handle.net/10150/195366.
Full textAbstract:
Whether by accretion, magmatic addition, or refinement of more mafic lithologies, continental arcs are likely zones for the creation of "average" continental crust with intermediate silica content. This dissertation contains the results of broadband seismic studies carried out in two field areas, an active subduction zone and the remnants of an extinct arc, with the aim of understanding lithospheric evolution at convergent margins. The analytical techniques of receiver function calculation and surface wave tomography are applied to data sets collected above the Andean subduction zone in Chile and western Argentina and in the Coast Mountains Batholith of central British Columbia. We present the first in-depth comparison of receiver functions calculated using the high frequencies available in records of intermediate-depth local earthquakes with those calculated from the lower frequency data in records of larger teleseismic events. The comparison reveals that the lower crust beneath the Western Sierras Pampeanas contains a gradational velocity increase over ~20km above a small velocity step at the Moho. Surface wave tomography confirms the existence of an unusually high velocity anomaly in the mantle above the slab and yields estimates of slab thickness on the order of 50 km. To the south of the flat slab region, we see evidence of active mantle wedge convection above the steep slab, but no evidence of the lithosphere-asthenosphere boundary beneath the subducting Nazca plate. In the Coast Mountains Batholith (CMB), receiver functions image a bright, continuous Moho throughout the study region. Combined with petrologic modeling, the receiver function data point toward convective removal of any ultramafic root that formed beneath the CMB. Low absolute shear wave velocities in the upper mantle resolved via surface wave analysis strengthen the case for root removal beneath the eastern section of the CMB. On the far western edge of the CMB, we find evidence of a partially reformed lithosphere outboard of a major tectonic boundary. These observations shed light on the distillation of felsic to intermediate continental crust from more mafic primary magmas in active subduction zones and the eventual return of the complementary ultramafic residuals to the convecting mantle.
31
Macklin, Kendrick R. "Benchmarking and analysis of the SRC-6E reconfigurable computing system." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Dec%5FMacklin.pdf.
Full text
32
Zhu, Jia Jun. "A language for financial chart patterns and template-based pattern classification." Thesis, University of Macau, 2018. http://umaclib3.umac.mo/record=b3950603.
Full text
33
Mahmud, Nesredin. "Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35386.
Full textAbstract:
Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. Besides to natural language, template-based requirementsspecification methods are used to specify requirements specifications (esp. insafety-critical applications), which reduce ambiguity and improves the com-prehensibility of the specifications. However, the template-based method areusually rigid due to the fixed structures of the templates. They also lack meta-models for extensibility, and template selection is challenging.In this thesis, we proposed a domain specific language for embedded sys-tems, called ReSA, which is constrained natural language but flexible enoughto allow engineers to use different constructs to specify requirements. Thelanguage has formal semantics in proportional logic and description logic thatenables non-trivial and rigorous analysis of requirements specification, e.g.,consistency checking, completeness of specifications, etc.Moreover, we propose a scalable formal verification of Simulink models,whichisusedtodescribethebehaviorofsystemsthroughcommunicatingfunc-tional blocks. In industry, Simulink is the de facto modeling and analysis en-vironment of embedded systems. It is also used to generate code automati-cally from special Simulink models for various hardware platforms. However,Simulink lacks formal approach to verify large and hybrid Simulink models.Therefore, we also propose a formal verification of Simulink models, repre-sented as stochastic timed automata, using statistical model checking, whichhas proven to scale for industrial applications.We validate our approaches on industrial use cases from the automotiveindustry. These includes Adjustable Speed Limiter (ASL) and Brake-By-Wire(BBW) systems from Volvo Group Trucks Technology, both safety-critical.<br>Verispec
34
Sommers, Alexander Mitchell. "EXPLORING PSEUDO-TOPIC-MODELING FOR CREATING AUTOMATED DISTANT-ANNOTATION SYSTEMS." OpenSIUC, 2021. https://opensiuc.lib.siu.edu/theses/2862.
Full textAbstract:
We explore the use a Latent Dirichlet Allocation (LDA) imitating pseudo-topic-model, based on our original relevance metric, as a tool to facilitate distant annotation of short (often one to two sentence or less) documents. Our exploration manifests as annotating tweets for emotions, this being the current use-case of interest to us, but we believe the method could be extended to any multi-class labeling task of documents of similar length. Tweets are gathered via the Twitter API using "track" terms thought likely to capture tweets with a greater chance of exhibiting each emotional class, 3,000 tweets for each of 26 topics anticipated to elicit emotional discourse. Our pseudo-topic-model is used to produce relevance-ranked vocabularies for each corpus of tweets and these are used to distribute emotional annotations to those tweets not manually annotated, magnifying the number of annotated tweets by a factor of 29. The vector labels the annotators produce for the topics are cascaded out to the tweets via three different schemes which are compared for performance by proxy through the competition of bidirectional-LSMTs trained using the tweets labeled at a distance. An SVM and two emotionally annotated vocabularies are also tested on each task to provide context and comparison.
35
Tsuei, Yuh-sheng 1958. "Incorporation of Linear/Nonlinear Lumped Circuit Models in a Full-Wave Electromagnetic Simulator for Transient Electromagnetic Analysis of High-Speed Electronic Systems." Diss., The University of Arizona, 1996. http://hdl.handle.net/10150/565554.
Full text
36
Sin, Thant. "Improving Novice Analyst Performance in Modeling the Sequence Diagram in Systems Analysis: A Cognitive Complexity Approach." FIU Digital Commons, 2009. http://digitalcommons.fiu.edu/etd/86.
Full textAbstract:
The Unified Modeling Language (UML) has quickly become the industry standard for object-oriented software development. It is being widely used in organizations and institutions around the world. However, UML is often found to be too complex for novice systems analysts. Although prior research has identified difficulties novice analysts encounter in learning UML, no viable solution has been proposed to address these difficulties. Sequence-diagram modeling, in particular, has largely been overlooked. The sequence diagram models the behavioral aspects of an object-oriented software system in terms of interactions among its building blocks, i.e. objects and classes. It is one of the most commonly-used UML diagrams in practice. However, there has been little research on sequence-diagram modeling. The current literature scarcely provides effective guidelines for developing a sequence diagram. Such guidelines will be greatly beneficial to novice analysts who, unlike experienced systems analysts, do not possess relevant prior experience to easily learn how to develop a sequence diagram. There is the need for an effective sequence-diagram modeling technique for novices. This dissertation reports a research study that identified novice difficulties in modeling a sequence diagram and proposed a technique called CHOP (CHunking, Ordering, Patterning), which was designed to reduce the cognitive load by addressing the cognitive complexity of sequence-diagram modeling. The CHOP technique was evaluated in a controlled experiment against a technique recommended in a well-known textbook, which was found to be representative of approaches provided in many textbooks as well as practitioner literatures. The results indicated that novice analysts were able to perform better using the CHOP technique. This outcome seems have been enabled by pattern-based heuristics provided by the technique. Meanwhile, novice analysts rated the CHOP technique more useful although not significantly easier to use than the control technique. The study established that the CHOP technique is an effective sequence-diagram modeling technique for novice analysts.
37
Hindle, Giles Anthony. "Developing a systemic textual analysis method based on the human activity system modelling language of soft systems methodology." Thesis, University of Lincoln, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400869.
Full text
38
Laneville, Michael Warren. "Subsurface Depositional Systems Analysis of the Cambrian Eau Claire Formation in Western Ohio." Bowling Green State University / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu154220482332536.
Full text
39
Maurer, Simon. "Analysis and coordination of mixed-criticality cyber-physical systems." Thesis, University of Hertfordshire, 2018. http://hdl.handle.net/2299/21094.
Full textAbstract:
A Cyber-physical System (CPS) can be described as a network of interlinked, concurrent computational components that interact with the physical world. Such a system is usually of reactive nature and must satisfy strict timing requirements to guarantee a correct behaviour. The components can be of mixed-criticality which implies different progress models and communication models, depending whether the focus of a component lies on predictability or resource efficiency. In this dissertation I present a novel approach that bridges the gap between stream processing models and Labelled Transition Systems (LTSs). The former offer powerful tools to describe concurrent systems of, usually simple, components while the latter allow to describe complex, reactive, components and their mutual interaction. In order to achieve the bridge between the two domains I introduce the novel LTS Synchronous Interface Automaton (SIA) that allows to model the interaction protocol of a process via its interface and to incrementally compose simple processes into more complex ones while preserving the system properties. Exploiting these properties I introduce an analysis to identify permanent blocking situations in a network of composed processes. SIAs are wrapped by the novel component-based coordination model Process Network with Synchronous Communication (PNSC) that allows to describe a network of concurrent processes where multiple communication models and the co-existence and interaction of heterogeneous processes is supported due to well defined interfaces. The work presented in this dissertation follows a holistic approach which spans from the theory of the underlying model to an instantiation of the model as a novel coordination language, called Streamix. The language uses network operators to compose networks of concurrent processes in a structured and hierarchical way. The work is validated by a prototype implementation of a compiler and a Run-time System (RTS) that allows to compile a Streamix program and execute it on a platform with support for ISO C, POSIX threads, and a Linux operating system.
40
Sarver, Joseph Michael. "The Status of Food Safety in China: A Systems Analysis." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1397600140.
Full text
41
Razavi, Borghei Seyyed Moein. "The Modeling of Partial Discharge under Fast, Repetitive Voltage Pulses Using Finite-Element Analysis." Thesis, Virginia Tech, 2020. http://hdl.handle.net/10919/98001.
Full textAbstract:
By 2030, it is expected that 80% of all electric power will flow through power electronics systems. Wide bandgap power modules that can tolerate higher voltages and currents than silicon-based modules are the most promising solution to reducing the size and weight of power electronics systems. These wide-bandgap power modules constitute powerful building blocks for power electronics systems, and wide bandgap-based converter/power electronics building blocks are envisaged to be widely used in power grids in low- and medium-voltage applications and possibly in high-voltage applications for high-voltage direct current and flexible alternating current transmission systems. One of the merits of wide bandgap devices is that their slew rates and switching frequencies are much higher than silicon-based devices. However, from the insulation side, frequency and slew rate are two of the most critical factors of a voltage pulse, influencing the level of degradation of the insulation systems that are exposed to such voltage pulses. The shorter the rise time, the shorter the lifetime. Furthermore, lifetime dramatically decreases with increasing frequency. Thus, although wide bandgap devices are revolutionizing power electronics, electrical insulating systems are not prepared for such a revolution; without addressing insulation issues, the electronic power revolution will fail due to dramatically increased failure rates of electrification components. In this regard, internal partial discharges (PDs) have the most effect on insulation degradation. Internal PDs which occur in air-filled cavities or voids are localized electrical discharges that only partially bridge the insulation between conductors. Voids in solid or gel dielectrics are challenging to eliminate entirely and may result simply during manufacturing process. The objective of this study is to develop a Finite-Element Analysis (FEA) PD model under fast, repetitive voltage pulses, which has been done for the first time. The model is coded and implemented in COMSOL Multiphysics linked with MATLAB, and its simulation results are validated with experimental tests. Using the model, the influence of different parameters including void shape, void size, and void air pressure on PD parameters are studied.<br>M.S.<br>To decarbonize and reduce energy consumption for commercial aviation, the development of lightweight and ultra-efficient all-electric powertrain including electric motors, drives, and associated thermal management systems has been targeted. Using wide bandgap (WBG) power modules that can tolerate high voltages and currents can reduce the size and weight of the drive. However, the operation of WBG-based power converter can endanger the reliability of the electrified systems, most importantly, the insulation system. In this study, it is attempted to model the impact of such threats to the insulation system using numerical models.
42
Zhao, Xiaogeng. "A comparative analysis of Java and .NET mobile development environments for supporting mobile services." Thesis, Rhodes University, 2003. http://hdl.handle.net/10962/d1003064.
Full textAbstract:
With the rapid development of wireless technologies, traditional mobile devices, such as pagers and cellular phones, have evolved from a purely communications and messaging-oriented medium to one that supports mobile data communication in general and acts as an application platform. As shown in a recent survey conducted by MDA, easy access to the present-day wireless Internet has resulted in mobile devices gaining more and more attention and popularity. The growth of and demand for mobile Web applications is expected to increase rapidly in the near future, as a range of software companies and mobile device manufacturers release increasingly accessible tools for creating mobile Web application and services. From a variety of possible development environments of this kind, the author has selected and examined two leading contenders, the J2ME and the Microsoft .NET mobile Web application development environments. This document reports the product life cycle of pilot mobile web applications, designed and implemented in each host environment in tum. A feature-by-feature investigation and comparison of the J2ME and .NET environments was carried out, covering the range of issues necessary for a complete mobile Web application development life cycle. The resulting analysis addresses features and efficiencies of the application development environment and the target deployment environment, the degree to which the resultant services are compatible on a variety of platforms, and the ease with which applications can be designed to be extensible. The thesis offers an objective evaluation of the J2ME and the .NET mobile development environments, which highlights their strengths and weaknesses, and suggests guidelines for designing, creating, and deploying high quality mobile Web applications. The research uncovers no clear winner across all categories assessed. J2ME currently favours situations in which bandwidth is limited and client side processing power is relatively sufficient, it exerts the processing power of mobile devices over distributed network environments. .NET requires a less constrained network throughput, but performs adequately on clients with more limited processing power, supports a more diverse target platform range, and offers a more efficient, in terms of development time, development environment. Both technologies are likely to receive significant user support for some time.<br>KMBT_363<br>Adobe Acrobat 9.54 Paper Capture Plug-in
43
Owowo, Julius. "Simulation, measurement and detection of leakage and blockage in fluid pipeline systems." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/simulation-measurement-and-detection-of-leakage-and-blockage-in-fluid-pipeline-systems(f165fb02-a6fb-4063-a63d-3caa129c29f4).html.
Full textAbstract:
Leakage and blockage of oil and gas pipeline systems, water pipelines, pipe-work of process plants and other pipe networks can cause serious environmental, health and economic problems. There are a number of non-destructive testing (NDT) methods for detecting these defects in pipeline systems such as radiographic, ultrasonic, magnetic particle inspection, pressure transient and acoustic wave methods. In this study, the acoustic wave method and a modal frequency technique, which based on a roving mass method, are used. The aim of the thesis is to employ acoustic wave propagation based methods in conjunction with stationary wavelet transform (SWT) to identify leakage and blockage in pipe systems. Moreover, the research is also aimed at using the difference of modal frequencies of fluid-filled pipes with and without defects and a roving mass, and consequently, to develop a roving mass-based defect detection method for pipelines. In the study, the acoustic finite-element analysis (AFEA) method is employed to simulate acoustic wave propagation in small and large air-filled water-filled straight pipe and pipe networks with leakage and blockage but without flow. Computational fluid dynamics (CFD) analysis was also employed to simulate acoustic wave propagation in air-and water-filled pipes with flow, leakage and blockage. In addition, AFEA was used to predict the modal frequencies of air- and water-filled pipes with leakage and blockage in the presence of a roving mass that was traversed along the axis of the pipes. Experimental testing was conducted to validate some of the numerical results. Two major experiments were performed. The first set of experiments consisted of the measurement of acoustic wave propagation in a straight air-filled pipe with leakage and blockage. The second set of experiments concerned the measurement of acoustic wave propagation in an air-filled pipe network comprising straight pipe, elbows and T-piece and flange. The AFEA and CFD analysis of fluid-filled pipe can be used to simulate the acoustic wave propagation and acoustic wave reflectometry of a fluid-filled pipe with leakage and blockage of different sizes down to a small leakage size of 1mm diameter and a blockage depth of 1.2mm in a pipe. Similarly, the AFEA method of a static fluid-filled pipe can be used to simulate acoustic wave modal frequency analysis of a fluid-filled pipe with leakage and blockage of different sizes down to a leakage of 1mm diameter and a blockage depth of 1.2mm. Moreover, the measured signal of acoustic wave propagation in an air-filled can be successfully decomposed and de-noised using the SWT method to identify and locate leakages of different sizes down to 5mm diameter, and small blockage depth of 1.2mm. Also, the SWT approximation coefficient, detail and de-noised detail coefficient curves of an air-filled pipe with leakage and blockage and a roving mass give leakage and blockage indications that can be used to identify, locate and estimate the size of leakage and blockage in a pipe.
44
Shahidi, Hamed. "Security Challenges of Communication Protocols in IoT : Comparing security features of ZigBee and Z-Wave communication protocols in IoT devices." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-40113.
Full textAbstract:
This research studies the security challenges in IoT devices. At first, security challenges have been described and then specifically the security of communication protocols in the IoT has been addressed. Finally, among different communication protocols, ZigBee and Z-Wave protocols have been chosen for this study. The criterion for choosing these two protocols is the level of security they provide for IoT devices to protect them against unauthorized access and hacking. Security, frequency, power consumption and data rate are the characteristics that have been discussed in the review of these two protocols. In the end, a comparison of the various features of these two protocols clarified that the security of IoT devices in each of these protocols depends on the type of the IoT device, the required range and other requirements, however, in most cases the ZigBee protocol showed more security than Z-Wave.
45
Adams, Allison. "Dependency Parsing and Dialogue Systems : an investigation of dependency parsing for commercial application." Thesis, Uppsala universitet, Institutionen för lingvistik och filologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-324859.
Full textAbstract:
In this thesis, we investigate dependency parsing for commercial application, namely for future integration in a dialogue system. To do this, we conduct several experiments on dialogue data to assess parser performance on this domain, and to improve this performance over a baseline. This work makes the following contributions: first, the creation and manual annotation of a gold-standard data set for dialogue data; second, a thorough error analysis of the data set, comparing neural network parsing to traditional parsing methods on this domain; and finally, various domain adaptation experiments show how parsing on this data set can be improved over a baseline. We further show that dialogue data is characterized by questions in particular, and suggest a method for improving overall parsing on these constructions.
46
Strohm, Christian. "Circuit Simulation Including Full-Wave Maxwell's Equations." Doctoral thesis, Humboldt-Universität zu Berlin, 2021. http://dx.doi.org/10.18452/22544.
Full textAbstract:
Diese Arbeit widmet sich der Simulation von elektrischen/elektronischen Schaltungen welche um elektromagnetische Bauelemente erweitert werden. Im Fokus stehen unterschiedliche Kopplungen der Schaltungsgleichungen, modelliert mit der modifizierten Knotenanalyse, und den elektromagnetischen Bauelementen mit deren verfeinerten Modell basierend auf den vollen Maxwell-Gleichungen in der Lorenz-geeichten A-V Formulierung welche durch Finite-Integrations-Technik räumlich diskretisiert werden. Eine numerische Analyse erweitert die topologischen Kriterien für den Index der resultierenden differential-algebraischen Gleichungen, wie sie bereits in anderen Arbeiten mit ähnlichen Feld/Schaltkreis-Kopplungen hergeleitet wurden. Für die Simulation werden sowohl ein monolithischer Ansatz als auch Waveform-Relaxationsmethoden untersucht. Im Mittelpunkt stehen dabei Zeitintegration, Skalierungsmethoden, strukturelle Eigenschaften und ein hybride Ansatz zur Lösung der zugrundeliegenden linearen Gleichungssysteme welcher den Einsatz spezialisierter Löser für die jeweiligen Teilsysteme erlaubt. Da die vollen Maxwell-Gleichungen zusätzliche Ableitungen in der Kopplungsstruktur verursachen, sind bisher existierende Konvergenzaussagen für die Waveform-Relaxation von gekoppelten differential-algebraischen Gleichungen nicht anwendbar und motivieren eine neue Konvergenzanalyse. Auf dieser Analyse aufbauend werden hinreichende topologische Kriterien entwickelt, welche eine Konvergenz von Gauß-Seidel- und Jacobi-artigen Waveform-Relaxationen für die gekoppelten Systeme garantieren. Schließlich werden numerische Benchmarks zur Verfügung gestellt, um die eingeführten Methoden und Theoreme dieser Abhandlung zu unterstützen.<br>This work is devoted to the simulation of electrical/electronic circuits incorporating electromagnetic devices. The focus is on different couplings of the circuit equations, modeled with the modified nodal analysis, and the electromagnetic devices with their refined model based on full-wave Maxwell's equations in Lorenz gauged A-V formulation which are spatially discretized by the finite integration technique. A numerical analysis extends the topological criteria for the index of the resulting differential-algebraic equations, as already derived in other works with similar field/circuit couplings. For the simulation, both a monolithic approach and waveform relaxation methods are investigated. The focus is on time integration, scaling methods, structural properties and a hybrid approach to solve the underlying linear systems of equations with the use of specialized solvers for the respective subsystems. Since the full-Maxwell approach causes additional derivatives in the coupling structure, previously existing convergence statements for the waveform relaxation of coupled differential-algebraic equations are not applicable and motivate a new convergence analysis. Based on this analysis, sufficient topological criteria are developed which guarantee convergence of Gauss-Seidel and Jacobi type waveform relaxation schemes for introduced coupled systems. Finally, numerical benchmarks are provided to support the introduced methods and theorems of this treatise.
47
Fountain, Amy Velita 1963. "Need for cognition, ambiguity tolerance and symbol systems: An initial exploration." Thesis, The University of Arizona, 1988. http://hdl.handle.net/10150/276850.
Full textAbstract:
This study explored the interaction between three individual variables, need for cognition and tolerance of ambiguity, and the symbol system used in messages. Goodman's (1976) dimension of notationality of systems is proposed as the continuum of interest upon which sources of information vary. It was hypothesized that high tolerance for ambiguity and need for cognition would lead to increased numbers of interpretations of nonnotational messages over notational ones, and over people low in these traits. Methods utilized in the study are overviewed. Results indicate that subjects high in need for cognition do generate more interpretations of messages in general than do others, however no effect was found for ambiguity tolerance or for message type. Reasons for these results are offered, and directions for further research suggested.
48
Chang, Yin-Jung. "Optical Interconnects for In-Plane High-Speed Signal Distribution at 10 Gb/s: Analysis and Demonstration." Diss., Available online, Georgia Institute of Technology, 2006, 2006. http://etd.gatech.edu/theses/available/etd-11182006-155605/.
Full textAbstract:
Thesis (Ph. D.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2007.<br>Gee-Kung Chang, Committee Chair ; Thomas K. Gaylord, Committee Co-Chair ; Glenn S. Smith, Committee Member ; John A. Buck, Committee Member ; Ali Adibi, Committee Member ; C. P. Wong, Committee Member.
49
Oleszko, Mateusz [Verfasser], Herbert [Gutachter] Gross, Norbert [Gutachter] Lindlein, and Fabian [Gutachter] Duerr. "Analysis of freeform optical systems based on the decomposition of the total wave aberration into Zernike surface contributions / Mateusz Oleszko ; Gutachter: Herbert Gross, Norbert Lindlein, Fabian Duerr." Jena : Friedrich-Schiller-Universität Jena, 2019. http://d-nb.info/1206605359/34.
Full text
50
Chaoulov, Vesselin. "DESIGN AND ASSESSMENT OF COMPACT OPTICAL SYSTEMS TOWARDS SPECIAL EFFECTS IMAGING." Doctoral diss., University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2811.
Full textAbstract:
A main challenge in the field of special effects is to create special effects in real time in a way that the user can preview the effect before taking the actual picture or movie sequence. There are many techniques currently used to create computer-simulated special effects, however current techniques in computer graphics do not provide the option for the creation of real-time texture synthesis. Thus, while computer graphics is a powerful tool in the field of special effects, it is neither portable nor does it provide work in real-time capabilities. Real-time special effects may, however, be created optically. Such approach will provide not only real-time image processing at the speed of light but also a preview option allowing the user or the artist to preview the effect on various parts of the object in order to optimize the outcome. The work presented in this dissertation was inspired by the idea of optically created special effects, such as painterly effects, encoded in images captured by photographic or motion picture cameras. As part of the presented work, compact relay optics was assessed, developed, and a working prototype was built. It was concluded that even though compact relay optics can be achieved, further push for compactness and cost-effectiveness was impossible in the paradigm of bulk macro-optics systems. Thus, a paradigm for imaging with multi-aperture micro-optics was proposed and demonstrated for the first time, which constitutes one of the key contributions of this work. This new paradigm was further extended to the most general case of magnifying multi-aperture micro-optical systems. Such paradigm allows an extreme reduction in size of the imaging optics by a factor of about 10 and a reduction in weight by a factor of about 500. Furthermore, an experimental quantification of the feasibility of optically created special effects was completed, and consequently raytracing software was developed, which was later commercialized by SmARTLens(TM). While the art forms created via raytracing were powerful, they did not predict all effects acquired experimentally. Thus, finally, as key contribution of this work, the principles of scalar diffraction theory were applied to optical imaging of extended objects under quasi-monochromatic incoherent illumination in order to provide a path to more accurately model the proposed optical imaging process for special effects obtained in the hardware. The existing theoretical framework was generalized to non-paraxial in- and out-of-focus imaging and results were obtained to verify the generalized framework. In the generalized non-paraxial framework, even the most complex linear systems, without any assumptions for shift invariance, can be modeled and analyzed.<br>Ph.D.<br>Other<br>Optics and Photonics<br>Optics