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

Serious Games in Cultural Heritage

Although the widespread use of gaming for leisure purposes has been well documented, the use of games to support cultural heritage purposes, such as historical teaching and learning, or for enhancing museum visits, has been less well considered. The state-of-the-art in serious game technology is identical to that of the state-of-the-art in entertainment games technology. As a result the field of serious heritage games concerns itself with recent advances in computer games, real-time computer graphics, virtual and augmented reality and artificial intelligence. On the other hand, the main strengths of serious gaming applications may be generalised as being in the areas of communication, visual expression of information, collaboration mechanisms, interactivity and entertainment. In this report, we will focus on the state-of-the-art with respect to the theories, methods and technologies used in serious heritage games. We provide an overview of existing literature of relevance to the domain, discuss the strengths and weaknesses of the described methods and point out unsolved problems and challenges. In addition, several case studies illustrating the application of methods and technologies used in cultural heritage are presented

Caracterização da comunidade de borboletas frugívoras do Parque Zoobotânico de Macapá, AP.

Resumo simples

Distribuição temporal e espacial do besouro-verde-do-açaizeiro [Macraspis pseudochrysis (Coleoptera: Scarabaeidae: Rutelini)] em açaizeiros de várzea em Mazagão, Amapá.

Em diferentes regiões do Estado do Amapá, foi verificada recentemente a ocorrência do besouro-verde-do-açaizeiro (Macraspis pseudochrysis Landin), derrubando as inflorescências de açaizeiro (Euterpe oleracea) em várzeas, provocando preocupação aos produtores, uma vez que a ação deste inseto poderia influenciar na formação de frutos. Com o objetivo de avaliar a distribuição temporal e espacial de M. pseudochrysis, foram realizadas amostragens mensais em inflorescências de E. oleracea em várzea no Campo Experimental da Embrapa Amapá em Mazagão, Amapá. Os açaizeiros eram provenientes de duas regiões do estuário amazônico que apresentam produção de frutos em épocas distintas do ano. A população 1 foi representada por açaizeiros que têm a produção de frutos no período chuvoso do ano (abril a agosto) e a população 2 foi composta por açaizeiros do tipo açaí de verão tendo sua produção de frutos no período de estiagem (agosto a dezembro). No período de maio a outubro de 2011 foram registrados 271 indivíduos de M. pseudochrysis em toda a área experimental. Na população 1 a maior densidade foi obtida em maio, apresentando 3 indivíduos/inflorescência. A população 2 apresentou densidade mais alta em julho com 4 indivíduos/inflorescência. Na maioria das ocasiões de amostragem o padrão de distribuição espacial foi agregado em ambas as populações.bitstream/item/100960/1/CPAF-AP-2014-BPD-82-Besouro-acai-DG3comCGPE.pd

Disorder effects at low temperatures in La_{0.7-x}Y_{x}Ca_{0.3}MnO_{3} manganites

With the aim of probing the effect of magnetic disorder in the low-temperature excitations of manganites, specific-heat measurements were performed in zero field, and in magnetic fields up to 9 T in polycrystalline samples of La_{0.7-x}Y_{x}Ca_{0.3}MnO_{3}, with Y concentrations x=0, 0.10, and 0.15. Yttrium doping yielded the appearance of a cluster-glass state, giving rise to unusual low-temperature behavior of the specific-heat. The main feature observed in the results is a strong enhancement of the specific-heat linear term, which is interpreted as a direct consequence of magnetic disorder. The analysis was further corroborated by resistivity measurements in the same compounds.Comment: 9 pages, 2 figure

Fungos micotoxigênicos e ocratoxina A em cafés com permanência prolongada na planta e no solo, colhidos nas regiões do cerrado mineiro e baiano.

No Brasil, as regiões do Cerrado Mineiro e Baiano são destaque pela produtividade e qualidade dos grãos produzidos. A florada desuniforme do café no Brasil implica em frutos com diversos estágios de amadurecimento no período da colheita. Assim, frutos não colhidos oportunamente permanecem na planta ou caem no solo, e quando aproveitados farão parte de uma safra de baixa qualidade. Portanto, foi objetivo deste trabalho estudar frutos de café com exposição prolongada na planta e no solo, avaliando a colonização por fungos micotoxigênicos, a produção de ocratoxina A (OTA) e a dinâmica de umidade e atividade de água nos frutos nessas regiões produtoras. O café com permanência prolongada na planta não apresentou grandes variações nos teores de umidade e atividade de água durante os 120 dias estudados. Entretanto, o café com permanência prolongada no solo, apresentou, após 90 dias, variação drástica nos teores de umidade e atividade de água entre as regiões estudadas. Nesse período, a umidade e atividade de água foram de 14,15% e 0,74, 6,64% e 0,63 para o Cerrado Mineiro e Baiano, respectivamente. Apesar do café com permanência prolongada na planta ter sido intensamente colonizado por Aspergillus ochraceus G. Wilh. (1877), não foi detectada a presença de OTA. No café com permanência prolongada no solo detectaram-se níveis muito elevados, 49,42 e 30,93 ?g.kg-1 de OTA, no Cerrado Mineiro e Baiano, respectivamente. Pode-se constatar que independente da região de interesse, cafés com permanência prolongada na planta ou no solo interferem decisivamente na qualidade do café colhido

How Can Subsampling Reduce Complexity in Sequential MCMC Methods and Deal with Big Data in Target Tracking?

Target tracking faces the challenge in coping with large volumes of data which requires efficient methods for real time applications. The complexity considered in this paper is when there is a large number of measurements which are required to be processed at each time step. Sequential Markov chain Monte Carlo (MCMC) has been shown to be a promising approach to target tracking in complex environments, especially when dealing with clutter. However, a large number of measurements usually results in large processing requirements. This paper goes beyond the current state-of-the-art and presents a novel Sequential MCMC approach that can overcome this challenge through adaptively subsampling the set of measurements. Instead of using the whole large volume of available data, the proposed algorithm performs a trade off between the number of measurements to be used and the desired accuracy of the estimates to be obtained in the presence of clutter. We show results with large improvements in processing time, more than 40 % with a negligible loss in tracking performance, compared with the solution without subsampling