Estudio formal de redes lineales y su aplicación a la síntesis de contadores

A partir de la identificación de la función estado siguiente de las máquinas secuenciales lineales con el conjunto de funciones de GLn(Z2) y An(Z2) es posible tratar formalmente los problemas de codificación de estados internos para el caso de síntesis con elementos biestables J-K pudiendo establece...

Full description

Bibliographic Details
Authors: Osés Ollo, Ma. Teresa, Aguiló Llobet, Jordi, Huguet i Rotger, Llorenç
Format: article
Publication Date:1981
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:Spanish
OAI Identifier:oai:upcommons.upc.edu:2099/4510
Online Access:https://hdl.handle.net/2099/4510
Access Level:Open access
Keyword:Graph theory
Grafs, Teoria de
Classificació AMS::05 Combinatorics::05C Graph theory
id ES_c1f8aa829a8f940ce2e862cb77dee014
oai_identifier_str oai:upcommons.upc.edu:2099/4510
network_acronym_str ES
network_name_str España
repository_id_str
spelling Estudio formal de redes lineales y su aplicación a la síntesis de contadoresFormal study of linear networks and its application to counters' synthesisOsés Ollo, Ma. TeresaAguiló Llobet, JordiHuguet i Rotger, LlorençGraph theoryGrafs, Teoria deClassificació AMS::05 Combinatorics::05C Graph theoryA partir de la identificación de la función estado siguiente de las máquinas secuenciales lineales con el conjunto de funciones de GLn(Z2) y An(Z2) es posible tratar formalmente los problemas de codificación de estados internos para el caso de síntesis con elementos biestables J-K pudiendo establecer una generalización al caso de la síntesis con biestables z-Fivex. Los resultados teóricos obtenidos se aplican a la síntesis de contadores, utilizando módulos base para su implementación, lo cual supone una optimización tanto desde el punto de vista de diseño como de superficie ocupada. También se establece una comparación entre las dos estructuras estudiadas.Starting from the identification of the next state function of linear sequential machines through the set of functions of GLn(Z2) and An(Z2)' it is possible to treat formally the problems of internal state coding for the case of synthesis with J-K bi-stable elements being it possible to stablish a generalization to the case of synthesis with z-Fivex bi-stables. The theoretical results obtained are applied to the synthesis of counters, using basic moduli for its implementations, which means an optimization both from the viewpoint of desing as well as from that of occupied surface. A comparison is made between the two structures studied.Universitat Politècnica de Barcelona. Centre de Càlcul19811981-12-0120082008-03-07journal articlehttp://purl.org/coar/resource_type/c_6501NAhttp://purl.org/coar/version/c_be7fb7dd8ff6fe43info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2099/4510reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivs 2.5 Spainhttp://creativecommons.org/licenses/by-nc-nd/2.5/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2099/45102026-05-27T15:37:01Z
dc.title.none.fl_str_mv Estudio formal de redes lineales y su aplicación a la síntesis de contadores
Formal study of linear networks and its application to counters' synthesis
title Estudio formal de redes lineales y su aplicación a la síntesis de contadores
spellingShingle Estudio formal de redes lineales y su aplicación a la síntesis de contadores
Osés Ollo, Ma. Teresa
Graph theory
Grafs, Teoria de
Classificació AMS::05 Combinatorics::05C Graph theory
title_short Estudio formal de redes lineales y su aplicación a la síntesis de contadores
title_full Estudio formal de redes lineales y su aplicación a la síntesis de contadores
title_fullStr Estudio formal de redes lineales y su aplicación a la síntesis de contadores
title_full_unstemmed Estudio formal de redes lineales y su aplicación a la síntesis de contadores
title_sort Estudio formal de redes lineales y su aplicación a la síntesis de contadores
dc.creator.none.fl_str_mv Osés Ollo, Ma. Teresa
Aguiló Llobet, Jordi
Huguet i Rotger, Llorenç
author Osés Ollo, Ma. Teresa
author_facet Osés Ollo, Ma. Teresa
Aguiló Llobet, Jordi
Huguet i Rotger, Llorenç
author_role author
author2 Aguiló Llobet, Jordi
Huguet i Rotger, Llorenç
author2_role author
author
dc.subject.none.fl_str_mv Graph theory
Grafs, Teoria de
Classificació AMS::05 Combinatorics::05C Graph theory
topic Graph theory
Grafs, Teoria de
Classificació AMS::05 Combinatorics::05C Graph theory
description A partir de la identificación de la función estado siguiente de las máquinas secuenciales lineales con el conjunto de funciones de GLn(Z2) y An(Z2) es posible tratar formalmente los problemas de codificación de estados internos para el caso de síntesis con elementos biestables J-K pudiendo establecer una generalización al caso de la síntesis con biestables z-Fivex. Los resultados teóricos obtenidos se aplican a la síntesis de contadores, utilizando módulos base para su implementación, lo cual supone una optimización tanto desde el punto de vista de diseño como de superficie ocupada. También se establece una comparación entre las dos estructuras estudiadas.
publishDate 1981
dc.date.none.fl_str_mv 1981
1981-12-01
2008
2008-03-07
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
NA
http://purl.org/coar/version/c_be7fb7dd8ff6fe43
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2099/4510
url https://hdl.handle.net/2099/4510
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 2.5 Spain
http://creativecommons.org/licenses/by-nc-nd/2.5/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de Barcelona. Centre de Càlcul
publisher.none.fl_str_mv Universitat Politècnica de Barcelona. Centre de Càlcul
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418625194000384
score 15,300724

Similar Items