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

Arranjos para efeitos fixos e estruturas de (co)variâncias residuais para análises de medidas repetidas do peso de bovinos da raça Canchim.

Este trabalho foi realizado com o objetivo de selecionar o arranjo para efeitos fixos e a estrutura de (co)variância residual que melhor representam a variabilidade dos pesos dentro do rebanho e dentro dos indivíduos, considerando-se dados de pesos de bovinos analisados como medidas repetidas. Foram utilizados dados de peso de 3.690 bovinos Canchim, obtidos ao nascimento, à desmama, aos 12 e aos 18 meses de idade. Analisaram-se diferentes arranjos para os efeitos fixos (grupos de contemporâneos e/ou efeitos principais de ano, mês ou época de nascimento e sexo do bezerro) e diferentes estruturas de (co)variâncias para os resíduos, considerando-se ou não alteração da variância residual ao longo da vida do animal e alteração da correlação entre as medidas tomadas em intervalos diferentes. Os resultados indicaram que o arranjo mais adequado dos efeitos fixos para representar a variabilidade dos pesos dos animais dentro do rebanho foi o grupo de contemporâneos formado por ano, mês e sexo do bezerro e que as melhores estruturas de (co)variâncias residuais foram a Fator Analítico de Primeira Ordem e a Não Estruturada, que consideram o aumento das variâncias com o aumento da idade do indivíduo e as correlações diferentes para cada par de medidas de peso

Abordagens frequentista e bayesiana para avaliação genética de bovinos da raça Canchim para características de crescimento.

Este trabalho foi realizado com os objetivos de: a) comparar os componentes de (co)variância obtidos por meio dos métodos da Máxima Verossimilhança Restrita (REML) e da inferência bayesiana (IB); b) realizar a avaliação genética do peso à desmama (P240) e aos 18 meses de idade (P550) de bovinos da raça Canchim, padronizados ou não para 240 e 550 dias de idade, respectivamente, utilizando-se a metodologia dos modelos mistos e a obtenção dos componentes de (co)variância por REML ou IB; e c) verificar a semelhança entre os animais selecionados considerando se a avaliação genética realizada com os pesos reais ou padronizados e por meio de abordagens freqüentista ou bayesiana. Foram obtidos os componentes de (co) variância, herdabilidade e correlação genética para P240 e P550. Os valores genéticos obtidos foram utilizados para simular um processo de seleção em que 10% dos touros e 50% das vacas com os maiores valores genéticos aditivos diretos teriam chance de reproduzir. Os componentes de (co)variância e os parâmetros genéticos estimados por REML, na maioria dos casos, foram inferiores às médias a posteriori obtidas por IB. Ocorreram diferenças quanto aos animais selecionados, provavelmente em decorrência das diferenças entre os componentes de (co)variância e dos parâmetros genéticos obtidos. Adotando-se a IB, a inclusão da idade do animal no momento da pesagem como ovariável no modelo estatístico não provocou grande alteração dos touros e vacas selecionados

Quantifying the Drivers of Star Formation on Galactic Scales. I. The Small Magellanic Cloud

We use the star formation history of the Small Magellanic Cloud (SMC) to place quantitative limits on the effect of tidal interactions and gas infall on the star formation and chemical enrichment history of the SMC. The coincident timing of two recent (< 4 Gyr) increases in the star formation rate and SMC/Milky Way(MW) pericenter passages suggests that global star formation in the SMC is driven at least in part by tidal forces due to the MW. The Large Magellanic Cloud (LMC) is the other potential driver of star formation, but is only near the SMC during the most recent burst. The poorly constrained LMC-SMC orbit is our principal uncertainty. To explore the correspondence between bursts and MW pericenter passages further, we model star formation in the SMC using a combination of continuous and tidally-triggered star formation. The behavior of the tidally-triggered mode is a strong inverse function of the SMC-MW separation (preferred behavior ~ r^-5, resulting in a factor of ~100 difference in the rate of tidally-triggered star formation at pericenter and apocenter). Despite the success of these closed-box evolutionary models in reproducing the recent SMC star formation history and current chemical abundance, they have some systematic shortcomings that are remedied by postulating that a sizable infall event (~ 50% of the total gas mass) occured about 4 Gyr ago. Regardless of whether this infall event is included, the fraction of stars in the SMC that formed via a tidally triggered mode is > 10% and could be as large as 70%.Comment: Accepted for publication in Ap

Avaliação genética do peso ao desmame de bovinos Canchim utilizando as metodologias REML e inferência Bayesiana.

O objetivo deste trabalho foi comparar as metodologias REML e Inferência Bayesiana (IB) na estimação de parâmetros genéticos do peso ao desmame (PD) de bovinos Canchim. O PD foi analisado por meio de um modelo animal que incluiu os efeitos fixos de grupo de contemporâneos (ano e mês de nascimento), sexo do bezerro e idade da vaca como covariável (linear e quadrática) e como aleatórios, os efeitos genéticos aditivos direto e materno, de ambiente materno permanente e residual. Os pesos foram analisados sem padronização para a idade, considerando-se a idade do animal ao desmame como covariável (linear); padronizando-se PD para 240 dias, utilizando-se o ganho diário de peso do nascimento ao desmame e sem nenhuma correção para a idade do animal no dia da pesagem. Os componentes de (co)variância foram estimados pelas metodologias REML e IB e os valores genéticos foram preditos pelo BLUP. As estimativas de variância genética aditiva direta e materna obtidas por IB foram superiores às obtidas por REML, enquanto que as estimativas de covariância entre os efeitos genéticos aditivos direto e materno, a variância do efeito materno permanente e a variância residual foram maiores para REML. Houve também diferença entre os componentes de (co)variância estimados utilizando-se as diferentes formas de padronização do peso dos animais, independente da metodologia utilizada, proporcionando, assim, alteração na classificação dos touros e vacas selecionados com base no maior valor genético direto