964 resultados para Logical necessity
Resumo:
Because of social exclusion in Brazil and having as focus the digital inclusion, was started in Federal University of Rio Grande do Norte a project that could talk, at the same time, about concepts of collaborative learning and educational robotics , focused on children digitally excluded. In this context was created a methodology that approaches many subjects as technological elements (e. g. informatics and robotics) and school subjects (e. g. Portuguese, Mathematics, Geography, History), contextualized in everyday situations. We observed educational concepts of collaborative learning and the development of capacities from those students, as group work, logical knowledge and learning ability. This paper proposes an educational software for robotics teaching called RoboEduc, created to be used by children digitally excluded from primary school. Its introduction prioritizes a friendly interface, that makes the concepts of robotics and programming easy and fun to be taught. With this new tool, users without informatics or robotics previous knowledge are able to control a robot, previously set with Lego kits, or even program it to carry some activities out. This paper provides the implementation of the second version of the software. This version presents the control of the robot already used. After were implemented the different levels of programming linked to the many learning levels of the users and their different interfaces and functions. Nowadays, has been implemented the third version, with the improvement of each one of the mentioned stages. In order to validate, prove and test the efficience of the developed methodology to the RoboEduc, were made experiments, through practice of robotics, with children for fourth and fifth grades of primary school at the City School Professor Ascendino de Almeida, in the suburb of Natal (west zone), Rio Grande do Norte. As a preliminary result of the current technology, we verified that the use of robots associated with a well elaborated software can be spread to users that know very little about the subject, without the necessity of previous advanced technology knowledges. Therefore, they showed to be accessible and efficient tools in the process of digital inclusion
Resumo:
This research has as objective of study the evolution of the accountancy princliple terminology which is present in the accounting conceptual framework. The scene of this research will have as target the North American School of Accounting. The choice of the searched terminology is its relevance in the study of the Accounting Theory. To understand the evolution of the accountancy thought, will be boarded: the influence of the Feudal System and the Mercantilism in the European economic conception; the importance of the Industrial Revolution in the beginning of the accounting standards and the influence of England in the formation of the North American School of Accounting. With relation to U.S.A., the development of the economic-financial scene of the American society will be evaluated, focusing the contribution in the search of the construction of an applied theoretical framework to the Accounting. The economic-financial development of U.S.A. provided the sprouting of new users with specific necessities. The necessity of the user for useful information for the decision taking, unchained the process of research directed toward the establishment of an applied Accountancy terminology. In this process, the paper exerted for the responsible accountancy organisms for the accounting standards will be boarded, as well as the professionals associations which had invested in researches, aiming at to elaborate a body of accountancy principles and to adjust the accountancy procedures to the necessities of the users. To reach the research objective, a bibliographical revision in specialized literature will be effected, adopting the historical method, in the period that understands the development of the North American School of Accounting. As result of the research, it can conclude that the evolution process of the terminology which is studied presents a structural logical problem, because the impossibility of the construction of a theoretical framework, having as bases the principle terminology. The impossibility occurred in function of the reach attributed to the term, which made a difficult in its application in the elaboration of the accountancy procedures
Resumo:
Includes bibliography
Resumo:
Non-conventional database management systems are used to achieve a better performance when dealing with complex data. One fundamental concept of these systems is object identity (OID), because each object in the database has a unique identifier that is used to access and reference it in relationships to other objects. Two approaches can be used for the implementation of OIDs: physical or logical OIDs. In order to manage complex data, was proposed the Multimedia Data Manager Kernel (NuGeM) that uses a logical technique, named Indirect Mapping. This paper proposes an improvement to the technique used by NuGeM, whose original contribution is management of OIDs with a fewer number of disc accesses and less processing, thus reducing management time from the pages and eliminating the problem with exhaustion of OIDs. Also, the technique presented here can be applied to others OODBMSs. © 2011 IEEE.
Resumo:
According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called premonition of continuity (Peirce, 1976, Vol. 3, p. 87, c. 1897). © 2012 Copyright Taylor and Francis Group, LLC.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Educação para a Ciência - FC
Resumo:
Includes bibliography
Resumo:
Pós-graduação em Agronomia (Energia na Agricultura) - FCA
Resumo:
A presente Dissertação de Mestrado tem como objetivo o estudo do problema de inversão sísmica baseada em refletores planos para arranjo fonte-comum (FC) e ponto-médiocomum (PMC). O modelo direto é descrito por camadas homogêneas, isotrópicas com interfaces plano-horizontais. O problema é relacionado ao empilhamento NMO baseado na otimização da função semblance, para seções PMC corrigidas de sobretempo normal (NMO). O estudo foi baseado em dois princípios. O primeiro princípio adotado foi de combinar dois grupos de métodos de inversão: um Método Global e um Método Local. O segundo princípio adotado foi o de cascata, segundo a teoria Wichert-Herglotz-Bateman, que estabelece que para conhecer uma camada inferior tem-se que conhecer primeiro a camada superior (dissecação). A aplicação do estudo é voltada à simulação sísmica de Bacia Sedimentar do Solimões e de Bacia Marinha para se obter uma distribuição local 1D de velocidades e espessuras para a subsuperfície em horizontes alvo. Sendo assim, limitamos a inversão entre 4 e 11 refletores, uma vez que na prática a indústria limita uma interpretação realizada apenas em número equivalente de 3 a 4 refletores principais. Ressalta-se que este modelo é aplicável como condição inicial ao imageamento de seções sísmicas em regiões geologicamente complexas com variação horizontal suave de velocidades. Os dados sintéticos foram gerados a partir dos modelos relacionados a informações geológicas, o que corresponde a uma forte informação a priori no modelo de inversão. Para a construção dos modelos relacionados aos projetos da Rede Risco Exploratório (FINEP) e de formação de recursos humanos da ANP em andamento, analisamos os seguintes assuntos relevantes: (1) Geologia de bacias sedimentares terrestre dos Solimões e ma rinha (estratigráfica, estrutural, tectônica e petrolífera); (2) Física da resolução vertical e horizontal; e (3) Discretização temporal-espacial no cubo de multi-cobertura. O processo de inversão é dependente do efeito da discretização tempo-espacial do campo de ondas, dos parâmetros físicos do levantamento sísmico, e da posterior reamostragem no cubo de cobertura múltipla. O modelo direto empregado corresponde ao caso do operador do empilhamento NMO (1D), considerando uma topografia de observação plana. O critério básico tomado como referência para a inversão e o ajuste de curvas é a norma 2 (quadrática). A inversão usando o presente modelo simples é computacionalmente atrativa por ser rápida, e conveniente por permitir que vários outros recursos possam ser incluídos com interpretação física lógica; por exemplo, a Zona de Fresnel Projetada (ZFP), cálculo direto da divergência esférica, inversão Dix, inversão linear por reparametrização, informações a priori, regularização. A ZFP mostra ser um conceito út il para estabelecer a abertura da janela espacial da inversão na seção tempo-distância, e representa a influência dos dados na resolução horizontal. A estimativa da ZFP indica uma abertura mínima com base num modelo adotado, e atualizável. A divergência esférica é uma função suave, e tem base física para ser usada na definição da matriz ponderação dos dados em métodos de inversão tomográfica. A necessidade de robustez na inversão pode ser analisada em seções sísmicas (FC, PMC) submetida a filtragens (freqüências de cantos: 5;15;75;85; banda-passante trapezoidal), onde se pode identificar, comparar e interpretar as informações contidas. A partir das seções, concluímos que os dados são contaminados com pontos isolados, o que propõe métodos na classe dos considerados robustos, tendo-se como referência a norma 2 (quadrados- mínimos) de ajuste de curvas. Os algoritmos foram desenvolvidos na linguagem de programação FORTRAN 90/95, usando o programa MATLAB para apresentação de resultados, e o sistema CWP/SU para modelagem sísmica sintética, marcação de eventos e apresentação de resultados.
Resumo:
The indexing process aims to represent synthetically the informational content of documents by a set of terms whose meanings indicate the themes or subjects treated by them. With the emergence of the Web, research in automatic indexing received major boost with the necessity of retrieving documents from this huge collection. The traditional indexing languages, used to translate the thematic content of documents in standardized terms, always proved efficient in manual indexing. Ontologies open new perspectives for research in automatic indexing, offering a computer-process able language restricted to a particular domain. The use of ontologies in the automatic indexing process allows using a specific domain language and a logical and conceptual framework to make inferences, and whose relations allow an expansion of the terms extracted directly from the text of the document. This paper presents techniques for the construction and use of ontologies in the automatic indexing process. We conclude that the use of ontologies in the indexing process allows to add not only new feature to the indexing process, but also allows us to think in new and advanced features in an information retrieval system.
Resumo:
The underdevelopment is a high relevance subject in researches and studies for the general social sciences. In this monographic paper, the marxist analysis perspective of the phenomenon approached is considerate of great importance to make a deep overlook, historical and structural, about the origins and solutions possibilities for the issues caused by it over several countries. Has been done here a theoretical analysis of three studious marxist authors of the subject: Paul A. Baran, Andre G. Frank and Ruy M. Marini. How they thought underdevelopment? Which were their scientific contributions to this theme? The main goal of this paper is to do a comparative analysis of these authors, synthesize their considerations about the underdevelopment issues and organized a theoretical and conceptual framework for a better understanding of the matters in capitalist development/underdevelopment relationship. To accomplish that, we elected four variables that supports this comparative exercises, they are: the origins, the causes, the consequences and the way-out of the underdevelopment conditions. This monographic work was made through studies of some principals books and articles of the cited authors as well as the reading of others authors that commented their theories and concepts. The considerations about the underdevelopment vitality under a world capitalist logical, rescues the debate on the transformation of this entire society project for another, been this movement the only way possible to reverse the path of the world people’s history and the major part of humankind that still lives into the “necessity kingdom”
Resumo:
The use of alternative energy systems in the current days is an urgent necessity due to the problems that the planet is facing as the heating and loss of ozone layer. The scarcity of conventional energy is another problem that must be solved for the future of humanity. It must be considered that the people are inhabiting places moved away not always with available energy. The application of technologies as automation and control can help us to solve this problem. Therefore, this work aimed at apply an equipment of industrial usage, the Programmable Logical Controller, PLC, in alternative energies systems, as eolic generation and fotovoltaic generation used for water pumping, aiming the automatic control and the efficiency in the places where it has simultaneous availability of these sources, based in criterion of priority that previously established itself between them. It was made a hydraulic and energetic evaluation of the energy system, eolic and fotovoltaic, used in the automatic control system of pumping, in the place of accomplishment of the experiment, according to previously established physical conditions. The results have shown that the control system using the PLC is practicable and has trustworthiness. The program developed can be adapted for the use with several power plants in a specific application place. The fotovoltaic system of pumping, using a polycrystalline of 70 Watts connected to a pump Shurflo 8000, showed to be efficient with significant flows in almost all the months. The eolic system of pumping, using an eolic generator of 400 Watts assembled in place of experiment, did not demonstrate energetic capacity for use in this specific type of application.
Resumo:
In this work, we present an implementation of quantum logic gates and algorithms in a three effective qubits system, represented by a (I = 7/2) NMR quadrupolar nuclei. To implement these protocols we have used the strong modulating pulses (SMP) and the various stages of each implementation were verified by quantum state tomography (QST). The results for the computational base states, Toffolli logic gates, and Deutsch-Jozsa and Grover algorithms are presented here. Also, we discuss the difficulties and advantages of implementing such protocols using the SMP technique in quadrupolar systems.