11,498 research outputs found
Estévia.
Viabilidade socioeconômica do desenvolvimento agroindustrial da estévia; Botânica; Aspectos bioquÃmicos e organolépticos dos princÃpios ativos; Produção de sementes e mudas; Nutrição e adubação; Controle de plantas daninhas; Ocorrência de doenças e pragas; Irrigação; Colheita, secagem e armazenamento das folhas; Comercialização das folhas.bitstream/item/103385/1/SP5-2004.pd
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters
In the digital signal processing (DSP) area, one of the most important tasks
is digital filter design. Currently, this procedure is performed with the aid
of computational tools, which generally assume filter coefficients represented
with floating-point arithmetic. Nonetheless, during the implementation phase,
which is often done in digital signal processors or field programmable gate
arrays, the representation of the obtained coefficients can be carried out
through integer or fixed-point arithmetic, which often results in unexpected
behavior or even unstable filters. The present work addresses this issue and
proposes a verification methodology based on the digital-system verifier
(DSVerifier), with the goal of checking fixed-point digital filters w.r.t.
implementation aspects. In particular, DSVerifier checks whether the number of
bits used in coefficient representation will result in a filter with the same
features specified during the design phase. Experimental results show that
errors regarding frequency response and overflow are likely to be identified
with the proposed methodology, which thus improves overall system's
reliability
Jacobi multipliers, non-local symmetries and nonlinear oscillators
Constants of motion, Lagrangians and Hamiltonians admitted by a family of
relevant nonlinear oscillators are derived using a geometric formalism. The
theory of the Jacobi last multiplier allows us to find Lagrangian descriptions
and constants of the motion. An application of the jet bundle formulation of
symmetries of differential equations is presented in the second part of the
paper. After a short review of the general formalism, the particular case of
non-local symmetries is studied in detail by making use of an extended
formalism. The theory is related to some results previously obtained by
Krasil'shchi, Vinogradov and coworkers. Finally the existence of non-local
symmetries for such two nonlinear oscillators is proved.Comment: 20 page
- …