Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Simulação da destilação molecular de filme descendente para o petróleo

The heavy part of the oil can be used for numerous purposes, e.g. to obtain lubricating oils. In this context, many researchers have been studying alternatives such separation of crude oil components, among which may be mentioned molecular distillation. Molecular distillation is a forced evaporation technique different from other conventional processes in the literature. This process can be classified as a special distillation case under high vacuum with pressures that reach extremely low ranges of the order of 0.1 Pascal. The evaporation and condensation surfaces must have a distance from each other of the magnitude order of mean free path of the evaporated molecules, that is, molecules evaporated easily reach the condenser, because they find a route without obstacles, what is desirable. Thus, the main contribution of this work is the simulation of the falling-film molecular distillation for crude oil mixtures. The crude oil was characterized using UniSim® Design and R430 Aspen HYSYS® V8.5. The results of this characterization were performed in spreadsheets of Microsoft® Excel®, calculations of the physicochemical properties of the waste of an oil sample, i.e., thermodynamic and transport. Based on this estimated properties and boundary conditions suggested by the literature, equations of temperature and concentration profiles were resolved through the implicit finite difference method using the programming language Visual Basic® (VBA) for Excel®. The result of the temperature profile showed consistent with the reproduced by literature, having in their initial values a slight distortion as a result of the nature of the studied oil is lighter than the literature, since the results of the concentration profiles were effective allowing realize that the concentration of the more volatile decreases and of the less volatile increases due to the length of the evaporator. According to the transport phenomena present in the process, the velocity profile tends to increase to a peak and then decreases, and the film thickness decreases, both as a function of the evaporator length. It is concluded that the simulation code in Visual Basic® language (VBA) is a final product of the work that allows application to molecular distillation of petroleum and other similar mixtures.

Automação residencial microcontrolada para transmissão de dados via rede elétrica

This work deals with the specification and the implementation of a protocol for controlling communication between two programmable interface microcontrollers (PIC), using power line communication (PLC), making communication more secure and economically viable. The Protocol was implemented in C language, with reference to some protocols developed for automotive use. A circuit to test the communication between the PLC and the Protocol was also implemented.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Natureza morta...edifício com vida: uma arquitetura sustentável para o Serviço de Verificação de Óbitos

Sustainability in buildings, while reducing the impact on the environment, contributes to the promotion of social welfare, to increase the health and productivity of occupants. The search for a way of build that meets the aspirations and development of humanity without, however, represent degradation of the environment, has become the great challenge of contemporary architecture. It is considered that the incorporation of principles that provide a sustainable building with careful choices of design solutions contribute to a better economic and thermal performance of the building, as well as functional and psychological comfort to its users. Based on this general understanding, this paper presents an architecture project aimed to health care whose the solutions adopted follow carefully the relevant legislation and sets his sights on the theme of sustainability. The methodology began with studies on the themes of verification service of deaths, sustainability and those application in construction developed through research in academic studies and analysis of architectural projects, using them like reference for the solutions adopted. Within the project analysis was performed a visit to the verification service of deaths in the city of Palmas in Tocantins, subsidizing information that, plus the relevant legislation, led to functional programming and pre-dimensional of the building to be designed. The result of this programming environments were individual records with information from environmental restrictions, space required for the development of activities, desirable flow and sustainability strategies, that can be considered as the first product of relevance of the professional master's degree. Finally we have outlined the basic design architecture of a Verification Service of Death SVO/RN (in portuguese), whose process of projecting defined as a guiding line of work four points: the use of bioclimatic architecture as the main feature projectual, the use of resources would provide minimal harm to the environment, the use of modulation and structure to the building as a form of rationalization and finally the search for solutions that ensure environmental and psychological comfort to users. Importantly to highlight that, besides owning a rare theme in literature that refers to architectural projects, the whole project was drawn up with foundations in projective criteria that contribute to environmental sustainability, with emphasis on thermal performance, energy efficiency and reuse of rainwater

Análise gráfica de estruturas porosas sobre a ótica da estereologia

In this work we developed a computer simulation program for physics porous structures based on programming language C + + using a Geforce 9600 GT with the PhysX chip, originally developed for video games. With this tool, the ability of physical interaction between simulated objects is enlarged, allowing to simulate a porous structure, for example, reservoir rocks and structures with high density. The initial procedure for developing the simulation is the construction of porous cubic structure consisting of spheres with a single size and with varying sizes. In addition, structures can also be simulated with various volume fractions. The results presented are divided into two parts: first, the ball shall be deemed as solid grains, ie the matrix phase represents the porosity, the second, the spheres are considered as pores. In this case the matrix phase represents the solid phase. The simulations in both cases are the same, but the simulated structures are intrinsically different. To validate the results presented by the program, simulations were performed by varying the amount of grain, the grain size distribution and void fraction in the structure. All results showed statistically reliable and consistent with those presented in the literature. The mean values and distributions of stereological parameters measured, such as intercept linear section of perimeter area, sectional area and mean free path are in agreement with the results obtained in the literature for the structures simulated. The results may help the understanding of real structures.

Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso

From their early days, Electrical Submergible Pumping (ESP) units have excelled in lifting much greater liquid rates than most of the other types of artificial lift and developed by good performance in wells with high BSW, in onshore and offshore environments. For all artificial lift system, the lifetime and frequency of interventions are of paramount importance, given the high costs of rigs and equipment, plus the losses coming from a halt in production. In search of a better life of the system comes the need to work with the same efficiency and security within the limits of their equipment, this implies the need for periodic adjustments, monitoring and control. How is increasing the prospect of minimizing direct human actions, these adjustments should be made increasingly via automation. The automated system not only provides a longer life, but also greater control over the production of the well. The controller is the brain of most automation systems, it is inserted the logic and strategies in the work process in order to get you to work efficiently. So great is the importance of controlling for any automation system is expected that, with better understanding of ESP system and the development of research, many controllers will be proposed for this method of artificial lift. Once a controller is proposed, it must be tested and validated before they take it as efficient and functional. The use of a producing well or a test well could favor the completion of testing, but with the serious risk that flaws in the design of the controller were to cause damage to oil well equipment, many of them expensive. Given this reality, the main objective of the present work is to present an environment for evaluation of fuzzy controllers for wells equipped with ESP system, using a computer simulator representing a virtual oil well, a software design fuzzy controllers and a PLC. The use of the proposed environment will enable a reduction in time required for testing and adjustments to the controller and evaluated a rapid diagnosis of their efficiency and effectiveness. The control algorithms are implemented in both high-level language, through the controller design software, such as specific language for programming PLCs, Ladder Diagram language.

Evuloção cognitiva e funcional de pacientes pós-acidente vascular cerebral - AVC

PURPOSE: Stroke is a high-incidence cerebrovascular disease with elevated morbidity that results in impairments such as functional disabilities. This study aimed to investigate the functional evolution of individuals in the first six months post-stroke. METHOD: Longitudinal study with 42 stroke patients. The functional independence measure (FIM) and The National Institutes of Health Stroke Scale (NIHSS) were used by multidisciplinary staff 3 times in each participant; the first application was at admission to rehabilitation and the others three and six months later. RESULTS: Sample predominantly female (57%), married (52%), mean age 65.26 ±10.72 years, elementary schooling level (43%), ischemic stroke (91%), and right cerebral hemisphere (74%). Motor FIM scores and NIHSS scale showed improvement in the 3 evaluations, with significant p-value (<0.001). There was a strong relation between motor FIM evolution and NIHSS evolution (r = - 0.69 p-value< 0.001). CONCLUSIONS: It was observed that functional evolution at 6 months post-stroke was significant and the smaller the evolution of clinical impairment in these patients, the larger the evolution of their functional independence. The study is important because it allows a more appropriate therapeutic planning according with functional evolution in stroke rehabilitation

Representações de professores de língua inglesa de Natal-RN: um estudo sistêmico-funcional

Teaching and learning representations have been more and more investigated in the Brazilian applied linguistics field, as it allows the understanding of the teachers representations and how they conceive the learning process. This practice facilitates the planning of actions to improve the educational system. This study aims at identifying, interpreting and discussing some representations related to the identity and professional view of English as a foreign language teachers in different school contexts of Natal-RN. The theoretical and methodological foundation for this research is Halliday s Systemic- Functional Linguistics (1994; HALLIDAY; MATHIESSEN, 2004; EGGINS, 1994, among others). Our goal was to reveal the teachers representations embedded in their language, mainly through the ideational metafunction, as language is the tool we use to express ourselves about the external world (events, qualities, things, etc) and the internal world (thoughts, beliefs, feelings, etc). The research corpus is made of 21 teacher narratives, generated from a questionnaire sent to the teachers, who were divided in two groups: Group 1 (public schools teachers) and Group 2 (private schools and English course teachers). Most of the participants seemed to be satisfied with their professional choice. Many of them see the job as a challenge and an opportunity to transmit knowledge. All of them affirmed that the English teacher is a professional, for different reasons; however, the low professional appreciation was a recurrent aspect among the studied narratives. When asked about where they work, the private school teachers seemed to be more satisfied with the teaching-learning process than the ones from the public schools. We believe that the data analyzed in this study is important to show how some English teachers from Natal-RN see their profession. The results might be used in continuing education courses as food-for-thought in group discussions, as it is extremely important to emphasize and stimulate this practice

O portfólio na formação inicial do professor reflexivo de inglês como língua estrangeira: uma análise sistêmico-funcional

This research deals with the insertion of the portfolio as a resource to the development of the reflective action in training teachers of English as a Foreign Language (EFL). Its goal is to characterize linguistic marks that show the reflective process in learning narratives collected in portfolios following the considerations of the ideational metafunction of the Systemic-Functional Grammar (SFG) by Halliday (1994). Within the scope of analysis offered by SFG, the system of transitivity was chosen attempting to observe and study the lexicogrammatical choices made by participants to produce their learning narratives. The corpus was composed of twenty-six learning narratives produced by thirteen participants into two distinct modules, designated here as "First Assessment" and "Final Assessment. The analysis were performed using procedures related to Corpus Linguistics, with the aid of the computer resource WordSmith Tools 5.0 (Scott, 1999). The results seems to indicate that preservice teachers, when asked to reflect on activities written on the classroom, use in their narratives a significant majority of mental processes instead of material processes that are common in narratives from other nature. Meanwhile, the use of a portfolio in teacher training in EFL, can be considered as a trigger reflection tool, which allows future teachers' effective monitoring of all their learning process

A linguagem da reflexão de uma professora de Língua Inglesa: um estudo de caso sob a perspectiva do sistema de avaliatividade

Research about teacher education, carried out in the area of Applied Linguistics (AL), reveals the importance of reflective practices in the professional development of teachers. With the aim of contributing to this area, we present this case study conducted at a technical school in Natal, RN. The corpus of the study is formed mainly from the teacher‟s discourse, generated during a stimulated recall session and the instruments used to collect the data: an initial questionnaire, a video recording of a class and the text transcript of the stimulated recall session. The central objective is to understand the way in which the reflection-on-action (SCHÖN, 1983, 1987) can contribute to raise the awareness of an English as a Foreign Language teacher (EFL) about her actions in the classroom. With this proposal, we begin our discussion presenting the origins, the presuppositions and characteristics of the concept of reflection according to Schön (1983, 1987), and supported by other authors (PERRENOUD, 2002; GÓMEZ, 1995; IMBERNÓN, 2009, among others); of critical reflection (LISTON e ZEICHNER, 1993; PIMENTA, 2002; DUTRA e MELLO, 2004, among others); and of the process of critical reflection (SMYTH, 1992). To evidence the reflections that emerge in the teacher‟s discourse, we found support in the theories and methods of Systemic Functional Grammar (SFG), which was initially proposed by Halliday (1985, 1994), Halliday and Hasan (1989), Halliday and Matthiessen (2004) and followers, such as, Eggins (1994), Thompson (1996), among others. We focus mainly on the subsystem of Attitude, an integral component of the system of discourse resources, Appraisal, presented by Martin (2000), Martin and Rose (2003, 2007), Martin and White (2005). The results reveal that the actions of the teacher in the classroom reflect not only her professional experiences, but also her values and concepts about teaching/learning languages. The results also show the teacher‟s awareness of the need for changes in her practices. Faced with these findings, we believe that this study reveals important concepts that can direct teacher educators to rethink new ways of approaching teacher training courses. In addition, it also reveals the importance of discourse analysis based on a systemic functional approach.

"Eu pensei que ia sair daqui falando inglês": um estudo sistêmico-funcional sobre papéis sociais atribuídos por alunos de um curso de Letras/Inglês

Research in the area of teacher training in English as a Foreign Language (CELANI, 2003, 2004, 2010; PAIVA, 2000, 2003, 2005; VIEIRA-ABRAHÃO, 2010) articulates the complexity of beginning teachers classroom contexts aligned with teaching language as a social and professional practice of the teacher in training. To better understand this relationship, the present study is based on a corpus of transcribed interviews and questionnaires applied to 28 undergraduate students majoring in Letters/English emphasis, at a public university located in the interior of the Western Amazon region, soliciting their opinions about the reforms made in the curriculum of this Major. Interviews and questionnaires were used as data collection instruments to trace a profile of the students organized in Group 1, with freshmen and sophomore undergraduates who are following the 2009 curriculum, and Group 2, with junior and senior undergraduates who are following the 2006 curriculum. The objectives are to identify, to characterize and to analyze the types of pronouns, roles and social actors represented in the opinions of these students in relation to their teacher training curriculum. The theoretical support focuses on the challenge of historical and contemporary routes from English teachers initial education programs (MAGALHÃES; LIBERALLI, 2009; PAVAN; SILVA, 2010; ALVAREZ, 2010; VIANA, 2011; PAVAN, 2012). Our theoretical perspective is based on the Systemic Functional Grammar of Halliday (1994), Halliday and Hasan (1989), Halliday and Matthiessen (2004), Eggins (1994; 2004) and Thompson (2004). We focus on the concept of the Interpersonal meaning, specifically regarding the roles articulated in the studies by Delu (1991), Thompson and Thetela (1995), and in the Portuguese language such as Ramos (1997), Silva (2006) and Cabral (2009). Moreover, we ascribe van Leeuwen s (1997; 2003) theory of Representation of Social Actors as a theoretical framework in order to identify the sociological aspect of social actors represented in the students discourse. Within this scenario, the analysis unfolds on three levels: grammatical (pronouns), semantic (roles), and discursive (social actors). For the analysis of interpersonal realizations present in the students opinions, we use the computational program WordSmith Tools (SCOTT, 2010) and its applications Wordlist and Concord to quantify the occurrences of the pronouns I, You and They, which characterize the roles and social actors of the corpus. The results show that the students assigned the following roles to themselves: (i) apprentice to express their initial process of English language learning; (ii) freshman to reveal their choice of Major in Letters/English emphasis; (iii) future teacher to relate their expectations towards a practicing professional. To assign the roles to professors in the major, the students used the metaphor of modality (I think) to indicate the relationship of teacher training, while they are in the role of a student and as a future teacher. From these evidences the representation of the students as social actors emerges in roles such as: (i) active roles; (ii) passive roles and (iii) personalized roles. The social actors represented in the opinions of the students reflect the inclusion of these roles assigned to the actions expressed about their experiences and expectations derived from their teacher training classroom

Pré-fabricados lingüísticos: estrutura e funcionamento de sintagmas verbais idiomatizados - por uma abordagem cognitivo-funcional em sala de aula

This work aims at under the cognitive-functional perspective describing, inside the vast domain of the linguistic prefabs, the structure and the functioning of the Idiomatic Verb Phrases (SVIs), produced by speakers of the Portuguese from Brazil, located in Natal (RN). From the functionalist presupposition that the language is used essentially to assist to communicative demands, it is observed that its morphologic-syntactic structure is conditioned to the inherent pragmatic vicissitudes to the verbal interaction of subjects, socially heterogeneous and historically established. It is focalized, in the composition of SVIs, the relationships VT + OD (transitive verb + direct object), characterizing the syntactic-semantic nature of the verb and of the respective verbal complement. Those verb combinations + complement can be interpreted as lexical structures, reflexes of the idiomaticity inherent to conventional constructions already systematized in the users' of the language cultural repertoire. It is sought, still, to glimpse the cognitive and discursive motivations pertinent to that linguistic phenomenon. In the investigative process, are analyzed exclusive data of speech collected in Corpus Discurso & Gramática a lingua falada e escrita na cidade do Natal, organized by Furtado da Cunha (1998). The adopted methodological procedures configure as methods of empiric analysis and use of the intuition, being emphasized the qualitative approach (explanatory) of the data with quantitative support of statistical indicators. It shows, finally, a grating of didactic suggestions on SVIs, for Portuguese's classes, as subsidies to the educational practice in the Medium Teaching and in the course of Letters.

A transitividade na conversação: uma abordagem funcional centrada no uso

This work investigates the phenomenon of transitivity in the conversation. We examined the behavior of complements in Brazilian Portuguese speech, and then compared the results with previous researches in the English language by Thompson and Hopper (2001) and in the Spanish language by Vázques (2004). In Brazil, there are no researches that treat this phenomenon in the discursive conversation, for that reason it justifies and reveals the importance of this research that aims to answer questions related to the transitivity of ordinary conversations. Thus, we describe, explain and analize the transitivity based on concrete linguistic data, provided by native speakers of Portuguese language, specifically, spontaneous talk of people from Natal-RN. We have used as theoretical assumptions the Functional Linguistics usage-based (LFCU), which gathers academics of North-American Functional Linguistics, inspired by Chafe (1979), Hopper and Thompson (1980), Thompson and Hopper (2001), Givón (2001), Bybee (2010), Traugott (2009, 2011), among others, as well as Cognitive Linguistics, presented by Langacker (1987), Taylor (1995), Tomasello (1998) and Goldberg(1995), among others. This data consists in conversations extracted from the corpus Banco Conversacional de Natal (FURTADO DA CUNHA). The results obtained from this work confirm the assertions defined by prior conducted studies on the transitivity in the conversation. The research showed that these three idioms, Spanish, Portuguese and English, despite the differences, they present a uniform behavior regarding their transitivity in the conversation. We intend, by this work, to contribute, in some way, to the comprehension of the focused linguistic phenomenon, likewise to build a finer scenario around of the transitivity in the Brasilian Portuguese

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