Software management tools: Lessons learned from use

Experience in inserting software project planning tools into more than 100 projects producing mission critical software are discussed. The problems the software project manager faces are listed along with methods and tools available to handle them. Experience is reported with the Project Manager's Workstation (PMW) and the SoftCost-R cost estimating package. Finally, the results of a survey, which looked at what could be done in the future to overcome the problems experienced and build a set of truly useful tools, are presented

Production of Reliable Flight Crucial Software: Validation Methods Research for Fault Tolerant Avionics and Control Systems Sub-Working Group Meeting

The state of the art in the production of crucial software for flight control applications was addressed. The association between reliability metrics and software is considered. Thirteen software development projects are discussed. A short term need for research in the areas of tool development and software fault tolerance was indicated. For the long term, research in format verification or proof methods was recommended. Formal specification and software reliability modeling, were recommended as topics for both short and long term research

An experimental evaluation of error seeding as a program validation technique

A previously reported experiment in error seeding as a program validation technique is summarized. The experiment was designed to test the validity of three assumptions on which the alleged effectiveness of error seeding is based. Errors were seeded into 17 functionally identical but independently programmed Pascal programs in such a way as to produce 408 programs, each with one seeded error. Using mean time to failure as a metric, results indicated that it is possible to generate seeded errors that are arbitrarily but not equally difficult to locate. Examination of indigenous errors demonstrated that these are also arbitrarily difficult to locate. These two results support the assumption that seeded and indigenous errors are approximately equally difficult to locate. However, the assumption that, for each type of error, all errors are equally difficult to locate was not borne out. Finally, since a seeded error occasionally corrected an indigenous error, the assumption that errors do not interfere with each other was proven wrong. Error seeding can be made useful by taking these results into account in modifying the underlying model

Wind tunnel tests on airfoil boundary control using a backward opening slot

This report presents the results of an investigation to determine the effect of boundary layer control on the lift and drag of an airfoil equipped with a backward opening slot. Various slot locations, widths of opening, and pressures, were used. The tests were conducted in the Five-Foot Atmospheric Wind Tunnel of the Langley Memorial Aeronautical Laboratory. The greatest increase in maximum lift was 96 per cent, the greatest decrease in minimum drag was 27 per cent, and the greatest increase in the ratio, maximum lift coefficient/minimum drag coefficient, was 151 per cent

Steady-state distributions for models of bubbles: their existence and econometric implications

The purpose of this paper is to examine the properties of bubbles in the light of steady state results for threshold auto-regressive (TAR) models recently derived by Knight and Satchell (2011). We assert that this will have implications for econometrics. We study the conditions under which we can obtain a steady state distribution of asset prices using our simple model of bubbles based on our particular definition of a bubble. We derive general results and further extend the analysis by considering the steady state distribution in three cases of a (I) a normally distributed error process, (II) a non normally (exponentially) distributed steady-state process and (III) a switching random walk with a fairly general i.i.d error process We then examine the issues related to unit root testing for the presence of bubbles using standard econometric procedures. We illustrate as an example, the market for art, which shows distinctly bubble-like characteristics. Our results shed light on the ubiquitous finding of no bubbles in the econometric literature

Generating optimal states for a homodyne Bell test

Published versio

Optical implementability of the two-dimensional Quantum Walk

We propose an optical cavity implementation of the two-dimensional coined quantum walk on the line. The implementation makes use of only classical resources, and is tunable in the sense that a large number of different unitary transformations can be implemented by tuning some parameters of the device.Comment: 9 pages, 3 figure

Why has China grown so fast? The role of physical and human capital formation

Cross-province growth regressions for China are estimated for the reform period. Two research questions are asked. Can the regressions help us to understand why China as a whole has grown so fast? What types of investment matter for China's growth? We address the problem of model uncertainty by adopting two approaches to model selection to consider a wide range of candidate predictors of growth. Starting from the baseline equation, the growth impact of physical and human capital is examined using panel data techniques. Both forms of capital promote economic growth. ‘Investment in innovation’ and private investment are found to be particularly important. Secondary school enrolment contributes to growth, and higher education enrolment even more so