A Modeling Framework for Troubleshooting Automotive Systems

This article presents a novel framework for modeling the troubleshooting process for automotive systems such as trucks and buses. We describe how a diagnostic model of the troubleshooting process can be created using event-driven, nonstationary, dynamic Bayesian networks. Exact inference in such a model is in general not practically possible. Therefore, we evaluate different approximate methods for inference based on the Boyen–Koller algorithm. We identify relevant model classes that have particular structure such that inference can be made with linear time complexity. We also show how models created using expert knowledge can be tuned using statistical data. The proposed learning mechanism can use data that is collected from a heterogeneous fleet of modular vehicles that can consist of different components. The proposed framework is evaluated both theoretically and experimentally on an application example of a fuel injection system.     

Representational Reasoning and Verification

Formal approaches to the design of interactive systems rely on reasoning about properties of the system at a very high level of abstraction. Specifications to support such an approach typically provide little scope for reasoning about presentations and the representation of information in the presentation. In contrast, psychological theories such as distributed cognition place a strong emphasis on the role of representations, and their perception by the user, in the cognitive process. However, the post-hoc techniques for the observation and analysis of existing systems which have developed out of the theory do not help us in addressing such issues at the design stage. Mn this paper we show how a formalisation can be used to investigate the representational aspects of an interface. Our goal is to provide a framework to help identify and resolve potential problems with the representation of information, and to support understanding of representational issues in design. We present a model for linking properties at the abstract and perceptual levels, and illustrate its use in a case study of a ight deck instrument. There is a widespread consensus that proper tool support is a prerequisite for the adoption of formal techniques, but the use of such tools can have a profound effect on the process itself. In order to explore this issue, we apply a higher-order logic theorem prover to the analysis. Received May 1999 / Accepted in revised form July 2000     

The consideration of organizational issues during the systems development process: an empirical analysis

The lack of consideration of organizational issues in systems development can lead to project failure. A review of the literature and a pre-test survey suggested classifying organizational issues into five categories and examining how these are considered by IT managers. A postal survey with responses from 64 senior IT specialists over a cross section of industry and commerce showed that there is a general awareness of the importance of organizational issues but there was little consensus on how they should be addressed in the development process. These IT managers were consistent in spending most effort on the issues perceived as most important from the list of 14 issue provided, but there was considerable variation in which specific issues they rated most important. In general those organizational issues with a 'technical' aspect were given more prominence than those which are less tangible, but which may be more critical to a system's success.     

Direct Experimental Observations on Concurrent Microstructure and Magnetic Property Developments in Non-Grain Oriented Electrical Steel

Non-grain oriented electrical steel, with minor in-grain orientation gradients, was subjected to interrupted tensile deformations and concurrent microtexture, magnetic property and residual stress measurements. After the upper yield point, clear signatures of mechanical stress relief were observed. Changes in orientation gradients led to annihilation of low-angle (1 to 3 deg) boundaries. Prior deformation compressive residual stresses became tensile and magnetic properties improved. Beyond an optimum true strain of 0.01, this boundary annihilation ceased, compressive stresses were generated, and magnetic properties degraded.     

Submicron capsules extracted from rapeseed as novel flocculant agents for the treatment of turbid water

Flocculation is an important step in water treatment as it is responsible for the separation of suspended solids and colloids. The currently used flocculants have certain limitations with respect to environmental impact and disposal as well as potentially being harmful to human health, which has encouraged the study of natural flocculants originating from oleaginous plants. Oil-bodies are individual small organelles in which oleaginous seeds store triacylglycerols reserves. In this article, the flocculant properties of oil-bodies have been investigated. Oil-bodies flocculate at pH 5, 7 and 9 and high ionic strength (100 mM NaCl) and it was demonstrated that their intact structure is necessary for the flocculation activity as treatment with protease K and diethyl ether, that remove the protein coat and the oil-core, respectively, dramatically decreased the flocculation activity. This study shows that oil-bodies have the potential to be novel, natural, sustainable, environmentally friendly and biodegradable flocculant candidates for water treatment.     

Polymorph selection by continuous crystallization

This article is motivated by a remarkable observation reported recently by Myerson, Trout, and co‐workers that continuous crystallization is capable of producing metastable polymorphs in stable steady‐state operation. We explain why this phenomenon occurs and give simple design rules for reproducing it in other polymorphic systems. A linear stability analysis gives simple functions of parameters for which one can continuously produce thermodynamically metastable products based only on the relative polymorph dynamics. We demonstrate agreement with two sets of experimental data; L‐glutamic acid grown from aqueous solution and p‐aminobenzoic acid also grown from aqueous solution. For many polymorphic compounds, engineering a process to produce a desired polymorph is as simple as finding a reasonable operating point for the continuous mixed‐suspension mixed‐product removal crystallization process (temperature, residence time, initial supersaturation, etc.) according to the rules reported in this article. © 2016 American Institute of Chemical Engineers AIChE J, 62: 3505–3514, 2016     

A tribute to professor Roger Sargent: Intellectual leader of process systems engineering

This article and this issue of the AIChE Journal, is a tribute to Professor Roger Sargent who, as pioneer and intellectual leader of process systems engineering, has had a profound impact on the discipline of chemical engineering. Spanning more than five decades, his work has provided a strong mathematical foundation to process systems engineering through the development of sophisticated mathematical and computational tools for the simulation, design, control, operation and optimization of chemical processes. In this article we first give a brief overview of his career that included several leadership positions and the establishment of the Centre for Process Systems Engineering (CPSE) at Imperial College London. We next review his research contributions in the areas of process modeling, differential algebraic systems, process dynamics and control, nonlinear optimization and optimal control, design under uncertainty, and process scheduling. We highlight the tremendous impact that he has had through his students, students' students, and his entire academic family tree, which at present contains over 2000 names, probably one of the largest among the academic leaders of chemical engineering. Finally, we provide a brief overview of him as a modest and charming individual with a wonderful sense of humor. He is without doubt a true intellectual giant who has helped to expand the scope of chemical engineering by providing a strong systems component to it, and by establishing strong multidisciplinary links with other fields. © 2016 American Institute of Chemical Engineers AIChE J, 62: 2951–2958, 2016     

Verifying Concurrent Data Structures by Simulation

We describe an approach to verifying concurrent data structures based on simulation between two Input/Output Automata (IOAs), modelling the specification and the implementation. We explain how we used this approach in mechanically verifying a simple lock-free stack implementation using forward simulation, and briefly discuss our experience in verifying three other lock-free algorithms which all required the use of backward simulation.     

The effect of converting from pravastatin to simvastatin on the pharmacodynamics of warfarin

Glycosylated amino acids and glycosylated human serum albumin reduce nitrite to nitric oxide under anaerobic conditions. The amount of nitric oxide produced was recorded by generation of nitrosoHb from deoxyHb. Without preincubation after the addition of sodium nitrite, glucose or a mixture of glucose with amino acid or serum albumin did not cause spectrophotometrically detectible transformation of deoxyHb into nitrosoHb. The generation of NO increased with an increase in content of colored "final" products of amino acid and serum albumin glycosylation in the incubation mixture. The incubation of blood plasma of patients with diabetes mellitus with nitrite also resulted in the increased production of NO as compared to blood plasma of healthy subjects. During the incubation of healthy subjects' blood plasma with nitrite a small amount of NO was produced. The removal of low-molecular-weight compounds was accompanied by a significantly decreased generation of NO by blood plasma.