Extracting Causal Graphs from an Open Provenance Data Model

The open provenance architecture (OPA) approach to the challenge was distinct in several regards. In particular, it is based on an open, well-defined data model and architecture, allowing different components of the challenge workflow to independently record documentation, and for the workflow to be executed in any environment. Another noticeable feature is that we distinguish between the data recorded about what has occurred, emphprocess documentation, and the emphprovenance of a data item, which is all that caused the data item to be as it is and is obtained as the result of a query over process documentation. This distinction allows us to tailor the system to separately best address the requirements of recording and querying documentation. Other notable features include the explicit recording of causal relationships between both events and data items, an interaction-based world model, intensional definition of data items in queries rather than relying on explicit naming mechanisms, and emphstyling of documentation to support non-functional application requirements such as reducing storage costs or ensuring privacy of data. In this paper we describe how each of these features aid us in answering the challenge provenance queries.

The First Provenance Challenge

The first Provenance Challenge was set up in order to provide a forum for the community to understand the capabilities of different provenance systems and the expressiveness of their provenance representations. To this end, a Functional Magnetic Resonance Imaging workflow was defined, which participants had to either simulate or run in order to produce some provenance representation, from which a set of identified queries had to be implemented and executed. Sixteen teams responded to the challenge, and submitted their inputs. In this paper, we present the challenge workflow and queries, and summarise the participants contributions.

Recycling workflows and services through discovery and reuse

Scientific workflows are becoming a valuable tool for scientists to capture and automate e-Science procedures. Their success brings the opportunity to publish, share, reuse and repurpose this explicitly captured knowledge. Within the myGrid project, we have identified key resources that can be shared including complete workflows, fragments of workflows and constituent services. We have examined the alternative ways these can be described by their authors (and subsequent users), and developed a unified descriptive model to support their later discovery. By basing this model on existing standards, we have been able to extend existing Web Service and Semantic Web Service infrastructure whilst still supporting the specific needs of the e-Scientist. myGrid components enable a workflow life-cycle that extends beyond execution, to include discovery of previous relevant designs, reuse of those designs, and subsequent publication. Experience with example groups of scientists indicates that this cycle is valuable. The growing number of workflows and services mean more work is needed to support the user in effective ranking of search results, and to support the repurposing process.

Examining the viability of windows impact/update method for delay analysis in construction disputes

Nowadays, construction delay disputes often end up on the arbitration route where the delay experts appointed by the parties advise the tribunal on the extension of times entitlements of the parties. For this purpose, the identification and quantification of concurrent and pacing delays are integral aspects of resolving these disputes using a proper delay analysis methodology. The aim of the study is therefore, threefold. Firstly, the available literature on the concurrent and pacing delays are analyzed in detail to establish the principles for the evaluation of the concurrency and pacing delays. Secondly, a robust delay analysis methodology called ‘windows impact/update method’ is explained often used by the experts for the effective quantification of concurrent and pacing delays. This methodology is an improved version of time impact analysis and normal windows analysis. For better demonstration, the explanation of the methodology is facilitated with the help of a typical case study analysis. Finally, the principles of concurrency and pacing, as explained in the literature review, are promptly applied to the case study results to show the applicability of the analysis method on any types of delay disputes. The study shows the effectiveness of the windows impact/update method for the quantification of the concurrent and pacing delays.

Competitividade Brasil: uma análise face às nações BRICs

Este estudo objetiva uma contextualização, no cenário global, do papel representado por quatro grandes países emergentes: Brasil, Rússia, índia China. Ainda que haja muito se discutir respeito da ligação entre estas economias quanto guarda de parceria e quanto de concorrência fato que, recentemente, elas passaram ser tratadas como participantes de um mesmo fenômeno; constituem epicentro de uma mudança que poderá alterar quadro mundial de forças em um futuro não muito distante. conceito de "competitividade das nações" norteia estudo. análise do desempenho de cada país tem por substrato definição de prosperidade como integração multifatorial em grande escala, envolvendo economia, política, sociedade, meio-ambiente, instituições públicas, performance da classe empresária, capacidade de inovação dos meios científicos cultura. trabalho revelou, especificamente com relação estrutura econômica brasileira, sérias assimetrias que limitam as possibilidades de crescimento do país. Percebe-se que os fundamentos sócio-econômicos políticos apresentam lacunas importantes, que deixam descoberto setores como qualificação profissional, gestão pública e a regulação das atividades produtivas. Não obstante, foi possível ao Brasil alcançar altos níveis de desenvolvimento em várias áreas, partir da atuação de agentes privados que conseguem fazer frente um ambiente de negócios temerário. Neste ponto formaliza-se uma dicotomia entre papel tíbio ou ineficaz dos entes públicos, que não conseguem qualificar gestão institucional, uma notável capacidade empresarial para desenvolver processos sofisticados inovadores gerar resultados positivos. Faz-se urgente reparo desse desequilíbrio, com vistas participação eqüitativa de todos os setores da sociedade no desenvolvimento do potencial competitivo do país.

Using Neo4J geospatial data storage and integration

Online geographic-databases have been growing increasingly as they have become a crucial source of information for both social networks and safety-critical systems. Since the quality of such applications is largely related to the richness and completeness of their data, it becomes imperative to develop adaptable and persistent storage systems, able to make use of several sources of information as well as enabling the fastest possible response from them. This work will create a shared and extensible geographic model, able to retrieve and store information from the major spatial sources available. A geographic-based system also has very high requirements in terms of scalability, computational power and domain complexity, causing several difficulties for a traditional relational database as the number of results increases. NoSQL systems provide valuable advantages for this scenario, in particular graph databases which are capable of modeling vast amounts of inter-connected data while providing a very substantial increase of performance for several spatial requests, such as finding shortestpath routes and performing relationship lookups with high concurrency. In this work, we will analyze the current state of geographic information systems and develop a unified geographic model, named GeoPlace Explorer (GE). GE is able to import and store spatial data from several online sources at a symbolic level in both a relational and a graph databases, where several stress tests were performed in order to find the advantages and disadvantages of each database paradigm.

EIT: Escalonador Inteligente de Transações

In order to guarantee database consistency, a database system should synchronize operations of concurrent transactions. The database component responsible for such synchronization is the scheduler. A scheduler synchronizes operations belonging to different transactions by means of concurrency control protocols. Concurrency control protocols may present different behaviors: in general, a scheduler behavior can be classified as aggressive or conservative. This paper presents the Intelligent Transaction Scheduler (ITS), which has the ability to synchronize the execution of concurrent transactions in an adaptive manner. This scheduler adapts its behavior (aggressive or conservative), according to the characteristics of the computing environment in which it is inserted, using an expert system based on fuzzy logic. The ITS can implement different correctness criteria, such as conventional (syntactic) serializability and semantic serializability. In order to evaluate the performance of the ITS in relation to others schedulers with exclusively aggressive or conservative behavior, it was applied in a dynamic environment, such as a Mobile Database Community (MDBC). An MDBC simulator was developed and many sets of tests were run. The experimentation results, presented herein, prove the efficiency of the ITS in synchronizing transactions in a dynamic environment

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

Variable speed refrigeration system with HPF input rectifier stage

This paper is based on the analysis and implementation of a new drive system applied to refrigeration systems, complying with the restrictions imposed by the IEC standards (Harmonic/Flicker/EMI-Electromagnetic Interference restrictions), in order to obtain high efficiency, high power factor, reduced harmonic distortion in the input current and reduced electromagnetic interference, with excellent performance in temperature control of a refrigeration prototype system (automatic control, precision and high dynamic response). The proposal is replace the single-phase motor by a three-phase motor, in the conventional refrigeration system. In this way, a proper control technique can be applied, using a closed-loop (feedback control), that will allow an accurate adjustment of the desirable temperature. The proposed refrigeration prototype uses a 0.5Hp three-phase motor and an open (Belt-Drive) Bitzer IY type compressor. The input rectifier stage's features include the reduction in the input current ripple, the reduction in the output voltage ripple, the use of low stress devices, low volume for the EMI input filter, high input power factor (PF), and low total harmonic distortion (THD) in the input current, in compliance with the IEC61000-3-2 standards. The digital controller for the output three-phase inverter stage has been developed using a conventional voltage-frequency control (scalar V/f control), and a simplified stator oriented Vector control, in order to verify the feasibility and performance of the proposed digital controls for continuous temperature control applied at the refrigerator prototype. ©2008 IEEE.

Effect of Na-chloride on the bioleaching of a chalcopyrite concentrate in shake flasks and stirred tank bioreactors

Oxidative dissolution of chalcopyrite at ambient temperatures is generally slow and subject to passivation, posing a major challenge for developing bioleaching applications for this recalcitrant mineral. Chloride is known to enhance the chemical leaching of chalcopyrite, but much of this effect has been demonstrated at elevated temperatures. This study was undertaken to test whether 100-200 mM Na-chloride enhances the chemical and bacterial leaching of chalcopyrite in shake flasks and stirred tank bioreactor conditions at mesophilic temperatures. Acidithiobacillus ferrooxidans, Acidithiobacillus thiooxidans and abiotic controls were employed for the leaching experiments. Addition of Na-chloride to the bioleaching suspension inhibited the formation of secondary phases from chalcopyrite and decreased the Fe(III) precipitation. Neither elemental S nor secondary Cu-sulfides were detected in solid residues by X-ray diffraction. Chalcopyrite leaching was enhanced when the solution contained bacteria, ferrous iron and Na-chloride under low redox potential (< 450 mV) conditions. Scanning electron micrographs and energy-dispersive analysis of X-rays revealed the presence of precipitates that were identified as brushite and jarosites in solid residues. Minor amounts of gypsum may also have been present. Electrochemical analysis of solid residues was in concurrence of the differential effects between chemical controls, chloride ions, and bacteria. Electrochemical impedance spectroscopy was used to characterize interfacial changes on chalcopyrite surface caused by different bioleaching conditions. In abiotic controls, the impedance signal stabilized after 28 days, indicating the lack of changes on mineral surface thereafter, but with more resistive behavior than chalcopyrite itself. For bioleached samples, the signal suggested some capacitive response with time owing to the formation of less conductive precipitates. At Bode-phase angle plots (middle frequency), a new time constant was observed that was associated with the formation of jarosite, possibly also with minor amount or elemental S, although this intermediate could not be verified by XRD. Real impedance vs. frequency plots indicated that the bioleaching continued to modify the chalcopyrite/solution interface even after 42 days. © 2013 The Authors.

Modelo cinético estocástico para a transcrição considerando colisões entre as moléculas de RNA polimerase

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Violência interpessoal e saúde pública: da legalidade à realidade

Pós-graduação em Odontologia Preventiva e Social - FOA