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

Avaliação da contribuição de desenvolvedores para projetos de software usando mineração de repositórios de software e mineração de processos

Software Repository Mining (MSR) is a research area that analyses software repositories in order to derive relevant information for the research and practice of software engineering. The main goal of repository mining is to extract static information from repositories (e.g. code repository or change requisition system) into valuable information providing a way to support the decision making of software projects. On the other hand, another research area called Process Mining (PM) aims to find the characteristics of the underlying process of business organizations, supporting the process improvement and documentation. Recent works have been doing several analyses through MSR and PM techniques: (i) to investigate the evolution of software projects; (ii) to understand the real underlying process of a project; and (iii) create defect prediction models. However, few research works have been focusing on analyzing the contributions of software developers by means of MSR and PM techniques. In this context, this dissertation proposes the development of two empirical studies of assessment of the contribution of software developers to an open-source and a commercial project using those techniques. The contributions of developers are assessed through three different perspectives: (i) buggy commits; (ii) the size of commits; and (iii) the most important bugs. For the opensource project 12.827 commits and 8.410 bugs have been analyzed while 4.663 commits and 1.898 bugs have been analyzed for the commercial project. Our results indicate that, for the open source project, the developers classified as core developers have contributed with more buggy commits (although they have contributed with the majority of commits), more code to the project (commit size) and more important bugs solved while the results could not indicate differences with statistical significance between developer groups for the commercial project

O Gênero Cyathus haller: pers. (Agaricales, Basidiomycota) em áreas de caatinga do Nordeste brasileiro

Fungi of the family Nidulariaceae or bird s nest fungi present a vase-shaped basidiomata with the wall surface smooth or striated lengthwise and internal structures resembling small bird eggs in a nest, the peridioles. Among the five genera that comprise the group, the more representative is Cyathus Haller: Pers. The Brazilian Northeast region shows major importance for the world s diversity by containing a Brazilian unique and exclusively phytoecological domain, the Caatinga, which lacks particular attention regarding macrofungi. Although the gradual growth of knowledge in recent years, studies are still insipient in the Caatinga domain. Between their various vegetal formations are the Brejos de Altitude , described as islands with moist perennial vegetation, low soil fertility and annual precipitation of 900 1.300 mm. This study aimed to evaluate the taxonomic richness of Nidulariaceae fungi in Caatinga s areas of Northeastern Brazil, describing and identifying species, as well as expanding the collection of Herbarium UFRN Fungos. For description of Nidulariaceae fungi was followed the proposed by specialized literature in the group. We have found and described 10 species of the genus Cyathus, namely: C. earlei Lloyd, C. gayanus Tul. & C. Tul., C. gracilis H.J. Brodie, C. intermedius (Mont.) Tul. & C. Tul., C. limbatus Tul. & C. Tul., C. montagnei Tul. & C. Tul., C. pallidus Berk. & M.A. Curtis, C. poeppigii Tul. & C. Tul., C. striatus (Huds.) Willd. and C. tríplex Lloyd. Beyond these have been described four new species to science: Cyathus calvescens R. Cruz & Baseia sp. nov., C. hortum R. Cruz & Baseia sp. nov., C. magnomuralis R. Cruz & Baseia sp. nov. and C. parvocinereus R. Cruz & Baseia sp. nov. Two samples were identified only to genus level. No member of Mycocalia J.T. Palmer, Nidula V.S. White, Nidularia Fr. and Crucibulum Tul. & C. Tul. has been found, however the results were extremely valuable for being an unprecedented work in Caatinga, and importante tool for implementation of conservation projects and sustainable utilization of this domain

800x600 Apoio de residentes ao processo de gestão de projetos turisticos ambientais: um estudo do vale dos dinossauros em sousa/PB

This study aimed to analyse the factors that can contribute to the support of residents in the process of management of environmental tourism projects. The importance of reflecting on the municipal planning, including the management of stakeholders, is justified by changes in economic and social values of local communities, the concern with their space and quality of life. Thus, the support of the dwellers to the management process of an attractive allows motivate and prioritize the opinion of this community, strengthening social groups and integrating them into projects and local actions. The study was described as descriptive, exploratory and quantitative. As the analysis model. They were used the research variables done by Nunkoo and Ramkissoon (2012), as a way to assess the support of local dwellers on the development of Revitalization project of Monumento Natural Vale dos Dinossauros, in the management of environmental tourist destination, in Sousa/PB. Results show the relationship among the dimensions, confidence in government agencies, benefits and costs occasioned by tourism development in the attractive as influencers support elements of the deweller. Thus, it is intended to corroborate to the inclusion of stakeholdersin the planning process in the development of tourism in this location in order to involve them in decision making about planning and management of tourism in the city, with a view to sustainable local development

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

Redesenho das configurações estruturais na gestão universitária: ações derivadas da inovação e flexibilidade na legislação pós-LDB 1996

This paper is set in a scenario in which higher education institutions suffer from external pressure to increase efficiency. The legislation after the Law of Directives and Bases for Education (LDBE), from 1996, is characterized by the fragmentation in its implementation, raising a concern with flexibility and innovation in several normative devices as well as aspects that must be incorporated to its organizational structure. The policies examined in this thesis are: Distance Education (DE); Law of Innovation and the Program of Support to Restructuring and Expansion of Federal Universities (PSREFU). This thesis aims to observe to what extent the characteristics of innovation and flexibility, which mark the new post- LDBE educational legislation, influence the organizational redesign of the Federal University of Ceará (UFC). For being about implementation policies, using contingency approach in order to collect the internal dynamics permeating the redesign of higher education institutions, the thesis focuses on the impacts caused by flexibility and innovation. This is a qualitative research, with case study methods, archive research and semi-structured interviews with members of the university administration. The results don t allow us to confirm the adoption of a more flexible and innovative configuration in the university but it is possible to identify the presence of those elements in the implementation changes, characterizing the hybrid structure. The changes mainly expose the extension of the management of projects to the administrative and academic components related to the institution. In terms of projection, the study found changes in the elements which characterize the current setting and the tendency of the university for adopting a diverse organizational structure. However, if the decentralization of management persists, the academic units may adopt their own structural solutions, but with no evidence of changes in the professional organization in most units. In this perspective, this thesis states that there are difficulties when incorporating innovation and flexibility to their organizational structure, which lead to improvised solutions, superposing skills through the redundancy of structures created with the same purpose or copying exogenous solutions

A temática ambiental na educação superior : políticas, gestão acadêmica e projetos de formação nos cursos da Universidade do Estado do Rio Grande do Norte

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Estruturas tectônicas cenozóicas na porção leste da Bacia Potiguar - RN

This thesis encompasses the integration of geological, geophysical, and seismological data in the east part of the Potiguar basin, northeastern Brazil. The northeastern region is located in South American passive margin, which exhibits important areas that present neotectonic activity. The definition of the chronology of events, geometry of structures generated by these events, and definition of which structures have been reactivated is a necessary task in the region. The aims of this thesis are the following: (1) to identify the geometry and kinematics of neotectonic faults in the east part of the Potiguar basin; (2) to date the tectonic events related to these structures and related them to paleoseismicity in the region; (3) to present evolutional models that could explain evolution of Neogene structures; (4) and to investigate the origin of the reactivation process, mainly the type of related structure associated with faulting. The main type of data used comprised structural field data, well and resistivity data, remote sensing imagery, chronology of sediments, morphotectonic analysis, x-ray analysis, seismological and aeromagnetic data. Paleostress analysis indicates that at least two tectonic stress fields occurred in the study area: NSoriented compression and EW-oriented extension from the late Campanian to the early Miocene and EW-oriented compression and NS-oriented extension from the early Miocene to the Holocene. These stress fields reactivated NE-SW- and NW-SE-trending faults. Both set of faults exhibit right-lateral strike-slip kinematics, associated with a minor normal component. It was possible to determine the en echelon geometry of the Samambaia fault, which is ~63 km long, 13 km deep, presents NE-SW trend and strong dip to NW. Sedimentfilled faults in granite rocks yielded Optically Stimulated Luminescence (OSL) and Single-Aliquot Regeneration (SAR) ages at 8.000 - 9.000, 11.000 - 15.000, 16.000 - 24.000, 37.000 - 45.500, 53.609 - 67.959 e 83.000 - 84.000 yr BP. The analysis of the ductile fabric in the João Câmara area indicate that the regional foliation is NE-SW-oriented (032o - 042o), which coincides with the orientation of the epicenters and Si-rich veins. The collective evidence points to reactivation of preexisting structures. Paleoseismological data suggest paleoseismic activity much higher than the one indicated by the short historical and instrumental record

Processamento e interpretação de dados 2D e 3D de GPR :aplicações no imageamento de feições kársticas e estruturas de dissolução no campo de petróleo de Fazenda Belém-CE

In Fazenda Belém oil field (Potiguar Basin, Ceará State, Brazil) occur frequently sinkholes and sudden terrain collapses associated to an unconsolidated sedimentary cap covering the Jandaíra karst. This research was carried out in order to understand the mechanisms of generation of these collapses. The main tool used was Ground Penetrating Radar (GPR). This work is developed twofold: one aspect concerns methodology improvements in GPR data processing whilst another aspect concerns the geological study of the Jandaíra karst. This second aspect was strongly supported both by the analysis of outcropping karst structures (in another regions of Potiguar Basin) and by the interpretation of radargrams from the subsurface karst in Fazenda Belém. It was designed and tested an adequate flux to process GPR data which was adapted from an usual flux to process seismic data. The changes were introduced to take into account important differences between GPR and Reflection Seismic methods, in particular: poor coupling between source and ground, mixed phase of the wavelet, low signal-to-noise ratio, monochannel acquisition, and high influence of wave propagation effects, notably dispersion. High frequency components of the GPR pulse suffer more pronounced effects of attenuation than low frequency components resulting in resolution losses in radargrams. In Fazenda Belém, there is a stronger need of an suitable flux to process GPR data because both the presence of a very high level of aerial events and the complexity of the imaged subsurface karst structures. The key point of the processing flux was an improvement in the correction of the attenuation effects on the GPR pulse based on their influence on the amplitude and phase spectra of GPR signals. In low and moderate losses dielectric media the propagated signal suffers significant changes only in its amplitude spectrum; that is, the phase spectrum of the propagated signal remains practically unaltered for the usual travel time ranges. Based on this fact, it is shown using real data that the judicious application of the well known tools of time gain and spectral balancing can efficiently correct the attenuation effects. The proposed approach can be applied in heterogeneous media and it does not require the precise knowledge of the attenuation parameters of the media. As an additional benefit, the judicious application of spectral balancing promotes a partial deconvolution of the data without changing its phase. In other words, the spectral balancing acts in a similar way to a zero phase deconvolution. In GPR data the resolution increase obtained with spectral balancing is greater than those obtained with spike and predictive deconvolutions. The evolution of the Jandaíra karst in Potiguar Basin is associated to at least three events of subaerial exposition of the carbonatic plataform during the Turonian, Santonian, and Campanian. In Fazenda Belém region, during the mid Miocene, the Jandaíra karst was covered by continental siliciclastic sediments. These sediments partially filled the void space associated to the dissolution structures and fractures. Therefore, the development of the karst in this region was attenuated in comparison to other places in Potiguar Basin where this karst is exposed. In Fazenda Belém, the generation of sinkholes and terrain collapses are controlled mainly by: (i) the presence of an unconsolidated sedimentary cap which is thick enough to cover completely the karst but with sediment volume lower than the available space associated to the dissolution structures in the karst; (ii) the existence of important structural of SW-NE and NW-SE alignments which promote a localized increase in the hydraulic connectivity allowing the channeling of underground water, thus facilitating the carbonatic dissolution; and (iii) the existence of a hydraulic barrier to the groundwater flow, associated to the Açu-4 Unity. The terrain collapse mechanisms in Fazenda Belém occur according to the following temporal evolution. The meteoric water infiltrates through the unconsolidated sedimentary cap and promotes its remobilization to the void space associated with the dissolution structures in Jandaíra Formation. This remobilization is initiated at the base of the sedimentary cap where the flow increases its abrasion due to a change from laminar to turbulent flow regime when the underground water flow reaches the open karst structures. The remobilized sediments progressively fill from bottom to top the void karst space. So, the void space is continuously migrated upwards ultimately reaching the surface and causing the sudden observed terrain collapses. This phenomenon is particularly active during the raining season, when the water table that normally is located in the karst may be temporarily located in the unconsolidated sedimentary cap

Caracterização macro, meso e microscópica das estruturas frágeis do corpo arenítico conglomerático da região de Santana do Acaraú (CE) e seu embasamento circundante

The structural framework of the sedimentary basins usually plays an important role in oil prospects and reservoirs. Geometry, interconectivity and density of the brittle features developed during basin evolution could change the permo-porous character of the rocks involved in generation, migration and entrapment of fluid flow. Once the structural characterization of the reservois using only sub-surface data is not an easy task, many studies are focused in analogous outcrops trying to understand the main processes by which brittle tectonic is archieved. In the Santana do Acaraú region (Ceará state, NE Brazil) a pack of conglomeratic sandstone (here named CAC) has its geometry controlled mainly by NE trending faults, interpreted as related to reactivation of a precambrian Sobral Pedro II Lineament (LSP-II). Geological mapping of the CAC showed a major NE-SW trending synform developed before its complete lithification during a dextral transpression. This region was then selected to be studied in details in order of constrain the cretaceous deformation and so help the understanding the deformation of the basins along the brazilian equatorial margin. In order to characterize the brittle deformation in different scales, I study some attributes of the fractures and faults such as orientation, density, kinematic, opening, etc., through scanlines in satellite images, outcrops and thin sections. The study of the satellite images showed three main directions of the macrostructures, N-S, NE-SW and E-W. Two of theses features (N-S and E-W) are in aggreement with previous geophysical data. A bimodal pattern of the lineaments in the CAC´s basement rocks has been evidenciated by the NE and NW sets of structures obtained in the meso and microscale data. Besides the main dextral transpression two others later events, developed when the sediments were complety lithified, were recognized in the area. The interplay among theses events is responsible for the compartimentation of the CAC in several blocks along within some structural elements display diferents orientations. Based on the variation in the S0 orientation, the CAC can be subdivided in several domains. Dispite of the variations in orientations of the fractures/faults in the diferents domains, theses features, in the meso and microscopic scale, are concentrated in two sets (based on their trend) in all domains which show similar orientation of the S0 surface. Thus the S0 orientation was used to group the domains in three major sets: i) The first one is that where S0 is E-W oriented: the fractures are oriented mainly NE with the development of a secondary NW trending; ii) S0 trending NE: the fractures are concentrated mainly along the trend NW with a secondary concentration along the NE trend; iii) The third set, where S0 is NS the main fractures are NE and the secondary concentration is NW. Another analized parameter was the fault/fracture length. This attribute was studied in diferent scales trying to detect the upscale relationship. A terrain digital model (TDM) was built with the brittlel elements supperposed. This model enhanced a 3D visualization of the area as well as the spatial distribution of the fault/fractures. Finally, I believe that a better undertanding of the brittle tectonic affecting both CAC and its nearby basement will help the future interpretations of the tectonic envolved in the development of the sedimentary basins of the brazilian equatorial margin and their oil reservoirs and prospects, as for instance the Xaréu field in the Ceará basin, which subsurface data could be correlated with the surface ones

Estruturas de acumulação de água subterrânea em rochas cristalinas: estudo geofísico e geológico de casos no Estado do Rio Grande do Norte

Geological and geophysical studies (resistivity, self potential and VLF) were undertaken in the Tararaca and Santa Rita farms, respectively close to the Santo Antônio and Santa Cruz villages, eastern Rio Grande do Norte State, NE Brazil. Their aim was to characterize water acummulation structures in crystalline rocks. Based on geological and geophysical data, two models were characterized, the fracture-stream and the eluvio-alluvial through, in part already described in the literature. In the Tararaca Farm, a water well was located in a NW-trending streamlet; surrounding outcrops display fractures with the same orientation. Apparent resistivity sections, accross the stream channel, confirm fracturing at depth. The VLF profiles systematically display an alignment of equivalent current density anomalies, coinciding with the stream. Based on such data, the classical fracture-stream model seems to be well characterized at this place. In the Santa Rita Farm, a NE-trending stream display a metric-thick eluvioregolith-alluvial cover. The outcropping bedrock do not present fractures paralell to the stream direction, although the latter coincides with the trend of the gneiss foliation, which dips to the south. Geophysical data confirm the absence of a fracture zone at this place, but delineate the borders of a through-shaped structure filled with sediments (alluvium and regolith). The southern border of this structure dips steeper compared to the northern one. This water acummulation structure corresponds to an alternative model as regards to the classical fracture-stream, being named as the eluvio-alluvial trough. Its local controls are the drainage and relief, coupled with the bedrock weathering preferentially following foliation planes, generating the asymmetry of the through

Evidências da herança geotectônica pré-cambriana na geração da barcia potiguar: um estudo geofísico multdisciplinar

The 3D gravity modeling of the Potiguar rift basin consisted of a digital processing of gravity and aeromagnetic data, subsidized by the results of Euler deconvolution of gravity and magnetic data and the interpretation of seismic lines and wells descriptions. The gravity database is a compilation of independent geophysical surveys conducted by several universities, research institutions and governmental agencies. The aeromagnetic data are from the Bacia Potiguar and Plataforma Continental do Nordeste projects, obtained from the Brazilian Petroleum Agency (ANP). The solutions of the Euler Deconvolution allowed the analysis of the behavior of the rift main limits. While the integrated interpretation of seismic lines provided the delimitating horizons of the sedimentary formations and the basement top. The integration of these data allowed a 3D gravity modeling of basement topography, allowing the identification of a series of internal structures of the Potiguar rift, as well intra-basement structures without the gravity effect of the rift. The proposed inversion procedure of the gravity data allowed to identify the main structural features of the Potiguar rift, elongated in the NE-SW direction, and its southern and eastern faulted edges, where the sedimentary infill reachs thicknesses up to 5500 m. The southern boundary is marked by the Apodi and Baixa Grande faults. These faults seem to be a single NW-SE oriented fault with a strong bend to NE-SW direction. In addition, the eastern boundary of the rift is conditioned by the NE-SW trending Carnaubais fault system. It was also observed NW-SE oriented faults, which acted as transfer faults to the extensional efforts during the basin formation. In the central part of the residual anomaly map without the gravity effect of the rift stands out a NW-SE trending gravity high, corresponding to the Orós-Jaguaribe belt lithotypes. We also observe a gravity maximum parallel to the Carnaubais fault system. This anomaly is aligned to the eastern limit of the rift and reflects the contact of different crustal blocks, limited by the eastern ward counterpart of the Portalegre Shear Zone

Estruturas secretoras de mucilagem em Hibiscus pernambucensis Arruda (Malvaceae): distribuição, caracterização morfoanatômica e histoquímica

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

As dimensões dos valores e da participação política em projetos de professoras: abordagens sobre os resíduos sólidos

Este trabalho aborda elementos relativos às dimensões dos valores e da participação política, desenvolvidos por professoras, quando da elaboração de projetos temáticos sobre resíduos sólidos. A análise representa um momento da investigação dos processos de educação continuada de professoras de séries iniciais do Ensino Fundamental, de São Carlos, SP, ao aprender e ensinar conteúdos relativos à temática ambiental, com foco nos resíduos sólidos. Apontamos na discussão dos dados que as professoras freqüentemente não reconhecem os limites da dimensão dos conhecimentos, o que provavelmente dificulta a percepção das possibilidades de desenvolvimento do trabalho com as dimensões dos valores éticos e da participação política. Analisamos, para estas dimensões, alguns aspectos que se destacaram na pesquisa realizada.

A formação do professor de matemática e o trabalho com projetos na escola

O objetivo do presente texto é apresentar os resultados de uma pesquisa que procurou discutir a formação dos professores de Matemática que trabalham com projetos e documentar a maneira da implementação dessa proposta na escola. Os dados são provenientes de entrevistas com dez professores de Matemática, os quais atuam no Ensino Fundamental ou Médio. Seus relatos possibilitam identificar três formas diferentes de trabalhos com projetos: i) individualmente e por iniciativa própria; ii) por sugestão da escola, de forma fragmentada; iii) coletivamente. Não há indícios de que a formação inicial desses professores os tenha influenciado a trabalhar com projetos. Esse preparo foi construído ao longo de suas carreiras, através da participação em cursos de formação continuada, da experiência com a prática e das interferências de suas características pessoais.