Managing the Future Internet through Intelligent In-Network Substrates

The current Internet has been founded on the architectural premise of a simple network service used to interconnect relatively intelligent end systems. While this simplicity allowed it to reach an impressive scale, the predictive manner in which ISP networks are currently planned and configured through external management systems and the uniform treatment of all traffic are hampering its use as a unifying multi-service network. The future Internet will need to be more intelligent and adaptive, optimizing continuously the use of its resources and recovering from transient problems, faults and attacks without any impact on the demanding services and applications running over it. This article describes an architecture that allows intelligence to be introduced within the network to support sophisticated self-management functionality in a coordinated and controllable manner. The presented approach, based on intelligent substrates, can potentially make the Internet more adaptable, agile, sustainable, and dependable given the requirements of emerging services with highly demanding traffic and rapidly changing locations. We discuss how the proposed framework can be applied to three representative emerging scenarios: dynamic traffic engineering (load balancing across multiple paths); energy efficiency in ISP network infrastructures; and cache management in content-centric networks

A numerical model for predicting the time for crack initiation in wood panel paintings under low-cycle environmentally induced fatigue

Determining the storage and display conditions for historical panel (wood) paintings requires a balance between ensuring the painting's preservation whilst also considering the energy consumption associated with climate control. The latter has become very important due to the need to lower the carbon footprint of museums and historical houses. In order to address this need, we have developed numerical models based on finite element analysis to simulate the initiation of two types of potential damage in panel paintings, namely interfacial and channelling cracks in the oil paint layer, under cyclically varying relative humidity. These models are based on our case study at Knole House (National Trust), Kent. Using known data for the past environment in which the paintings within the Brown Gallery at Knole House have been exposed, the ambient RH variation was approximated by three cycles, i.e., annual, biannual, and monthly varying cycles. Four RH cases, one containing all three cycles and each of the other three cases containing just two of the three cycles, were applied as boundary conditions to simplified geometries of the panel paintings in an effort to investigate the effects of the frequency and the amplitude of the variation on the possibility of cracking in the painting. The models need several material parameters as input which are not all available. Therefore, the study also includes some parametric studies to determine possible variations in the crack initiation. According to the model predictions, the channelling crack initiates slightly earlier than the interfacial crack. The crack initiation time in an uncontrolled environment (containing all three RH cycles) predicted by the model is approximately 120 years which empirically is a realistic estimate. Furthermore, the annual RH cycle (high amplitude and low frequency) has the most significant effect on the crack initiation. By removing the annual variation from the RH cycle, the initiation of both channelling and interfacial cracks can be postponed significantly, from approximately 120 years to over 400 years

Central factorials under the Kontorovich-Lebedev transform of polynomials

We show that slight modifications of the Kontorovich-Lebedev transform lead to an automorphism of the vector space of polynomials. This circumstance along with the Mellin transformation property of the modified Bessel functions perform the passage of monomials to central factorial polynomials. A special attention is driven to the polynomial sequences whose KL-transform is the canonical sequence, which will be fully characterized. Finally, new identities between the central factorials and the Euler polynomials are found.Comment: also available at http://cmup.fc.up.pt/cmup/ since the 2nd August 201

Policy conflict analysis for diffserv quality of service management

Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. This requires implementing network provisioning decisions, performing admission control, and adapting bandwidth allocation to emerging traffic demands. A policy-based approach facilitates flexibility and adaptability as policies can be dynamically changed without modifying the underlying implementation. However, inconsistencies may arise in the policy specification. In this paper we provide a comprehensive set of QoS policies for managing Differentiated Services (DiffServ) networks, and classify the possible conflicts that can arise between them. We demonstrate the use of Event Calculus and formal reasoning for the analysis of both static and dynamic conflicts in a semi-automated fashion. In addition, we present a conflict analysis tool that provides network administrators with a user-friendly environment for determining and resolving potential inconsistencies. The tool has been extensively tested with large numbers of policies over a range of conflict types

Session-ocaml: a session-based library with polarities and lenses

We propose session-ocaml, a novel library for session-typed concurrent/distributed programming in OCaml. Our technique solely relies on parametric polymorphism, which can encode core session type structures with strong static guarantees. Our key ideas are: ( ) polarised session types, which give an alternative formulation of duality enabling OCaml to automatically infer an appropriate session type in a session with a reasonable notational overhead; and ( ) a parameterised monad with a data structure called ‘slots’ manipulated with lenses, which can statically enforce session linearity and delegations. We show applications of session-ocaml including a travel agency usecase and an SMTP protocol

A differential equation for a class of discrete lifetime distributions with an application in reliability: A demonstration of the utility of computer algebra

YesIt is shown that the probability generating function of a lifetime random variable T on a finite lattice with polynomial failure rate satisfies a certain differential equation. The interrelationship with Markov chain theory is highlighted. The differential equation gives rise to a system of differential equations which, when inverted, can be used in the limit to express the polynomial coefficients in terms of the factorial moments of T. This then can be used to estimate the polynomial coefficients. Some special cases are worked through symbolically using Computer Algebra. A simulation study is used to validate the approach and to explore its potential in the reliability context

Impaction bone grafting of the acetabulum at hip revision using a mix of bone chips and a biphasic porous ceramic bone graft substitute: Good outcome in 43 patients followed for a mean of 2 years

Background and purpose One of the greatest problems of revision hip arthroplasty is dealing with lost bone stock. Good results have been obtained with impaction grafting of allograft bone. However, there have been problems of infection, reproducibility, antigenicity, stability, availability of bone, and cost. Thus, alternatives to allograft have been sought. BoneSave is a biphasic porous ceramic specifically designed for use in impaction grafting. BoneSave is 80% tricalcium phosphate and 20% hydroxyapatite. Previous in vitro and in vivo studies have yielded good results using mixtures of allograft and BoneSave, when compared with allograft alone. This study is the first reported human clinical trial of BoneSave in impaction grafting