Aspectos do cuidado cooperativo em dois grupos de Callithrix jacchus selvagens

The Callitrichidae family presents cooperative breeding, where breeders and non breeders take care of the offspring. The aspects of care analyzed in this study were infant carrying, supervision, proximity and food transfer. Three sets of infants from two wild groups of Callithrix jacchus were studied in the environments of Caatinga (Assu group) and Atlantic Forest (Jundiaí group). The methods used in the study were instantaneous focal sampling (infant carrying, supervision and proximity) and continuous focal sampling (food transfer). In the two sets observed in Assu group, the father carried and transferred food to infants more than the rest of the group. The biggest contribution in supervision was from the father and from another adult male. The members that remained in proximity to the infants in both groups were the younger in the groups (juveniles and sub-adults). In the Jundiaí group, the father and the adult male helper of the group were the main caregivers; one of the sub-adult females was responsible for supervision of the infants. With the disappearance of the reproductive male and one of the sub-adults females in 3º month of infants life, the care was redistributed and the only adult male left in the group was the animal that contributed more in provisioning of the infant. In the Assu group, there were adult females in its composition which were involved in agonistic interactions with breeders and adult males, and seemed to influence their low participation in care. Food transfer initiates early in the development of the infants, as a way to encourage nutritional independence. Different types of food transfer (active food transfer, food steal, food steal attempt, passive food transfer and food handling) were observed in the study and frequency of each one varied with developmental phase and tolerance by the members. One relevant data of the study was the presence of active food transfer in Assu group, since in literature there are very few registers of this type of transfer for this species. It is important that groups from distinct environments and composition be studied for a better understanding of the dynamics of infants development

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

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

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

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

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Midgard: um middleware baseado em componentes e orientado a recursos para redes de sensores sem fio

On the last years, several middleware platforms for Wireless Sensor Networks (WSN) were proposed. Most of these platforms does not consider issues of how integrate components from generic middleware architectures. Many requirements need to be considered in a middleware design for WSN and the design, in this case, it is possibility to modify the source code of the middleware without changing the external behavior of the middleware. Thus, it is desired that there is a middleware generic architecture that is able to offer an optimal configuration according to the requirements of the application. The adoption of middleware based in component model consists of a promising approach because it allows a better abstraction, low coupling, modularization and management features built-in middleware. Another problem present in current middleware consists of treatment of interoperability with external networks to sensor networks, such as Web. Most current middleware lacks the functionality to access the data provided by the WSN via the World Wide Web in order to treat these data as Web resources, and they can be accessed through protocols already adopted the World Wide Web. Thus, this work presents the Midgard, a component-based middleware specifically designed for WSNs, which adopts the architectural patterns microkernel and REST. The microkernel architectural complements the component model, since microkernel can be understood as a component that encapsulates the core system and it is responsible for initializing the core services only when needed, as well as remove them when are no more needed. Already REST defines a standardized way of communication between different applications based on standards adopted by the Web and enables him to treat WSN data as web resources, allowing them to be accessed through protocol already adopted in the World Wide Web. The main goals of Midgard are: (i) to provide easy Web access to data generated by WSN, exposing such data as Web resources, following the principles of Web of Things paradigm and (ii) to provide WSN application developer with capabilities to instantiate only specific services required by the application, thus generating a customized middleware and saving node resources. The Midgard allows use the WSN as Web resources and still provide a cohesive and weakly coupled software architecture, addressing interoperability and customization. In addition, Midgard provides two services needed for most WSN applications: (i) configuration and (ii) inspection and adaptation services. New services can be implemented by others and easily incorporated into the middleware, because of its flexible and extensible architecture. According to the assessment, the Midgard provides interoperability between the WSN and external networks, such as web, as well as between different applications within a single WSN. In addition, we assessed the memory consumption, the application image size, the size of messages exchanged in the network, and response time, overhead and scalability on Midgard. During the evaluation, the Midgard proved satisfies their goals and shown to be scalable without consuming resources prohibitively

Uma abordagem dirigida por modelos para gerência de variabilidade e execução de processos de software

This dissertation presents a model-driven and integrated approach to variability management, customization and execution of software processes. Our approach is founded on the principles and techniques of software product lines and model-driven engineering. Model-driven engineering provides support to the specification of software processes and their transformation to workflow specifications. Software product lines techniques allows the automatic variability management of process elements and fragments. Additionally, in our approach, workflow technologies enable the process execution in workflow engines. In order to evaluate the approach feasibility, we have implemented it using existing model-driven engineering technologies. The software processes are specified using Eclipse Process Framework (EPF). The automatic variability management of software processes has been implemented as an extension of an existing product derivation tool. Finally, ATL and Acceleo transformation languages are adopted to transform EPF process to jPDL workflow language specifications in order to enable the deployment and execution of software processes in the JBoss BPM workflow engine. The approach is evaluated through the modeling and modularization of the project management discipline of the Open Unified Process (OpenUP)

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process