833 resultados para practical logic
Resumo:
Em Belém, nos últimos doze anos (1994-2006), o poder público passou a desenvolver iniciativas no sentido de criar projetos de intervenção no centro histórico da cidade, dentre os quais se destacou os projetos da Praça Frei Caetano Brandão e do Instituto Histórico e Geográfico do Pará, promovido pela Prefeitura Municipal, através do Programa Monumenta Belém, e do Complexo Feliz Lusitânia, executado pelo governo estadual, concentrados especificamente na área que abrange o bairro da Cidade Velha. Neste contexto, buscou-se compreender a lógica que explica a recente preocupação do poder público em intervir no Centro Histórico de Belém, buscando analisar suas implicações no processo de reorganização sócio-espacial do bairro da Cidade Velha; compreender como tem se dado a dinâmica de apropriação e reorganização desse espaço e como as práticas espaciais engendradas na dinâmica de produção/apropriação têm propiciado as diversas territorialidades dos agentes sociais que produzem o espaço urbano desse bairro, bem como identificar as possíveis contradições/conflitos de territorialidades entre os diversos agentes sociais (Estado, comerciantes e moradores) envolvidos no processo de produção/reprodução espacial, gerados na dinâmica sócio-espacial desse bairro, devido essas intervenções. Percebeu-se que as ações do governo do estado, referente à intervenção do Complexo Feliz Lusitânia, pautaram-se na adoção do planejamento mercadófilo e na introdução de técnicas de city marketing, justificado pela necessidade de recuperar a base econômica da cidade. Esse projeto fundamentou-se na concepção de revitalização, alterando a forma e a funcionalidade do patrimônio onde foram realizadas as ações de intervenção, com vistas a tornar a cidade mais competitiva na disputa por atração turística. Devido seu caráter conservador, não se chegou a constatar a materialização dos conflitos de territorialidade entre os diversos agentes sociais, visto que os comerciantes e moradores não se constituíram enquanto sujeitos partícipes no processo de elaboração e execução do referido projeto. Em relação às intervenções promovidas pelo governo municipal, pautaram-se em um planejamento mais progressista, onde a participação popular se fez um pouco mais presente. Tais projetos fundamentaram-se nos princípios da reabilitação urbana, que visam qualificar o espaço urbano e melhorar as condições de qualidade de vida e de infra-estrutura para os seus usuários. Apesar de se considerar de extrema relevância o desenvolvimento de projetos com vistas a reabilitar o Centro Histórico de Belém, acredita-se que estes deveriam ser elaborados, a partir de uma análise minuciosa da dinâmica sócio-espacial dos bairros que o compõe e da cidade como um todo, e que estes projetos partam de ações mais integradas entre os órgãos patrimoniais da esfera municipal, estadual e federal, de modo que seus resultados possam garantir uma maior eqüidade e participação dos diversos agentes produtores desse espaço urbano.
Resumo:
A formação de professores está hoje no centro dos acontecimentos do mundo da educação, suscitando aprovações e divergências e apontando para a necessidade de se fazerem reformas na área. Os motivos dessas reformas estão ligados, para alguns, aos resultados negativos do desempenho escolar, que não têm atendido às exigências do mundo do trabalho. Este texto analisa a reforma na formação de professores como uma tendência internacional, ligada às exigências dos organismos multilaterais, que visam atender ao processo de globalização/mundialização. A partir dessa lógica procuram-se identificar os postulados de base da reforma, o quadro conceitual, os aportes metodológicos que vêm dando suporte ao processo. O texto apresenta alguns eixos que sustentam as reformas na formação de professores, tais como: a "universitarização" profissionalização, a ênfase na formação prática/certificação de experiências, a formação contínua e a pedagogia das competências, analisando a importância de cada um no contexto internacional.
Resumo:
Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.
Resumo:
Teaching Operating Systems (OS) is a rather hard task, since being an OS designer is not a desired goal for most students and the subject demands a large amount of knowledge over system's details. To reduce the difficulty many courses are planned with laboratory practices, differing in how the practices are designed. Some try to implement next-to-real kernels, others use simulators, and even others use synthetic kernels. In this paper an approach based on synthetic kernels is described. It uses thread programming in order to establish control over the operating system components. T his approach allows the kernel to grow following the materials presented in the course. It has been successfully applied in two different courses at our University, the first one being a basic OS course and the second one an upper level course. Results from these applications are presented.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
This work presents a new and simple electrode, which may be used to achieve the electrochemical response of ground solids or insoluble samples. Ore samples from Morro Velho Mine (Brazil) were employed to exemplify the use of such electrodes. The new electrode avoids the use of binders or other agents overcoming major deterioration problems. (C) 2002 Published by Elsevier Science B.V.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.
Resumo:
This paper aims to show practical and effectiveexperiencesfor lessons Industrial Automation Laboratory taught inundergraduate degreein ElectricalEngineering from the University Júlio MesquitaFilho - UNESP, Guaratinguetá. Experiments carriedsimulatecontrol and drive systems of electric three phase induction motors (MIT)widely usedinindustries. The experiments simulate a manufacturing environment where there isa need to control the activation and continuous operation ofelectricmotors. Seven experimentsthat simulatethe firing of electrical motors through a controlsystem, a driver along with asimulator loads coupled to the electric motor was developed. Experiments usinga Programmable Logic Controller (PLC) as acontroller,an inverter frequencyasdriver, and MagneticBrake, as simulatorengine loads . The experiments were divided accordingto the speed reference signal used fordrivingand operating the electric motor: digital and analog. The first five experiments performing the drive control and operation of the electric motor via digital signals. The sixth and seventh experiments using an analog signal as a reference speed for the electric motor
Resumo:
Pós-graduação em Engenharia Elétrica - FEIS
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Automatic method to classify images based on multiscale fractal descriptors and paraconsistent logic
Resumo:
In this study is presented an automatic method to classify images from fractal descriptors as decision rules, such as multiscale fractal dimension and lacunarity. The proposed methodology was divided in three steps: quantification of the regions of interest with fractal dimension and lacunarity, techniques under a multiscale approach; definition of reference patterns, which are the limits of each studied group; and, classification of each group, considering the combination of the reference patterns with signals maximization (an approach commonly considered in paraconsistent logic). The proposed method was used to classify histological prostatic images, aiming the diagnostic of prostate cancer. The accuracy levels were important, overcoming those obtained with Support Vector Machine (SVM) and Bestfirst Decicion Tree (BFTree) classifiers. The proposed approach allows recognize and classify patterns, offering the advantage of giving comprehensive results to the specialists.