Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

HOW FAR do WE GET USING MACHINE LEARNING BLACK-BOXES?

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

An Intelligent System for Petroleum Well Drilling Cutting Analysis

Cutting analysis is a important and crucial task task to detect and prevent problems during the petroleum well drilling process. Several studies have been developed for drilling inspection, but none of them takes care about analysing the generated cutting at the vibrating shale shakers. Here we proposed a system to analyse the cutting's concentration at the vibrating shale shakers, which can indicate problems during the petroleum well drilling process, such that the collapse of the well borehole walls. Cutting's images are acquired and sent to the data analysis module, which has as the main goal to extract features and to classify frames according to one of three previously classes of cutting's volume. A collection of supervised classifiers were applied in order to allow comparisons about their accuracy and efficiency. We used the Optimum-Path Forest (OPF), Artificial Neural Network using Multi layer Perceptrons (ANN-MLP), Support Vector Machines (SVM) and a Bayesian Classifier (BC) for this task. The first one outperformed all the remaining classifiers. Recall that we are also the first to introduce the OPF classifier in this field of knowledge. Very good results show the robustness of the proposed system, which can be also integrated with other commonly system (Mud-Logging) in order to improve the last one's efficiency.

Aspectos didáticos, laicos e científicos de artigos de divulgação científica de duas revistas de conteúdo geral

Muitos professores buscam, em textos jornalísticos, revistas ou jornais, matérias com conteúdo científico para utilizarem como material de apoio em classe. Será que o conteúdo científico contido nesse material é, realmente, aproveitável? O discurso utilizado pelos jornalistas promove o conhecimento científico sobre os assuntos que discutem? Assim, este trabalho teve por objetivo analisar, quanto ao conteúdo científico, didático e acessível, matérias das revistas semanais de conteúdo geral mais lidas do país, Veja e Época, publicadas em 2008, com o tema Meio Ambiente. Os resultados permitiram concluir que os textos apresentados pela revista Veja promovem um discurso científico aproveitável do ponto de vista didático, podendo ser utilizados em sala de aula como material de apoio e complementar pelos professores.

Os acidentes de trabalho e os valores humanos em operadores de uma fábrica de calçados

The study present analyzes the relation between work accident and human values. It was developed with the sample of 156 operators of a factory, through to an application of structured questionnaires. The data were submitted to quantitative analyses (for example, analyses of frequency distributions, Chi-Square, test t). It was verified that 27 employees that filled out the questionnaires suffered work accidents. The results evidence that there aren´t significant differences between the people s values that suffered work accidents and those that did not suffer. The employees presented a hierarchy of different values comparing with the others Brazilian studies. It was observed that the work accidents varies for organizational sectors. So, we get the conclusion, the occurrence of the work accidents is not associated to the values, but they are probably associated to work conditions

A percepção de suporte organizacional dos novos servidores da Universidade Federal do Rio Grande do Norte

This work deals with organizational support perception-OSP. This is done considering staff global beliefs, value of their contributions, care and well being related of individuals in an organization. These issues has been have been present in many researches since the 80s. It is important to analyze this matter considering all the changes that occurred nationally and internationally in the academic environment, characterized as being diversified in academic and managerial level. This occurs especially in Brazil since Federal Universities and their agents have suffered impact and restructuring. The research has emphasized the technical-managerial as well as professor staff level at Universidade Federal do Rio Grande do Norte aiming to deal with their unsatisfaction upon social political support. Thus, there was participation of 259 staff that were admitted from 2003 to 2005 in many sectors and units of the university. These subjects were submitted to a social and demographical query through an application of a scale of organizational support perception-OSP. Descriptive and multivariate analysis was done considering factors (management style of higher command), material support, wages, work overload, social support at work and ascending levels). Results show that there a hierarchy of the analyzed factors, the factor social support at work as being the first one with 3,31%, the factor management style of the higher command in second with 3,30%, then followed by the factor social support at work with 2,92%, in a sequence the factor material support, factor overload with 2,49% in the fourth position, and in the fifth place, the factor ascending with an average of 2,33% and in last the factor wages with 2,20%. It is concluded that the factors related to the more positive attributions of the OSP (social support at work), in a sequence material support opposing from the most negative factors of the OSP (wages, overload, ascending) reveal a reality that points out that the OSP is very much related to the individualized actions of the members of the organization (leader-member-group) rather than on structure and institutionalized actions carried out at UFRN

O significado do trabalho entre os jovens na transição de estudante universitário a profissional

The present study analyses the variability of the meaning of the work among young people on the transition from university to professional life, divided according to: university levels, knowledge area and graduation course. A hundred seventeen young people answered the questionaries structured on the components of the meaning of work. Semi-structured interviews were also made with parts of the sample about the themes related to the meaning of work on this way the information of the questionaries became complete. The answers of the interviews were studied through the analysis of the thematic contents. The results of such analysis and the answers of the questionaries were registered on the data base SPSS for Windows. The results of the statistic analysis made indicated that: (1) the centrality of work and the articulations among stronger spheres do not present variability according to level, area or course; (2) the course makes more difference values factors and descriptives factors than area and level; (3) the hierarchy of values presents variability according to area and the descriptive hierarchy presents variability according to course; (4) the level makes more difference specific attributes of the meaning of the work than area and course; (5) the standards of the meaning of work do not present variability according to level, area and course, but present variability according to type of the work market evaluation and planning the future work. In summary, the meaning of work present variability according to level, area and course of the young people, when studied in facets, except for the work centrality

Otimização em comitês de classificadores: uma abordagem baseada em filtro para seleção de subconjuntos de atributos

Traditional applications of feature selection in areas such as data mining, machine learning and pattern recognition aim to improve the accuracy and to reduce the computational cost of the model. It is done through the removal of redundant, irrelevant or noisy data, finding a representative subset of data that reduces its dimensionality without loss of performance. With the development of research in ensemble of classifiers and the verification that this type of model has better performance than the individual models, if the base classifiers are diverse, comes a new field of application to the research of feature selection. In this new field, it is desired to find diverse subsets of features for the construction of base classifiers for the ensemble systems. This work proposes an approach that maximizes the diversity of the ensembles by selecting subsets of features using a model independent of the learning algorithm and with low computational cost. This is done using bio-inspired metaheuristics with evaluation filter-based criteria

Utilizando Pesos estáticos e dinâmicos em sistemas multi-classificadores com diferentes níveis de diversidade

Although some individual techniques of supervised Machine Learning (ML), also known as classifiers, or algorithms of classification, to supply solutions that, most of the time, are considered efficient, have experimental results gotten with the use of large sets of pattern and/or that they have a expressive amount of irrelevant data or incomplete characteristic, that show a decrease in the efficiency of the precision of these techniques. In other words, such techniques can t do an recognition of patterns of an efficient form in complex problems. With the intention to get better performance and efficiency of these ML techniques, were thought about the idea to using some types of LM algorithms work jointly, thus origin to the term Multi-Classifier System (MCS). The MCS s presents, as component, different of LM algorithms, called of base classifiers, and realized a combination of results gotten for these algorithms to reach the final result. So that the MCS has a better performance that the base classifiers, the results gotten for each base classifier must present an certain diversity, in other words, a difference between the results gotten for each classifier that compose the system. It can be said that it does not make signification to have MCS s whose base classifiers have identical answers to the sames patterns. Although the MCS s present better results that the individually systems, has always the search to improve the results gotten for this type of system. Aim at this improvement and a better consistency in the results, as well as a larger diversity of the classifiers of a MCS, comes being recently searched methodologies that present as characteristic the use of weights, or confidence values. These weights can describe the importance that certain classifier supplied when associating with each pattern to a determined class. These weights still are used, in associate with the exits of the classifiers, during the process of recognition (use) of the MCS s. Exist different ways of calculating these weights and can be divided in two categories: the static weights and the dynamic weights. The first category of weights is characterizes for not having the modification of its values during the classification process, different it occurs with the second category, where the values suffers modifications during the classification process. In this work an analysis will be made to verify if the use of the weights, statics as much as dynamics, they can increase the perfomance of the MCS s in comparison with the individually systems. Moreover, will be made an analysis in the diversity gotten for the MCS s, for this mode verify if it has some relation between the use of the weights in the MCS s with different levels of diversity

Seleção de atributos em comitês de classificadores utilizando algoritmos genéticos

Classifier ensembles are systems composed of a set of individual classifiers and a combination module, which is responsible for providing the final output of the system. In the design of these systems, diversity is considered as one of the main aspects to be taken into account since there is no gain in combining identical classification methods. The ideal situation is a set of individual classifiers with uncorrelated errors. In other words, the individual classifiers should be diverse among themselves. One way of increasing diversity is to provide different datasets (patterns and/or attributes) for the individual classifiers. The diversity is increased because the individual classifiers will perform the same task (classification of the same input patterns) but they will be built using different subsets of patterns and/or attributes. The majority of the papers using feature selection for ensembles address the homogenous structures of ensemble, i.e., ensembles composed only of the same type of classifiers. In this investigation, two approaches of genetic algorithms (single and multi-objective) will be used to guide the distribution of the features among the classifiers in the context of homogenous and heterogeneous ensembles. The experiments will be divided into two phases that use a filter approach of feature selection guided by genetic algorithm

Comitês de Classificadores para o Reconhecimento Multibiométrico em Dados Biométricos Revogáveis

This work discusses the application of techniques of ensembles in multimodal recognition systems development in revocable biometrics. Biometric systems are the future identification techniques and user access control and a proof of this is the constant increases of such systems in current society. However, there is still much advancement to be developed, mainly with regard to the accuracy, security and processing time of such systems. In the search for developing more efficient techniques, the multimodal systems and the use of revocable biometrics are promising, and can model many of the problems involved in traditional biometric recognition. A multimodal system is characterized by combining different techniques of biometric security and overcome many limitations, how: failures in the extraction or processing the dataset. Among the various possibilities to develop a multimodal system, the use of ensembles is a subject quite promising, motivated by performance and flexibility that they are demonstrating over the years, in its many applications. Givin emphasis in relation to safety, one of the biggest problems found is that the biometrics is permanently related with the user and the fact of cannot be changed if compromised. However, this problem has been solved by techniques known as revocable biometrics, which consists of applying a transformation on the biometric data in order to protect the unique characteristics, making its cancellation and replacement. In order to contribute to this important subject, this work compares the performance of individual classifiers methods, as well as the set of classifiers, in the context of the original data and the biometric space transformed by different functions. Another factor to be highlighted is the use of Genetic Algorithms (GA) in different parts of the systems, seeking to further maximize their eficiency. One of the motivations of this development is to evaluate the gain that maximized ensembles systems by different GA can bring to the data in the transformed space. Another relevant factor is to generate revocable systems even more eficient by combining two or more functions of transformations, demonstrating that is possible to extract information of a similar standard through applying different transformation functions. With all this, it is clear the importance of revocable biometrics, ensembles and GA in the development of more eficient biometric systems, something that is increasingly important in the present day

Mapeamento digital de análogos a reservatórios petrolíferos: exemplos para depósitos fluviais da Unidade Açu-3 - Bacia Potiguar

In the current work are presented the results about the study of digital mapping of analogs referents the fluvial oil reservoirs in the Açu Formation. With the regional recognizing in the south corner of Potiguar Basin was selected a area of 150 Km square in the west of Assu city. In this area was chosen the outcrops for the digital mapping and from the data fields and remote sensors were done the depositional architectural for the fluvial deposits, which it was named coarse meandering fluvial systems. In the deposits were individualized 3 (three) fluvial cycles, which they was separated by bounding surface of fifth order. Such cycles are preferentially sandy, with fining-upward sequence finished in flood plain deposits. Inner of the sandy levels of the filling channels were characterized least cycles, normaly incomplete, constituted by braided sandy bodies and bounding surfaces of fourth order. In the mapped area was chosen a outcrop with great exposition, where it was possible to see tipical deposits of filling channel and was in this outcrop that was done the digital mapping. In this outcrop was used diverse technics and tools, which they integrated sedimentological, altimetric (GPS, Total Station), LIDAR (Light Detection and Ranging), digital photomosaic of high resolution and of the inner geometries (Ground Penetration Radar) data sets. For the integrating, interpretation and visualization of data was used software GoCAD®. The final product of the outcrop digital mapping was the photorealistic model of part of the cliff (or slope) because the observed reflectors in the radargrams were absents. A part of bar oblique accretion was modeled according to GPR gride of 200x200 meters in the alluvial Assu river probable recent analog. With the data of inner geometries was developed the three-dimentional sedimentary architectural, where it was possible characterize sand sheet deposits and many hierarchy of braided channels. At last, simulations of sedimentary geometries and architectures of the Potiguar Basin Fluvial Reservoirs were done with PetBool software, in order to understand the capacity of this program in simulations with a lot of numbers of conditioning wells. In total, 45 simulations was acquired, where the time and the channel numbers increase in relation of the conditioning wells quantity. The deformation of the meanders was detected from the change of simulated dominion dimensions. The presence of this problem was because the relationship between the simulated dominion and the width of the meander

Pedagogia do esporte: livro didático aplicado aos jogos esportivos coletivos

The study deals with the pedagogical possibilities of text books as a resource for Physical Education (PE) classes based on sports, specifically team sports. It started from a bibliographical review on the cited terms and after that we advanced our studies in order to propose a didactic text book on Team Sports for PE classes considering two benchmarks: one technical-tactic and the other social-educational. In order to do so, we used methods from linguistics, and the development of a Didactic Sequence allowed the selection and distribution of the contents to be presented in the book in an orderly and judicious way. The focus in Team Sports is justified by its social-cultural insertion and by the need to transform recent studies into new pedagogical procedures for practicing them. The didactic text book, as well as the adequate preparation of the professionals who will use it, is pointed out as facilitator in the process of teaching, experiencing and learning team sports.

Variational supersymmetric approach to evaluate Fokker-Planck probability

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

NONDEGENERATE UMBILICS, THE PATH FORMULATION and GRADIENT BIFURCATION PROBLEMS

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