An investigation of Hebbian phase sequences as assembly graphs

Hebb proposed that synapses between neurons that fire synchronously are strengthened, forming cell assemblies and phase sequences. The former, on a shorter scale, are ensembles of synchronized cells that function transiently as a closed processing system; the latter, on a larger scale, correspond to the sequential activation of cell assemblies able to represent percepts and behaviors. Nowadays, the recording of large neuronal populations allows for the detection of multiple cell assemblies. Within Hebb's theory, the next logical step is the analysis of phase sequences. Here we detected phase sequences as consecutive assembly activation patterns, and then analyzed their graph attributes in relation to behavior. We investigated action potentials recorded from the adult rat hippocampus and neocortex before, during and after novel object exploration (experimental periods). Within assembly graphs, each assembly corresponded to a node, and each edge corresponded to the temporal sequence of consecutive node activations. The sum of all assembly activations was proportional to firing rates, but the activity of individual assemblies was not. Assembly repertoire was stable across experimental periods, suggesting that novel experience does not create new assemblies in the adult rat. Assembly graph attributes, on the other hand, varied significantly across behavioral states and experimental periods, and were separable enough to correctly classify experimental periods (Naïve Bayes classifier; maximum AUROCs ranging from 0.55 to 0.99) and behavioral states (waking, slow wave sleep, and rapid eye movement sleep; maximum AUROCs ranging from 0.64 to 0.98). Our findings agree with Hebb's view that assemblies correspond to primitive building blocks of representation, nearly unchanged in the adult, while phase sequences are labile across behavioral states and change after novel experience. The results are compatible with a role for phase sequences in behavior and cognition.

Utilização de um aplicativo de simulação computacional na avaliação de desempenho térmico de protótipo de habitação de interesse social (his)

This Masters Degree dissertation seeks to make a comparative study of internal air temperature data, simulated through the thermal computer application DesignBuilder 1.2, and data registered in loco through HOBO® Temp Data Logger, in a Social Housing Prototype (HIS), located at the Central Campus of the Federal University of Rio Grande do Norte UFRN. The prototype was designed and built seeking strategies of thermal comfort recommended for the local climate where the study was carried out, and built with panels of cellular concrete by Construtora DoisA, a collaborator of research project REPESC Rede de Pesquisa em Eficiência Energética de Sistemas Construtivos (Research Network on Energy Efficiency of Construction Systems), an integral part of Habitare program. The methodology employed carefully examined the problem, reviewed the bibliography, analyzing the major aspects related to computer simulations for thermal performance of buildings, such as climate characterization of the region under study and users thermal comfort demands. The DesignBuilder 1.2 computer application was used as a simulation tool, and theoretical alterations were carried out in the prototype, then they were compared with the parameters of thermal comfort adopted, based on the area s current technical literature. Analyses of the comparative studies were performed through graphical outputs for a better understanding of air temperature amplitudes and thermal comfort conditions. The data used for the characterization of external air temperature were obtained from the Test Reference Year (TRY), defined for the study area (Natal-RN). Thus the author also performed comparative studies for TRY data registered in the years 2006, 2007 and 2008, at weather station Davis Precision Station, located at the Instituto Nacional de Pesquisas Espaciais INPE-CRN (National Institute of Space Research), in a neighboring area of UFRN s Central Campus. The conclusions observed from the comparative studies performed among computer simulations, and the local records obtained from the studied prototype, point out that the simulations performed in naturally ventilated buildings is quite a complex task, due to the applications limitations, mainly owed to the complexity of air flow phenomena, the influence of comfort conditions in the surrounding areas and climate records. Lastly, regarding the use of the application DesignBuilder 1.2 in the present study, one may conclude that it is a good tool for computer simulations. However, it needs some adjustments to improve reliability in its use. There is a need for continued research, considering the dedication of users to the prototype, as well as the thermal charges of the equipment, in order to check sensitivity

O discurso religioso no processo migratório para o caldeirão do beato José Lourenço

The Caldeirão is a site located in the city of Crato, in the south of Ceará, belonged to priest Cícero Romão Batista. There, was created a religious community led by blessed José Lourenço, who marked the life of thousands of Northeast country people in 1930s, for represent to them a space of religious conviviality, work and devotion. The Caldeirão s population was about three thousand of people, originated from states of Pernambuco, Alagoas, Paraíba, Maranhão, Piauí, Ceará and Rio Grande do Norte, who share the community s daily activities. The misery caused by the dryness and exploration of these country people by the landlords are indicated as the motivator elements of this migratory flux by the greater number of works published about the Caldeirão, turning the community into a primitive experience of class struggles. This present study proposes other comprehension of this migratory movement by the religious speech of salvation taken to country people by the counselor Severino Tavares. Was used as analysis camp the remaining norte-rio-grandenses that migrated to the Caldeirão, and as theoretical and methodological references the understanding model of investigation, the cultural history and the remaining memorial speech analysis. The work follows that pointing the phenomenon of Caldeirão as an campestral revolt is try to impose to this people the aspirations or wishes of others, besides of deny to them the right and the dignity of act by their believes and their own dreams.

Estabilidade e robustez de um controlador adaptativo indireto por um modelo de referência e estrutura variável

In this thesis, it is developed the robustness and stability analysis of a variable structure model reference adaptive controller considering the presence of disturbances and unmodeled dynamics. The controller is applied to uncertain, monovariable, linear time-invariant plants with relative degree one, and its development is based on the indirect adaptive control. In the direct approach, well known in the literature, the switching laws are designed for the controller parameters. In the indirect one, they are designed for the plant parameters and, thus, the selection of the relays upper bounds becomes more intuitive, whereas they are related to physical parameters, which present uncertainties that can be known easier, such as resistances, capacitances, inertia moments and friction coefficients. Two versions for the controller algorithm with the stability analysis are presented. The global asymptotic stability with respect to a compact set is guaranteed for both cases. Simulation results under adverse operation conditions in order to verify the theoretical results and to show the performance and robustness of the proposed controller are showed. Moreover, for practical purposes, some simplifications on the original algorithm are developed

Revisitando o problema de visibilidade para visualização tridimensional

We revisit the problem of visibility, which is to determine a set of primitives potentially visible in a set of geometry data represented by a data structure, such as a mesh of polygons or triangles, we propose a solution for speeding up the three-dimensional visualization processing in applications. We introduce a lean structure , in the sense of data abstraction and reduction, which can be used for online and interactive applications. The visibility problem is especially important in 3D visualization of scenes represented by large volumes of data, when it is not worthwhile keeping all polygons of the scene in memory. This implies a greater time spent in the rendering, or is even impossible to keep them all in huge volumes of data. In these cases, given a position and a direction of view, the main objective is to determine and load a minimum ammount of primitives (polygons) in the scene, to accelerate the rendering step. For this purpose, our algorithm performs cutting primitives (culling) using a hybrid paradigm based on three known techniques. The scene is divided into a cell grid, for each cell we associate the primitives that belong to them, and finally determined the set of primitives potentially visible. The novelty is the use of triangulation Ja 1 to create the subdivision grid. We chose this structure because of its relevant characteristics of adaptivity and algebrism (ease of calculations). The results show a substantial improvement over traditional methods when applied separately. The method introduced in this work can be used in devices with low or no dedicated processing power CPU, and also can be used to view data via the Internet, such as virtual museums applications

Análise comparativa entre propriedades mecânicas, termofísicas e geométricas de tijolos produzidos pelos fornos caieira e abóbada

In the State of Rio Grande do Norte potteries are distributed in several counties in the four meso, which are: West Potiguar, Center Potiguar, Agreste Potiguar and East Portiguar. The ceramics, mostly, are responsible for products used in construction as bricks, tiles and white brick and wood used as fuel. This paper had a primary focus in the region of Seridó. The furnaces in this region, used to manufacture bricks are configured Caieira and Valt, in most of them using principles rustic, usually operated in an empirical way, using principles of control rather primitive, predominantly visual control. The focus of this study was to analyze the differences in the thermophysical, mechanical and geometric characteristics of bricks produced by Caieira and vault furnaces, using the NBR 15720 and the evaluation of energy efficiency in both furnaces. Thermophysical characteristics were analyzed through tests to determine the water absorption obtained from the difference between dry mass and wet mass of the sample and analysis of the thermal gradient, the mechanical characteristics from determination of the compressive strength of ceramic brick popularly known as bricks and also analyzed the geometrical characteristics of the bricks in order to verify the homogeneity of manufacturing. The tests showed that the energy difference of the two furnaces is not considered responsible for a significant difference in the properties of the products

Caracterização dos resíduos esgotados de sistemas de tratamento individual de esgotos de Natal

In Natal still dominates the use of individual disposal systems for domestic sewage, once only 29% of the city has a sewarage system. Wastes that are accumulated in these individual treatment systems should be exhausted periodically, service provided by collector entrepreneurs. Some of these companies causing major damage to the environment. In Natal, only two companies have their own septage (RESTI) treatment system, which were designed with parameters from domestic sewage generating strain and inefficient systems. Therefore, the characterization becomes essential as a source of parameters for their design. Thus, this work presents the physical-chemical and microbiological characterization of waste pumped from individual sewage treatment systems. Samples collections were made weekly from 5 different trucks at the reception point on the treatment plant on the point of the preliminary treatment. From each truck it was taken 5 samples during the discharge in order to make a composite sample. Afterwards, samples were carried out to laboratory and analyses for determination of temperature, pH, conductivity, BOD, COD, nitrogen (ammonia e organic), alkalinity, oils, phosphorus, solids, faecal coliforms and helminth egg. The results were treated as a single database, and ranked according to its generating source (multi and single house, lodging, health, services and / or food), area of origin (metropolitan, south and north) and type of system (cesspits, septic tank and / or sink). Through these data it was possible to verify that the type of system adopted by most in Natal and the metropolitan region is cesspit, besides to confirm the difference between the septage of areas with a population have different social and economical characteristics. It was found that the septage have higher concentrations than domestic sewage, except for thermotolerant coliforms that showed concentrations of 1,38E+07. Among the parameters studied, is the median values identified for COD (3,549 mg / L), BOD (973mg / L) and total solids (3.557mg / L). The volatile fraction constitutes about 70% of the total solids of the septage. For helminths has been a median of 7 eggs/L. In general, the characteristics of the waste followed the variability found in the literature reviewed for all variables, showing high amplitudes

Propriedades físicas de bicamadas magnéticas

The magnetic order of bylayers composed by a ferromagnetic film (F) coupled with an antiferromagnetic film (AF) is studied. Piles of coupled monolayers describe the films and the interfilm coupling is described by an exchange interaction between the magnetic moments at the interface. The F has a cubic anisotropy while the AF has a uniaxial anisotropy. We analyze the effects of an external do magnetic field applied parallel to the interface. We consider the intralayer coupling is strong enough to keep parallel all moments of the monolayer an then they are described by one vector proportional to the magnetization of the layer. The interlayer coupling is represented by an exchange interaction between these vectors. The magnetic energy of the system is the sum of the exchange. Anisotropy and Zeeman energies and the equilibrium configuration is one that gives the absolute minimum of the total energy. The magnetization of the system is calculated and the influence of the external do field combined with the interfilm coupling and the unidirectional anisotropy is studied. Special attention is given to the region near of the transition fields. The torque equation is used to study dynamical behavior of these systems. We consider small oscillations around the equilibrium position and we negleet nonlinear terms to obtain the natural frequencies of the system. The dependence of the frequencies with the external do field and their behavior in the phase transition region is analized

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

CES: Um Mecanismo Genérico de Composição de Eventos para Sistemas Sensíveis ao Contexto

Pervasive applications use context provision middleware support as infrastructures to provide context information. Typically, those applications use communication publish/subscribe to eliminate the direct coupling between components and to allow the selective information dissemination based in the interests of the communicating elements. The use of composite events mechanisms together with such middlewares to aggregate individual low level events, originating from of heterogeneous sources, in high level context information relevant for the application. CES (Composite Event System) is a composite events mechanism that works simultaneously in cooperation with several context provision middlewares. With that integration, applications use CES to subscribe to composite events and CES, in turn, subscribes to the primitive events in the appropriate underlying middlewares and notifies the applications when the composed events happen. Furthermore, CES offers a language with a group of operators for the definition of composite events that also allows context information sharing

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Controlador adaptativo backstepping a estrutura variável

Neste trabalho, um controlador adaptativo backstepping a estrutura variável (Variable Structure Adaptive Backstepping Controller, VS-ABC) é apresentado para plantas monovariáveis, lineares e invariantes no tempo com grau relativo unitário. Ao invés das tradicionais leis integrais para estimação dos parâmetros da planta, leis chaveadas são utilizadas com o objetivo de aumentar a robustez em relação a incertezas paramétricas e distúrbios externos, bem como melhorar o desempenho transitório do sistema. Adicionalmente, o projeto do novo controlador é mais intuitivo quando comparado ao controlador backstepping original, uma vez que os relés introduzidos apresentam amplitudes diretamente relacionadas com os parâmetros nominais da planta. Esta nova abordagem, com uso de estrutura variável, também reduz a complexidade das implementações práticas, motivando a utilização de componentes industriais, tais como, FPGAs (Field Programmable Gate Arrays ), MCUs (Microcontrollers) e DSPs (Digital Signal Processors). Simulações preliminares para um sistema instável de primeira e segunda ordem são apresentadas de modo a corroborar os estudos. Um dos exemplos de Rohrs é ainda abordado através de simulações, para os dois cenários adaptativos: o controlador backstepping adaptativo original e o VS-ABC

Calculando distância em geometria espacial usando material manipulável como recurso didático

This work presents a proposal for introducing the teaching of Geometry Space study attempts to demonstrate that the use of manipulatives as a teaching resource can be an alternative learning facilitator for fixing the primitive concepts of geometry, the postulates and theorems, position relationships between points, lines and planes and calculating distances. The development makes use of a sequence of activities aimed at ensuring that students can build a more systematic learning and these are divided into four steps