Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Learning through Computer Model Improvisations

It has been convincingly argued that computer simulation modeling differs from traditional science. If we understand simulation modeling as a new way of doing science, the manner in which scientists learn about the world through models must also be considered differently. This article examines how researchers learn about environmental processes through computer simulation modeling. Suggesting a conceptual framework anchored in a performative philosophical approach, we examine two modeling projects undertaken by research teams in England, both aiming to inform flood risk management. One of the modeling teams operated in the research wing of a consultancy firm, the other were university scientists taking part in an interdisciplinary project experimenting with public engagement. We found that in the first context the use of standardized software was critical to the process of improvisation, the obstacles emerging in the process concerned data and were resolved through exploiting affordances for generating, organizing, and combining scientific information in new ways. In the second context, an environmental competency group, obstacles were related to the computer program and affordances emerged in the combination of experience-based knowledge with the scientists' skill enabling a reconfiguration of the mathematical structure of the model, allowing the group to learn about local flooding.

Tietojohtaminen vaatimusmäärittelyn tukena ICT-alan yrityksen toimintaympäristön muutoksessa

Työn lähtökohtana on ICT-alan yrityksen AinaCom Oy:n toimintaympäristön muutos, ja siihen toteutettava vaatimusmäärittely. Vaatimusmäärittelyn toteutukseen otetaan tueksi tietojohtaminen, jonka avulla saadaan syvyyttä perinteiseen vaatimusmäärittelyyn. Sekä vaatimusmäärittelyä että toimintaympäristön muutosta, tarkemmin ERP (Enteprise Resource Planning) toiminnanohjausjärjestelmä-projektia, tehostetaan tietojohtamisen keinoin. Työn tavoitteena on selvittää miten tietojohtaminen voidaan ottaa vaatimusmäärittelyn tueksi toimintaympäristön muutoksessa. Sekä kirjallisuuskatsauksen että AinaCom Oy:n vaatimusmäärittelyprojektin perusteella voidaan todeta, että tietojohtamisen ja tiedon spiraalin (SECI-malli) avulla voidaan edesauttaa tiedon hallitsemista mittavissa ohjelmistoprojekteissa, kuten ERP-projektissa, sekä vaatimusmäärittelyssä. Näin tietojohtamisen avulla voidaan saavuttaa hallittavampia aikatauluja, kohtuullisempia kustannuksia, sekä menestyksekkäämpiä projekteja.

Sähkön laadun tutkimus hypermarketin pysäköintihallin valaistustekniikkamuutoksessa

Talotekniikan alalla valaistusmuutoksissa LED-valaistus on nykypäivää. Valaistuksen käyttöominaisuudet ja hyödyt tekevät siitä perustellun valinnan myös suurissa kohteissa. Näistä laajemmista valaistuksen muutoksista ja niiden vaikutuksista sähkön laatuun ei ole yleisesti mittaustietoa. Tämä tutkimus perustui sähkön laadun käytännön mittauksiin valaistusmuutoksessa, jossa elohopeahöyrylampuilla toteutettu valaistus vaihdettiin LED-valaistukseen hypermarketin pysäköintihallissa. Valaistusjärjestelmän muutoksen vaikutusta sähkön laatuun tutkittiin vertailemalla mittaustuloksia vanhan ja uuden järjestelmän välillä. Tutkimuksen tarkoituksena oli osoittaa miten LED-valaistukseen siirtyminen vaikuttaa sähkön laatuun valitussa tutkimuskohteessa. Tutkimuksessa tuotettu tieto on hyödynnettävissä vastaavissa kohteissa LED-valaistukseen siirryttäessä sekä valaistuksen käyttöönoton suunnittelussa ja toteuttamisessa. Tutkimuksen tuloksia voidaan hyödyntää myös kustannusten arvioimisessa valaistavan tilan sähkönkulutuksen osalta. Tutkimus toteutettiin käyttämällä triangulaatiomenetelmää eli teemahaastattelulla, kirjallisuuskatsauksella ja käytännön mittauksilla. Näiden menetelmien tulokset tukivat tutkimukselle asetettuja hypoteeseja. Valitulla tutkimusmenetelmällä saatiin selville, että LED-valaistukseen siirtymisellä ei ollut heikentäviä vaikutuksia sähkön laatuun tutkitun kohteen valaistusjärjestelmässä. Toisaalta positiivisina vaikutuksina huomioitiin muun muassa merkittävä energian säästö, virran harmonisten häiriöiden väheneminen sekä kokonaistehokertoimen parantuminen.

Rapport au travail et dynamique de transformation du métier d'ingénieur dans le contexte algérien: le cas de l'entreprise Sonatrach

Cette recherche a pour objet l'étude de la dynamique de transformation du métier d'ingénieur dans le contexte algérien saisi à travers le rapport au travail. Elle repose sur une approche théorique s'inspirant d'une sociologie des groupes professionnels avec une démarche alliant méthodes quantitatives et qualitatives. Prenant appui sur des données recueillies à l'aide d'un questionnaire et d'entretiens approfondis menés dans Sonatrach, la plus grande entreprise d'Algérie, notre étude s'est attachée à faire ressortir les facteurs qui agissent au niveau individuel, organisationnel et sociétal sur les pratiques professionnelles pour deux générations d'ingénieurs. La première a eu pour mission de bâtir le pays à travers les grands projets de développement qui ont caractérisé la période après l'indépendance. La deuxième est arrivée sur le marché de l'emploi, à la fin des années 80, dans un contexte de crise et a payé un lourd tribut à la détérioration de la conjoncture économique. Les pratiques professionnelles se construisent tout d'abord dans le travail, mais aussi dans l'exercice des activités quotidiennes, les relations avec les autres et enfin la satisfaction à l'égard du travail. Tels ont été les points focaux de notre démarche d'explicitation du rapport au travail chez nos ingénieurs. Nous avons mis en lumière l'effet de la position hiérarchique au sein de l'organisation et des types de fonction. La satisfaction tient de la fierté d'appartenir à une entreprise prestigieuse. Chez les jeunes, elle s'exprime aussi dans les avantages matériels et une vision du métier fondée sur la maîtrise technique. Les plus âgés, encore marqués par l'idéologie nationaliste, mettent l'accent sur la participation à l'édification du pays, mais aussi sur la réalisation de soi et la fidélité à l'entreprise. Le rapport au travail s'élabore également au fil du temps dans son cheminement professionnel. Nous l'avons abordé, dans une deuxième étape, en documentant les processus d'intégration et de mobilité au sein de l'entreprise. Les trajectoires professionnelles sont régies par des politiques et des procédures de gestion qui en définissent les modalités, mais elles obéissent également à des opportunités et à des pratiques informelles qui jouent un rôle tout aussi important dans la détermination des profils de carrière. Enfin, le rapport au travail est tributaire de facteurs qui dépassent le cadre de l'entreprise. Dans une troisième étape, nous avons analysé les transformations du système éducatif et leur impact sur la certification des ingénieurs, la crise économique et ses effets en termes de chômage et de précarité et enfin la montée du discours religieux et ses manifestations chez les ingénieurs. Ces facteurs liés au contexte sociétal modifient les représentations et modèlent les attitudes et comportements au travail et à l'égard de celui-ci. Comme le montre notre recherche, le rapport au travail articule, dans une composition complexe, parcours individuels et histoires collectives vécus dans des environnements en évolution. La pratique d'un métier se trouve liée aux différents contextes de socialisation qui traversent les individus. Elle se situe, dans le cas algérien, au croisement d'une formation scientifique et technique qui montre peu de réactivité aux besoins mouvants de l'opérateur économique qu'elle est censée satisfaire, d'une entreprise bureaucratique dans son organisation et dans son fonctionnement où le contournement des règles peut s'ériger en principes de gestion et enfin d'un contexte sociétal qui oscille entre modernité et tradition. Cette dernière est réinterprétée de manière orthodoxe par les mouvements religieux en action dans la société. Ainsi, les ingénieurs investis initialement d'une mission de développement et considérés alors comme "vecteur de modernité" connaissent une détérioration de leur statut et la crise touche la profession vécue cependant différemment selon les générations.

Strained relations: a critical analysis of the mining conflict in Prestea, Ghana

This paper examines the dynamics of the ongoing conflict in Prestea, Ghana, where indigenous galamsey mining groups are operating illegally on a concession awarded to Bogoso Gold Limited (BGL), property of the Canadian-listed multinational Gold Star Resources. Despite being issued firm orders by the authorities to abandon their activities, galamsey leaders maintain that they are working areas of the concession that are of little interest to the company; they further counter that there are few alternative sources of local employment, which is why they are mining in the first place. Whilst the Ghanaian Government is in the process of setting aside plots to relocate illegal mining parties and is developing alternative livelihood projects, efforts are far from encouraging: in addition to a series of overlooked logistical problems, the areas earmarked for relocation have not yet been prospected to ascertain gold content, and the alternative income-earning activities identified are inappropriate. As has been the case throughout mineral-rich sub-Saharan Africa, the conflict in Prestea has come about largely because the national mining sector reform program, which prioritizes the expansion of predominantly foreign-controlled large-scale projects, has neglected the concerns of indigenous subsistence groups.

Emerging hybrid practices in construction design work: role of mixed media

Information technologies are used across all stages of the construction process, and are crucial in the delivery of large projects. Drawing on detailed research on a construction megaproject, we take a practice-based approach to examining the practical and theoretical tensions between existing ways of working and the introduction of new coordination tools in this paper. We analyze the new hybrid practices that emerge, using insights from actor-network theory to articulate the delegation of actions to material and digital objects within ecologies of practice. The three vignettes that we discuss highlight this delegation of actions, the “plugging” and “patching” of ecologies occurring across media and the continual iterations of working practices between different types of media. By shifting the focus from tools to these wider ecologies of practice, the approach has important managerial mplications for the stabilization of new technologies and practices and for managing technological change on large construction projects. We conclude with a discussion of new directions for research, oriented to further elaborating on the importance of the material in understanding change.

First look at changes in flood hazard in the inter-sectoral impact model intercomparison project ensemble

Climate change due to anthropogenic greenhouse gas emissions is expected to increase the frequency and intensity of precipitation events, which is likely to affect the probability of flooding into the future. In this paper we use river flow simulations from nine global hydrology and land surface models to explore uncertainties in the potential impacts of climate change on flood hazard at global scale. As an indicator of flood hazard we looked at changes in the 30-y return level of 5-d average peak flows under representative concentration pathway RCP8.5 at the end of this century. Not everywhere does climate change result in an increase in flood hazard: decreases in the magnitude and frequency of the 30-y return level of river flow occur at roughly one-third (20-45%) of the global land grid points, particularly in areas where the hydro-graph is dominated by the snowmelt flood peak in spring. In most model experiments, however, an increase in flooding frequency was found in more than half of the grid points. The current 30-y flood peak is projected to occur in more than 1 in 5 y across 5-30% of land grid points. The large-scale patterns of change are remarkably consistent among impact models and even the driving climate models, but at local scale and in individual river basins there can be disagreement even on the sign of change, indicating large modeling uncertainty which needs to be taken into account in local adaptation studies.

Diffusion of digital innovation in construction: a case study of a UK engineering firm

The UK government is mandating the use of building information modelling (BIM) in large public projects by 2016. As a result, engineering firms are faced with challenges related to embedding new technologies and associated working practices for the digital delivery of major infrastructure projects. Diffusion of innovations theory is used to investigate how digital innovations diffuse across complex firms. A contextualist approach is employed through an in-depth case study of a large, international engineering project-based firm. The analysis of the empirical data, which was collected over a four-year period of close interaction with the firm, reveals parallel paths of diffusion occurring across the firm, where both the innovation and the firm context were continually changing. The diffusion process is traced over three phases: centralization of technology management, standardization of digital working practices, and globalization of digital resources. The findings describe the diffusion of a digital innovation as multiple and partial within a complex social system during times of change and organizational uncertainty, thereby contributing to diffusion of innovations studies in construction by showing a range of activities and dynamics of a non-linear diffusion process.

On Real-Time Monitoring And Control For Efficient Management Of Drinking Water Networks: Barcelona Case Study

Drinking water utilities in urban areas are focused on finding smart solutions facing new challenges in their real-time operation because of limited water resources, intensive energy requirements, a growing population, a costly and ageing infrastructure, increasingly stringent regulations, and increased attention towards the environmental impact of water use. Such challenges force water managers to monitor and control not only water supply and distribution, but also consumer demand. This paper presents and discusses novel methodologies and procedures towards an integrated water resource management system based on advanced ICT technologies of automation and telecommunications for largely improving the efficiency of drinking water networks (DWN) in terms of water use, energy consumption, water loss minimization, and water quality guarantees. In particular, the paper addresses the first results of the European project EFFINET (FP7-ICT2011-8-318556) devoted to the monitoring and control of the DWN in Barcelona (Spain). Results are split in two levels according to different management objectives: (i) the monitoring level is concerned with all the aspects involved in the observation of the current state of a system and the detection/diagnosis of abnormal situations. It is achieved through sensors and communications technology, together with mathematical models; (ii) the control level is concerned with computing the best suitable and admissible control strategies for network actuators as to optimize a given set of operational goals related to the performance of the overall system. This level covers the network control (optimal management of water and energy) and the demand management (smart metering, efficient supply). The consideration of the Barcelona DWN as the case study will allow to prove the general applicability of the proposed integrated ICT solutions and their effectiveness in the management of DWN, with considerable savings of electricity costs and reduced water loss while ensuring the high European standards of water quality to citizens.

Contratos de aliança e formas híbridas de contratos de construção

Este trabalho analisa a sistemática de contratações inerentes à atividade de construção civil, inserida num ambiente de liberdade de contratação e levando em consideração a criação de modelos atípicos e, portanto, híbridos. Para tal, faz-se necessária uma gama de subsídios: aplicação de argumentos econômicos; capacidade de operacionalizar objetivamente as demandas oriundas de tais modalidades de contratos, que sempre visa maximizar seus resultados; necessidade de velocidade e economia de tempo nas construções. Há de se destacar que os referidos modelos de contrato são híbridos, sim, mas nem por isso ilícitos, posto que, no direito brasileiro, vigora o princípio de liberdade de contratar, desde que tais contratações estejam assentadas em princípios básicos estabelecidos por lei, quais sejam: objeto lícito, agentes capazes e atendimento à forma prescrita ou não defesa em lei. Esse ambiente de liberdade de contratação propiciou a criação de modelos atípicos e moventes de contratos de construção, que variam e se mesclam entre si sob os mais diversos aspectos, com destaque para: alocação de riscos; forma de remuneração e aplicação de penalidades, o que impacta diretamente na forma, conteúdo e valor do orçamento a ser apresentado. Desse modo, é imperioso que as rédeas desses diversos modelos de contratação estejam direcionadas pelo racional econômico, não só em grandes obras de infraestrutura, mas também em outros empreendimentos, fazendo emergir uma cultura de participação entre os contratantes, de forma a propiciar obras mais rápidas e com um menor custo, que seria de fundamental importância para o desenvolvimento do país.

Genetic diversity in Egeria densa and E. najas in Jupia Reservoir, Brazil

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

Leitura e Interpretação de Dados Prontos em um Ambiente de Modelagem e Tecnologias Digitais: o mosaico em movimento

Neste artigo, analisamos a leitura e a interpretação de dados prontos coletados por alunos para desenvolverem projetos de modelagem. Consideramos dados prontos as informações coletadas na Internet, como um gráfico ou uma fórmula, sem maiores explicações de como foram geradas. Com isso, repensamos o mosaico de pesquisas do GPIMEM, grupo de pesquisa ao qual pertencemos e que desenvolve pesquisas sobre modelagem e informática há cerca de vinte anos. Na análise, privilegiamos a apresentação oral e o relatório escrito de um grupo de alunas do Curso de Ciências Biológicas da Universidade Estadual Paulista (UNESP). Os dados prontos sugerem uma nova faceta na relação entre tecnologias digitais e modelagem: eles parecem ser tratados de maneira idêntica a dados empíricos usualmente coletados em outros trabalhos de modelagem encontrados na literatura. Assim, o mosaico de pesquisas sobre o tema ganha novas dimensões na medida em que a Internet parece modificar a própria noção do que são dados.

Morfoanatomia e ontogênese das sementes de espécies de Banisteriopsis C.B. Robinson e Diplopterys A. Juss. (Malpighiaceae)

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