Exhibiting the behaviour of time-delayed systems via an extension to qualitative simulation

I. Miguel and Q. Shen. Exhibiting the behaviour of time-delayed systems via an extension to qualitative simulation. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 35(2):298-305, 2005.

'Psyching-up' and muscular force production

Tod, D. A., Iredale, F., Gill, N. (2003). 'Psyching-up' and muscular force production. Sports Medicine, 33 (1), 47-58. RAE2008

Hidden Type Variables and Conditional Extension for More Expressive Generic Programs

Generic object-oriented programming languages combine parametric polymorphism and nominal subtype polymorphism, thereby providing better data abstraction, greater code reuse, and fewer run-time errors. However, most generic object-oriented languages provide a straightforward combination of the two kinds of polymorphism, which prevents the expression of advanced type relationships. Furthermore, most generic object-oriented languages have a type-erasure semantics: instantiations of type parameters are not available at run time, and thus may not be used by type-dependent operations. This dissertation shows that two features, which allow the expression of many advanced type relationships, can be added to a generic object-oriented programming language without type erasure: 1. type variables that are not parameters of the class that declares them, and 2. extension that is dependent on the satisfiability of one or more constraints. We refer to the first feature as hidden type variables and the second feature as conditional extension. Hidden type variables allow: covariance and contravariance without variance annotations or special type arguments such as wildcards; a single type to extend, and inherit methods from, infinitely many instantiations of another type; a limited capacity to augment the set of superclasses after that class is defined; and the omission of redundant type arguments. Conditional extension allows the properties of a collection type to be dependent on the properties of its element type. This dissertation describes the semantics and implementation of hidden type variables and conditional extension. A sound type system is presented. In addition, a sound and terminating type checking algorithm is presented. Although designed for the Fortress programming language, hidden type variables and conditional extension can be incorporated into other generic object-oriented languages. Many of the same problems would arise, and solutions analogous to those we present would apply.

Comparison of deterministic, stochastic and fuzzy logic uncertainty modelling for capacity extension projects of DI/WFI pharmaceutical plant utilities with variable/dynamic demand

The last 30 years have seen Fuzzy Logic (FL) emerging as a method either complementing or challenging stochastic methods as the traditional method of modelling uncertainty. But the circumstances under which FL or stochastic methods should be used are shrouded in disagreement, because the areas of application of statistical and FL methods are overlapping with differences in opinion as to when which method should be used. Lacking are practically relevant case studies comparing these two methods. This work compares stochastic and FL methods for the assessment of spare capacity on the example of pharmaceutical high purity water (HPW) utility systems. The goal of this study was to find the most appropriate method modelling uncertainty in industrial scale HPW systems. The results provide evidence which suggests that stochastic methods are superior to the methods of FL in simulating uncertainty in chemical plant utilities including HPW systems in typical cases whereby extreme events, for example peaks in demand, or day-to-day variation rather than average values are of interest. The average production output or other statistical measures may, for instance, be of interest in the assessment of workshops. Furthermore the results indicate that the stochastic model should be used only if found necessary by a deterministic simulation. Consequently, this thesis concludes that either deterministic or stochastic methods should be used to simulate uncertainty in chemical plant utility systems and by extension some process system because extreme events or the modelling of day-to-day variation are important in capacity extension projects. Other reasons supporting the suggestion that stochastic HPW models are preferred to FL HPW models include: 1. The computer code for stochastic models is typically less complex than a FL models, thus reducing code maintenance and validation issues. 2. In many respects FL models are similar to deterministic models. Thus the need for a FL model over a deterministic model is questionable in the case of industrial scale HPW systems as presented here (as well as other similar systems) since the latter requires simpler models. 3. A FL model may be difficult to "sell" to an end-user as its results represent "approximate reasoning" a definition of which is, however, lacking. 4. Stochastic models may be applied with some relatively minor modifications on other systems, whereas FL models may not. For instance, the stochastic HPW system could be used to model municipal drinking water systems, whereas the FL HPW model should or could not be used on such systems. This is because the FL and stochastic model philosophies of a HPW system are fundamentally different. The stochastic model sees schedule and volume uncertainties as random phenomena described by statistical distributions based on either estimated or historical data. The FL model, on the other hand, simulates schedule uncertainties based on estimated operator behaviour e.g. tiredness of the operators and their working schedule. But in a municipal drinking water distribution system the notion of "operator" breaks down. 5. Stochastic methods can account for uncertainties that are difficult to model with FL. The FL HPW system model does not account for dispensed volume uncertainty, as there appears to be no reasonable method to account for it with FL whereas the stochastic model includes volume uncertainty.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Reversal of impairment losses, firm performance and reporting incentives: Evidence from Malaysia

Malaysian Financial Reporting Standard (FRS) No. 136, Impairment of Assets, was issued in 2005. The standard requires public listed companies to report their non-current assets at no more than their recoverable amount. When the value of impaired assets is recovered, or partly recovered, FRS 136 requires the impairment charges to be reversed to its new recoverable amount. This study tests whether the reversal of impairment losses by Malaysian firms is more closely associated with economic reasons or reporting incentives. The sample of this study consists of 182 public companies listed on Bursa Malaysia (formerly known as the Kuala Lumpur Stock Exchange) that reported reversals of their impairment charges during the period 2006-2009. These firms are matched with firms which do not reverse impairment on the basis of industrial classification and size. In the year of reversal, this study finds that the reversal firms are more profitable (before reversals) than their matched firms. On average, the Malaysian stock market values the reversals of impairment losses positively. These results suggest that the reversals generally reflect increases in the value of the previously impaired assets. After partitioning firms that are likely to manage earnings and those that are not, this study finds that there are some Malaysian firms which reverse the impairment charges to manage earnings. Their reversals are not value-relevant, and are negatively associated with future firm performance. On the other hand, the reversals of firms which are deemed not to be earnings managers are positively associated with both future firm performance and current stock price performance, and this is the dominant motivation for the reversal of impairment charges in Malaysia. In further analysis, this study provides evidence that the opportunistic reversals are also associated with other earnings management manifestations, namely abnormal working capital accruals and the motivation to avoid earnings declines. In general, the findings suggest that the fair value measurement in impairment standard provides useful information to the users of financial statements.

Reflections on the transformation of my meaning making to support the organic growth of a firm

The objective of my Portfolio is to explore the working hypothesis that the organic growth of a firm is governed by the perspectives of individuals and such perspectives are governed by their meaning-making. The Portfolio presents explorations of the transformation of my meaning making and in adopting new practices to support the organic growth of a firm. I use the work of other theorists to transition my understanding of how the world works. This transition process is an essential tool to engage with and understand the perspectives of others and develop a mental capacity to “train one’s imagination to go visiting” (Arendt, 1982; p.43). The Portfolio, therefore, is primarily located in reflective research. Using Kegan’s (1994) approach to Adult Mental Development, and Sowell’s (2007) understanding of the visions which silently shape our thoughts I organise the developments of my meaning making around three transformation pillars of change. In pillar one I seek to transform an unthinking respect for authority and break down a blind pervasiveness of thought within my reasoning process arising from an instinct for attachment and support from others whom I trust. In pillar two I seek to discontinue using autocratic leadership and learn to use the thoughts and contributions of a wider team to make improved choices about uncertain future events. In pillar three I explore the use of a more reflective thinking framework to test the accuracy of my perceptions and apply a high level of integrity in my reasoning process. The transformation of my meaning making has changed my perspectives and in turn my preferred practices to support the organic growth of a firm. I identify from practice that a transformative form of leadership is far more effective that a transactional form of leadership to stimulate the trust and teamwork required to sustain the growth a firm. Creating an environment where one feels free to share thoughts and feelings with others is an essential tool to build a team to critique the thoughts of one other. Furthermore, the entrepreneurial wisdom to grow a firm must come from a wider team, located both inside and outside the boundaries of a firm. No individual or small team has the mental capacity to provide the entrepreneurship required to drive the organic growth of a firm. I address my Portfolio to leaders in organisations who have no considered framework on the best practices required to lead a social organisation. These individuals may have no sense of what they implicitly believe drives social causation and they may have no understanding if their meaning making supports or curtails the practices required to grow a firm. They may have a very limited capacity to think in a logical manner, with the result they are using guesses from their ‘gut’ to make poor judgements in the management of a firm.

Changes in landing mechanics in patients following anterior cruciate ligament reconstruction when wearing an extension constraint knee brace.

BACKGROUND: Anterior cruciate ligament (ACL) reconstruction is associated with a high incidence of second tears (graft tears and contralateral ACL tears). These secondary tears have been attributed to asymmetrical lower extremity mechanics. Knee bracing is one potential intervention that can be used during rehabilitation that has the potential to normalize lower extremity asymmetry; however, little is known about the effect of bracing on movement asymmetry in patients following ACL reconstruction. HYPOTHESIS: Wearing a knee brace would increase knee joint flexion and joint symmetry. It was also expected that the joint mechanics would become more symmetrical in the braced condition. OBJECTIVE: To examine how knee bracing affects knee joint function and symmetry over the course of rehabilitation in patients 6 months following ACL reconstruction. STUDY DESIGN: Controlled laboratory study. LEVEL OF EVIDENCE: Level 3. METHODS: Twenty-three adolescent patients rehabilitating from ACL reconstruction surgery were recruited for the study. The subjects all underwent a motion analysis assessment during a stop-jump activity with and without a functional knee brace on the surgical side that resisted extension for 6 months following the ACL reconstruction surgery. Statistical analysis utilized a 2 × 2 (limb × brace) analysis of variance with a significant alpha level of 0.05. RESULTS: Subjects had increased knee flexion on the surgical side when they were braced. The brace condition increased knee flexion velocity, decreased the initial knee flexion angle, and increased the ground reaction force and knee extension moment on both limbs. Side-to-side asymmetry was present across conditions for the vertical ground reaction force and knee extension moment. CONCLUSION: Wearing a knee brace appears to increase lower extremity compliance and promotes normalized loading on the surgical side. CLINICAL RELEVANCE: Knee extension constraint bracing in postoperative ACL patients may improve symmetry of lower extremity mechanics, which is potentially beneficial in progressing rehabilitation and reducing the incidence of second ACL tears.

Incontinence and gait disturbance after intraventricular extension of intracerebral hemorrhage.

OBJECTIVE: We tested the hypothesis that intraventricular hemorrhage (IVH) is associated with incontinence and gait disturbance among survivors of intracerebral hemorrhage (ICH) at 3-month follow-ups. METHODS: The Genetic and Environmental Risk Factors for Hemorrhagic Stroke study was used as the discovery set. The Ethnic/Racial Variations of Intracerebral Hemorrhage study served as a replication set. Both studies performed prospective hot-pursuit recruitment of ICH cases with 3-month follow-up. Multivariable logistic regression analyses were computed to identify risk factors for incontinence and gait dysmobility at 3 months after ICH. RESULTS: The study population consisted of 307 ICH cases in the discovery set and 1,374 cases in the replication set. In the discovery set, we found that increasing IVH volume was associated with incontinence (odds ratio [OR] 1.50; 95% confidence interval [CI] 1.10-2.06) and dysmobility (OR 1.58; 95% CI 1.17-2.15) after controlling for ICH location, initial ICH volume, age, baseline modified Rankin Scale score, sex, and admission Glasgow Coma Scale score. In the replication set, increasing IVH volume was also associated with both incontinence (OR 1.42; 95% CI 1.27-1.60) and dysmobility (OR 1.40; 95% CI 1.24-1.57) after controlling for the same variables. CONCLUSION: ICH subjects with IVH extension are at an increased risk for developing incontinence and dysmobility after controlling for factors associated with severity and disability. This finding suggests a potential target to prevent or treat long-term disability after ICH with IVH.

A natural extension of the conventional finite volume method into polygonal unstructured meshes for CFD application.

A new general cell-centered solution procedure based upon the conventional control or finite volume (CV or FV) approach has been developed for numerical heat transfer and fluid flow which encompasses both structured and unstructured meshes for any kind of mixed polygon cell. Unlike conventional FV methods for structured and block structured meshes and both FV and FE methods for unstructured meshes, the irregular control volume (ICV) method does not require the shape of the element or cell to be predefined because it simply exploits the concept of fluxes across cell faces. That is, the ICV method enables meshes employing mixtures of triangular, quadrilateral, and any other higher order polygonal cells to be exploited using a single solution procedure. The ICV approach otherwise preserves all the desirable features of conventional FV procedures for a structured mesh; in the current implementation, collocation of variables at cell centers is used with a Rhie and Chow interpolation (to suppress pressure oscillation in the flow field) in the context of the SIMPLE pressure correction solution procedure. In fact all other FV structured mesh-based methods may be perceived as a subset of the ICV formulation. The new ICV formulation is benchmarked using two standard computational fluid dynamics (CFD) problems i.e., the moving lid cavity and the natural convection driven cavity. Both cases were solved with a variety of structured and unstructured meshes, the latter exploiting mixed polygonal cell meshes. The polygonal mesh experiments show a higher degree of accuracy for equivalent meshes (in nodal density terms) using triangular or quadrilateral cells; these results may be interpreted in a manner similar to the CUPID scheme used in structured meshes for reducing numerical diffusion for flows with changing direction.

An extension of Purcell's vector method with applications to panel element equations

The classical Purcell's vector method, for the construction of solutions to dense systems of linear equations is extended to a flexible orthogonalisation procedure. Some properties are revealed of the orthogonalisation procedure in relation to the classical Gauss-Jordan elimination with or without pivoting. Additional properties that are not shared by the classical Gauss-Jordan elimination are exploited. Further properties related to distributed computing are discussed with applications to panel element equations in subsonic compressible aerodynamics. Using an orthogonalisation procedure within panel methods enables a functional decomposition of the sequential panel methods and leads to a two-level parallelism.

Range extension and reproduction of the barnacle Balanus perforatus in the eastern English Channel

The distribution of the warm-water barnacle, Balanus perforatus, was surveyed along the south coast of England and the north-east coast of France between 1993 and 2001, repeating work carried out between the 1940s and 1960s. The species has recovered from catastrophic mortality during the severe winter of 1962–1963 and was found over 120 km (UK) and 190 km (France) east of previous records on both sides of the Channel. The presence of the species in the eastern Channel refutes suggestions in the 1950s that larvae, and hence adults, would not be found east of the Isle of Wight because of reproductive sterility close to the limits of distribution. Brooding of specimens translocated to Bembridge, Isle of Wight, commenced in May, earlier than previously observed in British waters, and continued until September. The stage of embryo development at Bembridge in mid-August was comparable to that of the large population at Lyme Regis, Dorset 100 km further west. However the size of brood per standard body weight was greater at Lyme Regis. Factors influencing the rate of colonization and further geographic range extension of the species as a possible result of climate change, are discussed.

Variability in northwards extension of warm water copepods in the NE Pacific

The Continuous Plankton Recorder has been deployed in the NE Pacific on two intersecting transects since 2000. Many deployments included a temperature sensor providing in situ temperature data to supplement the species abundance data for 1300 samples. Twenty-nine copepod taxa were sufficiently abundant to examine their temperature-related distributions. Groups of warm- and cold-water species were identified, with overlapping distributions between 48 and 588N. Recent fluctuations in ocean climate, from the warmest year on record in 2005 to one of the coldest in decades in 2008, provided ideal conditions to observe temperature-related interannual variability. The abundance and northwards extension of warm water species were significantly positively correlated with mean annual temperature and the Pacific Decadal Oscillation. The cold water species showed no correlations with temperature/Pacific Decadal Oscillation (PDO) within the study region; however, if the 4 years of sampling that extended south to 398N were examined separately, there was a strong relationship between temperature/PDO and the southern extent of subarctic copepods. Under warm ocean conditions, the range overlap of the two groups will increase as warm water species extend northwards, causing an increase in copepod diversity. Since warm water species are generally smaller and nutritionally poorer, this has implications for higher trophic levels