Intelligent execution monitoring and error analysis in planning involving processes

An intelligent agent, operating in an external world which cannot be fully described in its internal world model, must be able to monitor the success of a previously generated plan and to respond to any errors which may have occurred. The process of error analysis requires the ability to reason in an expert fashion about time and about processes occurring in the world. Reasoning about time is needed to deal with causality. Reasoning about processes is needed since the direct effects of a plan action can be completely specified when the plan is generated, but the indirect effects cannot. For example, the action `open tap' leads with certainty to `tap open', whereas whether there will be a fluid flow and how long it might last is more difficult to predict. The majority of existing planning systems cannot handle these kinds of reasoning, thus limiting their usefulness. This thesis argues that both kinds of reasoning require a complex internal representation of the world. The use of Qualitative Process Theory and an interval-based representation of time are proposed as a representation scheme for such a world model. The planning system which was constructed has been tested on a set of realistic planning scenarios. It is shown that even simple planning problems, such as making a cup of coffee, require extensive reasoning if they are to be carried out successfully. The final Chapter concludes that the planning system described does allow the correct solution of planning problems involving complex side effects, which planners up to now have been unable to solve.

Formal methods for the development and verification of autonomic IT systems

This chapter explores ways in which rigorous mathematical techniques, termed formal methods, can be employed to improve the predictability and dependability of autonomic computing. Model checking, formal specification, and quantitative verification are presented in the contexts of conflict detection in autonomic computing policies, and of implementation of goal and utility-function policies in autonomic IT systems, respectively. Each of these techniques is illustrated using a detailed case study, and analysed to establish its merits and limitations. The analysis is then used as a basis for discussing the challenges and opportunities of this endeavour to transition the development of autonomic IT systems from the current practice of using ad-hoc methods and heuristic towards a more principled approach. © 2012, IGI Global.

CO2 emissions reduction of Chinese light manufacturing industries:a novel RAM-based global Malmquist-Luenberger productivity index

Climate change has become one of the most challenging issues facing the world. Chinese government has realized the importance of energy conservation and prevention of the climate changes for sustainable development of China's economy and set targets for CO2 emissions reduction in China. In China industry contributes 84.2% of the total CO2 emissions, especially manufacturing industries. Data envelopment analysis (DEA) and Malmquist productivity (MP) index are the widely used mathematical techniques to address the relative efficiency and productivity of a group of homogenous decision making units, e.g. industries or countries. However, in many real applications, especially those related to energy efficiency, there are often undesirable outputs, e.g. the pollutions, waste and CO2 emissions, which are produced inevitably with desirable outputs in the production. This paper introduces a novel Malmquist-Luenberger productivity (MLP) index based on directional distance function (DDF) to address the issue of productivity evolution of DMUs in the presence of undesirable outputs. The new RAM (Range-adjusted measure)-based global MLP index has been applied to evaluate CO2 emissions reduction in Chinese light manufacturing industries. Recommendations for policy makers have been discussed.

The framework of the virtual laser tracker - A systematic approach to the assessment of error sources and uncertainty in laser tracker measurement

Laser trackers have been widely used in many industries to meet increasingly high accuracy requirements. In laser tracker measurement, it is complex and difficult to perform an accurate error analysis and uncertainty evaluation. This paper firstly reviews the working principle of single beam laser trackers and state-of- The- Art of key technologies from both industrial and academic efforts, followed by a comprehensive analysis of uncertainty sources. A generic laser tracker modelling method is formulated and the framework of the virtual tracker is proposed. The VLS can be used for measurement planning, measurement accuracy optimization and uncertainty evaluation. The completed virtual laser tracking system should take all the uncertainty sources affecting coordinate measurement into consideration and establish an uncertainty model which will behave in an identical way to the real system. © Springer-Verlag Berlin Heidelberg 2010.

The use of proteomics for the assessment of clinical samples in research

Proteomics, the analysis of expressed proteins, has been an important developing area of research for the past two decades [Anderson, NG, Anderson, NL. Twenty years of two-dimensional electrophoresis: past, present and future. Electrophoresis 1996;17:443-53]. Advances in technology have led to a rapid increase in applications to a wide range of samples; from initial experiments using cell lines, more complex tissues and biological fluids are now being assessed to establish changes in protein expression. A primary aim of clinical proteomics is the identification of biomarkers for diagnosis and therapeutic intervention of disease, by comparing the proteomic profiles of control and disease, and differing physiological states. This expansion into clinical samples has not been without difficulties owing to the complexity and dynamic range in plasma and human tissues including tissue biopsies. The most widely used techniques for analysis of clinical samples are surface-enhanced laser desorption/ionisation mass spectrometry (SELDI-MS) and 2-dimensional gel electrophoresis (2-DE) coupled to matrix-assisted laser desorption ionisation [Person, MD, Monks, TJ, Lau, SS. An integrated approach to identifying chemically induced posttranslational modifications using comparative MALDI-MS and targeted HPLC-ESI-MS/MS. Chem. Res. Toxicol. 2003;16:598-608]-mass spectroscopy (MALDI-MS). This review aims to summarise the findings of studies that have used proteomic research methods to analyse samples from clinical studies and to assess the impact that proteomic techniques have had in assessing clinical samples. © 2004 The Canadian Society of Clinical Chemists. All rights reserved.

Shareholder or stakeholder management:strategies for performance optimisation

This paper is based upon the findings of a CIMA research project into the way which corporate performance is affected by the performance measurement system adopted. It compares and contrasts the techniques in use in a sample of large companies that use a variety of techniques. We have classified these techniques into 3 types: • Value based management techniques • Stakeholder management techniques • Traditional accounting techniques. The analysis traces the interactions between corporate objectives, decision making criteria, performance measurement systems, and executive incentive schemes in order to develop an understanding of the effects of such techniques upon corporate performance. This paper seeks to provide some answers to the following two questions: • What approach leads to superior performance for a firm? • What is different between these approaches when they are used in practice, as distinct from theory? In doing so we have drawn upon both contingency theory and sociobiology theory to develop a framework for understanding the relationship between the choke of performance measurement system and the resulting performance.

Shareholder value application in UK listed companies

This paper is based upon the initial findings of a CIMA research project into the way in which corporate performance measurement systems are influenced by the use of shareholder value management techniques. It compares and contrasts the techniques in use in a sample of 10 companies that either explicitly use shareholder value techniques also known as Value-Based Management (VBM), or explicitly do not use such techniques. The analysis undertaken is based upon the finding of semi-structured interviews with company representatives which formed the first part of the data collection process of the project. The analysis traces the interactions between corporate objectives, decision making criteria, performance measurement systems and executive incentive schemes in order to develop an understanding of the effects of such shareholder value techniques upon corporate behaviour. The literature reviewed suggests that the other aspects of the planning and control system should be aligned with the corporate objectives whether a company has adopted VBM or not. Therefore this research contributes new evidence on the use of VBM techniques in the UK and also more generally on whether VBM and non-VBM companies internal planning and control systems are aligned.

Accuracy of cornea and lens biometry using anterior segment optical coherence tomography

We assess the accuracy of the Visante anterior segment optical coherence tomographer (AS-OCT) and present improved formulas for measurement of surface curvature and axial separation. Measurements are made in physical model eyes. Accuracy is compared for measurements of corneal thickness (d1) and anterior chamber depth (d2) using-built-in AS-OCT software versus the improved scheme. The improved scheme enables measurements of lens thickness (d 3) and surface curvature, in the form of conic sections specified by vertex radii and conic constants. These parameters are converted to surface coordinates for error analysis. The built-in AS-OCT software typically overestimates (mean±standard deviation(SD)]d1 by +62±4 μm and d2 by +4±88μm. The improved scheme reduces d1 (-0.4±4 μm) and d2 (0±49 μm) errors while also reducing d3 errors from +218±90 (uncorrected) to +14±123 μm (corrected). Surface x coordinate errors gradually increase toward the periphery. Considering the central 6-mm zone of each surface, the x coordinate errors for anterior and posterior corneal surfaces reached +3±10 and 0±23 μm, respectively, with the improved scheme. Those of the anterior and posterior lens surfaces reached +2±22 and +11±71 μm, respectively. Our improved scheme reduced AS-OCT errors and could, therefore, enhance pre- and postoperative assessments of keratorefractive or cataract surgery, including measurement of accommodating intraocular lenses. © 2007 Society of Photo-Optical Instrumentation Engineers.

The effect of haem limitation and iron restriction on outer membrane proteins and on respiratory systems of non typable Haemophilus influenzae

The effects of haem limitation and iron restriction on cells of non typable Haemophilus influenzae were investigated. Haem limitation was achieved by adding concentrations of haem to growth media which resulted in substantial decreases in final cell yields. Iron restriction was achieved by substituting protoporphyrin IX (PPIX) for haem in the growth medium and adding an iron chelator to the system. The effect of these nutrient limitations on a) outer membrane composition, and b) respiratory systems of non typable H.influenzae was investigated. Several of the strains examined produced new PPIX-specific outer membrane proteins when cultured utilising PPIX as a porphyrin source. The immune response of patients with bronchiectasis to outer membrane antigens of H.influenzae cultured under iron-restricted conditions was analysed by ELISA and immunoblotting techniques. ELISA analysis revealed that individuals with severe bronchiectasis had high titres of antibodies directed against H.influenzae OMs in both serum and sputum. Immunoblotting with homologous serum showed that where PPIX-specific OMPs were produced they were antigenic and were recognised by patients' serum. This suggested that these H.influenzae OMPs may be expressed in vivo. Additionally, the development of the immune responses to non typable H.influenzae outer membrane antigens was investigated using a rat lung model. Bacteria encased in agar beads were inoculated intratracheally into rat lungs, infection was established, and the immune response monitored for 6 weeks. The animals developed antibodies to PPIX-specific OMPs during the course of infection, providing further evidence that H.influenzae express these novel OMP antigens when growing in vivo. Studies in vitro on respiratory systems of phenotypically altered H.influenzae showed that bacteria grown utilising PPIX as a porphyrin source, or under conditions of iron-restriction produced ten fold fewer cytochromes than cells grown in nutrient excess, while haem limited H.influenzae produced no detectable cytochromes. Respiration of various substrates was depressed in haem limited and in PPIX-grown cultures as compared with cells grown in nutrient excess.

Gravity field recovery using two low satellites in different orbital planes

This study is concerned with gravity field recovery from low-low satellite to satellite range rate data. An improvement over a coplanar mission is predicted in the errors associated with certain parts of the geopotential by the separation of the orbital planes of the two satellites. Using Hill's equations an analytical scheme to model the range rate residuals is developed. It is flexible enough to model equally well the residuals between pairs of satellites in the same orbital plane or whose planes are separated in right ascension. The possible benefits of such an orientation to gravity field recovery from range rate data can therefore be analysed, and this is done by means of an extensive error analysis. The results of this analysis show that for an optimal planar mission improvements can be made by separating the satellites in right ascension. Gravity field recoveries are performed in order to verify and gauge the limitations of the analytical model, and to support the results of the error analysis. Finally the possible problem of the differential decay rates of two satellites due to the diurnal bulge are evaluated.

The control of technological change in the motor industry:a case study

This thesis is based upon a case study of the introduction of automated production technologies at the Longbridge plant of British Leyland in the period 1978 to 1980.The investment in automation was part of an overall programme of modernization to manufacture the new 'Mini Metro' model. In the first Section of the thesis, the different theoretical perspectives on technological change are discussed. Particular emphasis is placed upon the social role of management as the primary controllers of technological change. Their actions are seen to be oriented towards the overall strategy of the firm, integrating the firm's competitive strategy with production methods and techniques.This analysis is grounded in an examination of British Leyland's strategies during the 1970s.. The greater part of the thesis deals with the efforts made by management to secure their strategic objectives in the process of technological change against the conflicting claims of their work-force. Examination of these efforts is linked to the development of industrial relations conflict at Longbridge and in British Leyland as a whole.Emphasis is placed upon the struggle between management in pursuit of their version of efficiency and the trade unions in defence of job controls and demarcations. The thesis concludes that the process of technological change in the motor industry is controlled by social forces,with the introduction of new technologies being closely intertwined with management!s political relations with the trade unions.

Dissipative nonlinear structures in optical fiber systems III : dissipative solitons via nonlinear mapping

In the third and final talk on dissipative structures in fiber applications, we discuss mathematical techniques that can be used to characterize modern laser systems that consist of several discrete elements. In particular, we use a nonlinear mapping technique to evaluate high power laser systems where significant changes in the pulse evolution per cavity round trip is observed. We demonstrate that dissipative soliton solutions might be effectively described using this Poincaré mapping approach.

Dissipative nonlinear structures in optical fiber systems III:dissipative solitons via nonlinear mapping

In the third and final talk on dissipative structures in fiber applications, we discuss mathematical techniques that can be used to characterize modern laser systems that consist of several discrete elements. In particular, we use a nonlinear mapping technique to evaluate high power laser systems where significant changes in the pulse evolution per cavity round trip is observed. We demonstrate that dissipative soliton solutions might be effectively described using this Poincaré mapping approach.

2D-3D registration of CT vertebra volume to fluoroscopy projection:a calibration model assessment

This study extends a previous research concerning intervertebral motion registration by means of 2D dynamic fluoroscopy to obtain a more comprehensive 3D description of vertebral kinematics. The problem of estimating the 3D rigid pose of a CT volume of a vertebra from its 2D X-ray fluoroscopy projection is addressed. 2D-3D registration is obtained maximising a measure of similarity between Digitally Reconstructed Radiographs (obtained from the CT volume) and real fluoroscopic projection. X-ray energy correction was performed. To assess the method a calibration model was realised a sheep dry vertebra was rigidly fixed to a frame of reference including metallic markers. Accurate measurement of 3D orientation was obtained via single-camera calibration of the markers and held as true 3D vertebra position; then, vertebra 3D pose was estimated and results compared. Error analysis revealed accuracy of the order of 0.1 degree for the rotation angles of about 1mm for displacements parallel to the fluoroscopic plane, and of order of 10mm for the orthogonal displacement. © 2010 P. Bifulco et al.