999 resultados para Linguagens de programação em lógica - Semântica


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho é centrado na análise específica das vivências teatrais do grupo “Cia. Bumba meu Baco”, projeto reconhecido pela PROEX desde 2006, do Campus da UNESP de Rio Claro. Desta forma, utiliza-se das experiências vividas pelo grupo durante todo o período de sua criação até o presente momento, para demonstrar como a linguagem teatral trata de assuntos da ciência geográfica e como ela pode chegar a gerar discussões e resultados no âmbito geográfico. Para isso, analisa-se em um primeiro momento a evolução da companhia, que ao longo dos anos pesquisou e trabalhou diferentes temas chegando ao seu trabalho mais relevante no ano de 2009, que utilizou como um dos métodos o teatro épico de Bertolt Brecht. Com o cunho político e social que possui, tal método ajudou o grupo a expandir a relação entre arte cênica e temas em geografia humana, além de gerar outros acréscimos a todos os que participaram direta e indiretamente deste processo

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present work develops a model to simulate the dynamics of a quadcopter being controlled by a PD fuzzy controller. Initially is presented a brief history of quadcopters an introduction to fuzzy logic and fuzzy control systems. Afterwards is presented an overview of the quadcopter dynamics and the mathematical modelling development applying Newton-Euler method. Then the modelling are implemented in a Simulink model in addition to a PD fuzzy controller. A prototype proposition is made, by describing each necessary component to build up a quadcopter. In the end the results from the simulators are discussed and compared due to the discrepancy between the model using ideal sensor and the model using non-ideal sensors

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Organizational change is occurring in the Brazilian agribusiness from sugar cane in recent decades. Aspects of management in this sector are being changed due to the importance of its products, especially ethanol and electricity. It is observed in the literature a lack of quantitative studies in this Brazilian sector, particularly the selection of sugarcane varieties for planting. This study proposes the use of Goal Programming (GP) with Data Envelopment Analysis (DEA) to select efficient varieties of sugarcane for planting in a sugar and ethanol milling company. The study allowed the identification of efficient sugarcane varieties. This way, it helped the company to make more reliable decisions, favoring the increase of productivity

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Software Engineering originated with the motivation to mass produce components for increased productivity in production systems. Since its origins, numerous studies have been proposed on the subject as new features in the creation of systems, like the Object- Oriented Programming and Aspect-Oriented Programming, have been established and methodologies have been developed to control them efficiently. However, years of studies in the area were not sufficient to create a methodology for reusing software artifacts really efficient and easy enough to be widespread. Given this, the Model-Driven Development (MDD) is trying to promote it using the modeling of systems as a reference, becoming part of it and establishing a huge productivity gain. One of his approaches is called Model-Driven Software Development (MDSD), which focuses on improving the practices and systems development using Domain-Specific Languages (DSL) for this purpose. In this Final Paper, Xtext is used as a tool to prove the productivity and efficiency of this approach, and for that bibliographic studies were made on the approach and the tool, and show the methodology and a case study to demonstrate results and conclusions regarding this work

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Medical Physics has been reaching an important role among several lines in Science, providing means for the improvement of several theories and procedures. Currently, its main application is related with the use of ionizing radiations, specially, in treatment procedures such as Radiotherapy. Radiosurgery is a Radiotherapy technique which consists in administering a single tumoricidal dose of radiation exclusively to the tumorous lesion. It becomes then an interesting alternative to surgical treatment, mainly in cerebral metastases, which are the most frequent cerebral tumors in the central nervous system. The radio neurosurgical team works out a planning for the Radiosurgery treatment, aiming for obtaining an appropriate ideal treatment for each case. For the working out of this treatment planning, Computed Tomography images of the region to be treated are obtained, digitalized and later, fused with nuclear magnetic resonance images. Through these images, critical structures, organs at risk and lesions are localized. After this, calculations are made to determine three-dimensional positions of isocenters, isodose curves, prescribed dose, collimators sizes, position, numbers and respective weight of isocentric conformal fields, and others. The treatment planning is commonly based in desired levels of dose for specific types of tumors and organs at risk concerning the irradiated region. Theses levels of dose are chosen in a way that a high probability of cure may be achieved and meanwhile, that the probability of complications, in whichever organ at risk, may be minimal. Thus, many researches have been carried out, showing that mathematical techniques may help to obtain an optimal planning for the treatment of cerebral metastases. Among the methods of optimization in the study...(Complete abstract click electronic access below)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work has as its aims to offer a general view on the teaching of logics in the basic education by means of different materials on the theme. There are highlighted considerations on academic works in the area of math education that claims the teaching of logics on basic education as a means of developing the reason and promote the learning. It is done a bibliographic review on works that approach the theory of formal logics that presents different ways of working the teaching of logics. The curricular proposition of São Paulo State for the Math area is analyzed and its characteristics are discussed. The learning evaluation in a large federal scale for the teaching of middle and basic education are detailed in its matrix of references and content approached in its editions searching the evidences of a logical reasoning worth. A portal M3 Multimedia math is presented in activities in video format for the teaching of logics. After an analyze of the references where the focus was related to the learning of Math by means of an approaching where logics acts as a tool. It is possible to consider that there is a relevant number of researches and publishing in the area of Math education that approaches the concepts of formal logics. There is also evidences of a changing in National and State orientations for a basic education that reflects in its didactics resources and evaluations in a large scale. Even though, we can face difficulties on implementation of these proposes that is pointed out by constant critics by teachers concerning the changes in the resources and cited evaluations by the resistance of a considerable percentage of teachers to adopt the didactics materials distributed by the State and by the low performance of students in Public Schools in tests of learning

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pós-graduação em Ciência da Informação - FFC

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Specifically in the teaching practices of History and Geography notes a concern with the construction of school knowledge based on observance of categories such as 'everyday' and 'place', which emphasize a look intensively focused on the local context of the students - element (res) significance, situated in time and space, the representations and actions of individuals, the (re) defining their identities (individual and / or collective) and rights to citizenship. However, both educators in history, as in geography, should be alert to some limits of a strictly pedagogical 'localist'. When it comes to use of language technology audiovisual in line with the pedagogical existing in “PCN's” history and geography, one must keep in mind that not just resize the movie to local level (whether in the classroom or outside), or elect the 'localism' as the new panacea of a certain 'pedagogy' of audiovisual language. With the desire to promote the development of new methods of teaching history and geography is that we designed a research project. This is creating opportunity with the possibility of graduating videos reflect on the teaching of history and geography, according to the use of a new technological language and art (cinema), the association with the reality of the students (hence the site survey and urban) as well as the promotion of an active and critical dialogue with the PCNs’s recommendations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this work was developed a fuzzy computational model type-2 predictive interval, using the software of the type-2 fuzzy MATLAB toolbox, the final idea is to estimate the number of hospitalizations of patients with respiratory diseases. The interest in the creation of this model is to assist in decision makeshift hospital environment, where there are no medical or professional equipment available to provide the care that the population need. It began working with the study of fuzzy logic, the fuzzy inference system and fuzzy toolbox. Through a real database provided by the Departamento de Informática do Sistema Único de Saúde (DATASUS) and Companhia de Tecnologia de Saneamento Básico (CETESB), was possible to start the model. The analyzed database is composed of the number of patients admitted with respiratory diseases a day for the public hospital in São José dos Campos, during the year 2009 and by factors such as PM10, SO2, wind and humidity. These factors were analyzed as input variables and, through these, is possible to get the number of admissions a day, which is the output variable of the model. For data analysis we used the fuzzy control method type-2 Mamdani. In the following steps the performance developed in this work was compared with the performance of the same model using fuzzy logic type-1. Finally, the validity of the models was estimated by the ROC curve