Logificação da Psicologia o itinerário intelectual de Edmundo Curvelo sobre a Mente, a Lógica e a Filosofia

Tese de Doutoramento em Filosofia - Especialidade de Filosofia da Mente

La Atlántida : la sociedad perfecta

Si Platón creó el mito de la Atlántida para ilustrar la sociedad perfecta de su 'República', entonces otros, siglos después, recogieron el testigo para utilizarlo con sus peores o mejores intenciones.

Monteiro Lobato e a geografia de Dona Benta

It is commonplace to rely on the notion that thought is expressed from a historical and geographical context that reveals the special nature of the thinking subject. In ways and wanderings of thought, the literature shows up as a means both permissive and facilitating the possibility of expression of thought, from the written language, also depend on the temporalities and spatialities that concern you. Based on the identification of a dominant matrix of thought, given by comtean positivism and the neopositivism or logical positivism, a historical and geographical context imbued with the defining characteristics of temporalities and spatialities own perspective and written language as a medium and as support for expression of thought is that we propose to discuss the clues that identify the Lobato narrative expressed in Geography of Dona Benta, a work dating from 1935, an idea of space and nation. What notions of geographic space tells Lobato? What are your references to address landscape and territory? What representation of nation and national identity proposes in his narrative? Pursuing this aim, we seek to contribute to the substantiation of geographical knowledge from a critical effort of thinking about and doing geography

System der positiven Logik /

Mode of access: Internet.

Concepções sobre as relações entre ciência, tecnologia, inovação e o desenvolvimento no Proem do Câmpus Cornélio Procópio da UTFPR

This dissertation deals with the conceptions of the relationship between science, technology, innovation, development and society. We aimed to analyze the ways to conceive these relations in documents of the Entrepreneurship and Innovation Programme (Proem) of the Federal Technological University of Paraná (UTFPR) and analyze the conceptions of these relations in view of managers and participants of the Program on Campus Cornélio Procópio, locus of research. It is recognized that the concepts of science, technology, innovation and development are polysemic, so varied are the definitions given by different theorists. For the research were characterized these conceptions into two streams, one called traditional or conservative current, which is supported by the classical theories, that is, those that were developed by authors recognized as classics, and the other current, referred to as critical concepts that sustains it are presented by authors recognized as critical, among which houses the Science studies, Technology and Society (CTS). This categorization buoyed analysis of Proem documents and analysis of the statements collected through interviews with three managers of Proem and eleven participants in the Program. As a result of the research, in general, although there is evidence in Proem documents of a social concern in relation to its role in society, it was observed that the program is based on the traditional and hegemonic view on the subject. In the documents analysis, it was noticed that the conceptions arranged CTS studies are present in relation to the multidimensional development concept. However, the texts analyzed, mostly were identified strong indications of thought supported by logical positivism, in propositions that refer to marketing issues, a proposal to generate an entrepreneurial culture guided by the development of technological innovations designed to meet and / or induce market demands, through production methods for popular goods. As for how managers and participants Proem in Campus Cornelius conceive the relationship between science, technology, innovation, development and society, also was identified closer to the classical view, although the respondents have pointed out many times in their speak apparent concern with social issues, like designing the development from a multidimensional view as cover critical studies CTS. The views of the participants, it was possible to link the strengthening of the concept connected to the linear model of development, in which the more it generates science, more is generated technology and more technology therefore produces more wealth, which in turn, the Schumpeterian view, is the basis of social welfare.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

A Sensorless PMDC Motor Speed Controller with a Logical Overcurrent Protection

A method to control the speed or the torque of a permanent-magnet direct current motor is presented. The rotor speed and the external torque estimation are simultaneously provided by appropriate observers. The sensorless control scheme is based on current measurement and switching states of power devices. The observer’s performances are dependent on the accurate machine parameters knowledge. Sliding mode control approach was adopted for drive control, providing the suitable switching states to the chopper power devices. Despite the predictable chattering, a convenient first order switching function was considered enough to define the sliding surface and to correspond with the desired control specifications and drive performance. The experimental implementation was supported on a single dsPIC and the controller includes a logic overcurrent protection.

Timing analysis of a multiple logical ring wired/wireless PROFIBUS network

Recently, there have been a few research efforts towards extending the capabilities of fieldbus networks to encompass wireless support. In previous works we have proposed a hybrid wired/wireless PROFIBUS network solution where the interconnection between the heterogeneous communication media was accomplished through bridge-like interconnecting devices. The resulting networking architecture embraced a multiple logical ring (MLR) approach, thus with multiple independent tokens, to which a specific bridging protocol extension, the inter-domain protocol (IDP), was proposed. The IDP offers compatibility with standard PROFIBUS, and includes mechanisms to support inter-cell mobility of wireless nodes. We advance that work by proposing a worst-case response timing analysis of the IDP.

LNT: a logical neighbor tree secure group communication scheme for wireless sensor networks

Secure group communication is a paradigm that primarily designates one-to-many communication security. The proposed works relevant to secure group communication have predominantly considered the whole network as being a single group managed by a central powerful node capable of supporting heavy communication, computation and storage cost. However, a typical Wireless Sensor Network (WSN) may contain several groups, and each one is maintained by a sensor node (the group controller) with constrained resources. Moreover, the previously proposed schemes require a multicast routing support to deliver the rekeying messages. Nevertheless, multicast routing can incur heavy storage and communication overheads in the case of a wireless sensor network. Due to these two major limitations, we have reckoned it necessary to propose a new secure group communication with a lightweight rekeying process. Our proposal overcomes the two limitations mentioned above, and can be applied to a homogeneous WSN with resource-constrained nodes with no need for a multicast routing support. Actually, the analysis and simulation results have clearly demonstrated that our scheme outperforms the previous well-known solutions.

Industrial networks: are they a new and alternative way to conduct business or just a logical consequence of a globalising economy?

Based on a report for the seminar Industrial Networks, at Goethe Universität Frankfurt am Main Dozent: Prof. Dr. Blättel-Mink, Prof. Dr. António Moniz SS 2011

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Developing Young Learners’ Logical/Deductive Thinking Skills and Second Language Skills through a CLIL approach

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teaching English as a Second / Foreign Language.