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

Uso de confiabilidade na rotulação de exemplos em problemas de classificação multirrótulo com aprendizado semissupervisionado

The techniques of Machine Learning are applied in classification tasks to acquire knowledge through a set of data or information. Some learning methods proposed in literature are methods based on semissupervised learning; this is represented by small percentage of labeled data (supervised learning) combined with a quantity of label and non-labeled examples (unsupervised learning) during the training phase, which reduces, therefore, the need for a large quantity of labeled instances when only small dataset of labeled instances is available for training. A commom problem in semi-supervised learning is as random selection of instances, since most of paper use a random selection technique which can cause a negative impact. Much of machine learning methods treat single-label problems, in other words, problems where a given set of data are associated with a single class; however, through the requirement existent to classify data in a lot of domain, or more than one class, this classification as called multi-label classification. This work presents an experimental analysis of the results obtained using semissupervised learning in troubles of multi-label classification using reliability parameter as an aid in the classification data. Thus, the use of techniques of semissupervised learning and besides methods of multi-label classification, were essential to show the results

Estudo do comportamento mecânico de estruturas de solo-cimento reforçado com fibras de coco e hastes de bambu

In this work the use of coconut fiber (coir) and bamboo shafts as reinforcement of soil-cement was studied, in order to obtain an alternative material to make stakes for fences in rural properties. The main objective was to study the effect of the addition of reinforcement to the soil-cement matrix. The effect of humidity on the mechanical properties was also analyzed. The soil-cement mortar was composed by a mixture, in equal parts, of soil and river sand, 14% in weight of cement and 10 % in weight of water. As reinforcement, different combinations of (a) coconut fiber with 15 mm mean length (0,3 %, 0,6 % and 1,2 % in weight) and (b) bamboo shafts, also in crescent quantities (2, 4 and 8 shafts per specimen) were used. For each combination 6 specimens were made and these were submitted to three point flexural test after 28 days of cure. In order to evaluate the effect of humidity, 1 specimen from each of the coconut fiber reinforced combination was immersed in water 24 hours prior to flexural test. The results of the tests carried out indicated that the addition of the reinforcement affected negatively the mechanical resistance and, on the other hand, increased the tenacity and the ductility of the material.

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

Desenvolvimento teórico e experimental de FSS com elementos fractais de Gosper em estruturas de multicamadas

The fractal self-similarity property is studied to develop frequency selective surfaces (FSS) with several rejection bands. Particularly, Gosper fractal curves are used to define the shapes of the FSS elements. Due to the difficulty of making the FSS element details, the analysis is developed for elements with up to three fractal levels. The simulation was carried out using Ansoft Designer software. For results validation, several FSS prototypes with fractal elements were fabricated. In the fabrication process, fractals elements were designed using computer aided design (CAD) tools. The prototypes were measured using a network analyzer (N3250A model, Agilent Technologies). Matlab software was used to generate compare measured and simulated results. The use of fractal elements in the FSS structures showed that the use of high fractal levels can reduce the size of the elements, at the same time as decreases the bandwidth. We also investigated the effect produced by cascading FSS structures. The considered cascaded structures are composed of two FSSs separated by a dielectric layer, which distance is varied to determine the effect produced on the bandwidth of the coupled geometry. Particularly, two FSS structures were coupled through dielectric layers of air and fiberglass. For comparison of results, we designed, fabricated and measured several prototypes of FSS on isolated and coupled structures. Agreement was observed between simulated and measured results. It was also observed that the use of cascaded FSS structures increases the FSSs bandwidths and, in particular cases, the number of resonant frequencies, in the considered frequency range. In future works, we will investigate the effects of using different types of fractal elements, in isolated, multilayer and coupled FSS structures for applications on planar filters, high-gain microstrip antennas and microwave absorbers

Desenvolvimento de estruturas integradas de filtros e antenas para aplicações em sistemas de comunicações sem fio

This paper presents a study of the integration of filters and microstrip antennas, yielding devices named as filtennas for applications in wireless communications systems. The design of these structures is given from the observation of filtennas based integration between horn antennas and frequency selective surfaces (FSS), used in the band X. The choice of microstrip line structures for the development of a new configuration filtennas justifies the wide application of these transmission lines, in recent decades, always resulting in the production of circuit structures with planar light-weight, compact size, low cost, easy to construct and particularly easy to integrate with other microwave circuits. In addition, the antenna structure considered for the composition of filtennas consists of a planar monopole microstrip to microstrip filters integrated in the feed line of the antenna. In particular, are considered elliptical monopole microstrip (operating in UWB UWB) microstrip filters and (in structures with associated sections in series and / or coupled). In addition, the monopole microstrip has a proper bandwidth and omnidirectional radiation pattern, such that its integration with microstrip filters results in decreased bandwidth, but with slight changes in the radiation pattern. The methods used in the analysis of monopoles, and filters were filtennas finite elements and moments by using commercial software Ansoft Designer and HFSS Ansoft, respectively. Specifically, we analyze the main characteristics of filtennas, such as radiation pattern, gain and bandwidth. Were designed, constructed and measures, several structures filtennas, for validation of the simulated results. Were also used computational tools (CAD) in the process of building prototypes of planar monopoles, filters and filtennas. The prototypes were constructed on substrates of glass-fiber (FR4). Measurements were performed at the Laboratory for Telecommunications UFRN. Comparisons were made between simulated and measured, and found good agreement in the cases considered

Síntese de zeólitas utilizando cátions orgânicos a base de um anel imidazólio como agentes direcionadores de estruturas em meio fluorídrico

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

Narratividade e estruturas cognitivas: o encontro entre a linguagem, a cognição e a experiência sociocultural

This work is within the framework of Cognitive Linguistics, which, as opposed to generative modular approach posits that language is not autonomous but part of human cognition manifest mental processing, socio-cultural and bodily experiences. Our goal is to describe and analyze cognitive mechanisms of understanding who work in the formal and meaningful organization of the narrative. In order to study and verification of this phenomenon, this project was based in the theoretical framework of Rapaport et al (1994) with the treatment of deictic center, Zwaan (1999) and Zwaan and Radvansky (1998) with situation models, Minsky (1974) with the concept frame, Johnson (1987) and Duke and Costa (2012) with pictorial schemes. To this end, we focused on the deictic perspective (WHERE, WHEN, WHO), social cognitive structures (frames) and body (pictorial diagrams) and the situation of models built by compreendedor from these cognitive structures. Methodologically, it is a qualitative research (BAUER and GASKELL, 2002), of interpretive base (MOITA LOPES, 1994), based on introspection (Talmy, 2005). The corpus selected is a sample of twelve texts written by 8th grade students, whose production consists of fictional narrative, the production of diary pages. The analyses were conducted by cognitive structures known as constructional blocks (BCs)(SANTOS, 2011), which guid the discussion about how we build understanding and creation of meanings in narratives. The result shows that the narrative events are mentally represented by the understander that conceives a deictic center and that, guided by it, has access to understanding and construction of meaning in narrative by means of cognitive domains established by bodily and socio-cultural experiences.

Gráfico de controle modificado para processos com estruturas complexas de autocorrelação

This work proposes a modified control chart incorporating concepts of time series analysis. Specifically, we considerer Gaussian mixed transition distribution (GMTD) models. The GMTD models are a more general class than the autorregressive (AR) family, in the sense that the autocorrelated processes may present flat stretches, bursts or outliers. In this scenario traditional Shewhart charts are no longer appropriate tools to monitoring such processes. Therefore, Vasilopoulos and Stamboulis (1978) proposed a modified version of those charts, considering proper control limits based on autocorrelated processes. In order to evaluate the efficiency of the proposed technique a comparison with a traditional Shewhart chart (which ignores the autocorrelation structure of the process), a AR(1) Shewhart control chart and a GMTD Shewhart control chart was made. An analytical expression for the process variance, as well as control limits were developed for a particular GMTD model. The ARL was used as a criteria to measure the efficiency of control charts. The comparison was made based on a series generated according to a GMTD model. The results point to the direction that the modified Shewhart GMTD charts have a better performance than the AR(1) Shewhart and the traditional Shewhart.

Estudo da variação da periodicidade e do acoplamento entre superfícies seletivas de frequência com elementos fractais e helicoidais em estruturas de multicamadas

This work aims to investigate the behavior of fractal and helical elements structures in planar microstrip. In particular, the frequency selective surfaces (FSSs) had changed its conventional elements to fractal and helical formats. The dielectric substrate used was fiberglass (FR-4) and has a thickness of 1.5 mm, a relative permittivity 4.4 and tangent loss equal to 0.02. For FSSs, was adopting the Dürer’s fractal geometry and helical geometry. To make the measurements, we used two antennas horns in direct line of sight, connected by coaxial cable to the vector network analyzer. Some prototypes were select for built and measured. From preliminary results, it was aimed to find practical applications for structures from the cascading between them. For FSSs with Dürer’s fractal elements was observed behavior provided by the multiband fractal geometry, while the bandwidth has become narrow as the level of iteration fractal increased, making it a more selective frequency with a higher quality factor. A parametric analysis allowed the analysis of the variation of the air layer between them. The cascading between fractal elements structure were considered, presented a tri-band behavior for certain values of the layer of air between them, and find applications in the licensed 2.5GHz band (2.3-2.7) and 3.5GHz band (3.3-3.8). For FSSs with helical elements, six structures were considered, namely H0, H1, H2, H3, H4 and H5. The electromagnetic behavior of them was analyzed separately and cascaded. From preliminary results obtained from the separate analysis of structures, including the cascade, the higher the bandwidth, in that the thickness of the air layer increases. In order to find practical applications for helical structures cascaded, the helical elements structure has been cascaded find applications in the X-band (8.0-12.0) and unlicensed band (5.25-5.85). For numerical and experimental characterization of the structures discussed was used, respectively, the commercial software Ansoft Designer and a vector network analyzer, Agilent N5230A model.

Bi anisotropia em antenas de microfita retangular e estruturas circulares modificadas

The microstrip antennas in your simplest form consist of a ground plane and a dielectric substrate which supports a conductive tape. As these antennas have some limitations, this work presents a study of anisotropic substrates, as well as some results in microstrip antennas with circular patch, aiming to overcome these limitations, especially in applications at 4G technology. These anisotropic substrates are those in which electrical permittivity and magnetic permeability are represented by tensors of second order. The study consists of a theoretical analysis of substrates and development of a mathematical formalism, the Transverse Transmission Line Method, aimed the application of these substrates in microstrip antennas. Among the substrates used in this study, there are the ferrimagnetic and metamaterials, in which some miniaturizations of the antennas are achieved. For antennas with circular patch, are considered arrays and modified ground planes in order to achieve improvement in parameters, in particular, gain and bandwidth. Several simulations have been made and antennas were constructed so that the measured values could be compared with the simulated values.

Materiais a base de estruturas carbonáceas para a remoção de ácidos húmicos em soluções aquosas através da adsorção e oxidação

O presente estudo aborda a utilização de carvão ativado comercial na remoção de ácidos húmicos em meio aquoso. O objetivo principal é desenvolver e caracterizar materiais carbonáceos visando aplicações de remoção de ácidos húmicos em meio aquoso por processos de adsorção e oxidação. Testes de remoção do poluente foram desenvolvidos com a utilização do carvão comercial, carvão modificado a partir de tratamentos ácidos e compósito confeccionado com a impregnação de ferro no carvão. Espumas de carbono com dispersões de carvão ativado e óxidos de ferro também foram desenvolvidas buscando aplicações de remoção do poluente através de processos eletroquímicos. Os resultados das caracterizações demonstraram ganho de área superficial a partir do tratamento ácido, a presença dispersa de ferro em todo carvão na forma de fase maghemita com a introdução do metal, e ganho de estabilidade eletroquímica na espuma, com a presença de dispersões de carvão ativados impregnados com ferro. O processo oxidativo Fenton, foto assistido por radiação UV, demonstrou maior eficiência para remoção do ácido húmico em água.