To boldly go:an occam-π mission to engineer emergence

Future systems will be too complex to design and implement explicitly. Instead, we will have to learn to engineer complex behaviours indirectly: through the discovery and application of local rules of behaviour, applied to simple process components, from which desired behaviours predictably emerge through dynamic interactions between massive numbers of instances. This paper describes a process-oriented architecture for fine-grained concurrent systems that enables experiments with such indirect engineering. Examples are presented showing the differing complex behaviours that can arise from minor (non-linear) adjustments to low-level parameters, the difficulties in suppressing the emergence of unwanted (bad) behaviour, the unexpected relationships between apparently unrelated physical phenomena (shown up by their separate emergence from the same primordial process swamp) and the ability to explore and engineer completely new physics (such as force fields) by their emergence from low-level process interactions whose mechanisms can only be imagined, but not built, at the current time

Five pillars for stakeholder analyses in sustainability transformations: The global case of phosphorus.

Phosphorus is a critical agricultural nutrient and a major pollutant in waterbodies due to inefficient use. In the form of rock phosphate it is a finite global commodity vulnerable to price shocks and sourcing challenges. Transforming toward sustainable phosphorus management involves local to global stakeholders. Conventional readings of stakeholders may not reflect system complexity leaving it difficult to see stakeholder roles in transformations. We attempt to remedy this issue with a novel stakeholder analysis method based on five qualitative pillars: stakeholder agency, system roles, power and influence, alignment to the problem, and transformational potential. We argue that our approach suits case studies of individual stakeholders, stakeholder groups, and organisations with relationships to sustainability challenges

A remote sensing approach to the quantification of local to global scale social-ecological impacts of anthropogenic landscape changes

A thesis submitted in partial fulfillment of the requirements for the degree of Doctor in Information Management, specialization in Geographic Information SystemsLanduse and Landcover (LULC) is the common aspect that influences several ecological issues, environmental degradations, changes in Land Surface Temperature (LST), hydrological changes and ecosystem function at regional to global level. Research on the drivers and progressions of LULC change has been key to developing models that can project and predict future LULC extent, level and patterns under different assumptions of socioeconomic, ecological and environmental situations. Rapid and extensive urbanization and Urban Sprawl (US), propelled by rapid population growth leads to the shrinkage of productive agricultural lands, boosting mining, decrease in surface permeability and the emergence of Urban Heat Islands (UHI), and in turn, adversely affects the provision of ecosystem services. Mining for resources extraction may lead to geological and associated environmental changes due to ground movements, collision with mining cavities, and deformation of aquifers. Geological changes may continue in a reclaimed mine area, and the deformed aquifers may entail a breakdown of substrates and an increase in ground water tables, which may cause surface area inundation. Consequently, a reclaimed mine area may experience surface area collapse, i.e., subsidence, and degradation of vegetation productivity. The greater changes in LULC, US, LST and vegetation dynamics due to increasing human population not only affects inland forest and wetland, it also directly influences coastal forest lands such as mangroves, peat swamps and riparian forest and threats to ecosystem services. Mangroves provide valuable provisioning (e.g. aquaculture, fisheries, fuel, medicine, textiles), regulation (e.g. shoreline protection, erosion control, climate regulation), supporting (nutrient cycling, nursery habitat), and cultural (recreation and tourism) ecosystem services with an important impact on human well-being. However, the mangrove forest is highly threatened due to climate changes, and human activities which ignore the ecological and economic value of these habitats, contributing to its degradation. There is an increasing number of studies about mangrove distribution, changes and re-establishment activities, denoting a growing attentiveness on the value of these coastal wetland ecosystems. Most of these studies address mangrove degradation drivers at regional or local levels. However, there has not been yet enough assessment on the drivers of mangrove degradation at global level. Thus, complexity of inland and coastal landscape degradation should be addressed using multidisciplinary methodology and conditions. Therefore, this dissertation aimed to assess the impact of LULC associated with vegetation, temperature and wetland changes. To understand the relation among three different types of landscape changes associated with anthropogenic activities: Urbanization, Geological changes and Forest degradation at local to global level, we have selected thirty-three global regions. In chapter 2, We employed the Random Forest (RF) classification on Landsat imageries from 1991, 2003, and 2016, and computed six landscape metrics to delineate the extent of urban areas within a 10km suburban buffer of Chennai city, Tamilnadu, India. The level of US was then quantified using Renyi’s entropy. A land change model was subsequently used to project land cover for 2027. A 70.35% expansion in urban areas was observed mainly towards the suburban periphery of Chennai between 1991 and 2016. The Renyi’s entropy value for year 2016 was 0.9, exhibiting a two-fold level of US when compared to 1991. The spatial metrics values indicate that the existing urban areas became denser and the suburban agricultural, forests and particularly barren lands were transformed into fragmented urban settlements. The forecasted land cover for 2027 indicates a conversion of 13,670.33 ha (16.57% of the total landscape) of existing forests and agricultural lands into urban areas with an associated increase in the entropy value to 1.7, indicating a tremendous level of US. Our study provides useful metrics for urban planning authorities to address the social-ecological consequences of US and to protect ecosystem services. In chapter 3, We studied landscape dynamics in Kirchheller Heide, Germany, which experienced extensive soil movement due to longwall mining without stowing, using Landsat imageries between 2013 and 2016. A Random Forest image classification technique was applied to analyse landuse and landcover dynamics, and the growth of wetland areas was assessed using a Spectral Mixture Analysis (SMA). We also analyzed the changes in vegetation productivity using a Normalized Difference Vegetation Index (NDVI). We observed a 19.9% growth of wetland area within four years, with 87.2% growth in the coverage of two major waterbodies in the reclaimed mine area. NDVI values indicate that the productivity of 66.5% of vegetation of the Kirchheller Heide was degraded due to changes in ground water tables and surface flooding. Our results inform environmental management and mining reclamation authorities about the subsidence spots and priority mitigation areas from land surface and vegetation degradation in Kirchheller Heide. In chapter 4, We demonstrated the advantage of fusing imageries from multiple sensors for LULC change assessments as well as for assessing surface permeability and temperature and UHI emergence in a fast-growing city, i.e. Tirunelveli, Tamilnadu, India. IRS-LISSIII and Landsat-7 ETM+ imageries were fused for 2007 and 2017, and classified using a Rotation Forest (RF) algorithm. Surface permeability and temperature were then quantified using Soil-Adjusted Vegetation Index (SAVI) and Land Surface Temperature (LST) index, respectively. Finally, we assessed the relationship between SAVI and LST for entire Tirunelveli as well as for each LULC zone, and also detected UHI emergence hot spots using a SAVI-LST combined metric. Our fused images exhibited higher classification accuracies, i.e. overall kappa coefficient values, than non-fused images. We observed an overall increase in the coverage of urban (dry, real estate plots and built-up) areas, while a decrease for vegetated (cropland and forest) areas in Tirunelveli between 2007 and 2017. The SAVI values indicated an extensive decrease in surface permeability for Tirunelveli overall and also for almost all LULC zones. The LST values showed an overall increase of surface temperature in Tirunelveli with the highest increase for urban built-up areas between 2007 and 2017. LST also exhibited a strong negative association with SAVI. South-eastern built-up areas in Tirunelveli were depicted as a potential UHI hotspot, with a caution for the Western riparian zone for UHI emergence in 2017. Our results provide important metrics for surface permeability, temperature and UHI monitoring, and inform urban and zonal planning authorities about the advantages of satellite image fusion. In chapter 5, We identified mangrove degradation drivers at regional and global levels resulted from decades of research data (from 1981 to present) of climate variations (seal-level rising, storms, precipitation, extremely high water events and temperature), and human activities (pollution, wood extraction, aquaculture, agriculture and urban expansion). This information can be useful for future research on mangroves, and to help delineating global planning strategies which consider the correct ecological and economic value of mangroves protecting them from further loss.O uso e a cobertura da Terra (UCT) são o aspeto comum que influencia várias questões ecológicas, degradações ambientais, mudanças na temperatura da superfície terrestre, mudanças hidrológicas, e de funções dos ecossistemas a nível regional e global. A investigação sobre os determinantes e progressão da mudança de UCT tem sido fundamental para o desenvolvimento de modelos que podem projetar e prever a extensão, o nível e os padrões futuros de UCT sob diferentes hipóteses de situações socioeconómicas, ecológicas e ambientais. A rápida e extensa urbanização e expansão urbana impulsionada pelo rápido crescimento populacional, levou ao encolhimento de terras agrícolas produtivas, impulsionando a mineração, a diminuição da permeabilidade da superfície e o surgimento de ilhas urbanas. Por outro lado, tem afetado negativamente a produção de serviços de ecossistemas. A mineração para extração de recursos pode levar a mudanças geológicas e ambientais devido a movimentos do solo, colisão com cavidades de mineração e deformação de aquíferos. As mudanças geológicas podem continuar numa área de mina recuperada, e os aquíferos deformados podem acarretar uma quebra de substratos e um aumento nos lençóis freáticos, causando a inundação na superfície. Consequentemente, uma área de mina recuperada pode sofrer um colapso à superfície, provocando o afundamento e a degradação da produtividade da vegetação. As mudanças na UCT, no crescimento urbano rápido, na temperatura da superfície terrestre e na dinâmica da vegetação devido ao aumento da população humana não afetam apenas a floresta interior e as zonas húmidas. Estas também influenciam diretamente as terras florestais costeiras, tais como mangais, pântanos e florestas ribeirinhas, ameaçando os serviços de ecossistemas. Os mangais proporcionam um aprovisionamento valioso (por exemplo, aquacultura, pesca, combustível, medicamentos, têxteis), a regulação (por exemplo, proteção da linha de costa, controlo da erosão, regulação do clima), os serviços de ecossistema de apoio (ciclo de nutrientes, habitats) e culturais (recreação e turismo) com um impacto importante no bem-estar humano. No entanto, a floresta de mangal é altamente ameaçada devido às mudanças climáticas e às atividades humanas que ignoram o valor ecológico e económico desses habitats, contribuindo para a sua degradação. Há um número crescente de estudos sobre distribuição, mudança e atividades de restabelecimento de mangais, denotando uma crescente atenção sobre o valor desses ecossistemas costeiros de zonas húmidas. A maioria desses estudos aborda os fatores de degradação dos mangais a nível regional ou local. No entanto, ainda não há avaliação suficiente sobre os determinantes da degradação dos mangais a nível global. Assim, a complexidade da degradação da paisagem interior e costeira deve ser abordada usando uma metodologia multidisciplinar. Portanto, esta dissertação teve, também, como objetivo avaliar o impacto do UCT associado à vegetação, temperatura e mudanças de zonas húmidas. Para compreender a relação entre a dinâmica da paisagem associada às atividades antrópicas a nível local e global, selecionámos quatro áreas de estudo, duas da Ásia, uma da Europa e outro estudo a nível global. No capítulo 2, empregamos a classificação Random Forest (RF) nas imagens Landsat de 1991, 2003 e 2016, e computamos seis métricas de paisagem para delinear a extensão das áreas urbanas numa área de influência suburbana de 10 km da cidade de Chennai, Tamil Nadu, Índia. O nível de crescimento urbano rápido foi quantificado usando a entropia de Renyi. Um modelo de UCT foi posteriormente usado para projetar a cobertura de terra para 2027. Uma expansão de 70,35% nas áreas urbanas foi observada principalmente para a periferia suburbana de Chennai entre 1991 e 2016. O valor de entropia do Renyi para 2016 foi de 0,9, exibindo uma duplicação do nível de crescimento urbano rápido quando comparado com 1991. Os valores das métricas espaciais indicam que as áreas urbanas existentes se tornaram mais densas e as terras agrícolas, florestas e terras particularmente áridas foram transformadas em assentamentos urbanos fragmentados. A previsão de cobertura da Terra para 2027 indica uma conversão de 13.670,33 ha (16,57% da paisagem total) de florestas e terras agrícolas existentes em áreas urbanas, com um aumento associado no valor de entropia para 1,7, indicando um tremendo nível de crescimento urbano rápido. O nosso estudo fornece métricas úteis para as autoridades de planeamento urbano para lidarem com as consequências socio-ecológicas do crescimento urbano rápido e para proteger os serviços de ecossistemas. No capítulo 3, estudamos a dinâmica da paisagem em Kirchheller Heide, Alemanha, que experimentou um movimento extensivo do solo devido à mineração, usando imagens Landsat entre 2013 e 2016. Uma técnica de classificação de imagem Random Forest foi aplicada para analisar dinâmicas de UCT e o crescimento das áreas de zonas húmidas foi avaliado usando uma Análise de Mistura Espectral. Também analisámos as mudanças na produtividade da vegetação usando um Índice de Vegetação por Diferença Normalizada (NDVI). Observámos um crescimento de 19,9% da área húmida em quatro anos, com um crescimento de 87,2% de dois principais corpos de água na área de mina recuperada. Valores de NDVI indicam que a produtividade de 66,5% da vegetação de Kirchheller Heide foi degradada devido a mudanças nos lençóis freáticos e inundações superficiais. Os resultados informam as autoridades de gestão ambiental e recuperação de mineração sobre os pontos de subsidência e áreas de mitigação prioritárias da degradação da superfície e da vegetação da terra em Kirchheller Heide. No capítulo 4, demonstramos a vantagem de fusionar imagens de múltiplos sensores para avaliações de mudanças de UCT, bem como para avaliar a permeabilidade, temperatura da superfície e a emergência do ilhas de calor numa cidade em rápido crescimento, Tirunelveli, Tamilnadu, Índia. As imagens IRS-LISSIII e Landsat-7 ETM + foram fusionadas para 2007 e 2017, e classificadas usando um algoritmo de Random Forest (RF). A permeabilidade de superfície e a temperatura foram então quantificadas usando-se o Índice de Vegetação Ajustada pelo Solo (SAVI) e o Índice de Temperatura da Superfície Terrestre (LST), respectivamente. Finalmente, avaliamos a relação entre SAVI e LST para Tirunelveli, bem como para cada zona de UCT, e também detetamos a emergência de pontos quentes de emergência usando uma métrica combinada de SAVI-LST. As nossas imagens fusionadas exibiram precisões de classificação mais altas, ou seja, valores globais do coeficiente kappa, do que as imagens não fusionadas. Observámos um aumento geral na cobertura de áreas urbanas (áreas de terrenos secos e construídas), e uma diminuição de áreas com vegetação (plantações e florestas) em Tirunelveli entre 2007 e 2017. Os valores de SAVI indicaram uma extensa diminuição na superfície de permeabilidade para Tirunelveli e também para quase todas as classes de UCT. Os valores de LST mostraram um aumento global da temperatura da superfície em Tirunelveli, sendo o maior aumento para as áreas urbanas entre 2007 e 2017. O LST também apresentou uma forte associação negativa com o SAVI. As áreas urbanas do Sudeste de Tirunelveli foram representadas como um potencial ponto quente, com uma chamada de atenção para a zona ribeirinha ocidental onde foi verificada a emergência de uma ilha de calor em 2017. Os nossos resultados fornecem métricas importantes sobre a permeabilidade da superfície, temperatura e monitoramento de ilhas de calor e informam as autoridades de planeamento sobre as vantagens da fusão de imagens de satélite. No capítulo 5, identificamos os fatores de degradação dos mangais a nível regional e global resultantes de décadas de dados de investigação (de 1981 até o presente) de variações climáticas (aumento do nível das águas do mar, tempestades, precipitação, eventos extremos de água e temperatura) e atividades humanas (poluição, extração de madeira, aquacultura, agricultura e expansão urbana). Estas informações podem ser úteis para investigações futuras sobre mangais e para ajudar a delinear estratégias de planeamento global que considerem o valor ecológico e económico dos mangais, protegendo-os de novas perdas

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation

Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large scale, heterogeneity of communication model (including opportunistic peer-to-peer wireless interaction), and require inherent self-adaptiveness properties to address unforeseen changes in operating conditions. In this context, it is extremely difficult (if not seemingly intractable) to engineer reusable pieces of distributed behaviour so as to make them provably correct and smoothly composable. Building on the field calculus, a computational model (and associated toolchain) capturing the notion of aggregate network-level computation, we address this problem with an engineering methodology coupling formal theory and computer simulation. On the one hand, functional properties are addressed by identifying the largest-to-date field calculus fragment generating self-stabilising behaviour, guaranteed to eventually attain a correct and stable final state despite any transient perturbation in state or topology, and including highly reusable building blocks for information spreading, aggregation, and time evolution. On the other hand, dynamical properties are addressed by simulation, empirically evaluating the different performances that can be obtained by switching between implementations of building blocks with provably equivalent functional properties. Overall, our methodology sheds light on how to identify core building blocks of collective behaviour, and how to select implementations that improve system performance while leaving overall system function and resiliency properties unchanged.Comment: To appear on ACM Transactions on Modeling and Computer Simulatio