Transactional filesystems

Dissertação de Mestrado em Engenharia Informática

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Intra-Task Device Scheduling for Real-Time Embedded Systems

An ever increasing need for extra functionality in a single embedded system demands for extra Input/Output (I/O) devices, which are usually connected externally and are expensive in terms of energy consumption. To reduce their energy consumption, these devices are equipped with power saving mechanisms. While I/O device scheduling for real-time (RT) systems with such power saving features has been studied in the past, the use of energy resources by these scheduling algorithms may be improved. Technology enhancements in the semiconductor industry have allowed the hardware vendors to reduce the device transition and energy overheads. The decrease in overhead of sleep transitions has opened new opportunities to further reduce the device energy consumption. In this research effort, we propose an intra-task device scheduling algorithm for real-time systems that wakes up a device on demand and reduces its active time while ensuring system schedulability. This intra-task device scheduling algorithm is extended for devices with multiple sleep states to further minimise the overall device energy consumption of the system. The proposed algorithms have less complexity when compared to the conservative inter-task device scheduling algorithms. The system model used relaxes some of the assumptions commonly made in the state-of-the-art that restrict their practical relevance. Apart from the aforementioned advantages, the proposed algorithms are shown to demonstrate the substantial energy savings.

Configurador de sistemas distribuídos de controlo especificados através de redes de Petri IOPT

O objetivo principal deste trabalho é desenvolver um protótipo de ferramenta que permita a geração de ficheiros de configuração de sistemas distribuídos de controlo em plataformas específicas permitindo a integração de um conjunto de componentes previamente definidos. Cada componente é caracterizado como um módulo, identificando-se o conjunto de sinais e eventos de entrada e saída, bem como o seu comportamento, normalmente especificado através de um modelo em redes de Petri IOPT – RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) será utilizado para a representação de cada componente. Os componentes referidos poderão ser obtidos através de vários métodos, nomeadamente através de ferramentas em desenvolvimento, que se encontram disponíveis em http://gres.uninova.pt/IOPT-Tools/ e também através da sua edição no editor de IOPT, como resultado da partição de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjugação com a ferramenta SPLIT. Serão considerados várias formas para interligação dos componentes, incluindo-se ligações diretas e wrappers assíncronos num contexto de sistemas Globalmente Assíncronos Localmente Síncronos - GALS bem como diferentes tipos de barramentos e ligações série, incluindo Network-On-Chip específicos. A descrição da interligação entre componentes é gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de dissertações de mestrado anteriores. As plataformas especificas de suporte à implementação incluem FPGA’s da serie Xilinx Spartan3,3E e Xilinx Virtex, e várias placas de desenvolvimento.

Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Após uma análise das ferramentas existentes e constatando-se a inexistência de uma ferramenta adequada a essa função, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualização das formas de onda de sinais e eventos de entrada e de saída ao longo do tempo. A ferramenta permite também a visualização dos resultados do histórico de uma simulação de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edição, modos de visualização e um módulo básico de identificação e correcção de erros dos valores das formas de onda. O Wave4IOPT está disponível a partir de um browser e prevê-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construída utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poderá também servir para a edição, visualização e análise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que será lido pela ferramenta.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Theory and application of nonlinear wave propagation phenomena in combined reaction/separation processes

Reaction separation processes, reactive distillation, chromatographic reactor, equilibrium theory, nonlinear waves, process control, observer design, asymptoticaly exact input/output-linearization

Sensitivity of simulation results to competing SAM updates

Recently there has been a renewed research interest in the properties of non survey updates of input-output tables and social accounting matrices (SAM). Along with the venerable and well known scaling RAS method, several alternative new procedures related to entropy minimization and other metrics have been suggested, tested and used in the literature. Whether these procedures will eventually substitute or merely complement the RAS approach is still an open question without a definite answer. The performance of many of the updating procedures has been tested using some kind of proximity or closeness measure to a reference input-output table or SAM. The first goal of this paper, in contrast, is the proposal of checking the operational performance of updating mechanisms by way of comparing the simulation results that ensue from adopting alternative databases for calibration of a reference applied general equilibrium model. The second goal is to introduce a new updatin! g procedure based on information retrieval principles. This new procedure is then compared as far as performance is concerned to two well-known updating approaches: RAS and cross-entropy. The rationale for the suggested cross validation is that the driving force for having more up to date databases is to be able to conduct more current, and hopefully more credible, policy analyses.

Nota metodológica sobre la determinación de sectores "clave" en el consumo de energía final: una primera aproximación al caso español

En este artículo analizamos la determinación de sectores "clave" en el consumo de energía final. Enfocamos esta cuestión desde una perspectiva input-output, diseñando una metodología basada en las elasticidades de la demanda del consumo de energía final. A modo de ejercicio, aplicamos la metodología a la economía española. El análisis permite señalar la mayor o menor relevancia de los distintos sectores en el consumo energético final, indicando qué sectores merecen mayor atención en el caso español y apuntando las implicaciones para la política energética.

“Policy Scepticism” and the Impact of Scottish Higher Education Institutions (HEIs) on their Host Region: Accounting for Regional Budget Constraints under Devolution

A “policy scepticism” has emerged that challenges the results of conventional regional HEI impact analyses. Its denial of the importance of the expenditure impacts of HEIs appears to be based on a belief in either a binding regional resource constraint or a regional public sector budget constraint. In this paper we provide a systematic critique of this policy scepticism. However, while rejecting the extreme form of policy scepticism, we argue that it is crucial to recognise the importance of the public-sector expenditure constraints that are binding under devolution. We show how conventional impact analyses can be augmented to accommodate regional public sector budget constraints. While our results suggest that conventional impact studies overestimate the expenditure impacts of HEIs, they also demonstrate that the policy scepticism that treats these expenditure effects as irrelevant neglects some key aspects of HEIs, in particular their export intensity.

The Expenditure Impacts of Individual Higher Education Institutions (HEIs) and their Students on the Scottish Economy under Devolution: Homogeneity or Heterogeneity?

Comparing each of the twenty Higher Education Institutions (HEIs) in Scotland as separate sectors in an Input-Output table suggests their expenditure patterns are homogenous and that the apparent heterogeneity of their impacts is primarily driven by scale. However, a disaggregation of their income by source reveals a disparity in their dependence upon funding from the devolved Scottish Government and their ability to draw in income/funding from external sources. Acknowledging the binding budget constraint of the Scottish Government and deriving balanced expenditure multipliers reveals large differences in the net-expenditure impact of HEIs upon the Scottish economy, with the source of variation being the origin of income. Applying a novel treatment of student expenditure impacts, identifying the amount of exogenous spending per student, modifies the heterogeneity of the overall expenditure impacts. On balance this suggests that the impacts of impending budget cut-backs will be quite different by institution depending on their sensitivity to public funding. However, predicting the outcome of budget cutbacks at the margin is problematic as we do not know whether public and external incomes are complements or substitutions (and indeed this may vary between individual HEIs).

The regional economic impacts of biofuels: A review of multisectoral modelling techniques and evaluation of applications

The regional economic impact of biofuel production depends upon a number of interrelated factors: the specific biofuels feedstock and production technology employed; the sector’s embeddedness to the rest of the economy, through its demand for local resources; the extent to which new activity is created. These issues can be analysed using multisectoral economic models. Some studies have used (fixed price) Input-Output (IO) and Social Accounting Matrix (SAM) modelling frameworks, whilst a nascent Computable General Equilibrium (CGE) literature has also begun to examine the regional (and national) impact of biofuel development. This paper reviews, compares and evaluates these approaches for modelling the regional economic impacts of biofuels.

The regional economic impacts of biofuels: A review of multisectoral modelling techniques and evaluation of applications

The regional economic impact of biofuel production depends upon a number of interrelated factors: the specific biofuels feedstock and production technology employed; the sector’s embeddedness to the rest of the economy, through its demand for local resources; the extent to which new activity is created. These issues can be analysed using multisectoral economic models. Some studies have used (fixed price) Input-Output (IO) and Social Accounting Matrix (SAM) modelling frameworks, whilst a nascent Computable General Equilibrium (CGE) literature has also begun to examine the regional (and national) impact of biofuel development. This paper reviews, compares and evaluates these approaches for modelling the regional economic impacts of biofuels.

Type II Errors in IO Multipliers

This paper compares methods for calculating Input-Output (IO) Type II multipliers. These are formulations of the standard Leontief IO model which endogenise elements of household consumption. An analytical comparison of the two basic IO Type II multiplier methods with the Social Accounting Matrix (SAM) multiplier approach identifies the treatment of non-wage income generated in production as a central problem. The multiplier values for each of the IO and SAM methods are calculated using Scottish data for 2009. These results can be used to choose which Type II IO multiplier to adopt where SAM multiplier values are unavailable.

Product differentiation, competitive pressure and the effects of innovation on the success and survivability of firms in oligopoly markets

In a recent paper Tishler and Milstein (2009) fi…nd that increased competition may increase aggregate R&D spending while market output decreases. Therefore, they obtain the surprising result that R&D spending is excessive when competition becomes intense. Their result is based on the standard linear demand function for differentiated products introduced by Bowley (1924) where decreased product differentiation is interpreted as more competitive pressure. In this paper I show that at an aggregate level this interpretation is problematic because equilibrium effects are dominated by a demand reduction effect. A slight modifi…cation of the standard demand function eliminates this effect. For the Tishler and Milstein (2009) setting it is shown that then increased competition increases both R&D spending and aggregate market output. Therefore, at least for consumers, more intense competition increases welfare. Journal of Economic Literature Classi…fication Numbers: D43, L1, O3. Keywords: Oligopoly markets, Product differentiation, Competitive pressure.