n/a

{Summary: For heavy-tailed models, and working with the sample of the $k$ largest observations, we present probability weighted moments (PWM) estimators for the first order tail parameters. Under regular variation conditions on the right-tail of the underlying distribution function $F$ we prove the consistency and asymptotic normality of these estimators. Their performance, for finite sample sizes, is illustrated through a small-scale Monte Carlo simulation.}

In 1968, Gohberg and Krupnik found a Fredholm criterion for singular integral operators of the form \(aP+bQ\), where \(a,b\) are piecewise continuous functions and \(P,Q\) are complementary projections associated to the Cauchy singular integral operator, acting on Lebesgue spaces over Lyapunov curves. We extend this result to the case of Nakano spaces (also known as variable Lebesgue spaces) with certain weights having finite sets of discontinuities on arbitrary Carleson curves.

n/a

This paper is focused on the delimitation of service areas and on vehicle routes definition in recyclable waste collection systems with more than one depot. Three types of materials have to be collected in separated routes, so the problem is modelled as a multi-product, multi-depot vehicle routing problem. A hybrid method is developed where a MIP solver is embedded inside a heuristic framework. The effectiveness of this method is tested by comparing the results obtained for some test instances when solved only by an exact formulation. The hybrid method is then applied to a medium size problem based on a real recyclable waste collection system.

n/a

In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the life-cycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.

Two combustion tests were performed in a fluidized bed combustor of a thermo-electric power plant: (1) combustion of coal; (2) co-combustion of coal (68.7% w/w), sewage sludge (9.2% w/w) and meat and bone meal (MBM) (22.1% w/w).

Three samples of ashes (bottom, circulating and fly ashes) were collected in each combustion test. The ashes were submitted to the following assays: (a) evaluation of the leaching behaviour; (b) stabilization/solidification of fly ashes and evaluation of the leaching behaviour of the stabilized/solidified (s/s) materials; (c) production of concrete from bottom and circulating ashes. The eluates of all materials were submitted to chemical and ecotoxicological characterizations. The crude ashes have shown similar chemical and ecotoxicological properties. The s/s materials have presented compressive strengths between 25 and 40 MPa, low emission levels of metals through leaching and were classified as non-hazardous materials. The formulations of concrete have presented compressive strengths between 12 and 24 MPa. According to the Dutch Building Materials Decree, some concrete formulations can be used in both scenarios of limited moistening and without insulation, and with permanent moistening and with insulation.

This paper presents StarTM , an automatic verification tool for transactional memory Java programs executing under relaxed isolation levels. We certify which transactions in a program are safe to execute under Snapshot Isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements.
Our tool builds on a novel shape analysis technique based on Separation Logic to statically approximate the read- and write-sets of a transactional memory Java program. This technique is particularly challenging due to the presence of dynamically allocated memory.
We implement our technique and apply our tool to a set of intricate examples. We corroborate known results, certifying some of the examples for safe execution under Snapshot Isolation by proving the absence of write-skew anomalies. In other cases we identify transactions that potentially trigger the write-skew anomaly.

This work aims to study a new flat slab strengthening technique based on post-tensioning with anchorages by bonding using an epoxy adhesive. The main advantages of this technique over the traditional prestress strengthening systems that use mechanical anchorages are that it does not need external permanent anchorages, meaning that the forces are introduced into the concrete gradually instead of being localized, thereby preserving aesthetics and useable space. The seven tested slab models show that this technique meets its objective as it is able to reduce reinforcement strains at service loads by up to 80{%} if the strengthening technique is applied in two directions and slab deformations by up to 70{%}, consequently making crack widths smaller. It can also increase punching load capacity by as much as 51{%} when compared to non-strengthened slabs. The results are compared with the EC2 (2004) [20], ACI 318-08 (2008) [23] and MC2010 (2010) [21] provisions. The main conclusions are that this strengthening technique is effective regarding ultimate and serviceability states and that it represents an advance in RC slab strengthening techniques. ?? 2011 Elsevier Ltd.

Em caso de falha abrupta de um sistema, é imperativo garantir a consistência do Sistema de Ficheiros (SF). Actualmente existem várias soluções que visam garantir que tanto os dados como os metadados do SF se encontram num estado consistente, mas que não contemplam a garantia de consistência dos dados do ponto de vista das aplicações. Por exemplo, aplicações que pretendam alterar vários ficheiros de configuração terão de encontrar mecanismos para garantir que, ou todos os ficheiros são devidamente alterados, ou nenhum o é, evitando assim que numa situação de falha o conteúdo dos ficheiros fique inconsistente. Do ponto de vista da aplicação, pode não ser simples implementar este comportamento sobre um SF típico; e pode também não ser razoável utilizar um Sistema de Gestão de Bases de Dados (SGBD), que oferece propriedades ACID. Neste artigo propomos, testamos e avaliamos uma integração das propriedades ACID num SF. Partindo do suporte para snapshots do sistema de ficheiros Btrfs, oferece-se uma semântica transaccional às aplicações que operam sobre volumes (sub-árvores) do SF, sem comprometer a semântica POSIX do SF.

This paper is a review over a variety of events which lead to disruption conditions in supply chains and identifies correspondent resilient strategies for each condition. The paper objective is to make a link between the problems created by events and strategies that managers can use to avoid or mitigate the negative aspects of those problems and improve post- event recovery. To attain the paper objectives it was use archived media news to collect empirical data about disturbances (events), their negative effects (problems), and resilience strategies. In the data collection phase, the aim was to keep diversities and be comprehensive. Using empirical evidences from the sample is developed a graph to show the links between supply chain disturbances, problems and resilience. This research provides supply chain managers with some alternative strategies to opt for the best available decision, improving the post-event management process.

The increase focus of companies in clients’ satisfaction, independently of the market they operate in, results from a growing degree of consumers expectations. To fulfill such increase, companies have to arm themselves with the correct internal capabilities, achieving not only efficacy in the satisfaction of each customer, but also efficiency, by operating at the lower possible cost. One of those internal capabilities is the logistics network, which is representing, more and more, a great challenge for companies, given the complexity of the variables that compose it. In this paper, an optimization model is developed that contemplates simultaneously the design and planning of supply chains with reversed flows, through a multi-period and a multi-product network. The proposed model acts as a support tool for the decisions to be made in a real case of a Portuguese telecommunications company, in order to optimize its logistics network.

This paper aims to propose a supply chain resilience assessment framework. An inductive research approach was used being performed an exploratory case study in the Portuguese automotive supply chain. The study investigates the main effects of supply chain disturbance and how companies can increase supply chain resilience. Empirical findings were used to develop a resilience assessment model with two perspectives, an “ex post” analysis, where it measures the performance loss after a disturbance occurrence, and in an “ex ante” analysis, measuring the characteristics that confer resilience properties to the supply chain.

This paper aims to analyze the supply chain behavior when subject to disturbances using a simulation-based approach. The disturbance explored in this study is the transportation interruption between two suppliers in the automotive supply chain. The performance of the different supply chain entities is used to analyze supply chain design scenarios. The analysis of the outputs simulation study shows that even when a redundancy strategy is used, the negative effects of a disturbance are spread along the supply chain, but the resilience of supply chain entities is enhanced