Group Sequential Communication (GSC): Especificação e Análise de Desempenho de umMecanismo de Comunicação de Tempo Real Compatível ao Padrão IEEE 802.11/11e Aplicado à Automação Industrial

This thesis proposes the specification and performance analysis of a real-time communication mechanism for IEEE 802.11/11e standard. This approach is called Group Sequential Communication (GSC). The GSC has a better performance for dealing with small data packets when compared to the HCCA mechanism by adopting a decentralized medium access control using a publish/subscribe communication scheme. The main objective of the thesis is the HCCA overhead reduction of the Polling, ACK and QoS Null frames exchanged between the Hybrid Coordinator and the polled stations. The GSC eliminates the polling scheme used by HCCA scheduling algorithm by using a Virtual Token Passing procedure among members of the real-time group to whom a high-priority and sequential access to communication medium is granted. In order to improve the reliability of the mechanism proposed into a noisy channel, it is presented an error recovery scheme called second chance algorithm. This scheme is based on block acknowledgment strategy where there is a possibility of retransmitting when missing real-time messages. Thus, the GSC mechanism maintains the real-time traffic across many IEEE 802.11/11e devices, optimized bandwidth usage and minimal delay variation for data packets in the wireless network. For validation purpose of the communication scheme, the GSC and HCCA mechanisms have been implemented in network simulation software developed in C/C++ and their performance results were compared. The experiments show the efficiency of the GSC mechanism, especially in industrial communication scenarios.

Neurofisiologia hipocampal durante sessões de sono intercaladas por exploração espacial: Reverberação do passado ou predição do futuro?

The ability to predict future rewards or threats is crucial for survival. Recent studies have addressed future event prediction by the hippocampus. Hippocampal neurons exhibit robust selectivity for spatial location. Thus, the activity of hippocampal neurons represents a cognitive map of space during navigation as well as during planning and recall. Spatial selectivity allows the hippocampus to be involved in the formation of spatial and episodic memories, including the sequential ordering of events. On the other hand, the discovery of reverberatory activity in multiple forebrain areas during slow wave and REM sleep underscored the role of sleep on the consolidation of recently acquired memory traces. To this date, there are no studies addressing whether neuronal activity in the hippocampus during sleep can predict regular environmental shifts. The aim of the present study was to investigate the activity of neuronal populations in the hippocampus during sleep sessions intercalated by spatial exploration periods, in which the location of reward changed in a predictable way. To this end, we performed the chronic implantation of 32-channel multielectrode arrays in the CA1 regions of the hippocampus in three male rats of the Wistar strain. In order to activate different neuronal subgroups at each cycle of the task, we exposed the animals to four spatial exploration sessions in a 4-arm elevated maze in which reward was delivered in a single arm per session. Reward location changed regularly at every session in a clockwise manner, traversing all the arms at the end of the daily recordings. Animals were recorded from 2-12 consecutive days. During spatial exploration of the 4-arm elevated maze, 67,5% of the recorded neurons showed firing rate differences across the maze arms. Furthermore, an average of 42% of the neurons showed increased correlation (R>0.3) between neuronal pairs in each arm. This allowed us to sort representative neuronal subgroups for each maze arm, and to analyze the activity of these subgroups across sleep sessions. We found that neuronal subgroups sorted by firing rate differences during spatial exploration sustained these differences across sleep sessions. This was not the case with neuronal subgroups sorted according to synchrony (correlation). In addition, the correlation levels between sleep sessions and waking patterns sampled in each arm were larger for the entire population of neurons than for the rate or synchrony subgroups. Neuronal activity during sleep of the entire neuronal population or subgroups did not show different correlations among the four arm mazes. On the other hand, we verified that neuronal activity during pre-exploration sleep sessions was significantly more similar to the activity patterns of the target arm than neuronal activity during pre-exploration sleep sessions. In other words, neuronal activity during sleep that precedes the task reflects more strongly the location of reward than neuronal activity during sleep that follows the task. Our results suggest that neuronal activity during sleep can predict regular environmental changes

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic