AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

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

Análise caracterização da dinâmica da Foz do Rio Apodi, região de Areia Branca/RN, com base na cartografia temática multitemporal de produtos de sensores remotos

The study area islocated in the northern cost of Rio Grande do Norte State, preciselyin a west zone of Apodi-Mossoró River, inclunding Tibau City, Grossos City and part of Mossoró City. Geologicaly, this area is composed by rokcs of Potiguar basin, represented by Cretaceous, Tertiary and Quaternary sediments. This area is characterizer by the intense action of cosatal processes (eolic and costal tranports, generalized erosion, alteration in the sediments balance and coast modification), reponsable for it´s morfological instability, also the antropic interference, where the iol industry is located, next Mossoró City, and also the salt exploration industry and the tendency of expantion of shrimp cultivation. This report had as objective the multitemporalgeoenvorimentalmonitoring of the region by recognizingin the field and analizingimages of orbital sensors of diferents years of last four decades. This analisys was achieved by Digital Images Procesing (DIP) thecnics, com subsidized, in a GIS, the preparion of Thematic Maps of natural resources (Geology, Geomorphology and Use & Ocupatios of Earth) and the Envorimental Sensivity to Oil Spilling, main objective os this project. Such technics constitute important tools of envoriment monitoring and maneging, indicating tendencies of antropic of natural growing, making possible the apropiated planning of development of the region, where the steps can be indicated minimized possibles envorimental impacts caused by antropics interferencies on the region, mainly those related to industrial activities, and oil industry above all. Researchs of this nature are very important to the analisys and ordered manegements of use and ocupation of coastal places

Monitoramento geoambiental do estuário do Rio Paraíba do Norte - PB por meio da cartografia temática digital e de produtos de sensoriamento remoto

The North Paraíba River Estuary, located in the eastern portion of the Paraíba State, Northeast Brazil, on coordinates 34º50 00 -34º57 30 S and 6º55 00 -7º7 30 W, constitutes a fluvio-marine plain formed by the North Paraíba River and its tributaries Sanhauá, Paroeira, Mandacaru, Tiriri, Tambiá, Ribeira and Guia. This estuary comprises an area of about 260 km2. Increasing human demands on the estuary area and inadequate environment managing have generated conflicts. The present work main purpose is to evaluate the geodynamic evolution of the North Paraíba River Estuary in the period from 1969 to 2001, using digital image processing techniques, thematic digital cartography and multitemporal data integration, combined to geological-geophysical field surveys. The SUDENE cartographic database, converted to digital format were, used to obtain occupation and topographic maps from 1969 and to generate a Digital Elevation Model (DEM). Digital Landsat 7 ETM+ and Spot HRVIR-PAN satellite images interpretation allowed the environmental characterization of the estuary. The most important digital processing results were achieved color composites RGB 5-4-3, 5-3-1, 5-2-NDWI and band ratio 7/4-5/3-4/2, 5/7-3/1-5/4). In addition the fusion image technique RGBI was used by the inclusion of the Spot HRVRI and Landsat 7 ETM+ panchromatic band on I layer with RGB triplets 5-4-3, 5-3-1 and 5/7-3/1-5/4. The DEM and digital images integration allowed the identification of seven geomorphological units: coastal tableland, flowing tray, tide plain, fluvial terrace, submerged dune, beach plain and beach). Both Side Scan Sonar and Echosound were used to analyse underwater surface and bedforms of the estuarine channel, sand predominance (fine to very fine) and 2D dune features 5 m wide and 0.5 m height. This investigation characterized the estuary as an environment dominated by regimen of average flow. The channel depth varies between 1 m and 11 m, being this last quota reached in the area of Porto de Cabedelo. The chanel estuary is relatively shallow, with erosion evidences mainly on its superior portion, attested by sand banks exposed during the low tide. Multitemporal digital maps from 1969 and 2001 integration were obtained through geoprocessing techniques, resulting the geodynamic evolution of the estuary based on landuse, DEM geomorphology and bathymetric maps

Cartografia temporal e análise geoambiental da dinâmica da foz do Rio Piranhas-Açu, regiao de Macau-RN, com base em imagens Landast 5-MT

This work embraces the application of Landsat 5-TM digital images, comprising August 2 1989 and September 22 1998, for temporal mapping and geoenvironmental analysis of the dynamic of Piranhas-Açu river mouth, situated in the Macau (RN) region. After treatment using several digital processing techniques (e.g. colour composition in RGB, ratio of bands, principal component analysis, index methods, among others), it was possible to generate several image products and multitemporal maps of the coastal morphodynamics of the studied area. Using the image products it was possible the identification and characterization of the principal elements of interest (vegetation, soil, geology and water) in the surface of the studied area, associating the spectral characteristics of these elements to that presented by the image products resulting of the digital processing. Thus, it was possible to define different types of soils: Amd, AQd6, SK1 and LVe4; vegetation grouping: open arboreal-shrubby caatinga, closed arborealshrubby caatinga, closed arboreal caatinga, mangrove vegetation, dune vegetation and areas predominately constituted by juremas; geological units: quaternary units beach sediments, sand banks, dune flats, barrier island, mobile dunes, fixed dunes, alluvium, tidal and inundation flats, and sandy facies of the Potengi Formation; tertiary-quaternary units Barreiras Formation grouped to the clayey facies of the Potengi Formation, Macau Formation grouped to the sediments of the Tibau Formation; Cretaceous units Jandaíra Formation; moreover it was to identify the sea/land limit, shallow submersed areas and suspended sediments. The multitemporal maps of the coastal morphodynamics allowed the identification and a semi-quantitative evoluation of regions which were submitted to erosive and constructive processes in the last decade. This semi-quantitative evoluation in association with an geoenvironmental characterization of the studied area are important data to the elaboration of actions that may minimize the possible/probable impacts caused by the implantation of the Polo Gas/Sal and to the monitoring of areas explorated by the petroleum and salt industries

Desenvolvimento de um sistema computacional para geração automática de mapas de vulnerabilidade como ferramenta de auxílio às ações de prevenção ao derramamento de óleo em áreas costeiras

The northern portion of the Rio Grande do Norte State is characterized by intense coastal dynamics affecting areas with ecosystems of moderate to high environmental sensitivity. In this region are installed the main socioeconomic activities of RN State: salt industry, shrimp farm, fruit industry and oil industry. The oil industry suffers the effects of coastal dynamic action promoting problems such as erosion and exposure of wells and pipelines along the shore. Thus came the improvement of such modifications, in search of understanding of the changes which causes environmental impacts with the purpose of detecting and assessing areas with greater vulnerability to variations. Coastal areas under influence oil industry are highly vulnerable and sensitive in case of accidents involving oil spill in the vicinity. Therefore, it was established the geoenvironmental monitoring of the region with the aim of evaluating the entire coastal area evolution and check the sensitivity of the site on the presence of oil. The goal of this work was the implementation of a computer system that combines the needs of insertion and visualization of thematic maps for the generation of Environmental Vulnerability maps, using techniques of Business Intelligence (BI), from vector information previously stored in the database. The fundamental design interest was to implement a more scalable system that meets the diverse fields of study and make the appropriate system for generating online vulnerability maps, automating the methodology so as to facilitate data manipulation and fast results in cases of real time operational decision-making. In database development a geographic area was established the conceptual model of the selected data and Web system was done using the template database PostgreSQL, PostGis spatial extension, Glassfish Web server and the viewer maps Web environment, the GeoServer. To develop a geographic database it was necessary to generate the conceptual model of the selected data and the Web system development was done using the PostgreSQL database system, its spatial extension PostGIS, the web server Glassfish and GeoServer to display maps in Web

Análise sintagmática aplicada ao processo de sumarização automática de documentos do português brasileiro

This research studies the application of syntagmatic analysis of written texts in the language of Brazilian Portuguese as a methodology for the automatic creation of extractive summaries. The automation of abstracts, while linked to the area of natural language processing (PLN) is studying ways the computer can autonomously construct summaries of texts. For this we use as presupposed the idea that switch to the computer the way a language is structured, in our case the Brazilian Portuguese, it will help in the discovery of the most relevant sentences, and consequently build extractive summaries with higher informativeness. In this study, we propose the definition of a summarization method that automatically perform the syntagmatic analysis of texts and through them, to build an automatic summary. The phrases that make up the syntactic structures are then used to analyze the sentences of the text, so the count of these elements determines whether or not a sentence will compose the summary to be generated

Técnica para segmentação automática de imagens microscópicas de componentes sanguíneos e classificação diferencial de leucócitos baseada em lógica fuzzy

Automatic detection of blood components is an important topic in the field of hematology. The segmentation is an important stage because it allows components to be grouped into common areas and processed separately and leukocyte differential classification enables them to be analyzed separately. With the auto-segmentation and differential classification, this work is contributing to the analysis process of blood components by providing tools that reduce the manual labor and increasing its accuracy and efficiency. Using techniques of digital image processing associated with a generic and automatic fuzzy approach, this work proposes two Fuzzy Inference Systems, defined as I and II, for autosegmentation of blood components and leukocyte differential classification, respectively, in microscopic images smears. Using the Fuzzy Inference System I, the proposed technique performs the segmentation of the image in four regions: the leukocyte’s nucleus and cytoplasm, erythrocyte and plasma area and using the Fuzzy Inference System II and the segmented leukocyte (nucleus and cytoplasm) classify them differentially in five types: basophils, eosinophils, lymphocytes, monocytes and neutrophils. Were used for testing 530 images containing microscopic samples of blood smears with different methods. The images were processed and its accuracy indices and Gold Standards were calculated and compared with the manual results and other results found at literature for the same problems. Regarding segmentation, a technique developed showed percentages of accuracy of 97.31% for leukocytes, 95.39% to erythrocytes and 95.06% for blood plasma. As for the differential classification, the percentage varied between 92.98% and 98.39% for the different leukocyte types. In addition to promoting auto-segmentation and differential classification, the proposed technique also contributes to the definition of new descriptors and the construction of an image database using various processes hematological staining

“Currículo encarnado”: cartografia simbólica e afinidades pós-coloniais

This thesis has as main objective to reflect about the defining conceptual elements of the embodied curriculum concept, ident ified curriculum conception from the analysis about the rationality employed in the doctoral work of teacher Antonio Fernando Gouvê a da Silva, entitled The construction of the curriculum in popular critical perspective: the significant words to the context ualized practices , written and defended in the Postgraduate Program in Education: Curriculum, in the Pontifícia Catholic University of São Paulo, in 2004. We looked, also, on the problematization of the affinities between postcolonial theories – analytical perspectives towards the discussion about coloniality and their effect on contemporary social weaving – and the embodied curriculum concept. We argue that the reflections present in the aforementioned work bring an articulated curriculum concept based on three conceptual symbiotic elements, namely: negativity, dialogue and praxis, which, by endorsing the possibility of a curricular ingrained practice in the life context of the individuals, have some post - colonial inclinations that lead to the problematizat ion about the neo - colonial manifestations in curricular sphere, outlining a critique of the modus operandi of the colonialism, particularly, in its cultural and epistemic dimension from which the education is inseparable. For that, we used as methodologica l procedure the symbolic cartography, knowledge building strategy systematized by Boaventura de Sousa Santos, which allowed us to construct interpretive maps that enabled the symbolization of the universe which we longed to understand, that is, the concept ual categories mentioned above, which, in our view, underlie the concept of embodied curriculum. In this direction, we anchored ourselves in a meaningful dialogue with the theoretical approach of Paulo Freire and some of his interpreters regarding the disc ussion on curriculum, especially the reflections dev eloped by Antonio Fernando Gouvê a da Silva, and authors whose theoretical developments resonate in prospects for humanization, social justice and empowerment, among which we highlight: Theodor Adorno, Hug o Zemelman, Wilfred Carr, Adolfo Sánchez Vázquez, among others. We seek, in the same manner, on the contributions of authors considered post - colonial, as Hugo Achugar, Gayatri Spivak, Boaventura de Sousa Santos and Enrique Dussel, to name a few, the reason s why we consider the embodied curriculum as a place of political - pedagogical enunciation, conducive to an educational praxis that engages in a curricular work of reality translation in order to see what overwhelms it to, then, elicit the construction of a school curriculum as an awareness project for releasing in relation to what is unjust and inhumane. We consider, finally, that the success of this curriculum embodied translation implies a larger number of speakers mobilized in the production of knowledge that yearns for social emancipation and contribute to the enrichment of human capabilities as the maintenance of the life and the dignity of people.

Cartografia do trabalho de agentes penitenciários: reflexão sobre o “dispositivo prisão”

The Brazilian prison system is going through a serious crisis, not only due to the growth in the number of prisoners and the consequent overcrowding of prisons, but also for the violation of human rights, institutionalization and difficulty in social rehabilitation of inmates. Furthermore, the harmful effects of the prison system affect their workers, who generally are not prioritized by researchers, health programs and government policies. The literature pointing to some consequences of work in prison, among them, the mental illness, stress, alcohol abuse, etc., but little is known about this profession, their problems, the difficulties of their work routine, so as subjective processes involved. So, what are the effects of this work in the prison in the lives of correctional officers? What strategies developed to address the work in prison? This research aims to analyze the effects of this work in the prison in the lives of correctional officers from the state prison in Parnamirim, located in the metropolitan region of Natal-RN. Within the theoretical and methodological perspective of institutional analysis and cartography were carried conversation circles, interviews, in addition to participant observation of the correctional officers work’s routine. The results point to a working routine marked by the performance of procedures that involve risk to the worker, generating situations of tension and stress. Besides, the culture of violence (which is implemented in jail everyday) as well as the training and initial learning of the profession, are responsible for the militarization process of the subjectivities of the correctional officers, producing hard subject, disciplined, stiff, likely to violent practices and other rights violations. Other mapped effects relate to the acquisition of knowledge about the human (“psy” knowledge) responsible for forging the conception of the criminal as "dangerous subject", which, in turn, acts as subjectivity vector in the daily life of prison guards by setting up a way of life crossed by fear and insecurity outside the work environment. Produces a control in the open about their lives and their families, limiting them with regard to family and community life and the realization of leisure activities in public spaces. In this sense, it appears that the arrest acts producing “bad meetings” (from Espinosa's perspective), once it produces sad affections responsible for weakening the conatus, limiting the possibilities of action of these subjects. Although agents develop some strategies to deal with the difficulties of working in prison (among which stand out the development of other professional or leisure activities, spirituality / religiosity and the ability to separate the labor moments from those of their the personal lives, is advocated that such strategies do not offer significant resistance, since they do not question the contemporary legal-criminal logic. The thesis presented supports the proposals of penal abolitionism to present other conceptions of crime and justice through the invention of other practical and conceptual strategies.