The philosophy and practice of Taktfahrplan: a case-study of the East Coast Main Line.

Executive Summary This Working Paper has three purposes, represented by three Parts: - to explain the principles of the Taktfahrplan approach to railway timetabling; - to summarise the implications of the background research on the structure of the network; and - to describe the exercise of constructing a Taktfahrplan for the East Coast Main Line that formed the case-study of the potential benefits of such a scheme compared with the existing timetable. In Part I the broad principles and objectives are first outlined, and the advantages and disadvantages discussed [§ 1.1,1.2]. A Taktfahrplan is based on standard hours and the careful, network-wide coordination of sewices. It is recognised that ultimately the choice between this and conventional timetabling methods must depend on an evaluation of the loss of present flexibility to adjust to time-specific market demands against the gains from enhanced connectivity and from the fact of regularity. Issues concerning resources and the management of peak periods are also explained. Terminology is then dealt with because words and phrases are being used with imprecise and various meanings [§1.3]. There follows a detailed account of the arithmetic rules through which the ideal relationships between train (and bus) sewices can be attained, together with an explanation of the measures that can be taken to make the best compromises in the face of the characteristics of the real network - or to adjust it over time [§ 1.4]. In Part 2 the research to highlight features of the underlying demand for travel is described. This is not a necessary component of strategic timetable planning, but it is argued that it is desirable in order both to break free from the historical baggage and to seize the business, environmental and social-policy opportunities that a 'clean- sheet' timetable would present [§2.1]. The provisional findings from this work (it was left incomplete for reasons that are explained) are then deployed to form the skeleton of a national network connecting 100 important centres with 158 links. This is followed by an analysis of the very variable standards of the rail timetable on those links and of the road competition and by an account of some first thoughts as to how a full-scale Taktfahrplan might start to be developed on this network [§2.2]. This emphasises the inter-relationships between sewices and the inescapable consequences for pathing trains, once it is accepted that sensible spacing of services and striving for good connectivity are more important than optimising routes on a self-contained basis. It was thought appropriate to include a summary of the findings regarding the low-density end of the current rail system in order to indicate the issues that Taktfahrplan might raise in this respect [§2.3]. The East Coast case-study is presented in Part 3. Some technical matters are explained first, including the key point that the exercise used the Viriato timetabling software employed by the Swiss Federal Railways (and many other systems) to construct Taktfahrpliine [§3.1]. Successive sub-parts then describe groups of services: long-distance [§3.2], services within Scotland [§3.3], services in North East England [§3.4], the trans-Pennine network [§3.5] and some of the Yorkshire services [§3.6]

Metastability-Containing Circuits

In digital circuits, metastability can cause deteriorated signals that neither are logical 0 or logical 1, breaking the abstraction of Boolean logic. Unfortunately, any way of reading a signal from an unsynchronized clock domain or performing an analog-to-digital conversion incurs the risk of a metastable upset; no digital circuit can deterministically avoid, resolve, or detect metastability (Marino, 1981). Synchronizers, the only traditional countermeasure, exponentially decrease the odds of maintained metastability over time. Trading synchronization delay for an increased probability to resolve metastability to logical 0 or 1, they do not guarantee success. We propose a fundamentally different approach: It is possible to contain metastability by fine-grained logical masking so that it cannot infect the entire circuit. This technique guarantees a limited degree of metastability in---and uncertainty about---the output. At the heart of our approach lies a time- and value-discrete model for metastability in synchronous clocked digital circuits. Metastability is propagated in a worst-case fashion, allowing to derive deterministic guarantees, without and unlike synchronizers. The proposed model permits positive results and passes the test of reproducing Marino's impossibility results. We fully classify which functions can be computed by circuits with standard registers. Regarding masking registers, we show that they become computationally strictly more powerful with each clock cycle, resulting in a non-trivial hierarchy of computable functions

An Analysis of the Combustion Behavior of Ethanol, Butanol, Iso-Octane, Gasoline, and Methane in a Direct-Injection Spark-Ignition Research Engine

Future automotive fuels are expected to contain significant quantities of bio-components. This poses a great challenge to the designers of novel low-CO2 internal combustion engines because biofuels have very different properties to those of most typical hydrocarbons. The current article presents results of firing a direct-injection spark-ignition optical research engine on ethanol and butanol and comparing those to data obtained with gasoline and iso-octane. A multihole injector, located centrally in the combustion chamber, was used with all fuels. Methane was also employed by injecting it into the inlet plenum to provide a benchmark case for well-mixed “homogeneous” charge preparation. The study covered stoichiometric and lean mixtures (λ = 1.0 and λ = 1.2), various spark advances (30–50° CA), a range of engine temperatures (20–90°C), and diverse injection strategies (single and “split” triple). In-cylinder gas sampling at the spark-plug location and at a location on the pent-roof wall was also carried out using a fast flame ionization detector to measure the equivalence ratio of the in-cylinder charge and identify the degree of stratification. Combustion imaging was performed through a full-bore optical piston to study the effect of injection strategy on late burning associated with fuel spray wall impingement. Combustion with single injection was fastest for ethanol throughout 20–90°C, but butanol and methane were just as fast at 90°C; iso-octane was the slowest and gasoline was between iso-octane and the alcohols. At 20°C, λ at the spark plug location was 0.96–1.09, with gasoline exhibiting the largest and iso-octane the lowest value. Ethanol showed the lowest degree of stratification and butanol the largest. At 90°C, stratification was lower for most fuels, with butanol showing the largest effect. The work output with triple injection was marginally higher for the alcohols and lower for iso-octane and gasoline (than with single injection), but combustion stability was worse for all fuels. Triple injection produced a lower degree of stratification, with leaner λ at the spark plug than single injection. Combustion imaging showed much less luminous late burning with tripe injection. In terms of combustion stability, the alcohols were more robust to changes in fueling (λ = 1.2) than the liquid hydrocarbons

A Two-moment Radiation Hydrodynamics Module in Athena Using a Time-explicit Godunov Method

We describe a module for the Athena code that solves the gray equations of radiation hydrodynamics (RHD), based on the first two moments of the radiative transfer equation. We use a combination of explicit Godunov methods to advance the gas and radiation variables including the non-stiff source terms, and a local implicit method to integrate the stiff source terms. We adopt the M1 closure relation and include all leading source terms. We employ the reduced speed of light approximation (RSLA) with subcycling of the radiation variables in order to reduce computational costs. Our code is dimensionally unsplit in one, two, and three space dimensions and is parallelized using MPI. The streaming and diffusion limits are well-described by the M1 closure model, and our implementation shows excellent behavior for a problem with a concentrated radiation source containing both regimes simultaneously. Our operator-split method is ideally suited for problems with a slowly varying radiation field and dynamical gas flows, in which the effect of the RSLA is minimal. We present an analysis of the dispersion relation of RHD linear waves highlighting the conditions of applicability for the RSLA. To demonstrate the accuracy of our method, we utilize a suite of radiation and RHD tests covering a broad range of regimes, including RHD waves, shocks, and equilibria, which show second-order convergence in most cases. As an application, we investigate radiation-driven ejection of a dusty, optically thick shell in the interstellar medium (ISM). Finally, we compare the timing of our method with other well-known iterative schemes for the RHD equations. Our code implementation, Hyperion, is suitable for a wide variety of astrophysical applications and will be made freely available on the Web.Comment: 30 pages, 29 figures, accepted for publication in ApJ

Study Of The Relationship Between Delta Delay And Adjacent Parallel Wire Length In 45 Nanometer Process Technology

Hierarchical design spans the complete framework of a design flow from Register Transfer Level (RTL), synthesis, place and route, timing closure and various other analyses before sign-off. Finer geometries and increasing interconnect density however have resulted signal integrity becoming the key issue for Deep Sub-Micron design. Post silicon bug due to noise and signal integrity can be prevented and fixed at early stage of the IC design cycle. The purpose of this research is to establish a preventive measurement for adjacent wire that can travel in parallel for 45nm technology. The intention is to ensure that a complex design can be delivered to the market with accurate, fast and trusted analysis and provide sign-off solution. Main approach is to conduct the relationship study between delta delay and adjacent parallel wire in 45 nanometer (nm) process technology and provide a preventive measurement to limit the adjacent wire can travel in parallel. The design is explored thoroughly to study the relationship between delay noise and adjacent parallel wire. The correlation is translated into an equation to estimate the delay noise produced with a certain length of adjacent parallel wire

A Developmental Organization for Robot Behavior

This paper focuses on exploring how learning and development can be structured in synthetic (robot) systems. We present a developmental assembler for constructing reusable and temporally extended actions in a sequence. The discussion adopts the traditions of dynamic pattern theory in which behavior is an artifact of coupled dynamical systems with a number of controllable degrees of freedom. In our model, the events that delineate control decisions are derived from the pattern of (dis)equilibria on a working subset of sensorimotor policies. We show how this architecture can be used to accomplish sequential knowledge gathering and representation tasks and provide examples of the kind of developmental milestones that this approach has already produced in our lab

Correcting menu usability problems with sound

Future human-computer interfaces will use more than just graphical output to display information. In this paper we suggest that sound and graphics together can be used to improve interaction. We describe an experiment to improve the usability of standard graphical menus by the addition of sound. One common difficulty is slipping off a menu item by mistake when trying to select it. One of the causes of this is insufficient feedback. We designed and experimentally evaluated a new set of menus with much more salient audio feedback to solve this problem. The results from the experiment showed a significant reduction in the subjective effort required to use the new sonically-enhanced menus along with significantly reduced error recovery times. A significantly larger number of errors were also corrected with sound

Modeling, Simulation and Emulation of Intelligent Domotic Environments

Intelligent Domotic Environments are a promising approach, based on semantic models and commercially off-the-shelf domotic technologies, to realize new intelligent buildings, but such complexity requires innovative design methodologies and tools for ensuring correctness. Suitable simulation and emulation approaches and tools must be adopted to allow designers to experiment with their ideas and to incrementally verify designed policies in a scenario where the environment is partly emulated and partly composed of real devices. This paper describes a framework, which exploits UML2.0 state diagrams for automatic generation of device simulators from ontology-based descriptions of domotic environments. The DogSim simulator may simulate a complete building automation system in software, or may be integrated in the Dog Gateway, allowing partial simulation of virtual devices alongside with real devices. Experiments on a real home show that the approach is feasible and can easily address both simulation and emulation requirement

Interpreting mega-development projects as territorial traps: the case of irrigation schemes on the shores of Lake Chad (Borno State, Nigeria)

From the colonial era up to the present, mega-irrigation projects for agriculture have played a key role in the production of state space in Sahelian Africa. Transferring a concept proposed by Agnew (1994) onto a different scale, it is possible to interpret these mega-projects as \u201cterritorial traps\u201d. In fact, they set up boundaries (physical, relational, cognitive and operative) that force evolutive trajectories of the areas involved along rigid pathways. In the aftermath of the systematic failure of the mega-projects, farmers are faced with constraints determined by the trap imposed, without having any of the promised benefits in terms of productive growth, i.e. income. In many situations, the farmers have identified \u201ca means of escape\u201d from these catastrophes by transgressing the boundaries imposed by the territorial traps and reintroducing parts of the infrastructure to a common use. The case study presented regards the irrigation mega-projects on the shores of Lake Chad, in Nigeria