Buscar
Mostrando ítems 31-40 de 988
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...
Development of modal analysis tools for systems with transport delaysDesenvolvimento de ferramentas de análise modal para sistemas com atrasos de transporte
(Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia ElétricaUFRJ, 2021)
Representation of transmission lines in modal domain using analytical transformation matrices
(2011-05-31)
The phases of a transmission line are tightly coupled due to mutual impedances and admittances of the line. One way to accomplish the calculations of currents and voltages in multi-phase lines consists in representing them ...
Complete and atomic Tarski algebras
(Springer, 2019-03)
Tarski algebras, also known as implication algebras or semi-boolean algebras, are the {→}-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove ...
Um modelo de linha de transmissão bifásica desenvolvido diretamente no domínio das fases
(Universidade Estadual Paulista (UNESP), 2014)
Alternative proposal for Modal Representation of a Non-transposed Three-Phase Transmission Line with a Vertical Symmetry Plane
(Institute of Electrical and Electronics Engineers (IEEE), 2014)
A Distributed-parameters Transmission Line Model Developed Directly in the Phase Domain
(Taylor & Francis IncPhiladelphiaEUA, 2013)
An alternative procedure to decrease the dimension of the frequency dependent modal transformation matrices: Application in three-phase transmission lines with a vertical symmetry plane
(2006-12-01)
The objective of this paper is to show an alternative representation in time domain of a non-transposed three-phase transmission line decomposed in its exact modes by using two transformation matrices. The first matrix is ...
An alternative procedure to decrease the dimension of the frequency dependent modal transformation matrices: Application in three-phase transmission lines with a vertical symmetry plane
(2006-12-01)
The objective of this paper is to show an alternative representation in time domain of a non-transposed three-phase transmission line decomposed in its exact modes by using two transformation matrices. The first matrix is ...