Paving the way for methane hydrate formation on metal–organic frameworks (MOFs)

The presence of a highly tunable porous structure and surface chemistry makes metal–organic framework (MOF) materials excellent candidates for artificial methane hydrate formation under mild temperature and pressure conditions (2 °C and 3–5 MPa). Experimental results using MOFs with a different pore structure and chemical nature (MIL-100 (Fe) and ZIF-8) clearly show that the water–framework interactions play a crucial role in defining the extent and nature of the gas hydrates formed. Whereas the hydrophobic MOF promotes methane hydrate formation with a high yield, the hydrophilic one does not. The formation of these methane hydrates on MOFs has been identified for the first time using inelastic neutron scattering (INS) and synchrotron X-ray powder diffraction (SXRPD). The results described in this work pave the way towards the design of new MOF structures able to promote artificial methane hydrate formation upon request (confined or non-confined) and under milder conditions than in nature.

Privacy and surveillance in the digital age: a comparative study of the Brazilian and German legal frameworks

This briefing is an input to the discussions that will take place in the session “Privacy under mass surveillance: a multi-stakeholder international challenge” to be held on November 9th in João Pessoa, Brazil, during the “Day Zero” of the Internet Governance Forum. This document is one of the outputs of the first phase of the project “Privacy in the digital age: fostering the implementation of the bilateral German-Brazilian strategy in response to massive data collection”, jointly developed by the Center for Technology and Society of the Rio de Janeiro Law School of the Getulio Vargas Foundation and the German Institute for International and Security Affairs (SWP), with the support of FGV. The project Privacy in the Digital Age seeks to identify legal, political, technical, and economic incentives for the implementation of resolution 168/67 on Privacy in the Digital Age, proposed by Germany and Brazil, and approved by the United Nations General Assembly and to identify other potential areas of collaboration between Germany and Brazil in the field of Internet Governance.

Workshop on Frameworks for Developing a Safety Goal /

"BNL-NUREG-51419."

Statically indeterminate frameworks.

Mode of access: Internet.

Columns as part of frameworks, report no. 4. Analysis and design of columns in frames subject to translation.

Mode of access: Internet.

Optimization and Machine Learning Frameworks for Complex Network Analysis

Thesis (Ph.D.)--University of Washington, 2016-06

Case-Based Reasoning Tools from Shells to Object-Oriented Frameworks

A Case-Based Reasoning (CBR) tool is software that can be used to develop several applications that require cased-based reasoning methodology. CBR shells are kind of application generators with graphical user interface. They can be used by non-programmer users but the extension or integration of new components in these tools is not possible. In this paper we analyzed three CBR object-oriented framework development environments CBR*Tools, CAT-CBR, and JColibri. These frameworks work as open software development environment and facilitate the reuse of their design as well as implementations.

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

Uma abordagem para avaliação e tratamento de exceções propagadas no uso de serviços Web em .Net

High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.

Data to Decision in a Dynamic Ocean: Robust Species Distribution Models and Spatial Decision Frameworks

Human use of the oceans is increasingly in conflict with conservation of endangered species. Methods for managing the spatial and temporal placement of industries such as military, fishing, transportation and offshore energy, have historically been post hoc; i.e. the time and place of human activity is often already determined before assessment of environmental impacts. In this dissertation, I build robust species distribution models in two case study areas, US Atlantic (Best et al. 2012) and British Columbia (Best et al. 2015), predicting presence and abundance respectively, from scientific surveys. These models are then applied to novel decision frameworks for preemptively suggesting optimal placement of human activities in space and time to minimize ecological impacts: siting for offshore wind energy development, and routing ships to minimize risk of striking whales. Both decision frameworks relate the tradeoff between conservation risk and industry profit with synchronized variable and map views as online spatial decision support systems.

For siting offshore wind energy development (OWED) in the U.S. Atlantic (chapter 4), bird density maps are combined across species with weights of OWED sensitivity to collision and displacement and 10 km2 sites are compared against OWED profitability based on average annual wind speed at 90m hub heights and distance to transmission grid. A spatial decision support system enables toggling between the map and tradeoff plot views by site. A selected site can be inspected for sensitivity to a cetaceans throughout the year, so as to capture months of the year which minimize episodic impacts of pre-operational activities such as seismic airgun surveying and pile driving.

Routing ships to avoid whale strikes (chapter 5) can be similarly viewed as a tradeoff, but is a different problem spatially. A cumulative cost surface is generated from density surface maps and conservation status of cetaceans, before applying as a resistance surface to calculate least-cost routes between start and end locations, i.e. ports and entrance locations to study areas. Varying a multiplier to the cost surface enables calculation of multiple routes with different costs to conservation of cetaceans versus cost to transportation industry, measured as distance. Similar to the siting chapter, a spatial decisions support system enables toggling between the map and tradeoff plot view of proposed routes. The user can also input arbitrary start and end locations to calculate the tradeoff on the fly.

Essential to the input of these decision frameworks are distributions of the species. The two preceding chapters comprise species distribution models from two case study areas, U.S. Atlantic (chapter 2) and British Columbia (chapter 3), predicting presence and density, respectively. Although density is preferred to estimate potential biological removal, per Marine Mammal Protection Act requirements in the U.S., all the necessary parameters, especially distance and angle of observation, are less readily available across publicly mined datasets.

In the case of predicting cetacean presence in the U.S. Atlantic (chapter 2), I extracted datasets from the online OBIS-SEAMAP geo-database, and integrated scientific surveys conducted by ship (n=36) and aircraft (n=16), weighting a Generalized Additive Model by minutes surveyed within space-time grid cells to harmonize effort between the two survey platforms. For each of 16 cetacean species guilds, I predicted the probability of occurrence from static environmental variables (water depth, distance to shore, distance to continental shelf break) and time-varying conditions (monthly sea-surface temperature). To generate maps of presence vs. absence, Receiver Operator Characteristic (ROC) curves were used to define the optimal threshold that minimizes false positive and false negative error rates. I integrated model outputs, including tables (species in guilds, input surveys) and plots (fit of environmental variables, ROC curve), into an online spatial decision support system, allowing for easy navigation of models by taxon, region, season, and data provider.

For predicting cetacean density within the inner waters of British Columbia (chapter 3), I calculated density from systematic, line-transect marine mammal surveys over multiple years and seasons (summer 2004, 2005, 2008, and spring/autumn 2007) conducted by Raincoast Conservation Foundation. Abundance estimates were calculated using two different methods: Conventional Distance Sampling (CDS) and Density Surface Modelling (DSM). CDS generates a single density estimate for each stratum, whereas DSM explicitly models spatial variation and offers potential for greater precision by incorporating environmental predictors. Although DSM yields a more relevant product for the purposes of marine spatial planning, CDS has proven to be useful in cases where there are fewer observations available for seasonal and inter-annual comparison, particularly for the scarcely observed elephant seal. Abundance estimates are provided on a stratum-specific basis. Steller sea lions and harbour seals are further differentiated by ‘hauled out’ and ‘in water’. This analysis updates previous estimates (Williams & Thomas 2007) by including additional years of effort, providing greater spatial precision with the DSM method over CDS, novel reporting for spring and autumn seasons (rather than summer alone), and providing new abundance estimates for Steller sea lion and northern elephant seal. In addition to providing a baseline of marine mammal abundance and distribution, against which future changes can be compared, this information offers the opportunity to assess the risks posed to marine mammals by existing and emerging threats, such as fisheries bycatch, ship strikes, and increased oil spill and ocean noise issues associated with increases of container ship and oil tanker traffic in British Columbia’s continental shelf waters.

Starting with marine animal observations at specific coordinates and times, I combine these data with environmental data, often satellite derived, to produce seascape predictions generalizable in space and time. These habitat-based models enable prediction of encounter rates and, in the case of density surface models, abundance that can then be applied to management scenarios. Specific human activities, OWED and shipping, are then compared within a tradeoff decision support framework, enabling interchangeable map and tradeoff plot views. These products make complex processes transparent for gaming conservation, industry and stakeholders towards optimal marine spatial management, fundamental to the tenets of marine spatial planning, ecosystem-based management and dynamic ocean management.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.

Synthesis and structural stability of metal-organic frameworks

Metal-organic frameworks (MOFs) have attracted significant attention during the past decade due to their high porosity, tunable structures, and controllable surface functionalities. Therefore many applications have been proposed for MOFs. All of them however are still in their infancy stage and have not yet been brought into the market place. In this thesis, the background of the MOF area is first briefly introduced. The main components and the motifs of designing MOFs are summarized, followed by their synthesis and postsynthetic modification methods. Several promising application areas of MOFs including gas storage and separation, catalysis and sensing are reviewed. The current status of commercialization of MOFs as new chemical products is also summarized. Examples of the design and synthesis of two new MOF structures Eu(4,4′,4′′,4′′′-(porphine-5,10,15,20-tetrayl)tetrakis(benzoic acid))·2H2O∙xDMF and Zn4O(azobenzene-4,4’-dicarboxylic acid)3∙xNMP are described. The first one contains free-base porphyrin centers and the second one has azobenzene components. Although the structures were synthesized as designed, unfortunately they did not possess the expected properties. The research idea to use MOFs as template materials to synthesize porous polymers is introduced. Several methods are discussed to grow PMMA into IRMOF-1 (Zn4O(benzene-1,4-dicarboxylate)3, IR stands for isoreticular) structure. High concentration of the monomers resulted in PMMA shell after MOF digestion while with low concentration of monomers no PMMA was left after digestion due to the small iii molecular weight. During the study of this chapter, Kitagawa and co-workers published several papers on the same topic, so this part of the research was terminated thereafter. Many MOFs are reported to be unstable in air due to the water molecules in air which greatly limited their applications. By incorporating a number of water repelling functional groups such as trifluoromethoxy group and methyl groups in the frameworks, the water stability of MOFs are shown to be significantly enhanced. Several MOFs inculding Banasorb-22 (Zn4O(2-trifluoromethoxybenzene-1,4-dicarboxylate)3), Banasorb-24 (Zn4O(2, 5-dimethylbenzene-1,4-dicarboxylate)3) and Banasorb-30 (Zn4O(2-methylbenzene-1,4-dicarboxylate)3) were synthesized and proved to have isostructures with IRMOF-1. Banasorb-22 was stable in boiling water steam for one week and Banasorb-30’s shelf life was over 10 months under ambient condition. For comparison, IRMOF-1’s structure collapses in air after a few hours to several days. Although MOF is a very popular research area nowadays, only a few studies have been reported on the mechanical properties of MOFs. Many of MOF’s applications involve high pressure conditions, so it is important to understand the behavior of MOFs under elivated pressures. The mechanical properties of IRMOF-1 and a new MOF structure Eu2(C12N2O4H6)3(DEF)0.87(H2O)2.13 were studied using diamond anvil cells at Advanced Photon Source. IRMOF-1 experienced an irriversible phase transtion to a nonporous phase followed by amorphization under high pressure. Eu2(C12N2O4H6)3(DEF)0.87(H2O)2.13 showed reversible compression under pressure up to 9.08GPa.

Host-guest chemistry of solid coordination frameworks (SCFs) based on Copper(II)-Pyridine Ligands

283 p.

Integração entre frameworks de suporte à gestão e governação das tecnologias de informação : modelação da Norma ISO 9001

A ISO 9001 e Arquiteturas Empresariais (AE), diferentes ferramentas de Governação com diferentes perspetivas, são dominantes entre os seus praticantes. Uma representação de uma ISO 9001 em ArchiMate pode potenciar ainda mais alinhamentos com outras frameworks representadas por AE e pode ajudar na obtenção de melhores resultados na implementação da Qualidade numa organização, obviando os custos e a duplicação de esforços. Esta tese propõe uma abordagem de integração entre a ISO 9001 e AE na perspetiva das AE ao propor um mapeamento de conceitos de ISO 9001 em EA pela definição de uma Arquitetura de Referência da ISO 9001 utilizando a linguagem de modelação do ArchiMate Dois objetivos são endereçados: a demonstração da capacidade de representar todos os requisitos da ISO 9001 em componentes de AE através do desenvolvimento da Arquitetura de Referência e reciprocamente a capacidade de desenvolver uma AE de um Sistema de Gestão da Qualidade (SGQ) teórico baseado na ISO 9001 com as componentes dessa Arquitetura de Referência. Adicionalmente, ao identificar e avaliar a existência das componentes da Arquitetura de Referência numa organização concreta, se estes não estão completamente mapeados, pode-se concluir a existência de um desvio relativamente ao referencial ISO 9001. Por ultimo, uma Arquitetura de Referência ArchiMate da ISO 9001 permite a partilha de conhecimento, a comunicação entre partes interessadas e contribui para a discussão e validação da ISO 9001 entre os utilizadores de Arquiteturas Empresariais.