Implementação do algoritmo (RTM) para processamento sísmico em arquiteturas não convencionais

With the growth of energy consumption worldwide, conventional reservoirs, the reservoirs called "easy exploration and production" are not meeting the global energy demand. This has led many researchers to develop projects that will address these needs, companies in the oil sector has invested in techniques that helping in locating and drilling wells. One of the techniques employed in oil exploration process is the reverse time migration (RTM), in English, Reverse Time Migration, which is a method of seismic imaging that produces excellent image of the subsurface. It is algorithm based in calculation on the wave equation. RTM is considered one of the most advanced seismic imaging techniques. The economic value of the oil reserves that require RTM to be localized is very high, this means that the development of these algorithms becomes a competitive differentiator for companies seismic processing. But, it requires great computational power, that it still somehow harms its practical success. The objective of this work is to explore the implementation of this algorithm in unconventional architectures, specifically GPUs using the CUDA by making an analysis of the difficulties in developing the same, as well as the performance of the algorithm in the sequential and parallel version

Análises físico-químicas de polpas de frutas e avaliação dos seus padrões de identidade e qualidade

The pulps are products that add economic value enjoy the fruits of the surplus productions of the same. Have good market acceptance because of its practicality and diversity of flavors available year round. In order to assess the quality of the fruit pulp through the physical and chemical parameters and the characteristics of manufacturing industry, we analyzed 36 samples of frozen fruit pulp of three brands marketed in RIO Grande do Norte, 14 brand A, 12 of 10 brand B and brand C, which corresponded to 14 different flavors, of which 10 have identity Standards and Quality (ISQ S) established by the Ministério da Agricultura, Pecuária e Abastecimento (MAPA), totaling 27 samples with ISQ s. We conducted the following physicalchemical analyzes on samples of fruit pulp: Total solids, total soluble solids, pH, titratable acidity, total sugars and the determination of ascorbic acid. The percentage of failure for each parameter evaluated was 37, 04% in total soluble solids, 22,22% for total solids and titratable acidity, 7,40% in relation to pH. The total sugars were within the requirements demanded by the MAPA and ascorbic acid content, determined only in the pulp of acerola and cashew, presented a non compliance in the pulp of brand B. The percentage of failures of the pulps with ISQ S was 59% with brand A, B and C accounted for 3,70%, 33,33% and 22,22% respectively. The pulps which have no established atandards such as pineapple pulp, showed similar values between brands and literature data unlike the pulp of plum, jackfruit and tamarind which diverged greatly in parameters such as total solids and total soluble solids. The study demonstrates the need for greater quality control by the producers with respect to raw materials, processing, packing, stored and the importance of ISQ S to establish the flavors have not yet covered by existing legislation, but already highly commercialized

Implementação do algoritmo (RTM) para processamento sísmico em arquiteturas não convencionais

With the growth of energy consumption worldwide, conventional reservoirs, the reservoirs called "easy exploration and production" are not meeting the global energy demand. This has led many researchers to develop projects that will address these needs, companies in the oil sector has invested in techniques that helping in locating and drilling wells. One of the techniques employed in oil exploration process is the reverse time migration (RTM), in English, Reverse Time Migration, which is a method of seismic imaging that produces excellent image of the subsurface. It is algorithm based in calculation on the wave equation. RTM is considered one of the most advanced seismic imaging techniques. The economic value of the oil reserves that require RTM to be localized is very high, this means that the development of these algorithms becomes a competitive differentiator for companies seismic processing. But, it requires great computational power, that it still somehow harms its practical success. The objective of this work is to explore the implementation of this algorithm in unconventional architectures, specifically GPUs using the CUDA by making an analysis of the difficulties in developing the same, as well as the performance of the algorithm in the sequential and parallel version

Avaliação dos processos de seleção utilizados nos programas de fomento a inovação nas micro e pequenas empresas da fundação de amparo à pesquisa do Rio Grande do Norte

Technological innovation promotes the generation of economic value by creating a new product, process or organizational management model, being classified as dynamic and multidimensional. Government intervention has the role of acting through government grant programs to foster the integration of innovative processes in small companies, due to the high costs and risks of development, strengthening the country`s economy in this phase. The distribution of this grant is determined by criteria, based especially in subjective judgments, which are based on the beliefs and perceptions about the technological opportunities and market actors involved in the process, being very difficult to measure the probability of success of the project under evaluation. This study aims to identify the most relevant selection criteria that must be inserted in grants programs at Rio Grande do Norte executed by Fundação de Pesquisa do Rio Grande do Norte (FAPERN). Initially, there was a systematization of 18 countries, covering 41 programs in foreign countries and 29 in Brazil. Based on the data collected, we conducted one survey containing four programs of FAPERN (INOVA I, INOVA II , INOVA III and INOVA IV), covering 44 companies and analyzing their responses according to the Likert scale , obtaining the degree of importance given by the respondent to each of the criteria in the questionnaire . As a result, drew up a proposal for new criteria to be used in the next FAPERN´s grants, containing 13 new criteria. It is expected, therefore, to contribute to a better spending of public funds invested in companies subsidized in Brazil

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

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

Economy of the island of eco-tourism: the role of shark-diving and shark harvesting

Beyond its importance in maintaining ecosystems, sharks provide services that play important socioeconomic roles. The rise in their exploitation as a tourism resource in recent years has highlighted economic potential of non-destructive uses of sharks and the extent of economic losses associated to declines in their population. In this work, we present estimates for use value of sharks in Fernando de Noronha Island - the only ecotouristic site offering shark diving experience in the Atlantic coast of South America. Through the Travel Cost Method we estimate the total touristic use value aggregated to Noronha Island by the travel cost was up to USD 312 million annually, of which USD 91.1 million are transferred to the local economy. Interviewing people from five different economic sectors, we show shark-diving contribute with USD 2.5 million per year to Noronha’s economy, representing 19% of the island’s GDP. Shark-diving provides USD 128.5 thousand of income to employed islanders, USD 72.6 thousand to government in taxes and USD 5.3 thousand to fishers due to the increase in fish consumption demanded by shark divers. We discover, though, that fishers who actually are still involved in shark fishing earn more by catching sharks than selling other fish for consumption by shark divers. We conclude, however, that the non-consumptive use of sharks is most likely to benefit large number of people by generating and money flow if compared to the shark fishing, providing economic arguments to promote the conservation of these species.