In vitro and in vivo evaluation of a primaquine prodrug without red blood cell membrane destabilization property

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O Macrogênero drama Norte-Riograndense: uma análise de gênero e de discurso sob a perspectiva da linguística sistêmico-funcional

The focus of this qualiquantitative research is the phenomenon we are denominating Drama-of-Rio-Grande-do-Norte, which contemplates short verse texts from the oral tradition, sung and presented on stage by women in communities on the south coast of the northeastern Brazilian State, Rio Grande do Norte. This tradition harkens to the medieval romance of the Iberian Peninsula (CASCUDO, 2001; GURGEL, 1999; GALVÃO, 1993; MAGALHÃES, 1973; ROMERO,1977). The objective of this research is to: identify what characterizes the genre Drama of Rio Grande do Norte; situate this genre within a systemization of genres from the oral tradition in Rio Grande do Norte; investigate the interpersonal relationships of power and solidarity through the role of the women in the discourse, how they see themselves and others, pointing out which elements of the world they evaluate and to identify representations of the feminine in the discourse. The theory of Genre and Register of Martin and Rose (2008) and Generic Structure Potential of Hasan (1989, 1996), which has as a base the Systemic Functional Linguistics of Halliday and Matthiessen (2004), Eggins (1994) among others, offers a theoretical framework for the characterization of the genre through the identification of stages and phases configuring its typology the individual schematic structure and its topology its relation to other phenomena in the oral tradition. Other groupings were mapped of the ‗Macrogenre , from the model of Martin and Rose (2008) as a continuum on two axis: between the poles of how the genre circulates orally x in writing, and recited/individually x staged/collectively; as well as mapping the samples with relation to power using the same model, but with the poles of individual voice x collective voice on an axis between increased power and diminished power. Eleven texts described as Narratives and one Anecdote were selected for the analysis of Attitudes, and Negotiations of power. Through the quantification of semantic discursive resources in the discourse systems of Appraisal (MARTIN; WHITE, 2005) and of Negotiation (MARTIN; ROSE, 2007), as well as reflections about humor (EGGINS; SLADE, 1997) we identified the Attitudes and the Negotiations of interpersonal roles. The quantification is based on the theories of Corpus Linguistics (BERBER SARDINHA, 2010), using WordSmith Tools 5.0 (SCOTT, 2010). Our results show that the Drama-of-Rio-Grande-do-Norte is characterized as a Macrogenre in the Community of Oral Stories, in the Family of Street Theatre/Games, composed of five genre types: Narratives, Praise, Complaints, Anecdotes, and Exemplum. The Macrogenre is characterized by its being circulated orally, staged collectively and the texts analyzed configure in differing degrees of power between men and woman. In synthesis we observe that through humor, the Drama-of-Rio-Grande-do-Norte functions to offer a space for women to voice, comment, judge and orient about social conditions in their communities, such as alcoholism, domestic violence, inequalities before the law etc., as well as circulating positive appreciations of rural/coastal culture and judgments about the behavior of members of the speech community, the role of women being to establish and reinforce norms. We anticipate possible benefits of the addition of the genre analyzed in literacy projects in the schools of Rio Grande do Norte

Sujeitos e atores sociais nas representações discursivas de docentes da rede estadual de ensino em Sergipe: uma análise crítica em tempos de Ideb

According to the studies in Applied Linguistics, this thesis is based on an interdisciplinary perspective (Critical Discourse Analysis, Sociology towards Social Change, Cultural Studies and Systemic-Functional Linguistics). The overall objective of the research was to analyze the discourses of Elementary School teachers in the state of Sergipe, by means of the discursive representations of the social actors, the processes of subjectivity and their fragmented identities in the context of standardized evaluations before the requirements of globalized pedagogical practices, based on the result-based management. The critical analysis of such discourses was motivated by the rapid pace with which the demands of innovation become part of the classroom, aiming at reaching the target in what concerns the indexes of the rankings which characterize the globalized discourse of the national education management, like Ideb (Basic Education Development Index), which makes teachers change their discourses, become silent or keep resistant. The work was initially endorsed by the theoretical lines of the Critical Discourse Analysis (FAIRCLOUGH, 2001, 2006), and poses a proposal for such purpose: the ASCD Discourse Sociological and Communicative Approach (PEDROSA, 2012, 2013). This is an interpretative-qualitative study of the Critical Discourse Analysis (FAIRCLOUGH, 2001, 2003; RAMALHO ; RESENDE, 2011) and to carry it out, semi-structured interviews were used as instruments of data generation (BAUER; GASKELL, 2011; GILL, 2011). Its corpus is composed of thirteen accounts of teachers from the Elementary school who teach Portuguese and work in the fifteen schools which were chosen to be the universe of the research at the Regional Board of Education (02) in the state of Sergipe. Such narratives are related to their impressions, expectations and actions which favor the management of results to which they have to submit themselves. The analytical overview of sociological and discursive line comes from the pan-semiotic categories (Inclusion and Exclusion) which appear in the theory of Representation of Social Actors (VAN LEEUWEN, 1997, 2008). To present the processes of subjectivity of these teachers, this work is based on the socio-analytical proposal of the classification of the subjects, which stems from the individual s work in the Gestão Relacional de Si , which comes from the Applied Sociology (towards) Social Change (BAJOIT, 2006, 2009). The discursive analyses were guided word for word, in their majority, by having the Systemic Functional Grammar as their theoretical basis, specifically by the processes of the Transitivity System postulated by Halliday, (1985); Halliday and Mathiessen, (2004); Eggins (2004); Cunha and Souza (2011). The work makes the field of Cultural Studies emerge towards the dialogue and the presentation of the fragmented identities of the teachers in the context of late modernity (GIDDENS, 2002; HALL, 2011). The thesis promoted a reflection over the teacher s condition, who is immerse in this context of knowledge construction of the present Brazilian educational system, the standardized evaluations, the indexes of development, the targets and the rankings. The considerations and outcomes of such a research dealt with the teachers emerging social practices and the need of planned initial and continuing teacher education towards the new moment which is foreseeable

Narrativas de professores em formação sobre a didatização de podcasts para o ensino de inglês na floresta

Considering the following conditions: (1) the fluency demands of students in an undergraduate program in Languages and Literatures/English in the Amazon region; (2) the listening and speaking needs of pre-service teachers of English as a Foreign Language (EFL); (3) my continuing education as a professor of EFL and my academic literacy as a teacher-researcher and pre-service-teacher trainer, this study, which is based on Narrative Inquiry, reports on a teacher experience of working didactically with oral genres through podcasting an activity that emerged with the advent of Information and Communication Technology (ICT). Through this process, I engage with some theorists who promote teaching as a process that is driven by a concept of language as social practice. Subsequently, I make use of the notions of context of culture and context of situation, derived from Systemic Functional Linguistics, as well as the concept of genre and register derived from the perspective of this theory. Based on these principles and beliefs, the Amazon region constitutes the register (situation) of the genres used in this study. These principles also provide, opportunities for building learning strategies appropriate to this local context, and also to teach listening and speaking skills from a task-based approach. During the experience, based on the reflective teacher-education model, the participants produced narratives about the process, which I then analyzed according to Ely, Vinz, Downing and Anzul (2001), who propose possibilities of composing meanings in Narrative Inquiry. Based on this perspective, I discuss the following topics, which were highly emphasized in the participants narratives: the lack of didactic activities using oral genres; the relevance of context within teacher education; and collaborative work as a strategy to overcome gaps in digital literacy, language fluency and teaching skills. The meanings I thereby compose point to a paradigm shift in English language teaching within this context. I also argue for a pedagogical practice that is engaged with historical and socio-cultural issues, and with the development of language skills, also one that promotes the implementation of ICTs at the very start of teacher training programs, adopting teaching and learning strategies that correspond to the demands of fluency in this particular context, and deficiencies imposed by geographical isolation

Histórias de professores universitários sobre ensinar inglês para fins específicos

This research has as its theoretical and methodological assumptions (1) the Narrative Inquiry (CLANDININ; CONNELLY, 2011), (2) the Systemic Functional Grammar (HALLIDAY, 1985, 1994; THOMPSON, 2002; EGGINS, 1994; HALLIDAY; MATTHIESSEN, 2004) and (3) the English for Specific Purposes Approach (ESP - HUTCHINSON; WATERS, 1987; CELANI, 2005; RAMOS, 2005), and its overall objective is to survey the meanings construed by the participants who are ESP practitioners and have not received a specific education to teach this approach at their undergraduation. The field texts and therefore the analises were divided into two distinct groups: the first with data generated from a questionnaire applied to nine professors from a federal university in the northeast of Brazil, which contains open and closed questions about their training and their experiences in teaching ESP; the second group, focusing this time on the experiences of three professors from the first group who were still teaching ESP, with data generated from interviews with these participants in addition to the data generated from their autobiographies and from the researcher´s as well. The computational tool WordSmith Tools 6.0 (SCOTT, 2012) was used to select, organize, and quantify data to be analyzed in the first group of texts, identifying the types of Processes and Participants through the Transitivity System (HALLIDAY; MATTHIESSEN, 2004). The Processes which were more used by the professors in the questionnaire were the Material, followed by the Relational and then the Mental ones, indicating that most professors reported their actions related to the teaching of ESP, rated or evaluated the approach, their training to teach it and their experiences, hence, rarely showing their thoughts and emotions about teaching ESP. Most of the nine professors say they carry out needs analysis, but not all do it according to the authors cited by them or the ones that are considered a reference in this area, such as the ones used in this research as reference. Similarly, their definitions and conceptions of ESP, in most cases, differed from these authors. All the professors claim not having had specific education to teach ESP at the undergraduation. When examining the stories of the four teachers, in the second group of the field texts, based on meaning composition according to Ely, Vinz, Downing and Anzul (2001), it was revealed that the kind of knowledge they report using when they teach ESP is related to their Personal Practical Knowledge and their Professional Knowledge (ELBAZ, 1983; CLANDININ, 1988). In their autobiographies, metaphors were also identified and they represent their concepts of teaching and being a teacher. Through this research, we hope to contribute to the understanding of what teaching ESP might mean for professors in the researched context and also to the continuing education of ESP practitioners, as well as to a review of the curricula in the English language undergraduate courses and of the role of ESP in the training of these professionals

Masculinidade a prova: um estudo de inspiração fenomenologico - hermeneutico sobre a infertilidade masculina

Culturally, childbearing is understood as a situation that subjects will experience at some point in their lives, especially people who are married or have a similar affectionate relationship. Thus, to realize the inability to meet such a fate seems to be a natural cultural trigger of suffering, frustration and feelings of inadequacy and helplessness. Specifically for men, infertility is closely related to loss of masculinity, virility. He fails in his role as a male. This study sought to understand the impact that infertility have on the existence of a man who receives such a diagnosis, both in self-image as in their marital, sexual and professional roles. This study sets up as a hermeneutic phenomenological research based on the ideas of the philosopher Martin Heidegger. Participants were seven heterosexual, married and infertile men. Two interviews were conducted. The analysis of the material included both the material of the narratives, as the affectation of the researcher when interacting with the participants and their narratives, through phenomenological-hermeneutic interpretation. The results corroborate the literature that states the difficulty of the men, immersed in a context that defines them as virile, powerful and invulnerable to worry about issues related to health and disease. The possibility of any condition that impairs the reproductive capacity exceeds the acceptable limits of daily life for these men, not being recognized as a model of masculinity present in the condition in which they recognize. This leads to questions about their masculinity, role in the marital relationship and their existence. Thus, to recognize themselves as infertile surpass a medical diagnosis and is associated with the construction of meaning for their existence from the approximation with the infertility condition, which helps in redirecting their choices, restoring the project to be self and allowing further recognition as men. In the marital relationship, doing what they can to ensure, theirs happiness. Through these actions, they remain playing the role of family provider, showing that they are able to protect their wives and taking in assisted reproduction or adoption of children viable alternatives to fulfill the desire to leave a legacy and give a child to their wives and to society. Another result observed, refers to the ontological condition of care that characterizes the human being. The ways in which men are treated socially demonstrates a type of care that focuses on the development of characteristics such as strength, virility and determination but does not allow them to cope with the suffering of emotionally difficult situations, such as the diagnosis of infertility. At the end, the study gives rise to reflections on the need to provide a 12 space for men and their expressions of suffering, as well as to recognize their ability to overcome the painful and difficult situations

Relação amorosa e tentativa de suicídio na adolescência : uma questão de (des)amor

Suicide rates have been rising all over the world. In Rio Grande do Norte state, a study carried out by Dutra (1999) investigated suicide rates among youngsters and found that in 1997 alone 244 cases of suicide attempt were registered. The author took an interest in studying this phenomenon among adolescents after reviewing Dutra s study and the technical literature on suicide. In addition to that, another topic caught her attention and raised new research questions: suicide attempts motivated by love, i.e., the end of a relationship, the fantasy of being abandoned by a partner. These have made the author to question how love manifested itself among adolescents and how it could become a reason for adolescents to give up their lives. Based on the data she analyzed and the research questions she developed, her research objective was to understand how adolescents who have attempted suicide because of love-related reasons have gone through this experience. The theoretical reference for the research was the Client-centered Therapy and more specifically, the construct self , according to Carl Rogers. The methodological strategy was inspired by the existential-phenomenological strategy. It used the narrative as a research instrument, inspired by the work of Walter Benjamim (1994) which was developed into a research strategy by Schmidt (1990). Four youngsters (three male and one female) have participated in this study. They have attempted suicide for love-related reasons during dolescence, when they were 12 to 18 years old. The interviews were recorded on cassette tapes, transcribed and literalized into narratives. The understanding of the narratives was based on the meanings that emerged from the youngsters speeches, as well as from the moments that touched the author. These moments highlighted the meaning of the experience of giving up life and the experience of love-based relationship as experienced by the youngsters. The study detected, among the adolescents who were interviewed, the existence of impulsiveness related to the suicide attempt. Also, the majority of the interviewees came from unstructured family backgrounds and had lost of one of their parents or had to face their parents divorce. The suicide was attempted by these youngsters through the ingestion of medicines. The research also revealed that the youngsters had regretted attempting suicide and felt guilty about it. With regards to their self-evaluation, the author observed that the youngsters had low self-esteem, negative perceptions about themselves and distorted views of themselves. These findings helped the author to reflect on the close relationship between the construct self and the suicide attempt. She also observed that a few factors, i.e., family context, education, social and cultural values, have influenced the way the youngsters perceived themselves . The results of this research confirm the idea that we have to understand the suicide attempt as a multi-determined phenomenon. This study contributed to the analysis and reflection on the factors that contribute to suicide attempts thus providing a foundation for the development of public health programs and policies to deal with this topic

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys

It bet on the next generation of computers as architecture with multiple processors and/or multicore processors. In this sense there are challenges related to features interconnection, operating frequency, the area on chip, power dissipation, performance and programmability. The mechanism of interconnection and communication it was considered ideal for this type of architecture are the networks-on-chip, due its scalability, reusability and intrinsic parallelism. The networks-on-chip communication is accomplished by transmitting packets that carry data and instructions that represent requests and responses between the processing elements interconnected by the network. The transmission of packets is accomplished as in a pipeline between the routers in the network, from source to destination of the communication, even allowing simultaneous communications between pairs of different sources and destinations. From this fact, it is proposed to transform the entire infrastructure communication of network-on-chip, using the routing mechanisms, arbitration and storage, in a parallel processing system for high performance. In this proposal, the packages are formed by instructions and data that represent the applications, which are executed on routers as well as they are transmitted, using the pipeline and parallel communication transmissions. In contrast, traditional processors are not used, but only single cores that control the access to memory. An implementation of this idea is called IPNoSys (Integrated Processing NoC System), which has an own programming model and a routing algorithm that guarantees the execution of all instructions in the packets, preventing situations of deadlock, livelock and starvation. This architecture provides mechanisms for input and output, interruption and operating system support. As proof of concept was developed a programming environment and a simulator for this architecture in SystemC, which allows configuration of various parameters and to obtain several results to evaluate it

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Agraphs: definição, implementação e suas ferramentas

Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve

Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Simulação de reservatórios de petróleo em ambiente MPSoC

The constant increase of complexity in computer applications demands the development of more powerful hardware support for them. With processor's operational frequency reaching its limit, the most viable solution is the use of parallelism. Based on parallelism techniques and the progressive growth in the capacity of transistors integration in a single chip is the concept of MPSoCs (Multi-Processor System-on-Chip). MPSoCs will eventually become a cheaper and faster alternative to supercomputers and clusters, and applications developed for these high performance systems will migrate to computers equipped with MP-SoCs containing dozens to hundreds of computation cores. In particular, applications in the area of oil and natural gas exploration are also characterized by the high processing capacity required and would benefit greatly from these high performance systems. This work intends to evaluate a traditional and complex application of the oil and gas industry known as reservoir simulation, developing a solution with integrated computational systems in a single chip, with hundreds of functional unities. For this, as the STORM (MPSoC Directory-Based Platform) platform already has a shared memory model, a new distributed memory model were developed. Also a message passing library has been developed folowing MPI standard