OLIVEIRA, Henrique Viana. Refinamento de consultas em lógicas de descrição utilizando teoria dos Rough sets. 2012. 111 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T16:33:31Z No. of bitstreams: 1 2012_dis_hvoliveira.pdf: 789598 bytes, checksum: d75ef093adc56cc930f52c1e486ead5a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-18T13:43:45Z (GMT) No. of bitstreams: 1 2012_dis_hvoliveira.pdf: 789598 bytes, checksum: d75ef093adc56cc930f52c1e486ead5a (MD5) / Made available in DSpace on 2016-07-18T13:43:45Z (GMT). No. of bitstreams: 1 2012_dis_hvoliveira.pdf: 789598 bytes, checksum: d75ef093adc56cc930f52c1e486ead5a (MD5) Previous issue date: 2012 / Query Refinement consists of methods that modify the terms of a consult aiming the change of its result obtained previously. Refinements can be done of several ways and different approaches can be applied to it. This work proposes to apply methods of Query Refinement based on Rough Set theory, using it as an alternative for the refinement problem. The proposed methods will be grounded in the languages of Description Logics, which are commonly used on problems involving knowledge bases or ontologies representation. Two extensions of Description Logics with the Rough Set theory are introduced in this dissertation. We will prove the complexity of satisfiability of these logics, as well as the complexities of the query refinement methods applied to these logics. Finally, we will show quality measures which will aid to choose the results of the refinements obtained. / Refinamento de consulta consiste de técnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realização de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propõe aplicar a teoria dos Rough Sets como uma nova alternativa de solução para o problema. Através das noções presentes nessa teoria, iremos desenvolver técnicas que serão aplicadas nas linguagens de Lógicas de Descrição, que são comumente utilizadas em problemas de representação de bases de conhecimento ou ontologias. Além disso, introduziremos duas extensões de Lógicas de Descrição capazes de representar as operações da teoria dos Rough Sets. Provaremos os resultados de complexidade de decisão dessas duas lógicas, assim como os resultados de complexidade das técnicas de refinamentos desenvolvidas. Por fim, mostraremos métricas de qualidade que poderão ser usadas para melhorar o resultado dos refinamentos obtidos.

FRAGA, Wilton Bezerra de. Estudo do desempenho de acoplador direcional não linear duplo assimétrico de fibras ópticas operando portas lógicas. 2006. 82 f. Dissertação (Mestrado em Física) - Programa de Pós-Graduação em Física, Departamento de Física, Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2006. / Submitted by Edvander Pires (edvanderpires@gmail.com) on 2015-05-25T22:01:57Z No. of bitstreams: 1 2006_dis_wbfraga.pdf: 1352410 bytes, checksum: c457ff6e820ccb3f66eac0052dfa0e61 (MD5) / Approved for entry into archive by Edvander Pires(edvanderpires@gmail.com) on 2015-05-27T18:56:36Z (GMT) No. of bitstreams: 1 2006_dis_wbfraga.pdf: 1352410 bytes, checksum: c457ff6e820ccb3f66eac0052dfa0e61 (MD5) / Made available in DSpace on 2015-05-27T18:56:36Z (GMT). No. of bitstreams: 1 2006_dis_wbfraga.pdf: 1352410 bytes, checksum: c457ff6e820ccb3f66eac0052dfa0e61 (MD5) Previous issue date: 2006 / We investigate the performance of three different non linear directional assymmetrical fibers couplers that include a profile of self-modulation of increasing and decreasing phase. The asymmetry is associated with the profile of self-modulation of phase of one of the chanels. Initially, we investigate the performance of the considered coupler using ultrashort pulses, type sóliton with 2ps of width and later operating with signal CW. Observing the characteristics of transmission of the device, through the direct chanel and cross chanel, we made a study of the extinction ratio (Xratio) of the devices. The extinction ratio of a switching on-off is the relation among the exit power in the state on and the power of exit in the state off. It was observed that the performance of gates AND, XOR, OR are dependents of the profile of non linearity. In the profile of constant it was not verified that logics AND and XOR present one better performance with the device operating in CW, while logic OR present better with the coupler operating in pulse regime. We conclude that coupler to operate it as logic gate we can control the non-linearity profile to optimize the characteristics of transmission through the extinction ratio. / Nós investigamos o desempenho de três diferentes acopladores direcionais nãolineares duplo assimétrico que incluem um perfil de auto modulação de fase crescente e decrescente. A assimetria está associada ao perfil de auto modulação de fase de um dos canais. Inicialmente, investigamos o desempenho do acoplador proposto utilizando pulsos ultracurtos, tipo sóliton com 2ps de largura e posteriormente operando com sinal CW. Observando as características de transmissão do dispositivo, através do canal direto e cruzado, fizemos um estudo do coeficiente de extinção (Xratio) dos dispositivos. O coeficiente de extinção de um chaveamento on-off é a relação entre a potência de saída no estado on e a potência de saída no estado off . Foi observado que a performance de portas AND, XOR, OR são dependentes do perfil de não linearidade. No perfil de não linearidade constante verificou-se que as lógicas AND e XOR apresentam um melhor desempenho com o dispositivo operando em CW, enquanto a lógica OR mostra-se melhor com o acoplador operando em regime pulsado. Concluímos que para o acoplador operar como porta lógica nós podemos controlar o perfil de não linearidade para otimizar as características de transmissão através do coeficiente de extinção.

FERREIRA, A. C. Estudo numérico do acoplador duplo simétrico de fibras ópticas operando com PPM e PAM para obtenção de portas lógicas. 2008. 114 f. Dissertação (Mestrado em Engenharia de Teleinformática) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2008. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2016-04-01T17:34:07Z No. of bitstreams: 1 2008_dis_acferreira.pdf: 3679910 bytes, checksum: 5236f631e20876dfc271a45617cd49b2 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2016-04-06T18:31:34Z (GMT) No. of bitstreams: 1 2008_dis_acferreira.pdf: 3679910 bytes, checksum: 5236f631e20876dfc271a45617cd49b2 (MD5) / Made available in DSpace on 2016-04-06T18:31:34Z (GMT). No. of bitstreams: 1 2008_dis_acferreira.pdf: 3679910 bytes, checksum: 5236f631e20876dfc271a45617cd49b2 (MD5) Previous issue date: 2008-01-22 / In this work, the performance study of a Symmetric Dual-Core Non-Linear Directional Coupler (NLDC), working with pulses of , in two different applications have been investigated: accomplishment of logical gates AND and OR, under Pulse Position Modulation (PPM); accomplishment of logical gates AND and OR, under Pulse Amplitude Modulation (PAM). The investigation is based in a numerical simulation study, using the fourth order Runge Kutta numerical method. In the first application, the possibility of the accomplishment of logical operations by Symmetric Dual-Core Non-Linear Directional Coupler (NLDC) without loss is analyzed. Considering the operation of the logical gates, the four possible combinations for two pulses, on the input fibers, modulated by the temporal PPM in the logical levels 0 or 1, were used. The effects of a variation in the coding parameter offset of the PPM modulation, that is, in the displacement of the input pulse relative to the reference time level, was investigated. In the second application, the symmetric dual-core NLDC is submitted to PAM modulation, using the four possible combinations for two pulses on the input fibers, were used, as well. The effects of a variation in the coding parameter offset of the PAM modulation relative to the reference amplitude, was investigated. The modulated output amplitude versus a phase difference between the input pulses , was also studied. On the two applications, logical gates AND and OR was observed. / Neste trabalho, foram investigadas as características de operação de um Acoplador Direcional Não-Linear(NLDC) Duplo Simétrico, trabalhando com pulsos de , em duas diferentes aplicações: Obtenção de portas lógicas E e OU, sob Modulação Por Posição de Pulsos (PPM); obtenção de portas lógicas E e OU, sob Modulação Por Amplitude de Pulsos (PAM). A investigação é realizada, através de simulações numéricas, utilizando-se do método de Runge Kutta de quarta ordem. Na primeira aplicação, é analisada a possibilidade da realização de operações lógicas pelo Acoplador Direcional Não-Linear (NLDC) Duplo Simétrico sem perda. Considerando a operação das portas lógicas, foram utilizadas as quatro possíveis combinações para dois pulsos, nas fibras 1 e 2, modulados pela posição temporal (PPM) nos níveis lógicos 0 ou 1. Foram investigados os efeitos de uma variação no parâmetro de ajuste da modulação PPM, ou seja, no deslocamento inicial do pulso em relação ao pulso referencial, ou informação não modulada, e na diferença de fase entre os pulsos sólitons fundamentais de entrada devidamente modulados. Na segunda aplicação, o NLDC duplo simétrico é submetido à modulação PAM, utilizando-se também, das quatro combinações possíveis para os dois pulsos, nas fibras de entrada. Foram investigados os efeitos da variação no parâmetro de ajuste da modulação PAM na amplitude inicial do pulso em relação à amplitude de referência, ou sinal sem modulação, e também observada a amplitude de saída modulada versus uma diferença de fase entre os pulsos sólitons fundamentais de entrada devidamente modulados. Nas duas aplicações foram obtidas portas lógicas E e OU.

Made available in DSpace on 2014-06-11T19:25:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-09-27Bitstream added on 2014-06-13T18:26:17Z : No. of bitstreams: 1 silvestrini_lhc_me_mar.pdf: 390849 bytes, checksum: 3e56bcae7fb7fbdc04cda1eb30e5f1ea (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que uma 'boa parte' dos indivíduos possui determinada propriedade. O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução. / The Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that a 'good' number of individuals possesses certain property . This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-07-14Bitstream added on 2014-06-13T18:53:32Z : No. of bitstreams: 1 matulovic_m_me_mar.pdf: 351553 bytes, checksum: ce05b2472eda1483cbde0d4d3caf708d (MD5) / Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado modulado, que tem a incumbência de interpretar aspectos indutivos de quantificadores das linguagens naturais. Como um caso particular de lógica modulada, a lógica do muito formaliza a noção intuitiva de “muitos”. O quantificador do muito é representado por G. Assim, uma sentença do tipo Gxα(x) deve ser entendida como “muitos indivíduos satisfazem a propriedade α”. Semanticamente, a noção de muitos está associada a uma estrutura matemática denominada família fechada superiormente e própria. Seja E um conjunto não vazio. Uma família própria fechada superiormente F em E é tal que: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitivamente, F caracteriza os conjuntos que possuem ‘muitos’ elementos. E, assim, o universo E possui muitos elementos; o ∅ não possui muitos elementos; e se A possui muitos elementos, então todo conjunto que contém A também possui muitos elementos. Com elementos sintáticos que caracterizam linguisticamente estas propriedades de F, pode-se verificar que a lógica do muito é correta e completa para uma estrutura de primeira ordem estendida por uma família própria fechada superiormente. A lógica do muito foi originalmente introduzida em um sistema dedutivo hilbertiano, baseado apenas em axiomas e regras de dedução. Neste trabalho, desenvolvemos um outro sistema dedutivo para a lógica do muito, porém num sistema de tablôs. Demonstramos, naturalmente, que esse novo sistema é equivalente ao sistema axiomático original. / Among the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of “many”. The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like “many individuals satisfy the property α”. Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have “many” elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one.

En el Perú, la organización social bajo el modelo de cooperativa es poco aplicada en las zonas rurales que se dedican a la agricultura y la ganadería; sin embargo, constituye un modelo exitoso de desarrollo económico rural, cuya economía ha venido creciendo y se ha ido fortaleciendo en las últimas décadas gracias a la diversificación de actividades, la calidad de los productos y la organización administrativa y social en las cooperativas. Esto se refleja en mejoras de la calidad de vida, del crecimiento poblacional y en la ocupación del territorio. Se observa una ocupación rural, hoy urbanizada, con nuevas edificaciones y con una comprensión del territorio, que genera lógicas de ocupación que redefinen su estructura espacial. Este proceso es el tema de esta investigación, que busca identificar la relación entre la diversificación de actividades económicas y las lógicas de ocupación que definen la estructura espacial del territorio. Se hace un estudio planimétrico del territorio priorizando las actividades económicas, la trama viaria y la localización de las edificaciones, con un análisis espacial desde una escala macro hasta una escala micro, comparando los años 1983 y 2014. En la Granja Porcón, las lógicas de ocupación han ido cambiando en los periodos de estudio, de una estructura espacial de edificaciones dispersas a una concentración de edificaciones y diversificación de actividades en el centro del valle. Esta estructura espacial ha sido modelada por las actividades económicas mediante su ubicación, la construcción de nuevas vías y, con ello, las nuevas edificaciones.

Ao realizar testes de hipóteses simultâneos espera-se que a decisões obtidas neles sejam logicamente consistentes entre si. Neste trabalho, verifica-se sob quais condições testes de Bayes simultâneos atendem às condições lógicas isoladamente ou em conjunto. Demonstra-se que as restrições para que os testes simultâneos atendam essas condições isoladamente são bastante intuitivas. No entanto, ao tentar obedecer as condições conjuntamente, perde-se otimalidade. Além disso, avalia-se a relação entre esses testes de Bayes simultâneos e os testes gerados por estimadores, isto é, mostra-se que, sob algumas condições, tomar uma decisão baseado em um estimador de Bayes é equivalente a tomar uma decisão baseada em um teste de Bayes. Por fim, mostra-se que, se tomamos uma decisão baseada em Estimadores de Máxima Verossimilhança, então essa decisão deve ser igual à tomada por um teste de Bayes e concluímos que essas decisões são admissíveis e obedecem ao Princípio da Verossimilhança. / When performing simultaneous hypotheses testing is expected that the decisions obtained therein are logically consistent with each other. In this work, we find restrictions under which simultaneous Bayes tests meet logical conditions separately or jointly. It is shown that the conditions for the simultaneous tests meet these conditions alone are quite intuitive. However, when trying to obey the conditions jointly, we lose optimality. Furthermore, we evaluate the relationship between these tests and simultaneous Bayes tests generated by estimators, ie, we show that, under some conditions, to choose an estimator based on Bayes decision is equivalent to choosing a decision based on a Bayes test. Finally, we show that if we take a decision based on Maximum Likelihood Estimators, then that decision should be equal to taking a Bayes test and concluded that these decisions are admissible and obey the Likelihood Principle.

Orientador: Jose Antonio Roversi / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-08-23T20:03:52Z (GMT). No. of bitstreams: 1 Yabu-uti_BrunoFerreiradeCamargo_D.pdf: 3039693 bytes, checksum: f0b083dd372cff54e492778d15824a5b (MD5) Previous issue date: 2013 / Resumo: Na presente tese estudamos o processamento de informação quântica no sistema de átomos e cavidades acopladas. Em particular, a comunicação quântica estabelecida entre átomos remotos e a implementação de portas lógicas no sistema de cavidades acopladas. Iniciamos apresentando o sistema de cavidades acopladas, o Hamiltoniano que governa sua evolução, algumas promissoras implementações experimentais e a transferência de um estado de campo arbitrário de um fóton ao longo da cadeia. Incluindo um sistema massivo, propomos um novo protocolo para uma transferência perfeita, determinística e flexível de estados quânticos entre átomos remotos interagindo sucessivamente com o sistema de cavidades acopladas (atuando como quantum bus). Mesmo levando em conta efeitos dissipativos e erros de procedimento obtivemos uma alta fidelidade máxima de transmissão. Por fim, apresentamos uma proposta alternativa para a implementação de um porta R(rotação)- controlada de dois qubits. A proposta está baseada em operações de um qubit e fase geométrica não-convencional em átomos de três níveis idênticos fortemente bombeados por um campo clássico ressonante em cavidades ópticas distantes conectadas por uma fibra óptica. Nossa proposta resulta em um tempo operacional constante e, com um acoplamento qubit-bus ajustável (atomoressonador), pode-se especificar uma rotação R particular no qubit alvo / Abstract: In this thesis we study the quantum information processing in the system of atom-coupled cavity. In particular, the quantum communication between remote atoms and the implementation of logic gates in the coupled cavities system. We begin by presenting the system of coupled cavities, the Hamiltonian that governs its evolution, some promising experimental implementations and the transfer of an arbitrary one photon field state along the array. Including a massive system, we propose a new protocol for a perfect, deterministic and flexible quantum state transfer between remote atoms interacting successively with the system of coupled cavities (which act as a quantum bus). Even taking into account dissipative effects and error procedure we obtained a maximum high-fidelity transmission. We also present an alternative proposal for the implementation of a controlled-R gate of two qubits. The proposal is based on single qubit operations and unconventional geometric phases on two identical three-level atoms, strongly driven by a resonant classical field, trapped in distant cavities connected by an optical fiber. Our scheme results in a constant gating time and, with an adjustable qubit-bus coupling (atom-resonator), one can specify a particular rotation R on the target qubit / Doutorado / Física / Doutor em Ciências

Sistemas de computação têm se tornado maiores e mais complexos com o objetivo de lidar com a vasta quantidade de dados disponíveis. Uma tarefa decisiva em tais sistemas é classificar estes dados, bem como extrair informação útil destes. Nesta dissertação, testam-se as redes lógicas de Markov como linguagem para especificação e aprendizado de classificadores automáticos de dados. Esta linguagem combina fragmentos da lógica de primeira ordem e modelos probabilísticos gráficos (redes de Markov) em uma única representação. A junção destas duas técnicas permite a modelagem de conhecimento relacional através da lógica, e também de incertezas por meio de probabilidades e grafos não-direcionados. Neste trabalho, classificadores são aprendidos segundo dois paradigmas de aprendizado de máquina: o supervisionado, foco desta dissertação, e também o aprendizado semi-supervisionado com restrições determinísticas. Para investigar a utilidade das redes lógicas de Markov no treinamento de classificadores, uma série de experimentos de aprendizado é desenvolvida a partir de bases de dados de treino reais disponíveis em repositórios na internet. Como ferramenta auxiliar nos experimentos, esta dissertação testa também o pacote Alchemy, que provê um conjunto de algoritmos para tarefas gerais de aprendizado de máquina e inferência probabilística em redes lógicas de Markov. Para mensurar o desempenho dos classificadores aprendidos, três métricas tradicionais são empregadas: acurácia, precisão e revocação. Os resultados alcançados com classificadores semi-supervisionados com restrições indicam que a linguagem ainda não é própria para este paradigma de aprendizado. Por outro lado, o êxito obtido no desempenho dos classificadores treinados de forma supervisionada sugere que as redes lógicas de Markov são um formalismo lógico-probabilístico promissor para aplicações de classificação, e devem ser objeto de pesquisas futuras. / Computing systems have become larger and more complex in order to deal with the vast amount of available data. An important task in such systems is to classify these data, so as to extract useful information from them. In this dissertation, Markov logic networks are tested as a language to specify and learn automatic data classifiers. This language combines fragments of first-order logic and probabilistic graphical models (Markov networks), in a single representation. Together, both techniques allow one to model relational knowledge through a logic formalism, and uncertainty through probabilities and undirected graphs. In this work, data classifiers are learned by two machine learning paradigms: the supervised, the main focus of this dissertation, and also the semisupervised learning under deterministic constraints. To investigate the usefulness of Markov logic networks in training data classifiers, a set of experiments is developed from real databases available in repositories at the internet. As a support tool for experiments, this dissertation tests also the Alchemy package, which provides a set of algorithms for general machine learning tasks and probabilistic inference in Markov logic networks. To measure the performance of data classifiers, three traditional metrics are employed: accuracy, precision and recall. The results reached with semisupervised data classifiers indicate that the language is not yet suitable for learning based on this paradigm. On the other hand, the success achieved with classifiers trained in a supervised context suggests that Markov logic networks are a promising logical-probabilistic formalism to approach classification applications, and should be considered in future research.

Este trabalho apresenta os principais aspectos da automação de projetos de sistemas digitais com a utilização de computadores, detendo-se particularmente no problema da simulação. Apresenta uma visão do problema geral da automação e suas diferentes alternativas de solução bem como, um relato sobre aspectos da implementação de simuladores. Introduz um novo algoritmo desenvolvido especificamente para atender às necessidades de simulação em nível de registros portas. Descreve a implementação de um simulador em nível de portas lógicas, constituído de rotinas escritas em linguagem Assembler e Fortran do sistema HP 2116B do Laboratório de Sistemas Digitais do Departamento de Engenharia de Eletricidade da Escola Politécnica da Universidade de São Paulo. Finalmente, apresenta as regras de sua utilização, exemplos e as conclusões mais significativas obtidas através de seu emprego em vários casos práticos. / This paper deals with some basic features of computer-aided automation of digital systems design, particularly with those related to the simulation problem. It presents a general view of this problem and different approaches for solving it and reports also on the main aspects of simulator implementation. A new algorithm, developed to meet our specific requirements of register-level and gate level simulation, is described, together with the implementation of a gate-level simulator. The latter consists of routines written in the Assembler and Fortran languages of the HP 2116B System and was developed at the Laboratório de Sistemas Digitais do Departamento de Engenharia de Eletricidade da Escola Politécnica da Universidade de São Paulo. The document also includes rules for the use of the simulator, examples and some relevant conclusions which resulted from the application of the simulator in actual cases.