1 resultado para Logic of proofs
em Galway Mayo Institute of Technology, Ireland
Filtro por publicador
- Academic Archive On-line (Karlstad University; Sweden) (1)
- Academic Archive On-line (Stockholm University; Sweden) (2)
- Academic Research Repository at Institute of Developing Economies (1)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (16)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (2)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (2)
- Archive of European Integration (17)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (16)
- Biblioteca de Teses e Dissertações da USP (4)
- Biblioteca Digital - Universidad Icesi - Colombia (1)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (11)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (5)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (13)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (34)
- Brock University, Canada (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (2)
- CentAUR: Central Archive University of Reading - UK (22)
- Central European University - Research Support Scheme (1)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- Cochin University of Science & Technology (CUSAT), India (5)
- Coffee Science - Universidade Federal de Lavras (2)
- Collection Of Biostatistics Research Archive (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (7)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (24)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (6)
- CUNY Academic Works (16)
- Dalarna University College Electronic Archive (2)
- Department of Computer Science E-Repository - King's College London, Strand, London (15)
- Digital Commons - Michigan Tech (1)
- Digital Commons - Montana Tech (1)
- Digital Commons at Florida International University (6)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (2)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (29)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (1)
- Galway Mayo Institute of Technology, Ireland (1)
- Instituto Politécnico de Castelo Branco - Portugal (1)
- Instituto Politécnico de Viseu (1)
- Instituto Politécnico do Porto, Portugal (6)
- Instituto Superior de Psicologia Aplicada - Lisboa (4)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (5)
- Memoria Académica - FaHCE, UNLP - Argentina (86)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (3)
- Nottingham eTheses (2)
- Portal de Revistas Científicas Complutenses - Espanha (8)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (1)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- RDBU - Repositório Digital da Biblioteca da Unisinos (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (4)
- Repositorio Académico de la Universidad Nacional de Costa Rica (4)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (9)
- Repositório da Escola Nacional de Administração Pública (ENAP) (1)
- Repositório da Produção Científica e Intelectual da Unicamp (13)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (11)
- Repositório digital da Fundação Getúlio Vargas - FGV (21)
- Repositório Institucional da Universidade de Brasília (3)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (4)
- Repositório Institucional da Universidade Federal do Rio Grande - FURG (2)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (7)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (126)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (7)
- School of Medicine, Washington University, United States (2)
- Scielo Saúde Pública - SP (16)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (1)
- Universidad de Alicante (6)
- Universidad del Rosario, Colombia (32)
- Universidad Politécnica de Madrid (16)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade do Minho (2)
- Universidade dos Açores - Portugal (4)
- Universidade Federal de Uberlândia (5)
- Universidade Federal do Pará (33)
- Universidade Federal do Rio Grande do Norte (UFRN) (55)
- Universidade Metodista de São Paulo (14)
- Universidade Técnica de Lisboa (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
- Université de Lausanne, Switzerland (15)
- Université de Montréal (7)
- Université de Montréal, Canada (58)
- University of Michigan (16)
- University of Queensland eSpace - Australia (19)
- University of Washington (4)
- WestminsterResearch - UK (2)
Resumo:
The purpose of this study was to evaluate the determinism of the AS-lnterface network and the 3 main families of control systems, which may use it, namely PLC, PC and RTOS. During the course of this study the PROFIBUS and Ethernet field level networks were also considered in order to ensure that they would not introduce unacceptable latencies into the overall control system. This research demonstrated that an incorrectly configured Ethernet network introduces unacceptable variable duration latencies into the control system, thus care must be exercised if the determinism of a control system is not to be compromised. This study introduces a new concept of using statistics and process capability metrics in the form of CPk values, to specify how suitable a control system is for a given control task. The PLC systems, which were tested, demonstrated extremely deterministic responses, but when a large number of iterations were introduced in the user program, the mean control system latency was much too great for an AS-I network. Thus the PLC was found to be unsuitable for an AS-I network if a large, complex user program Is required. The PC systems, which were tested were non-deterministic and had latencies of variable duration. These latencies became extremely exaggerated when a graphing ActiveX was included in the control application. These PC systems also exhibited a non-normal frequency distribution of control system latencies, and as such are unsuitable for implementation with an AS-I network. The RTOS system, which was tested, overcame the problems identified with the PLC systems and produced an extremely deterministic response, even when a large number of iterations were introduced in the user program. The RTOS system, which was tested, is capable of providing a suitable deterministic control system response, even when an extremely large, complex user program is required.