Dissertations / Theses on the topic 'PI model'
To see the other types of publications on this topic, follow the link: PI model.
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 'PI model.'
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
Sritana-Anant, Yongsak. "Polar-pi interactions : the model studies /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2000. http://wwwlib.umi.com/cr/ucsd/fullcit?p9970663.
Full text
2
Michaud, Yonnel. "Etude phénoménologique de la réaction d'échange de charge (pi)-p -> (pi)[n à haute énergie]." Université Joseph Fourier (Grenoble), 1995. http://www.theses.fr/1995GRE10097.
Full textAbstract:
La presente these est consacree a l'etude de la reaction d'echange de charge pion negatif proton donne pion nul neutron. Cette reaction fait partie des processus quasi-elastiques, caracterises par de petits moments transferes, et donc non interpretables par la chromodynamique quantique. Le modele de glauber, utilise avec succes dans le cadre de la diffusion elastique, est exploite ici pour l'etude de la reaction d'echange de charge. Une interaction effective entre quarks, incluant un terme central et un terme spinorbite, est employee afin de rendre compte de l'echange du meson rho. Les resultats obtenus permettent de conclure a la nature diffractive de la reaction etudiee, mais ne permettent pas de determiner avec precision les rayons moyens des densites de quarks interagissants
3
Aspernäs, Andreas, and Thommy Simonsson. "IDS on Raspberry Pi : A Performance Evaluation." Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-43997.
Full textAbstract:
This is a report on the possibility of using a Raspberry Pi as an intrusion detection system in a home environment to increase network security. The focus of this study was on how well two different generations of Raspberry Pi would be able to handle network traffic while acting as an intrusion detection system. To examine this a testing environment was set up containing two workstation computers connected to a Raspberry Pi, each computer hosting a virtual machine. Tests measuring the network throughput as well as the CPU and memory usage were performed on each of the Raspberry Pi devices. Two models of Raspberry Pis were used; Raspberry Pi model B+ and Raspberry Pi 2 model B; each of them running the operating system Arch Linux ARM. The results of these tests were that both of the Raspberry Pis could be used as an intrusion detection system but has some limitations that could impede usage depending on the requirements of the user. Raspberry Pi 2 model B show benefits of its updated hardware by suffering lower throughput degradation than Raspberry Pi model B+, while using less of it's total CPU and memory capacity.Den här rapporten behandlar möjligheten att använda en Raspberry Pi som ett intrångdetekteringssystem i en hemma miljö för att öka nätverkssäkerheten. Fokusen i den här studien ligger på hur väl de två senaste generationerna av Raspberry Pi skulle kunna hantera nätverkstrafik samtidigt som den undersöker nätverkstrafiken och söker efter hot. För att kontrollera hur väl en Raspberry Pi kan fungera som ett intrångdetekteringssystem har en laborationsmiljö upprättats bestående av två fysiska maskiner som vardera används för att virtualisera en virtuell maskin. Tester för att mäta datagenomströmning, processor och minnesbelastning utfördes på var och en av Raspberry Pi. Två modeller av Raspberry Pi användes; Raspberry Pi model b+ och Raspberry Pi 2 model b, både körde operativsystemet Arch Linux ARM. Resultatet av testerna visade att det går att använda båda enheterna för att upprätta ett intrångdetekteringssystem, men det finns vissa begränsningar i enheterna vilket kan begränsa implementationsmöjligheterna. Raspberry Pi 2 model B uppvisade bättre resultat i form av att den är lägre belastad och har en högre datagenomströmning till skillnad från Raspberry Pi model B+. Raspberry Pi 2 model B har nyare och snabbare hårdvara vilket är den troliga orsaken till att den presterar bättre.
4
Marcus, Max. "Theory of optical transitions in pi-conjugated polymers." Thesis, University of Oxford, 2017. https://ora.ox.ac.uk/objects/uuid:bad21c6f-a0bb-4347-87fb-4914b2b15836.
Full textAbstract:
Conjugated Polymers have attracted a great deal of research interest in recent years due to their optoelectronic properties which makes them suitable for applications in organic light-emitting devices (OLEDs) and organic photovoltaics. Their properties are strongly dependent on the electron-electron and electron-nuclear interactions as well as the disorder which is present in almost all systems at finite temperatures. In this thesis the optical properties of electronically neutral conjugated polymers will be investigated. The results obtained are general and applicable to a wide range of parameters. In order to compare these to experiment the optical properties of poly( paraphenylene), poly(para-phenylene vinylene), and derivatives have been calculated. In these polymers the primary photoexcitations are Frenkel excitons which can be described by the Frenkel-Holstein Hamiltonian, which explicitly takes into account the exciton-nuclear coupling. Disorder can be introduced into this model both as diagonal and off-diagonal disorder within the Hamiltonian. First the optical transitions in ordered, linear conjugated polymers are investigated. It is found that the length of the polymer has a direct spectroscopic signature in the emission spectrum. When off-diagonal disorder is introduced the excitons localise on portions of the chain and the length of these portions, the conjugation length, then shows a clear emission signature. As such, a disordered polymer can be described theoretically as a chain of shorter segments, which define chromophores in a polymer context. Following from these calculations the role of conformation was investigated and effects were observed that greatly determine the optical properties of non-linear polymers. Most notable the Herzberg-Teller effect, which renders symmetrically forbidden transitions weakly allowed and greatly affects the absorption and emission spectra. The signatures observed in these spectra allow the determination of the (coarse grained) conformation of the polymer, something that has been difficult to measure directly.
5
Fischer, Marco. "A formal fault model for component based models of embedded systems." Dresden TUDpress, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2960240&prov=M&dok_var=1&dok_ext=htm.
Full text
6
Hultell, (Andersson) Magnus. "Electron-Lattice Dynamics in pi-Conjugated Systems." Licentiate thesis, Linköping University, Linköping University, Department of Physics, Chemistry and Biology, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-7996.
Full textAbstract:
In this thesis we explore in particular the dynamics of a special type of quasi-particle in pi-conjugated materials termed polaron, the origin of which is intimately related to the strong interactions between the electronic and the vibrational degrees of freedom within these systems. In order to conduct such studies with the particular focus of each appended paper, we simultaneously solve the time-dependent Schrödinger equation and the lattice equation of motion with a three-dimensional extension of the famous Su-Schrieffer-Heeger (SSH) model Hamiltonian. In particular, we demonstrate in Paper I the applicability of the method to model transport dynamics in molecular crystals in a region were neither band theory nor perturbative treatments such as the Holstein model and extended Marcus theory apply. In Paper II we expand the model Hamiltonian to treat the revolution of phenylene rings around the sigma-bonds and demonstrate the great impact of stochastic ring torsion on the intra-chain mobility in conjugated polymers using poly[phenylene vinylene] (PPV) as a model system. Finally, in Paper III we go beyond the original purpose of the methodology and utilize its great flexibility to study radiationless relaxations of hot excitons.
Report code: LiU-TEK-LIC-2007:4.
7
Neumann, Brittany M. "Mechanism of PTEN binding to model membranes." Digital WPI, 2018. https://digitalcommons.wpi.edu/etd-dissertations/176.
Full textAbstract:
PTEN (phosphatase and tensin homolog deleted on chromosome ten) is a potent tumor suppressor. PTEN’s tumor suppressor action is rooted in its phosphatase function on the lipid substrate phosphatidylinositol-(3,4,5)-trisphosphate (PI(3,4,5)P3). PTEN’s enzymatic activity is specific for the third position of the inositol headgroup. PI(3,4,5)P3 is a second messenger that is a part of the PI3K-Akt pathway, and its dysregulation leads to constitutively activated AKT. The result of AKT activation is cell cycle progression, motility, cell growth, and proliferation, and consequently, overaction leads to neoplastic growth and tumorigenesis. PTEN antagonizes this pathway by regulating PI(3,4,5)P3 population through its phosphatase activity which produces the lipid PI(4,5)P2 (phosphatidylinositol-(4,5)-bisphosphate). A result of PTEN’s function is that its activity must be localized at the PM (plasma membrane) since this is where its substrate resides. Additionally, the mole percent of the phosphoinositide family of lipids is small. From highest percent composition to lowest the phosphoinositide species in the PM rank as PI(4,5)P2 (~2%), PI(4)P (~1%), and PI(3,4,5)P3 (~0.02%). For PTEN to turn over its substrate, it must first translocate from the cytosol to the PM and then search through the plasma membrane for this rare but high in demand lipid. This is at the center of the scarcity paradox. This work explores how PTEN may overcome this paradox by using its multiple lipid binding domains to interact with multiple lipid partners to efficiently localize it toward a region with a high probability of having PI(3,4,5)P3. This hypothesis is tested using two kinetic methodologies. First, we use pre- steady state stopped-flow spectrometry to determine the rates that govern PTEN-lipid binding. Second, we use single-molecule total internal reflectance fluorescence (smTIRF) microscopy to resolve the diffusion coefficients and dwell times of bound PTEN on SLBs supported lipid bilayers (SLBs). We test PTEN against various lipid compositions to determine how the bilayer structure in addition to the chemistry of the lipid influences the enzyme’s binding. These compositions include PI(4,5)P2, PI phosphatidylinositol (PI), phosphatidylserine (PS), PI(4,5)P2/PI and PI(4,5)P2/PS. In addition to this kinetic work, we will also present a novel model membrane platform that takes advantage of a microfluidic device to develop lateral lipid gradients in SLBs. This microfluidic platform, in the future, will allow for the investigation of the dynamic behavior of proteins interacting with lipids but with a bilayer that has a structure recapitulating polarized membranes like in chemotaxing cells.
8
Preval, S. P., M. A. Barstow, N. R. Badnell, I. Hubeny, and J. B. Holberg. "Hot DA white dwarf model atmosphere calculations: including improved Ni PI cross-sections." OXFORD UNIV PRESS, 2017. http://hdl.handle.net/10150/623044.
Full textAbstract:
To calculate realistic models of objects with Ni in their atmospheres, accurate atomic data for the relevant ionization stages need to be included in model atmosphere calculations. In the context of white dwarf stars, we investigate the effect of changing the Ni IV-VI bound-bound and bound-free atomic data on model atmosphere calculations. Models including photoionization cross-section (PICS) calculated with AUTOSTRUCTURE show significant flux attenuation of up to similar to 80 per cent shortward of 180 angstrom in the extreme ultraviolet (EUV) region compared to a model using hydrogenic PICS. Comparatively, models including a larger set of Ni transitions left the EUV, UV, and optical continua unaffected. We use models calculated with permutations of these atomic data to test for potential changes to measured metal abundances of the hot DA white dwarf G191-B2B. Models including AUTOSTRUCTURE PICS were found to change the abundances of N and O by as much as similar to 22 per cent compared to models using hydrogenic PICS, but heavier species were relatively unaffected. Models including AUTOSTRUCTURE PICS caused the abundances of N/O IV and V to diverge. This is because the increased opacity in the AUTOSTRUCTURE PICS model causes these charge states to form higher in the atmosphere, more so for N/O V. Models using an extended line list caused significant changes to the Ni IV-V abundances. While both PICS and an extended line list cause changes in both synthetic spectra and measured abundances, the biggest changes are caused by using AUTOSTRUCTURE PICS for Ni.
9
Yevsieiev, V., and A. Skripkin. "Development of Architecture for Mobile Robot Control Based on Raspberry Pi Model 3 B+." Thesis, Scientific Publishing Center, 2022. https://openarchive.nure.ua/handle/document/20283.
Full textAbstract:
Modern robotics is impossible without the use of high-performance single-board computers, on the basis of which complex control systems can be implemented using computer vision, sensing systems, which make it possible to implement complex decision-making algorithms in a stochastic environment of a mobile robot using neural networks.
10
Fischer, Marco. "A Formal Fault Model for Component-Based Models of Embedded Systems." Doctoral thesis, Dresden : TUDpress, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2960240&prov=M&dok_var=1&dok_ext=htm.
Full text
11
Kuhn, Christoph. "A step-potential model for {pi}-electron systems : non-linear optical properties, and solitonic excitations /." Zürich, 1992. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=9749.
Full text
12
Vizitiu, Dragos. "Synthesis and binding characteristics of amino cyclodextrin biomimetics and an interfacial PI-PLC enzyme model." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ35983.pdf.
Full text
13
Kovalskyi, Dmytro. "Search for physics beyond the Standard Model using measurements of CP violating asymmetries in rare B decays B⁰->K⁰s pi⁰ and B⁰->Ks pi⁰ gamma /." College Park, Md. : University of Maryland, 2005. http://hdl.handle.net/1903/3208.
Full textAbstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2005.Thesis research directed by: Dept. of Physics. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
14
Ferm, Oliwer. "Real-time Object Detection on Raspberry Pi 4 : Fine-tuning a SSD model using Tensorflow and Web Scraping." Thesis, Mittuniversitetet, Institutionen för elektronikkonstruktion, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-39455.
Full textAbstract:
Edge AI is a growing area. The use of deep learning on low cost machines, such as the Raspberry Pi, may be used more than ever due to the easy use, availability, and high performance. A quantized pretrained SSD object detection model was deployed to a Raspberry Pi 4 B to evaluate if the throughput is sufficient for doing real-time object recognition. With input size of 300x300, an inference time of 185 ms was obtained. This is an improvement as of the previous model; Raspberry Pi 3 B+, 238 ms with a input size of 96x96 which was obtained in a related study. Using a lightweight model is for the benefit of higher throughput as a trade-off for lower accuracy. To compensate for the loss of accuracy, using transfer learning and tensorflow, a custom object detection model has been trained by fine-tuning a pretrained SSD model. The fine-tuned model was trained on images scraped from the web with people in winter landscape. The pretrained model was trained to detect different objects, including people in various environments. Predictions shows that the custom model performs significantly better doing detections on people in snow. The conclusion from this is that web scraping can be used for fine-tuning a model. However, the images scraped is of bad quality and therefore it is important to thoroughly clean and select which images that is suitable to keep, given a specific application.Användning av djupinlärning på lågkostnadsmaskiner, som Raspberry Pi, kan idag mer än någonsin användas på grund av enkel användning, tillgänglighet, och hög prestanda. En kvantiserad förtränad SSD-objektdetekteringsmodell har implementerats på en Raspberry Pi 4 B för att utvärdera om genomströmningen är tillräcklig för att utföra realtidsobjektigenkänning. Med en ingångsupplösning på 300x300 pixlar erhölls en periodtid på 185 ms. Detta är en stor förbättring med avseende på prestanda jämfört med den tidigare modellen; Raspberry Pi 3 B+, 238 ms med en ingångsupplösning på 96x96 som erhölls i en relaterad studie. Att använda en kvantiserad modell till förmån för hög genomströmning bidrar till lägre noggrannhet. För att kompensera för förlusten av noggrannhet har, med hjälp av överföringsinlärning och Tensorflow, en skräddarsydd modell tränats genom att finjustera en färdigtränad SSD-modell. Den finjusterade modellen tränas på bilder som skrapats från webben med människor i vinterlandskap. Den förtränade modellen var tränad att känna igen olika typer av objekt, inklusive människor i olika miljöer. Förutsägelser visar att den skräddarsydda modellen detekterar människor med bättre precision än den ursprungliga. Slutsatsen härifrån är att webbskrapning kan användas för att finjustera en modell. Skrapade bilder är emellertid av dålig kvalitet och därför är det viktigt att rengöra all data noggrant och välja vilka bilder som är lämpliga att behålla gällande en specifik applikation.
15
Kieu, Le Truong Van. "Container Based Virtualization Techniques on Lightweight Internet of Things Devices : Evaluating Docker container effectiveness on Raspberry Pi computers." Thesis, Mittuniversitetet, Institutionen för informationssystem och –teknologi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-42745.
Full textAbstract:
There currently does not exist a way for creating digital twins’information and transferring it between networks , but container-basedvirtualization could be a possible solution. One of those techniques isDocker, which is an engine to isolate a software and can bring benefits toimprove the workflow of software development. Making changes withDocker is very fast as it uses the copy-on-write model, it can containerizeapplications in minutes. This study will design a scenario with twodevices sending a data packet between each other to simulate theproblem. The results from the study is further investigate and analyze toanswer the question of whether the container-based virtualization can bea possible solution for creating digital twins. The result from the scenariois Docker works equal or worse when used with a low-cost computinghardware compared to a computing hardware. It is speculated that theresources used in the images is a factor that can affect the performance,but the hardware is also another factor that can affect it.Det finns för närvarande inget sätt att skapa digitala tvillingar ochöverföra den mellan nätverk, men containerbaserad virtualisering kanvara en möjlig lösning. En av containerbaserad virtualisering tekniker ärDocker, som är en motor för att isolera en programvara och kanframbringa fördelar för att förbättra arbetsflödet för programutveckling.Att göra ändringar med Docker är mycket snabbt tack vare användningav copy-on-write-modellen. Denna studie kommer att utforma ettscenario med två enheter som skickar ett datapaket mellan varandra fratt simulera överföringsprocessen. Mätresultat från studien bliranalyserad för att besvara frågan om containerbaserad virtualisering kanvara en möjlig lösning för att skapa och skicka digitala tvillingar.Resultatet från scenariot är att Docker fungerar lika eller sämre när detanvänds med en låg kostnad datorhårdvara jämfört med endatorhårdvara. Det spekuleras att resurserna som används i datapaketetär en faktor som kan påverka prestandan, men hårdvaran är också enannan faktor som påverkar det.
16
Samuel, Douglas B. "COMPARING PERSONALITY DISORDER MODELS: FFM AND DSM-IV-TR." Lexington, Ky. : [University of Kentucky Libraries], 2008. http://hdl.handle.net/10225/884.
Full textAbstract:
Thesis (Ph. D.)--University of Kentucky, 2008.Title from document title page (viewed on October 30, 2008). Document formatted into pages; contains: vi, 43 p. Includes abstract and vita. Includes bibliographical references (p. 33-39).
17
Wang, Xiaoyan. "Modeling and Implementation of Controller for Switched Reluctance Motor With Ac Small Signal Model." Thesis, Virginia Tech, 2001. http://hdl.handle.net/10919/35423.
Full textAbstract:
As traditional control schemes, open-loop Hysteresis and closed-loop pulse-width-modulation (PWM) have been used for the switched reluctance motor (SRM) current controller. The Hysteresis controller induces large unpleasant audible noises because it needs to vary the switching frequency to maintain constant Hysteresis current band. In contract, the PWM controller is very quiet but difficult to design proper gains and control bandwidth due to the nonlinear nature of the SRM. In this thesis, the ac small signal modeling technique is proposed for linearization of the SRM model such that a conventional PI controller can be designed accordingly for the PWM current controller. With the linearized SRM model, the duty-cycle to output transfer function can be derived, and the controller can be designed with sufficient stability margins. The proposed PWM controller has been simulated to compare the performance against the conventional Hysteresis controller based system. It was found that through the frequency spectrum analysis, the noise spectra in audible range disappeared with the fixed switching frequency PWM controller, but was pronounced with the conventional Hysteresis controller. A hardware prototype is then implemented with digital signal processor to verify the quiet nature of the PWM controller when running at 20 kHz switching frequency. The experimental results also indicate a stable current loop operation.Master of Science
18
Schneiderka, Dominik. "Autonomní vozidlo pro model dopravní situace." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2020. http://www.nusl.cz/ntk/nusl-413259.
Full textAbstract:
This thesis describes development of autonomous car for Carrera 143 racing track. Main objective of a car is to stop when traffic light shows red, or when there is an obstacle infront of a car. This paper also describes electric schemes used to control the car and their placement on the car. Algorithms developed for image processing are developed for processing unit Raspberry Pi Zero and are written in C/C++ programming language. OpenCV library is used for image processing. All source codes were developed in Microsoft Visual Studio 2019.
19
KIESI, MIKKO, and SJÖBLOM ROBERT AXELSSON. "Model based design of an expiratory valve and voice-coil actuator and evaluation of complete expiratory system performance with a PI controller." Thesis, KTH, Maskinkonstruktion (Inst.), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-193143.
Full textAbstract:
Mechanical ventilators are devices in critical care to assist breathing in case of expiratory dysfunction. The expiratory valve is a critical component to the ventilator as it controls the pressure in the patient’s lungs. The design process of a new expiratory valve assembly is a time consuming one due to the wide range of possible design solutions both the voice-coil actuators and membrane valves typically used in ventilators. This thesis evaluates the possibility of creating and using analytical models for model based development to speed up the early design phases of a expiratory valve assembly. The main components, voice-coil actuator and membrane valve are modelled separately and experimentally verified. A complete expiratory system model and hardware-in-the-loop test setup are constructed in order to explore how well can the dynamic properties and control performance of valve assembly be predicted. Finally various questions in the valve assembly design are explored and a new design is proposed to demonstrate the capabilities of the model based approach. The resulting voice-coil and membrane valve models can be considered accurate enough for fast exploration of the design space, as an error rate below 10% is reached without manual tuning for each design.Mekaniska ventilatorer är en utrustning inom intensivvården för assisterad andning för patienter med nedsatt andningsförmåga. Utandningsventilen är en kritisk komponent till ventilatorn då den kontrollerar lungtrycket hos patienten. Design processen för en ny utandningsventil är en tidskrävande process mycket på grund av den mängd olika design möjligheter som kan utforskas för både talspole aktuatorn samt membran ventilen som oftast används i ventilatorerna. I detta examensarbete utforskades möjligheterna till att skapa och använda analytiska modeller för modellbaserad utveckling för att accelerera de tidiga design stadierna för en utandningsventil. Huvudkomponenterna, talspole aktuatorn och membran ventilen är modellerade separat och experimentellt verifierade. En fullständig modell för hela utandningssystemet samt en hardware-in-the-loop test plattform är konstruerad för att utforska hur väl de dynamiska egenskaperna samt kontroll prestandan för en utandningsventil kan prediceras. Slutligen utforskas diverse frågor angående ventil designen och en ny design föreslås för att demonstrera möjligheterna med en modellbaserad metod. Den slutliga modellen för både talspole aktuatorn och membran ventilen kan betraktas som tillräcklig precisa för snabb utforskning inom de olika design möjligheterna, då en felprocent under 10% är uppnådd utan manuell finjustering för varje design.
20
Oliveira, Matheus Canuto. "Análise e implementação de um sistema de controle para regulação das taxas de glicose em um modelo de paciente com Diabetes tipo 1." Pós-Graduação em Engenharia Elétrica, 2018. http://ri.ufs.br/jspui/handle/riufs/7523.
Full textAbstract:
The need to have mechanisms and Technologies for the control of blood glucose levels
is essential for people who have diabetes of any type. This disease still has no cure and is
one of the main risk factors for cardiovascular diseases, such as heart attack, stroke, renal
complications etc. The number of diabetic people in the world and in Brazil is alarming,
in addition, Brazilians occupy the fourth place in the world ranking according to the last
survey of the year, 2015, made by the International Diabetes Federation (IDF). Several
studies has been conducted in order to obtain the best glycemic control of people with
diabetes, one of the current forms of control under investigation is the development of an
artificial pancreas. Through the union of three systems: glucose monitoring system,
control algorithm and actuator system through an insulin infusion pump, it is possible to
obtain efficient results in glycemic control as they already have studies. This work
consists of developing a prototype of a low-cost and low-power embedded control
system, Hardware in Loop (HIL), based on Arduino nano microcontroller, which can
control the blood glucose level of a model of a type 1 diabetes patient, considering some
perturbations and noises, using the Kalman filter as estimator. The results obtained with
the implementation of the controller are analyzed in order to obtain a better performance.A necessidade de ter mecanismos e tecnologias para o controle dos níveis de glicose no sangue é essencial para pessoas que possuem diabetes de qualquer tipo, visto que esta é uma doença que ainda não possui cura e é um dos principais fatores de riscos para doenças cardiovasculares, como infarto, AVC, complicações renais e etc. O número de pessoas diabéticas no mundo e no Brasil é alarmante, além disso, tem-se que os brasileiros ocupam o quarto lugar no ranking mundial de acordo com o último levantamento no ano de 2015 feito pela International Diabetes Federation (IDF). Vários estudos têm sido realizados no intuito de obter o melhor controle da glicemia de pessoas com diabetes, uma das formas de controle que está sendo pesquisada atualmente é o desenvolvimento de um pâncreas artificial. Através da união de três sistemas, sendo estes: o de monitoramento da glicemia, o de algoritmo de controle e o de atuador através de bomba de infusão de insulina, é possível que sejam obtidos resultados eficientes no controle da glicemia como já têm mostrado alguns estudos. Este trabalho consiste em desenvolver um protótipo de um sistema de controle embarcado, Hardware in Loop (HIL), baseado no microcontrolador nano Arduino, de baixo custo e de baixo consumo de energia que possa controlar o nível de glicose no sangue de um modelo de um paciente com diabetes tipo 1, considerando algumas perturbações e ruídos, utilizando o filtro de Kalman como estimador. Os resultados obtidos com a implementação do controlador são analisados buscando a obtenção de um melhor desempenho.
São Cristóvão, SE
21
Dyntar, Ladislav. "Analýza, výběr a zavedení CPM řešení pro malou firmu." Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162584.
Full textAbstract:
This thesis is devoted to the modern management concept of Corporate Performance Management (CPM, enterprise performance management) and its implementation in selected small company. The first part focuses on the description of the concept of CPM and its individual components (processes, methodologies, metrics and applications). The theoretical part also deals with selected implementation procedures and available CPM maturity models. In the second part a particular small company is introduced to the reader, together with its activities, organizational structure and the reasons behind their interest in CPM. It is then followed by an analysis of the company, its CPM maturity and proposed steps for CPM implementation. These steps are based on the framework presented in this work, which was created by combining different approaches to CPM implementation and available CPM maturity model. The third part, devoted to the implementation of CPM, starts with an analysis of the CPM in the cloud market, followed by a review of two selected solutions. To select the appropriate application, a multi-criterion model is created. The description of actual implementation, and evaluation of its results are included in the last chapter.
22
Mamidi, Sai Prakash, and Yogitha Manasa Ummadisetty. "Investigating and Deploying an AI model on Raspberry Pi IoT platform using FIWARE and Docker in the context of the Bonseyes AI Ecosystem." Thesis, Blekinge Tekniska Högskola, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-18418.
Full textAbstract:
Many high-end sophisticated devices are being replaced by small single-board IoT devices. It is estimated that by the year 2025 there will be about 75 billion IoT connected devices worldwide. This project buttresses the earlier statements. The project will be focused on how to deploy a complex AI face-recognition model on a simple, less power consumption, single-board IoT device Raspberry Pi3. Also, to simplify the whole process of deploying the AI model on Raspberry Pi3 by dockerizing. By just pulling the respective docker image and running it on the end device (Raspberry Pi3), we can make face recognition happen. Finally, the obtained results will be sent to the cloud (Fiware) using NGSI API. Instead of sending the whole video feed to the Cloud platform and performing the computing there, we managed to perform the computing at the edge and then send the results to the cloud and making the results accessible to requested users.
23
Kupka, Ondřej. "Chladící jednotka pro projekt Barman." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2020. http://www.nusl.cz/ntk/nusl-413270.
Full textAbstract:
The aim of this master’s thesis was to create cooling unit which will became part of project Barman. Thesis describe process from definition of requirements, proposal, selection of components, PI and D diagram and in the last chapter the construction work. In the second part describe design of cooling unit’s model and simulation of cooling process. The last part of the thesis is describing software of the cooling unit and tis results.
24
Haapaniemi, Jan-Erik. "Personlighetsdimensionerna i femfaktormodellen och möjligheten att predicera upplevd stress." Thesis, Högskolan Kristianstad, Sektionen för lärande och miljö, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:hkr:diva-16353.
Full textAbstract:
Det finns individuella skillnader i hur vi påverkas av stress och ett sätt att identifiera skillnaderna är att undersöka hur personlighetsdrag predicerar upplevd stress. Detta kan tillämpas vid rekrytering till yrken med särskilda krav på stresstålighet. Lazarus transaktionsmodell är ledande inom stressforskning och inom personlighetsteorier representerar femfaktormodellens (FFM) neuroticism, extraversion, öppenhet, samstämmighet och samvetsgrannhet de grundläggande personlighetsdragen. Enligt tidigare forskning utgör neuroticism en särskild sårbarhet för stress. Tre hypoteser prövades och undersökningens syftet var att predicera hur personligheten påverkar benägenheten att uppleva stress utifrån FFM, på dimensions- och facettnivå, samt att undersöka skillnader i upplevd stress beroende på kön. Etthundratolv studenter svarade på en enkät innehållande NEO-PI-R som mäter personlighetsdimensionerna samt Perceived Stress Scale (PSS) som mäter upplevd stress. Korrelationsanalyser, t-test och hierarkiska multipla regressioner gjordes. Hypoteserna om neuroticism och stress får stöd i resultatet men inte hypotesen om kön och stress. Oväntade resultat beträffande andra personlighetsdimensioner framkommer och möjliga orsaker till detta diskuteras.
25
Veronesi, Michele. "Measurement of $D^{0}-\overline{D}^{0}$ mixing and search for CP violation in $D^{0}\toK^{\pm}\pi^{\mp}$ decays at LHCb." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13439/.
Full textAbstract:
The oscillations of neutral mesons are a manifestation of the fact that mass eigenstates are a superposition of flavour eigenstates. Since they belong to the class of \textit{flavour changing neutral current} processes, they cannot be mediated at tree level in the Standard Model and thus constitute a powerful probe of new physics at high energy scales. Violation of the charge-parity symmetry may lead to different mixing rates for a particle produced as a meson or as an anti-meson. The observation of large CP asymmetries would also be a hint of physics beyond the Standard Model.
The LHCb experiment, located at the Large Hadron Collider at CERN, has been designed to perform precision measurements of the decays involving the \textit{beauty} and \text{charm} quark. In charm physics, the LHCb experiment realized important measurements, such as the first observation of neutral charmed mesons oscillations ($D^0$) from a single measurement. Here, oscillations are suppressed and CP violation is expected to be tiny ($\sim\mathcal{O}(10^{-3})$) within the SM.
This thesis aims to measure the charm mixing parameters and search for CP violation with the decay-time-dependent ratio of $D^0\to K^+\pi^-$ to $D^0\to K^-\pi^+$ rates and charge conjugate processes. The datasets used in the analysis were recorded by LHCb during 2015 and 2016 in proton-proton collisions at $\sqrt{s}=13\,\text{TeV}$, corresponding to an integrated luminosity of $0.3\text{fb}^{-1}$ and $1.6\text{fb}^{-1}$, respectively. In the limit of CP symmetry, the mixing parameters are determined to be $x'^2=(0.100\pm 0.027 \pm 0.010)\times 10^{-3}$, $y'=(4.086\pm 0.52 \pm 0.20)\times 10^{-3}$ and $R_{D}=(3.553\pm 0.031\pm 0.010)\times 10^{-3}$, where the first uncertainty is statistical and the second systematic, respectively. When the measurement is performed separately for $D^0$ and $\Dzb$ mesons, there is no evidence for CP violation.
26
Jiruška, Jiří. "Návrh a řízení samobalancujícího robotu." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2016. http://www.nusl.cz/ntk/nusl-240791.
Full textAbstract:
This thesis deals with complete design and manufacturing of autonomous two wheeled self-balancing robot. The goal of this thesis is to maintain the robot in up-right position and to follow black line using camera. The robot is controlled using Raspberry Pi and driven by DC motors. This thesis includes the design and implementation of hardware and software parts. Subsequently there was created the dynamic model in Matlab/Simulink. Based on this model, the LQR and PID controller was designed.
27
Pace, Victoria L. "Creative Performance on the Job: Does Openness to Experience Matter?" [Tampa, Fla.] : University of South Florida, 2005. http://purl.fcla.edu/fcla/etd/SFE0001171.
Full text
28
Hoshmeh, Abdullah, and Uwe Schmidt. "A Full Frequency-Dependent Cable Model for the Calculation of Fast Transients." Universitätsbibliothek Chemnitz, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-228649.
Full textAbstract:
The calculation of frequency-dependent cable parameters is essential for simulations of transient phenomena in electrical power systems. The simulation of transients is more complicated than the calculation of currents and voltages in the nominal frequency range. The model has to represent the frequency dependency and the wave propagation behavior of cable lines. The introduced model combines an improved subconductor method for the determination of the frequency-dependent parameters and a PI section wave propagation model. The subconductor method considers the skin and proximity effect in all conductors for frequency ranges up to few megahertz. The subconductor method method yields accurate results. The wave propagation part of the cable model is based on a cascaded PI section model. A modal transformation technique has been used for the calculation in the time domain. The frequency-dependent elements of the related modal transformation matrices have been fitted with rational functions. The frequency dependence of cable parameters has been reproduced using a vector fitting algorithm and has been implemented into an resistor-inductor-capacitor network (RLC network) for each PI section. The proposed full model has been validated with measured data.
29
Papponi, Tommaso. "Sviluppo, implementazione e verifica sperimentale di un sensore di sole basato sulla piattaforma Raspberry." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/24891/.
Full textAbstract:
Tra i possibili riferimenti per la determinazione d’assetto, nei satelliti viene spesso sfruttata la linea di direzione del sole, rilevata e stimata attraverso un apposito dispositivo. Nel presente lavoro di tesi viene descritto lo sviluppo e la validazione di un sensore di sole digitale a basso costo, basato su un microcontrollore ed una fotocamera CMOS, entrambi di Raspberry Pi. Il prototipo, progettato durante il tirocinio curriculare, è stato ottimizzato con scopo finale l’integrazione nel banco prova Alma-Test Bed, sviluppato all’interno dell’Università di Bologna per la validazione di sistemi di controllo d’assetto per nanosatelliti.
Nella prima parte del documento, partendo dai cenni teorici che stanno alla base del funzionamento di un sensore di sole digitale, vengono descritte le strutture hardware e software di un sensore di sole basato su una camera e un microcontrollore Raspberry Pi e sono, inoltre, descritti il montaggio e il primo tuning del prototipo.
La seconda parte è, invece, incentrata sulla validazione sperimentale del sensore attraverso test di ripetibilità iterativi. Attraverso la selezione di un’opportuna distanza focale, viene garantito un FOV di 88° gradi sull’asse di imbardata e di 71° sull’asse di beccheggio. Attraverso i test su un banco prova basato su una fonte di luce collimata, è stato verificato che gli errori nella determinazione delle rotazioni sul piano perpendicolari alla fonte di luce sono inferiori a 0.32°.
30
Čamaj, Peter. "Stabilizační a autopilotní systém pro RC model letadla." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-221051.
Full textAbstract:
The master thesis deals with design and realization of stabilizing and autopilot system, which is used in radio controlled model planes. The thesis contains a proposal of hardware platform, which is able to control the plane model based on data measured from a sensor system. Moreover, this thesis describes a software implementation of individual modules, which is measured the onboard values. The basic principles of stabilization and autonomous flight control are also summarized. In conclusion, the system is subjected to flight tests.
31
Dantas, Andr? Felipe Oliveira de Azevedo. "Identifica??o e compara??o entre controle preditivo com modelo n?o linear e PI sintonizados com PSO em sistema de separa??o gravitacional de ?guia-?leo." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18571.
Full textAbstract:
Made available in DSpace on 2015-03-03T15:07:34Z (GMT). No. of bitstreams: 1
AndreFOAD_DISSERT.pdf: 2002320 bytes, checksum: 0ebf2e7fb75a8ce59284dc72a43ef7ba (MD5)
Previous issue date: 2012-05-18The separation methods are reduced applications as a result of the operational costs, the low output and the long time to separate the uids. But, these treatment methods are important because of the need for extraction of unwanted contaminants in the oil production. The water and the concentration of oil in water should be minimal (around 40 to 20 ppm) in order to take it to the sea. Because of the need of primary treatment, the objective of this project is to study and implement algorithms for identification of polynomial NARX (Nonlinear Auto-Regressive with Exogenous Input) models in closed loop, implement a structural identification, and compare strategies using PI control and updated on-line NARX predictive models on a combination of three-phase separator in series with three hydro cyclones batteries. The main goal of this project is to: obtain an optimized process of phase separation that will regulate the system, even in the presence of oil gushes; Show that it is possible to get optimized tunings for controllers analyzing the mesh as a whole, and evaluate and compare the strategies of PI and predictive control applied to the process. To accomplish these goals a simulator was used to represent the three phase separator and hydro cyclones. Algorithms were developed for system identification (NARX) using RLS(Recursive Least Square), along with methods for structure models detection. Predictive Control Algorithms were also implemented with NARX model updated on-line, and optimization algorithms using PSO (Particle Swarm Optimization). This project ends with a comparison of results obtained from the use of PI and predictive controllers (both with optimal state through the algorithm of cloud particles) in the simulated system. Thus, concluding that the performed optimizations make the system less sensitive to external perturbations and when optimized, the two controllers show similar results with the assessment of predictive control somewhat less sensitive to disturbances
Os m?todos de separa??o de ?leo e ?gua possuem, em sua maioria, aplica??es reduzidas devido ao custo operacional, a baixa efici?ncia de separa??o e ao alto tempo de processamento da separa??o. Por?m, Esses m?todos de tratamento s?o importantes devido a necessidade de extra??o dos contaminantes mais indesejados no processo de produ??o do petr?leo, a ?gua, e ao mesmo tempo, a concentra??o de ?leo na ?gua deve ser m?nima (da ordem de 40 a 20ppm) para o descarte regular da fase aquosa ao mar. A partir dessa necessidade de tratamento prim?rio objetiva-se, neste trabalho, estudar e implementar algoritmos de identifica??o para modelos polinomiais NARX em malha fechada, detectando a estrutura dos modelos, e comparar estrat?gias de controle PI e preditivo utilizando os modelos NARX (Nonlinear Auto-Regressive with Exogenous Input) atualizados online em uma combina??o de separador trif?sico em s?rie com tr?s baterias de hidrociclones. Os objetivos principais deste trabalho s?o obter um processo otimizado de separa??o trif?sica que regule o sistema, mesmo na presen?a de golfadas; mostrar que e poss?vel obter sintonias otimizadas para os controladores analisando a malha como um todo; e, avaliar e comparar as estrat?gias de controle PI e preditivo aplicadas ao processo. Para cumprir estes objetivos foi utilizado um simulador para representar o separador trif?sico e os hidrociclones, al?m de desenvolvidos algoritmos de identifica??o de sistemas (NARX) utilizando MQR (M?nimos Quadrados Recursivo), aliados a m?todos de detec??o de estrutura de modelos. Tamb?m foram implementados algoritmos de controle preditivo com modelos NARX atualizados online, e algoritmos de otimiza??o que utilizam PSO (Particle Swarm Optimization). O trabalho finaliza com a compara??o de resultados obtidos a partir da utiliza??o dos controladores PI e preditivo no sistema simulado ambos com par?metros otimizados atrav?s do algoritmo de nuvem de part?culas, e concluindo que as otimiza??es realizadas tornam o regulat?rio menos sens?vel a perturba??es externas (golfadas) e quando otimizados os dois controladores apresentam resultados similares, sendo os resultados do preditivo um pouco menos sens?vel as perturba??es
32
Hoshmeh, Abdullah, Uwe Schmidt, and Akif Gürlek. "Investigations on the Developed Full Frequency-Dependent Cable Model for Calculations of Fast Transients." MDPI AG, 2018. https://monarch.qucosa.de/id/qucosa%3A31827.
Full textAbstract:
The knowledge about the behavior of cables is substantial in cases of transients or in cases of faults. However, there are only a few models that are tailored to the current requirements for calculations of transient phenomena in three-phase cable systems. These models are based on complex structures. PI-section cable models with simple structures were previously qualified only for calculations in the frequency domain. A new full frequency-dependent cable model to simulate transient phenomena is introduced and validated. The model is based on lumped parameters with cascaded frequency-dependent PI-sections. For the implementation and the integration in simulation tools, it is important to investigate the impact of the PI-section parameters to the accuracy, the stability and the mathematical robustness. In this work, the impact of the frequency dependence of cable parameters, the length distribution and the number of PI-sections on the results of the developed three-phase cable model have been discussed. For simulations in the time domain, two algorithms have been presented to optimize the number of PI-sections based on a specified accuracy.
33
Mirabella, Mirko. "Implementazione software-defined radio di sistemi di telecomunicazione digitali." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017.
Find full textAbstract:
In questo elaborato di tesi viene presentata la progettazione e l’implementazione su hardware di sistemi di telecomunicazione digitali, applicando il paradigma della Software Defined Radio. Questo tipo di approccio offre notevoli vantaggi in termini di flessibilità, costi e tempi per la realizzazione dei sistemi di interesse. Ulteriore elemento innovativo è rappresentato dall’utilizzo della metodologia di sviluppo Model Based Design. Questo tipo di progettazione permette di sviluppare il software non più utilizzando i classici linguaggi di programmazione, come il C o il VHDL, ma interconnettendo, all'interno di un opportuno ambiente di lavoro, blocchi funzionali che eseguono specifiche operazioni. Tutti i progetti proposti sono stati sviluppati in ambiente MATLAB/Simulink, grazie al quale è stato possibile programmare dispositivi Raspberry Pi 2 Model B e FPGA. Oltre alla realizzazione di sistemi dedicati a scopi didattici, verranno descritte anche le funzionalità che Simulinik offre per applicazioni professionali. In particolare, si darà risalto alla generazione automatica di codice VHDL, sulla base del modello progettato in Simulink di un trasmettitore digitale satellitare di seconda generazione.
34
Le, Bourlot Jacques. "Calcul de probabilites de transition d'intercombinaison entre les etats x **(1)sigma ::(g)**(+) et a **(3)pi ::(v) de c::(2) carbone moleculaire : application a l'equilibre de c::(2) dans les nuages interstellaires diffus." Paris 7, 1987. http://www.theses.fr/1987PA077128.
Full text
35
Novitchi, Dumitru. "Uživatelské rozhraní pro adaptivní RCL modul." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-377134.
Full textAbstract:
The purpose of this thesis is to create an simple graphic library in the programming C language, through which it will be possible to draw and simulate the basic functions of a car backlight, and subseguently to create the graphic user interface.v The first part of the thesis is based on the study of the given issue, briefly it describes the differences between raster and vector graphics,most used formats, describes diverse color models and the area of their use, ,basic graphic adapters, video memorry and its control in the operating system Linux. In the second part there is stated the practical realization of the basic graphic algorithms needed for drawing the algorithm primitives. An mathematical aparatus described in detail and well-founded with formulas. Also there are the advantages and disatvantages of each used algorithm and their realization in the programming C language. The 3rd and the last part of the thesis is dedicated to the creation of the graphic user interface in the FreePascal programming language and further to the describtion of his main elements.
36
Náhlík, Ondřej. "Speciální bezpečnostní systém." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2015. http://www.nusl.cz/ntk/nusl-221221.
Full textAbstract:
This master’s thesis is focused on design and realisation of special security system for space and property protection. System is devided into two parts, transmitting and receiving. Transmitting part is formed by Raspberry Pi Model B+, motion sensor, webcam and USB LTE modem Huawei E398. Receiving part consists of computer with suitable application for communication with FTP server. Data transfer in mobile systems is described in the first part of this thesis, transmitting part is designed in the second part. There is one transmitting option chosen in the third part and there are also described applications of the transmitting part. The last part of this thesis is focused on the receiving part and its application.
37
Chaiwan, Pramote. "NEW ACCURATE FAULT LOCATION ALGORITHM FOR PARALLEL TRANSMISSION LINES." UKnowledge, 2011. http://uknowledge.uky.edu/gradschool_diss/813.
Full textAbstract:
Electric power systems have been in existence for over a century. Electric power transmission line systems play an important role in carrying electrical power to customers everywhere. The number of transmission lines in power systems is increasing as global demand for power has increased. Parallel transmission lines are widely used in the modern transmission system for higher reliability. The parallel lines method has economic and environmental advantages over single circuit. A fault that occurs on a power transmission line will cause long outage time if the fault location is not located as quickly as possible. The faster the fault location is found, the sooner the system can be restored and outage time can be reduced.
The main focus of this research is to develop a new accurate fault location algorithm for parallel transmission lines to identify the fault location for long double-circuit transmission lines, taking into consideration mutual coupling impedance, mutual coupling admittance, and shunt capacitance of the line.
In this research, the equivalent PI circuit based on a distributed parameter line model for positive, negative, and zero sequence networks have been constructed for system analysis during the fault. The new method uses only the voltage and current from one end of parallel lines to calculate the fault distance. This research approaches the problem by derivation all equations from positive sequence, negative sequence, and zero sequence network by using KVL and KCL. Then, the fault location is obtained by solving these equations. EMTP has been utilized to generate fault cases under various fault conditions with different fault locations, fault types and fault resistances. Then the algorithm is evaluated using the simulated data. The results have shown that the developed algorithm can achieve highly accurate estimates and is promising for practical applications.
38
Pavlišin, Tomáš. "Řízení a monitorování klimatu ve skupinách terárií." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2017. http://www.nusl.cz/ntk/nusl-316387.
Full textAbstract:
The aim of this master thesis is to propose a system for monitoring and regulating the climate in groups of terrariums using the Raspberry Pi platform and subsequent transparent display through the web server. Each group of terrariums has its own control device that wirelessly communicates with the Raspberry Pi control computer. The measured values are stored in the MySQL database on the control computer. The measured values are graphically displayed on the web page.
39
Sláma, Ondřej. "Vzdušný hokej - strojové vidění a herní strategie." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2020. http://www.nusl.cz/ntk/nusl-416671.
Full textAbstract:
The aim of this diploma thesis is to implement a robotic air hockey table in cooperation with the work of Dominik Jašek [37] . Specifically, the work deals with the implementation of simulation software that models behavior of robotic air hockey table, designing a game strategy for the robot and detecting position of a puck situated on the playing field. In addition, the work was extended by integrating said software modules under one control application and creating a user interface for controlling and managing all the functionalities of the robotic table through a capacitive touch screen.
40
Kozovský, Matúš. "Internetové ovládání modelu pomocí PLC a Raspberry-Pi." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2015. http://www.nusl.cz/ntk/nusl-221297.
Full textAbstract:
This work deals with the possibility of remote programming of industrial devices like PLCs or HMIs and other devices of similar aim, as well as the possibility of remote monitoring of their status. The work also includes an overview of usable tools for this purpose, possible settings and rough overview of possibilities of available HW. There is also a basic proposal of developed system for programming and monitoring, with all essential parts. This work also includes a description of the implementation of the necessary programs subsequently testing them. Furthermore, the measurement results evaluated the whole solution was tested on real examples.
41
Beaulieu, Guy. "Finding presheaf models for the finite pi-calculus." Thesis, University of Ottawa (Canada), 2002. http://hdl.handle.net/10393/6206.
Full textAbstract:
This thesis provides a fully-abstract (set theoretical) model for the finite pi-calculus with respect to late-bisimulation and late-equivalence relations. This is achieved by amalgamating the works by M. P. Fiore, E. Moggi and D. Sangiorgi, and I. Stark. In their respective works the authors construct categorical models, and define a meta-language in which the finite pi-calculus can be interpreted. We discuss the general properties a categorical model should satisfy to be considered an appropriate model for the finite pi-calculus. In particular, I show that the categorical model based on the syntax provides a fully abstract model for the finite pi-calculus. Finally, I include all the details of the model which were often omitted by the above authors. We extend the discussion by examining alternative categorical constructs for the model of the finite pi-calculus, for example we use doubly closed categories which are a main focus of Bunched Logic by P. W. O'Hearn and D. J. Pym.
42
Jang, Yong-Kyu. "ADVANCED UNDERSTANDING OF THE OPTICAL PROPERTIES IN PHASE COMPENSATED LIQUID CRYSTAL DEVICES." Kent State University / OhioLINK, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=kent1185484614.
Full text
43
Hadzima, Jaroslav. "Algoritmy hlubokého učení na embedded platformě." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2019. http://www.nusl.cz/ntk/nusl-400703.
Full textAbstract:
Táto práca popisuje v súčastnosti široko používané architektúry a modely pre Hlboké Učenie, riešiace úlohu detekcie a klasifikácie objektov vo videu. Dôraz tu bude kladený na ich použiteľnosť na vstavaných zariadeniach. Postupne preberieme kroky a odvôvodňovanie pri výbere najlepšieho vstavaného systému pre našu aplikáciu. Ukážková aplikáci pozostáva hlavne z detekcie vozidiel a detekcie voľných parkovacích miest s využitím algoritmov Hlbokého Učenia. Táto aplikácia umožňuje monitorovať počet vozidiel, nachádzajúcich sa na parkovisku a zároveň rozhodnúť, či sa nachádzajú na prakovacom mieste alebo nie. Následne tu budú prebrané kroky nutné ku konfigurácii zariadenia s dôrazom na optimalizáciu hardvéru pre dosiahnutie čo najväčšej rýchlosti. V ďaľšej časti bude poskytnuté porovnanie vybraných modelov, ktoré budú porovnávané hlavne v kategóriách ako rýchlosť alebo F1 skóre. Najlepší kandidát bude použitý na riešenie našej aplikácie a následné testovanie jej vlastností s názvom Inteligentné parkovisko.
44
Paes, Jose Tadeu de Souza. "Aplicação do modelo de Chou-Yang ao espalhamento elástico [pi] - p." [s.n.], 1985. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278067.
Full textAbstract:
Orientador: Jose Bellandi FilhoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin
Made available in DSpace on 2018-07-15T00:18:26Z (GMT). No. of bitstreams: 1 Paes_JoseTadeudeSouza_M.pdf: 1210994 bytes, checksum: 4ab629269bccd716193e0df2c539f815 (MD5) Previous issue date: 1985
Resumo: Faz-se um estudo do espalhamento elástico p-p no intervalo de energia 5,15 £ Ös £ 19,3 GeV. Através de um ajuste dos dados experimentais da seção de choque elástica calcula-se, aplicando o modelo de Chou-Yang, o fator de forma e o raio quadrático médio do p- comparando-os com os dados experimentais
Abstract: p-p elastic differential scattering data, in the interval 5.15 £ Ös £ 19.3 GeV, have been analyzed using the model of Chou-Yang. From the adjusted experimental data to the calculated curve of the model, values of the form factor and average square radius of the negative pion have been obtained.
Mestrado
Física
Mestre em Física
45
Dumont, Cyril. "Système d'agents mobiles pour les architectures de calculs auto-adaptatifs." Thesis, Paris Est, 2014. http://www.theses.fr/2014PEST1016/document.
Full textAbstract:
Ce travail appartient au domaine de la simulation numérique sur des plates-formes d'exécution distribuées hétérogènes telles que des grilles de calcul. Ce type de plate-forme se caractérise par des possibles changements de condition d'exécution et par une probabilité importante de défaillance de certains composants. Une application qui s'exécute dans un tel environnement se doit d'être adaptable à son contexte d'exécution et tolérante aux pannes. Face à la complexité croissante de la mise en place de cas de calcul sur des grilles de calcul, nous proposons une plateforme logicielle pour la résolution de cas de calcul numérique dans un environnement distribué hétérogène. Nos travaux apportent une solution qui se base sur un système d'agents mobiles, ce qui permet à une application de s'adapter au changement de son environnement d'exécution. Dans un premier temps, nous utilisons le langage pi calcul d'ordre supérieur pour spécifier une « ferme de travailleurs » capable de participer à la résolution de tout type de cas de calcul. Ensuite, nous énonçons des propriétés qui caractérisent le bon fonctionnement de ce système avec une logique temporelle TCTL. Pour cela, nous souhaitons modéliser notre système à l'aide d'automates temporisés à partir des termes définis par la spécification formelle en pi calcul. Dans ce but, nous définissons une transformation de termes écrits en pi calcul en automates temporisés. Les propriétés sont alors vérifiées avec l'outil UppAal. Pour valider ce travail de modélisation, nous avons réalisé le framework MCA (pour Mobile Computing Architecture). Celui-ci propose un ensemble d'outils facilitant la mise en place de composants sur un environnement distribué hétérogène dans le but d'effectuer la résolution de cas de calcul. La librairie avec laquelle sont développés ces composants, qu'ils soient mobiles ou non, est implantée en Java et se base les technologies Jini et JavaSpaces. Enfin, nous réalisons l'évaluation du framework MCA en procédant à la résolution de trois cas de calcul différents. Chacune de ces expériences, réalisées sur une grappe de 20 noeuds, nous permet de montrer les caractéristiques essentielles de notre framework : une simplicité de programmation, un faible surcoût en temps d'exécution sans l'activation de la tolérance aux pannes et une tolérance aux pannes efficaceThis work belongs to the domain of numerical simulation on heterogeneous distributed platforms such as grids. This type of platform is characterized by possible changes in execution conditions and a significant probability of some components failure. An application running in such an environment must be adaptable to its execution context and fault tolerant. Facing the growing complexity of implementing computation cases on grid computing, we propose a software platform which solves numerical computation cases in a distributed heterogeneous environment. Our work provides a solution based on a mobile agent system, which allows an application to adapt to change in its execution environment. At first, we use the higher-order pi calculus language to specify a « farm of workers » able to take part in solving any type of computation case. Then we set the properties that characterize the system's correct execution with a temporal logic TCTL. In order to do this, we perform a temporal modeling system based on terms defined by the formal specification in pi calculus. To achieve this transformation, we define a translation of terms written in pi calculus into timed automata. The properties are verified with the UppAal tool. To validate this modeling work, we develop the MCA (for Mobile Computing Architecture) framework. It offers a set of tools which facilitate the implementation of distributed heterogeneous components in order to solve computation cases. These components, mobile or not, are developed with a library written in Java and which uses Jini and JavaSpaces technologies. Finally, our framework is evaluated through the resolution of three different computation cases. Each of these experiments, performed on a 20 node cluster allow us to highlight our framework's main characteristics : programming simplicity, low overhead in execution time without the fault tolerance activation and efficient fault tolerance
46
Al-Karooni, Dhia Mohsen. "The transfer of modal content in translation." Thesis, University of Glasgow, 1996. http://theses.gla.ac.uk/1274/.
Full textAbstract:
The present thesis seeks to examine the grammatico-pragmatic problem of translating modality from English into Arabic (two formally and genetically different languages) and vice versa, with the aim of suggesting tentative ways that would tackle such a problem for the Arab translator who finds himself/herself in a situation where only specific choices of TL modal expressions would make the translation acceptable. Translating is regarded, here, as an overall operation performed on two languages - an operation based on a systematic comparison of two linguistic systems and the functions they each perform at a higher level. It is taken to mean a code-switching operation, which implies that a sequence of symbols from one language is substituted for a sequence of symbols in another. This code-switching always operates as a chain with an intervening time occupied by a segment of interpretation during which the intended content is transferred into the target language by the translator. In this study, use is made of concepts and terminology provided by linguistics and translation theory, both of which deal with language as a communicative activity. The research conducted here deals with translation between Arabic and English, with special focus on modality as a linguistic as well as a cultural strategy of communication. Therefore, modality can be constructed in the TL only through overall translation by interpretation where equivalence becomes the translator's memory rather than his/her dictionary. Here, the overall process of translating the modal content thrives best by freeing itself from surface constraints, i.e. constraints imposed by the surface structure of the source text.
47
Grimm, Stephan. "Theoretische Untersuchung von pi-Bindungssystemen im Restricted Open Shell Kohn-Sham-Modell." Diss., lmu, 2005. http://nbn-resolving.de/urn:nbn:de:bvb:19-47476.
Full text
48
Zacpal, Michal. "Monitorování dopravní situace s využitím Raspberry PI." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2015. http://www.nusl.cz/ntk/nusl-221265.
Full textAbstract:
This thesis describes the design and subsequent implementation of a unit for traffic monitoring using Raspberry PI. First section provides a quick overview of assistance systems, which use a road lane detection techniques. Next there is a description of two diferent methods for road lane detection. Follow the description of monitoring scene. Then the work describe the practical part including the design and realization of supporting electronics, selecting of each components, including the modifying of cameras, mechanical design and creating of unit. Another section is about selection and installation of appropriate software components necessary for running of the unit and the selection of development tools for creating user application. After description of graphical user interafce, there is a description of road lanes detection algorithm. At the end of the thesis is summarized a reliability of unit in real traffic situation. At the appendix there are technical drawings, describing the unit.
49
Fryč, Martin. "Ovládání robota s Ackermannovým podvozkem." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363743.
Full textAbstract:
In this paper is described creation of a robot in Robot Operating system (ROS) withAckermann steering. It contains the principle of Ackermann steering geometry, search ofcontroller boards and basics of ROS structure. A RC car with connected PixHawk controlleris used as a basis of the robot. On the robot is placed an onboard computer Raspberry Pi3 with running ROS. This computer is connected to a laptop through Wi-Fi network. Theprocedure of starting up the robot and ROS is also described in this paper, as well asdesign of the graphical user interface (GUI) that will display sensory data and allow otherfunctionality. Another part of thesis explains principle of an optical encoder and how tocreate your own encoder which can detect rotation of a wheel. This is used to implementrobot odometry. The structure of ROS navigation library is analyzed with regards to itscommissioning. Implementation of the GUI and navigation library will follow in the masterthesis.
50
Bautista, José Edson Vargas. "Avaliação de desempenho do modem 'pi'/4-DQPSK no canal de rádio móvel." Instituto Tecnológico de Aeronáutica, 1994. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1700.
Full textAbstract:
Este trabalho apresenta o estudo do sistema ';pi';/4-DQPSK recentemente escolhido como o esquema de modulacao digital para a segunda geracao do distema de comunicacao movel celular. As propriedades que motivaram sua escolha, a definicao dos sistemas de transmissao e recepcao e as caracteristicas de desempenho em canal tipico de comunicacao movel sao aqui estudadas. E feita uma analise dos fenomenos que ocorrem no canal de radio movel e dos modelos capazes de simular tais fenomenos. Apresenta-se o desenvolvimento de um conjunto de programas de computacao que apontam a simulacao do sistema em questao. Baseados nos resultados de diversas simulacoes verifica-se a validade do modelo de dois percursos para o canal seletivo em frequencia. Verificamos tambem como os diferentes perfis de potencia de multipercurso podem afetar o desempenho global do sistema.