A Model-Based Method for an Online Diagnostic Knowledge-Based System

Fault diagnosis is very important for modern production technology and has received increasing theoretical and practical attention during the last few years. This paper presents a model-based diagnostic method for industrial systems. An online, real-time, deep knowledge based fault detection system has been developed by combining different development environments and tools. The system diagnoses, predicts and compensates faults by coupling symbolic and numerical data in a new environment suitable for the interaction of different sources of knowledge and has been successfully implemented and tested on a real hydraulic system.     

LEARNING AND VERIFYING SAFETY CONSTRAINTS FOR PLANNERS IN A KNOWLEDGE‐IMPOVERISHED SYSTEM

We present a Bayesian approach to learning flexible safety constraints and subsequently verifying whether plans satisfy these constraints. Our approach, called the Safety Constraint Learner/Checker (SCLC), infers safety constraints from a single expert demonstration trace and minimal background knowledge, and applies these constraints to the solutions proposed by multiple planning agents in an integrated and heterogeneous ensemble. The SCLC calculates how much to blame plan fragments (partial solutions) generated by the individual planning agents. This information is used when composing these fragments into a final overall plan. In particular, fragments whose safety violations exceed a threshold are rejected. This facilitates the generation of safe plans. We have integrated the SCLC within the Generalized Integrated Learning Architecture, which was designed for Defense Advanced Research Projects Agency (DARPA)’s Integrated Learning (IL) program. The main goal of the IL program is to promote the development and success of sophisticated systems that learn to solve challenging real‐world problems based on a simple demonstration by a human expert and exiguous domain knowledge. We present experimental results showing the advantages of the SCLC on two multiagent problem‐solving tasks that were benchmark applications in DARPA’s IL program.     

Progressive Virtual Beam Lights

A recent technique that forms virtual ray lights (VRLs) from path segments in media, reduces the artifacts common to VPL approaches in participating media, however, distracting singularities still remain. We present Virtual Beam Lights (VBLs), a progressive many‐lights algorithm for rendering complex indirect transport paths in, from, and to media. VBLs are efficient and can handle heterogeneous media, anisotropic scattering, and moderately glossy surfaces, while provably converging to ground truth. We inflate ray lights into beam lights with finite thicknesses to eliminate the remaining singularities. Furthermore, we devise several practical schemes for importance sampling the various transport contributions between camera rays, light rays, and surface points. VBLs produce artifact‐free images faster than VRLs, especially when glossy surfaces and/or anisotropic phase functions are present. Lastly, we employ a progressive thickness reduction scheme for VBLs in order to render results that converge to ground truth.     

Sputter deposition of bcc tantalum films with TaN underlayers for protection of steel

Deposition of tantalum films for protective coatings on steel has been investigated. The desired tough and ductile bcc phase of tantalum, rather than the normally deposited hard and brittle tetragonal phase, has been grown by DC magnetron sputtering on unheated substrates first covered with thin layers of tantalum nitride. The nitride was formed by reactive sputtering with nitrogen gas, with the same DC magnetron source and target as used for deposition of tantalum. The crystal structure and composition of the nitride promoting the growth of bcc Ta, previously undefined, has been identified as the metastable fcc (NaCl like) TaN. Alignment of the (111) crystallographic planes of fcc TaN with (110) planes of bcc Ta is discussed as a possible mechanism for this effect. The minimum thickness of TaN underlayer on steel, required to promote the growth of bcc Ta, has been established and found to be dependent on the substrate surface preparation. Scratch tests with a diamond tip showed that the nitride underlayer does not compromise the film adhesion. Stable and well-adhering coatings of bcc Ta with thickness ranging from tens of nanometers to tens of micrometers on steel with a thin TaN underlayer were obtained. The process of deposition of bcc Ta films, including the formation of TaN underlayers is described in detail.     

Preventive maintenance models with random maintenance quality

In real-world environments it is usually difficult to specify the quality of a preventive maintenance (PM) action precisely. This uncertainty makes it problematic to optimise maintenance policy. This problem is tackled in this paper by assuming that the quality of a PM action is a random variable following a probability distribution. Two frequently studied PM models, a failure rate PM model and an age reduction PM model, are investigated. The optimal PM policies are presented and optimised. Numerical examples are also given.     

Staged Coagulation for Treatment of Refractory Organics

Seasonal periods of high rainfall have been shown to cause elevated natural organic matter (NOM) loadings at treatment works. These high levels lead to difficulties in removing sufficient NOM to meet trihalomethane standards, and hence better alternative treatments are required. Here the removal of NOM was investigated by conventional coagulation treatment using both bulk and fractionated NOM. Initial experiments showed that over 70% removal of the hydrophobic and hydrophilic acid fractions was achieved at the works, while only 16% of the hydrophilic nonacid fraction was being removed. Bench scale jar testing of the isolated NOM fractions demonstrated that high removals of the hydrophobic fractions were achieved and that optimized conditions increased removal of the hydrophilic fractions, indicating that staged coagulation could be of benefit in the removal of the recalcitrant fractions. Experiments using optimized staged coagulation indicated that a small increase in the removal of the total NOM of this water was possible when compared to conventional treatment.     

Reduction of defects and improvement in the performance of blue phosphor for thick‐dielectric electroluminescent displays using Color‐by‐Blue

Abstract— Defect‐free large‐area inorganic thick‐dielectric EL (TDEL) displays using Color by Blue (CBB) technology have been successfully developed. We have achieved the world's highest blue‐phosphor luminance of 900 cd/m² for a single‐pixel device by using CBB and by optimizing the e‐beam gun configuration and the flow rate of H₂S in the vacuum chamber. By analyzing the defects on panels with triple‐pattern phosphors and CBB panels, we also found that the number of defects on CBB panels can be drastically reduced compared with those on triple‐pattern panels. The defect‐free 17‐in. VGA CBB panels show better characteristics, a high peak luminance of 600 cd/m² and a high contrast ratio of 1000:1, compared with those of triple‐pattern panels.     

Thermally compensated temperature sensor capable of highly accurate measurements on surfaces

A thermally compensated temperature sensor capable of highly accurate determination of surface temperatures has been demonstrated. The probe consists of a single crystal Y(3)Al(5)O(12) fiber terminating in a laser-heated Yb(3)Al(5)O(12) phosphor. It has been shown to have a measurement accuracy of approximately 1 degrees C. In principle, this device should work in the proximity as well as the contact mode.     

Software Specification

Abstract

The notion of ‘specification’ is generally held to be crucial to the process of software production and the anchor point for the science of computing. It has, however, no simple, well-defined meaning. There are a variety of interpretations and usages of the term. This paper surveys the field of possibilities, both to display this varietal profusion, and to make the point that no one interpretation has a sound claim to be the best.     

Book Received and Noted

Abstract

THE DAGUERREOTYPE. — The first experiments made in this country with the instrument and process of M. Daguerre were exhibited yersterday [sic] by M. St. Croix, who has just arrived from Paris, in the presence of a select number of scientific men and artists … The place of exhibition was No.7, Piccadilly, nearly opposite the southern crescent of Regent-street, and the picture produced was a beautiful miniature representation of the houses, pathway, sky, &;c, resembling a beautiful mezzo tint. The experiments were perfectly satisfactory.¹