Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Emprego de redes neurais artificiais supervisionadas e não supervisionadas no estudo de parâmetros reológicos de excipientes farmacêuticos sólidos

In this paper artificial neural network (ANN) based on supervised and unsupervised algorithms were investigated for use in the study of rheological parameters of solid pharmaceutical excipients, in order to develop computational tools for manufacturing solid dosage forms. Among four supervised neural networks investigated, the best learning performance was achieved by a feedfoward multilayer perceptron whose architectures was composed by eight neurons in the input layer, sixteen neurons in the hidden layer and one neuron in the output layer. Learning and predictive performance relative to repose angle was poor while to Carr index and Hausner ratio (CI and HR, respectively) showed very good fitting capacity and learning, therefore HR and CI were considered suitable descriptors for the next stage of development of supervised ANNs. Clustering capacity was evaluated for five unsupervised strategies. Network based on purely unsupervised competitive strategies, classic "Winner-Take-All", "Frequency-Sensitive Competitive Learning" and "Rival-Penalize Competitive Learning" (WTA, FSCL and RPCL, respectively) were able to perform clustering from database, however this classification was very poor, showing severe classification errors by grouping data with conflicting properties into the same cluster or even the same neuron. On the other hand it could not be established what was the criteria adopted by the neural network for those clustering. Self-Organizing Maps (SOM) and Neural Gas (NG) networks showed better clustering capacity. Both have recognized the two major groupings of data corresponding to lactose (LAC) and cellulose (CEL). However, SOM showed some errors in classify data from minority excipients, magnesium stearate (EMG) , talc (TLC) and attapulgite (ATP). NG network in turn performed a very consistent classification of data and solve the misclassification of SOM, being the most appropriate network for classifying data of the study. The use of NG network in pharmaceutical technology was still unpublished. NG therefore has great potential for use in the development of software for use in automated classification systems of pharmaceutical powders and as a new tool for mining and clustering data in drug development

Da cozinha ao terreiro em Mutamba da Caieira (RN) : cotidiano, espaço doméstico e sociabilidade

In this work we thought about the social use of the domestic space and, specifically, the space destined to the preparation of food. The kitchen is a creative space of social relationships. There the families exchange daily interaction with the neighbors, in a collective of the space reserved to the making of food. Our empiric research was in the Mutamba da Caieira community, located in the county of Assu (RN). The data was collected through the etnographic method aided by the photographic resources. In the discussion, we delimitated at the house three types of kitchens: one reserved to the family, another kitchen in the terrace and yet another kitchen in the yard. They are kitchens that link amongst themselves with activities and differentiated temporalities. In the daily social exchange, the kitchen imposes itself as a social space through the conditions that it offers for the production of the foods, the circulation of domestic objects, the communication of knowledge around the cookery, operating a group of symbolic and ritual actions combined with appropriate techniques for the transformation of the foods. The study reveals that the domestic chores accomplished amon relatives and friends form webs of intracommunitary relationships in the use of the three kitchens, and that the social network is updated in a singular moment that usually happens in the community, the Game of Pacará

Bioética e biodireito: interfaces e confluências

This thesis addresses the development of technoscience in times of transnational globalization and highlights the vulnerability of the discourse of social progress, which may be replaced by evidence of social risk before the artificiality of nature and humanity. That demands an ethical and legal responses to events that impose the necessity of an ethical control in biotechnology research involving human beings contributing to the rise of Bioethics and Biolaw as fields of knowledge. This theme is studied from a multidisciplinary perspective seeking a dynamic dimension in the interpretation of research data reconnecting Social Sciences to Legal Sciences (Biolaw) and to Philosophy (Bioethics), in order to obtain answers to the problems posed. The objective delimited is to examine the interfaces between Biolaw and Bioethics, in order to observe the confluence of these areas of knowledge. Biolaw is considered as a new legal branch derived from the paradigmatic transition of Law and wonders how it will stand before questions resulting of social transformations caused by biotechnological development that endangers humans and society. It is concluded that the relationship between Bioethics and Biolaw is recursive and inseparable and it contributed to the "unthink" of traditional legal model of linear view/reductionist allowing that the "certainties" will be replaced by "possibilities", which comes to enable Biolaw to confront the issues caused by the development of biotechnology that violates physically and morally the human person. It is perceived, therefore, that Biolaw is driven and aided by bioethical reflections and it positions itself before the dilemmas caused by biotechnology in creating, interpreting and applying coercive rules which aims to protect the human being, his offspring and society

Aplicação de microemulsões na solubilização de frações pesadas de petróleo

This work presents studies related to the use of microemulsions in the solubilization of heavy crude oil fractions responsible by the formation of deposits. The first stage of the work was addressed to the construction of phases diagrams, with the intention of determining the area within which the microemulsion is formed. The following systems were studied: UNITOL L 90 n-Butanol - Water - Kerosene (system 1); UNITOL L 90 - n-Butanol - Water - Xylene (system 2); UNITOL L 90 n-Butanol - Water - Kerosene/Xylene 10% (system 3); UNITOL L 90 - Sec-Butanol - Water - Xylene (system 4). In parallel experiments of physical adsorption were carried out by the static method, with the intention of simulating natural conditions of reservoirs. Crude oil of the Fazenda Belém field (Rio Grande do Norte), was used as solute, xylene as solvent and the Assu sandstone (Rio Grande do Norte, Brazil) and Botucatu sandstone (Paraná, Brazil) as rock reservoirs. The curves of adsorption presented the S format type, in agreement with the classification proposed by Giles, Smith and Huitson (1974). The solubilization process was accomplished in the batch method, by varying the time of agitation, the microemulsions and the solid/solution ratio. The experiments showed that the microemulsions presented high efficiency in the solubilization of the crude oil adsorbed on the sandstones. System 2 presented an efficiency of 99% for the Assu sandstone and 97% for the Botucatu sandstone

O futuro do presente: a mídia audiovisual e a sociedade contemporânea na ficção científica do cinema de animação

This research presents a study that seeks to analyze the images of the future in science fiction movies, specifically those made through animation techniques, exploring particularly the representation of audiovisual communication medias in its dialogue with the approached societies in the movies chosen to be analyzed. The proposed discussion seeks approximations in order to answer to the question that initiated this research: how are we thinking the future nowadays? It also seeks to, according to Morin (1997), comprehend aspects of the contemporary society by using the cinema, and at the same time, to understand the cinema, aided by a social analysis

Ecologia alimentar do boto cinza, sotalia guianensis (van banédén, 1864), no litoral do rio grande do norte (rn)

This study investigated factors that influence the group size during the behavior foraging of estuarine dolphin Sotalia guianensis in the coast south of the state Rio Grande do Norte (RN), it also characterized the diet of estuarine dolphins and elaborated an otoliths catalog for aid in the identification of the preys found in the stomach contents. In relation to the group size during behaviour foraging, inside of the Curral Bay, larger frequency of solitary hunt was observed. Factors as tide variation, group composition and seasons didn't present correlation with the number of animals observed during a feeding episode. Capture success for participant was shown significantly larger when the animals hunted alone, what possibly explains the largest frequency of solitary hunt inside of the Curral Bay. About diet, were identified 18 bone fishes species, with predominance of species the families Haemulidae and Sciaenidae and five cephalopods species, including two new species in the diet of Sotalia guianensis in Brazil. Our results indicated that estuarine dolphin in the coast oriental from Rio Grande do Norte (RN) feeds predominantly of fish that form shoal, of habitat estuarino and producing of sounds. The analysis of the images, otoliths of 43 species of coastal fish of the coast of the state of Rio Grande do Norte (RN), aided by the offered descriptions, demonstrated to be an effective methodology for the knowledge of those structures, as well as it represented a form of reducing the subjectivity in the identification of the bone fishes found in stomach content

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Sistema operacional e biblioteca de funções para plataformas MPSOC: um estudo de caso para simuladores de reservatórios

The increasingly request for processing power during last years has pushed integrated circuit industry to look for ways of providing even more processing power with less heat dissipation, power consumption, and chip area. This goal has been achieved increasing the circuit clock, but since there are physical limits of this approach a new solution emerged as the multiprocessor system on chip (MPSoC). This approach demands new tools and basic software infrastructure to take advantage of the inherent parallelism of these architectures. The oil exploration industry has one of its firsts activities the project decision on exploring oil fields, those decisions are aided by reservoir simulations demanding high processing power, the MPSoC may offer greater performance if its parallelism can be well used. This work presents a proposal of a micro-kernel operating system and auxiliary libraries aimed to the STORM MPSoC platform analyzing its influence on the problem of reservoir simulation

Reavaliação de critérios estruturais na hidrogeologia de terrenos cristalinos, com ênfase na neotectônica e sensoriamento remoto

Hydrogeological prospecting in Northeast Brazil and in other crystalline terrains has been developed on the basis of structural and regional geology concepts that date back to the 50-60 decades and, as such, demand a natural re-evaluation and update. In this kind of terrain, the percolation and accumulation of ground water are controlled by fractures and other types of discontinuities, such as foliations and geological contacts that, through weathering, impart porosity and permeability to the rocks, allowing water flow and storage. Several factors should be considered in the process of locating water wells, as discussed in the literature. Among these, the kind of structures, fracture geometry (including aperture and connectivity) and their geological and chronological context. It is important to correlate fracture systems with the regional neotectonic framework. Fractures at low angle (sub parallel) with the principal stress axis (s1) are those which tend to open (actually they work as tension joints) and, in principle, would present major hydric potential; in the opposite side, fractures at high angle to s1 would behave as closed by a compressional component. Fractures diagonal to the compression and tension axes correspond to shear fractures and, due to their connectivity with second fractures, are also important in terms of hydric potential. Uplift followed by terrain denudation leads to decompression and a general tendency to open (aided by weathering processes) fractures and other rock discontinuities, at different orientations. Low angle fractures, formed in this context, are equally important to increase connectivity, collection of water and recharge of the aquifer systems. In a general way, an opening component (neotectonic or by terrain decompression) and several models to increase fracture connectivity correlate with a greater hydric potential of these structures. Together with parallel research, this thesis addresses models of ground water occurrence in crystalline terrains, either improving well established concepts like the (Riacho-Fenda model), but also stressing other possibilities, like the role of alluvium and paleo-regoliths (the Calha Elúvio-Aluvionar model) and of strongly altered, permo-porous zones placed at variable depths below the present surface, flanking several types of discontinuities, especially interconnected fracture arrays (the Bolsões de Intemperismo model). Different methodological approaches are also discussed in order to improve success rates in the location of water wells in crystalline terrains. In this methodological review, a number of case studies were selected in the eastern domain of the State of Rio Grande do Norte, involving the localities of Santa Cruz, Santo Antônio, Serrinha, Nova Cruz, Montanhas, Lagoa de Pedras and Lagoa Salgada. Besides the neotectonic analysis of brittle structures, this Thesis addresses the validation of remote sensing as a tool for ground water prospecting. Several techniques were tested in order to detect and select areas with higher potential for ground water accumulation, using Landsat 5-TM and RADARSAT images, besides conventional aerial photos. A number of filters were tested to emphasize lineaments in the images, improving their discrimination, to identify areas with higher overburden humidity, which could reflect subsurface water accumulation, as well as alluvium and other sedimentary covers that might act as recharge zones. The work started with a regional analysis with the orbital images, followed by analysis of aerial photos, up to a detailed structural study of rock exposures in the terrain. This last step involved the analysis of outcrops surrounding wells (in a ray of approximately 10 to 100 m) with distinct productivities, including dry examples. At the level required for detail, it was not possible to accomplish a statistical approach using the available well data catalogs, which lack the desired specific information. The methodology worked out in this Thesis must undergo a testing phase through location of new water wells. An increase in the success rates as desired will led to a further consolidation step with wider divulgation of the methodology to private companies and governmental agencies involved in ground water prospecting in crystalline terrains

Uso do gpr na caracterização da pluma de contaminação gerada por hidrocarbonetos a partir de um posto de combustível na praia de Búzios/RN

This work is the application of geophysical methods, using the Ground Penetrating Radar (GPR), with the objective of survey in a subsurface plume of contamination caused by a disabled gas station. The gas station is located on the Búzios beach in southern coast of the state to Rio Grande do Norte in an Area of Environmental Protection called Bonfim-Guaraíra. The interest to develop this work was the presence of contaminants (hydrocarbons) in a well located on the desktop, previously used for the abstraction of groundwater for residents living near the site. Were raised 15 geophysical survey lines totaling 775,48 lifting and installed 4 piezometer, to confirm the contamination and prepare a pluviometric map that helped in indicating the direction of local groundwater flow, thus showing the direction of movement of the probably plume of contamination. From the processing of the GPR lines was possible to identify two likely phases of contamination according to the classification proposed by Azambuja et al 2000, which are called phase absorbed and dissolved phase

A reforma psiquiátrica e a política de saúde mental do Rio Grande do Norte: papéis e funções de profissionais e gestores

This study arose from an interest in knowing the reality of mental health care in Rio Grande do Norte (RN) on the advances and challenges in the intersectoral agreements paths and consolidation of the Psychosocial Care Network (RAPS) from the state. Considering problematic and concerns were defined as objectives: Identify the knowledge of managers of Rio Grande do Norte on the National Mental Health Policy (PNSM) in the RN State; Describe the activities developed by health professionals in the individual service offered in the CAPS from RN; Understanding the relationship of managers’ knowledge on national mental health policy in professionals’ practice working in the the CAPS from the countryside. It is a descriptive study with a quantitative and qualitative approach, carried out in 30 CAPS from RN’s countryside, where 183 professionals answered a structured questionnaire with closed questions about the activities they do in individual care; and 19 mental health coordinators of municipalities and the state coordinator of RAPS were interviewed about their knowledge on the Mental Health Policy. Data were collected after approval by the Research Ethics Committee of the Federal University of Rio Grande do Norte, with the number 508.430 CAAE: 25851913.7.0000.5537 from August through October of 2014 in 26 municipalities with CAPS from the state. Quantitative data were tabulated and analyzed using a descriptive statistics aided by the software Statistical Package for the Social Scienses (SPSS) version 20.0. The qualitative data were prepared in a corpus and analyzed through software Analyse Lexicale par Contexte d’um Ensemble de Segments de Texte (ALCESTE) that allow to perform textual statistical analysis and categorization from their comments, submitted to Bardin content analysis. Five categories were generated approaching the managers’ knowledge, namely: Back to society: leadership and users’ role and autonomy; The gap between policy and practice; Barriers that affect the service; Structuring the Psychosocial Care Network; Multidisciplinary team: attribuitios and activities. The CAPS professionals’ ages ranged from 20 to 58 years, prevailing females, with 76.5% of the total, the majority were social workers (16.8%), psychologists (15.3%), nurses (14.8%) and nursing technicians (14.8%). The results showed precariousness in care associated with physical workload regard to high workload and low wages of the CAPS professionals' and, also, it was possible to observe a large involvement of professionals in care delivery, despite the difficulties encountered in services. It was found little knowledge in managers regarding the National Mental Health Policy having as causes of this reality the poor education and training of these professionals. The responses of professionals working in care reveals strong consistency with what is expected of a psychosocial care service. Points up as a thesis of this study that the psychiatric reform and mental health policy in Rio Grande do Norte is following a structural expansion process, but with precariousness of services from a still unprepared management to act in a psychosocial context.

Avaliação do controle da diagênese na qualidade de reservatório siliciclástico do cenomaniano superior da formação Açu, sudoeste da bacia potiguar

The distribution of diagenetic alterations in Late Cenomanian siliciclastic reservoirs from Potiguar Basin was influenced by the stratigraphic framework and the depositional system. Seismic sections and geophysical logs of two wells drilled in the SW portion of the mentioned basin above register regional stratigraphic surfaces representing maximum floods related to a transgressive event. The sequential analysis of 80 m of drill core (~450 m deep) recognized nine depositional facies with an upwards granodecrescent standard piling that limits cycles with an erosional conglomeratic base (lag) overlain by intercalations of medium to very fine sandstones showing cross bedding (channel, planar and low angled) and horizontal bedding (plane-parallel , wave and flaser). The top of the cycles is marked by the deposition of pelites and the development of paleosoils and lagoons. The correlation of genetically related facies reveals associations of channel fillings, crevasse, and flood plains deposited in a transgressive system. Detailed descriptions of seventy nine thin sections aided by MEV-EBSD/EDS, DRX and stable isotope analyses in sandstones revealed an arcosian composition and complex textural arrays with abundant smectite fringes continuously covering primary components, mechanically infiltrated cuticles and moldic and intragrain pores. K-feldspar epitaxial overgrowth covers microcline and orthoclase grains before any other phase. Abundant pseudomatrix due to the compactation of mud intraclasts concentrate along the stratification planes, locally replaced by macrocristalline calcite and microcrystalline and framboidal pyrite. Kaolinite (booklets and vermicular), microcrystalline smectite, microcrystalline titanium minerals and pyrite replace the primary components. The intergrain porosity prevails over the moldic, intragrain and contraction porosities. The pores are poorly connected due to the presence of intergranular smectite, k-feldspar overgrowth, infiltrated mud and pseudomatrix. The sandstones were subjected to eodiagenetic conditions next to the surface and shallow burial mesodiagenetic conditions. The diagenetic alterations reduced the porosity and the permeability mainly due to the precipitation of smectite fringes, compactation of mud intraclasts onto the pseudomatrix and cementing by poikilotopic calcite characterizing different reservoir petrofacies. These diagenetic products acted as barriers and detours to the flow of fluids thus reducing the quality of the reservoir.

Da cozinha ao terreiro em Mutamba da Caieira (RN) : cotidiano, espaço doméstico e sociabilidade

In this work we thought about the social use of the domestic space and, specifically, the space destined to the preparation of food. The kitchen is a creative space of social relationships. There the families exchange daily interaction with the neighbors, in a collective of the space reserved to the making of food. Our empiric research was in the Mutamba da Caieira community, located in the county of Assu (RN). The data was collected through the etnographic method aided by the photographic resources. In the discussion, we delimitated at the house three types of kitchens: one reserved to the family, another kitchen in the terrace and yet another kitchen in the yard. They are kitchens that link amongst themselves with activities and differentiated temporalities. In the daily social exchange, the kitchen imposes itself as a social space through the conditions that it offers for the production of the foods, the circulation of domestic objects, the communication of knowledge around the cookery, operating a group of symbolic and ritual actions combined with appropriate techniques for the transformation of the foods. The study reveals that the domestic chores accomplished amon relatives and friends form webs of intracommunitary relationships in the use of the three kitchens, and that the social network is updated in a singular moment that usually happens in the community, the Game of Pacará