• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 62
  • 7
  • 2
  • 1
  • 1
  • Tagged with
  • 76
  • 26
  • 20
  • 15
  • 13
  • 12
  • 11
  • 11
  • 11
  • 11
  • 9
  • 9
  • 8
  • 7
  • 7
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
71

PRÁTICAS MIDIATIZADAS DA CANÇÃO NOVA NA INTERNET: AFETAÇÃO DE LÓGICAS COMUNICACIONAIS CATÓLICAS E MIDIÁTICAS / CANÇÃO NOVA S MEDIATISATION PRACTICES IN THE INTERNET: AFFECTATION OF CATHOLIC AND MEDIATIC COMMUNICATIONAL LOGICS

Flores, Ana Cássia Pandolfo 01 March 2010 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In the present dissertation, we discuss about mediatisation of Catholic Church. The main objective is to analyze how the affectation of catholic communicational and mediatic logics occurs in the mediatized practices at Canção Nova. Considering that the mediatic phenomenon presents itself as a source of social practices, because it reorganizes the form of actuation on the Church in the mediatised society, we understand that there is an affectation process between the communicational logic of the mediatic camp, here understood as the ambience logic, and the catholic communicational logic, understood as the information transmission logic. The empiric objective of this study is the cancaonova.com portal, belonging to the Canção Nova, a catholic community focused in evangelization trough communication medias. The specific objectives consist in mapping the occurrence and operation of catholic practices in the cancaonova.com portal and identify the presence of affectation of the catholic and mediatic communicational logics in the mediatised practices of Canção Nova at the portal. The study is characterized as a qualitative research with exploratory and interpretative character, using the study of case. The research is organized in two steps. The first one, methodological, is regarded to the exploration and analysis of changes in the catholic practices of formation, liturgy and pray at the portal. The second one is related to the identification and study of affectation of the communicational logics present at the portal. The dissertation is build in three chapters. The first explores the comprehension of the mediatic and religious camps and their imbrications regarded to the mediatic acting of Catholic Church. The second reflects about the mediatisation of the society and about the communicational logics involved in the new possibilities arising from the technological development. The last chapter treats about the empirical research, pointing up the changes encountered in the catholic practices present at the portal. We also aimed to identify the catholic and mediatic communicational logics, as well as their affectations. The analysis indicates the existence of the outspreading logic, resulting from the affectation between the transmission and ambience logics. The mediatisation of the Church changes the religiosity present in the internet if compared to the one historically known, setting a neodevotional mediatic. In the outspreading logic, that new religiosity encountered at cancaonova.com deploys itself and is experimented as information, sell and bond. Finally, we understand that the affectation process of the logics happens in the neodevotional experimented at the internet. On the other hand, the coexistence of the logics happens in the mediatised practices that build the portal and in the practices that are possible through it. / Na presente dissertação, ocupamo-nos da temática da midiatização da Igreja Católica. O objetivo geral é analisar como se dá a afetação das lógicas comunicacionais católicas e midiáticas nas práticas midiatizadas da Canção Nova. Ao considerar que o fenômeno midiático mostra-se como uma matriz de práticas sociais, pelo fato de reorganizar a forma de atuação da Igreja na sociedade midiatizada, entendemos haver um processo de afetação entre a lógica comunicacional do campo midiático, tomada aqui como lógica da ambiência, e a lógica comunicacional católica, entendida como lógica da transmissão da informação. O objeto empírico deste estudo é o portal cancaonova.com pertencente à Canção Nova, uma comunidade católica que tem como proposta a evangelização através dos meios de comunicação. Os objetivos específicos consistem em mapear a ocorrência e o funcionamento das práticas católicas no portal ancaonova.com e identificar a presença de afetação das lógicas comunicacionais católica e midiática nas práticas midiatizadas na Canção Nova no portal. O estudo configura-se como uma pesquisa qualitativa de caráter exploratório e interpretativo que utiliza o estudo de caso. A pesquisa está organizada em duas etapas. A primeira etapa, metodológica, diz respeito à exploração e a análise das modificações das práticas católicas da formação, liturgia e oração no portal. A segunda etapa corresponde à identificação e ao estudo da afetação das lógicas comunicacionais presentes no portal. A dissertação divide-se em três capítulos. O primeiro se dedica ao entendimento do campo midiático e religioso e de seus imbricamentos no que tange à atuação midiática da Igreja Católica. O segundo reflete sobre a midiatização da sociedade e as lógicas comunicacionais envolvidas nas novas possibilidades advindas do desenvolvimento tecnológico. O último capítulo trata da pesquisa empírica e evidencia as modificações encontradas nas práticas católicas presentes no portal, além de se ocupar da identificação das lógicas comunicacionais católica e midiática e de suas afetações. A análise aponta, ainda, para a existência da lógica do desdobramento, resultado da afetação entre as lógicas da transmissão e da ambiência. A midiatização da Igreja faz com que o religioso presente na internet não seja mais o mesmo religioso historicamente conhecido, configurando-se como um neodevocional midiático. Na lógica do desdobramento, esse novo religioso encontrado no portal cancaonova.com se desdobra e é experimentado como informação, venda e vínculo. Por fim, compreendemos que o processo de afetação entre as duas lógicas estudadas não se dá sempre da mesma forma. O processo de afetação das lógicas acontece no neodevocional experimentado na internet. Já a coexistência das lógicas, dá-se nas práticas midiatizadas que constroem o portal e nas práticas possíveis a partir dele.
72

Identificação e visualização de dependências em sistemas de software orientados a objetos / Identification and Visualization of Dependencies in Object-Oriented Software Systems

Gustavo Ansaldi Oliva 22 September 2011 (has links)
Degradação do design é um problema central investigado na área de evolução de software. A densa rede de interdependências que emerge entre classes e módulos ao longo do tempo resulta em código difícil de mudar, não reutilizável e que não comunica por si só sua intenção. Dentre outros motivos, designs degradam porque requisitos mudam de maneiras não antecipadas pelo design inicial, ou seja, as modificações no código introduzem dependências novas e não planejadas entre classes e módulos do sistema. A gerência de dependências visa reduzir a degradação do design por meio de uma série de mecanismos que auxiliam na administração da complexidade estrutural inerente de sistemas orientados a objetos. Neste trabalho, investigamos as técnicas de identificação de dependências estruturais e lógicas. Em particular, por meio de um estudo de larga escala, comparamos os conjuntos desses dois tipos de dependências. Em seguida, conduzimos um estudo de caso a fim de identificar as origens de dependências lógicas. Por fim, fazemos um levantamento das técnicas de visualização de dependências e mostramos a ferramenta XFlow. / Design degradation is a central problem investigated in the area of software evolution. The dense web of interdependencies that emerges among classes and modules over time results in code that is hard to change, not reusable and that does not communicate its intention. Among other reasons, designs degrade because requirements changes in ways that were not anticipated by the initial design, i.e. the changes in code introduce new and unplanned dependencies among classes and modules of the system. Dependency management aims to reduce design degradation by means of a series of mechanisms that helps in the management of the inherent structural complexity of object oriented systems. In this work, we investigate structural and logical dependencies identification techniques. In particular, by means of a large scale study, we compare the sets of these two kinds of dependencies. Afterwards, we conduct a case study in order to uncover the origins of logical dependencies. Finally, we survey dependency visualization techniques and present the XFlow tool.
73

Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems

Tuzov, Ilya 25 January 2021 (has links)
[ES] La utilización de sistemas empotrados en cada vez más ámbitos de aplicación está llevando a que su diseño deba enfrentarse a mayores requisitos de rendimiento, consumo de energía y área (PPA). Asimismo, su utilización en aplicaciones críticas provoca que deban cumplir con estrictos requisitos de confiabilidad para garantizar su correcto funcionamiento durante períodos prolongados de tiempo. En particular, el uso de dispositivos lógicos programables de tipo FPGA es un gran desafío desde la perspectiva de la confiabilidad, ya que estos dispositivos son muy sensibles a la radiación. Por todo ello, la confiabilidad debe considerarse como uno de los criterios principales para la toma de decisiones a lo largo del todo flujo de diseño, que debe complementarse con diversos procesos que permitan alcanzar estrictos requisitos de confiabilidad. Primero, la evaluación de la robustez del diseño permite identificar sus puntos débiles, guiando así la definición de mecanismos de tolerancia a fallos. Segundo, la eficacia de los mecanismos definidos debe validarse experimentalmente. Tercero, la evaluación comparativa de la confiabilidad permite a los diseñadores seleccionar los componentes prediseñados (IP), las tecnologías de implementación y las herramientas de diseño (EDA) más adecuadas desde la perspectiva de la confiabilidad. Por último, la exploración del espacio de diseño (DSE) permite configurar de manera óptima los componentes y las herramientas seleccionados, mejorando así la confiabilidad y las métricas PPA de la implementación resultante. Todos los procesos anteriormente mencionados se basan en técnicas de inyección de fallos para evaluar la robustez del sistema diseñado. A pesar de que existe una amplia variedad de técnicas de inyección de fallos, varias problemas aún deben abordarse para cubrir las necesidades planteadas en el flujo de diseño. Aquellas soluciones basadas en simulación (SBFI) deben adaptarse a los modelos de nivel de implementación, teniendo en cuenta la arquitectura de los diversos componentes de la tecnología utilizada. Las técnicas de inyección de fallos basadas en FPGAs (FFI) deben abordar problemas relacionados con la granularidad del análisis para poder localizar los puntos débiles del diseño. Otro desafío es la reducción del coste temporal de los experimentos de inyección de fallos. Debido a la alta complejidad de los diseños actuales, el tiempo experimental dedicado a la evaluación de la confiabilidad puede ser excesivo incluso en aquellos escenarios más simples, mientras que puede ser inviable en aquellos procesos relacionados con la evaluación de múltiples configuraciones alternativas del diseño. Por último, estos procesos orientados a la confiabilidad carecen de un soporte instrumental que permita cubrir el flujo de diseño con toda su variedad de lenguajes de descripción de hardware, tecnologías de implementación y herramientas de diseño. Esta tesis aborda los retos anteriormente mencionados con el fin de integrar, de manera eficaz, estos procesos orientados a la confiabilidad en el flujo de diseño. Primeramente, se proponen nuevos métodos de inyección de fallos que permiten una evaluación de la confiabilidad, precisa y detallada, en diferentes niveles del flujo de diseño. Segundo, se definen nuevas técnicas para la aceleración de los experimentos de inyección que mejoran su coste temporal. Tercero, se define dos estrategias DSE que permiten configurar de manera óptima (desde la perspectiva de la confiabilidad) los componentes IP y las herramientas EDA, con un coste experimental mínimo. Cuarto, se propone un kit de herramientas que automatiza e incorpora con eficacia los procesos orientados a la confiabilidad en el flujo de diseño semicustom. Finalmente, se demuestra la utilidad y eficacia de las propuestas mediante un caso de estudio en el que se implementan tres procesadores empotrados en un FPGA de Xilinx serie 7. / [CA] La utilització de sistemes encastats en cada vegada més àmbits d'aplicació està portant al fet que el seu disseny haja d'enfrontar-se a majors requisits de rendiment, consum d'energia i àrea (PPA). Així mateix, la seua utilització en aplicacions crítiques provoca que hagen de complir amb estrictes requisits de confiabilitat per a garantir el seu correcte funcionament durant períodes prolongats de temps. En particular, l'ús de dispositius lògics programables de tipus FPGA és un gran desafiament des de la perspectiva de la confiabilitat, ja que aquests dispositius són molt sensibles a la radiació. Per tot això, la confiabilitat ha de considerar-se com un dels criteris principals per a la presa de decisions al llarg del tot flux de disseny, que ha de complementar-se amb diversos processos que permeten aconseguir estrictes requisits de confiabilitat. Primer, l'avaluació de la robustesa del disseny permet identificar els seus punts febles, guiant així la definició de mecanismes de tolerància a fallades. Segon, l'eficàcia dels mecanismes definits ha de validar-se experimentalment. Tercer, l'avaluació comparativa de la confiabilitat permet als dissenyadors seleccionar els components predissenyats (IP), les tecnologies d'implementació i les eines de disseny (EDA) més adequades des de la perspectiva de la confiabilitat. Finalment, l'exploració de l'espai de disseny (DSE) permet configurar de manera òptima els components i les eines seleccionats, millorant així la confiabilitat i les mètriques PPA de la implementació resultant. Tots els processos anteriorment esmentats es basen en tècniques d'injecció de fallades per a poder avaluar la robustesa del sistema dissenyat. A pesar que existeix una àmplia varietat de tècniques d'injecció de fallades, diverses problemes encara han d'abordar-se per a cobrir les necessitats plantejades en el flux de disseny. Aquelles solucions basades en simulació (SBFI) han d'adaptar-se als models de nivell d'implementació, tenint en compte l'arquitectura dels diversos components de la tecnologia utilitzada. Les tècniques d'injecció de fallades basades en FPGAs (FFI) han d'abordar problemes relacionats amb la granularitat de l'anàlisi per a poder localitzar els punts febles del disseny. Un altre desafiament és la reducció del cost temporal dels experiments d'injecció de fallades. A causa de l'alta complexitat dels dissenys actuals, el temps experimental dedicat a l'avaluació de la confiabilitat pot ser excessiu fins i tot en aquells escenaris més simples, mentre que pot ser inviable en aquells processos relacionats amb l'avaluació de múltiples configuracions alternatives del disseny. Finalment, aquests processos orientats a la confiabilitat manquen d'un suport instrumental que permeta cobrir el flux de disseny amb tota la seua varietat de llenguatges de descripció de maquinari, tecnologies d'implementació i eines de disseny. Aquesta tesi aborda els reptes anteriorment esmentats amb la finalitat d'integrar, de manera eficaç, aquests processos orientats a la confiabilitat en el flux de disseny. Primerament, es proposen nous mètodes d'injecció de fallades que permeten una avaluació de la confiabilitat, precisa i detallada, en diferents nivells del flux de disseny. Segon, es defineixen noves tècniques per a l'acceleració dels experiments d'injecció que milloren el seu cost temporal. Tercer, es defineix dues estratègies DSE que permeten configurar de manera òptima (des de la perspectiva de la confiabilitat) els components IP i les eines EDA, amb un cost experimental mínim. Quart, es proposa un kit d'eines (DAVOS) que automatitza i incorpora amb eficàcia els processos orientats a la confiabilitat en el flux de disseny semicustom. Finalment, es demostra la utilitat i eficàcia de les propostes mitjançant un cas d'estudi en el qual s'implementen tres processadors encastats en un FPGA de Xilinx serie 7. / [EN] Embedded systems are steadily extending their application areas, dealing with increasing requirements in performance, power consumption, and area (PPA). Whenever embedded systems are used in safety-critical applications, they must also meet rigorous dependability requirements to guarantee their correct operation during an extended period of time. Meeting these requirements is especially challenging for those systems that are based on Field Programmable Gate Arrays (FPGAs), since they are very susceptible to Single Event Upsets. This leads to increased dependability threats, especially in harsh environments. In such a way, dependability should be considered as one of the primary criteria for decision making throughout the whole design flow, which should be complemented by several dependability-driven processes. First, dependability assessment quantifies the robustness of hardware designs against faults and identifies their weak points. Second, dependability-driven verification ensures the correctness and efficiency of fault mitigation mechanisms. Third, dependability benchmarking allows designers to select (from a dependability perspective) the most suitable IP cores, implementation technologies, and electronic design automation (EDA) tools. Finally, dependability-aware design space exploration (DSE) allows to optimally configure the selected IP cores and EDA tools to improve as much as possible the dependability and PPA features of resulting implementations. The aforementioned processes rely on fault injection testing to quantify the robustness of the designed systems. Despite nowadays there exists a wide variety of fault injection solutions, several important problems still should be addressed to better cover the needs of a dependability-driven design flow. In particular, simulation-based fault injection (SBFI) should be adapted to implementation-level HDL models to take into account the architecture of diverse logic primitives, while keeping the injection procedures generic and low-intrusive. Likewise, the granularity of FPGA-based fault injection (FFI) should be refined to the enable accurate identification of weak points in FPGA-based designs. Another important challenge, that dependability-driven processes face in practice, is the reduction of SBFI and FFI experimental effort. The high complexity of modern designs raises the experimental effort beyond the available time budgets, even in simple dependability assessment scenarios, and it becomes prohibitive in presence of alternative design configurations. Finally, dependability-driven processes lack an instrumental support covering the semicustom design flow in all its variety of description languages, implementation technologies, and EDA tools. Existing fault injection tools only partially cover the individual stages of the design flow, being usually specific to a particular design representation level and implementation technology. This work addresses the aforementioned challenges by efficiently integrating dependability-driven processes into the design flow. First, it proposes new SBFI and FFI approaches that enable an accurate and detailed dependability assessment at different levels of the design flow. Second, it improves the performance of dependability-driven processes by defining new techniques for accelerating SBFI and FFI experiments. Third, it defines two DSE strategies that enable the optimal dependability-aware tuning of IP cores and EDA tools, while reducing as much as possible the robustness evaluation effort. Fourth, it proposes a new toolkit (DAVOS) that automates and seamlessly integrates the aforementioned dependability-driven processes into the semicustom design flow. Finally, it illustrates the usefulness and efficiency of these proposals through a case study consisting of three soft-core embedded processors implemented on a Xilinx 7-series SoC FPGA. / Tuzov, I. (2020). Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/159883 / TESIS
74

Integración de argumentación rebatible y ontologías en el contexto de la web semántica : formalización y aplicaciones

Gómez, Sergio Alejandro 25 June 2009 (has links)
La World Wide Web actual está compuesta principalmente por documentos escritos para su presentación visual para usuarios humanos. Sin embargo, para obtener todo el potencial de la web es necesario que los programas de computadoras o agentes sean capaces de comprender la información presente en la web. En este sentido, la Web Semántica es una visión futura de la web donde la información tiene significado exacto, permitiendo así que las computadoras entiendan y razonen en base a la información hallada en la web. La Web Semántica propone resolver el problema de la asignación de semántica a los recursos web por medio de metadatos cuyo significado es dado a través de definiciones de ontologías, que son formalizaciones del conocimiento de un dominio de aplicación. El estándar del World Wide Web Consortium propone que las ontologías sean definidas en el lenguaje OWL, el cual se halla basado en las Lógicas para la Descripción. A pesar de que las definiciones de ontologías expresadas en Lógicas para la Descripción pueden ser procesadas por razonadores estándar, tales razonadores son incapaces de lidiar con ontologías inconsistentes. Los sistemas argumentativos constituyen una formalización del razonamiento rebatible donde se pone especial enfasis en la noción de argumento. Así, la construcción de argumentos permite que un agente obtenga conclusiones en presencia de información incompleta y potencialmente contradictoria. En particular, la Programación en Lógica Rebatible es un formalismo basado en la argumentación rebatible y la Programación en Lógica. En esta Disertación, la importancia de la definición de ontologías para poder llevar a cabo la realización de la iniciativa de la Web Semántica junto con la presencia de ontologías incompletas y potencialmente contradictorias motivó el desarrollo de un marco de razonamiento con las llamadas -ontologías. Investigaciones previas de otros autores, determinaron que un subconjunto de las Lógicas para la Descripción pueden ser traducidas efectivamente a un conjunto de la Programación en Lógica. Nuestra propuesta involucra asignar semántica a ontologías expresadas en Lógicas para la Descripción por medio de Programas Lógicos Rebatibles para lidiar con definiciones de ontologías inconsistentes en la Web Semántica. Esto es, dada una ontología OWL expresada en el lenguaje OWLDL, es posible construir una ontología DL equivalente expresada en las Lógicas para la Descripción. En el caso en que DL satisfaga ciertas restricciones, esta puede ser expresada como un programa DeLP P. Por lo tanto, dada una consulta acerca de la pertenencia de una instancia a a un cierto concepto C expresada con respecto a OWL, se realiza un análisis dialectico con respecto a P para determinar todas las razones a favor y en contra de la plausibilidad de la afirmación C(a). Por otro lado, la integración de datos es el problema de combinar datos residiendo en diferentes fuentes y el de proveer al usuario con una vista unificada de dichos datos. El problema de diseñar sistemas de integración de datos es particularmente importante en el contexto de aplicaciones en la Web Semántica donde las ontologías son desarrolladas independientemente unas de otras, y por esta razón pueden ser mutuamente inconsistentes. Dada una ontología, nos interesa conocer en que condiciones un individuo es una instancia de un cierto concepto. Como cuando se tienen varias ontologías, los mismos conceptos pueden tener nombres distintos para un mismo significado o aún nombres iguales para significados diferentes, para relacionar los conceptos entre dos ontologías diferentes se utilizaron reglas puente o de articulación. De esta manera, un concepto se corresponde a una vista sobre otros conceptos de otra ontología. Mostramos también bajo que condiciones la propuesta del razonamiento con -ontologías puede ser adaptada a los dos tipos de integración de ontologías global-as-view y local-as-view considerados en la literatura especializada. Además, analizamos las propiedades formales que se desprenden de este acercamiento novedoso al tratamiento de ontologías inconsistentes en la Web Semántica. Los principales resultados obtenidos son que, como la interpretación de -ontologías como Programas Lógicos Rebatibles es realizada a través de una función de transformación que preserva la semántica de las ontologías involucradas, los resultados obtenidos al realizar consultas son sensatos. También, mostramos que el operador presentado es además consistente y significativo. El acercamiento al razonamiento en presencia de ontologías inconsistentes brinda la posibilidad de abordar de una manera ecaz ciertos problemas de aplicacion del ámbito del comercio electrónico, donde el modelo de reglas de negocio puede ser especificado en términos de ontologías. Entonces, la capacidad de razonar frente a ontologías inconsistentes permite abordajes alternativos conceptualmente más claros, ya que es posible automatizar ciertas decisiones de negocios tomadas a la luz de un conjunto de reglas de negocio posiblemente inconsistentes expresadas como una o varias ontologías y tener un sistema capaz de brindar una explicación del porque se arribo a una conclusión determinada. En consecuencia, presentamos entonces una aplicación del razonamiento sobre ontologías inconsistentes por medio de la argumentación rebatible al modelado de formularios en la World Wide Web. La noción de los formularios como una manera de organizar y presentar datos ha sido utilizada desde el comienzo de la World Wide Web. Los formularios Web han evolucionado junto con el desarrollo de nuevos lenguajes de marcado, en los cuales es posible proveer guiones de validación como parte del código del formulario para verificar que el signifiado pretendido del formulario es correcto. Sin embargo, para el diseñador del formulario, parte de este significado pretendido frecuentemente involucra otras características que no son restricciones por sí mismas, sino más bien atributos emergentes del formulario, los cuales brindan conclusiones plausibles en el contexto de información incompleta y potencialmente contradictoria. Como el valor de tales atributos puede cambiar en presencia de nuevo conocimiento, los llamamos atributos rebatibles. Propusimos entonces extender los formularios web para incorporar atributos rebatibles como parte del conocimiento que puede ser codifiado por el diseñador del formulario, por medio de los llamados -formularios; dicho conocimiento puede ser especificado mediante un programa DeLP, y posteriormente, como una ontología expresada en Lógicas para la Descripción.
75

Fundamentos de lógica, conjuntos e números naturais

Santos, Rafael Messias 28 August 2015 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The present work has as main objective to approach the fundaments of logic and the notions of sets in a narrow and elementary way, culminating in the construction of natural numbers. We present and advance, as far as possible, natural and intuitively, the concepts of propositions and open propositions, and the use of these in the speci cation sets, according with the axiom of the speci cation. We also present the logic connectives of open propositions and logic equivalences, relating them to the sets. We showed the concept of Theorem, as well as some forms of writing and demonstrations in the scope of the sets, and we used properties and relations of sets in the demonstration techniques. Our study ended with the construction of natural numbers and some of its properties, for example, the Relation Order. / O presente trabalho tem como principal objetivo abordar os fundamentos de lógica e as noções de conjuntos de maneira estreita e elementar, culminando na constru- ção dos números naturais. Apresentamos, e progredimos na medida do possível, de forma natural e/ou intuitiva, os conceitos de proposições e proposições abertas, e o uso destes nas especi cações de conjuntos, de acordo com o axioma da especi cação. Apresentamos também os conectivos lógicos de proposições abertas e as equivalências lógicas, relacionando-os aos conjuntos. Mostramos o conceito de Teorema, bem como algumas formas de escritas e demonstrações no âmbito dos conjuntos, e utilizamos propriedades e relações de conjuntos nas técnicas de demonstração. Encerramos nosso estudo com a construção dos números naturais e algumas das suas principais propriedades, como por exemplo, a Relação de Ordem.
76

Movimento estudantil universitário de Sergipe : modelos de organização, redes sociais e engajamento individual (2000-2015)

Santos, Adrielma Silveira Fortuna dos 01 March 2016 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This dissertation analyzes the forms of organization of the student movements of the UFS during the period 2000 to 2015. This is more particularly investigate how organizational models and repertoires used by student leaders and the Central Directory of Students former presidents are related changes in political, social networks these actors and individual engagement logic. Dialoguing with a theoretical framework that investigates the organizational dynamics, this study aimed to understand the relationship between the individual engagement, social networks and the choice of certain organizational models and repertoires used by different 13 managements DCE / UFS during the investigated period. Breaking with approaches that analyze the individual engagement as a streamlined and co-option process, we used theories and concepts that comprise procedural and relational forms the engagement of individual actors in multiple spaces of political activism. Thus, we investigated the previous relationship networks, the different spaces of socialization, life experiences and also the changes in the political context that factors which influenced the construction of the organizational models used by managements investigated. The empirical universe considered are the student movements that are organized at the Federal University of Sergipe. To account of the issues raised, this work is divided into four parts: the first is to analyze, from the desk research, the emergency conditions of the University Student Movement in Sergipe, the causes defended, organizational repertoires used and the student movements, between the period 1950 and 1999, focusing mainly in the 1980s and 1990s; the second part examines based on questionnaires and the method previously mentioned, the profile of students who are active, focusing mainly on the militant and political itinerary. Also, investigates three significant areas: the CAs, the Student Assemblies and the CEB's; the third part deals with the process of formation and performance of a DCE management, and how this process mobilizes interpersonal networks of leaders and a political dispute over this space that goes beyond the walls of the University; the fourth part discusses the militants careers of DCE former presidents in the last 15 years, whereas the social origin, the multiple engagements and socialization processes and identification with militancy influenced the transformation of the organizational models used by them. This thesis has allowed to show that the organizational models used is directly linked to changes in the political context, the multiple engagement and the construction of dense social networks and socialization processes that promote continuity in militancy. It also shows that the relationship between student movements and political parties, is both confrontational and conciliatory in the face of financial interests, electoral and representative of both parties. In addition, this paper argues that the engagement of activists and student leaders in political parties stems from a personal and professional identification process of the actors themselves, as they make the associative militancy and partisan a life project. / Esta dissertação analisa os modelos de organização dos movimentos estudantis da UFS durante o período de 2000 a 2015. Trata-se de investigar mais particularmente como os modelos e repertórios organizacionais utilizados por lideranças estudantis e pelos ex-presidentes do Diretório Central dos Estudantes estão relacionados com mudanças no contexto político, as redes sociais desses atores e as lógicas de engajamento individual. Dialogando com um referencial teórico que investiga as dinâmicas organizacionais, o presente trabalho teve como principal objetivo compreender a relação entre o engajamento individual, as redes sociais e a escolha de determinados modelos e repertórios organizacionais utilizados por 13 diferentes gestões do DCE/UFS, durante o período investigado. Rompendo com abordagens que analisam o engajamento individual como um processo racionalizado e de cooptação, lançamos mão de teorias e conceitos que compreendem de forma processual e relacional o engajamento individual dos atores em múltiplos espaços de militância política. Desse modo, investigamos as redes de relações prévias, os diferentes espaços de socialização, as experiências de vida e também as transformações no contexto político, como elementos que influenciaram na construção dos modelos de organização utilizados pelas gestões investigadas. O universo empírico considerado são os movimentos estudantis que se organizam na Universidade Federal de Sergipe. Para dar conta das questões suscitadas, esse trabalho divide-se em quatro partes: a primeira trata de analisar, a partir da pesquisa documental, as condições de emergência do Movimento Estudantil Universitário em Sergipe, as causas defendidas, os repertórios organizacionais utilizados e os movimentos estudantis entre o período de 1950 e 1999, focando principalmente nas décadas de 1980 e 1990; a segunda parte examina, com base na aplicação de questionários e do método anteriormente citado, o perfil dos estudantes que militam, tendo como foco principal o itinerário militante e político. Além disso, investiga três espaços significativos: os CAs, as Assembleias Estudantis e os CEBs; a terceira parte aborda o processo de formação e atuação de uma gestão do DCE, e como tal processo mobiliza as redes interpessoais das lideranças e uma disputa política em torno desse espaço que extrapola os muros da Universidade; a quarta parte problematiza as carreiras militantes dos ex-presidentes do DCE nos últimos 15 anos, considerando que a origem social, os múltiplos engajamentos e os processos de socialização e de identificação com a militância influenciaram na transformação dos modelos de organização utilizados por eles. Esta dissertação permitiu mostrar que os modelos de organização utilizados está diretamente ligado a mudanças no contexto político, ao múltiplo engajamento e a construção de redes sociais densas e processos de socialização que promovem a continuidade na militância. Revela ainda que as relações entre movimentos estudantis e partidos políticos é, ao mesmo tempo, conflituosa e conciliadora diante dos interesses financeiros, eleitorais e representativos de ambas as partes. Além disso, este trabalho afirma que o engajamento dos militantes e lideranças estudantis em partidos políticos resulta de um processo de identificação pessoal e profissional dos próprios atores, em que estes tornam a militância associativa e partidária um projeto de vida.

Page generated in 0.0879 seconds