Linguagem matemática: uma proposta de ensino e avaliação da compreensão leitora dos objetos da matemática

This paper discusses aspects related to the mathematical language and its understanding, in particular, by students of final years of elementary school. Accordingly, we aimed to develop a proposal for teaching, substantiated by mathematical modeling activities and reading, which takes advantage of the student of elementary school a better understanding of mathematical language for the content of proportion. We also aim to build / propose parameters for the assessment of reading proficiency of the language of the student in analyzing and modeling process, its ability to develop/improve/enhance this proficiency. For this purpose, we develop a qualitative research, with procedures for an action research whose analysis of the data is configured as Content Analysis. We refer to epistemological and didactic, in the studies: Piaget (1975, 1990), Vygotsky (1991, 2001), Bakhtin (2006), Freire (1974, 1994), Bicudo and Garnica (2006), Smole and Diniz (2001), Barbosa (2001), Burak (1992), Biembengut (2004), Bassanezi (2002), Carrasco (2006), Becker (2010), Zuin and Reyes (2010), among others. We understand that to acquire new knowledge one must learn to read and reading to learn it, this process is essential for the development of reading proficiency of a person. Modeling, in turn, is a process which enables contact with different forms of reading providing elements favorable to the development here mentioned. The evaluation parameters we use to analyze the level of reading proficiency of mathematical language proved to be effective and therefore a valuable tool that allows the teacher an efficient evaluation and whose results can guide you better in the planning and execution of their practice

A doença de criar passarinhos: a lírica humanizadora de João Cabral de Melo Neto

João Cabral de Melo Neto n a jamais aimé les vers sentimentaux et prolixes venus de la tradition romantique. C est pour ça que son uvre a un discours objectif, rigoureusement elaboré e elle comporte certaines influences concretistes ça explique pourquoi l auteur est connu comme l ingénieur de la langage. En verité, le poète même dissait qu il était un homme froid et rationnel. La critique a assidument analysé la matière logique et le rigeuer formel de l uvre de Cabral de Melo. Pourtant, dans ce travail nous analysons les poèmes dont le sentiments humaines sont la mtière principal de l élaboration de l experiènce esthétique. La poèsie de João Cabral n est pas simple verbalisme formel, ni un uvre sens vie, car les objects concrètes et la langage objectif n empêchent pas qui le sujet décrit avec émotion les scènes presents dans les poèmes. Nous travaillons avec la hypothèse de que le poète a une attitude trop humaine quand il parle de l experience culturel et de l experience de la vie dans le Nord-est brésilien. Les unités témathiques de ce travail, pourtant, montrent la représentation du Nord-est dans la poèsie de João Cabral et examinent aussi le sentiment qu il sent par la memoire culturel de sa région. Parmi les aspects qui composent sa lyrique humaine nous citons la personification constant de les paysages du Nord-est le poète ne veux pas faire une décrition tophographique de la région parce que les places ont un valeuer sentimentel pour lui; au moyen d un discours erotique, Cabral represente les desirs et les intints humaines de sa terre; ensuite, il semble que le poète est enchanté et enveloppé avec certains elemets culturels de sa région, come l hamac, la littérature oral et la musique régional; la preoccupation avec la population explorée et la denonciation de la condition miserable dans le Nord-est brésilien confirment aussi la humanité présent dans son uvre; finalment, la récordation de l enfance et la nostalgie du temps passé sont, pour le poète, un possibilité qui peut aider dans la formation humaine de la population

A relação gramatical objeto direto : implicações para o ensino de língua materna

This paper attempts to investigate the discourse manifestations of the grammatical relation direct object with respect to the syntactic, semantic and pragmatic properties that underlie this element. The research adopts theoretical orientation of the functionalism from North American and Brazilian schools inspired in Givón (1995, 2001), Hopper and Thompson (1980), Chafe (1979), Furtado da Cunha, Oliveira, Martelotta (2003) inter alia. From functionalism, the research uses principles of iconicity, markedness and informativity and it analize categories of transitivity, grounding and animacy. This research is anchored in prototype model (TAYLOR 1995); construction grammar model (GOLDBERG 1996, 2002). Both theoretical orientations share the view that language is a malleable living organism subject to socio-cultural context. Grammar is then the result of created, maintained, and systematized linguistic patterns developed from and used for language use. According to a functional linguistics and cognitivist linguistics verbs are stored in the speakers lexicon in syntactic-semantic frames which are more frequent. These frames carry information concerning obligatory and optional arguments and the semantic roles these arguments take in the clause. The analysis focuses on the semantic type of the verbs and its relationship with the argument encoded as a direct object observing the aspectual nature of verbs. Direct objects are classified according to their morphology (lexical or pronominal noun phrase), semantic role, informational content and animacy. This study discusses pedagogical implications with relation to how the grammatical concepts touched on this paper are treated in school textbooks. The empirical data come from Corpus Discurso & Gramática: a língua falada e escrita na cidade do Natal (FURTADO DA CUNHA, 1998). This corpus is composed of texts that contain spoken and written modalities. These modalities are in turn organized according to different types: personal narratives, retold narrative, description of preferred place, procedural place, procedural description and report on argumentation. The sample data totals 40 texts produced by four language consultants of the last graduation date. The paper shows that the same syntactic structures (formed through Subject-Verb-Object) correspond to different semantic-pragmatic structures in relation to specific communicative purposes even verb is an event, process or state. The argument structure are not aleatory but are related to experience; that is the way humans conceptualize the world and talk about it

Desempenho e efeitos agudos da espirometria de incentivo volume-orientada sobre os volumes pulmonares em pacientes após AVC e sujeitos saudáveis

O Acidente Vascular Cerebral (AVC) é uma síndrome clínica caracterizada por uma perturbação focal da função cerebral. Geralmente ocasiona quadro de disfunção motora acompanhada de prejuízo da função respiratória. Tendo em vista tal quadro e suas possíveis repercussões, a fisioterapia respiratória tem sido amplamente requisitada com o intuito reverter ou minimizar as complicações. Dentre os recursos utilizados para este fim, os espirômetros de incentivo são utilizados com o objetivo de restaurar os volumes pulmonares, modificando o padrão respiratório e de ventilação pulmonar, prevenindo a incidência das complicações pulmonares. O objetivo do presente estudo foi comparar o desempenho na realização da espirometria de incentivo volume-orientada (EI) e seus efeitos agudos sobre os volumes pulmonares em pacientes após AVC e sujeitos saudáveis. Foram selecionados 40 voluntários, de ambos os gêneros, divididos em grupo experimental (GE), composto por 20 pacientes após AVC e grupo controle (GC) composto por 20 sujeitos saudáveis, pareados quanto à idade, gênero e Índice de Massa Corpórea (IMC). A coleta dos dados foi realizada em duas etapas: (1) Avaliação cognitiva e neurofuncional (Mini Exame do Estado Mental, National Institute Stroke Scale, Medida de Independência Funcional, teste de desempenho da aprendizagem) (2) Avaliação Respiratória (espirometria, manovacuometria e cinemática tóraco-abdominal, através da Pletismografia Opto-eletrônica). A análise estatística foi realizada através do software Graphpad Prism 4.0, em que foram utilizados os testes t Student e ANOVA two-way para comparação intergrupos e adotado nível de significância de 5%. Os resultados mostraram que os pacientes apresentam desempenho inferior na aprendizagem da espirometria de incentivo, com uma média de erros maior 2,95 ± 1,39, quando comparados aos sujeitos saudáveis, 1,15 ± 0,98. Em relação à prática observacional utilizada não foi encontrada diferença entre a aprendizagem através do vídeo ou do terapeuta. Em relação aos efeitos agudos da espirometria de incentivo volume-orientada, os pacientes após AVC apresentaram valores de volume corrente 24,7%, 18% e 14,7% inferiores quando comparados aos sujeitos saudáveis nos momentos pré-EI, EI e pós-EI, porém a espirometria de incentivo induziu incrementos de volume similares em ambos os grupos estudados, com 75, 3% para os pacientes e 73,3% para os sujeitos saudáveis. A espirometria de incentivo promove ganhos significativos no volume corrente da parede torácica, tanto em pacientes acometidos por AVC como em sujeitos saudáveis, no entanto o desempenho da aprendizagem é inferior para os pacientes, para ambas as práticas com vídeo ou terapeuta

AO-OIL: um middleware orientado a aspectos baseado em uma arquitetura de referência

Middleware platforms have been widely used as an underlying infrastructure to the development of distributed applications. They provide distribution and heterogeneity transparency and a set of services that ease the construction of distributed applications. Nowadays, the middlewares accommodate an increasing variety of requirements to satisfy distinct application domains. This broad range of application requirements increases the complexity of the middleware, due to the introduction of many cross-cutting concerns in the architecture, which are not properly modularized by traditional programming techniques, resulting in a tangling and spread of theses concerns in the middleware code. The presence of these cross-cutting concerns limits the middleware scalability and aspect-oriented paradigm has been used successfully to improve the modularity, extensibility and customization capabilities of middleware. This work presents AO-OiL, an aspect-oriented (AO) middleware architecture, based on the AO middleware reference architecture. This middleware follows the philosophy that the middleware functionalities must be driven by the application requirements. AO-OiL consists in an AO refactoring of the OiL (Orb in Lua) middleware in order to separate basic and crosscutting concerns. The proposed architecture was implemented in Lua and RE-AspectLua. To evaluate the refactoring impact in the middleware architecture, this paper presents a comparative analysis of performance between AO-OiL and OiL

Um estudo algorítmico da programação da intervenção de sondas de produção

This work approaches the Scheduling Workover Rigs Problem (SWRP) to maintain the wells of an oil field, although difficult to resolve, is extremely important economical, technical and environmental. A mathematical formulation of this problem is presented, where an algorithmic approach was developed. The problem can be considered to find the best scheduling service to the wells by the workover rigs, taking into account the minimization of the composition related to the costs of the workover rigs and the total loss of oil suffered by the wells. This problem is similar to the Vehicle Routing Problem (VRP), which is classified as belonging to the NP-hard class. The goal of this research is to develop an algorithmic approach to solve the SWRP, using the fundamentals of metaheuristics like Memetic Algorithm and GRASP. Instances are generated for the tests to analyze the computational performance of the approaches mentioned above, using data that are close to reality. Thereafter, is performed a comparison of performance and quality of the results obtained by each one of techniques used

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Um Framework para criação de jogos voltados para o ensino de lógica de programação

Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.

Segmentação fuzzy de objetos tridimensionais com propriedades texturais

Digital image segmentation is the process of assigning distinct labels to different objects in a digital image, and the fuzzy segmentation algorithm has been used successfully in the segmentation of images from several modalities. However, the traditional fuzzy segmentation algorithm fails to segment objects that are characterized by textures whose patterns cannot be successfully described by simple statistics computed over a very restricted area. In this paper we present an extension of the fuzzy segmentation algorithm that achieves the segmentation of textures by employing adaptive affinity functions as long as we extend the algorithm to tridimensional images. The adaptive affinity functions change the size of the area where they compute the texture descriptors, according to the characteristics of the texture being processed, while three dimensional images can be described as a finite set of two-dimensional images. The algorithm then segments the volume image with an appropriate calculation area for each texture, making it possible to produce good estimates of actual volumes of the target structures of the segmentation process. We will perform experiments with synthetic and real data in applications such as segmentation of medical imaging obtained from magnetic rosonance

Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Investigação do papel modulador do Haloperidol sobre os níveis de proteínas relacionadas à plasticidade e preferência por objetos novos em camudongos

Dopamine (DA) is known to regulate both sleep and memory formations, while sleep plays a critical role in the consolidation of different types of memories. We believe that pharmacological manipulation of dopaminergic pathways might disrupt the sleep-wake cycle, leading to mnemonic deficits, which can be observed in both behavioral and molecular levels. Therefore, here we investigated how systemic injections of haloperidol (0.3 mg/kg), immediately after training in dark and light periods, affects learning assessed in the novel object preference test (NOPT) in mice. We also investigated the hippocampal levels of the plasticity-related proteins Zif-268, brain-derived neurotrophic factor (BDNF) and phosphorylated Ca2+/calmodulin-dependent protein kinases II (CaMKII-P) in non-exposed (naïve), vehicle-injected controls and haloperidol-treated mice at 3, 6 and 12 hours after training in the light period. Haloperidol administration during the light period led to a subsequent impairment in the NOPT. In contrast, preference was not observed during the dark period neither in mice injected with haloperidol, nor in vehicle-injected animals. A partial increase of CaMKII-P in the hippocampal field CA3 of vehicle-injected mice was detected at 3h. Haloperidol-treated mice showed a significant decrease in the dentate gyrus of CaMKII-P levels at 3, 6 and 12h; of Zif-268 levels at 6h, and of BDNF levels at 12h after training. Since the mnemonic effects of haloperidol were only observed in the light period when animals tend to sleep, we suggest that these effects are related to REM sleep disruption after haloperidol injection