39 resultados para Reification
Resumo:
Pós-graduação em Serviço Social - FCHS
Resumo:
The present work has for objective to analyze the issue of training environmental awareness and its role in contemporary society. With the alarming scenario of degradation and environmental imbalance , political, social and non-governmental institutions have established the urgent need for an education that make changes in social behavior in relation to the environment. With this design is establishing environmental education, however the economic , financial and social scenario in which is inserted dismantles its effectiveness , since the transformations of modernity incited alienation, reification , individualization , indifference and consumerism . In this juncture it is noticed that environmental education needs to be analyzed by the perspective of a man in critical reflection of the capitalist structure. Given this need , it is proposed to reading Italo Calvino's work , since it approach the whole context of modern man , with his ailments , anxiety, exploitation , selfishness and destructive action of itself, others and the environment in living
Resumo:
Pós-graduação em Educação Escolar - FCLAR
Resumo:
Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.
Resumo:
Los sistemas técnicos son cada vez más complejos, incorporan funciones más avanzadas, están más integrados con otros sistemas y trabajan en entornos menos controlados. Todo esto supone unas condiciones más exigentes y con mayor incertidumbre para los sistemas de control, a los que además se demanda un comportamiento más autónomo y fiable. La adaptabilidad de manera autónoma es un reto para tecnologías de control actualmente. El proyecto de investigación ASys propone abordarlo trasladando la responsabilidad de la capacidad de adaptación del sistema de los ingenieros en tiempo de diseño al propio sistema en operación. Esta tesis pretende avanzar en la formulación y materialización técnica de los principios de ASys de cognición y auto-consciencia basadas en modelos y autogestión de los sistemas en tiempo de operación para una autonomía robusta. Para ello el trabajo se ha centrado en la capacidad de auto-conciencia, inspirada en los sistemas biológicos, y se ha explorado la posibilidad de integrarla en la arquitectura de los sistemas de control. Además de la auto-consciencia, se han explorado otros temas relevantes: modelado funcional, modelado de software, tecnología de los patrones, tecnología de componentes, tolerancia a fallos. Se ha analizado el estado de la técnica en los ámbitos pertinentes para las cuestiones de la auto-consciencia y la adaptabilidad en sistemas técnicos: arquitecturas cognitivas, control tolerante a fallos, y arquitecturas software dinámicas y computación autonómica. El marco teórico de ASys existente de sistemas autónomos cognitivos ha sido adaptado para servir de base para este análisis de autoconsciencia y adaptación y para dar sustento conceptual al posterior desarrollo de la solución. La tesis propone una solución general de diseño para la construcción de sistemas autónomos auto-conscientes. La idea central es la integración de un meta-controlador en la arquitectura de control del sistema autónomo, capaz de percibir la estado funcional del sistema de control y, si es necesario, reconfigurarlo en tiempo de operación. Esta solución de metacontrol se ha formalizado en cuatro patrones de diseño: i) el Patrón Metacontrol, que define la integración de un subsistema de metacontrol, responsable de controlar al propio sistema de control a través de la interfaz proporcionada por su plataforma de componentes, ii) el patrón Bucle de Control Epistémico, que define un bucle de control cognitivo basado en el modelos y que se puede aplicar al diseño del metacontrol, iii) el patrón de Reflexión basada en Modelo Profundo propone una solución para construir el modelo ejecutable utilizado por el meta-controlador mediante una transformación de modelo a modelo a partir del modelo de ingeniería del sistema, y, finalmente, iv) el Patrón Metacontrol Funcional, que estructura el meta-controlador en dos bucles, uno para el control de la configuración de los componentes del sistema de control, y otro sobre éste, controlando las funciones que realiza dicha configuración de componentes; de esta manera las consideraciones funcionales y estructurales se desacoplan. La Arquitectura OM y el metamodelo TOMASys son las piezas centrales del marco arquitectónico desarrollado para materializar la solución compuesta de los patrones anteriores. El metamodelo TOMASys ha sido desarrollado para la representación de la estructura y su relación con los requisitos funcionales de cualquier sistema autónomo. La Arquitectura OM es un patrón de referencia para la construcción de una metacontrolador integrando los patrones de diseño propuestos. Este meta-controlador se puede integrar en la arquitectura de cualquier sistema control basado en componentes. El elemento clave de su funcionamiento es un modelo TOMASys del sistema decontrol, que el meta-controlador usa para monitorizarlo y calcular las acciones de reconfiguración necesarias para adaptarlo a las circunstancias en cada momento. Un proceso de ingeniería, complementado con otros recursos, ha sido elaborado para guiar la aplicación del marco arquitectónico OM. Dicho Proceso de Ingeniería OM define la metodología a seguir para construir el subsistema de metacontrol para un sistema autónomo a partir del modelo funcional del mismo. La librería OMJava proporciona una implementación del meta-controlador OM que se puede integrar en el control de cualquier sistema autónomo, independientemente del dominio de la aplicación o de su tecnología de implementación. Para concluir, la solución completa ha sido validada con el desarrollo de un robot móvil autónomo que incorpora un meta-controlador con la Arquitectura OM. Las propiedades de auto-consciencia y adaptación proporcionadas por el meta-controlador han sido validadas en diferentes escenarios de operación del robot, en los que el sistema era capaz de sobreponerse a fallos en el sistema de control mediante reconfiguraciones orquestadas por el metacontrolador. ABSTRACT Technical systems are becoming more complex, they incorporate more advanced functionalities, they are more integrated with other systems and they are deployed in less controlled environments. All this supposes a more demanding and uncertain scenario for control systems, which are also required to be more autonomous and dependable. Autonomous adaptivity is a current challenge for extant control technologies. The ASys research project proposes to address it by moving the responsibility for adaptivity from the engineers at design time to the system at run-time. This thesis has intended to advance in the formulation and technical reification of ASys principles of model-based self-cognition and having systems self-handle at runtime for robust autonomy. For that it has focused on the biologically inspired capability of self-awareness, and explored the possibilities to embed it into the very architecture of control systems. Besides self-awareness, other themes related to the envisioned solution have been explored: functional modeling, software modeling, patterns technology, components technology, fault tolerance. The state of the art in fields relevant for the issues of self-awareness and adaptivity has been analysed: cognitive architectures, fault-tolerant control, and software architectural reflection and autonomic computing. The extant and evolving ASys Theoretical Framework for cognitive autonomous systems has been adapted to provide a basement for this selfhood-centred analysis and to conceptually support the subsequent development of our solution. The thesis proposes a general design solution for building self-aware autonomous systems. Its central idea is the integration of a metacontroller in the control architecture of the autonomous system, capable of perceiving the functional state of the control system and reconfiguring it if necessary at run-time. This metacontrol solution has been formalised into four design patterns: i) the Metacontrol Pattern, which defines the integration of a metacontrol subsystem, controlling the domain control system through an interface provided by its implementation component platform, ii) the Epistemic Control Loop pattern, which defines a modelbased cognitive control loop that can be applied to the design of such a metacontroller, iii) the Deep Model Reflection pattern proposes a solution to produce the online executable model used by the metacontroller by model-to-model transformation from the engineering model, and, finally, iv) the Functional Metacontrol pattern, which proposes to structure the metacontroller in two loops, one for controlling the configuration of components of the controller, and another one on top of the former, controlling the functions being realised by that configuration; this way the functional and structural concerns become decoupled. The OM Architecture and the TOMASys metamodel are the core pieces of the architectural framework developed to reify this patterned solution. The TOMASys metamodel has been developed for representing the structure and its relation to the functional requirements of any autonomous system. The OM architecture is a blueprint for building a metacontroller according to the patterns. This metacontroller can be integrated on top of any component-based control architecture. At the core of its operation lies a TOMASys model of the control system. An engineering process and accompanying assets have been constructed to complete and exploit the architectural framework. The OM Engineering Process defines the process to follow to develop the metacontrol subsystem from the functional model of the controller of the autonomous system. The OMJava library provides a domain and application-independent implementation of an OM Metacontroller than can be used in the implementation phase of OMEP. Finally, the complete solution has been validated in the development of an autonomous mobile robot that incorporates an OM metacontroller. The functional selfawareness and adaptivity properties achieved thanks to the metacontrol system have been validated in different scenarios. In these scenarios the robot was able to overcome failures in the control system thanks to reconfigurations performed by the metacontroller.
Resumo:
O recente desenvolvimento de uma teoria crítica dos sistemas, de Gunther Teubner a Andreas Fischer-Lescano, abriu novos horizontes teóricos para aqueles que se propõe a estudar a sociedade e o sistema jurídico. A construção de uma teoria crítica sob condições sistêmicas possibilitou o uso conjunto de temas e conceitos teóricos provenientes da teoria crítica da primeira geração da Escola de Frankfurt (crítica imanente, antagonismos sociais, reificação, dialética do esclarecimento) e da teoria dos sistemas (paradoxo, sistema, sociedade mundial). Partindo disso, o sistema jurídico foi analisado nas dimensões da justiça (como fórmula contingente e transcendente) e de sua crítica imanente como atitude transcendente, especialmente em face de sua tendência em se autorreproduzir como ordem social reificada que gera injustiça pelos excessos de justiça. Para alcançar essas conclusões, este trabalho se propôs a analisar o cenário da sociedade moderna no qual nasce a teoria crítica dos sistemas (Parte 1), lançando bases para os aspectos estruturais e semânticos sobre os quais ela se apoia. Seguidamente, foram estabelecidos os pressupostos teóricos básicos da teoria crítica da Escola de Frankfurt e da teoria dos sistemas de Luhmann (Parte 2) com o fim específico de colher os elementos essenciais à construção de uma teoria crítica dos sistemas voltada para o estudo do sistema jurídico. Logrado esse ponto, focou-se a análise do sistema jurídico e de sua evolução até alcançar sua atual condição na forma de um direito global na sociedade fragmentada (Parte 3). A partir disso a justiça autossubversiva e a crítica imanente do direito foram abordadas em seus aspectos essenciais e possibilitadores de uma autotranscendência sistêmica, capaz de tornar o direito mais responsivo com relação ao seu ambiente, limitando a irracionalidade racional inerente a uma ordem social reificada. A presente dissertação propõe dar mais um passo no sentido do desenvolvimento de uma teoria crítica dos sistemas aplicada ao direito, diagnosticando os dilemas contemporâneos e ao mesmo tempo, apontando os desafios existentes numa sociedade mundial paradoxalmente marcada pela possibilidade de hipertrofia sistêmica das ordens sociais reificadas e pelos processos de constitucionalização que buscam limitar essas ordens.
Resumo:
O objetivo central desta pesquisa é avaliar os valores e possibilidades da aliança pregada no Deuteronômio. Para tanto, procuro captar a necessária tensão de qualquer tipo de aliança. Faço esse exercício, primeiramente, no próprio campo da hermenêutica. Sugiro uma leitura subalterna que agregue diferentes lutas no interior das interpretações libertárias (feminista, queer e pós-colonial). Nesse ínterim, forjo o trabalho do exegeta orgânico , a saber, aquele intérprete que articula vozes dissidentes para fazer frente às estruturas sistêmicas de subordinação. Após essa proposição teórica, avalio o Deuteronômio enquanto discursos concatenados em forma de arquivo. A principal sugestão é de que os textos deuteronômicos foram coletados ou produzidos em prol de um ideal de berit aliança . Esse ideal origina-se do material agora disposto em 4,44-26+28: um contrato comunitário atávico com Yhvh. Esse resultado é possibilitado pela crítica retórica ao texto e seus interesses propagandísticos desde o nascedouro arquivístico. Após uma comparação honesta com os tratados do Antigo Oriente Próximo, não se pode mais negar a pedagogia da obediência intrínseca ao contrato. A isso chamo, muitas vezes, de colusão do povo santo . A crítica retórica, entretanto, não encaminha apenas uma reificação desse ideal de berit, ao apontar, antes, para o debate interno da comunidade. Um contrato retórico, afinal, guarda em si, memórias silenciadas para que a propaganda se efetive. Nesse momento é que busco colisões de memórias, em especial, dentro das perícopes proibitivas do contrato. Todo o lixo deuteronômico, por assim dizer, está assinalado por duas fórmulas básicas: ki to abat yhvh eis uma abominação para Yhvh e ubi arta ha-ra mi-qirbeka exterminarás o per/vertido do teu meio . Dedico-me aos textos marcados por essas fórmulas, ao fomentar uma episódica unificação de abomináveis e per/vertidos . Avalio a luta particular de cada um/a, para então, propor uma agenda subalterna que promova a justiça social por reconhecimento e redistribuição. A aliança abominável e per/vertida intra-Deuteronômio apresenta uma proposta radicalmente democrática (i) em favor de uma cultura aberta ao Outro e (ii) contra estruturas autoritárias piramidais. Assinalo, portanto, que com essa dupla tática, os valores imperiais de hierarquização e subtração da irmandade deuteronômica são retoricamente postos em debate na comunidade.
Resumo:
The CIDOC CRM provides an extensive ontology for describing entities and properties appearing in cultural heritage (CH) documentation, history and archeology. CRM provides some means for describing information about properties (property types, attribute assignment, and "long-cuts") and guidelines for extending the vocabulary. However, these means are far from complete, and in some cases there is little guidance how to "implement" them in RDF. In this article we outline the problems, relate them to established RDF patterns and mechanisms, and describe several implementation alternatives.
Resumo:
From 2000 to 2010, America’s music industry’s annual revenue went from $4 billion to $2 billion. Much of this is attributed to the internet’s ability to provide consumers with easy access to free music, and hip hop has been especially impacted by this trend. Utilizing document analysis and personal interviews, this study found that the success of independent artists has influenced the business strategies of major record companies. In response to a dramatic decrease in record sales, major labels have made more of an effort to sign their artists to 360 deals, which allow the labels to profit from every aspect of an artist’s brand or identity. While some independent artists are the main beneficiary of the profits generated from their music and personal brand, they also reify the commodity-form capitalist system by attempting to turn their music and brand into a fetishized commodity and by turning their audience into a fetishized commodity.