Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

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

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Cloud Integrator: uma plataforma para composição de serviços em ambientes de computação em nuvem

With the advance of the Cloud Computing paradigm, a single service offered by a cloud platform may not be enough to meet all the application requirements. To fulfill such requirements, it may be necessary, instead of a single service, a composition of services that aggregates services provided by different cloud platforms. In order to generate aggregated value for the user, this composition of services provided by several Cloud Computing platforms requires a solution in terms of platforms integration, which encompasses the manipulation of a wide number of noninteroperable APIs and protocols from different platform vendors. In this scenario, this work presents Cloud Integrator, a middleware platform for composing services provided by different Cloud Computing platforms. Besides providing an environment that facilitates the development and execution of applications that use such services, Cloud Integrator works as a mediator by providing mechanisms for building applications through composition and selection of semantic Web services that take into account metadata about the services, such as QoS (Quality of Service), prices, etc. Moreover, the proposed middleware platform provides an adaptation mechanism that can be triggered in case of failure or quality degradation of one or more services used by the running application in order to ensure its quality and availability. In this work, through a case study that consists of an application that use services provided by different cloud platforms, Cloud Integrator is evaluated in terms of the efficiency of the performed service composition, selection and adaptation processes, as well as the potential of using this middleware in heterogeneous computational clouds scenarios

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Morfologia e sedimentologia da plataforma continental brasileira adjacente a São Bento do Norte e Caiçara do Norte-RN/NE-Brasil

This dissertation the results of a research developed in the area of São Bento do Norte and Caiçara do Norte, northern coast of the State of Rio Grande do Norte, during the period of June of 2000 to August of 2001, in the ambit of the projects MAMBMARÉ (CNPq/CTPETRO) and PROBRAL (CAPES/DAAD). The objective principal of this research was the characterization of the sedimentary dynamics of this coast, with base in data of coastal process (winds, currents, waves and tides), with topographical risings (beach profiles and dunes), satellite images and sedimentary analyses. The more specific objectives were accomplished the coastal monitoring of this coast, to verify the maintenance of an erosive tendency or progradacional after the groynes construction for contention of the erosion in the beach of Caiçara do Norte, as well as to verify the influence of the features of bottom of the platform interns adjacent on the pole petroliferous of Guamaré. The executed monitoramento allowed to identify that the movement of the sediments, along the year, in that area, is cyclical, reaching the largest oscillations during the months of winter (deposition) and they will summer (erosion). The sedimentologic studies indicated a general tendency for sands quartzosas, with gravel presence, moderately to good selected, with asymmetry predominantly negative. In agreement with the parameter of Dean (1957), used in the identification of the state morfodinâmico of the beaches, monitored beaches, are basically reflectivas with tendency to middlemen, what frames that space of the coast norte-riograndense, as a space strongly vulnerable to erosive processes. The studies developed in the platform, it interns of this area, allowed to visualize for the first time, in large scale, the distribution of the features of the submarine bottom to the batométrico coat of 25 meters. Being pointed out the presence of a high one topographical submerged, with about 5 meters of height, 1 km of width and more than 24 meters of extension, located in the platform it interns in front of São Bento do Norte; coincident with the trend of the system of flaws of Carnaubais. This feature relay an important paper on the control of the sedimentary processes and oceanographic, as well as in the coastal evolution of this area of the RN state, and they affect the area of the pole petroliferous of Guamaré directly. These results contribute to a better knowledge of the processes in the area, and consequently as subsidies implantation of measures of coastal and environmental protection for the cities of São Bento do Norte and Caiçara do Norte, as well as to understand how the geological-sedimentary processes and oceanographic, in this area, are influencing the characteristics geoambientais of the pole petroliferous of Guamaré

Aquisição, processamento e análise de dados de sísmica de alta resolução na plataforma continental norte do Rio Grande do Norte: Vale inciso do rio açu

On the modern Continental Shelf to the north of Rio Grande do Norte state (NE Brazil) is located a paleo-valley, submerged during the last glacial sea-level lowstand, that marks continuation of the most important river of this area (Açu River). Despite the high level of exploration activity of oil industry, there is few information about shallow stratigraphy. Aiming to fill this gap, situated on the Neogene, was worked a marine seismic investigation, the development of a processing flow for high resolution data seismic, and the recognition of the main feature morphology of the study area: the incised valley of the River Açu. The acquisition of shallow seismic data was undertaken in conjunction with the laboratory of Marine Geology/Geophysics and Environmental Monitoring - GGEMMA of Federal University of Rio Grande do Norte UFRN, in SISPLAT project, where the geomorphological structure of the Rio paleovale Açu was the target of the investigation survey. The acquisition of geophysical data has been over the longitudinal and transverse sections, which were subsequently submitted to the processing, hitherto little-used and / or few addressed in the literature, which provided a much higher quality result with the raw data. Once proposed for the flow data was developed and applied to the data of X-Star (acoustic sensor), using available resources of the program ReflexW 4.5 A surface fluvial architecture has been constructed from the bathymetric data and remote sensing image fused and draped over Digital Elevation Models to create three-dimensional (3D) perspective views that are used to analyze the 3D geometry geological features and provide the mapping morphologically defined. The results are expressed in the analysis of seismic sections that extend over the region of the continental shelf and upper slope from mouth of the Açu River to the shelf edge, providing the identification / quantification of geometrical features such as depth, thickness, horizons and units seismic stratigraphyc area, with emphasis has been placed on the palaeoenvironmental interpretation of discordance limit and fill sediment of the incised valley, control by structural elements, and marked by the influence of changes in the sea level. The interpretation of the evolution of this river is worth can bring information to enable more precise descriptions and interpretations, which describes the palaeoenvironmental controls influencing incised valley evolution and preservation to provide a better comprehensive understanding of this reservoir analog system

Geologia e geomorfologia dos recifes de Maracajaú-RN e plataforma rasa adjacente

This work focuses the geological and geomorphological characterization of the inner shelf in the West Coast of the Rio Grande do Norte state, particularly the reef coral barrier offshore of Maracajaú (Maxaranguape district). If developed without the necessary concerns, tourism and entertainment activities that have been widely increased during the last five years can lead to irreversible environmental damages to the biotic and abiotic ecosystems of the region. Regarding these aspects, it is crucial the realization of a detailed study to envisage the achievement of a self-sustainable development, especially with respect to the possibilities of a rational usage of the region. This is the aim of this manuscript, which consisted of an initial stage of digital modeling of the terrain with basis on digitalization and vectorization of the Nautical map number 803 (Naval Service of Brazil, 1971). Information obtained in this phase was improved with the digital processing of small format aerial photos acquired from six flights, which were integrated to form a photomosaic of the area. The refined maps produced with the data from Nautical and aerial photo-interpretations aided to locate 9 bathymetric profiles, which provided information about the sea floor relief of the whole area. This later aided in the choosing of areas to bottom sampling that, in its turn, helped to characterize sediments present in floor of the inner shelf. Sixty-four samples collected during this work were studied by granulometrical and chemical analysis; with the later one developed in order to measure carbonate and organic matter contents. Forty-two of these samples showed carbonate content higher than 80% and organic matter in the range of 0.58% to 24.06%. With respect to grain size, these samples are in the interval between fine- to mid-grained sands. Sands with grain sizes higher than this one are also composed by carbonate carapaces such as pale yellow to red rhodolites with ellipsoidal and spheroidal shapes. During determination of the submerse features, the small format aerial photos demonstrated to be a useful methodology to aid the delineation of the sea floor topography through shallow deep waters. The bathymetry, for its turn, revealed several features at the bottom of the platform, in which the most conspicuous are undulations and morphological details of the São Roque Channel. Examination of bottom, aside from sand, yielded the identification of bivalves, ostracods, fragments of bryozoans, spikes of sponges, spines of echinoderms, operculum of gastropods and foraminifers. From the above it is concluded that the multi-methodological approach developed in this study worked efficiently, permitting the geomorphological and environmental characterization of the inner shelf of the North Maracajaú

Caracterização morfológica e sedimentologica da plataforma, continental brasileira adjacente aos municípios de Fortim, Aracati e Icapuí- CE

The study area is located on the Brazilian Continental Shelf adjacent to Ceará State, inserted in the submerged Potiguar Basin. This area was submitted to extensional efforts during Upper Cretaceous, associated to the begining of the rifting that resulted in African and South American Continent separation. The main goal of this research was to better understand the sedimentary and geomorphological characteristics of the continental shelf adjacent to Fortim, Aracati and Icapuí (Ceará State). The used data base included geophysical (sides scan sonar and bathymetry studies) and sedimentological survey, associated to satellite image processing and interpretation. Inferences about suspended material and longshore drift was possible using satellite images, and differente bedforms were characterized such as: different kinds of dunes (longitudinal, cross and oblique), bioclastic banks, paleochannels, flat and rock bottom. The researched area comprehended about 2509,13 km2, where 6 different sedimentary facies, based on sediment composition and texture, could be recognized, such as: Bioclastic Sand, Siliciclastic Sand, Biosiliciclastic Sand, Bioclastic gravel, Biosiliciclastic sand with granule and gravel, and Silicibioclastic sand with granule and gravel. The integration of bathymetric, satellite image, side scan sonar and sedimentological data allow us a better characterization of this continental shelf area, as to advance in the knowledge of the continental shelf of the state of Ceara, a very important area to the oil industry because of its potential exploration and e exploitation, and to environmental survey as well

Caracterização Morfodinâmica e Sedimentologia da Plataforma Continental Rasa na APA Estadual dos Recifes de Corais - RN

This study had to aimed to characterize the sediments of shallow continental shelf and realize the mapping of features visible for satellite images by using remote sensing techniques, digital image processing and analysis of bathymetry between Maxaranguape and Touros - RN. The study s area is located in the continental shallow shelf of Rio Grande do Norte, Brazil, and is part of the Environmental Protection Area (APA) of Coral Reefs. A total of 1186 sediment samples were collected using a dredge type van veen and positioning of the vessel was made out with the aid of a Garmin 520s. The samples were treated In the laboratory to analyze particle size of the sediment, concentration of calcium carbonate and biogenic composition. The digital images from the Landsat-5 TM were used to mapping of features. This stage was used the band 1 (0,45-1,52 μm) where the image were georeferenced, and then adjusting the histogram, giving a better view of feature bottom and contacts between different types of bottom. The results obtained from analysis of the sediment showed that the sediments of the continental shelf east of RN have a dominance of carbonate facies and a sand-gravelly bottom because the region is dominated by biogenic sediments, that are made mainly of calcareous algae. The bedform types identified and morphological features found were validated by bathymetric data and sediment samples examined. From the results obtained a division for the shelf under study is suggested, these regions being subdivided, in well characterized: (1) Turbid Zone, (2) Coral Patch Reefs Zone, (3) Mixed Sediments Carbonates Zone, ( 4) Algae Fouling Zone, (5) Alignment Rocky Zone, (6) Sand Waves Field (7) Deposit siliciclastic sands

Caracterização geomorfológica e modelagem de dados espaciais na plataforma continental rasa do RN nos limites da folha Touros

This work focuses the geomorphological characterization and spatial data modeling in the shallow continental shelf within the Folha Touros limits (SB-25-CV-II), based on bathymetric data analysis and remote sensing products interpretation. The Rio Grande do Norte state is located in northeastern Brazil and the work area is located at the transition region between the eastern and northern portions of their coast. The bathymetric surveys were conduced between march and may 2009, using a 10 meters long vessel and 0.70 meters draught, equipped with global positioning system and echo sounder (dual beam, 200KHz , 14°). The fieldwork resulted in 44 bathymetric profiles espaced 1.5 km and 30 km average length. The bathymetric data amount were 111,200 points and were navigated 1395.7 km within na area about 1,850 km2. The bathymetric data were corrected for the tide level, vessel draught and were subsequently entered into a geographic information system for further processing. Analysis of remote sensing products was carried out using Landsat 7/ETM + band 1, from november 1999. The image was used for visualization and mapping submerged features. The results showed the presence of geomorphological features within the study area. Were observed, from the analysis of local bathymetry and satellite image, seven types of geomorphological features. The channels, with two longitudinals channels (e. g. San Roque and Cioba channels) and other perpendicular to the coast (e. g. Touros, Pititinga and Barretas). Coastal reef formations (Maracajaú, Rio do Fogo and Cioba). Longitudinal waves, described in the literature as longitudinal dunes. The occurrence of a transverse dune field. Another feature observed was the oceanic reefs, an rock alignment parallel to the coast. Were identified four riscas , from north to south: risca do Liso, Gameleira, Zumbi, Pititinga (the latter being described for the first time). Finally, an oceanic terrace was observed in the deepest area of study. Image interpretation corroborated with the in situ results, enabling visualization and description for all features in the region. The results were analysed in an integrating method (using the diferent methodologies applied in this work) and it was essential to describe all features in the area. This method allowed us to evaluate which methods generated better results to describe certain features. From these results was possible to prove the existence of submerged features in the eastern shallow continental shelf of Rio Grande do Norte. In this way, the conclusions was (1) this study contributed to the provision of new information about the area in question, particularly with regard to data collection in situ depths, (2) the method of data collection and interpretation proves to be effective because, through this, it was possible to visualize and interpret the features present in the study area and (3) the interpretation and discussion of results in an integrated method, using different methodologies, can provide better results

Caracterização geomorfológica e paleogeográfica da plataforma continental adjacente a foz do Rio Apodi-Mossoró, RN/Brasil

The brazilian marginal basins have a huge potential to generate and accumulate petroleum. Incised valleys which are eroded in response to a fall of relative sea level are related to potential reservoir as well, modern drowned-valley estuaries serve as harbors to petroleum and salt industries, fisheries, waste-disposal sites and recreational areas for a significant fraction of the world s population. The combined influence of these factors has produced a dramatic increase in research on modern and ancient incised-valley systems. This research is one expression of this interest. The integrated use of satellites images and high resolution seismic (bathymetry, sides scan sonar) was used on the Apodi River mouth-RN to characterizes the continental shelf This area is located at the Potiguar Basin in the NE Brazilian Equatorial Atlantic margin. Through bathymetric and side scan sonar data processing, a digital Terrain Model was developed, and a detailed geomorphologic analysis was performed. In this way was possible to recognize the geomorphologic framework and differents sismofacies, which may influence this area. A channel extending from the ApodiMossoró river mouth to the shelf edge dominates the investigated area. This structure can be correlated with the former river valley developed during the late Pleistocene sea level fall. This channel has two main directions (NW-SE and NE-SW) probably controlled by the Potiguar Basin structures. The western margin of the channel is relatively steep and pronounced whereas the eastern margin consists only of a gentle slope. Longitudinal bedforms and massive ridges also occur. The first are formed doe to the shelf sediment rework and the reef-like structures probably are relics of submerged beachrock-lines indicating past shoreline positions during the deglacial sea-level rise. The sub-bottom seismic data allow the identification of different sismic patterns and a marcant discontinuity, interpreted as the Upper

Java applets for a WWW-HTML-based course in power electronics

This paper introduces Java applet programs for a WWW (world wide web)-HTML (hypertext markup language)-based multimedia course in Power Electronics. The applet programs were developed with the purpose of providing an interactive visual simulation and analysis of idealized uncontrolled single-phase, and three-phase rectifiers. In addition, this paper discusses the development and utilization of JAVA applet programs to solve some design-oriented equations for rectifier applications. The major goal of these proposed JAVA applets was to provide more facilities for the students increase their pace in Power Electronics course, emphasizing waveforms analysis, and providing conditions for an on-line comparative analysis among different hands-on laboratory experiences, via a normal Internet TCP/IP connection. Therefore, using the proposed JAVA applets, which were embedded in a WWW-HTML-based course in Power Electronics, was observed an important improvement of the apprenticeship for the content of this course. Therefore, the course structure becomes fluid, allowing a true on-line course over the WWW, motivating students to learn its content, and apply it in some applications-oriented projects, and their home-works.

Educational Java applets get in power electronics labs

This paper presents Java applet programs for a WWW (world wide web)-HTML (hypertext markup language)-based multimedia course in basic power electronics circuits. These tools make use of the benefits of Java language to provide a dynamic and interactive approach to simulate steady-state idealized rectifiers (uncontrolled and controlled; single-phase and three-phase). In addition, this paper discusses the development and the use of the Java applet programs to assist the teaching of basics rectifier power electronics circuits, and to serve as a first design tool for basics power electronics circuits in the experiments of the laboratories. In order to validate the developed simulation applets, the results were confronted with results obtained from a well-know simulator package PSPICE. © 2005 IEEE.