To see the other types of publications on this topic, follow the link: RSLT.
Dissertations / Theses on the topic 'RSLT'
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 'RSLT.'
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
Felix, Juan Manuel. "Esplorando i Linked Open Data con RSLT." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/20925/.
Full textAbstract:
Se è vero che i Linked Open Data accessibili sul Web sono ormai tantissimi, è vero anche che la fruizione di queste informazioni da parte di un pubblico umano è una questione quantomai spinoza.
Questo lavoro si propone di esplorare le possibilità di creare applicazioni Web dinamiche con l'ausilio di RSLT, per la visualizzazione di Linked Open Data in formato RDF.
2
Quadrelli, Davide. "RSLT: trasformazione di Open LinkedData in testi in linguaggio naturaletramite template dichiarativi." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/11945/.
Full textAbstract:
La diffusione del Semantic Web e di dati semantici in formato RDF, ha creato la necessità di un meccanismo di trasformazione di tali informazioni, semplici da interpretare per una macchina, in un linguaggio naturale, di facile comprensione per l'uomo. Nella dissertazione si discuterà delle soluzioni trovate in letteratura e, nel dettaglio, di RSLT, una libreria JavaScript che cerca di risolvere questo problema, consentendo la creazione di applicazioni web in grado di eseguire queste trasformazioni tramite template dichiarativi. Verranno illustrati, inoltre, tutti i cambiamenti e tutte le modi�che introdotte nella versione 1.1 della libreria, la cui nuova funzionalit�à principale �è il supporto a SPARQL 1.0.
3
Massimiliani, Lorenzo. "OCEB: Un'applicazione web per la visualizzazione della rete citazionale di OpenCitations." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13301/.
Full textAbstract:
Questa dissertazione presenta OCEB (OpenCitations Entities Browser), un'applicazione web che permette la visualizzazione di metadati presenti nel database di OpenCitations. OpenCitations è un progetto il cui scopo principale è la raccolta di metadati bibliografici e citazionali provenienti dalla letteratura accademica. OCEB visualizza queste informazioni, in modo ordinato, in una pagina HTML e fornisce un meccanismo che consente all'utente di navigare tra i contenuti di OpenCitations.
4
Yang, Wenjun. "Rotating-shield brachytherapy (RSBT) for cervical cancer." Thesis, University of Iowa, 2012. https://ir.uiowa.edu/etd/3410.
Full textAbstract:
Purpose: To assess rotating shield brachytherapy (RSBT) delivered with the electronic brachytherapy (eBT) source comparing to intracavitary (IC) and intracavitary plus supplemental interstitial brachytherapy (IC+IS BT) delivered with a conventional 192Ir radioactive source.
Method and Materials: IC, IC+IS and RSBT treamtent plan were simulated for 5 patients with bulky (>40 cc) cervical cancer. One BT plan for each patient (fraction 1) guided by magnetic resonance imaging (MRI) was used in our treatment planning system (TPS). A bio- and MRI-compatible polycarbonate (Makrolon Rx3158) intrauterine applicator was simulated for IC and RSBT, and the Vienna applicator was simulated for IC+IS BT. 192Ir was used as the radiation source of IC and IC+IS BT, and the Xoft AxxentTM eBT source was used for RSBT. A 0.5 mm thick tungsten shield was used for RSBT with different azimuthal and zenith angles, which reduced radiation transmission through the shield to less than 0.1%. The total dose delivered was calculated as the external beam radiation therapy (EBRT) dose plus the BT dose delivered over five treatment fractions.
Results: RSBT and IC+IS BT had higher dose conformity in terms of the minimum dose to the hottest 90% (D90) of the high-risk clinical target volume (HR-CTV) than IC BT for all the patients. The advantage of RSBT over IC+IS BT was dependent on the shield emission angle, tumor shape and tandem applicator location. The delivery time of RSBT was increased as finer emission angle were selected.
Conclusions: RSBT is a less-invasive potential alternative to conventional IC and IC+IS BT for treating bulky cervical cancer. RSBT delivery times are clinically acceptable if proper emission angle is selected based on the tumor shape and tandem applicator location.
5
Zheng, Dong. "RST invariant digital image watermarking." Thesis, University of Ottawa (Canada), 2003. http://hdl.handle.net/10393/26554.
Full textAbstract:
Digital image watermarking has been proposed as a method to ensure the copyright protection and credibility of images by means of embedding a known piece of digital data into host images. To be useful, a good watermarking scheme should be robust against all known attacks to a certain degree based on requirements.
In this thesis, we propose a novel digital image watermarking scheme that is invariant to rotation, scaling, and translation (RST). We embed watermark in the log-polar mapping (LPM) of the Fourier magnitude spectrum of original image, and use the phase correlation between the LPM of the original image and the LPM of the watermarked image to calculate the displacement of the watermark positions in LPM domain. The exhaustive search method is used to retrieve the watermark if the original image is unavailable.
Spread spectrum technique and perceptual model are used to enhance the security and to achieve the optimum balance between invisibility and robustness. Stochastic analysis is used to determine the optimum threshold to minimize the total false probability of detection. In this thesis, we discuss all these in detail and show how they work with the main watermarking scheme to give better results.
We implement this watermarking algorithm to analyze its performance. The evaluations demonstrate that the scheme is invariant to rotation and translation, invariant to scaling when the scale is in a reasonable range, and very robust to JPEG compression and other attacks.
6
Pilla, Mauricio Lima. "RST: Reuse through Speculation on Traces." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2004. http://hdl.handle.net/10183/5888.
Full textAbstract:
Na presente tese, apresentamos uma nova abordagem para combinar reuso e prvisão de seqüências dinâmicas de instruções, chamada Reuso por Especulação em traces (RST). Esta técnica permite a identificação dinâmica de traces de instruções redundantes ou previsíveis e o reuso (especulativo ou não) desses traces. RST procura resolver a questão de traces que não são reusados por seus valores de entradas de Traces (DTM). Em estudo anteriores, esses traces foram contabilizados como sendo cerca de 69% de todos os traces reusáveis. Uma das maiores vantagens de RST sobre a combinação de um mecanismo de previsão com uma técnica de reuso de valores em que mecanismos não são relacionados é que RST não necessita de tabelas adicionais para o armazenamento dos valores a serem previstos. A aplciação de reuso e previsão de valores pela simples combinação de mecanismos pode necessitar de uma quantidade proibitiva de espaço de armazenamento. No mecanismo RST, os valores já estão presentes na Tabela de Memorização de Traces, não incorrendo em custos adicionais para lê-los se comparado com uma técnica não-especulativa de reuso de traces. O contexto de entrada de cada trace (os valores de entrada de todas as instruções contidas no trace) já armazenam os valores para o teste de reuso, os quais podem ser também utilizados para previsão de valores para o teste de reuso, os quais podem ser também utilizados para previsão de valores. As principais contribuições de nosso trabalho incluem: (i) um framework de reuso especulativo de traces que pode ser modificado para diferentes arquiteturas de processadores; (ii) definição das modificações necessárias em um processador superescalar e superpipeline para implementar nosso mecanismo; (iii) estudo de questões de implementação relacionadas à essa arquitetura; (iv) estudo dos limites de desempenho da nossa técnica; (v) estudo de uma implementação RST limitada por fatores realísticos; e (vi) ferramentas de simulação que podem ser utilizadas em outros estudos, representando um processador superescalar e superpipeline em detalhes. Salientamos que, em uma arquitetura utilizando mecanismos realistas de estimativa de confiança das previsões, nossa técnica RST consegue atingir speedups médios (médias harmônicas) de 1.29 sobre uma arquitetura sem reuso e 1.09 sobre uma técnica não-especulativa de reuso de traces (DTM).In this thesis, we present a novel approach to combine both reuse and prediction of dynamic sequences of instructions called Reuse through Speculation on Traces (RST). Our technique allows the dynamic identification of instruction traces that are redundant or predictable, and the reuse (speculative or not) of these traces. RST addresses the issue, present on Dynamic Trace Memoization (DTM), of traces not being reused because some of their inputs are not ready for the reuse test. These traces were measured to be 69% of all reusable traces in previous studies. One of the main advantages of RST over just combining a value prediction technique with an unrelated reuse technique is that RST does not require extra tables to store the values to be predicted. Applying reuse and value prediction in unrelated mechanisms but at the same time may require a prohibitive amount of storage in tables. In RST, the values are already stored in the Trace Memoization Table, and there is no extra cost in reading them if compared with a non-speculative trace reuse technique. . The input context of each trace (the input values of all instructions in the trace) already stores the values for the reuse test, which may also be used for prediction. Our main contributions include: (i) a speculative trace reuse framework that can be adapted to different processor architectures; (ii) specification of the modifications in a superscalar, superpipelined processor in order to implement our mechanism; (iii) study of implementation issues related to this architecture; (iv) study of the performance limits of our technique; (v) a performance study of a realistic, constrained implementation of RST; and (vi) simulation tools that can be used in other studies which represent a superscalar, superpipelined processor in detail. In a constrained architecture with realistic confidence, our RST technique is able to achieve average speedups (harmonic means) of 1.29 over the baseline architecture without reuse and 1.09 over a non-speculative trace reuse technique (DTM).
7
Bossonaro, Adriano Aleixo. "Método RSCT reengenharia de software orientada a componentes usando transformações." Universidade Federal de São Carlos, 2004. https://repositorio.ufscar.br/handle/ufscar/624.
Full textAbstract:
Made available in DSpace on 2016-06-02T19:06:27Z (GMT). No. of bitstreams: 1
DissAAB.pdf: 2236709 bytes, checksum: 5e5fccf55f07efba73b03e599b8020e2 (MD5)
Previous issue date: 2004-08-16This project researched a Component-Oriented Software Reengineering Method using Transformations, named RSCT. The researched method extends the RST Method [Fon02a, Fon02b, Fon02c, Fon02d, Fon04], adding resources to treat the component-based reengineering. The RSCT aims to guide the components construction and reuse in the reengineering of legacy systems. The method is supported by two tools: a Software Transformation System, named Draco-PUC and a CASE tool, named MVCASE, and is divided in 4 (four) phases. In Phase 1, Construct Domains and Transformers, it is obtained the domains and transformers used in the legacy system reverse engineering to obtain of Object-Oriented Design. In Phase 2, Obtain Object-Oriented Design, it is obtained the legacy system object-oriented recovered design, using the domains and transformers constructed in Phase 1. In Phase 3, Construct Components, it is obtained the components of the legacy system domain, from the objectoriented recovered designs in Phase 2. With the MVCASE support, the Software Engineering analyses and refines each Object-Oriented design and uses design patterns to construct the components, making them available in a library. Finally, in Phase 4, Reconstruct Systems, the legacy systems are reconstructed from their object-oriented designs, obtained in Phase 2, reusing the components available in the library.
Este projeto pesquisou um Método de Reengenharia de Software Orientada a Componentes usando Transformações, denominado RSCT. O método pesquisado estende o Método RST [Fon02a, Fon02b, Fon02c, Fon02d, Fon04], adicionando recursos para tratar a reengenharia baseada em componentes. O RSCT tem como objetivo orientar a construção e reuso de componentes de software na reengenharia de sistemas legados. Na execução do método, o Engenheiro de Software é apoiado por duas ferramentas: o Sistema de Transformação Draco-PUC e a ferramenta CASE (Computer Aided Software Engineering) MVCASE, e está dividido em 04 (quatro) fases. Na Fase 1, Construir Domínios e Transformadores, obtêm-se os domínios e transformadores de software que são usados na Engenharia Reversa do sistema legado para a obtenção de seu Projeto Orientado a Objetos. Na Fase 2, Obter Projeto Orientado a Objetos, com o apoio do Sistema de Transformação Draco-PUC, obtém-se o projeto Orientado a Objetos recuperado do sistema legado, usando os domínios e transformadores construídos na Fase 1. Na Fase 3, Construir Componentes, obtêm-se os componentes do domínio do sistema legado, a partir dos projetos Orientados a Objetos recuperados na Fase 2. Com o apoio da ferramenta MVCASE, o Engenheiro de Software analisa e refina cada projeto Orientado a Objetos e utiliza padrões de projeto para construir os componentes, disponibilizando-os em uma biblioteca. Finalmente, na Fase 4, Reconstruir Sistemas, são reconstruídos os sistemas legados, a partir dos seus projetos Orientados a Objetos obtidos na Fase 2, fazendo reuso dos componentes disponíveis na biblioteca.
8
Seno, Eloize Rossi Marques. "RHeSumaRST: um sumarizador automático de estruturas RST." Universidade Federal de São Carlos, 2005. https://repositorio.ufscar.br/handle/ufscar/623.
Full textAbstract:
Made available in DSpace on 2016-06-02T19:06:27Z (GMT). No. of bitstreams: 1
DissERMS.pdf: 1350059 bytes, checksum: b053cbd6eaf16da40d372057cbe1d76d (MD5)
Previous issue date: 2005-08-05This work presents an automatic summarization model based on both the Rhetorical Structure Theory RST and the Veins Theory VT. RST allows inter-relating discourse units by means of rhetorical relations. These, in turn, mirror meaning relations between those units. Adding to RST, VT delimits the domain of referential accessibility of each discourse unit of an RST tree, resulting in its vein . A vein signals, thus, the limits of a discourse unit that may enclose its anaphora antecedents. The automatic summarization model also embeds Marcu s model of salience: once a discourse is structured as an RST tree, its units are classified according to their salience by considering the its deep in the tree. The model consists of a set of pruning heuristics that aim at identifying superfluous information in an RST tree of a text. In excluding them, the resulting summary RST tree and, thus, the text summary, should preserve the co-referential chains. In this way, the heuristics are driven by both, specific features of RST relations and constraints on the referential accessibility provided by VT. The main contributions of this work include the proposal of the AS model itself and the availability of a prototype for its automatic exploration.
Este trabalho apresenta um modelo de sumarização automática que se baseia no modelo de estruturação de discurso Rhetorical Structure Theory RST e no modelo de coerência global do discurso Veins Theory VT. A RST permite a estruturação de um discurso relacionando-se unidades discursivas com base em relações retóricas, isto é, permitindo recuperar as relações de significados entre tais unidades. Com base na estruturação RST, a Veins Theory delimita o domínio de acessibilidade referencial para cada unidade do discurso na forma de veias , indicando os limites nos quais os antecedentes de uma anáfora podem ocorrer ao longo do discurso. Além dessas teorias, o modelo também incorpora o modelo de classificação de saliência de unidades discursivas proposto por Marcu (1997a), que obtém uma ordem de importância das unidades discursivas de uma estrutura RST. O modelo de sumarização proposto consiste em um elenco de heurísticas que visam identificar informações supérfluas em uma estrutura RST de um texto, para exclusão durante a construção do seu sumário, tendo sempre como foco a preservação dos elos coreferenciais. Dessa forma, as heurísticas são guiadas por características específicas das relações retóricas da RST e por restrições de acessibilidade referencial da Veins Theory. Assim, o sumarizador proposto se resume à poda de segmentos discursivos irrelevantes das estruturas RST de textos, resultando em seus correspondentes sumários. As principais contribuições deste trabalho são a proposta de um novo modelo de sumarização automática e um protótipo para a sua aplicação automática.
9
Kimmelmann, Vadim. "Doubling in RSL and NGT : a pragmatic account0F*." Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6610/.
Full textAbstract:
In this paper, doubling in Russian Sign Language and Sign Language of the Netherlands is discussed. In both sign languages different constituents (including verbs, nouns, adjectives, adverbs, and whole clauses) can be doubled. It is shown that doubling in both languages has common functions and exhibits a similar structure, despite some differences. On this basis, a unified pragmatic explanation for many doubling phenomena on both the discourse and the clause-internal levels is provided, namely that the main function of doubling both in
RSL and NGT is foregrounding of the doubled information.
10
Hood, David. "Conservatism and change : the RSL and Australian society, 1916-1932 /." Title page, contents and abstract only, 1994. http://web4.library.adelaide.edu.au/theses/09PH/09phh776.pdf.
Full text
11
Albrecht, Benjamin [Verfasser]. "Dünne Solarzellen aus RST-Foliensilizium : Materialanalyse und Rückseitenkontaktierung / Benjamin Albrecht." Konstanz : Bibliothek der Universität Konstanz, 2018. http://d-nb.info/1166053814/34.
Full text
12
Österberg, Yngve. "Hur förklarar Regional Security Complex Theory Mistralaffären : en undersökning gällande RSCT och försvarsmateriella handelsavbrott." Thesis, Försvarshögskolan, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:fhs:diva-6723.
Full textAbstract:
Regional Security Complex Theory (RSCT) innefattar analysenheter som är nära kopplade till försvarsmateriella handelavtal och har därför ett teoretiskt ramverk som kan hjälpa förstå och förklara avtalen i detalj. Det är dock oklart exakt hur detta ska göras eftersom det inte tas upp i Regions and Powers: The Structure of International Security. Syftet med denna uppsats är att med hjälp av RSCT förklara Mistralaären för att sedan undersöka om det finns en underliggande process gemensamt för liknande fall.
13
Balla, Chaitanya Kumar. "Prediction of Remaining Service Life of Pavements." University of Toledo / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1279316853.
Full text
14
Quin, Maureen Blacker. "Structural and functional characterisation of the RST pathway of moorella thermoacetica." Thesis, University of Newcastle Upon Tyne, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.515030.
Full text
15
Niittyviita, S. (Sampo). "The cost efficiency of exploratory testing:ISTQB certified testing compared with RST." Bachelor's thesis, University of Oulu, 2017. http://urn.fi/URN:NBN:fi:oulu-201704071442.
Full textAbstract:
The research of software testing and the practices of software testing in the industry are separated by gaps in some areas. One such gap regards Exploratory Testing (ET). ET is probably the most widely used software testing approach in the industry, yet it is lacking research and many of the manuals of software engineering either ignore or look down on it. In addition, ET has the absence of widespread methodology and teaching. Rapid Software Testing (RST) is a complete testing methodology attempting to integrate exploratory testing into the whole spectrum of testing. It has a different basis for testing than the traditional way of testing, which dominates the textbooks and the certifications. International Software Testing Qualifications Board (ISTQB) has created the most successful scheme for certifying testers, having issued more than 470,000 testing certifications worldwide. For this thesis, experiments were performed using RST as a basis. The results were documented as separate bugs and they were reconstructed into ISTQB test cases, which would be required to detect the discovered bugs. These reconstructed test cases were analysed for determining factors affecting test case documentation effectiveness on finding bugs or particular tests benefitting from testing automation. Additionally, comparison was made in terms of time spent between the actual test process (RST testing) and the reconstruction of the test cases (ISTQB test design) to give indication of the required amount of time for each method. The testing phase of the experiments took 5 hours, while the reconstruction of the test cases took 4.5 hours. 33 % of the reconstructed test cases were identified to benefit considerably from test automation. In addition, three types of factors were identified, which have the potential to increase the amount of required test case documentation exponentially; external factors: test speed; platform factors: built-in browser functions and precision factors: level of detail for test casesOhjelmistotestauksen tutkimuksen ja käytännön ohjelmistotestauksen välillä on aukkoja joillakin toiminnan osa-alueilla. Yksi tällainen aukko koskee tutkivaa testausta. Tutkiva testaus on yksi käytetyimmistä lähestymistavoista ohjelmistotestauksen toimialan parissa. Tästä huolimatta, tutkivasta testauksesta on hyvin vähän tutkimusta ja monet ohjelmistotestauksen käsikirjat joko välttävät aiheen tyystin tai vähättelevät sitä. Lisäksi, tutkivasta testauksesta puuttuu laajalle levinnyt metodologia sekä koulutus. Rapid Software Testing (RST) on testausmetodologia pyrkimyksenään integroida tutkiva testaus osaksi testauksen koko kirjoa. Sillä on erilaiset lähtökohdat testaukselle kuin perinteisellä testauksella, joka vallitsee kirjallisuutta sekä testauksen sertifikaatteja. International Software Testing Qualifications Board (ISTQB) on luonut menestyksekkäimmän järjestelmän ohjelmistotestaajien sertifioinnille. Sertifikaatteja on myönnetty yli 470,000 kappaletta. Tämän työn empiirisinä kokeina suoritettiin ohjelmistotestausta käyttäen RST-metodologiaa lähtökohtana. Lopputulokset dokumentoitiin ohjelmistovirheinä, jotka sitten rekonstruoitiin riittäviksi testitapauksiksi löytämään kyseiset ohjelmistovirheet. Nämä rekonstruoidut testitapaukset analysoitiin niiden tekijöiden määrittämiseksi, jotka vaikuttaisivat testitapausten dokumentaation tehokkuuteen ohjelmistovirheiden löytämiseksi. Lisäksi, testausautomaatiosta selkeästi hyötyvät testitapaukset eriteltiin myös. Käytetty aika testaukseen ja rekonstruoimiseen kirjattiin vertailua varten. Kokeiden suoritus kesti kokonaisuudessaan 9,5 tuntia, josta 5 tuntia kului testaukseen ja loput 4,5 tuntia löydettyjen ohjelmistovirheiden rekonstruoimiseen ISTQB-testitapauksiksi. 33% rekonstruoiduista testitapauksista tunnistettiin hyötyvän huomattavasti testausautomaatiosta. Lisäksi tunnistettiin kolme erityyppistä tekijää, joilla on potentiaalia lisätä testausdokumentaation määrää eksponentiaalisesti; ulkoiset tekijät: nopeus; alustan tekijät: selaimen toiminnot sekä tarkkuuden tekijät: testitapausten yksityiskohtaisuus
16
Hadade, Neto Antonio. "Técnicas anti-windup em estruturas de controle PID, RST e GPC." Florianópolis, SC, 2005. http://repositorio.ufsc.br/handle/123456789/102669.
Full textAbstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Made available in DSpace on 2013-07-16T01:35:46Z (GMT). No. of bitstreams: 1 223414.pdf: 3157424 bytes, checksum: 9aa3342abef55c59abdda0259106f8e7 (MD5)
17
Bild, Filippa. "Utvärdering av BD Vacutainer® Rapid Serum Tube vid analys av S-Paracetamol och S-Etanol." Thesis, Linnéuniversitetet, Institutionen för kemi och biomedicin (KOB), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-35923.
Full textAbstract:
Avdelningen för klinisk kemi vid Länssjukhuset i Kalmar analyserar läkemedel och alkoholer med BD Vacutainer® Plus Plastic Serum Tube (Serum Tube), som kräver en koagulationstid i upp till 60 minuter. BD Vacutainer® Rapid Serum Tube (RST™) innehåller trombin och kräver en koagulationstid på endast 5 minuter. Syftet med studien var att undersöka möjligheten att förkorta den preanalytiska väntetiden före centrifugering vid intoxikationsanalyser i serumrör från akutmottagningen. Studien utfördes genom att jämföra RST™ med Serum Tube vid analys av S-Paracetamol och S-Etanol. Totalt analyserades 70 prover för S-Paracetamol, varav 35 RST™ och 35 Serum Tube från 35 patienter. Analys av S-Etanol utfördes på 60 prover, varav 30 RST™ och 30 Serum Tube från 30 patienter. RST™ centrifugerades efter 5 minuter och Serum Tube efter 50 minuter, före kolorimetrisk analys på analysinstrumentet VITROS® 5,1 FS. Resultaten för S-Paracetamol var inom intervallet 74,9 – 198,7 µmol/L för RST™ och inom 76,6 – 195,3 µmol/L för Serum Tube. Resultaten för S-Etanol var inom intervallet 7,5 – 74,5 mmol/L för RST™ och inom 7,5 – 74,8 mmol/L för Serum Tube. Pearsons korrelationskoefficient var 0,9977 för S-Paracetamol och 0,9980 för S-Etanol och det fanns en liten positiv bias vid analys med RST™ för båda analyterna, men ingen signifikant skillnad (p>0,05) mellan provrören påvisades. Användning av RST™ på akutmottagningen medför en förkortad preanalytisk väntetid och en snabbare turnaround time (TAT). Hypotesen att S-Paracetamol och S-Etanol kan analyseras med RST™ på VITROS® 5,1 FS stämmer, med undantag för höga koncentrationer av S-Paracetamol som inte kunde utvärderas. För att RST™ ska kunna användas rutinmässigt bör därför ytterligare studier utföras.
18
VALLERYD, MATILDA, and THERESE ASKLING. "Chatbots and natural automatedlanguage : A comparison between rst word and most signicantword search." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-157680.
Full textAbstract:
This study aims to determine if there is any dierence in the perceived naturalness of chatbots implemented with either a rst word search- or a most signicant word search-algorithm. To this end two versions of the same chatbot were implemented using parsed movie dialogue used as a knowledge base and evaluated using methods developed for chatbot competitions. The results of the study were inconclusive and no statistically certain dierence between the two implementations was found.
19
Chappelier, Jean-Cédric. "RST, une architecture connexionniste pour la prise en compte de relations spatiales et temporelles /." Paris : Ecole nationale supérieure des télécommunications, 1996. http://catalogue.bnf.fr/ark:/12148/cb35810115z.
Full text
20
BERTOMEU, CASTELLS FERRAN. "Towards Embodied Perspective : Exploring rst-person, stereoscopic, 4K, wall-sized rendering of embodied sculpting." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-155950.
Full textAbstract:
The central goal of this thesis is creating and testing technology toproduce embodied interaction experiences. Embodied interaction is thesense that we inhabit a digital space with our minds operating on it asif it were our physical bodies, without conscious thought, but as naturalas reaching out with your ngers and touching the object in front of you.Traditional interaction techniques such as keyboard and mouse get in theway of achieving embodiment. In this thesis, we have created an embodiedperspective of virtual three-dimensional objects oating in front of a user.Users can see the object from a rst-person perspective without a headsupdisplay and can change the perspective of the object by shifting theirpoint of view. The technology and aordances to make this possible in aunobtrusive, practical and ecient way is the subject of this thesis.Using a depth sensor, Microsoft's Kinect [7], we track the user's positionin front of a screen in real-time, thus making it possible to changethe perspectives seen by each of the user's eyes to t their real point ofview, in order to achieve a 3D embodied interaction outside the screen.We combined the rst-person perspective into an embodied sculptingproject that includes a wireless haptic glove to allow the user to feel whentouching the model and a small one-hand remote controller used to rotatethe object around as the user desires when pressing its single button.We have achieved what we call Embodied Perspective, which involves anoutside-screen stereoscopic visualization, which reacts to body interactionas if the visualization was really where the user perceives it, thanks to thedata from the depth sensor. This method does not block the user's viewof their own body, but ts and matches their brain's perception.When applied to virtual sculpting (embodied sculpting), it gives theuser the ability to feel and understand much better their actions; wherethey are touching/sculpting and how they should move to reach wherethey want, since the movements are the same one would perform withtheir body in a real-world sculpting situation.A further study of the viability of this method, not only on singleperson interaction but on group visualization of a single user perspective,is discussed and proposed.
21
Jang, Geupil. "Functional analysis of class 1 RSL genes in caulonema and rhizoid differentiation of Physcomitrella patens." Thesis, University of East Anglia, 2011. https://ueaeprints.uea.ac.uk/35077/.
Full text
22
Cao, Shuyuan. "Using annotated discourse information of a RST Spanish-Chinese treebank for translation and language learning tasks." Doctoral thesis, Universitat Pompeu Fabra, 2018. http://hdl.handle.net/10803/664419.
Full textAbstract:
As one of the essential elements for Natural Language Processing (NLP), discourse has called much attention during recent years. Many studies explore the role of how discourse elements affect in different NLP research areas, such as parsing, sentiment analysis, machine translation evaluation, among others. Besides, along with the discourse analysis development, different treebanks annotated with discourse information for different languages form a great contribution for advancing the NLP researches.
Spanish and Chinese are two of the most spoken languages in the world; the language pair occupy an important position for NLP studies. Therefore, this study aims to make a discourse analysis between the two languages in terms of annotating discourse similarities and differences under the theoretical framework of Rhetorical Structure Theory (RST) by Mann and Thompson (1988).
Our goal, which is the main objective of this study, based on the annotation results, the study seeks to develop a protocol that includes recommendations for Spanish-Chinese translation. In addition, with a globalized context in the current society, the communication between Spanish and Chinese is more and more intensive. Therefore, another intention of our study is to develop some resources for the language learning between Spanish-Chinese.
To achieve our goals, for the development of the protocol, we firstly establish a Spanish-Chinese parallel corpus and annotate the discourse information of the entire corpus. Then we evaluate the annotation results following a qualitative method to guarantee the high quality of the annotation results. Lastly, we conclude the discourse similarities and differences to make the protocol. Regarding the language learning between the two languages, we fully use the manually annotated discourse markers (DM) to develop a question-answering module.
In recent years, there have been few contrastive works of Spanish and Chinese for discourse analysis. Therefore, this PhD study aims to partially fill a knowledge gap in the study between Spanish and Chinese.Como uno de los elementos esenciales para el Procesamiento del Lenguaje Natural (PLN), el discurso ha llamado mucho la atención durante los últimos años. Diversos estudios exploran el papel de cómo los elementos del discurso afectan en diferentes áreas de investigación del PLN, por ejemplo, el análisis sintáctico, el análisis de sentimientos, la evaluación de la traducción automática, entre otros. Además, junto con el desarrollo del análisis del discurso, diferentes treebanks anotados con infomación discursiva para diferentes idiomas forman una gran contribución para el avance de las investigaciones del PLN. El español y el chino son dos de los idiomas más hablados en el mundo, ambos ocupan un lugar importante para los estudios de PNL. Por lo tanto, este estudio pretende hacer un análisis del discurso entre las dos lenguas en términos de anotar similitudes y diferencias del discurso bajo el marco teórico Teoría de la Estructura Retórica (RST) de Mann y Thompson (1988). El objetivo principal de este estudio, basado en los resultados de la anotación, busca desarrollar un protocolo que incluya recomendaciones para la traducción entre el español y el chino. Además, en un contexto globalizado en la sociedad actual, la comunicación entre españoles y chinos es cada vez más intensa. Por lo tanto, la otra intención de nuestro estudio es desarrollar algunos recursos para el aprendizaje de idiomas entre los españoles y los chinos. Para lograr nuestros objetivos de desarrollo del protocolo, primero establecemos un corpus paralelo español-chino y anotamos la información discursiva de todo el corpus. Luego evaluamos los resultados de la anotación siguiendo un método cualitativo para garantizar la alta calidad de los resultados de anotación. Por último, concluimos las similitudes y diferencias del discurso para hacer este protocolo. Con respecto al aprendizaje de lenguas entre el español y el chino, utilizamos completamente los marcadores discursivos (MD) anotados manualmente para desarrollar un módulo de preguntas y respuestas. En los últimos años, han habido pocos trabajos que comparen el español y el chino. Por lo tanto, este estudio de doctorado tiene como objetivo llenar parcialmente una brecha de conocimiento entre el estudio de las lenguas española y china.
23
Canello, Vivian Athaydes. "Estudo baseado na interpolação 3D dos valores de RQD: barragem de Itaipu." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/18/18132/tde-25042012-112855/.
Full textAbstract:
Este trabalho foi baseado na realização de simulações computacionais 3D de parâmetros de RQD obtidos de classificação geomecânica de sondagens rotativas realizadas nas fases de investigação geológico-geotécnica e construção da barragem de Itaipu (PR), Brasil. Tais simulações foram desenvolvidas em duas áreas dispostas no entorno da barragem principal da usina, utilizando como ferramenta o programa GRASS, que executa interpolações tridimensionais pelo método numérico Spline Regularizado com Tensão (RST). Os resultados obtidos foram comparados com dados previamente interpretados e obtidos por outros métodos como os geoestatísticos e apresentaram resultados razoáveis devido as dimensões dos voxels adotados, diferenças dos métodos e distribuição espacial dos dados.This work was based on three-dimensional computer simulations of the parameters RQD of the boreholes on geological and geotechnical research phases and construction of the Itaipu dam (PR), Brazil. These simulations were carried out in two areas arranged around the plant the main dam, using as tool the GRASS program, which performs three-dimensional interpolation by mathematical method Regularized Spline with Tension (RST) . The results were compared with data previously obtained and interpreted by other methods such as geostatistical and had reasonable results because the dimensions of the voxels adopted, differences in methods and spatial distribution of the data.
24
Gregson, Sarah School of Industrial Relations & Organisational Behaviour UNSW. "Foot soldiers for capital: the influence of RSL racism on interwar industrial relations in Kalgoorlie and Broken Hill." Awarded by:University of New South Wales. School of Industrial Relations and Organisational Behaviour, 2003. http://handle.unsw.edu.au/1959.4/19331.
Full textAbstract:
The historiography of Australian racism has principally "blamed" the labour movement for the existence of the White Australia policy and racist responses to the presence of migrant workers. This study argues that the motivations behind ruling class agitation for the White Australia policy have never been satisfactorily analysed. To address this omission, the role of the Returned and Services League of Australia (RSL) in race relations is examined. As an elite-dominated, cross-class organisation with links to every section of society, it is argued that the RSL was a significant agitator for migrant exclusion and white unity in the interwar period. The thesis employs case studies, oral history and qualitative assessment of various written sources, such as newspapers, archival records and secondary material, in order to plot the dynamics of racist ideology in two major mining centres in the interwar period. The results suggest that, although labour organisations were influenced by racist ideas and frequently protested against the presence of migrant workers, it was also true that mining employers had a material interest in sowing racial division in the workplaces they controlled. The study concludes that labour movement responses to migrant labour incorporated a range of different strategies, from demands for racist exclusion to moves towards international solidarity. It also reveals examples of local and migrant workers living, working, playing and striking together in ways that contradict the dominant view of perpetual tension between workers of different nationalities. Lastly, the case studies demonstrate that local employers actively encouraged racial division in the workplace as a bulwark against industrial militancy.
25
Klein, Joachim. "Compositional Synthesis and Most General Controllers." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-130654.
Full textAbstract:
Given a formal model of the behavior of a system, an objective and some notion of control the goal of controller synthesis is to construct a (finite-state) controller that ensures that the system always satisfies the objective. Often, the controller can base its decisions only on limited observations of the system. This notion of limited observability induces a partial-information game between the controller and the uncontrollable part of the system. A successful controller then realizes an observation-based strategy that enforces the objective.
In this thesis we consider the controller synthesis problem in the linear-time setting where the behavior of the system is given as a nondeterministic, labeled transitions system A, where the controller can only partially observe and control the behavior of A. The goal of the thesis is to develop a compositional approach for constructing controllers, suitable to treat conjunctive cascades of linear-time objectives P_1, P_2, ..., P_k in an online manner. We iteratively construct a controller C_1 for system A enforcing P_1, then a controller C_2 enforcing P_2 for the parallel composition of the first controller with the system, and so on. It is crucial for this approach that each controller C_i enforces P_i in a most general manner, being as permissive as possible. Otherwise, behavior that is needed to enforce subsequent objectives could be prematurely removed.
Standard notions of strategies and controllers only allow the most general treatment for the limited class of safety objectives. We introduce a novel concept of most general strategies and controllers suited for the compositional treatment of objectives beyond safety. We demonstrate the existence of most general controllers for all enforceable, observation-based omega-regular objectives and provide algorithms for the construction of such most general controllers, with specialized variants for the subclass of safety and co-safety objectives.
We furthermore adapt and apply our general framework for the compositional synthesis of most general controllers to the setting of exogenous coordination in the context of the channel-based coordination language Reo and the constraint automata framework and report on our implementation in the verification toolset Vereofy.
The construction of most general controllers in Vereofy for omega-regular objectives relies on our tool ltl2dstar for generating deterministic omega-automata from Linear Temporal Logic (LTL) formulas. We introduce a generic improvement for exploiting insensitiveness to stuttering during the determinization construction and evaluate its effectiveness in practice. We further investigate the performance of recently proposed variants of Safra\'s determinization construction in practice.
26
Brahim, Mouhanned. "Modeling and Position Control of Piezoelectric Motors." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS296/document.
Full textAbstract:
Pour des applications depositionnement, les moteurs piézoélectriquesprésentent aujourd’hui une alternativeintéressante aux moteurs électromagnétiquesclassiques en raison de leur forte précision del’ordre de quelques nanomètres ainsi que de leurfaible niveau de bruit électromagnétique. Dansce contexte, les travaux de cette thèse portent surla modélisation, la conception, et l’implantationen temps réel de contrôleurs en position pour desmoteurs piézoélectriques. L’objectif est deproposer un système de contrôle en positionrobuste pour des applications robotiques avecun cahier des charges prédéfini. Trois moteurspiézoélectriques avec des principes defonctionnement différents (USR60, PAD7220,N-310.13) ont été choisis. Leurs modèlesélectromécaniques ont été développés afin devalider leurs principes de fonctionnement etd’analyser leurs comportements dynamiquesface à des perturbations (variation de couple decharge, de température, etc…). Ensuite, cesmodèles sont utilisés pour simuler et valider lesperformances des algorithmes de contrôle enboucle fermée notamment en termes deprécision, de robustesse et de stabilité. Desbancs de test expérimentaux ont été mis enœuvre pour les trois moteurs, et des modèlesréduits reliant les positions des moteurs auxsignaux de commande correspondants ont étéidentifiés expérimentalement. Deux contrôleursde position de type H-infini (H∞) et RST sontensuite synthétisés et simulés. Ces contrôleurssont implantés en temps réel sur les bancs detests expérimentaux via un système dSPACE.Les performances de chaque moteur associé à sacommande sont évaluées. Une étudecomparative entre les résultats expérimentauxde ces deux contrôleurs et ceux d’un contrôleurPID classique est aussi présentéeThe Piezoelectric motors present aninteresting alternative to electromagneticsmotors for precise positioning systems. This ismainly due to their high accuracy in thenanometer scale, and to their very lowelectromagnetic noise levels. In this context, thework presented in this thesis deals with themodeling, design, and real time implementationof position controllers for piezoelectric motors.The objective is to propose robust closed loopposition controller of piezoelectric motors forrobotic applications. Based on the applicationspecification requirements, three motors withdifferent topologies (USR60, PAD7220, N-310.10) are selected. Their electro mechanicmodels are developed in order to validate theiroperating principle and to analyze theirdynamics.These models are also used to simulate thecontroller algorithms in closed loop.Experimental platforms based on the threemotors are designed, and the reduced modelslinking the motor positions to the correspondingcontrol signals are experimentally identified.Afterwards, two position controllers of type Hinfinity(H∞) and RST are synthesized andsimulated. These controllers are implemented inreal time via the experimental platformsequipped by dSPACE boards. The performancesof each motor in closed loop associated to theposition controllers are evaluated using theexperimental results. Comparative studybetween the experimental results of twoproposed controllers and conventional PIDcontroller is also presented.Université Paris-
27
Pettersson, Linda. "Går det att analysera S-TSH, S-T3 fritt och S-T4 fritt på BD Vacutainer® RST™?" Thesis, Linnéuniversitetet, Institutionen för kemi och biomedicin (KOB), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-28966.
Full textAbstract:
Sköldkörteln (tyroidea) är ett endokrint organ som påverkar ämnesomsättningen. Tyreoidea stimulerande hormon (TSH) frisätts från hypofysen och stimulerar syntes och frisättning av tyreoideahormonerna trijodtyronin (T3) och tyroxin (T4). Tyreoidea hormonerna har i sin tur en negativ påverkan på frisättningen av TSH. TSH, T3 fritt och T4 fritt analyseras på serum med immunokemiska metoder. Becton Dickinson (BD) har tagit fram ett snabbkoagulerande provrör för analys av serum. Detta provrör heter BD Vacutainer® RST™ (rapid serum tube). Akutmottagningen på Centrallasarettet i Växjö använder detta provrör för vissa analyser och har önskemål om att kunna utföra tillbeställningar på S-TSH efter provtagning. Syftet med studien var att undersöka om det går att analysera S-TSH, S-T3 fritt och S-T4 fritt på BD Vacutainer® RST™ med instrumentet ADVIA Centaur XP. För studien togs venprover på 30 personer (20 kvinnor och 10 män), ett RST™ och ett SST™ (serum separation tube). SST™ användes som referensrör. Analysen av S-TSH, S-T3 fritt och S-T4 fritt utfördes med ADVIA Centaur XP och analysresultaten jämfördes genom regressionsanalys, Pearsons korrelationskoefficient och bias. Regressionsanalysen gav för alla tre analyserna linjer som låg nära varandra och k = 1, samt Pearsons korrelationskoefficient i närheten av 1. Bias visade en spridning på främst ±10 % med två avvikande resultat ett på 28 % och ett annat på -13 %. Dessa avvikande resultat förklarades genom att båda resultaten var låga värden och en liten skillnad mellan resultaten ger en större spridning. Slutsatsen blev att går det att analysera S-TSH, S-T3 fritt och S-T4 fritt på RST™ med ADVIA Centaur XP vilket kommer att minska antalet provtagningar på akuten och ge ett snabbare analysresultat på fler analyser.
28
Madeira, Marisa Paulos. "Os regimes simplificados em sede de Imposto sobre o Rendimento das Pessoas Coletiva (IRC) : análise comparativa entre Portugal e Espanha." Master's thesis, FEUC, 2014. http://hdl.handle.net/10316/28078.
Full textAbstract:
Relatório de estágio do mestrado em Contabilidade e Finanças, apresentado à Faculdade de Economia da Universidade de Coimbra, sob a orientação de Cidália Lopes e Maria Elisabete Ramos.Atualmente, as Pequenas e Médias Empresas apresentam um papel fundamental no desenho da estratégia de desenvolvimento e competitividade de cada país. Neste sentido, não sendo Portugal uma exceção, a Comissão de Reforma do IRC propôs uma medida com vista a aumentar a competitividade desta categoria de empresas. Assim, aprovado em 2014, através da Lei 2/2014, o reestruturado Regime Simplificado de Tributação (RST) configura-se como um regime optativo ao Regime Geral de Tributação (RGT), enquadrado na avaliação indireta, que pretende tributar o rendimento real presumido e não o rendimento real efetivo (ambos baseados na Contabilidade). Através de uma análise comparativa baseada no CIRC – Portugal – e no Código del Impuesto sobre Sociedades (CIS) – Espanha –, o presente Relatório de Estágio visa numa primeira fase caracterizar cada um destes regimes e posteriormente proceder à sua confrontação, retirando conclusões acerca das suas principais semelhanças e diferenças. Deste modo, a análise encontrar-se-á enriquecida por um panorama externo, não se centrando apenas em conclusões acerca da realidade portuguesa. Da análise ao Regime Especial de Incentivos Fiscais para Pequenas Empresas (REIF-PE), presente em Espanha, conclui-se que este se baseia essencialmente num conjunto de incentivos fiscais ao emprego e investimento, seguindo, na sua maioria, as regras impostas ao RGT. Não obstante, o RST baseia-se na aplicação de uma taxa de tributação mais reduzia, face ao RGT, assente unicamente na tributação dos rendimentos e menosprezando os gastos incorridos pelo sujeito passivo. Neste seguimento, depreende-se que em Portugal e Espanha os regimes fiscais direcionados às PME são bastantes dissemelhantes. A principal vantagem do REIF-PE é a redução da carga fiscal obtida através da possibilidade de diferir o pagamento do imposto. Relativamente ao RST, a redução dos custos administrativos e de cumprimento e a, consequente, redução da carga fiscal para os sujeitos passivos, representam os seus principais benefícios.
29
Madiouni, Riadh. "Contribution à la synthèse et l’optimisation multi-objectif par essaims particulaires de lois de commande robuste RST de systèmes dynamiques." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1053/document.
Full textAbstract:
Ces travaux de recherche portent sur la synthèse systématique et l’optimisation de correcteurs numériques à structure polynomiale RST par approches métaheuristiques. Les problèmes classiques de placement de pôles et de calibrage des fonctions de sensibilité de la boucle fermée RST sont formulés sous forme de problèmes d’optimisation multi-objectif sous contraintes pour lequel des algorithmes métaheuristiques de type NSGA-II, MODE, MOPSO et epsilon-MOPSO sont proposés et adaptés. Deux formulations du problème de synthèse RST ont été proposées. La première approche, formulée dans le domaine temporel, consiste à minimiser des indices de performance, de type ISE et MO, issus de la théorie de la commande optimale et liés essentiellement à la réponse indicielle du système corrigé. Ces critères sont optimisés sous des contraintes non analytiques définis par des gabarits temporels sur la dynamique de la boucle fermée. Dans la deuxième approche de synthèse RST, une formulation dans le domaine fréquentiel est retenue. La stratégie proposée consiste à définir et calculer une fonction de sensibilité de sortie désirée en satisfaisant des contraintes de robustesse de H∞. L’utilisation de parties fixes dans la fonction de sensibilité de sortie désirée assurera un placement partiel des pôles de la boucle fermée RST. L’inverse d’une telle fonction de sensibilité désirée définira le filtre de pondération H∞ associé. Un intérêt particulier est porté à l’approche d’optimisation par essaim particulière PSO pour la résolution des problèmes multi-objectif de commande reformulés. Un algorithme MOPSO à grille adaptative est proposé et puis perfectionné à base des concepts de l’epsilon-dominance. L’algorithme epsilon-MOPSO obtenu a montré, par comparaison avec les algorithmes MOPSO, NSGA-II et MODE, des performances supérieures en termes de diversité des solutions de Pareto et de rapidité en temps de convergence. Des métriques de type distance générationnelle, taux d’erreurs et espacement sont toutefois considérées pour l’analyse statistique des résultats de mise en œuvre obtenus. Une application à la commande en vitesse variable d’un moteur électrique DC est effectuée, également pour la commande en position d’un système de transmission flexible à charges variables. La mise en œuvre par simulations numériques sur les procédés considérés est également présentée dans le but de montrer la validité et l’efficacité de l’approche de commande optimale RST proposéeThis research focuses on the systematic synthesis and optimization of digital RST structure based controllers thanks to global metaheuristics approaches. The classic and hard problems of closed-loop poles placement and sensitivity functions shaping of RST control are well formulated as constrained multi-objective problems to be solved with proposed metaheuristics algorithms NSGA-II, MODE, MOPSO and especially epsilon-MOPSO. Two formulations of the metaheuristics-tuned RST problem have been proposed. The first one, which is given in the time domain, deals with the minimization of several performance criteria like the Integral Square Error (ISE) and the Maximum Overshoot (MO) indices. These optimal criteria, related primarily to the step response of the controlled plant, are optimized under non-analytical constraints defined by temporal templates on the closed-loop dynamics. In the second approach, a formulation in the frequency domain is retained. The proposed strategy aims to optimize a desired output sensitivity function satisfying H∞ robustness constraints. The use of a suitable fixed part of the optimized output sensitivity function will provide partial pole placement of the closed-loop dynamics of the digital RST controller. The opposite of such desired sensitivity function will define the associated H∞ weighting filter. The Multi-Objective Particle Swarm Optimization (MOPSO) technique is particularly retained for the resolution of all formulated multi-objective RST control problems. An adaptive grid based MOPSO algorithm is firstly proposed and then improved based on the epsilon-dominance concepts. Such proposed epsilon-MOPSO algorithm, with a good diversity of the provided Pareto solutions and fast convergence time, showed a remarkable superiority compared to the standard MOPSO, NSGA-II and MODE algorithms. Performance metrics, such as generational distance, error rate and spacing, are presented for the statistical analysis of the achieved multi-optimization results. An application to the variable speed RST control of an electrical DC drive is performed, also for the RST position control of a flexible transmission plant with varying loads. Demonstrative simulations and comparisons are carried out in order to show the validity and the effectiveness of the proposed metaheuristics-based tuned RST control approach, which is formulated in the multi-objective optimization framework
30
Hankins, Jewell E. "Criminal History and LSI-R Scores of RSAT Participants in the State of Massachusetts: Impact of Offender Age on Program Completion and Rates of Offender Recidivism." ScholarWorks, 2011. https://scholarworks.waldenu.edu/dissertations/1087.
Full textAbstract:
The purpose of this study was to understand how offender age impacted residential substance abuse treatment (RSAT) program success in reducing rates of recidivism for offenders exiting the judicial system. Despite passing legislation in the 1980s and 1990s, which increased the penalties for certain crimes, offender recidivism remains high, with no apparent drop in the number of incarcerations and re-incarcerations, resulting in high costs and threats to the safety and quality of life experienced within communities. Social learning theory, behavioral decision theory, and biologically based theories of behavior were the theoretical foundations. Archival data collected from a RSAT grant program at between January 1, 1999 and June 6, 2001 were examined. Data related to participant scores on the Level of Service Inventory Revised (LSI-R), acquired prior to program placement and upon program completion, were compared with the number of incarcerations before and after program completion; charges for convictions already decided and/or pending convictions, age at admission(s) and age at the time of the offender's first offense, and types of offenses (domestic or sexual) committed were explored in a factor analysis. Negative correlations identified included: sex offenders and their age at admission and between LSI-R scores and completing the RSAT program. Positive correlations identified included: new convictions and completing the RSAT program, age at admission to program and age of first offense, and date of first offense and sex offender variables. Implications for positive social change include reduced rates of recidivism among offenders with substance abuse problems.
31
Barbosa, Raquel de Miranda. "Especificação formal de organizações de sistemas multiagentes." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2011. http://hdl.handle.net/10183/31122.
Full textAbstract:
A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes, analisando o uso da linguagem de especificação formal RSL para representar o modelo organizacional PopOrg. A escolha da linguagem RSL ocorreu pelo fato de ela ser uma linguagem de especificação formal que cobre amplo espectro de métodos de especificação formal (baseados em modelos e baseados em propriedades, aplicativos e imperativos, sequenciais e concorrentes) e o modelo PopOrg foi escolhido por ser um modelo mínimo de organização de sistemas multiagentes, concebido para representar o conjunto mínimo de aspectos estruturais e operacionais que tais organizações devem ter. O uso da linguagem RSL foi avaliado tanto para a especificação do aspecto estrutural dos sistemas PopOrg, quanto para especificação operacional desses sistemas. Um estudo preliminar realizado com a linguagem CSP para a especificação operacional do modelo PopOrg também é apresentado, visto que serviu como base para a especificação em RSL. Ao final, apresenta-se uma sugestão de extensão da linguagem RSL para sua maior aplicabilidade à especificação de sistemas multiagentes.The multiagent systems approach have been increasingly used for the development of complex systems, which aroused the interest of research in Agent Oriented Software Engineering (AOSE) and organizational models. In this context, this thesis studies the applicability of some traditional formal methods of software engineering for the formal specification of multiagent systems organizations, analyzing the use of RSL formal specification language to represent the PopOrg organizational model. The choice of RSL language occurred because it is a formal specification language that covers a wide spectrum of formal specification methods (models-based and properties-based, applicative and imperative, sequential and concurrent) and the PopOrg model was chosen because it is a minimal model of multiagent systems organization, designed to represent the minimum set of structural and operational aspects that such organizations should have. The use of RSL language was evaluated both for specifying the structural aspect of PopOrg systems and the operational specification for these systems. A preliminary study carried out with the CSP language for the operational specification of PopOrg model is also presented, as was the basis for the specification in RSL. In the end, a suggestion is given for an extension of the RSL language, to allow for its wider applicability to the specification of multiagent systems.
32
Hicklin, R. Austin. "A consignment library of reusable software components for use over the World-Wide Web." Master's thesis, This resource online, 1995. http://scholar.lib.vt.edu/theses/available/etd-01202010-020317/.
Full text
33
Chaname, Julio. "Topics of galactic structure and stellar and chemical evolution." The Ohio State University, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=osu1126128106.
Full text
34
Ersoy, Ozan. "Image Segmentation With Improved Region Modeling." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605627/index.pdf.
Full textAbstract:
Image segmentation is an important research area in digital image processing with several applications in vision-guided autonomous robotics, product quality inspection, medical diagnosis, the analysis of remotely sensed images, etc. The aim of image segmentation can be defined as partitioning an image into homogeneous regions in terms of the features of pixels extracted from the image.
Image segmentation methods can be classified into four main categories: 1) clustering methods, 2) region-based methods, 3) hybrid methods, and 4) bayesian methods. In this thesis, major image segmentation methods belonging to first three categories are examined and tested on typical images. Moreover, improvements are also proposed to well-known Recursive Shortest-Spanning Tree (RSST) algorithm. The improvements aim to better model each region during merging stage. Namely, grayscale histogram, joint histogram and homogeneous texture are used for better region modeling.
35
Kramer, Samuel Louis. "The Influence of Revised Reinforcement Sensitivity Theory Subsystems on Social Interaction and Social Observation Anxiety." OpenSIUC, 2014. https://opensiuc.lib.siu.edu/theses/1429.
Full textAbstract:
Evidence suggests that both the BIS and the BAS play a role in the individual differences seen in social anxiety disorder; however, findings concerning the role of the BAS have been mixed. To date, the role of RST subsystems underlying social anxiety has been measured with outdated scales. This study addressed this issue by using a measure purpose-built for the revised RST. The current study was able to replicate past findings that the BAS is differentially related to social interaction anxiety and social observation anxiety (Kimbrel et al., 2010; Kimbrel et al., 2012). While using a newer measure based on the revised RST; however, results indicated that BAS sensitivity related to both subdimensions of social anxiety. In addition, findings indicate that the RST systems remain good predictors of social anxiety symptoms even after accounting for the influence of levels of positive and negative affect. Implications and future directions are discussed.
36
Camara, Mamadou Baïlo. "Supercondensateurs pour échange dynamique d'énergie à bord du véhicule électrique hybride : modélisation, étude des convertisseurs et commande." Besançon, 2007. http://www.theses.fr/2007BESA2060.
Full textAbstract:
Ce sujet s'inscrit dans la continuité des travaux commencés au sein du L2ES dans le cadre du programme ECCE en partenariat avec CREEBEL qui assure le financement. La plateforme ECCE est un véhicule hybride électrique série à 4 roues indépendantes d'une puissance nominale en propulsion de 120kW électrique. La source d'énergie principale est constituée de deux moteurs diesels entraînant deux alternateurs. L'énergie électrique produite alimente les 4 moteurs électriques de traction et le reste est stocké dans le pack des batteries. Cette thèse développe les stratégies de couplage énergétique entre ce pack des batteries et les supercondensateurs afin d'assurer au véhicule une dynamique de fourniture et du stockage de l'énergie électrique. Une étude bibliographique a permis de passer en revue le bilan technologique et les applications potentielles des supercondensateurs, puis d'élaborer le modèle simplifié des supercondensateurs qui traduit fidèlement le comportement des cellules durant les phases de charge et de décharge. Différentes topologies des convertisseurs DC/DC avec des stratégies originales de gestion d'énergie électrique embarquée sont traitées. Les topologies proposées sont basées sur les convertisseurs Buck-Boost et les convertisseurs DC/AC-AC/DC à étage intermédiaire haute fréquence. Pour des raisons de coût et de la disponibilité du banc ECCE, les maquettes expérimentales des topologies ont été réalisées à l'échelle réduite ( 1/10 ). Les résultats expérimentaux obtenus ont permis de comparer les performances des topologies pour deux types de commande. La stratégie de gestion d'énergie à base des correcteurs polynomiaux (RST) est comparée à celle utilisant des correcteurs PI classiques. Ces études comparatives ont permis de choisir la meilleure topologie destinée au couplage des supercondensateurs sur le bus continu du banc ECCEThis subject is the continuity of the works started at L2ES Laboratory within the framework of ECCE program in collaboration with CREEBEL which ensures the financial support. ECCE test bench is a series electrical hybrid vehicle with 4 independent wheels and a rated power of 120kW. The main energy source consists of two diesel motors and each is coupled to one alternator. The produced energy feeds 4 electric traction motors; the remainder is stored by the batteries. This thesis presents the energy coupling strategies between these batteries and the supercapacitors to ensure dynamics in energy supply and storage for the hybrid vehicle. A bibliographical study has allowed to review technical progress and the available applications of the supercapacitors. A simplified model of supercapacitors which accurately translates the behavior of the cells during the charge and discharge is developed. Several DC/DC converters topologies with original strategies of embarked power management are developed. These topologies are based on the Buck-Boost converters and DC/AC-AC/DC converters with high frequency planar transformer. For cost raisons, the experimental test benches have been designed at a reduced scale (1/10). The experimental results obtained have allowed to compare the topologies performances for two control strategies. The polynomial control strategy (RST) is compared to classical PI correctors. These comparative studies have allowed choosing the best topology intended for the supercapacitors coupling to ECCE DC-bus
37
Maaloul, Mohamed. "Approche hybride pour le résumé automatique de textes : Application à la langue arabe." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4778.
Full textAbstract:
Cette thèse s'intègre dans le cadre du traitement automatique du langage naturel. La problématique du résumé automatique de documents arabes qui a été abordée, dans cette thèse, s'est cristallisée autour de deux points. Le premier point concerne les critères utilisés pour décider du contenu essentiel à extraire. Le deuxième point se focalise sur les moyens qui permettent d'exprimer le contenu essentiel extrait sous la forme d'un texte ciblant les besoins potentiels d'un utilisateur. Afin de montrer la faisabilité de notre approche, nous avons développé le système "L.A.E", basé sur une approche hybride qui combine une analyse symbolique avec un traitement numérique. Les résultats d'évaluation de ce système sont encourageants et prouvent la performance de l'approche hybride proposée. Ces résultats, ont montré, en premier lieu, l'applicabilité de l'approche dans le contexte de documents sans restriction quant à leur thème (Éducation, Sport, Science, Politique, Reportage, etc.), leur contenu et leur volume. Ils ont aussi montré l'importance de l'apprentissage dans la phase de classement et sélection des phrases forment l'extrait finalThis thesis falls within the framework of Natural Language Processing. The problems of automatic summarization of Arabic documents which was approached, in this thesis, are based on two points. The first point relates to the criteria used to determine the essential content to extract. The second point focuses on the means to express the essential content extracted in the form of a text targeting the user potential needs.In order to show the feasibility of our approach, we developed the "L.A.E" system, based on a hybrid approach which combines a symbolic analysis with a numerical processing.The evaluation results are encouraging and prove the performance of the proposed hybrid approach.These results showed, initially, the applicability of the approach in the context of mono documents without restriction as for their topics (Education, Sport, Science, Politics, Interaction, etc), their content and their volume. They also showed the importance of the machine learning in the phase of classification and selection of the sentences forming the final extract
38
Kuckwa, Jessica [Verfasser], and Renate [Akademischer Betreuer] Renkawitz-Pohl. "Die Myoblastenfusion zur Entstehung der glatten Testismuskulatur ist abhängig von Duf und Rst wobei die embryonale Myogenese unabhängig von Argininkinase abläuft / Jessica Kuckwa ; Betreuer: Renate Renkawitz-Pohl." Marburg : Philipps-Universität Marburg, 2017. http://d-nb.info/1132248523/34.
Full text
39
Yahiaoui, Leila. "Redocumentation des traces d’utilisation d’un environnement informatique." Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10140.
Full textAbstract:
Cette thèse d'ingénierie des connaissances a pour objet la redocumentation de l'activité médiée informatiquement à base de fichiers traces. Au cours d’un tel processus, un utilisateur interprète et réécrit les traces dans un nouveau document, qui correspond à un genre particulier et décrit l'activité dans toute sa richesse ; il a notamment la possibilité de reformuler le contenu des traces, de l'enrichir avec d'autres informations (justification ou informations sur le contexte), de supprimer des parties, etc. Il s’agit ainsi de renforcer le statut documentaire des traces selon les trois dimensions de la lisibilité, de l’intelligibilité et de l’échange. Nous proposons une approche générique semi-automatique qui combine le contenu de traces de l’activité et les connaissances des utilisateurs dans des formes narratives, facilement échangeables, décrivant l’activité de façon personnalisée pour les utilisateurs. Celle-ci utilise des modèles formels pour les traces et les documents produits, ainsi que les principes de la théorie de la structure rhétorique (RST). Elle soutient la redocumentation à travers deux phases : une phase automatique pour générer un document initial fragmenté à partir de la trace d'activité comme une première description pour celle-ci et une phase interactive pour personnaliser cette description selon les besoins et les choix d'un utilisateur afin de produire un document. Nous proposons également la spécification de cette approche pour le cas particulier de la redocumentation par le texte et nous présentons ActRedoc, un outil auteur que nous avons développé pour implémenter cette approche spécifique en utilisant différentes technologies du Web Sémantique. Les résultats de notre travail ont été testés dans un environnement réel qui est celui de la redocumentation des traces de navigation dans un site d’archives de journaux du XIXème développé par la bibliothèque municipale de Lyon. Nous présentons ainsi les résultats d'une première évaluation de l'approche de redocumentation en texte et de l'outil ActRedoc auprès d'un groupe d'utilisateursThis thesis is situated within the framework of knowledge engineering; it is particularly interested in the redocumentation of the computermediated activity from traces files. We suppose that during such a process, a user interprets and rewrites traces in a new document that corresponds to a particular genre and describes the traced activity in détails ; all this via the possibility to rewrite traces content, to enrich this content with other information (justifications or information on the context), to delete parts from it, etc. Therefore, we strengthen the documentary status of traces according to the three dimensions of legibility, comprehensibility and exchange. For implementing such a process, we propose a generic semi-automatic approach which combines the content of activity traces with users knowledge in narrative forms, easily exchangeable, to describe the traced activity in a personalized way for users. This Approach uses formal models for traces and documents (produced), as well as principles of the rhetorical structure theory (RST). It supports the redocumentation process through two phases: an automatic phase to generate an initial fragmented document from traces as a first description of the activity and an interactive phase to personalize this description according to the user needs and choices so that to produce an easily exchangeable document. We also propose a specification of this approach for the particular case of redocumentation by text and we present ActRedoc, an authoring tool that we developed by using different technologies of the Semantic Web in order to implement this specific approach. The results of our work were tested in a real environment which concerns redocumenting the activity of browsing a site of archives of newspapers of the XIXth century developed by the municipal library of Lyon. Thus, we present a first evaluation of the approach of redocumentation by text and of the authoring tool ActRedoc by a group of users
40
Marinho, Jorge Reppold. "Estudo da comunidade e do fluxo gênico de roedores silvestres em um gradiente altitudinal de Mata Atlântica na área de influência da RST-453/RS-486 - Rota-do-Sol." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2003. http://hdl.handle.net/10183/13586.
Full textAbstract:
A RS 486 - Rota do Sol vem sendo motivo de polêmica desde o início da implantação da obra, em 1990. O fato de a estrada afetar um dos ecossistemas mais ameaçados no Brasil, a Mata Atlântica, somado a alguns problemas na condução das obras, que terminaram por levar ao embargo das mesmas, configuram a situação a ser enfrentada no presente trabalho. Ao longo do trajeto a estrada percorre vales e encostas da Reserva da Biosfera, na Serra Geral, apresentando grande variação altitudinal e secionando diversas comunidades vegetais de Mata Atlântica distintas estrutural e fisionomicamente. O levantamento da fauna de roedores silvestres foi realizado na área de influência da rodovia RST-453/RS-486, Rota-do-Sol, entre junho de 1997 e setembro de 2003, perfazendo um total de 14 expedições de amostragem. As coletas foram realizadas em três pontos dentro de um gradiente altitudinal, entre os municípios de Terra de Areia e Tainhas no estado do Rio Grande do Sul, onde foram reconhecidos três ambientes estrutural e fisionomicamente distintos. Estas localidades diferem em altitude e em formação vegetal estando assim distribuídas: Mata Paludosa, altitude 30 metros ─ S 29.30.392, W 050 06.422, Floresta Ombrófila Densa, altitude 350 metros ─ S 29 22.506, W 050 11.318 e Floresta Ombrófila Mista, altitude 780 metros ─ S 29 19.261, W 050 12.282 A estrutura genética de duas espécies de roedores silvestres (Oligoryzomys nigripes e Oryzomys russatus) foi analisada através de seqüências da região hipervariável do mtDNA por estimativa do fluxo gênico e da diferenciação genética entre as populações a partir do índice de diferenciação Gst. As espécies analisadas pertencem ao mesmo local, porém subdivididas em populações separadas pela fragmentação dos habitats. Estas espécies foram escolhidas devido à diferença na história de vida e utilização do habitat, características que influenciam suas respectivas estruturas populacionais e genéticas. Os resultados obtidos corroboram o padrão descrito para comunidades abertas onde poucas espécies são abundantes, espécies dominantes, e muitas são raras. A Mata Paludosa com 113 ha. apresenta diversos microambientes tendo apresentado a maior diversidade e abundância de roedores. Foi verificado um padrão de sazonalidade discreto para duas espécies: Akodon montensis — inverno nos três pontos de amostragem e Oligoryzomys nigripes — inverno na Floresta Ombrófila Densa. Os ciclos populacionais das espécies mais representativas em cada ponto foram de aproximadamente quatro anos. Os ciclos populacionais de Oligoryzomys nigripes acompanham os ciclos de Akodon montensis, via de regra com valores de captura inferiores. Delomys dorsalis, na Floresta Ombrófila Mista apresentou ciclo populacional mais longo com flutuação e Oryzomys russatus e Oligoryzomys flavescens apresentaram ciclos populacionais com períodos de inatividade maiores. As capturas de Delomys dorsalis e Euryzygomatomys spinosus na Mata Paludosa e Brucepatersonius iheringi na Floresta Ombrófila Mista caracterizam ampliação do registro de ocorrência. A Floresta Ombrófila Densa e a Floresta Ombrófila Mista apresentam maior correlação, tanto através de análise de Grupamento Hierárquico (capturas) como através de Análise de Correspondência Simples (freqüência). A freqüência de captura de Akodon montensis foi regular em todo gradiente, Delomys dorsalis, Oligoryzomys nigripes e Oryzomys russatus, aparentemente, selecionam de forma positiva um determinado tipo de formação vegetal. D. dorsalis e O. russatus, padrão de distribuição em gradiente. A utilização do marcador de uma região hipervariável do mtDNA indica que não há estruturação geográfica das populações nem um mecanismo de isolamento por distância, levantando a hipótese de que o gradiente altitudinal não tem influência na estruturação genética das populações de Oligoryzomys nigripes e Oryzomys russatus. Os resultados obtidos para Oligoryzomys nigripes e Oryzomys russatus — mtDNA — indicam uma distribuição que, se em gradiente, não apresenta relação com a altitude ou formação vegetal. Os padrões de abundância para as diferentes espécies, em cada local de captura, devem estar associados a fatores ecológicos independentes do isolamento por distância, formação vegetal e variação altitudinal.
41
Gonçalves, Pedro Miguel Jesus. "Real-time controller based on MATLAB and raspberry Pi." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/21134.
Full textAbstract:
Mestrado em Engenharia Electrónica e TelecomunicaçõesPara esta dissertação é proposto o desenvolvimento de um controlador de tempo-real baseado na plataforma computacional Raspberry Pi, munidos de ADCs e DACs para interagir com sistemas físicos. Os algoritmos de controlo deverão poder ser desenvolvidos e testados em MATLAB, sendo “traduzidos”, de forma automática, para linguagem C capaz de ser compilada e executada na plataforma Raspberry Pi.
For this dissertation is proposed the development of a real-time controller based on the computer platform Raspberry Pi, fitted with ADCs and DACs to interact with physical systems. The control algorithms must be able to be developed and tested in MATLAB, then "translated" automatically to C programming language to be compiled and run on the Raspberry Pi platform.
42
Behrisch, Mike. "Relational Structure Theory." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-119816.
Full textAbstract:
This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examplesDiese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert
43
Klüppelholz, Sascha. "Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-86211.
Full textAbstract:
Information and communication systems enter an increasing number of areas of daily lives. Our reliance and dependence on the functioning of such systems is rapidly growing together with the costs and the impact of system failures. At the same time the complexity of hardware and software systems extends to new limits as modern hardware architectures become more and more parallel, dynamic and heterogenous. These trends demand for a closer integration of formal methods and system engineering to show the correctness of complex systems within the design phase of large projects.
The goal of this thesis is to introduce a formal holistic approach for modeling, analysis and synthesis of parallel systems that potentially addresses complex system behavior at any layer of the hardware/software stack. Due to the complexity of modern hardware and software systems, we aim to have a hierarchical modeling framework that allows to specify the behavior of a parallel system at various levels of abstraction and that facilitates designing complex systems in an iterative refinement procedure, in which more detailed behavior is added successively to the system description. In this context, the major challenge is to provide modeling formalisms that are expressive enough to address all of the above issues and are at the same time amenable to the application of formal methods for proving that the system behavior conforms to its specification. In particular, we are interested in specification formalisms that allow to apply formal verification techniques such that the underlying model checking problems are still decidable within reasonable time and space bounds.
The presented work relies on an exogenous modeling approach that allows a clear separation of coordination and computation and provides an operational semantic model where formal methods such as model checking are well suited and applicable. The channel-based exogenous coordination language Reo is used as modeling formalism as it supports hierarchical modeling in an iterative top-down refinement procedure. It facilitates reusability, exchangeability, and heterogeneity of components and forms the basis to apply formal verification methods. At the same time Reo has a clear formal semantics based on automata, which serve as foundation to apply formal methods such as model checking.
In this thesis new modeling languages are presented that allow specifying complex systems in terms of Reo and automata models which yield the basis for a holistic approach on modeling, verification and synthesis of parallel systems. The second main contribution of this thesis are tailored branching-time and alternating time temporal logics as well as corresponding model checking algorithms. The thesis includes results on the theoretical complexity of the underlying model checking problems as well as practical results. For the latter the presented approach has been implemented in the symbolic verification tool set Vereofy. The implementation within Vereofy and evaluation of the branching-time and alternating-time model checker is the third main contribution of this thesis.
44
Lacroix, Samantha. "Modélisation et commande d’une chaine de conversion pour véhicule électrique intégrant la fonction de charge des batteries." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112074/document.
Full textAbstract:
Le développement des véhicules hybrides et électriques s’est intensifié ces dernières années, face aux problématiques environnementales et économiques. Afin que les performances de ces derniers soient comparables à celle d’un véhicule à moteur thermique, de nombreuses avancées technologiques sont indispensables. Le déploiement de véhicule entièrement à traction électrique, ne serait être réalisable, sans des infrastructures de recharge adaptées. Cette thèse constitue une contribution à l’étude d’un chargeur de batteries intégré au véhicule électrique, dans le cadre du projet SOFRACI.L'architecture de ce chargeur entièrement réversible sert également pour la traction du véhicule. L’utilisation de tous les éléments y compris le moteur de traction pour les deux fonctions, réduit l’encombrement et le coût de la structure. L’objectif principal consiste à modéliser le système de conversion alternatif-continu du chargeur et à établir les lois de commandes.Lors de la première phase de l’étude, une attention particulière a été portée à l’utilisation des enroulements de la machine en tant qu’inductance de filtrage du convertisseur. Un modèle correspondant à ce fonctionnement a été obtenu et a permis de mettre en évidence un couplage magnétique existant entre les diverses phases.En s’appuyant sur les modèles obtenues, la seconde étape a consisté à définir les stratégies de commande. Deux méthodes ont été employées. La première, par le biais d’une transformation a permis de se ramener dans un repère, où la majorité des termes de couplage ont été éliminés. Pour l’autre méthode, tous les éléments du couplage ont été considérés. Pour chacune de ces stratégies, des correcteurs PI et RST fondés sur le placement de pôles robustes ont été dimensionnés pour garantir la stabilité du système.Une part importante du travail a été consacrée à la réalisation d’un banc d’essai expérimental reconstituant la conversion alternative-continue. Compte tenu des différences de dynamiques des grandeurs asservies, une carte FPGA et un processeur ont été utilisés. L’exploitation de ce moyen d’essai a permis de comparer et de valider les lois de commande développéesEnvironmental constraints and reduction of fossil fuels resources have led industrials and laboratories to search for alternative solutions in the transportation domain. For the last few years, several vehicles or planes functions have been gradually electrified, up to their complete electrification. This thesis presents an AC/DC converter integrated in an Electric Vehicle (EV) for the charger application. The conversion is realized by using the electric traction powertrain, in order to reduce the global cost and increase compactness where a specific motor has been design.During the first phase of the study, a model of the motor used as filtering inductances has been obtained and allowed to highlight an existing magnetic coupling between the motor’s phases.The second step was to define control strategies. Two methods were used. The first one, by a transformation allowed eliminating the majority of the coupling term. In the other method, all coupling elements have been considered. For each strategies, IP and RST controllers based on robust pole placement were designed to ensure system stability.An important part of the work was devoted to the realization of an experimental test bench for AC-DC conversion. A FPGA and a processor were used for control implementation. The control laws has been compared and validated thanks to the experimental platform
45
Nygårdhs, Sara. "Aquaplaning : Development of a Risk Pond Model from Road Surface Measurements." Thesis, Linköping University, Department of Electrical Engineering, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-1990.
Full textAbstract:
Aquaplaning accidents are relatively rare, but could have fatal effects. The task of this master’s thesis is to use data from the Laser Road Surface Tester to detect road sections with risk of aquaplaning.
A three-dimensional model based on data from road surface measurements is created using MATLAB (version 6.1). From this general geometrical model of the road, a pond model is produced from which the theoretical risk ponds are detected. A risk pond indication table is fur-ther created.
The pond model seems to work well assuming that the data from the road model is correct. Determining limits for depth and length of risk ponds can be made directly by the user. MATLAB code is reasonably easy to understand and this leaves great opportunities for changing different parameters in a simple way.
Supplementary research is needed to further improve the risk pond detection model. Collecting data at smaller intervals and with more measurement points would be desirable for achieving better correlation with reality. In a future perspective, it would be wise to port the code to another programming language and this could make the computations faster.
46
Zaro, Maren Lothyan. "Breast Cancer Risk Assessment: Evaluation of Screening Tools for Genetics Referral." BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/8824.
Full textAbstract:
Purpose: This study assessed effectiveness of five tools recommended by the US Preventive Services Task Force (USPSTF), designed to help primary care clinicians determine which unaffected patients to refer to genetics specialists for breast cancer risk assessment based on concerning family history. Design: This descriptive secondary analysis included 85 women aged 40-74. All participants had a first-degree female relative previously diagnosed with breast cancer who also had uninformative negative BRCA1/2 tests. Methods: Each pedigree was evaluated using the five tools including the Family History Screen-7 (FHS-7), Pedigree Assessment Tool (PAT), Manchester Scoring System, Referral Screening Tool (RST), and Ontario-Family History Assessment Tool (Ontario-FHAT). All five tools were applied to each study participant. Sensitivity, specificity, positive predictive value, and negative predictive value were calculated to describe each tool’s ability to identify women with elevated risk as calculated by the Claus model. Receiver operating curves (ROC) were also plotted. Differences between areas under the curve (AUCs) for all possible pairs of tools were estimated through logistic regression to assess for differences in tool performance. Results: Claus calculations identified 14 women out of 85 whose lifetime risk of breast cancer was elevated at > 15%. Only two tools, the Ontario-FHAT and FHS-7, identified all 14 women with elevated risk, a sensitivity of 100%. The FHS-7 tool flagged all 85 participants, meaning its specificity was zero. The Ontario-FHAT flagged 59 participants as needing referral (specificity 36.2%) and had a negative predictive value (NPV) of 100%, indicating that if a woman was not found to need a referral to a genetics professional, it is likely she did not have an elevated lifetime risk of developing breast cancer. AUC values were not significantly different between tools (all p values > .05), and thus were not helpful in discriminating between the tools. Conclusion: In this population, the Ontario-FHAT out-performed other tools in terms of sensitivity and negative predictive value; however, low specificity and positive predictive value must be balanced against these findings. Thus, the Ontario-FHAT can help determine which women would benefit from referral to a genetics specialist.
47
Monceaux, Christopher Jon. "Triazole-linked reduced amide isosteres: An approach for the fragment-based drug discovery of anti-Alzheimer's BACE1 inhibitors and NH-assisted Fürst-Plattner opening of cyclohexene oxides." Diss., Virginia Tech, 2010. http://hdl.handle.net/10919/30221.
Full textAbstract:
In the scope of our BACE1 inhibitor project we used an originally designed microtiter plate-based screening to discover 4 triazole-linked reduced amide isosteres that showed modest (single digit micromolar) BACE1 inhibition. Our ligands were designed based on a very potent (single digit nanomolar) isopththalamide ligand from Merck. We supplanted one of the amide linkages in order to incorporate our triazole and saw a 1000-fold decrease in potency. We then enlisted Molsoft, L.L.C. to compare our ligand to Merck's in silico to account for this discrepancy. They found that the triazole linkage gives rise to a significantly different docking pose in the active site of the BACE1 enzyme, therefore diminishing its potency relative to the Merck ligand.
The ability to control the regio- and stereochemical outcome of organic reactions is an ongoing interest and challenge to synthetic chemists. The pre-association of reacting partners through hydrogen bonding (H-bonding) can often to yield products with extremely high stereoselectivity. We were able to show that anilines, due to their enhanced acidity relative to amines, can serve as substrate directing moieties in the opening of cyclohexene oxides. We observed that by judicious choice of conditions we could control the regiochemical outcome of the reaction. These studies demonstrate that an intramolecular anilino-NH hydrogen bond donor can direct Fürst-Plattner epoxide opening. A unified mechanism for this phenomenon has been proposed in this work which consists of a novel mechanistic route we call "NH-directed Fürst-Plattner." We further studied the opening of cyclohexene oxides by incorporating amide and amide derivative substituents in both the allylic and homoallylic position relative to the epoxide moiety. Our attempts to control regioselectivity in the allylic systems were unsuccessful; however when the directing substituent was in the homoallylic position, we could demonstrate some degree of regioselectivity.
An additional project that the author worked on for approximately one year during his graduate student tenure is not described within this work. In February of 2009 AstraZeneca, Mayo Clinic, and Virginia Tech Intellectual Properties Inc. concomitantly announced that AstraZeneca licensed a portfolio of preclinical Triple Reuptake Inhibitor (TRI) compounds for depression. The lead compound, PRC200, was discovered by a collaborative effort between the Carlier and Richelson (Mayo Clinic Jacksonville) research groups in 1998. The author was tasked to develop backup candidates of PRC200 in order to improve the pharmacokinetics of the lead compound. Due to confidentiality agreements, this work is not reported herein.Ph. D.
48
Marvin, Alonso Rodríguez García, and Alvarez Enrique Manuel Achahue. "Aplicación de la tecnología XPIC como mejora de una red de transporte microondas existente en el Perú." Bachelor's thesis, Universidad Ricardo Palma, 2015. http://cybertesis.urp.edu.pe/handle/urp/1287.
Full textAbstract:
El presente proyecto de investigación muestra el estudio realizado en una red de transporte microondas de un operador local de telecomunicaciones que aplica el uso de la polarización cruzada o también llamado polarización co-canal con el fin de verificar que existe una duplicidad del ancho de banda y por ende un mejoramiento en la red de transporte, a través del manejo de aplicación de XPIC.
Para verificar el mejoramiento de un enlace, hay que considerar ciertos parámetros de radio que nos ayudaran a determinar el comportamiento del mismo, como son el nivel de XPD, nivel de RSL, Margen de desvanecimiento y disponibilidad del enlace.
Dentro del estudio se está considerando los factores externos que afectan a un enlace microondas con el uso de XPIC como fallas en instalación, climas por región, obstrucciones en afectación de línea de vista, así como también estudiaremos la parte de simulación con los parámetros de radio involucrados que podrían afectar a poder duplicar la capacidad del enlace, y se mostrará un caso real para verificar el tráfico.
This research project shows a study in a network of microwave complimentary local telecommunications operator that applies the use of cross polarization also called co-channel polarization in order to verify that there is a duplication of bandwidth and hence an improvement in the transport network, by managing application XPIC.
To verify the improvement of a link, consider certain parameters within which we help to determine the behavior of the same, as are the level of XPD, level RSL, fade margin and link availability.
Inside the studio is considering external factors affecting a microwave link using XPIC as faulty installation, climates region affectation obstructions in line of sight, the radio parameters were studied in the part that involved simulation could affect the ability to double bond, and show a real case to verify traffic.
49
Iracet, Êrica Ehlers. "Relações retóricas emergentes da inserção de narrativas em notícias de divulgação científica para adultos e crianças." Universidade do Vale do Rio dos Sinos, 2014. http://www.repositorio.jesuita.org.br/handle/UNISINOS/4382.
Full textAbstract:
Submitted by William Justo Figueiro (williamjf) on 2015-07-09T22:47:34Z
No. of bitstreams: 1
28b.pdf: 928828 bytes, checksum: 03bf0090fd6d0473043b76c6366d0c61 (MD5)Made available in DSpace on 2015-07-09T22:47:34Z (GMT). No. of bitstreams: 1 28b.pdf: 928828 bytes, checksum: 03bf0090fd6d0473043b76c6366d0c61 (MD5) Previous issue date: 2014-12-22
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
O presente estudo busca investigar as relações retóricas que emergem do encaixe de segmentos narrativos na organização macroestrutural de notícias de divulgação científica (DC) dirigidas aos públicos infantil e adulto. A organização narrativa é analisada segundo os postulados de Adam (2011) e Charaudeau (2008b); a organização retórica macroestrutural dos textos, por sua vez, é estudada de acordo com a Rhetorical Structure Theory – RST. (MANN; THOMPSON, 1988). O corpus do estudo é composto de 15 notícias de DC voltadas ao público infantil, publicadas na revista Ciência Hoje das Crianças entre dezembro de 2004 e setembro de 2010, e de 15 notícias de DC direcionadas ao público adulto, veiculadas na revista Ciência Hoje, entre agosto de 2005 e julho de 2012. A metodologia empregada consiste na análise quantitativa da emergência de relações retóricas entre os segmentos narrativos encontrados nos corpora (infantil e adulto) e as demais porções textuais, bem como na análise qualitativa de alguns textos selecionados para exemplificar cada uma das relações retóricas encontradas. Em seguida, é realizada uma análise comparativa entre os dados quantitativos provenientes das análises dos textos para crianças e dos textos para adultos. Assume-se que a esquematização de um texto é um processo de coconstrução, no qual o produtor, ao organizar seu plano textual, leva em consideração as características e conhecimentos de seu possível leitor e, a partir disso, lança mão de estratégias variadas para alcançar o fim discursivo pretendido e causar os efeitos desejados sobre o leitor. Dessa forma, conclui-se que a emergência recorrente de determinadas relações retóricas entre as narrativas encaixadas e as outras partes do texto revela estratégias do produtor textual para orientar a leitura e compreensão da notícia, tanto nos textos escritos para crianças quanto nos escritos para adultos.
This research aims to investigate the rhetorical relations which emerge from the insertion of narrative segments in the macrostructural organization of scientific popularization news directed to children and adults. The narrative organization is analyzed according to Adam’s (2011) and Charaudeau’s (2008b) postulates; the rhetorical organization of the texts, in turn, is studied according to Rhetorical Structure Theory – RST. (MANN; THOMPSON, 1988). The research corpus is composed of 15 scientific popularization news intended for children, published in the magazine Ciência Hoje das Crianças, and of 15 scientific popularization news directed to adults, issued in the magazine Ciência Hoje. The methodology consists of a quantitative analysis of the emergency of rhetorical relations between the narrative segments found in the corpora (texts for children and texts for adults) and other textual portions, as well as of a qualitative analysis of some selected texts in order to exemplify each one of the rhetorical relations found. Then, a comparative analysis is done between the quantitative data resultant from the analysis of the texts for children and of the texts for adults. We assume that the schematization of a text is a process of co-construction, in which the producer, when organizes the text plan, takes into consideration the characteristics and knowledge of his/her possible reader and, from this, resorts to different strategies in order to achieve the discursive aim intended and cause the desired effect over the reader. Thus, we conclude that the recurrent emergency of certain rhetorical relations between the inserted narratives and the other portions of the text reveals strategies of the textual producer in order to guide the reading and comprehension of the new, both in texts written forchildren and in texts written for adults.
50
Majors, Benjamin. "Development of a Rigid Body Computational Model for Investigation of Wrist Biomechanics." VCU Scholars Compass, 2010. http://scholarscompass.vcu.edu/etd/2319.
Full textAbstract:
The wrist is one of the most complex joints in the human body. As such, the wrist joint is difficult to model due to the number of bones involved and its intricate soft tissue interactions. Many studies have attempted modeling the wrist previously; however, the majority of these studies simplify the joint into two-dimensions or idealized mechanical joints to reduce the complexity of the simulation. While these approaches still yield valuable information, the omission of a third-dimension or geometry defined movements limits the models’ usefulness in predicting joint function under non-idealized conditions. Therefore, the goal of this study was to develop a computational model of the wrist joint complex using commercially available software, whereby joint motion and behavior is dictated by highly accurate three-dimensional articular contact, ligamentous constraints, muscle loads, and external perturbations only. As such, a computational model of the human wrist was created using computed tomography (CT) images of a cadaver right upper extremity. Commercially available medical imaging software and three-dimensional computer aided design (CAD) software were used to reconstruct the osteoarticular surfaces and accurately add soft tissue constraints, as well as calculate kinematic motion simulations. The model was able to reproduce physiologic motion including flexion/extension and radial/ulnar deviation. Validation of the model was achieved by comparing predicted results from the model to the results of a published cadaveric experiment that analyzed wrist function under effects of various surgical procedures. The model was used to replicate the exact testing conditions prescribed for the experiment, and the model was able to accurately reproduce the trends and, in many instances, the magnitudes of the range of motion measurements in the study. Furthermore, the model can now be used to predict the magnitudes for the joint contact forces within the wrist as well as the tension developed in ligaments in hopes locating potential areas of concern after these surgical procedures have been conducted, including further development of arthritis in the wrist and ligament breakdown.