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.

Aspectos prosódicos temporais da leitura de escolares com dislexia do desenvolvimento

OBJETIVO: Analisar, do ponto de vista fonético, por meio de medidas acústicas e perceptivas, os aspectos prosódicos temporais presentes na leitura em voz alta de escolares com e sem dislexia, a fim de identificar diferenças de desempenho entre os dois tipos de leitores que possam apontar para características peculiares da dislexia. MÉTODOS: Gravação da leitura de um texto por 40 escolares (entre nove e 14 anos, cursando da 3ª à 5ª série), sendo 10 disléxicos (grupo clínico) e 30 escolares sem queixas de alterações de aprendizagem (grupo não-clínico). Os dados foram analisados perceptivamente e acusticamente, utilizando-se o programa WinPitch. As seguintes medidas foram realizadas: duração e localização das pausas, tempo total de elocução, taxa de elocução, tempo de articulação e taxa de articulação. RESULTADOS: em comparação com o grupo não-clínico, o grupo clínico apresentou maior número de pausas e pausas mais longas; os valores obtidos para as taxas de elocução e de articulação indicaram respectivamente menor velocidade de leitura e uma lentidão na produção de cada gesto articulatório. CONCLUSÃO: As dificuldades identificadas no processamento da leitura pelas crianças com dislexia dificultam a organização prosódica na leitura de um texto.

Fatores de risco pré-operatórios para o desenvolvimento de Insuficiência Renal Aguda em cirurgia cardíaca

OBJETIVO:Avaliar os fatores de risco clínicos pré-cirurgicos para o desenvolvimento de Insuficiência Renal Aguda (IRA) em pacientes submetidos à cirurgia cardíaca. MÉTODO: Foram estudados, de modo prospectivo, 150 pacientes submetidos à cirurgia cardíaca, durante 21 meses consecutivos, havendo um leve predomínio de homens (57%), idade média de 56 ± 15 anos, sendo que 66% apresentavam insuficiência coronariana como principal diagnóstico e 34% valvulopatias. A mediana da creatinina sérica no período pré-operatório foi de 1,1 mg/dl. IRA foi definida como elevação de 30% da creatinina sérica basal. O protocolo de variáveis clínicas teve seu preenchimento iniciado 48 horas antes do procedimento cirúrgico e encerrado 48 horas após o mesmo, incluindo variáveis cardiológicas e não-cardiológicas, além de resultados laboratoriais. RESULTADOS: A IRA esteve presente em 34% dos casos. Após análise multivariada, presença de doença vascular periférica foi fator pré-operatório identificado. CONCLUSÃO: Os resultados obtidos nesse estudo permitiram sinalizar alguns fatores contributivos para o desenvolvimento de IRA em cirurgia cardíaca, o que pode possibilitar condutas clínicas simples para evitar a disfunção renal nestas situações e, conseqüentemente, redução da taxa de mortalidade. No presente trabalho, o tamanho da amostra talvez tenha impedido a identificação de outros fatores de risco significativos.

Fatores capazes de influenciar o apoio dos residentes ao desenvolvimento do turismo religioso em Santa Cruz - RN

This study is about the primary stakeholder management - the resident community, given its participation and support for the development of tourism in touristic destinations. It has as a general aim to analyze the factors that are capable to influence the residents‟ support to the development of religious tourism in Santa Cruz, RN, and the existing interrelationships between factors. In order to achieve this objective, it was necessary to use exploratory and descriptive research, followed by a quantitative approach through questionnaires with 422 residents of Santa Cruz -RN. The study was based on the variables relationship model proposed by Nunkoo and Ramkissoon (2012), it was also used the technique of Structural Equation Modeling - SEM, aiming to explain the relationships between the constructs studied. The results found on the survey suggest that the more residents realize the benefits generated by tourism, as well as trust in government actors in charge of tourism development, the more there will be a propensity to support the development of religious tourism. This result is similar to the one found in the study of Nunkoo and Ramkissoon (2012). We conclude that the structural model that best represents the reality of Santa Cruz -RN is composed of the factors: benefits, costs, and confidence in governmental actors, which are able to influence the support of Santa Cruz‟s residents for the development of religious tourism. It is also noteworthy that it was found a highly significant connection between the factors benefits perceived from tourism and confidence in governmental actors and between both of them, the political support for tourism

Potencial de uso dos recursos vegetais em uma comunidade rural do semiárido do Rio Grande do Norte

The aim of the present study was to identify the main plant use categories of native varieties from the Caatinga biome, in the rural community of Caicó, Rio Grande do Norte state (Northeastern Brazil). Semi-structured and structured interviews were used to gather information from local specialists about the use of the plants. The uses of 69 species are described by 23 observers (woodsmen, herb doctors, healers, farmers and housewives) aged 35 years or more. These species were allocated to seven categories: medicinal, wood plants, nutritional, mystic, fuel, forage plants and domestic use. The most represented families were Fabaceae (14 spp.), Euphorbiaceae (6 spp.), Cucurbitaceae (3 spp.) and Cactaceae (3 spp.). The calculation of use- value showed that the cumaru (Amburana cearensis (Allemão) A. C. Sm) and the jurema-preta (Mimosa tenuiflora (Willd.) Poir) were the most commonly mentioned, in addition to having the largest number of uses. The data obtained confirm the potential of the plants from the Seridó region and reinforce the importance of biodiversity for rural communities, underscoring the need for local plant management

Percepção ambiental por uma comunidade rural do entorno de uma reserva particular do patrimônio natural (RPPN), semiárido brasileiro

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

A contribuição da asstênia técnica no desenvolvimento desenvolvimento de projetos de assentamento no estado do Rio Grande do Norte

The public policies must have as their aimed the primordial at improving quality of life of families of a given population, however, its performance must be constantly monitored and evaluated scoped to ascertain whether these policies are reaching those goals. This work consisted in search of bibliographies and analysis that addressed the historical evolution of the debate on the subject of agrarian reform in Brazil as public policy and on the policy of technical assistance and rural extension, and collecting data in loco, in order to assess whether the actions implemented under this latter contribute to improvements in local development of settlements projects (PA) land reform in the state of Rio Grande do Norte (RN), this given the constant presented criticisms regarding their effectiveness, considering that it is difficult to empirically differentiate settlements they received of those who did not receive the technical assistance services. In this way, was held the data collection for comparison of characteristics (social organization, relationship with the local environment, form of producing and evaluation of technical assistance services) of two settlements in RN, being one you have received the technical assistance services and another who has not had access to these services in the past five years, at least, to confirm whether those who had access to the above services presents best features of social organization and the relationship with the local environment, mainly, which was confirmed in the results obtained, which still demonstrated that no significant differences on the forma to produce and of commercialization in PA studied. It was also found that the problems faced by families settled in PA studied resemble those seen verified in many other Brazilian states, especially as to how to use natural resources in the areas of land reform and the instability of the availability of technical assistance services. Should be guaranteed at continuity and universality of technical assistance services to settlements, seeking a higher focus on productive issues, which provide the income necessary for families settled can have a better quality of life

Conservação de espécies nativas em um assentamento rural do município de Apodi-RN: impactos socioambientais e econômicos e o uso da biotecnologia como alternativa promissora

The Caatinga biome has a high diversity of potential and their conservation constitutes one of the greatest challenges of Brazilian science. The sustainable management of the Caatinga emerges as an alternative that through the formation of systems agrossilvipastoris, enables the use of forest resources sustainably, ensuring their conservation, regeneration and recovery. In RN this technique has been developed mainly in settlements of Agrarian Reform, such as P. A. Moaci Lucena, and their impacts go beyond the environmental aspect and reverberate socially and economically on the quality of life of family farmers. Despite the efficiency of the Sustainable Management of the Caatinga in the conservation of native species, many forests species of this biome faces serious problems of propagation and for this reason have become vulnerable to extinction, as is the case of Mimosa caesalpiniifolia Benth . Thus , it is evident the need to use sustainable alternatives to overcome the difficulties of propagation of this species and enable their replacement in areas where their existence is threatened. The Plant Biotechnology is considered as a promising alternative in this sense, considering that by micropropagation enables the large-scale production of seedlings with high health genetics status. This work has the following objectives: evaluate the perception of family farmers of P. A. Moaci Lucena in relation to social, environmental and economic impacts of the Sustainable Management of the Caatinga and check the conditions of germination and in vitro propagation of Mimosa caesalpiniifolia Benth that enabling the production of seedlings of this specie on a large scale. To achieve the first objective, semi-structured interviews showed that in the perception of farmers PA Moaci Lucena, the Sustainable Management of the Caatinga was responsible for generating many social, environmental and economic impacts that affected directly in the improvement in the quality of life of the families of the Settlement Project Moaci Lucena. Have to achieve the second objective, were investigated the influence of different substrates and concentrations of growth regulator BAP in the germination and shoot induction in vitro of Mimosa caesalpiniifolia Benth. The vermiculite was presented as the most suitable substrate for germination of this species, because it provided a more rapid germination, higher growth rates and higher dry matter accumulation. Regarding micropropagation, the concentration of 17.76 μmol/L of BAP presented a more responsive in relation to multiplication rate and the number of shoots in M. caesalpiniifolia, thus constituting the most suitable concentration for the in vitro propagation of this specie

Quilombolas e desenvolvimento sustentável: análise a partir da comunidade Capoeira dos Negros (Macaíba/RN)

Quilombo communities remaining are groups marked by insufficient public assistance and characterized by living in rural and conducting economic activities such as agriculture. The development on a sustainable basis is important to ensure strategies for economic growth and environmental preservation. This work aims to study the remaining Quilombo Capoeira Black community, located in the municipality of Macaíba, Rio Grande do Norte, considering the principles of sustainable development. Attempt to respond to what level such community can be considered sustainable from an analysis of their social practices. The methodological procedures used consisted of a literature review and documentary, questionnaires, conducting semi-structured interviews and direct observation. The final results show that the family farm has characteristics that approximate the principles of sustainable development, including the diversification of labor, food production with less environmental damage and strengthening the rural environment, and indicate that the main economic activities practiced in Capoeira dos Negros community are agriculture, manufacturing of cassava flour and brick manufacturing, which, in turn, are linked to negative environmental impacts, such as sedimentation pond, groundwater contamination, air pollution and soil erosion. What lead to the conclusion that the social practices of the community are not in line with the dimensions of sustainable development. It is hoped that the survey results provide subsidies for development and implementation of public policies

Desenvolvimento territorial no Rio Grande do Norte: uma identificação de clusters rurais

The general objective of this study is the identification of rural spaces in Rio Grande do Norte through a territorial approach. It looks if there is spatial correlations between municipalities that influence and are influenced by the rural environment, allowing the identification of clusters. To accomplish this objective it`s used, in the methodology, the factor analysis of principal components to achieve the indicators of rurality and territorial development, that deal with four dimensions of analysis: environmental, political-institutional, economical and spatial. Moreover, to identify the spatial correlations structure between municipalities it used the Moran index to both rurality and territorial development, leading to clustering identification. The results show that the rurality is present in most of Rio Grande do Norte municipalities, except in cases like Mossoró, Pau dos Ferros, Caicó and Natal, where can be regional dynamic poles. It is also verified that the more rural municipalities tend to be less developed, according to the territorial development index, and have less correlations with neighboring municipalities

Democratização do acesso a água no semi-árido: o caso da comunidade rural de Pendências dos Emídios no município de Serrinha/RN

Brazil lives a time of experimentation and maturity as it pertains to managing the use of water, which comes institutionalising increasingly social participation. In Rio Grande do Norte, since 1997, the government has been developing actions accordingly, through the State Department of Water Resources, which has implemented a programme of adutoras within the State and created Water Users Associations, in the installation of dessalinizadores for places where the Adutora was not necessary or not yet arrived, so that should be managed by communities through associations of users. Since 2003, Civil Society Organisations - CSOs come through ASA - Articulation in the Semi-arid Brazilian, implementing the P1MC - Program of Training and Mobilization for Social Living with the Semi-Arid (One Million Rural Cisternas), in its third year of implementation in Rio Grande do Norte, in the spirit of working together with the semi arid. In the municipality of Serrinha / RN which incorporates the Semi-arid region, we find in the rural community of Pendêcias dos Emídios the experience of the State and Civil Society, which referred to a discussion about the environmental sustainability of these initiatives. The general objective of this work is to examine the strategies for participatory management in the use and access to water in the community of Pendêcias dos Emídios of the municipality of Serrinha / RN, to understand how those experiences can contribute to environmental sustainability. The methodology used envolvel bibliographic research in categories involving each article, the analysis of the terms of reference of each strategy as part of the documentary research, the application forms covering 40 families benefited, and interviews based on comprehensive analysis of the speech. This study is divided into 02 articles, where the first is a discussion held on collective action and environmental sustainability, and the second is held a discussion about the sustainability of the initiatives underway to access water. The results of the discussion held on 02 articles that had their empirical built from the experience of the Commonwealth of Pendências dos Emídios revealed how far will the ability of the State to promote collective action and the limitations of the perception of sustainability that permeates these initiatives in the search for democratic access to water in semi-arid

A produção do espaço rural no município de Ceará-Mirim

This research intended to study the process of production of the rural space in the municipal district of Little Ceará-Mirim, looking for to identify the transformations in him happened, above all in the last thirty years. Since the beginning of your historical formation, the area in study had as element modelador and transformer of the physiognomy of your territory the culture canavieira that printed in your economy and in your society marks of a powerful nobility. The sugar-cane is covered of a cyclical character facing acme phases and decadence, as the one that it happens at the present time. Simultaneously, the sphere rural cearimirinense is going by changes by the implantation of modern companies gone back to the papaya production destined to the internal market and more precisely to the external market. Of this context they also consist the supplying farms of this same product. In the group of the establishments in the rural landscape here analyzed, they still interfere the mixed farms, the ones that practice agriculture, the ones that were devoted to the livestock, as well as the farms and the ranches. Another innovation is the caprinocultura developed in modern molds, using the system voisin of pasture rodízio being constituted in a pioneering experience in Brazil. Of that reality they announce other elements, to example of the establishments, being configured as new forms of use of the soil. In the perspective of turning them productive, the challenge resides of overcoming the difficulties in them existent. The reality of the space in screen is replete of lacks in all the instances. It is inferred that the municipal district possesses an enormous potential, however the performance of the administrative components is seen as deficient. He becomes urgent that the municipal public power promotes changes, mainly in what it respects to the social area, with a better attendance to the rural communities, for them to act positively in the process of the development of this municipal district

Agricultura familiar integrada ao mercado: mediação política e transformações socioespaciais no assentamento rural Vale do Lírio/RN

It s an application about the development of the family agriculture integrated to the market in which is detected the development of the relation of partnership between settled of agrarian reform and the capitalist enterprise. It s shown initially, a conceptual discussion about family agriculture, watching the historical contexts that characterize the expropriation and subordination of the category. This way, the family agriculture is contextual zed in the moment of the modernization of the agriculture, he rising of the social tension in the area of the restructuration of production and the globalization. Finding to understand the agrarian question in Rio Grande do Norte, it s characterized the acting of the state in promoting agrarian reform politics and redistribution of lands. This way, the research demonstrate the reality of the settled of Vale do Lírio, with the partnership of the Caliman Company S. A. in this context, it s emphasized the social geographic transformation in the settler. This way it was realized the analysis of the survey of data in a lot of public department, and the research of the area with use of application form, in 90% percent of the researched group, with interviewing with the leaders of this group and with the manager of the Company. The research demonstrates an analysis of the reality lived by this group, in the perspective the interests of the government and the capital.

Síndrome de crouzon: fatores envolvidos no desenvolvimento neuropsicologico e na qualidade de vida

A síndrome de Crouzon é caracterizada por deformidade craniana, alterações faciais e exoftalmia. O retardo no desenvolvimento neuropsicomotor é observado em alguns casos. Este estudo tem como objetivo analisar a influência do momento da cirurgia, da classe sócio-econômica associada ao nível educacional dos pais e da ocorrência de malformações do sistema nervoso central no desenvolvimento cognitivo destes pacientes correlacionando estes achados à qualidade de vida deles e de suas famílias. Foram estudados 11 pacientes com diagnóstico de síndrome de Crouzon com idade entre um ano e quatro meses e treze anos. A avaliação multidisciplinar dos pacientes incluiu, avaliação social, avaliação cognitiva, estudo do encéfalo por ressonância magnética e avaliação da qualidade de vida. O quociente de inteligência variou de 46 a 102 (m=84,2) e foi correlacionado de forma inversa com o Fator 4 do Questionário de Recursos e Estresse Simplificado (incapacidade da criança); não se correlacionou com as alterações encefálicas, com a condição sócio-econômica dos pais e nem com o momento do tratamento neurocirúrgico.

Leite cru de quatro regiões leiteiras brasileiras: perspectivas de atendimento dos requisitos microbiológicos estabelecidos pela Instrução Normativa 51

Evidências que o leite produzido e consumido no Brasil nem sempre apresenta a qualidade desejada têm gerado a discussão e desenvolvimento de novas políticas de incentivo à produção leiteira, resultando no desenvolvimento do Programa Nacional de Melhoria da Qualidade do Leite. em complementação, em 2002 o Ministério da Agricultura publicou a Instrução Normativa 51 (IN51), com importantes inovações em relação à conservação e transporte do leite cru, além de estabelecimento de um padrão de qualidade para esse tipo de leite (10(6) UFC/mL), a ser implantado em diferentes prazos nas diferentes regiões do país, a partir de 2005. O presente trabalho teve como objetivo verificar se o leite cru produzido em quatro áreas de quatro estados produtores de leite no Brasil estaria, nesse momento, em condições de cumprir o estabelecido na IN 51, especialmente quanto ao atendimento dos padrões microbiológicos previstos. Amostras de leite cru, coletadas em 210 diferentes propriedades nas regiões de Viçosa, MG (47), Pelotas, RS (50), Londrina, PR (63) e Botucatu, SP (50), foram analisadas quanto aos níveis de contaminação por aeróbios mesófilos, utilizando o PetrifilmTM AC. Parcela significativa das amostras (48,6%) apresentaram contagens acima do determinado pela IN51, sendo 21,3% na região de Viçosa (MG), 56,0% na região de Pelotas (RS), 47,6% na região de Londrina (PR) e 68,0% na região de Botucatu (SP). Considerando as diferenças de cada região, foi possível observar a importância da refrigeração na conservação e transporte da produção, bem como da implantação de boas práticas e assistência técnica nas propriedades. Os resultados obtidos permitem concluir que a adequação às normas estabelecidas pela IN51 pode ser mais difícil em algumas regiões do que em outras, sendo fundamental a adoção da refrigeração na conservação e no transporte da produção, e de programas regionais de assistência a produtores leiteiros.