Modelització de Sistemes Ecològics. Teoria de sistemes

Presentació sobre teoria de sistemes i modelització, del curs sobre Modelització de Sistemes Ecològics.

Fonaments de les Bases de Dades. Material de teoria i pràctiques (curs 2013-2014)

Material en valencià de l’assignatura Fonaments de les Bases de Dades.

USO DE TEORIAS NO CAMPO DE SISTEMAS DE INFORMAÇÃO: MAPEAMENTO USANDO TÉCNICAS DE MINERAÇÃO DE TEXTOS

Esta dissertação visa apresentar o mapeamento do uso das teorias de sistemas de informações, usando técnicas de recuperação de informação e metodologias de mineração de dados e textos. As teorias abordadas foram Economia de Custos de Transações (Transactions Costs Economics TCE), Visão Baseada em Recursos da Firma (Resource-Based View-RBV) e Teoria Institucional (Institutional Theory-IT), sendo escolhidas por serem teorias de grande relevância para estudos de alocação de investimentos e implementação em sistemas de informação, tendo como base de dados o conteúdo textual (em inglês) do resumo e da revisão teórica dos artigos dos periódicos Information System Research (ISR), Management Information Systems Quarterly (MISQ) e Journal of Management Information Systems (JMIS) no período de 2000 a 2008. Os resultados advindos da técnica de mineração textual aliada à mineração de dados foram comparadas com a ferramenta de busca avançada EBSCO e demonstraram uma eficiência maior na identificação de conteúdo. Os artigos fundamentados nas três teorias representaram 10% do total de artigos dos três períodicos e o período mais profícuo de publicação foi o de 2001 e 2007.(AU)

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Rotação e processos de acreção e coalescência em sistemas planetários e sistemas binários

The discovery of giant stars in the spectral regions G and K, showing moderate to rapid rotation and single behavior, namely with constant radial velocity, represents one important topic of study in Stellar Astrophysics. Indeed, such anomalous rotation clearly violates the theoretical predictions on the evolution of stellar rotation, since in evolved evolutionary stages is expected that the single stars essentially have low rotation due to the evolutionary expansion. This property is well-established from the observational point of view, with different studies showing that for single giant stars of spectral types G and K values of the rotation are typically smaller than 5kms−1 . This Thesis seeks an effective contribution to solving the paradigm described above, aiming to search for single stars of spectral types G and K with anomalous rotation, tipically rotation of moderate to rapid, in other luminosity classes. In this context, we analyzed a large stellar sample consisting of 2010 apparently single stars of luminosity classes IV, III, II and Ib with spectral types G and K, with rotational velocity v sin i and radial velocity measurements obtained from observations made by CORAVEL spectrometers. As a first result of impact we discovered the presence of anomalous rotators also among subgiants, bright giants and supergiants stars, namelly stars of luminosity classes IV, II and Ib, in contrast to previous studies, that reported anomalous rotators only in the luminosity class III classic giants. Such a finding of great significance because it allows us to analyze the presence of anomalous rotation at different intervals of mass, since the luminosity classes considered here cover a mass range between 0.80 and 20MJ, approximately. In the present survey we discovered 1 subgiant, 9 giants, 2 bright giants and 5 Ib supergiants, in spectral regions G and K, with values of v sin i ≥ 10kms−1 and single behavior. This amount of 17 stars corresponds to a frequency of 0.8% of G and K single evolved stars with anomalous rotation in the mentioned classes of luminosities, listed at the Bright Star Catalog, which is complete to visual magnitude 6.3. Given these new findings, based on a stellar sample complete in visual magnitude, as that of the Bright Star Catalog, we conducted a comparative statistical analysis using the Kolmogorov- Smirnov test, from where we conclude that the distributions of rotational velocity, v sin i, for single evolved stars with anomalous rotation in luminosity classes III and II, are similar to the distributions of v sin i for spectroscopic binary systems with evolved components with the same spectral type and luminosity class. This vii result indicates that the process of coalescence between stars of a binary system might be a possible mechanism to explain the observed abnormal rotation in the referred abnormal rotators, at least among the giants and bright giants, where the rotation in excess would be associated with the transfer of angular momentum for the star resulting from the merger. Another important result of this Thesis concerns the behavior of the infrared emission in most of the stars with anomalous rotation here studied, where 14 stars of the sample tend to have an excess in IR compared with single stars with low rotation, within of their luminosity class. This property represents an additional link in the search for the physical mechanisms responsible for the abnormal observed rotation, since recent theoretical studies show that the accretion of objects of sub-stellar mass, such as brown dwarfs and giant planets, by the hosting star, can significantly raise its rotation, producing also a circumstellar dust disk. This last result seems to point in that direction, since it is not expected that dust disks occurring during the stage of star formation can survive until the stages of subgiants, giants and supergiants Ib. In summary, in this Thesis, besides the discovery of single G and K evolved stars of luminosity classes IV, II and Ib with anomalously high rotation compared to what is predicted by stellar evolution theory, we also present the frequency of these abnormal rotators in a stellar sample complete to visual magnitude 6.3. We also present solid evidence that coalescence processes in stellar binary systems and processes of accretion of brown dwarfs star or giant planets, by the hosting stars, can act as mechanisms responsible for the puzzling phenomenon of anomalous rotation in single evolved stars.

Critério de correntropia no treinamento de redes fuzzy wavelet neural networks para identificação de sistemas dinâmicos não lineares

The great interest in nonlinear system identification is mainly due to the fact that a large amount of real systems are complex and need to have their nonlinearities considered so that their models can be successfully used in applications of control, prediction, inference, among others. This work evaluates the application of Fuzzy Wavelet Neural Networks (FWNN) to identify nonlinear dynamical systems subjected to noise and outliers. Generally, these elements cause negative effects on the identification procedure, resulting in erroneous interpretations regarding the dynamical behavior of the system. The FWNN combines in a single structure the ability to deal with uncertainties of fuzzy logic, the multiresolution characteristics of wavelet theory and learning and generalization abilities of the artificial neural networks. Usually, the learning procedure of these neural networks is realized by a gradient based method, which uses the mean squared error as its cost function. This work proposes the replacement of this traditional function by an Information Theoretic Learning similarity measure, called correntropy. With the use of this similarity measure, higher order statistics can be considered during the FWNN training process. For this reason, this measure is more suitable for non-Gaussian error distributions and makes the training less sensitive to the presence of outliers. In order to evaluate this replacement, FWNN models are obtained in two identification case studies: a real nonlinear system, consisting of a multisection tank, and a simulated system based on a model of the human knee joint. The results demonstrate that the application of correntropy as the error backpropagation algorithm cost function makes the identification procedure using FWNN models more robust to outliers. However, this is only achieved if the gaussian kernel width of correntropy is properly adjusted.

Estudo comparativo de dois conversores Boost quadrático com comutação suave monochaveados para aplicação de rastreamento de máxima potência em sistemas fotovoltaicos

This paper makes a comparative study of two Soft Single Switched Quadratic Boost Converters (SSS1 and SSS2) focused on Maximum Power Point Tracking (MPPT) of a PV array using Perturb and Observe (P&O) algorithm. The proposed converters maintain the static gain characteristics and dynamics of the original converter with the advantage of considerably reducing the switching losses and Electromagnetic Interference (EMI). It is displayed the input voltage Quadratic Boost converter modeling; qualitative and quantitative analysis of soft switching converters, defining the operation principles, main waveforms, time intervals and the state variables in each operation steps, phase planes of resonant elements, static voltage gain expressions, analysis of voltage and current efforts in semiconductors and the operational curves at 200 W to 800 W. There are presented project of PI, PID and PID + Notch compensators for MPPT closed-loop system and resonant elements design. In order to analyze the operation of a complete photovoltaic system connected to the grid, it was chosen to simulate a three-phase inverter using the P-Q control theory of three-phase instantaneous power. Finally, the simulation results and experimental with the necessary comparative analysis of the proposed converters will be presented.

Contradições como força de mudança: o processo de formação continuada de professores do ensino médio enquanto potencializador da práxis transformadora à luz da teoria histórico-cultural

The intervention research proposed was based on the Cultural-Historical Theory based on the laws and logic of materialism historical-dialectical. Therefore, we tried to design a research process that involved all as responsible for the process. In the field of continuous teacher's training usually has been found dualistic relationship / paradoxical processes as a result of the adopted training models which are characterized by individualist human processes. The teacher training work sought to overcome this dualism, to promote the unveiling of the contradictions with regard to teaching models. As a hypothesis, we imagined that immersed in this process, teachers recognize such contradictions, and this recognition would make the contradictions become the driving force of change in teaching practice, realizing the teaching-learning-development triad as the basis of praxis. Aiming to develop a process of continuing education to bring results to the professional teachers development looking for answer the following research question: How and what the changes of teachers who participated in the Didactic-Formative Intervention process raised the quality of their teaching practices? In this context, the objective of the research was to develop a process of Didactic-Formative Intervention from the perspective of Cultural-Historical Theory with high school teachers in order to theorize about the changes in pedagogical practices of teachers and learn aspects that transform the essence teaching practice. The research involved two high school teachers of a public school in Uberlândia-MG. The training meetings took place at the school through a collective study group between the years 2013 and 2015. As procedures were used two interconnected aspects: classes observations, and a theoretical and methodological training, both for diagnosis and for the process evaluation, the second aspect has a formative dimension, and a didactic dimension (double meaning) to form didactically the teacher and to elaborate didactic procedures. The collected data were analyzed by observing the assumptions of the method, analysis by units and the processuality. As results teachers showed changes in their teaching practices regarding the organization of the pedagogical work and also centered their design educational actions based on learning and development of the students. The presence of continuous diagnosis during the classes, work with a systems of concepts and their conceptual links, problematization as a teaching method can be pointed as meaningful changes in their praxis. Regarding the training activities that emerged from the analysis of the compiled materials and analyzed throughout the process can be emphasized: forming a collective group of school teachers continuous training, diagnostics, development of practical activities, increase relationships among participants, the choice of scientific material used should have direct relation to the needs of the participants, promoting conditions that enable the emergence of contradictions between the pedagogical practice of teachers and teaching based on the perspective of the Cultural-Historical Theory. This research craved to develop and design a teachers' training processes that increase the quality of teachers life and ways of teaching in the Brazilian public school.

Processo de implantação de um sistema integrado de gestão em uma organização pública à luz da teoria da hospitalidade :um estudo de caso

In the present time, public organizations are employing more and more solutions that uses information technology in order to ofer more transparency and better services for all citizens. Integrated Systems are IT which carry in their kernel features of integration and the use of a unique database. These systems bring several benefits and face some obstacles that make their adoption difficult. The conversion to a integrated system may take years and, thus, the study of the adoption of this IT in public sector organizations become very stimulant due to some peculiarities of this sector and the features of this technology. First of all, information about the particular integrated system in study and about its process of conversion are offered. Then, the researcher designs the configuration of the conversion process aim of this study the agents envolved and the moments and the tools used to support the process in order to elaborate the methodology of the conversion process understood as the set of procedures and tools used during all the conversion process. After this, the researcher points out, together with all the members of the conversion team, the negative and positive factors during the project. Finally, these factors were analysed through the Hospitality Theory lens which, in the researcher opinion, was very useful to understand the elements, events and moments that interfered in the project. The results consolidated empirically the Hospitality Theory presumptions, showing yet a limitation of this theory in the case in study

Uma abordagem evolucionária e espacial para o jogo da autorregulação de processos de trocas sociais em sistemas multiagentes

Interações sociais são frequentemente descritas como trocas sociais. Na literatura, trocas sociais em Sistemas Multiagentes são objeto de estudo em diversos contextos, nos quais as relações sociais são interpretadas como trocas sociais. Dentre os problemas estudados, um problema fundamental discutido na literatura e a regulação¸ ao de trocas sociais, por exemplo, a emergência de trocas equilibradas ao longo do tempo levando ao equilíbrio social e/ou comportamento de equilíbrio/justiça. Em particular, o problema da regulação de trocas sociais e difícil quando os agentes tem informação incompleta sobre as estratégias de troca dos outros agentes, especificamente se os agentes tem diferentes estratégias de troca. Esta dissertação de mestrado propõe uma abordagem para a autorregulacao de trocas sociais em sistemas multiagentes, baseada na Teoria dos Jogos. Propõe o modelo de Jogo de Autorregulacão ao de Processos de Trocas Sociais (JAPTS), em uma versão evolutiva e espacial, onde os agentes organizados em uma rede complexa, podem evoluir suas diferentes estratégias de troca social. As estratégias de troca são definidas através dos parâmetros de uma função de fitness. Analisa-se a possibilidade do surgimento do comportamento de equilíbrio quando os agentes, tentando maximizar sua adaptação através da função de fitness, procuram aumentar o numero de interações bem sucedidas. Considera-se um jogo de informação incompleta, uma vez que os agentes não tem informações sobre as estratégias de outros agentes. Para o processo de aprendizado de estratégias, utiliza-se um algoritmo evolutivo, no qual os agentes visando maximizar a sua função de fitness, atuam como autorregulares dos processos de trocas possibilitadas pelo jogo, contribuindo para o aumento do numero de interações bem sucedidas. São analisados 5 diferentes casos de composição da sociedade. Para alguns casos, analisa-se também um segundo tipo de cenário, onde a topologia de rede é modificada, representando algum tipo de mobilidade, a fim de analisar se os resultados são dependentes da vizinhança. Alem disso, um terceiro cenário é estudado, no qual é se determinada uma política de influencia, quando as medias dos parâmetros que definem as estratégias adotadas pelos agentes tornam-se publicas em alguns momentos da simulação, e os agentes que adotam a mesma estratégia de troca, influenciados por isso, imitam esses valores. O modelo foi implementado em NetLogo.

Adaptação do paradigma orientado a notificações para desenvolvimento de sistemas fuzzy

This work proposes to adjust the Notification Oriented Paradigm (NOP) so that it provides support to fuzzy concepts. NOP is inspired by elements of imperative and declarative paradigms, seeking to solve some of the drawbacks of both. By decomposing an application into a network of smaller computational entities that are executed only when necessary, NOP eliminates the need to perform unnecessary computations and helps to achieve better logical-causal uncoupling, facilitating code reuse and application distribution over multiple processors or machines. In addition, NOP allows to express the logical-causal knowledge at a high level of abstraction, through rules in IF-THEN format. Fuzzy systems, in turn, perform logical inferences on causal knowledge bases (IF-THEN rules) that can deal with problems involving uncertainty. Since PON uses IF-THEN rules in an alternative way, reducing redundant evaluations and providing better decoupling, this research has been carried out to identify, propose and evaluate the necessary changes to be made on NOP allowing to be used in the development of fuzzy systems. After that, two fully usable materializations were created: a C++ framework, and a complete programming language (LingPONFuzzy) that provide support to fuzzy inference systems. From there study cases have been created and several tests cases were conducted, in order to validate the proposed solution. The test results have shown a significant reduction in the number of rules evaluated in comparison to a fuzzy system developed using conventional tools (frameworks), which could represent an improvement in performance of the applications.

Processo de implantação de um sistema integrado de gestão em uma organização pública à luz da teoria da hospitalidade :um estudo de caso

In the present time, public organizations are employing more and more solutions that uses information technology in order to ofer more transparency and better services for all citizens. Integrated Systems are IT which carry in their kernel features of integration and the use of a unique database. These systems bring several benefits and face some obstacles that make their adoption difficult. The conversion to a integrated system may take years and, thus, the study of the adoption of this IT in public sector organizations become very stimulant due to some peculiarities of this sector and the features of this technology. First of all, information about the particular integrated system in study and about its process of conversion are offered. Then, the researcher designs the configuration of the conversion process aim of this study the agents envolved and the moments and the tools used to support the process in order to elaborate the methodology of the conversion process understood as the set of procedures and tools used during all the conversion process. After this, the researcher points out, together with all the members of the conversion team, the negative and positive factors during the project. Finally, these factors were analysed through the Hospitality Theory lens which, in the researcher opinion, was very useful to understand the elements, events and moments that interfered in the project. The results consolidated empirically the Hospitality Theory presumptions, showing yet a limitation of this theory in the case in study

Sistemas normativos. Introducción a la metodología de las ciencias jurídicas

En esta nueva edición se ha modificado el título y se han eliminado algunos errores tipográficos, entre otros. Pero el hecho de que esta obra fuera primero publicada en su versión inglesa (Norrnative Systems, Wien - New York, Springer Verlag, 1971) ha provocado algunas confusiones que conviene aclarar. El libro fue escrito en castellano y el título originario era Sistemas normativos, que nos fue sugerido por Mario Bunge, editor de la serie "Library of Exact Philosophy" en la que apareció la versión inglesa. La traducción fue llevada a cabo por los autores, con enorme ayuda de Mrs. Joan Mackie, quien revisó todo el texto. Esa traducción apareció primero y la versión original (castellana) fue publicada cuatro años más tarde por Editorial Astrea con un título cambiado: Introducción a la metodología de las ciencias jurídicas y sociales. Este cambio en la versión castellana fue sugerido por Astrea y aceptado a regañadientes por los autores. Además, como en la traducción inglesa resolvimos suprimir algunos párrafos por parecernos demasiado locales (§ 5 del cap. 11) y en la versión castellana fue añadido el § 7 del cap. IV, ambas ediciones no resultaron idénticas. Es así como mucha gente pensó que la versión inglesa era la original, que luego fue traducida al castellano. El título con que la obra aparece ahora fue tomado de la excelente traducción italiana de Pierluigi Chiassoni y Giovanni Battista Ratti (Torino, G. Giappichelli Editare, 2005), quienes incluyeron los párrafos suprimidos en la versión inglesa, de modo que la versión italiana es prácticamente idéntica al texto original, que con esta edición aparece ahora en Astrea, también con su título original.

Insatisfação com sistemas organizacionais e repercussão no atendimento a clientes

O objetivo central deste trabalho interdisciplinar é verter um facho de luz sobre a relação entre a insatisfação com sistemas organizacionais e a dissonância cognitiva no atendimento a clientes. Os vendedores e seus clientes, de três unidades de uma rede de vendas de veículos autorizada a atuar no Sul do Brasil, foram selecionados para a pesquisa. Dois instrumentos de coleta de dados foram construídos pelo autor, para investigar os selecionados. Eles foram aplicados em dois momentos distintos. No primeiro, os vendedores e seus clientes responderam a questões sobre atendimento, nas diversas fases de vendas. No segundo, os vendedores responderam a questões sobre o sistema organizacional da rede, por meio de instrumento construído com base nas proposições de Spitzer (1997). A teoria bidimensional de Herzberg foi utilizada na construção da ponte entre os resultadoschave observados nas duas pesquisas. A constatação desse autor, sobre a influência da insatisfação com fatores higiênicos na motivação, foi ratificada.

Sistemas sociais comunitários e uso de recursos naturais : bases para políticas públicas e desenvolvimento territorial no estado do Pará

Tese (doutorado)—Universidade de Brasília, Centro de Desenvolvimento Sustentável, Programa de Pós-Graduação em Desenvolvimento Sustentável, 2016.