Modelagem em SystemC-AMS de uma plataforma compatível com o sistema de coleta de dados brasileiro

This work presents simulation results of an identification platform compatible with the INPE Brazilian Data Collection System, modeled with SystemC-AMS. SystemC-AMS that is a library of C++ classes dedicated to the simulation of heterogeneous systems, offering a powerful resource to describe models in digital, analog and RF domains, as well as mechanical and optic. The designed model was divided in four parts. The first block takes into account the satellite s orbit, necessary to correctly model the propagation channel, including Doppler effect, attenuation and thermal noise. The identification block detects the satellite presence. It is composed by low noise amplifier, band pass filter, power detector and logic comparator. The controller block is responsible for enabling the RF transmitter when the presence of the satellite is detected. The controller was modeled as a Petri net, due to the asynchronous nature of the system. The fourth block is the RF transmitter unit, which performs the modulation of the information in BPSK ±60o. This block is composed by oscillator, mixer, adder and amplifier. The whole system was simulated simultaneously. The results are being used to specify system components and to elaborate testbenchs for design verification

Modelagem do consumo de energia de redes de sensores sem fio usando SystemC-AMS e stateflow

This work aims at modeling power consumption at the nodes of a Wireless Sensor Network (WSN). For doing so, a finite state machine was implemented by means of SystemC-AMS and Stateflow modeling and simulation tools. In order to achieve this goal, communication data in a WSN were collected. Based on the collected data, a simulation environment for power consumption characterization, which aimed at describing the network operation, was developed. Other than performing power consumption simulation, this environment also takes into account a discharging model as to analyze the battery charge level at any given moment. Such analysis result in a graph illustrating the battery voltage variations as well as its state of charge (SOC). Finally, a case study of the WSN power consumption aims to analyze the acquisition mode and network data communication. With this analysis, it is possible make adjustments in node-sensors to reduce the total power consumption of the network.

Metodologia de Verificação Funcional para Circuitos Analógicos

This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed

Avaliação por ressonância magnética funcional e estimulação magnética transcraniana da intervenção única da terapia espelho em pacientes após acidente vascular cerebral isquêmico

Mirror therapy (MT) is being used as a rehabilitation tool in various diseases, including stroke. Although some studies have shown its effectiveness, little is known about neural mechanisms that underlie the rehabilitation process. Therefore, this study aimed at assessing cortical neuromodulation after a single MT intervention in ischemic stroke survivors, by means of by functional Magnetic Resonance Imaging (fMRI) and Transcranial Magnetic Stimulation (TMS). Fifteen patients participated in a single thirty minutes MT session. fMRI data was analyzed bilaterally in the following Regions of Interest (ROI): Supplementary Motor Area (SMA), Premotor cortex (PMC), Primary Motor cortex (M1), Primary Sensory cortex (S1) and Cerebellum. In each ROI, changes in the percentage of occupation and beta values were computed. Group fMRI data showed a significant decreased in the percentage of occupation in PMC and cerebellum, contralateral to the affected hand (p <0.05). Significant increase in beta values was observed in the following contralateral motor areas: SMA, Cerebellum, PMC and M1 (p<0,005). Moreover, a significant decrease was observed in the following ipsilateral motor areas: PMC and M1 (p <0,001). In S1 a bilateral significant decrease (p<0.0005) was observed.TMS consisted of the analysis of Motor Evoked Potential (MEP) of M1 hotspot. A significant increase in the amplitude of the MEP was observed after therapy in the group (p<0,0001) and individually in 4 patients (p <0.05). Altogether, our results imply that single MT intervention is already capable of promoting changes in neurobiological markers toward patterns observed in healthy subjects. Furthermore, the contralateral hemisphere motor areas changes are opposite to the ones in the ipsilateral side, suggesting an increase system homeostasis.