Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Performance of state space and ARIMA models for consumer retail sales forecasting

Forecasting future sales is one of the most important issues that is beyond all strategic and planning decisions in effective operations of retail businesses. For profitable retail businesses, accurate demand forecasting is crucial in organizing and planning production, purchasing, transportation and labor force. Retail sales series belong to a special type of time series that typically contain trend and seasonal patterns, presenting challenges in developing effective forecasting models. This work compares the forecasting performance of state space models and ARIMA models. The forecasting performance is demonstrated through a case study of retail sales of five different categories of women footwear: Boots, Booties, Flats, Sandals and Shoes. On both methodologies the model with the minimum value of Akaike's Information Criteria for the in-sample period was selected from all admissible models for further evaluation in the out-of-sample. Both one-step and multiple-step forecasts were produced. The results show that when an automatic algorithm the overall out-of-sample forecasting performance of state space and ARIMA models evaluated via RMSE, MAE and MAPE is quite similar on both one-step and multi-step forecasts. We also conclude that state space and ARIMA produce coverage probabilities that are close to the nominal rates for both one-step and multi-step forecasts.

Public Participation geographic information systems in developing countries: lessons from Uganda on the impacts of interactive screens PPGIS and community perceptions of space

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Studying urban space and literary representations using GIS: Lisbon, Portugal, 1852-2009

This article proposes a methodology to address the urban evolutionary process, demonstrating how it is reflected in literature. It focuses on “literary space,” presented as a territory defined by the period setting or as evoked by the characters, which can be georeferenced and drawn on a map. It identifies the different locations of literary space in relation to urban development and the economic, political, and social context of the city. We suggest a new approach for mapping a relatively comprehensive body of literature by combining literary criticism, urban history, and geographic information systems (GIS). The home-range concept, used in animal ecology, has been adapted to reveal the size and location of literary space. This interdisciplinary methodology is applied in a case study to nineteenth- and twentieth-century novels involving the city of Lisbon. The developing concepts of cumulative literary space and common literary space introduce size calculations in addition to location and structure, previously developed by other researchers. Sequential and overlapping analyses of literary space throughout time have the advantage of presenting comparable and repeatable results for other researchers using a different body of literary works or studying another city. Results show how city changes shaped perceptions of the urban space as it was lived and experienced. A small core area, correspondent to a part of the city center, persists as literary space in all the novels analyzed. Furthermore, the literary space does not match the urban evolution. There is a time lag for embedding new urbanized areas in the imagined literary scenario.

Structural transformation in the product space: Patterns and implications

Product fundamentals are essential in explaining heterogeneity in the product space. The scope for adapting and transferring capabilities into the production of different goods determines the speed and intensity of the structural transformation process and entails dissimilar development opportunities for nations. Future specialization patterns become then partly determined by the current network of products’ relatedness. Building on previous literature, this paper explicitly compares methodological concepts of product connectivity to conclude in favor of the density measure we propose combined with the Revealed Relatedness Index (RRI) approach presented by Freitas and Salvado (2011). Overall, RRI specifications displayed more consistent behavior when different time horizons are equated.

Contributions towards smart cities : exploring block level census data for the characterization of change in Lisbon

The interest in using information to improve the quality of living in large urban areas and its governance efficiency has been around for decades. Nevertheless, the improvements in Information and Communications Technology has sparked a new dynamic in academic research, usually under the umbrella term of Smart Cities. This concept of Smart City can probably be translated, in a simplified version, into cities that are lived, managed and developed in an information-saturated environment. While it makes perfect sense and we can easily foresee the benefits of such a concept, presently there are still several significant challenges that need to be tackled before we can materialize this vision. In this work we aim at providing a small contribution in this direction, which maximizes the relevancy of the available information resources. One of the most detailed and geographically relevant information resource available, for the study of cities, is the census, more specifically the data available at block level (Subsecção Estatística). In this work, we use Self-Organizing Maps (SOM) and the variant Geo-SOM to explore the block level data from the Portuguese census of Lisbon city, for the years of 2001 and 2011. We focus on gauging change, proposing ways that allow the comparison of the two time periods, which have two different underlying geographical bases. We proceed with the analysis of the data using different SOM variants, aiming at producing a two-fold portrait: one, of the evolution of Lisbon during the first decade of the XXI century, another, of how the census dataset and SOM’s can be used to produce an informational framework for the study of cities.

Masonry macro-block analysis

The structural analysis involves the definition of the model and selection of the analysis type. The model should represent the stiffness, the mass and the loads of the structure. The structures can be represented using simplified models, such as the lumped mass models, and advanced models resorting the Finite Element Method (FEM) and Discrete Element Method (DEM). Depending on the characteristics of the structure, different types of analysis can be used such as limit analysis, linear and non-linear static analysis and linear and non-linear dynamic analysis. Unreinforced masonry structures present low tensile strength and the linear analyses seem to not be adequate for assessing their structural behaviour. On the other hand, the static and dynamic non-linear analyses are complex, since they involve large time computational requirements and advanced knowledge of the practitioner. The non-linear analysis requires advanced knowledge on the material properties, analysis tools and interpretation of results. The limit analysis with macro-blocks can be assumed as a more practical method in the estimation of maximum load capacity of structure. Furthermore, the limit analysis require a reduced number of parameters, which is an advantage for the assessment of ancient and historical masonry structures, due to the difficult in obtaining reliable data.

Effect of butadiene/styrene ratio, block structure and carbon nanotube content on the mechanical and electrical properties of thermoplastic elastomers after UV ageing

Thermoplastic elastomers based on a triblock copolymer styrene-butadiene-styrene (SBS) with different butadiene/styrene ratios, block structure and carbon nanotube (CNT) content were submitted to accelerated weathering in a Xenontest set up, in order to evaluate their stability to UV ageing. It was concluded that ageing mainly depends on butadiene/styrene ratio and block structure, with radial block structures exhibiting a faster ageing than linear block structures. Moreover, the presence of carbon nanotubes in the SBS copolymer slows down the ageing of the copolymer. The evaluation of the influence of ageing on the mechanical and electrical properties demonstrates that the mechanical degradation is higher for the C401 sample, which is the SBS sample with the largest butadiene content and a radial block structure. On the other hand, a copolymer derivate from SBS, the styrene-ethylene/butadiene-styrene (SEBS) sample, retains a maximum deformation of ~1000% after 80 h of accelerated ageing. The hydrophobicity of the samples decreases with increasing ageing time, the effect being larger for the samples with higher butadiene content. It is also verified that cytotoxicity increases with increasing UV ageing with the exception of SEBS, which remains not cytotoxic up to 80 h of accelerated ageing time, demonstrating its potential for applications involving exposition to environmental conditions.

Seismic behavior of concrete block masonry buildings

Tese de Doutoramento em Engenharia Civil

Implementation of a unified userspace time handling library under the Linux OS

An appropriate assessment of end-to-end network performance presumes highly efficient time tracking and measurement with precise time control of the stopping and resuming of program operation. In this paper, a novel approach to solving the problems of highly efficient and precise time measurements on PC-platforms and on ARM-architectures is proposed. A new unified High Performance Timer and a corresponding software library offer a unified interface to the known time counters and automatically identify the fastest and most reliable time source, available in the user space of a computing system. The research is focused on developing an approach of unified time acquisition from the PC hardware and accordingly substituting the common way of getting the time value through Linux system calls. The presented approach provides a much faster means of obtaining the time values with a nanosecond precision than by using conventional means. Moreover, it is capable of handling the sequential time value, precise sleep functions and process resuming. This ability means the reduction of wasting computer resources during the execution of a sleeping process from 100% (busy-wait) to 1-1.5%, whereas the benefits of very accurate process resuming times on long waits are maintained.

Contractions in the 2-wasserstein lenght space and thermalization of granular media

An algebraic decay rate is derived which bounds the time required for velocities to equilibrate in a spatially homogeneous flow-through model representing the continuum limit of a gas of particles interacting through slightly inelastic collisions. This rate is obtained by reformulating the dynamical problem as the gradient flow of a convex energy on an infinite-dimensional manifold. An abstract theory is developed for gradient flows in length spaces, which shows how degenerate convexity (or even non-convexity) | if uniformly controlled | will quantify contractivity (limit expansivity) of the flow.

Contractive metrics for a Boltzmann equation for granular gases: diffusive equilibriaThe Patterson-Sullivan embedding and minimal volume entropy for outer space

We quantify the long-time behavior of a system of (partially) inelastic particles in a stochastic thermostat by means of the contractivity of a suitable metric in the set of probability measures. Existence, uniqueness, boundedness of moments and regularity of a steady state are derived from this basic property. The solutions of the kinetic model are proved to converge exponentially as t→ ∞ to this diffusive equilibrium in this distance metrizing the weak convergence of measures. Then, we prove a uniform bound in time on Sobolev norms of the solution, provided the initial data has a finite norm in the corresponding Sobolev space. These results are then combined, using interpolation inequalities, to obtain exponential convergence to the diffusive equilibrium in the strong L¹-norm, as well as various Sobolev norms.

Absolute type shaft encoding using LFSR

Maximal-length binary sequences have been known for a long time. They have many interesting properties, one of them is that when taken in blocks of n consecutive positions they form 2ⁿ-1 different codes in a closed circular sequence. This property can be used for measuring absolute angular positions as the circle can be divided in as many parts as different codes can be retrieved. This paper describes how can a closed binary sequence with arbitrary length be effectively designed with the minimal possible block-length, using linear feedback shift registers (LFSR). Such sequences can be used for measuring a specified exact number of angular positions, using the minimal possible number of sensors that linear methods allow.

Infinite time aggregation for the critical Patlak-Keller-Segel model in R2

We analyze the two-dimensional parabolic-elliptic Patlak-Keller-Segel model in the whole Euclidean space R2. Under the hypotheses of integrable initial data with finite second moment and entropy, we first show local in time existence for any mass of "free-energy solutions", namely weak solutions with some free energy estimates. We also prove that the solution exists as long as the entropy is controlled from above. The main result of the paper is to show the global existence of free-energy solutions with initial data as before for the critical mass 8 Π/Χ. Actually, we prove that solutions blow-up as a delta dirac at the center of mass when t→∞ keeping constant their second moment at any time. Furthermore, all moments larger than 2 blow-up as t→∞ if initially bounded.

New York City: "gilt cage" or "promised land" ? : representations of urban space in Edith Wharton and Anzia Yezierska

This thesis explores the importance of literary New York City in the urban narratives of Edith Wharton and Anzia Yezierska. It specifically looks at the Empire City of the Progressive Period when the concept of the city was not only a new theme but also very much a typical American one which was as central to the American experience as had been the Western frontier. It could be argued, in fact, that the American city had become the new frontier where modern experiences like urbanization, industrialization, immigration, and also women's emancipation and suffrage, caused all kinds of sensations on the human scale from smoothly lived assimilation and acculturation to deeply felt alienation because of the constantly shifting urban landscape. The developing urban space made possible the emergence of new female literary protagonists like the working girl, the reformer, the prostitute, and the upper class lady dedicating her life to 'conspicuous consumption'. Industrialization opened up city space to female exploration: on the one hand, upper and middle class ladies ventured out of the home because of the many novel urban possibilities, and on the other, lower class and immigrant girls also left their domestic sphere to look for paid jobs outside the home. New York City at the time was not only considered the epicenter of the world at large, it was also a city of great extremes. Everything was constantly in flux: small brownstones made way for ever taller skyscrapers and huge waves of immigrants from Europe pushed native New Yorkers further uptown on the island, adding to the crowdedness and intensity of the urban experience. The city became a polarized urban space with Fifth Avenue representing one end of the spectrum and the Lower East Side the other. Questions of space and the urban home greatly mattered. It has been pointed out that the city setting functions as an ideal means for the display of human nature as well as social processes. Narrative representations of urban space, therefore, provide a similar canvas for a protagonist's journey and development. From widely diverging vantage points both Edith Wharton and Anzia Yezierska thus create a polarized city where domesticity is a primal concern. Looking at all of their New York narratives by close readings of exterior and interior city representations, this thesis shows how urban space greatly affects questions of identity, assimilation, and alienation in literary protagonists who cannot escape the influence of their respective urban settings. Edith Wharton's upper class "millionaire" heroines are framed and contained by the city interiors of "old" New York, making it impossible for them to truly participate in the urban landscape in order to develop outside of their 'Gilt Cages'. On the other side are Anzia Yezierska's struggling "immigrant" protagonists who, against all odds, never give up in their urban context of streets, rooftops, and stoops. Their New York City, while always challenging and perpetually changing, at least allows them perspectives of hope for a 'Promised Land' in the making. Central for both urban narrative approaches is the quest for a home as an architectural structure, a spiritual resting place, and a locus for identity forming. But just as the actual city embraces change, urban protagonists must embrace change also if they desire to find fulfillment and success. That this turns out to be much easier for Anzia Yezierska's driven immigrants rather than for Edith Wharton's well established native New Yorkers is a surprising conclusion to this urban theme.