Mostrar el registro sencillo del ítem

dc.contributor.advisorGalván, Arturospa
dc.contributor.authorGarcía Dávalos, Alexanderspa
dc.contributor.authorRamírez Cano, Mary Elizabethspa
dc.date.accessioned2020-06-26T21:32:17Z
dc.date.available2020-06-26T21:32:17Z
dc.date.issued2006-03-24
dc.identifier.urihttp://hdl.handle.net/20.500.12749/3313
dc.description.abstractEn la actualidad el reto de las comunicaciones es satisfacer la demanda de transmisión de gran cantidad de datos en el menor tiempo posible. Esto implica, que los protocolos que se diseñan deben usar de forma eficiente el medio de transmisión, maximizando el ancho de banda disponible. Ejemplos clásicos de esta situación se presentan en la transmisión de vídeo de alta calidad ó el control en redes industriales. En particular en el sector de las telecomunicaciones, se ha invertido gran cantidad de tiempo y esfuerzo en maximizar el aprovechamiento de los medios físicos de comunicación, sin importar su naturaleza, este hecho conlleva a que la investigación en este campo nunca termine y se hagan esfuerzos y propuestas cada vez mejores que buscan transmitir mayor cantidad de datos en el menor tiempo posible. El presente trabajo es una propuesta en este sentido, ya que trata acerca del diseño de un nuevo protocolo de comunicaciones denominado PDM-Ring que hace uso eficiente del medio físico y minimiza la pérdida de datos basándose en la tecnología multiplexación por división de potencia, concepto que tienen amplia aplicación en el campo de la comunicación por radio, pero que gracias a los avances tecnológicos que ofrecen los nuevos dispositivos electrónicos tales como, alta capacidad de almacenamiento y gran velocidad, es posible ahora aplicar en las redes cableadas. Es importante aclarar que, el protocolo propuesto será implementado en un nuevo dispositivo electrónico de comunicaciones que está en proceso de construcción, pero que no hizo parte del trabajo, por tanto, el interés fundamental en este proyecto fue demostrar que el diseño del protocolo PDM-Ring para redes en anillo sin colisiones y basado en Multiplexación de Potencia es correcto, es decir, el protocolo no posee inconsistencias y su implementación es completamente viable desde el punto de vista lógico. Para la validación del protocolo propuesto se utilizo una herramienta de validación automatizada qe se denomina SPIN y los resultados obtenidos en este proceso permiten afirmar que el diseño del protocolo propuesto es correcto.spa
dc.description.sponsorshipInstituto Tecnológico de Estudios Superiores de Monterrey ITESMspa
dc.description.tableofcontents1. INTRODUCCIÓN..............................................................................................7 1.1. ANTECEDENTES .....................................................................................7 1.2. PROBLEMA...............................................................................................8 1.3. JUSTIFICACIÓN .....................................................................................10 1.3.1 Costos en hardware y materiales. ....................................................10 1.3.2 Mejora en el tiempo de transmisión..................................................12 1.3.3 Mejora en gestión de calidad de los datos .......................................14 1.4. OBJETIVOS ............................................................................................16 1.4.1 General.............................................................................................16 1.4.2 Específicos .......................................................................................16 1.5. HIPOTESIS .............................................................................................17 1.6. ORGANIZACIÓN DEL DOCUMENTO.....................................................18 2. MARCO TEÓRICO.........................................................................................19 2.1. PDM (Power Division Multiplex - Multiplex por División de Potencia)......22 2.2. Dispositivo DCIH .....................................................................................25 3. METODOLOGÍA.............................................................................................27 3.1. DISEÑO DEL PROTOCOLO PDM-RING................................................29 3.2. SERVICIOS.............................................................................................30 3.3. ASUNCIONES.........................................................................................31 3.4. SUB-NIVEL INTERMEDIO ......................................................................32 3.4.1 Requerimientos: ...............................................................................32 3.4.2 Vocabulario. .....................................................................................32 3.4.3 Formato de Mensajes.......................................................................33 3.4.4 Reglas de Procedimiento. ................................................................33 3.4.5 Diagramas de Flujo ..........................................................................36 3.4.6 Bucket ..............................................................................................40 3.5. SUB-NIVEL DE ENLACE DATOS...........................................................43 3.5.1 Vocabulario. .....................................................................................44 3.5.2 Formato de Mensajes.......................................................................45 3.5.3 Reglas de Procedimiento. ................................................................47 3.5.4 Diagramas de Flujo. .........................................................................49 3.6. VALIDACIÓN DEL PROTOCOLO PDM-RING........................................72 3.6.1 SPIN. ................................................................................................72 3.6.2 Propiedades del sub-nivel Intermedio. .............................................76 3.6.3 Propiedades del sub-nivel de Enlace. ..............................................79 3.7. SIMULACIÓN Y VALIDACIÓN CON SPIN..............................................84 3.7.1 Modelo del Sub-nivel Intermedio ......................................................84 3.7.2 Modelo del Sub-nivel de Enlace. ......................................................85 3.8. RESULTADOS ........................................................................................89 3.8.1 Resultados de Verificación del Protocolo del Sub-nivel Intermedio..89 3.8.2 Resultados de Verificación del Protocolo del Sub-nivel de Enlace...91 4. CONCLUSIONES...........................................................................................95 2 5. TRABAJOS FUTUROS...................................................................................96 BIBLIOGRAFÍA......................................................................................................97 ANEXO A.............................................................................................................100 ANEXO B.............................................................................................................136 ANEXO C.............................................................................................................151 ANEXO D.............................................................................................................164spa
dc.format.mimetypeapplication/pdfspa
dc.language.isospaspa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/*
dc.titleProtocolo PDM-RING para redes en anillo-sin colisiones y basado en multiplexación de potenciaspa
dc.title.translatedPDM-RING protocol for collision-free ring networks based on power multiplexingeng
dc.degree.nameMagíster en Ciencias Computacionalesspa
dc.coverageBucaramanga (Colombia)spa
dc.publisher.grantorUniversidad Autónoma de Bucaramanga UNABspa
dc.rights.localAbierto (Texto Completo)spa
dc.publisher.facultyFacultad Ingenieríaspa
dc.publisher.programMaestría en Ciencias Computacionalesspa
dc.description.degreelevelMaestríaspa
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.localTesisspa
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.subject.keywordsData transmission systemseng
dc.subject.keywordsComputer networkseng
dc.subject.keywordsRing netseng
dc.subject.keywordsComputerseng
dc.subject.keywordsSystems engineeringeng
dc.subject.keywordsComputer scienceeng
dc.subject.keywordsProtocolseng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsAnalysiseng
dc.subject.keywordsCommunication protocoleng
dc.subject.keywordsSimulation testseng
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga - UNABspa
dc.identifier.reponamereponame:Repositorio Institucional UNABspa
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.accessrightshttp://purl.org/coar/access_right/c_abf2spa
dc.relation.referencesGarcía Dávalos, Alexander, Ramírez Cano, Mary Elizabeth (2006). Protocolo PDM-RING para redes en anillo sin colisiones y basado en multiplexación de potencia. Bucaramanga (Colombia) : Universidad Autónoma de Bucaramanga UNAB, Instituto Tecnológico y de Estudios Superiores de Monterrey ITESMspa
dc.relation.referencesBAGHDADY, Elie J. «New development in FM Reception and their application to the realization of a system of “Power division multiplex” ». Communications, IEEE Transactions on [legacy, pre - 1988]. Volume: 7 , Issue: 3 . Sep 1959. pag. 147 - 161.spa
dc.relation.referencesBANERJEA, Anindo. FERRARI, Domenico. MAAH, Bruce A., MORAN, Mark. VERMA, Dinesh C. y ZHANG, Hui. « The Tenet Real - Time Protocol Suite: Design, Implementation, and Experiences». Networking, IEEE/ACM Transactions on. Volume: 4 , Issue: 1 . Feb. 1996. pag. 1 – 10.spa
dc.relation.referencesBLACK, Uyless. Redes de Computadoras Protocolos, normas e interfaces. Segunda edición. Ra-ma, 1997.spa
dc.relation.referencesBRÆK, Rolv. «SDL basics ». Computer Networks and ISDN Systems. Volume 28 , Issue 12 (June 1996) Special issue on SDL and MSC. 1996. Elsevier Science Publishers B. V. Amsterdam (The Netherlands). Pag. 1585 – 1602.spa
dc.relation.referencesCARLSON, Bruce. Communications Systems. McGraw Hill. Cuarta edición. 2001spa
dc.relation.referencesCONTI, M. y DONATIELLO L. « Design an Analysis of RT – Ring: a protocol for supporting real-time communications ». Industrial Electronics, IEEE Transactions on . Volume: 49 , Issue: 6 . Dec. 2002. pp 1214 - 1226spa
dc.relation.referencesCOUCH, Leon W. Digital and analog communications systems. Prentice Hall. Sexta edición. 2001spa
dc.relation.referencesERIKSSON, Christer. THANE, Henrik. GUSTAFSSON, Mikael. «A Communication Protocol for Hard and Soft Real-Systems», IEEE Real-Time Systems, 1996. Proceedings of the Eighth Euromicro Workshop on . 12-14 June 1996. pag. 187 - 192spa
dc.relation.referencesHOLZMANN, Gerard J., Design and Validation of Computer Protocols, Prentice Hall, 1991.spa
dc.relation.referencesHOLZMANN, Gerard J., «The Model Checker Spin», IEEE Transactions on Software Engineering, Vol. 23, No. 5, Mayo 1997, pag. 279-295.spa
dc.relation.referencesHOLZMANN Gerard J., «Using Spin», Plan 9 Programmer’s Manual Documents, Vita Nuova Holdings Ltd, York (England), 2nd edition, 2000. pag. 353-382.spa
dc.relation.referencesHOLZMANN Gerard J., «An Analysis of Bitstate Hashing», Formal Methods in System Design, Vol. 13, No. 3, Kluwer, November 1998, pag. 287-305spa
dc.relation.referencesHOLZMANN Gerard J., «Designing bug-free protocols with Spin», Computer Communications Journal, Vol. 20, No. 2, 1997, pag. 97-105spa
dc.relation.referencesHOLZMANN Gerard J., «Protocol Design: Redefining the State of the Art», IEEE Software, Vol. 09, No. 1, January 1992, pag. 17-22.spa
dc.relation.referencesLATHI, B.P. Modern digital and analog communications. Oxford Press. Tercera edición. 1998.spa
dc.relation.referencesLIMA, M.R., LEITE J.C.B., LOQUES O. G. « A Real-Time Communication Protocol », Real Time, 1990. Proceedings. Euromicro '90 Workshop on . 6-8 June 1990. pp 129 - 134.spa
dc.relation.referencesNICHOLLS, K. JACOBSON V. ZHANG L. « A Two-bit Differentiated Services Architecture for the Internet ». IETF RFC 2638, July 1999. Disponible en la URL: http://irl.cs.ucla.edu/papers/twobit.pdf.spa
dc.relation.referencesPARK, Jung Woo. PARK Hyeok Gi. KWON, WOOK Hyun. «A Real - Time Communication Protocol with Contention-resolving Algorithm for Programmable Controllers». Industrial Electronics, Control and Instrumentation, 1994. IECON '94., 20th International Conference on , Volume: 2 , 5-9 Sept. 1994. pp 1159 – 1164.spa
dc.relation.referencesPENG, H. TAHAR, S. KHENDEK, F., «SPIN vs. VIS: a case study on the formal verification of the ATMR protocol», Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on. York, UK , 2000. pag. 79-87spa
dc.relation.referencesSHIMAMOTO, Shigeru. ONOZATO, Yoshikuni. TESHIGAWARA, Yoshimi. « Perfomance Evaluation of Power Level Division Multiple Access (PDMA) Scheme », IEEE , International Conference of Communications. 1992. pp. 1333 - 1337spa
dc.relation.referencesSKLAR, Bernard. Digital communications: Fundamentals and Application. Prentice Hall. Segunda edición. 2001spa
dc.relation.referencesSTALLINGS, William. Comunicaciones y Redes de Computadores, Sexta Edición, Editorial Prentice Hall, Madrid (España), 2000. Pag. 182-210.spa
dc.relation.referencesSTREMLER, Ferrel G. Introduction to communication systems. Addison-Wesley. Tercera edición. 1990.spa
dc.relation.referencesTANENBAUM, Andrew S. Redes de Computadores. Tercera Edición. Prentice Hall, 1997.spa
dc.relation.referencesTINDELL, K. W. HANSSON, H. y WELLINGS A. J. « Analisys Real-Time Communications: Controller Area Network (CAN) ». IEEE. Real-Time Systems Symposium, 1994., Proceedings. , 7-9 Dec. 1994. pp 259 - 263.spa
dc.relation.referencesISO/DIS 11898. «Road Vehicles – Interchange of Digital Information – Controller Area Network (CAN) for High Speed Communications». Febrero 1992.spa
dc.relation.referencesICONTEC. «Compendio – Tesis y Otros Trabajos de Grado». Imprelibros S.A, Bogotá D.C., 2004.spa
dc.relation.referencesBerge J., «Ethernet in Process Control», Technical article, The Industrial Ethernet Book, Issue 3, June 2000. http://ethernet.industrial-networking.com/ieb/articles.asp (última consulta marzo 3 de 2006).spa
dc.relation.referencesBerge J., «FieldBus, Ethernet and the Reality of Convergence», Technical article, The Industrial Ethernet Book, Issue 23, November 2004. http://ethernet.industrial-networking.com/ieb/articles.asp (última consulta marzo 3 de 2006).spa
dc.relation.referencesHART Communication Foundation. HART Protocol Overview http://www.hartcomm.org/ (última consulta el 3 de diciembre de 2005)spa
dc.relation.referencesLONWORKS, White Paper. «Determinism in Industrial Computer Control Network Applications». Echelon, Enero1995. http://www.echelon.com/support/documentation/bulletin/005-0060-01A.pdf (consultada el 11 de noviembre de 2003)spa
dc.relation.referencesMartin Timmerman PhD. Dedicated Systems - Encyclopaedia http://www.realtime-info.be/encyc/techno/terms/defini/def.htm (última consulta el 2 de diciembre de 2005)spa
dc.relation.referencesSPIN. ON -THE-FLY, LTL MODEL CHECKING with SPIN http://spinroot.com/spin/whatispin.html (última consulta el 3 de diciembre de 2005)spa
dc.relation.referencesTheo Ruys & G. Holzmann . SPIN Advanced tutorial http://spinroot.com/spin/Doc/Spin_tutorial_2004.pdf (última consulta el 2 de diciembre de 2005)spa
dc.relation.referencesTheo Ruys . SPIN Beginners’ Tutorial. http://spinroot.com/spin/Doc/SpinTutorial.pdf (última consulta el 2 de diciembre de 2005)spa
dc.relation.referencesMatt Dwyer, John Hatcliff.Kansas State University. CIS 842: Specification and Verification of Reactive Systems Lecture SPIN-INTRO: Introduction To SPIN URL: http://spinroot.com/spin/Doc/SpinIntro.pdf (última consulta el 2 de diciembre de 2005)spa
dc.relation.referencesGerard. J. Holzmann . Bibliography URL: http://spinroot.com/gerard/pubs.html (última consulta el 2 de diciembre de 2005)spa
dc.contributor.cvlachttps://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000191906*
dc.contributor.googlescholarhttps://scholar.google.es/citations?hl=es&user=WRdA1yEAAAAJ*
dc.subject.lembSistemas de transmisión de datosspa
dc.subject.lembRedes de computadoresspa
dc.subject.lembRedes en anillospa
dc.subject.lembComputadoresspa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembCiencias computacionalesspa
dc.subject.lembProtocolosspa
dc.subject.lembInvestigacionesspa
dc.subject.lembAnálisisspa
dc.contributor.corporatenameInstituto Tecnológico de Estudios Superiores de Monterrey (ITESM)spa
dc.description.abstractenglishToday the challenge of communications is to meet the demand for transmission of large amounts of data in the shortest possible time. This implies, that the protocols that are designed must use the transmission medium efficiently, maximizing the available bandwidth. Classic examples of This situation occurs in the transmission of high quality video or the control in industrial networks. Particularly in the telecommunications sector, a great deal of time and effort has been invested in maximizing the use of the physical means of Communication, regardless of its nature, this fact leads to research in this field never ending and increasingly better efforts and proposals are made that seek to transmit as much data in the shortest possible time. The present work is a proposal in this sense, since it deals with the design of a new communications protocol called PDM-Ring that makes efficient use of the physical medium and minimizes data loss based on power division multiplexing technology, a concept that has wide application in the field of radio communication, but thanks to technological advances offered by new electronic devices such as high storage capacity and high speed, is now possible apply in wired networks. It is important to clarify that the proposed protocol will be implemented in a new electronic communications device that is under construction, but that he did not do part of the work, therefore, the fundamental interest in this project was to demonstrate that the design of the PDM-Ring protocol for ring networks without collisions and based on Power Multiplexing is correct, that is, the protocol does not have inconsistencies and its implementation is completely viable from a logical point of view. For the validation of the proposed protocol, an automated validation tool called SPIN was used and the results obtained in this process allow us to affirm that the design of the proposed protocol is correct.eng
dc.subject.proposalHerramienta de validación
dc.subject.proposalProtocolo de comunicación
dc.subject.proposalPruebas de simulación
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 2.5 Colombia*
dc.contributor.researchgroupGrupo de Investigación Tecnologías de Información - GTIspa
dc.contributor.researchgroupGrupo de Investigaciones Clínicasspa
dc.coverage.campusUNAB Campus Bucaramangaspa
dc.description.learningmodalityModalidad Presencialspa


Ficheros en el ítem

Thumbnail
Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Atribución-NoComercial-SinDerivadas 2.5 Colombia
Excepto si se señala otra cosa, la licencia del ítem se describe como Atribución-NoComercial-SinDerivadas 2.5 Colombia