7 research outputs found
XXV Congreso Argentino de Ciencias de la Computación - CACIC 2019: libro de actas
Trabajos presentados en el XXV Congreso Argentino de Ciencias de la Computación (CACIC), celebrado en la ciudad de Río Cuarto los días 14 al 18 de octubre de 2019 organizado por la Red de Universidades con Carreras en Informática (RedUNCI) y Facultad de Ciencias Exactas, Físico-Químicas y Naturales - Universidad Nacional de Río CuartoRed de Universidades con Carreras en Informátic
Recommended from our members
Development of a sustainability management system for petroleum companies
Petroleum companies contribute to the largest proportion of environmental degradation in Libya. In support, the 2014 environmental performance index ranks Libya 120th out of 178 countries which suggest the country faces serious environmental degradation, unlike the developed countries. It is necessary to critically investigate the key environmental sustainability issues faced by the Libyan petroleum companies to develop a Sustainability Management System (SMS).
The research aims to develop a SMS for the petroleum companies through critical investigations of sustainability-related impacts, issues, and barriers to the sustainability approaches, and to develop suggestions for reduction of the adverse effects.
The mixed-methods approach involved a survey-based questionnaire and field visits for interviews (semi-structured) with a number of stakeholders. An Environmental Impact Assessment study (EIA) was also conducted as a case study in one of the field visits. Furthermore, a Life Cycle Assessment (LCA) study to Libyan crude oil. The survey questionnaire was used to collect data from the workers. The interviews provide insight into the concerns, barriers, and challenges from the policy makers, environmentalists, and industrial professionals at a senior level. The use of life-cycle assessment (LCA) has further outlined the environmental impact assessment (EIA) of the petroleum industry in Libya. Data analysis was performed through triangulation of the qualitative and quantitative approaches.
The LCA results show that there are diverse environmental impacts caused by the Libyan petroleum industry, which require the implementation of an SMS to minimise these impacts. EIA results revealed high levels of environmental impacts mainly associated with air emissions such as GHGs and hazardous H2S along with oil spillages, at the upstream and downstream levels of production. Interviews and the survey confirmed that there are issues/obstacles associated with sustainability in the Libyan petroleum sector which limits the provision of quality and efficient services. The current approaches adopted by companies are neither matched with the developments in the sustainability field in other developed countries nor fit, with the managerial or governance processes. The proposed SMS, applicable in developing countries, proposes the incorporation of environmental factors to increase the scope of stakeholders’ participation in the process, as well as the environmental performance of petroleum companies
On the chemistry of typestate-oriented actors
Typestate-oriented programming is an extension of the OO paradigm in which
objects are modeled not just in terms of interfaces but also in terms of their
usage protocols, describing legal sequences of method calls, possibly depending
on the object's internal state. We argue that the Actor Model allows
typestate-OOP in an inherently distributed setting, whereby objects/actors can
be accessed concurrently by several processes, and local entities cooperate to
carry out a communication protocol. In this article we illustrate the approach
by means of a number of examples written in Scala Akka. We show that Scala's
abstractions support clean and natural typestate-oriented actor programming
with the usual asynchronous and non-blocking semantics. We also show that the
standard type system of Scala and a typed wrapping of usual (untyped) Akka's
ActorRef are enough to provide rich forms of type safety so that well-typed
actors respect their intended communication protocols. This approach draws on a
solid theoretical background, consisting of a sound behavioral type system for
the Join Calculus, that is a foundational calculus of distributed asynchronous
processes whose semantics is based on the Chemical Abstract Machine, that
unveiled its strong connections with typestate-oriented programming of both
concurrent objects and actors
Recommended from our members
Elixir: synthesis of parallel irregular algorithms
Algorithms in new application areas like machine learning and data analytics usually operate on unstructured sparse graphs. Writing efficient parallel code to implement these algorithms is very challenging for a number of reasons.
First, there may be many algorithms to solve a problem and each algorithm may have many implementations. Second, synchronization, which is necessary for correct parallel execution, introduces potential problems such as data-races and deadlocks. These issues interact in subtle ways, making the best solution dependent both on the parallel platform and on properties of the input graph. Consequently, implementing and selecting the best parallel solution can be a daunting task for non-experts, since we have few performance models for predicting the performance of parallel sparse graph programs on parallel hardware.
This dissertation presents a synthesis methodology and a system, Elixir, that addresses these problems by (i) allowing programmers to specify solutions at a high level of abstraction, and (ii) generating many parallel implementations automatically and using search to find the best one. An Elixir specification consists of a set of operators capturing the main algorithm logic and a schedule specifying how to efficiently apply the operators. Elixir employs sophisticated automated reasoning to merge these two components, and uses techniques based on automated planning to insert synchronization and synthesize efficient parallel code.
Experimental evaluation of our approach demonstrates that the performance of the Elixir generated code is competitive to, and can even outperform, hand-optimized code written by expert programmers for many interesting graph benchmarks.Computer Science