A apreciação musical infantil: aspectos da constituição da infância contemporânea no discurso de crianças do Ensino Fundamental

Music can be found in peculiar historical and social context with distinct functions, such as religious rituals, ethic-esthetic education of subjects, therapeutic elements, critic and maintenance of established patterns, among others. Considered as language, music acts on dialogue dimensions of the body, the senses, the affectionate-cognitive and of social interactions. Their uses reveal the social forces that cross the culture and constitution of subjectivities. The attribution of senses by the subjects to musical production reveals the cultural voices in dialogue, that circumscribe determined social places to them. Our aim in this work is to investigate the child musical appreciation, with children about 7 to 9 years old, and, by attributing uses and senses to music, unveil the voices that settle the places intended and assumed by infancy in contemporaneity The child constructs its musical appreciation through cultural access and mediation, possible by circulation in several socializing groups like family, school, church, infant groups, community groups and, more recently, publicity and media These last two spheres, enabled by the development of the technological means of communication, contributed to the dissemination of the set of consume ideas and for the emergence of the cultural industry, characteristic of the capitalistic production way in its present configuration. They develop new possibilities of perception of the world, in which the limits between childhood and adulthood are not anymore the same that have been established in previous centuries. So, the child musical appreciation is constituted by homogeneity regarding the senses built and disseminated by cultural industry and by the logical merchandizing, and singularities, associated to the construction of senses in interaction with global, local, and multiple contexts, through which the subject circulates and constitutes himself polyphonically

Acolhimento institucional e desenvolvimento moral: a generosidade em crianças de quatro a seis anos de idade em situação de abrigo

This research has as main proposal to verify how the virtue of generosity, considered as one of the important aspects of moral development on children, shows itself in children between four and six years old in institutional welcome condition. Toward this aim, knowledge in Human Development Psychology, specifically Jean Piaget and his contemporary collaborators, were associated to philosophic knowledge, with emphasis in Kant and Aristotle. The research took place in an institutional welcome service in the town of Natal-RN, between February and May of 2009, witch is responsible to offer care to children from zero till six years old. As procedure were used: the rulebased game Memory Game ; the childhood story One note fight ; and observations of the institution s everyday. The corpus analysis was done by the Thematic Content Analysis method. In general, in the daily observations, children showed themselves more co-operative and generous than in the executed procedures, mainly when the matter subject was other´s well-being. The duty, Kantian perspective, was overcome by the Aristotelian sumo bem, classified as generous act of afford to other what is not posted as right, however guaranteed by solidarity

Java applets para um software educacional distribuído em eletrônica de potência

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O psicólogo e os serviços de acolhimento institucional para crianças e adolescentes

The Shelters are responsible for caring for children and adolescents whose families or guardians are temporarily unable to fulfill his role as care and protection. The activities to be developed by psychologists in these services are greatly important for the elaboration and development of political- pedagogical project of the same, and for reasons pertaining to the present and future of children and adolescents received judgments. The psychologist puts up the challenge of contributing to a better care of children, also cooperating with the implementation of the new care standards of childcare. The aim of this study was to investigate the role of the professional psychologist in assistance to children and adolescents in 13 Shelters in the Metropolitan Region of Natal/RN. For both set out to make visits to the institutions to know how it is organized the field work of the psychologist, his routine work and activities developed. Nine psychologists interviewed according to a semi-structured interview script. The data analysis is supported by the theoretical aspects of dialectical materialism historical and theme content analysis was used. Results were presented from three angles: psychologists and institutional framework; activities, resources and methods of work; psychologists and legal frameworks of the Institutional Hospitality. The study points out the recent entry of the psychologist in Shelters, combined with considerable turnover of these professionals. This work has been organized through the Individualized Service Plan, prioritizing the return to family of origin. Moreover, in general, perform joints with the service network, reporting, individual consultations and follow-adoption processes . Staff members, however, feel a lack of specific and continuing training on special protection, including due to the distance between the proposed theory and practice. It was thus observed a movement of psychologists distance themselves from welfare or repressive practices, however the structural difficulties of services and lack of continuing education appear to limit the development of a performance focused on the transformation of the reality of children and adolescents treated and their families

Caracterização de aspectos da cognição social, habilidades sociais e funções executivas de crianças diagnosticadas com transtorno autista e transtorno de asperger

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts

Uma proposta de framework como infra-estrutura de implementação de sistemas informacionais baseados na visão dos FRBR orientado a objetos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Relação entre habilidades auditivas e fonológicas em crianças com dislexia do desenvolvimento

A dislexia do desenvolvimento, dificuldade específica de leitura, é caracterizada pela dificuldade em realizar a decodificação fono-grafêmica e percepção de fonemas acusticamente semelhantes. Este estudo teve como objetivo caracterizar o desempenho de crianças com dislexia quanto às habilidades auditivas e de consciência fonológica, correlacionando-as. Participaram deste estudo crianças com dislexia e com bom desempenho escolar, submetidas a avaliações audiológica, do processamento auditivo e das habilidades fonológicas. Os resultados indicaram diferença estatisticamente significante entre as habilidades auditivas de seqüência para sons verbais, mensagem competitiva ipsi e contra-lateral, dicótico de dígitos e dissílabos alternados e ainda nos subtestes de síntese, segmentação, manipulação e transposição. Os achados deste estudo evidenciaram correlação entre provas de memória auditiva e manipulação silábica e fonêmica e associação entre habilidades auditivas e fonológicas, sugerindo que os processos auditivos interferem diretamente na percepção de aspectos acústicos, temporais e seqüenciais dos sons para formação de uma representação fonológica estável.

Aspectos da fluência na narrativa oral de indivíduos com Transtorno do Espectro Alcoólico Fetal

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relação entre achados em neuroimagem, habilidades auditivas e metafonológicas em escolares com dislexia do desenvolvimento

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estudo da viabilidade do desenvolvimento de sistemas integrados baseados em redes em chip sem processadores: sistema IPNoSys

The increase of capacity to integrate transistors permitted to develop completed systems, with several components, in single chip, they are called SoC (System-on-Chip). However, the interconnection subsystem cans influence the scalability of SoCs, like buses, or can be an ad hoc solution, like bus hierarchy. Thus, the ideal interconnection subsystem to SoCs is the Network-on-Chip (NoC). The NoCs permit to use simultaneous point-to-point channels between components and they can be reused in other projects. However, the NoCs can raise the complexity of project, the area in chip and the dissipated power. Thus, it is necessary or to modify the way how to use them or to change the development paradigm. Thus, a system based on NoC is proposed, where the applications are described through packages and performed in each router between source and destination, without traditional processors. To perform applications, independent of number of instructions and of the NoC dimensions, it was developed the spiral complement algorithm, which finds other destination until all instructions has been performed. Therefore, the objective is to study the viability of development that system, denominated IPNoSys system. In this study, it was developed a tool in SystemC, using accurate cycle, to simulate the system that performs applications, which was implemented in a package description language, also developed to this study. Through the simulation tool, several result were obtained that could be used to evaluate the system performance. The methodology used to describe the application corresponds to transform the high level application in data-flow graph that become one or more packages. This methodology was used in three applications: a counter, DCT-2D and float add. The counter was used to evaluate a deadlock solution and to perform parallel application. The DCT was used to compare to STORM platform. Finally, the float add aimed to evaluate the efficiency of the software routine to perform a unimplemented hardware instruction. The results from simulation confirm the viability of development of IPNoSys system. They showed that is possible to perform application described in packages, sequentially or parallelly, without interruptions caused by deadlock, and also showed that the execution time of IPNoSys is more efficient than the STORM platform

Implementação Hardware/Software da estimação de movimento segundo o padrão H.264

Motion estimation is the main responsible for data reduction in digital video encoding. It is also the most computational damanding step. H.264 is the newest standard for video compression and was planned to double the compression ratio achievied by previous standards. It was developed by the ITU-T Video Coding Experts Group (VCEG) together with the ISO/IEC Moving Picture Experts Group (MPEG) as the product of a partnership effort known as the Joint Video Team (JVT). H.264 presents novelties that improve the motion estimation efficiency, such as the adoption of variable block-size, quarter pixel precision and multiple reference frames. This work defines an architecture for motion estimation in hardware/software, using a full search algorithm, variable block-size and mode decision. This work consider the use of reconfigurable devices, soft-processors and development tools for embedded systems such as Quartus II, SOPC Builder, Nios II and ModelSim

Uma arquitetura de referência para o desenvolvimento de sistemas interativos multiplataformas

It is increasingly common use of a single computer system using different devices - personal computers, telephones cellular and others - and software platforms - systems graphical user interfaces, Web and other systems. Depending on the technologies involved, different software architectures may be employed. For example, in Web systems, it utilizes architecture client-server - usually extended in three layers. In systems with graphical interfaces, it is common architecture with the style MVC. The use of architectures with different styles hinders the interoperability of systems with multiple platforms. Another aggravating is that often the user interface in each of the devices have structure, appearance and behaviour different on each device, which leads to a low usability. Finally, the user interfaces specific to each of the devices involved, with distinct features and technologies is a job that needs to be done individually and not allow scalability. This study sought to address some of these problems by presenting a reference architecture platform-independent and that allows the user interface can be built from an abstract specification described in the language in the specification of the user interface, the MML. This solution is designed to offer greater interoperability between different platforms, greater consistency between the user interfaces and greater flexibility and scalability for the incorporation of new devices