Desempenho de computadores

Esta animação descreve as representações de números binários sem sinal, representação de sinal e magnitude, complemento de 1, complemento de 2. Também são apresentadas a adição de números sem sinal, a subtração em complemento de 2, o conceito de overflow e exceção. O projeto de uma unidade lógica e aritmética (ULA) é descrito, assim como alguns exemplos das operações: slt e beq. Três versões da operação de multiplicação, que é mais complicada que a de soma, são apresentadas por meio de figuras e algoritmos. A representação de ponto flutuante e o padrão IEEE 754 também são descritos.

Desarrollo curricular desde una metodología constructivista.

Se continúa la aplicación de la metodología constructivista iniciada en el curso 96-97; en esta ocasión, además de la lectoescritura, se trabaja la lógica matemática y la aritmética. Los objetivos son contemplar la diversidad de capacidades en las etapas de Eduación Infantil y Primaria como un elemento del que partir para la planificación de actividades, diseñar actividades de debate y discusión para desarrollar un marco teórico, seleccionar los contenidos curriculares que permitan asegurar la significatividad y funcionalidad de los aprendizajes en las dos etapas, conocer los diferentes procesos de aprendizaje de cada alumno y favorecer las ayudas necesarias para que sean los protagonistas y construyan su propio aprendizaje. La metodología se basa en la recogida de conocimientos y experiencias previas, planteamiento de la actividad, desarrollo de la actividad y evaluación.

Clasificar y significar.

Réplica a la clasificación de los problemas en función de su complejidad resolutiva. Exposición de la diferencia de los problemas compuestos respecto a los de resolución en un solo paso, concretamente el aumento exponencial del número de categorías en las que se clasifican cuando dicha clasificación se realiza atendiendo a la semántica de los problemas.Se pretende demostrar que la complejidad de los problemas aritméticos compuestos comprende más elementos que los explicados en los anteriores trabajos. Para ello se exponen la necesidad de otras variables como las cantidades auxiliares o las cadenas de operaciones que aparecen en los problemas.

Materialização de visões XML

A grande quantidade de dados eletrônicos disponível atualmente nem sempre pode ser representada com modelos tradicionais, principalmente devido à ausência de esquema no momento da criação destes dados. Neste sentido, modelos semi-estruturados têm sido propostos; uma das abordagens utilizadas é XML, uma linguagem para troca e representação deste tipo de informação. Entretanto, consultar dados semi-estruturados pode demandar processos de extração com alto custo. Uma das alternativas para solucionar este problema é a definição de visões sobre estes dados, e a posterior materialização destas informações. O uso de visões materializadas para dados XML ainda é pouco explorado. Uma das abordagens que podem ser utilizadas é o uso de sistemas de gerenciamento de bancos de dados relacionais para o armazenamento das visões. Desse modo, informação semanticamente relacionada (informação acerca de um mesmo domínio, possivelmente representada em formatos diferentes) pode ser agrupada em uma única unidade lógica, facilitando o acesso a estes dados por parte do usuário, e introduzindo alguma estrutura nos dados semiestruturados. Dessa maneira, o usuário final submete consultas diretamente sobre a visão materializada, evitando extrações contínuas de dados nas fontes XML. A materialização de dados XML exige a definição de um repositório de dados para o armazenamento destas instâncias. Utilizando-se a abordagem relacional, é necessário definir um mecanismo para a geração do esquema lógico do banco de dados. Consultar os dados nas fontes XML exige a integração destas instâncias. Neste contexto, integrá-las significa identificar quais instâncias de dados representam o mesmo objeto do mundo real, bem como resolver ambigüidades de representação deste objeto. O problema de identificação de entidades em XML é mais complexo que em bases de dados estruturadas. Dados XML, como propostos originalmente, não carregam necessariamente a noção de chave primária ou identificador de objeto. Assim, é necessária a adoção de um mecanismo que faça a identificação das instâncias na integração destes dados. Além disso, à medida que as fontes de dados XML sofrem alterações, a visão materializada deve ser atualizada, a fim de manter-se consistente com as fontes de dados. A manutenção deve propagar as alterações feitas nos dados XML para a visão materializada. Reprocessar todo o conteúdo da visão materializada é, na maioria das vezes, muito caro. Assim, é desejável propagar as mudanças incrementalmente, ou seja, processar apenas as alterações necessárias. Neste sentido, o presente trabalho apresenta uma proposta de técnica para armazenamento de dados XML em um banco de dados relacional. A proposta utiliza ontologias para a geração do esquema lógico do banco de dados. O problema de integração de dados é mostrado. O foco principal do trabalho está na proposta de uma técnica de atribuição de identificadores a instâncias XML, baseada no uso de funções Skolem e no padrão XPath, proposto pelo W3C. Também é proposto um mecanismo para manutenção incremental deste banco, à medida que as fontes XML sofrem atualizações.

Lógica y pensamiento aritmético.

Resumen basado en el de la publicación

Problemas con los problemas. Por una nueva aritmética en clase

La dificultad de los alumnos españoles en la resolución de los problemas aritméticos requiere un cambio conceptual y metodológico. El objetivo de artículo es reflexionar sobre ciertos aspectos de los problemas que presentan los libros de texto y analizar el modo en que los alumnos aprenden a resolverlos. La solución para el autor está en el esfuerzo conjunto que maestros, expertos y editores deben hacer para conectar los problemas con la vida real e impulsar el desarrollo de la competencia matemática.

Tesauro e terminologia : uma inter-relação lógica

Estudo compreendido como uma inter-relação lógica entre tesauros e Terminologia, mais especificamente nos princípios da Teoria Comunicativa da Terminologia — TCT. Analisa um tesauro do ponto de vista da sua organização estrutural. Estuda os descritores verificando sua representatividade como um elemento de representação e recuperação das informações de uma área de especialidade. Sinaliza para uma nova abordagem em relação ao tratamento dos descritores aproximando-os a uma unidade lexical terminológica. Tem como pressuposto de trabalho que a relação que se estabelece entre um sistema de recuperação da informação — SRI e os usuários do sistema é uma relação de comunicação. Apresenta algumas considerações e recomendações.

Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

Automação da detecção de fraudes em sistemas de medição de energia elétrica utilizando lógica fuzzy em ambiente SCADA

This works presents a proposal to make automatic the identification of energy thefts in the meter systems through Fuzzy Logic and supervisory like SCADA. The solution we find by to collect datas from meters at customers units: voltage, current, power demand, angles conditions of phasors diagrams of voltages and currents, and taking these datas by fuzzy logic with expert knowledge into a fuzzy system. The parameters collected are computed by fuzzy logic, in engineering alghorithm, and the output shows to user if the customer researched may be consuming electrical energy without to pay for it, and these feedbacks have its own membership grades. The value of this solution is a need for reduce the losses that already sets more than twenty per cent. In such a way that it is an expert system that looks for decision make with assertivity, and it looks forward to find which problems there are on site and then it wont happen problems of relationship among the utility and the customer unit. The database of an electrical company was utilized and the datas from it were worked by the fuzzy proposal and algorithm developed and the result was confirmed

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Construção de exemplos didáticos para o ensino do voleibol a partir dos critérios da lógica interna

O objetivo deste estudo foi elaborar exemplos didáticos para o ensino para o Voleibol apresentando a relevância das açoes táticas presentes nos esportes coletivos, oriundas da sua lógica interna. Para a elaboraçao de uma Unidade Didática de ensino do voleibol, alguns procedimentos foram priorizados para as a construçao das atividades, tais como: manter o princípio de interaçao motriz (colaboraçao/oposiçao); priorizar o processo de tomada de decisao; utilizaçao parcial do método situacional através dos momentos do exercício situacional e jogo motriz. Entendemos que esses conhecimentos sobre a estrutura e elementos centrais no voleibol devem compor o ensino da modalidade em questao, tanto em âmbito teórico como na organizaçao do trabalho pedagógico do professor. Assim, acreditamos pertinente que é necessário que o professor de Educaçao Física se aproprie de conhecimentos da Praxiologia Motriz para que possa compreender melhor o que está ensinando para realizar análises e construir alternativas didáticas para suas aulas ou treinamentos de voleibol

Construção de exemplos didáticos para o ensino do voleibol a partir dos critérios da lógica interna

O objetivo deste estudo foi elaborar exemplos didáticos para o ensino para o Voleibol apresentando a relevância das açoes táticas presentes nos esportes coletivos, oriundas da sua lógica interna. Para a elaboraçao de uma Unidade Didática de ensino do voleibol, alguns procedimentos foram priorizados para as a construçao das atividades, tais como: manter o princípio de interaçao motriz (colaboraçao/oposiçao); priorizar o processo de tomada de decisao; utilizaçao parcial do método situacional através dos momentos do exercício situacional e jogo motriz. Entendemos que esses conhecimentos sobre a estrutura e elementos centrais no voleibol devem compor o ensino da modalidade em questao, tanto em âmbito teórico como na organizaçao do trabalho pedagógico do professor. Assim, acreditamos pertinente que é necessário que o professor de Educaçao Física se aproprie de conhecimentos da Praxiologia Motriz para que possa compreender melhor o que está ensinando para realizar análises e construir alternativas didáticas para suas aulas ou treinamentos de voleibol

Construção de exemplos didáticos para o ensino do voleibol a partir dos critérios da lógica interna

O objetivo deste estudo foi elaborar exemplos didáticos para o ensino para o Voleibol apresentando a relevância das açoes táticas presentes nos esportes coletivos, oriundas da sua lógica interna. Para a elaboraçao de uma Unidade Didática de ensino do voleibol, alguns procedimentos foram priorizados para as a construçao das atividades, tais como: manter o princípio de interaçao motriz (colaboraçao/oposiçao); priorizar o processo de tomada de decisao; utilizaçao parcial do método situacional através dos momentos do exercício situacional e jogo motriz. Entendemos que esses conhecimentos sobre a estrutura e elementos centrais no voleibol devem compor o ensino da modalidade em questao, tanto em âmbito teórico como na organizaçao do trabalho pedagógico do professor. Assim, acreditamos pertinente que é necessário que o professor de Educaçao Física se aproprie de conhecimentos da Praxiologia Motriz para que possa compreender melhor o que está ensinando para realizar análises e construir alternativas didáticas para suas aulas ou treinamentos de voleibol

Modelo comportamental do capacitor ferroelétrico como unidade básica de neurônios artificiais e sua implementação em FPGA

This work proposes the use of the behavioral model of the hysteresis loop of the ferroelectrics capacitor as a new alternative to the usually costly techniques in the computation of nonlinear functions in artificial neurons implemented on reconfigurable hardware platform, in this case, a FPGA device. Initially the proposal has been validated by the implementation of the boolean logic through the digital models of two artificial neurons: the Perceptron and a variation of the model Integrate and Fire Spiking Neuron, both using the model also digital of the hysteresis loop of the ferroelectric capacitor as it’s basic nonlinear unit for the calculations of the neurons outputs. Finally, it has been used the analog model of the ferroelectric capacitor with the goal of verifying it’s effectiveness and possibly the reduction of the number of necessary logic elements in the case of implementing the artificial neurons on integrated circuit. The implementations has been carried out by Simulink models and the synthesizing has been done through the DSP Builder software from Altera Corporation.