Log in

Relevant bibliographies by topics / PLC logic / Dissertations / Theses

To see the other types of publications on this topic, follow the link: PLC logic.

Dissertations / Theses on the topic 'PLC logic'

Author: Grafiati

Published: 28 June 2021

Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'PLC logic.'

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

Mohan, Ashwin. "A fuzzy controller developed in RSLogix 5000 using ladder logic and function blocks implemented on a Control Logix PLC /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1420941.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Cheng, Yuan-Teng. "Algorithm and intelligent tutoring system design for ladder logic programming." Thesis, [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-1449.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Johansson, Marcus, and Jacob Nilsson. "Virtuell driftsättning : Verifiering av PLC logik mot simuleringsprogram." Thesis, Högskolan i Skövde, Institutionen för ingenjörsvetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-11529.

Full text

Abstract:

För att korta ner den totala driftsättningstiden i projekt beslutade Volvo Cars Skövde om att undersöka möjligheterna för verifiering av PLC-logik mot simuleringsprogram. Det övergripande målet med examensarbetet var att undersöka möjligheterna för att upprätta kommunikation mellan flödesimuleringsprogrammet Siemens Plant Simulation och en PLC-enhet. En ingripande förståelse av området virtuell driftsättning skapades vid skrivandet av referensramen och en litteraturstudie vilket legat till grund för det fortsatta praktiska arbetet. Genom en datainsamling med intervjuer, diskussioner och en omf

APA, Harvard, Vancouver, ISO, and other styles

4

Tesfaye, Mussie. "Secure Reprogramming of a Network Connected Device : Securing programmable logic controllers." Thesis, KTH, Kommunikationssystem, CoS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104077.

Full text

Abstract:

This is a master’s thesis project entitled “Secure reprogramming of network connected devices”. The thesis begins by providing some background information to enable the reader to understand the current vulnerabilities of network-connected devices, specifically with regard to cyber security and data integrity. Today supervisory control and data acquisition systems utilizing network connected programmable logic controllers are widely used in many industries and critical infrastructures. These network-attached devices have been under increasing attack for some time by malicious attackers (includi

APA, Harvard, Vancouver, ISO, and other styles

5

Allensworth, Courtney. "Computer-based process simulator and testing environment for teaching PLC sequential logic systems /." Available to subscribers only, 2007. http://proquest.umi.com/pqdweb?did=1328064261&sid=24&Fmt=2&clientId=1509&RQT=309&VName=PQD.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

OKUMA, Shigeru, Tatsuya SUZUKI, Takashi MUTOU, and Eiji KONAKA. "Optimal Design of Sensor Parameters in PLC-Based Control System Using Mixed Integer Programming." Institute of Electronics, Information and Communication Engineers, 2005. http://hdl.handle.net/2237/14990.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Tarasso, Markus, and Daniele Usai. "Utveckling av kontrollrumsstyrning : För DC-generator genom PLC och HMI." Thesis, Högskolan i Borås, Akademin för textil, teknik och ekonomi, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hb:diva-22104.

Full text

Abstract:

Projektet går ut på att ersätta den befintliga styrningen av en DC-generator för 1200 kV med en fjärrstyrning från kontrollrummet via optolänk. Den nya styrningen ska utgöras av ett PLC-system (Programmable Logic Controller) som manövreras med hjälp av ett HMI – Human Machine Interface. Bakgrunden till projektet härrör från att den befintliga styrutrustningen är opålitlig samt styrs i en farlig miljö. Rapporten går igenom hur befintlig styrutrustning fungerar samt dess ingående komponenter, hur ett PLC-system fungerar med dess bakgrund och olika programmeringsspråk. Även programmeringen och by

APA, Harvard, Vancouver, ISO, and other styles

8

Alavizadeh, Zahra. "PLC Controlled System for Local Humidity Management in Electronic Enclosures." Thesis, Jönköping University, JTH, Computer and Electrical Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-13148.

Full text

Abstract:

<p>This master thesis is about investigation a power efficient anti-moisture device thatcan be implemented in electronic enclosures in severe climatic environments.First, some of the existing knowledge and previous works were introduced. Then arelevant theoretical background including three main approaches in humiditymanagement are described, comparison between the enclosure heaters and localheaters, some psychrometics concepts that have been used in the project, heattransfer fundamentals, environmental test basics, some humidity and temperaturesensing techniques, computational fluid dynamics,

APA, Harvard, Vancouver, ISO, and other styles

9

Rickey, Matthew R. "Fuzzy Logic Learning for Predictive Feedback Estimation in a Radiant Heat System." Wright State University / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=wright1278616429.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Klintrot, Oskar, and Daniel Forsström. "Lastfördelning och effektmätning med Arduino och PLC." Thesis, Linnéuniversitetet, Sjöfartshögskolan (SJÖ), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-34236.

Full text

Abstract:

Detta arbete var beställt av Sjöfartshögskolan i Kalmar. Skolan ville ha en enhet som kunde mäta aktiv-, reaktiv- och skenbar effekt, ström, spänning, frekvens och cosϕ på en generator och som kommunicerade vidare dessa värden till en PLC. Detta för att kunna lastfördela lasten mellan ett antal generatorer i kursen Tillämpad elteknik 15 hp där studenterna bygger en generatorinstallation med tre generatorer. Ett funktionsblock för lastfördelning skulle också programmeras. Prototypen som konstruerades baserades på en Arduino Ethernet och kommunikationen löstes med Modbus TCP/IP över Ethernet. Et

APA, Harvard, Vancouver, ISO, and other styles

11

Hubený, František. "Využití softwarového PLC v tepelné technice budov." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219691.

Full text

Abstract:

This presenting master’s thesis deals with a problem of digitaly controled room temperature using the software PLC. The result of this work was creating of an algorithm to control temperature on the requested leve ofl setpoint, minimizing operating costs of the building. The PLC softwares from different manufacturers were analyzed and compared with conventional PLC. The testing facility was disigned and used to control the temperature in the room and data visualization. Room temperature was regulated by PS controller or two point regulator.

APA, Harvard, Vancouver, ISO, and other styles

12

Jowkar, Saeid. "The Application of Programmable Logic Controller (PLC) to Control Temperature in Cold-room Based on TIA PORTAL Software." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020.

Find full text

Abstract:

A temperature sensor is a device to measure the temperature through an electrical signal. It requires a thermocouple or resistance temperature detectors (RTD) and will interface with a programmable logic controller (PLC). A temperature transmitter is a device that connects to a temperature sensor to transmit the signal elsewhere for monitoring and control purposes that its role is to convert the temperature sensor's signal to a 0-10V DC voltage in the PLC. The PLC voltage signal setting is compared to the temperature deviation after the Proportional Integral Derivative (PID) operation. Then, t

APA, Harvard, Vancouver, ISO, and other styles

13

Sandberg, Natalia. "Automatic Generation of PLC Code Based on Net Condition Event Systems." Scholar Commons, 2008. http://scholarcommons.usf.edu/etd/3771.

Full text

Abstract:

An important consideration in discrete event dynamic systems control theory is the selection of a suitable modeling formalism that can capture the complex characteristics of the system and the capability to automatically synthesize a controller based on the system model. Net condition event systems are well suited for modeling complex discrete event dynamic systems owing to their input and output structure, which effectively captures the behavior of the physical devices to be monitored and/or controlled. To date, net condition event systems control models have not been extensively applied to h

APA, Harvard, Vancouver, ISO, and other styles

14

Axelsson, Per, and Christoffer Hedlund. "Upprustning och modernisering av kraftstation vid Årbols såg och kvarn." Thesis, University West, Department of Technology, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-375.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Oskarsson, Daniel, and Jan-Erik Henriksson. "Modernisering av marint styr- och övervakningsskåp." Thesis, University West, Department of Technology, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-392.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Johansson, Adam, and Tim Johansson. "Code generation for programmable logic controllers : Evaluating model-based engineering practices in a real-world context." Thesis, Högskolan i Skövde, Institutionen för informationsteknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-18714.

Full text

Abstract:

The industrial manufacturing of today is achieved through the use of programmable logic controllers (PLC). The way PLCs are programmed remains largely unchanged since their conception 40 years ago, but complexity and software size have increased, and requirements have becomemore elaborate. Model-driven engineering (MDE) practices, formal verification and automated testing could help manage these challenges. This study seeks to improve development practices in the context of a company that delivers automation projects. Through design science methodology the state of the field is investigated an

APA, Harvard, Vancouver, ISO, and other styles

17

Podrabský, Tomáš. "Návrh, simulace a realizace funkčních modulů testbedu Průmysl 4.0." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2018. http://www.nusl.cz/ntk/nusl-377082.

Full text

Abstract:

In this work I deal with the project of an automated robotic bartender, whose task is to show model concepts such as virtual commissioning, digital factory or industry 4.0. The work resolves two parts (cells) for the overall construction. Individual cells are solved from the design and realization of the construction through the virtual verification of operation to the design and realization of the control itself for the given cells. The construction solution was created in SolidEdge ST10. Virtual verification will be solved in the Tecnomatix Process Simulate program and the implementation of

APA, Harvard, Vancouver, ISO, and other styles

18

Mertlík, Daniel. "Inteligentní dvou-ramenný žonglovací stroj." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2012. http://www.nusl.cz/ntk/nusl-230043.

Full text

Abstract:

This thesis describes the design and implementation of device called Intelligent two-arm juggling machine. The role of the demonstration project is to control rotational movement of the arm so that the concept of the machine there to swap the ball to the opposite side shoulder. The project is divided into two theses, which this proposal addresses the above mentioned tasks, the machine and place the second level ofcooperative governance through visualization.

APA, Harvard, Vancouver, ISO, and other styles

19

Pour, Radek. "Řízení ramene motoru a určení hmotnosti předmětu z dynamiky pohybu." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2008. http://www.nusl.cz/ntk/nusl-228147.

Full text

Abstract:

The diploma thesis is a part of the project Intelligent weighting and sorting of goods. The principle of measuring of weight from movement dynamics with derivation calculation relation is detailed described in the first part. The description of used automation means is also in the first part of the diploma thesis. The second part includes design of three adaptive control systems for controlling DC electromotor’s arm, communication principles between programmable logic controllers and designed code of program.

APA, Harvard, Vancouver, ISO, and other styles

20

Novák, Marek. "Řízení procesu třídění programovatelným automatem." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2008. http://www.nusl.cz/ntk/nusl-228285.

Full text

Abstract:

My diploma thesis deals with the design and production of the first of the two parts of a device for classifying goods. This device needs two programmable logic controllers (hereafter PLCs), produced by Phoenix Contact, to complete these activities. These controllers are interconnected. One part of the solution, which is described in my thesis in detail, deals with the communication between these controllers, the design of optimalization of methods of classifying goods, which is important for the operation of the whole device and visualization realization. The PLCs are programmed in PC worx so

APA, Harvard, Vancouver, ISO, and other styles

21

Gustavsson, Anna. "Reliable Network Communication." Thesis, Uppsala universitet, Signaler och System, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-395261.

Full text

Abstract:

The Target Positioning Sensor (TPS) is used by cranes to locate containers in ports and on cargo ships. The reliability of the communication network between the TPS and the Programmable Logic Controller (PLC) is important to optimise the productivity of the container terminal. Lost data messages between the network devices will lead to delays and production loss for the terminal. The main goal of this thesis project is to make the Ethernet-based network between the TPS and the PLC more reliable. The current sensor network protocol uses the User Datagram Protocol (UDP), and the project aims to

APA, Harvard, Vancouver, ISO, and other styles

22

Amba, Harsha Vardhan. "Operation and Monitoring of Parabolic Trough Concentrated Solar Power Plant." Scholar Commons, 2015. http://scholarcommons.usf.edu/etd/5891.

Full text

Abstract:

The majority of the power generated today is produced using fossil fuels,emitting carbon dioxide and other pollutants every second. Also, fossil fuels will eventually run out. For the increasing worldwide energy demand, the use f reliable and environmentally beneficial natural energy sources is one of the biggest challenges. Alongside wind and water, the solar energy which is clean, CO2-neutral and limitless, is our most valuable resource. Concentrated solar power (CSP) is becoming one of the excellent alternative sources for the power industry. The successful implementation of this technology

APA, Harvard, Vancouver, ISO, and other styles

23

Záviš, Jan. "Model křižovatky s průmyslovou komunikací." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442438.

Full text

Abstract:

This diploma project summarizes a theoretical introduction regarding the issue of traffic light control. Further there is industrial communication discussed, where they are the Ethernet / IP protocol and the Modbus TCP protocol described more in detail. The following is the description of the Logix series programmable controllers. Then the diploma follows up with market research in order to find the most suitable development kit which is used as a trial prototype. Then it is concerned with a development kit with a communication module from AND-TECH company. Software was developed on them, more

APA, Harvard, Vancouver, ISO, and other styles

24

Nilsson, Jonatan. "Planering och utvecklande av testplattform för tryckpulsation." Thesis, Högskolan i Skövde, Institutionen för ingenjörsvetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-17136.

Full text

Abstract:

Autotube är ett företag baserat i Varberg som utvecklar och producerar luft- och vätskelösningar främst inom bilindustrin. På senare tid har biltillverkarna skiftat till högre bränsletryck i bensindrivna förbränningsmotorer vilket har lett till att företagets produktutvecklingsavdelning saknar testutrustning för att utveckla nya produkter vilket i sin tur har lett till att företaget köpt tjänsten från extern leverantör. Kostnaderna och den bristande insynen i trycktester hos extern leverantör har lett Autotube att investera i ny utrustning och bedriva framtida tester i företagets lokaler. Ambi

APA, Harvard, Vancouver, ISO, and other styles

25

Steen, Patrik. "PLC&Virtual Commissioning : En studie i verifiering av PLC-logik genom Virtual Commissioning." Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-69379.

Full text

Abstract:

PLC kan idag vara det mest använda styrsystemet till industriella applikationer. Verifikation av programmerad PLC-logik är av stort värde och kan göras på olika sätt. ÅF Karlstad vill idag börja se över möjligheter till implementering av Virtual Commissioning som ett alternativ till minskning av ledtider. I det stora hela blev målet för detta projektarbete att i Xcelgo Experior bygga upp en 3D-miljö som liknar en saltvatten-process på Barilla i Filipstad, skriva PLC-logiken i Siemens TIA-portalen och testköra logiken i 3D-miljön. Och av detta kunna ge underlag till eventuella investeringar i d

APA, Harvard, Vancouver, ISO, and other styles

26

Söder, Thomas, and Henrik Karlsson. "Verifiering av PLC-logik : för styrsystem vid Volvo cars." Thesis, University West, Department of Technology, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-395.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Adams, Azeez Olawale. "Control of reconfigurable assembly system." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/5368.

Full text

Abstract:

Thesis (MScEng (Mechanical and Mechatronic Engineering))--University of Stellenbosch, 2010.<br>ENGLISH ABSTRACT: This work considers the control of reconfigurable assembly systems using a welding assembly system as a case study. The assembly system consists of a pallet magazine, a feeding system, an inspection and removal system, a welding system and a conveyor. The aim of the work is to compare PC and PLC as controllers, as well as to compare two different approaches to reconfigurable control. The control system of the pallet magazine was developed using a PC and a PLC. The PC control w

APA, Harvard, Vancouver, ISO, and other styles

28

Guimar?es, Alexandre Magnus Fernandes. "Desenvolvimento de um sistema de automa??o para uma planta de inertiza??o de res?duos por plasma." Universidade Federal do Rio Grande do Norte, 2009. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15141.

Full text

Abstract:

Made available in DSpace on 2014-12-17T14:54:54Z (GMT). No. of bitstreams: 1 AlexandreMFG_TESE.pdf: 5334818 bytes, checksum: 7c848d27061280b40eb07e9232cb9807 (MD5) Previous issue date: 2009-08-28<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>The traditional processes for treatment of hazardous waste are questionable for it generates other wastes that adversely affect people s health. As an attempt to minimize these problems, it was developed a system for treatment of hazardous waste by thermal plasma, a more appropriate technology since it produces high temperatures, prev

APA, Harvard, Vancouver, ISO, and other styles

29

Giannopoulos, Vassilis. "Efficient VHDL models for various PLD architectures /." Online version of thesis, 1995. http://hdl.handle.net/1850/12238.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

IMPERIAL, JULIANA CARPES. "TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2003. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4428@1.

Full text

Abstract:

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outra alternativa é fazer com que o próprio código prove ser seguro. O conceito de proof-carryng code (PCC)é baseado nessa idéia : um programa carrega consigo uma prova de sua conformi

APA, Harvard, Vancouver, ISO, and other styles

31

Pochylý, Petr. "Návrh řídicího systému experimentální sladovny." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2017. http://www.nusl.cz/ntk/nusl-319700.

Full text

Abstract:

This master thesis deals with design of automation control system for operationally experimental malt-house. The first part deals with general description of all production stages of malting and brief description about the Research Institute of Brewering and Malting. It also generally characterizes the used hardware and software for automation control system. The second part of this thesis describes the types of programmable logic controllers and the selection of optimal variant for application of the operationally experimental malt-house. Master thesis in the third and fourth part contains a

APA, Harvard, Vancouver, ISO, and other styles

32

Tan, Chong Guan. "Another approach to PLA folding." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66054.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Podolan, Luděk. "Jednoúčelový stroj zajišťující lisování kanystrových nálevek." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2015. http://www.nusl.cz/ntk/nusl-221101.

Full text

Abstract:

The aim of this diploma thesis is detail description of theory, design process and final realization of single-purpose machine for pressing canister funnels. Theoretical section of this work covers manufacturing standards of the electrical cabinets, options for the single-purpose machine control with focus on the programmable logic controller e.g. PLC, PLC control program concept with definition of the main alarm states and description of two types of electrical cabinet. Practical part contains description of the electrical cabinet, its block diagram, photo documentation of the wiring (chapter

APA, Harvard, Vancouver, ISO, and other styles

34

Šuba, Marek. "Digitální zprovoznění robotizovaného výrobního systému pro odporové navařování." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-443726.

Full text

Abstract:

The subject of this diploma thesis is the simulation and digital commissioning of a robotic production system for welding elements such as studs on sheet metal parts. The basis of the work is search of information related to industrial robots, PLC control, tools used for welding, fixtures, manipulators, sensors, safety and protection elements commonly used in such production systems. The second part of the work deals with the given problem and it is a virtual commissioning of the given concept of a robotic production system. This means creating its simulation model in the Process Simulate envi

APA, Harvard, Vancouver, ISO, and other styles

35

Moon, Gyo Sik. "An Algorithm for the PLA Equivalence Problem." Thesis, University of North Texas, 1995. https://digital.library.unt.edu/ark:/67531/metadc278922/.

Full text

Abstract:

The Programmable Logic Array (PLA) has been widely used in the design of VLSI circuits and systems because of its regularity, flexibility, and simplicity. The equivalence problem is typically to verify that the final description of a circuit is functionally equivalent to its initial description. Verifying the functional equivalence of two descriptions is equivalent to proving their logical equivalence. This problem of pure logic is essential to circuit design. The most widely used technique to solve the problem is based on Binary Decision Diagram or BDD, proposed by Bryant in 1986. Unfortunate

APA, Harvard, Vancouver, ISO, and other styles

36

Janeček, Jan. "Řízení pohybů dvouramenného žonglovacího stroje." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2012. http://www.nusl.cz/ntk/nusl-230105.

Full text

Abstract:

The diploma thesis is a part of the project Intelligent double arm juggling machine. The project is divided into two diploma thesis. This thesis deals with the motion control of juggling arms. Information about hardware and software resources used in this project is in the first part of thesis. There is explanation of the control loop, explanation of used communication protocols and implementation of program proceeding in the second part of thesis.

APA, Harvard, Vancouver, ISO, and other styles

37

Waite, Stephen J. "A logic model to review material nominated for inclusion into project code PL3." Thesis, Monterey, California. Naval Postgraduate School, 1989. http://hdl.handle.net/10945/26045.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Cornelia, Olivian E. "Conditional stuck-at fault model for PLA test generation." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63959.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Alba, Castro Mauricio Fernando. "Abstract Certification of Java Programs in Rewriting Logic." Doctoral thesis, Universitat Politècnica de València, 2011. http://hdl.handle.net/10251/13617.

Full text

Abstract:

In this thesis we propose an abstraction based certification technique for Java programs which is based on rewriting logic, a very general logical and semantic framework efficiently implemented in the functional programming language Maude. We focus on safety properties, i.e. properties of a system that are defined in terms of certain events not happening, which we characterize as unreachability problems in rewriting logic. The safety policy is expressed in the style of JML, a standard property specification language for Java modules. In order to provide a decision procedure, we enforce finit

APA, Harvard, Vancouver, ISO, and other styles

40

Samek, Martin. "Adaptivní optimální regulátory s principy umělé inteligence v prostředí MATLAB - B&R." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218211.

Full text

Abstract:

Master’s thesis describes adaptive optimal controller design and it’s settings. Identification with principles of artificial intelligence and recursive least squares identification with exponential and directional forgetting are compared separately and as part of controller. Adaptive optimal controller is tested on physical model and compared with solidly adjusted PSD controller. Possibilities of implementation of adaptive optimal controller into programmable logic controller B&R are show and tested.

APA, Harvard, Vancouver, ISO, and other styles

41

Lee, Hoon S. "A CAD tool for current-mode multiple-valued CMOS circuits." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/22935.

Full text

Abstract:

Approved for public release; distribution is unlimited<br>The contribution of this thesis is the development of a CAD (computer aided design) tool for current mode multiple-valued logic (MVL) CMOS circuits. It is only the second known MVL CAD tool and the first CAD tool for MVL CMOS. The tool accepts a specification of the function to be realized by the user, produces a minimal or near-minimal realization (if such a realization is possible), and produces a layout of a programmable logic array (PLA) integrated circuit that realizes the given function. The layout is in MAGIC format, suitab

APA, Harvard, Vancouver, ISO, and other styles

42

Sunki, Supriya. "Performance optimization in three-dimensional programmable logic arrays (PLAs)." [Tampa, Fla.] : University of South Florida, 2005. http://purl.fcla.edu/fcla/etd/SFE0001255.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Měřínský, Jiří. "CAE systém EPLAN Electric P8 - tvorba výkresové dokumentace pro dálkové ovládání motorgenerátoru." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2010. http://www.nusl.cz/ntk/nusl-218804.

Full text

Abstract:

This Graduation Theses dissertate about a creation of a drawing documentation at the professional CAE EPLAN Electric P8 system. One original solution of a remote control and of motor-generator monitoring with a mobile phone, short SMS-aided in this case, was used as an example of the drawing documentation. As has allready been noted in previous Bachelor Thesis, this application can be use not only for a remote control of a motor-generator, but this solution is suitable for other electric devices too, which are out of reach of an attendance for example. In our case a generator with 6kVA power i

APA, Harvard, Vancouver, ISO, and other styles

44

Chiang, Kang-Chung. "Scan path design of PLA to improve its testability in VLSI realization." Ohio : Ohio University, 1986. http://www.ohiolink.edu/etd/view.cgi?ohiou1183128113.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Olivieri, Steven. "An Investigation of Security in Near Field Communication Systems." Digital WPI, 2015. https://digitalcommons.wpi.edu/etd-dissertations/46.

Full text

Abstract:

Increasingly, goods and services are purchased over the Internet without any form of physical currency. This practice, often called e-commerce, offers sellers and buyers a convenient way to trade globally as no physical currency must change hands and buyers from anywhere in the world can browse online store fronts from around the globe. Nevertheless, many transactions still require a physical presence. For these sorts of transactions, a new technology called Near Field Communication has emerged to provide buyers with some of the conveniences of e-commerce while still allowing them to purchase

APA, Harvard, Vancouver, ISO, and other styles

46

Dandache, Abbas. "Conception de PLA CMOS." Phd thesis, Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb37596962j.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Perez, Segovia Tomás. "Paola : un système d'optimisation topologique de PLA." Grenoble INPG, 1985. http://tel.archives-ouvertes.fr/tel-00316330.

Full text

Abstract:

Lors de la conception des circuits intégrés VLSI, les Réseaux Logiques Programmables (P. L. A. ) permettent le dessin automatique des masques à partir d'une description logique. La surface occupée par ces PLAs peut, dans certains cas, s'avérer prohibitive; d'où l'intérêt des méthodes d'optimisation topologique de ceux-ci. Après avoir défini les différentes représentations possibles des PLAs, on présente l'état en ce qui concerne l'optimisation topologique des PLAs. La méthode des «Lignes Brisées» est ensuite détaillée en insistant sur les heuristiques choisies ainsi que sur les interactions qu

APA, Harvard, Vancouver, ISO, and other styles

48

Mrázek, Michal. "Adaptivní optimální regulátory s principy umělé inteligence v prostředí MATLAB - B&R." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217556.

Full text

Abstract:

Master’s thesis describes adaptive optimal controller design which change parameters of algorithm based on the system information regard for optimal criterion. Generally, the optimal controller solves the problem of minimum states vector. Problems of desired value and steady-state error are solved by variation in optimization algorithm.

APA, Harvard, Vancouver, ISO, and other styles

49

Peňáz, Ondřej. "Bezpečnost modelu manipulátoru." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220130.

Full text

Abstract:

The work deals with the functional safety of machinery, in our case with the model of the 3D manipulator. The main contribution of this work is the detailed conduct a risk assessment in accordance with the valid legislation and the detailed design of safety components to meet the safety requirements. Protective measures are carried out by three steps. The work includes a description of the implemented measures, mainly change of the design and creation a SafetyTask for the PLC. Also the visualization for a touch panel was created. At the end of the work we had to verify and evaluate implemented

APA, Harvard, Vancouver, ISO, and other styles

50

Almeida, Suzana Ribas de. "Implementação de controle supervisório em CLPs usando linguagem de alto nível." Universidade do Estado de Santa Catarina, 2012. http://tede.udesc.br/handle/handle/1855.

Full text

Abstract:

Made available in DSpace on 2016-12-12T17:38:31Z (GMT). No. of bitstreams: 1 SUZANA RIBAS DE ALMEIDA.pdf: 2655112 bytes, checksum: 346dca905796b24136deb70b7263fb5b (MD5) Previous issue date: 2012-02-15<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Nowadays the competition between companies is increasing. In a production system, efficiency, speed and flexibility are important means for cost reductions. The complexity of automation systems has been increasing, which makes necessary the implementation of more efficient control programs, free of errors and easy to maintain. H

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!