Liderança transformacional/transacional: que impacto no cinismo organizacional?

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Gestão Estratégica das Relações Públicas.

AVR-pohjainen mobiilirobotti

Kandidaatintyön aineena oli rakentaa autonomisesti pyörillä liikkuva, esteitä väistelevä mobiilirobotti käyttäen Arduino-kehitysympäristöä prototyypin valmistamiseen. Rakensin robotin alusta alkaen itse eli työhön sisältyi robotin mekaniikan kokoaminen, elektroniikan suunnittelu ja rakentaminen sekä toimintaälyn ohjelmointi mikroprosessorille eteenpäin kulkemiseen ja esteiden väistämiseen. Arduinon ytimenä on Atmelin AVR-sarjaan kuuluva ATMega328-mikroprosessori. Robotin ympäristön havainnointi tapahtuu käyttämällä ultraäänisensoria. Robotti oli mielenkiintoinen projekti toteuttaa ja toimi kokonaisuutena katsottuna odotetulla tavalla.

Euroopan keskuspankin ohjauskorkopäätösten vaikutus OMX Helsinki 25 indeksin muutoksiin

Tutkielmassa tarkastellaan Euroopan keskuspankin operoiman ohjauskoron toimintalogiikkaa, sekä miten ohjauskorkomuutokset ovat vaikuttaneet OMX Helsinki 25 indeksin tuottoihin vuosien 2004 ja 2014 välillä.

O aborto provocado como uma possibilidade na existência da mulher: reflexões fenomenológico-existenciais

Abortion is a very controversial and stigmatized subject, target of many criticism and discussions, mainly regarding to the legal, bioethical and religious aspects involved. In Brazil, abortion is considered a serious public health problem, being the major cause of maternal death due to its criminalization. The woman who causes an abortion is not up looked by society, since motherhood, culturally and historically, was imposed as a destination. Our main goal is to understand, from the existential-phenomenological perspective, the unique experience of the woman who induced the abortion This study is an offshoot of a larger study from USP in partnership with UFRN. Our participants were women who checked in on a maternity hospital in Natal with a miscarriage diagnosis and, among them, those who reported having induced abortion. Altogether, five women were interviewed. The used method was a phenomenological hermeneutics. The research revealed that the experience of abortion is a possibility that permeates women s life, being understood as a choice. This choice pervaded by much suffering, once it goes against everything that women are culturally taught and meant to be. The feeling more surfacing in this experiment, confirming the literature review, was blame. Abortion was also shown as an experience of helplessness and loneliness, due to lack of support from family and the partner. It was also revealed that abortion was made, mainly, by the desire of going along with future projects, including the prosecute of motherhood in the therms of what they consider ideal to a son s arrival, meaning, a family formation grounded on a stable relationship. Regarding the care provided by health professionals to these women, there is the need of restructuring the operating logic of SUS, so that women have the right to health in a integrate manner. This experience also made women reconsider the meanings they had towards abortion, and their life projects

Sobre o uso da função proposicional e sua gênese segundo a epistemologia genética

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

ÉTICA NEOPENTECOSTAL E O MUNDO DO TRABALHO: AFINIDADES ELETIVAS ENTRE O NEOPENTECOSTALISMO E O TOYOTISMO NO BRASIL A PARTIR DA DÉCADA DE 1990

O fenômeno religioso neopentecostal tem crescido consideravelmente nos últimos anos no Brasil, com isso aumenta o interesse de pesquisadores em compreender a sua lógica de funcionamento. O foco desse trabalho não é o estudo isolado de um caso, mas sim a analise do contexto social que permite o florescimento dessa vertente do cristianismo. Assim, estudo a relação entre religião e o mundo do trabalho, partindo do pressuposto de que existe certa afinidade eletiva entre o neopentecostalismo e o toyotismo. O recorte do objeto de estudo está focado no Brasil, a partir dos anos de 1990. Essa escolha ocorre pelas mudanças políticas e econômicas pelas quais o país passou e passa com o neoliberalismo. O mundo do trabalho, na contemporaneidade, caracteriza-se por nova reestruturação produtiva, na transformação do fordismo ao toyotismo, considero que essa mudança é substancial para as recentes formas de trabalho. Constatei que o discurso neopentecostal está em afinidade eletiva com essas metamorfoses, dando sentidos axiológicos aos atuais aspectos do trabalho. O primeiro capítulo aborda o toyotismo no Brasil a partir da década de 1990, ressaltando a transformação do fordismo para o trabalho flexível. O capítulo dois ressalta o fenômeno neopentecostal em seu crescimento contemporâneo e define os conceitos sobre religião que nortearam a pesquisa. Por fim, o capítulo três, mostra a relação entre essas duas áreas, da forma que a ética neopentecostal está em afinidades eletivas com o toyotismo.

Quando as regras e normas não estão no papel: uma contribuição da antropologia dos sistemas informais para a elucidação do trabalho dos moto-taxistas em Uberlândia – MG

The motorcycle service, a public service consisting in transporting people and small loads by motorcycle, appeared in Brazil in the great Northeast, in the mid-1990s, but soon spread to all regions of the country. No entanto, a sua ampliação e consolidação pelo território nacional aconteceu de maneira desordenada e desacompanhada de regulamentação. Despite being present in Uberlândia - MG approximately 17 (seventeen) years, the motorcycle taxi service has not been regulated in the city yet. According to the most common theoretical perspective in Brazil, which considers all informal activities that are exempt from regulation by the government, the motorcycle taxi is considered an informal activity in Uberlândia. In this context, this research uses another approach on the informality, based on Anthropology, which takes as its object of analysis the specific meanings attributed by the workers themselves to their informal activities, to demonstrate how the motorcycle taxi service in Uberlândia - MG, although it was done on the sidelines of state regulation, it is able to create a generis operating logic, developing structures, own rules and regulations. Through ethnographic research method and research techniques such as observation and interview, it could demonstrate that Uberlandia citizens moto-taxi drivers are subject to many different stories, in spite of its social life to some small area of their institutional fragile ties , that shape institutional informality, but not the rule of formal relations, socially constructed through private and own cultural codes. The work also seeks to demonstrated that the point of view of institutional relations, much as the motorcycle taxi service is an activity held on the margins of government regulation, it creates its own logic of operation, a kind of organizational subculture, which guides the actions of bike -taxis in the activities and around the city.

Evaluation of the determinism of the actuator sensor interface (ASI) on programmable logic controllers (PLC), personal computers (PC) and real-time operating systems (RTOS)

The purpose of this study was to evaluate the determinism of the AS-lnterface network and the 3 main families of control systems, which may use it, namely PLC, PC and RTOS. During the course of this study the PROFIBUS and Ethernet field level networks were also considered in order to ensure that they would not introduce unacceptable latencies into the overall control system. This research demonstrated that an incorrectly configured Ethernet network introduces unacceptable variable duration latencies into the control system, thus care must be exercised if the determinism of a control system is not to be compromised. This study introduces a new concept of using statistics and process capability metrics in the form of CPk values, to specify how suitable a control system is for a given control task. The PLC systems, which were tested, demonstrated extremely deterministic responses, but when a large number of iterations were introduced in the user program, the mean control system latency was much too great for an AS-I network. Thus the PLC was found to be unsuitable for an AS-I network if a large, complex user program Is required. The PC systems, which were tested were non-deterministic and had latencies of variable duration. These latencies became extremely exaggerated when a graphing ActiveX was included in the control application. These PC systems also exhibited a non-normal frequency distribution of control system latencies, and as such are unsuitable for implementation with an AS-I network. The RTOS system, which was tested, overcame the problems identified with the PLC systems and produced an extremely deterministic response, even when a large number of iterations were introduced in the user program. The RTOS system, which was tested, is capable of providing a suitable deterministic control system response, even when an extremely large, complex user program is required.

Distributed fuzzy logic for building management systems using local operating networks

This paper describes the development of an experimental distributed fuzzy control system for heating and ventilation (HVAC) systems within a building. Each local control loop is affected by a number of local variables, as well as information from neighboring controllers. By including this additional information it is hoped that a more equal allocation of resources can be achieved.

The University of Illinois attached machine operating system: design criteria and program logic,

"Supported in part by National Science Foundation under Grant No. NSF-GP-7634."

Elaboració d'indicadors sobre SAGE Logic Class

El treball desenvolupat ha consistit en analitzar el sistema d'informació Logic Class sota la perspectiva de la necessitat de construir un sistema d'indicadors (quadre de comandament operatiu) que integri informació de les diferents fonts de dades.

Asymptotically Zero Energy Computing Using Split-Level Charge Recovery Logic

The dynamic power requirement of CMOS circuits is rapidly becoming a major concern in the design of personal information systems and large computers. In this work we present a number of new CMOS logic families, Charge Recovery Logic (CRL) as well as the much improved Split-Level Charge Recovery Logic (SCRL), within which the transfer of charge between the nodes occurs quasistatically. Operating quasistatically, these logic families have an energy dissipation that drops linearly with operating frequency, i.e., their power consumption drops quadratically with operating frequency as opposed to the linear drop of conventional CMOS. The circuit techniques in these new families rely on constructing an explicitly reversible pipelined logic gate, where the information necessary to recover the energy used to compute a value is provided by computing its logical inverse. Information necessary to uncompute the inverse is available from the subsequent inverse logic stage. We demonstrate the low energy operation of SCRL by presenting the results from the testing of the first fully quasistatic 8 x 8 multiplier chip (SCRL-1) employing SCRL circuit techniques.

Autonomous intelligent cruise control using a novel multiple-controller framework incorporating fuzzy-logic-based switching and tuning

This paper presents a novel intelligent multiple-controller framework incorporating a fuzzy-logic-based switching and tuning supervisor along with a generalised learning model (GLM) for an autonomous cruise control application. The proposed methodology combines the benefits of a conventional proportional-integral-derivative (PID) controller, and a PID structure-based (simultaneous) zero and pole placement controller. The switching decision between the two nonlinear fixed structure controllers is made on the basis of the required performance measure using a fuzzy-logic-based supervisor, operating at the highest level of the system. The supervisor is also employed to adaptively tune the parameters of the multiple controllers in order to achieve the desired closed-loop system performance. The intelligent multiple-controller framework is applied to the autonomous cruise control problem in order to maintain a desired vehicle speed by controlling the throttle plate angle in an electronic throttle control (ETC) system. Sample simulation results using a validated nonlinear vehicle model are used to demonstrate the effectiveness of the multiple-controller with respect to adaptively tracking the desired vehicle speed changes and achieving the desired speed of response, whilst penalising excessive control action. Crown Copyright (C) 2008 Published by Elsevier B.V. All rights reserved.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems

The development of High-Integrity Real-Time Systems has a high footprint in terms of human, material and schedule costs. Factoring functional, reusable logic in the application favors incremental development and contains costs. Yet, achieving incrementality in the timing behavior is a much harder problem. Complex features at all levels of the execution stack, aimed to boost average-case performance, exhibit timing behavior highly dependent on execution history, which wrecks time composability and incrementaility with it. Our goal here is to restitute time composability to the execution stack, working bottom up across it. We first characterize time composability without making assumptions on the system architecture or the software deployment to it. Later, we focus on the role played by the real-time operating system in our pursuit. Initially we consider single-core processors and, becoming less permissive on the admissible hardware features, we devise solutions that restore a convincing degree of time composability. To show what can be done for real, we developed TiCOS, an ARINC-compliant kernel, and re-designed ORK+, a kernel for Ada Ravenscar runtimes. In that work, we added support for limited-preemption to ORK+, an absolute premiere in the landscape of real-word kernels. Our implementation allows resource sharing to co-exist with limited-preemptive scheduling, which extends state of the art. We then turn our attention to multicore architectures, first considering partitioned systems, for which we achieve results close to those obtained for single-core processors. Subsequently, we shy away from the over-provision of those systems and consider less restrictive uses of homogeneous multiprocessors, where the scheduling algorithm is key to high schedulable utilization. To that end we single out RUN, a promising baseline, and extend it to SPRINT, which supports sporadic task sets, hence matches real-world industrial needs better. To corroborate our results we present findings from real-world case studies from avionic industry.