On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Um modelo matemático baseado em wavelets para análise do método térmico de recuperação de óleo pesado aplicando irradiação eletromagnética

This work proposes a model to investigate the use of a cylindrical antenna used in the thermal method of recovering through electromagnetic radiation of high-viscosity oil. The antenna has a simple geometry, adapted dipole type, and it can be modelled by using Maxwell s equation. The wavelet transforms are used as basis functions and applied in conjunction with the method of moments to obtain the current distribution in the antenna. The electric field, power and temperature distribution are carefully calculated for the analysis of the antenna as electromagnetic heating. The energy performance is analyzed based on thermo-fluid dynamic simulations at field scale, and through the adaptation in the Steam Thermal and Advanced Processes Reservoir Simulator (STARS) by Computer Modelling Group (CMG). The model proposed and the numerical results obtained are stable and presented good agreement with the results reported in the specialized literature

Modelo matemático para predição do VO2máx em cicloergômetro baseado na análise dos gases expirados

Existem diversas equações para predição do VO2máx a partir de variáveis dentro do teste ergométrico em vários ergômetros, no entanto equação semelhante utilizando os limiares ventilatórios na ergoespirometria em teste sub-máximo no cicloergômetro não está disponível. O objetivo do presente estudo foi avaliar a precisão de modelos de predição do VO2máx com base em indicadores de esforço sub-máximo. Neste sentido foram testados em protocolo incremental máximo no cicloergômetro 7.877 voluntários, sendo 4640 indivíduos do sexo feminino e 3147 do sexo masculino, todos saudáveis não atletas, com idades acima de 20 anos, divididos randomicamente em dois grupos: A de estimação e B de validação. A partir das variáveis independentes massa corporal (MC) em kg, carga de trabalho no limiar 2 (WL2) e freqüência cardíaca no limiar 2 (FCL2) foi possível construir um modelo de regressão linear múltipla para predição do VO2máx. Os resultados demonstram que em indivíduos saudáveis não atletas de ambos os sexos é possível predizer o VO2máx com um erro mínimo (EPE = 1,00%) a partir de indicadores submáximos obtidos em teste incremental. O caráter multidisciplinar do trabalho pôde ser caracterizado pelo emprego de técnicas que envolveram pneumologia, educação física, fisiologia e estatística

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Modelo matemático para otimização dos custos de um sistema híbrido eólico-solar : aplicação no bombeamento de petróleo

This work purposes the application of a methodology to optimize the implantation cost of an wind-solar hybrid system for oil pumping. The developed model is estimated the implantation cost of system through Multiple Linear Regression technique, on the basis of the previous knowledge of variables: necessary capacity of storage, total daily energy demand, wind power, module power and module number. These variables are gotten by means of sizing. The considered model not only can be applied to the oil pumping, but also for any other purposes of electric energy generation for conversion of solar, wind or solar-wind energy, that demand short powers. Parametric statistical T-student tests had been used to detect the significant difference in the average of total cost to being considered the diameter of the wind, F by Snedecor in the variance analysis to test if the coefficients of the considered model are significantly different of zero and test not-parametric statistical by Friedman, toverify if there is difference in the system cost, by being considered the photovoltaic module powers. In decision of hypothesis tests was considered a 5%-significant level. The configurations module powers showed significant differences in total cost of investment by considering an electrical motor of 3 HP. The configurations module powers showed significant differences in total cost of investment by considering an electrical motor of 5 HP only to wind speed of 4m/s and 6 m/s in wind of 3 m, 4m and 5 m of diameter. There was not significant difference in costs to diameters of winds of 3 m and 4m. The mathematical model and the computational program may be used to others applications which require electrical between 2.250 W and 3.750 W. A computational program was developed to assist the study of several configurations that optimizes the implantation cost of an wind-solar system through considered mathematical model

Aplicações das atividades estruturadas de Skemp para a construção do conhecimento matemático

The present study constitutes a discussion about the application of Structured Activities to the construction of the mathematical knowledge, proposed by Richard Skemp. The discussion is based on the research that the author carried out in a public school of the state education chain buy using procedures of the research-action. It investigates the possibility of adoption of the proposal of Skemp in a new reality. It utilizes explanations from several theorists to understand the necessity and, at the same time, to enhance the efficiency of the referred activities in first grades of elementary school when students have their first mathematics teachings. It emphasizes the important rule of the teacher, as mediator to the mental constructions of the child. It presents considerations about the results achieved by the research, noticing the possibility of adoption of the studied proposal even though it is necessary an adjustment of the procedures to appropriate didactic-pedagogic requirements to the educational reality in which this project was done

Análise das provas objetivas de química dos vestibulares da UFRN de 1997 a 2010: uma caracterização a partir das mudanças

Las pruebas de vestibular, en los últimos años en el Brasil, han sido objeto de diversas investigaciones, considerando que ese proceso selectivo es una de las vias para ingresar en las universidades públicas y termina por influenciar la enseñanza en las escuelas. De esa forma, algunos vestibulares han pasado por cambios, de un simple proceso selectivo clasificatorio a un proceso fundamentado en reflexiones sociológica, pedagógica y crítica, lo que ha promovido cuestionamientos respecto del aprendizaje y de su papel en la escuela. Delante de esa realidad, la Universidad Federal de Rio Grande del Norte (UFRN) ha implementado cambios en sus vestibulares procurando una aproximación a las Orientaciones Curriculares Nacionales, como los PCNEM, los PCN+ y las OCEM. Siendo así, el objetivo de este estudio fue caracterizar el avance cualitativo en las pruebas de preguntas objetivas a partir de los cambios ocurridos en el vestibular de la UFRN en el periodo de 1997 a 2010, definiéndose las siguientes cuestiones de estudio: ¿Cuáles son los tipos de preguntas que caracterizan las pruebas objetivas de Química del vestibular? ¿Cuáles cuestiones presentan las mayores dificultades para los candidatos? ¿Cuáles son los contenidos conceptuales privilegiados? ¿En qué tipo de preguntas los candidatos presentan mayores índices de éxitos? ¿Qué diferencias pueden ser establecidas entre las preguntas antes y después del periodo que establece los cambios en el vestibular de la UFRN? Las discusiones teóricas del estudio están fundamentadas en las siguientes referencias: PCNEM (BRASIL, 1999), PCN+ (BRASIL, 2001), OCEM (BRASIL, 2006), Zabala (1999), Jiménez Aleixandre et al. (2003), Pozo (1999), Álvarez de Zayas (1992), Núñez (2009), Relatorios Comperve/UFRN (1997 a 2010), e en relación a las evaluaciones: Pasquali et al. (2003), Silva y Núñez (2008), Marín y Benarrouch (2009). Para el estudio fueran construidas las siguientes categorías que permitieran el análisis de las cuestiones: contextualización de la cuestión, temas conceptuales, problema, representación semiótica, cálculo matemático, pertinencia de la cuestión e índice de acierto. Los resultados muestran un avance cualitativo de las preguntas de Química, en los cuales se observa un modelo de prueba que prioriza el uso de verdaderos problemas, de situaciones contextualizadas, de pocos cálculos, dándose prioridad al razonamiento que implica la comprensión, la aplicación y la interpretación de los conocimientos conceptuales, todo lo que puede estimular una enseñanza más adecuada en relación a las exigencias actuales de la Educación en Química

Modelos organizadores do pensamento: uma perspectiva de pesquisa sobre o raciocínio moral com adolescentes autores de infração

Este artigo tem como propósito ampliar as perspectivas de investigação no campo da moralidade. Mais especificamente, apresentamos uma proposta para o estudo da moralidade de adolescentes autores de infração, utilizando o referencial teórico=metodológico da Teoria dos Modelos Organizadores do Pensamento. Buscamos, através da idéia de complexidade, compreender o funcionamento cognitivo na elaboração de raciocínios morais diante de situações de conflito. Com essa perspectiva, fizemos uma investigação que teve por objetivo identificar os modelos organizadores aplicados na resolução de conflitos morais hipotéticos por 20 adolescentes masculinos autores de infração que cumprem medida socioeducativa. Através de entrevistas, narramos uma situação de conflito moral envolvendo uma relação de amizade, agressão física e roubo. Foram identificados 10 modelos organizadores, os quais foram agrupados em 3 categorias. Tais modelos refletiram a diversidade e as regularidades presentes nos raciocínios elaborados para resolver os conflitos apresentados. Concluiu-se que a variedade dos modelos organizadores identificados evidencia a importância dos conteúdos na construção dos raciocínios morais.

A teoria de Kohlberg sobre o desenvolvimento do raciocínio moral e os instrumentos de avaliação de juízo e competência moral em uso no Brasil

O presente artigo tem por objetivo abordar as bases, finalidades e composição de dois instrumentos de avaliação de juízo moral: a Moral Judgment Interview (MJI) e o Defining Issues Test (DIT), e um de competência moral: o Moral Judgment Test (MJT). Retoma a teoria do desenvolvimento moral de Kohlberg que fundamenta esses instrumentos, assim como os últimos estudos realizados com os mesmos. A MJI é uma entrevista semiestruturada que avalia o nível de juízo moral. O DIT é um teste objetivo que mede a proporção de respostas pós-convencionais. O MJT é um instrumento objetivo, que avalia a competência moral. Destaca-se a crescente utilização desses instrumentos em pesquisas sobre moralidade.

Raciocínio moral e uso abusivo de bebidas alcoólicas por adolescentes

O uso abusivo de álcool por adolescentes é uma questão que preocupa os envolvidos com a educação, uma vez que as consequências desse fato podem gerar sérios prejuízos ao processo ensino-aprendizagem e ao adolescente que abusa. Com o objetivo de contribuir para o debate na busca de uma intervenção efetiva que possa ser utilizada, sobretudo nas escolas, procuramos detectar a possível relação entre uso abusivo de álcool e raciocínio moral. Para tanto, participaram alunos do ensino médio de uma escola pública, selecionados por meio da aplicação do AUDIT (The Alcohol Use Disorder Identification Test), que posteriormente foram entrevistados, conforme a Moral Judgement Interview (MJI) proposta por Kohlberg. Os resultados obtidos revelam níveis e estágios morais aquém dos esperados. Concluímos que a prevenção pode ser pensada por meio da Educação Moral como uma proposta de intervenção efetiva contra o uso abusivo de álcool e outras drogas.

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

Varenius e o conhecimento matemático do século XVII

Neste artigo, discutimos o contexto do desenvolvimento da Geografia que, no século XVII, liberou-se do seu papel nas diferentes fés cristãs, bem como a importância da cisão dos Protestantes, em Luteranos e Calvinistas, para o processo de secularização, e o conseguinte estabelecimento da Geografia como ciência moderna. Analisamos a contribuição fundamental do luterano Bernhard Varen, cuja obra Geografia Geral apresenta o paradigma dessa nova ciência. Naquela época, a Geografia era considerada um ramo da matemática, e esta obra nos dá indícios sobre notações e conceitos matemáticos utilizados naquele século. Analisamos, particularmente, o uso da notação decimal de números não inteiros e algumas aplicações de conceitos trigonométricos, comparando a edição original com as principais reedições desta obra.

Raciocínio moral na tomada de decisões em relação a questões sociocientíficas: o exemplo do melhoramento genético humano

Nos últimos anos, os avanços nas Ciências Biológicas têm levado a sociedade a discutir diversas questões no campo da moral e da ética. Questões como engenharia genética, clonagem e pesquisas com células-tronco são questões chamadas de sociocientíficas por estarem na interface entre a ciência e a sociedade. Nesse trabalho buscamos entender como estudantes de Ensino Médio percebem e interpretam questões relacionadas à manipulação genética em seres humanos. Houve divisão de opiniões em relação à eugenia negativa, que se destina a remover características desfavoráveis das pessoas; mas a eugenia positiva, que busca melhoramento de características estéticas, foi rejeitada por todos os estudantes. As variações nas opiniões em relação ao assunto tratado podem ser, em grande medida, devidas às representações sociais dos estudantes.

Avaliação de modelo matemático para estimar a radiação solar incidente sobre superfícies com diferentes exposições e declividades

Este trabalho teve por objetivo avaliar modelo matemático para estimar a radiação solar global diária sobre superfícies com diferentes exposições e declividades, no período de março de 2002 a março de 2003. A pesquisa foi desenvolvida em uma estrutura denominada Bacia Hidrográfica Experimental do Departamento de Engenharia Rural da UNESP, Câmpus de Jaboticabal - SP. Nessa estrutura, foram utilizadas superfícies caracterizadas como H, 10N, 10S, 20N, 20S, 10E, 10W, 20E e 20W. O sensor utilizado para medir a radiação solar global incidente nas superfícies estudadas foi um piranômetro da marca Kipp & Zonnen, modelo CM3. Para calcular a radiação solar incidente nas superfícies estudadas, foi utilizado o modelo de Kondratyev. As análises dos resultados foram feitas para o período diário, utilizando-se de análise de regressão e considerando o modelo linear (y = ax + b), na qual a variável dependente foi a radiação global medida (K¯M) e a radiação global calculada (K¯C) foi a variável independente. Os resultados deste estudo mostram que o modelo apresentou bons resultados para estimar a radiação nas superfícies H, 10N, 10S, 10E, 10W, 20E e 20W. Utilizando-se de dados de dias com céu límpido, foram obtidos os seguintes resultados: no inverno, o modelo foi preciso para estimar a radiação solar na superfície 20N, e apresentou resultados aceitáveis para estimar a radiação solar na superfície 20S.