Experiences in Expert Systems

This paper describes some work carried out in the Scientific Research and Development Branch (SRDB) of the Home Office, intended to contribute to an overall aim of building up internal expertise in the field of expert systems. This was done by carrying out a number of pilot and demonstrator projects, two of which are described in some detail. The plan, which proved successful, was to build as far as possible on the relevant skills already possessed by an OR group in the branch. The lessons learned from these are summarized in the hope that they will be of use to other groups who wish to become involved in this important area.     

Sulfobetaine‐containing diblock and triblock copolymers via reversible addition‐fragmentation chain transfer polymerization in aqueous media

A novel bifunctional acrylamido‐based reversible addition–fragmentation chain transfer (RAFT) chain‐transfer agent (CTA), N,N′‐ethylenebis[2‐(thiobenzoylthio)propionamide] (CTA2), has been synthesized and used for the controlled free‐radical polymerization of N,N‐dimethylacrylamide (DMA). A comparative study of CTA2 and the monofunctional CTA N,N‐dimethyl‐s‐thiobenzoylthiopropionamide (CTA1) has been conducted. Polymerizations mediated by CTA1 result in poly(N,N‐dimethylacrylamide) (PDMA) homopolymers with unimodal molecular weight distributions, whereas CTA2 yields unimodal, bimodal, and trimodal distributions according to the extent of conversion. The multimodal nature of the PDMAs has been attributed to termination events and/or chains initiated by primary radicals. The RAFT polymerization of DMA with CTA2 also results in a prolonged induction period that may be attributed to the higher local concentration of dithioester functionalities early in the polymerization. A series of ω‐ and α,ω‐dithioester‐capped PDMAs have been prepared in organic media and subsequently employed as macro‐CTAs for the synthesis of diblock and triblock copolymers in aqueous media with the zwitterionic monomer 3‐[2‐(N‐methylacrylamido)‐ethyldimethylammonio] propane sulfonate (MAEDAPS). Additionally, an ω‐dithioester‐capped MAEDAPS homopolymer has been used as a macro‐CTA for the block polymerization of DMA. To our knowledge, this is the first example of a near‐monodisperse, sulfobetaine‐containing block copolymer prepared entirely in aqueous media. The diblock and triblock copolymers form aggregates in pure water that can be dissociated by the addition of salt, as determined by ¹H NMR spectroscopy and dynamic light scattering. In pure water, highly uniform, micellelike aggregates with hydrodynamic diameters of 71–93 nm are formed. © 2003 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 41: 1262–1281, 2003     

The classification of closed surfaces using colored graphs

A short graph theoretic proof of the classification of closed surfaces is given. The new proof has the feature that the symmetric canonical graphs for the surfaces do not correspond to the canonical polygons in the usual proof of the classification.     

Asymptotic Correction of More Sturm–Liouville Eigenvalue Estimates

The asymptotic correction technique of Paine, de Hoog and Anderssen can dramatically improve the accuracy of finite difference or finite element eigenvalues at negligible extra cost if closed form expressions are available for the errors in a simpler related problem. This paper gives closed form expressions for the errors in the eigenvalues of certain Sturm–Liouville problems obtained by various methods, thereby increasing the range of problems for which asymptotic correction can achieve maximum efficiency. It also investigates implementation of the method for more general problems.     

Large Scale Linear Programs and Heuristics for the Design of Survivable Telecommunication Networks

We consider the problem of providing a minimum cost multi-service network subject to one link failure scenarios. We assume our network is fully meshed and demand is satisfied by using direct or two hop-paths. We provide a large scale linear programming formulation and propose and test two effective heuristics.     

Separation index of a graph

The concepts of separation index of a graph and of a surface are introduced. We prove that the separation index of the sphere is 3. Also the separation index of any graph faithfully embedded in a surface of genus g is bounded by a funtion of g. © 2002 Wiley Periodicals, Inc. J Graph Theory 41: 53–61, 2002     

Cooperative Strategies for Solving the Bicriteria Sparse Multiple Knapsack Problem

For hard optimization problems, it is difficult to design heuristic algorithms which exhibit uniformly superior performance for all problem instances. As a result it becomes necessary to tailor the algorithms based on the problem instance. In this paper, we introduce the use of a cooperative problem solving team of heuristics that evolves algorithms for a given problem instance. The efficacy of this method is examined by solving six difficult instances of a bicriteria sparse multiple knapsack problem. Results indicate that such tailored algorithms uniformly improve solutions as compared to using predesigned heuristic algorithms.     

New interpretations of XPS spectra of nickel metal and oxides

A current interpretation of XPS spectra of Ni metal assumes that the main 6 eV satellite is due to a two hole c3d⁹4s² (c is a core hole) final state effect. We report REELS observation in AES at low voltages of losses (plasmons and inter-band transitions) corresponding to the satellite structures in Ni metal 2p spectra. The satellite near 6 eV is attributed to a predominant surface plasmon loss. A current interpretation of Ni 2p spectra of oxides and other compounds is based on charge transfer assignments of the main peak at 854.6 eV and the broad satellite centred at around 861 eV to the cd⁹L and the unscreened cd⁸ final-state configurations, respectively (L is a ligand hole). Multiplet splittings have been shown to be necessary for assignment of Fe 2p and Cr 2p spectral profiles and chemical states. The assignments of Ni 2p states are re-examined with intra-atomic multiplet envelopes applied to Ni(OH)₂, NiOOH and NiO spectra. It is shown that the free ion multiplet envelopes for Ni²⁺ and Ni³⁺ simulate the main line and satellite structures for Ni(OH)₂ and NiOOH. Fitting the NiO Ni 2p spectral profile is not as straightforward as the hydroxide and oxyhydroxide. It may involve contributions from inter-atomic, non-local electronic coupling and screening effects with multiplet structures significantly different from the free ions as found for MnO. A scheme for fitting these spectra using multiplet envelopes is proposed.     

The 1-type of a Waldhausen K-theory spectrum

We give a small functorial algebraic model for the 2-stage Postnikov section of the K-theory spectrum of a Waldhausen category and use our presentation to describe the multiplicative structure with respect to biexact functors.     

Performance and analysis of saddle point preconditioners for the discrete steady-state Navier-Stokes equations

Summary. We examine the convergence characteristics of iterative methods based on a new preconditioning operator for solving the linear systems arising from discretization and linearization of the steady-state Navier-Stokes equations. With a combination of analytic and empirical results, we study the effects of fundamental parameters on convergence. We demonstrate that the preconditioned problem has an eigenvalue distribution consisting of a tightly clustered set together with a small number of outliers. The structure of these distributions is independent of the discretization mesh size, but the cardinality of the set of outliers increases slowly as the viscosity becomes smaller. These characteristics are directly correlated with the convergence properties of iterative solvers. Received August 5, 2000 / Published online June 20, 2001