This work presents the generalized sidelobe canceler, GSC, modelled by the state variable approach and the Kalman filter applied in the adaptive cancellation of the interference signals in linear and planar arrays. The performance of the method is compared with the LMS method.
In this paper we present the tests and performance For a more detailed description of the proposed system, we evaluations carried out on the modulation system for the refer the reader to [1]. terrestrial Digital Television System (MI-SBTVD) described in [1]. All the results were obtained using computer simulated models, portraying relevant operating scenarios based on well-established channel models. The results obtained in this work have allowed us II. TELEVISION CHANNEL CHARACTERIZATION to estimate the expected system performance on working conditions as different as, for example, reception through single, ITU [4] suggests some typical channel profiles that can be fixed external antenna and single-antenna mobile reception. used to test the system with fixed reception (Brazil-A through Keywords BodatnSytmDiBrazil-E) and mobile reception (Typical Urban GSM/TU-Time Code, LDPC, Performance Evaluation. GSM). Such profiles are adequate for tests of DTV systems because they represent a wide range of typical situations where
We investigate the problem of allocating power to send uncoded information over parallel Gaussian channels. We examine the reason why regular "water-filling" does not work in the uncoded case, and show that a modification of the noise level of each subchannel lets "water-filling" work in this case.
ResumoDiversas técnicas de especificação estão sendo usadas no processo de desenvolvimento de software. Essas técnicas podem ser ou não formais, de acordo com o sistema em desenvolvimento. Neste trabalho, uma técnica de modelagem formal é aplicada num estudo de caso. Aqui, o modelo de Máquina de Estados Finita é usado para especificar as funcionalidades de uma calculadora, a qual modela as operações básicas de aritmética. Palavras-chave: máquina de estados finita; modelagem formal; especificação de sistemas; desenvolvimento de software.
AbstractSeveral specification techniques are being used in software development process. These techniques can be formal or not according to the developing system. In this work, a formal modeling technique is applied in a case study. The Finite State Machine model is used to specify the calculator functionalities, which models the basic arithmetical operations.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.