Declarative Transport: No More Transport Protocols to Design, Only Policies to Specify

Transport protocols are an integral part of the inter-process communication (IPC) service used by application processes to communicate over the network infrastructure. With almost 30 years of research on transport, one would have hoped that we have a good handle on the problem. Unfortunately, that is not true. As the Internet continues to grow, new network technologies and new applications continue to emerge putting transport protocols in a never-ending flux as they are continuously adapted for these new environments. In this work, we propose a clean-slate transport architecture that renders all possible transport solutions as simply combinations of policies instantiated on a single common structure. We identify a minimal set of mechanisms that once instantiated with the appropriate policies allows any transport solution to be realized. Given our proposed architecture, we contend that there are no more transport protocols to design—only policies to specify. We implement our transport architecture in a declarative language, Network Datalog (NDlog), making the specification of different transport policies easy, compact, reusable, dynamically configurable and potentially verifiable. In NDlog, transport state is represented as database relations, state is updated/queried using database operations, and transport policies are specified using declarative rules. We identify limitations with NDlog that could potentially threaten the correctness of our specification. We propose several language extensions to NDlog that would significantly improve the programmability of transport policies.

On the Performance and Robustness of Managing Reliable Transport Connections

We revisit the problem of connection management for reliable transport. At one extreme, a pure soft-state (SS) approach (as in Delta-t [9]) safely removes the state of a connection at the sender and receiver once the state timers expire without the need for explicit removal messages. And new connections are established without an explicit handshaking phase. On the other hand, a hybrid hard-state/soft-state (HS+SS) approach (as in TCP) uses both explicit handshaking as well as timer-based management of the connection’s state. In this paper, we consider the worst-case scenario of reliable single-message communication, and develop a common analytical model that can be instantiated to capture either the SS approach or the HS+SS approach. We compare the two approaches in terms of goodput, message and state overhead. We also use simulations to compare against other approaches, and evaluate them in terms of correctness (with respect to data loss and duplication) and robustness to bad network conditions (high message loss rate and variable channel delays). Our results show that the SS approach is more robust, and has lower message overhead. On the other hand, SS requires more memory to keep connection states, which reduces goodput. Given memories are getting bigger and cheaper, SS presents the best choice over bandwidth-constrained, error-prone networks.

JTP: An Energy-conscious Transport Protocol for Wireless Ad Hoc Networks

Within a recently developed low-power ad hoc network system, we present a transport protocol (JTP) whose goal is to reduce power consumption without trading off delivery requirements of applications. JTP has the following features: it is lightweight whereby end-nodes control in-network actions by encoding delivery requirements in packet headers; JTP enables applications to specify a range of reliability requirements, thus allocating the right energy budget to packets; JTP minimizes feedback control traffic from the destination by varying its frequency based on delivery requirements and stability of the network; JTP minimizes energy consumption by implementing in-network caching and increasing the chances that data retransmission requests from destinations "hit" these caches, thus avoiding costly source retransmissions; and JTP fairly allocates bandwidth among flows by backing off the sending rate of a source to account for in-network retransmissions on its behalf. Analysis and extensive simulations demonstrate the energy gains of JTP over one-size-fits-all transport protocols.

Investigation of numerical atomic orbitals for first-principles calculations of the electronic and transport properties of silicon nanowire structures

This thesis is focused on the application of numerical atomic basis sets in studies of the structural, electronic and transport properties of silicon nanowire structures from first-principles within the framework of Density Functional Theory. First we critically examine the applied methodology and then offer predictions regarding the transport properties and realisation of silicon nanowire devices. The performance of numerical atomic orbitals is benchmarked against calculations performed with plane waves basis sets. After establishing the convergence of total energy and electronic structure calculations with increasing basis size we have shown that their quality greatly improves with the optimisation of the contraction for a fixed basis size. The double zeta polarised basis offers a reasonable approximation to study structural and electronic properties and transferability exists between various nanowire structures. This is most important to reduce the computational cost. The impact of basis sets on transport properties in silicon nanowires with oxygen and dopant impurities have also been studied. It is found that whilst transmission features quantitatively converge with increasing contraction there is a weaker dependence on basis set for the mean free path; the double zeta polarised basis offers a good compromise whereas the single zeta basis set yields qualitatively reasonable results. Studying the transport properties of nanowire-based transistor setups with p+-n-p+ and p+-i-p+ doping profiles it is shown that charge self-consistency affects the I-V characteristics more significantly than the basis set choice. It is predicted that such ultrascaled (3 nm length) transistors would show degraded performance due to relatively high source-drain tunnelling currents. Finally, it is shown the hole mobility of Si nanowires nominally doped with boron decreases monotonically with decreasing width at fixed doping density and increasing dopant concentration. Significant mobility variations are identified which can explain experimental observations.

Dilute nitride semiconductors : band structure, scattering and high field transport

The substitution of a small fraction x of nitrogen atoms, for the group V elements in conventional III-V semiconductors such as GaAs and GaSb strongly perturbs the conduction band of the host semiconductor. In this thesis we investigate the effects of nitrogen states on the band dispersion, carrier scattering and mobility of dilute nitride alloys. In the supercell model we solve the single particle Hamiltonian for a very large supercell containing randomly placed nitrogen. This model predicts a gap in the density of states of GaNxAs1−x, where this gap is filled in the Green’s function model. Therefore we develop a self-consistent Green’s function (SCGF) approach, which provides excellent agreement with supercell calculations and reveals a gap in the DOS, in contrast with the results of previous non-self-consistent Green’s function calculations. However, including the distribution of N states destroys this gap, as seen in experiment. We then examine the high field transport of carriers by solving the steadystate Boltzmann transport equation and find that it is necessary to include the full distribution of N levels in order to account for the small, low-field mobility and the absence of a negative differential velocity regime observed experimentally with increasing x. Overall the results account well for a wide range of experimental data. We also investigate the band structure, scattering and mobility of carriers by finding the poles of the SCGF, which gives lower carrier mobility for GaNxAs1−x, compared to those already calculated, in better agreement with experiments. The calculated optical absorption spectra for InyGa1−yNxAs1−x and GaNxSb1−x using the SCGF agree well with the experimental data, confirming the validity of this approach to study the band structure of these materials.

Transport energy demand: techno-economic modelling and scenarios for Irish climate policy

The case for energy policy modelling is strong in Ireland, where stringent EU climate targets are projected to be overshot by 2015. Policy targets aiming to deliver greenhouse gas and renewable energy targets have been made, but it is unclear what savings are to be achieved and from which sectors. Concurrently, the growth of personal mobility has caused an astonishing increase in CO2 emissions from private cars in Ireland, a 37% rise between 2000 and 2008, and while there have been improvements in the efficiency of car technology, there was no decrease in the energy intensity of the car fleet in the same period. This thesis increases the capacity for evidenced-based policymaking in Ireland by developing techno-economic transport energy models and using them to analyse historical trends and to project possible future scenarios. A central focus of this thesis is to understand the effect of the car fleet‘s evolving technical characteristics on energy demand. A car stock model is developed to analyse this question from three angles: Firstly, analysis of car registration and activity data between 2000 and 2008 examines the trends which brought about the surge in energy demand. Secondly, the car stock is modelled into the future and is used to populate a baseline “no new policy” scenario, looking at the impact of recent (2008-2011) policy and purchasing developments on projected energy demand and emissions. Thirdly, a range of technology efficiency, fuel switching and behavioural scenarios are developed up to 2025 in order to indicate the emissions abatement and renewable energy penetration potential from alternative policy packages. In particular, an ambitious car fleet electrification target for Ireland is examined. The car stock model‘s functionality is extended by linking it with other models: LEAP-Ireland, a bottom-up energy demand model for all energy sectors in the country; Irish TIMES, a linear optimisation energy system model; and COPERT, a pollution model. The methodology is also adapted to analyse trends in freight energy demand in a similar way. Finally, this thesis addresses the gap in the representation of travel behaviour in linear energy systems models. A novel methodology is developed and case studies for Ireland and California are presented using the TIMES model. Transport Energy

Time-dependent transport through molecular junctions.

We investigate transport properties of molecular junctions under two types of bias--a short time pulse or an ac bias--by combining a solution for Green's functions in the time domain with electronic structure information coming from ab initio density functional calculations. We find that the short time response depends on lead structure, bias voltage, and barrier heights both at the molecule-lead contacts and within molecules. Under a low frequency ac bias, the electron flow either tracks or leads the bias signal (resistive or capacitive response) depending on whether the junction is perfectly conducting or not. For high frequency, the current lags the bias signal due to the kinetic inductance. The transition frequency is an intrinsic property of the junctions.

Heterogeneities in fullerene nanoparticle aggregates affecting reactivity, bioactivity, and transport.

Properties of nanomaterial suspensions are typically summarized by average values for the purposes of characterizing these materials and interpreting experimental results. We show in this work that the heterogeneity in aqueous suspensions of fullerene C(60) aggregates (nC(60)) must be taken into account for the purposes of predicting nanomaterial transport, exposure, and biological activity. The production of reactive oxygen species (ROS), microbial inactivation, and the mobility of the aggregates of the nC(60) in a silicate porous medium all increased as suspensions were fractionated to enrich with smaller aggregates by progressive membrane filtration. These size-dependent differences are attributed to an increasing degree of hydroxylation of nC(60) aggregates with decreasing size. As the quantity and influence of these more reactive fractions may increase with time, experiments evaluating fullerene transport and toxicity end points must take into account the evolution and heterogeneity of fullerene suspensions.

Coordination of platinum therapeutic agents to met-rich motifs of human copper transport protein1.

Platinum therapeutic agents are widely used in the treatment of several forms of cancer. Various mechanisms for the transport of the drugs have been proposed including passive diffusion across the cellular membrane and active transport via proteins. The copper transport protein Ctr1 is responsible for high affinity copper uptake but has also been implicated in the transport of cisplatin into cells. Human hCtr1 contains two methionine-rich Mets motifs on its extracellular N-terminus that are potential platinum-binding sites: the first one encompasses residues 7-14 with amino acid sequence Met-Gly-Met-Ser-Tyr-Met-Asp-Ser and the second one spans residues 39-46 with sequence Met-Met-Met-Met-Pro-Met-Thr-Phe. In these studies, we use liquid chromatography and mass spectrometry to compare the binding interactions between cisplatin, carboplatin and oxaliplatin with synthetic peptides corresponding to hCtr1 Mets motifs. The interactions of cisplatin and carboplatin with Met-rich motifs that contain three or more methionines result in removal of the carrier ligands of both platinum complexes. In contrast, oxaliplatin retains its cyclohexyldiamine ligand upon platinum coordination to the peptide.

Amino acid permeases require COPII components and the ER resident membrane protein Shr3p for packaging into transport vesicles in vitro.

In S. cerevisiae lacking SHR3, amino acid permeases specifically accumulate in membranes of the endoplasmic reticulum (ER) and fail to be transported to the plasma membrane. We examined the requirements of transport of the permeases from the ER to the Golgi in vitro. Addition of soluble COPII components (Sec23/24p, Sec13/31p, and Sar1p) to yeast membrane preparations generated vesicles containing the general amino acid permease. Gap1p, and the histidine permease, Hip1p. Shr3p was required for the packaging of Gap1p and Hip1p but was not itself incorporated into transport vesicles. In contrast, the packaging of the plasma membrane ATPase, Pma1p, and the soluble yeast pheromone precursor, glycosylated pro alpha factor, was independent of Shr3p. In addition, we show that integral membrane and soluble cargo colocalize in transport vesicles, indicating that different types of cargo are not segregated at an early step in secretion. Our data suggest that specific ancillary proteins in the ER membrane recruit subsets of integral membrane protein cargo into COPII transport vesicles.

Biological and physical interactions on a tropical island coral reef: Transport and retention processes on moorea, French Polynesia

The Moorea Coral Reef Long Term Ecological Research project funded by the US National Science Foundation includes multidisciplinary studies of physical processes driving ecological dynamics across the fringing reef, back reef, and fore reef habitats of Moorea, French Polynesia. A network of oceanographic moorings and a variety of other approaches have been used to investigate the biological and biogeochemical aspects of water transport and retention processes in this system. There is evidence to support the hypothesis that a low-frequency counterclockwise flow around the island is superimposed on the relatively strong alongshore currents on each side of the island. Despite the rapid flow and flushing of the back reef, waters over the reef display chemical and biological characteristics distinct from those offshore. The patterns include higher nutrient and lower dissolved organic carbon concentrations, distinct microbial community compositions among habitats, and reef assemblages of zooplankton that exhibit migration behavior, suggesting multigenerational residence on the reef. Zooplankton consumption by planktivorous fish on the reef reflects both retention of reef-associated taxa and capture by the reef community of resources originating offshore. Coral recruitment and population genetics of reef fishes point to retention of larvae within the system and high recruitment levels from local adult populations. The combined results suggest that a broad suite of physical and biological processes contribute to high retention of externally derived and locally produced organic materials within this island coral reef system. © 2013 by The Oceanography Society. All rights reserved.

The use of evacuation modelling techniques in the design of very large transport aircraft and blended wing body aircraft

Very Large Transport Aircraft (VLTA) pose considerable challenges to designers, operators and certification authorities. Questions concerning seating arrangement, nature and design of recreational space, the number, design and location of internal staircases, the number of cabin crew required and the nature of the cabin crew emergency procedures are just some of the issues that need to be addressed. Other more radical concepts such as blended wing body (BWB) design, involving one or two decks with possibly four or more aisles offer even greater challenges. Can the largest exits currently available cope with passenger flow arising from four or five aisles? Do we need to consider new concepts in exit design? Should the main aisles be made wider to accommodate more passengers? In this paper we demonstrate how computer based evacuation models can be used to investigate these issues through examination of staircase evacuation procedures for VLTA and aisle/exit configuration for BWB cabin layouts.

Forward and inverse transport of particulate matter and gaseous pollutants affecting the region bordering the English Channel

The ATTMA "Aerosol Transport in the Trans-Manche Atmosphere" project investigates the transportation and dispersion of air pollutants across the English Channel, in collaboration with local authorities and other Universities in Southern England and Northern France. The research is concerned with both forward and inverse (receptor based) tracking. Two alternative dispersion simulation methods are used: (a) Lagrangian Particle Dispersion (LPD) models, (b) Eulerian Finite Volume type models. This paper is concerned with part (a), the simulations based on LPD models. Two widely applied LPD models are used and compared. Since in many observed episodes the source of pollution is traced outside the region of interest, long range, trans-continental transport is also investigated.