Allocating electricity transmission costs through tracing: a game-theoretic rationale

Tracing is a method of assigning flows in an electricity network to particular generators and loads, assuming perfect mixing at each node. It can be used to assign costs to transmission users. We show that the resulting allocation is equal to the Shapley value of an equivalent co-operative game.     

A branch and bound algorithm for the robust shortest path problem with interval data

Many real problems can be modelled as robust shortest path problems on interval digraphs, where intervals represent uncertainty about real costs and a robust path is not too far from the shortest path for each possible configuration of the arc costs.A branch and bound algorithm for this problem is presented.     

Timelike Minimal Surfaces via Loop Groups

This work consists of two parts. In Part I, we shall give a systematic study of Lorentz conformal structure from structural viewpoints. We study manifolds with split-complex structure. We apply general results on split-complex structure for the study of Lorentz surfaces.In Part II, we study the conformal realization of Lorentz surfaces in the Minkowski 3-space via conformal minimal immersions. We apply loop group theoretic Weierstrass-type representation of timelike constant mean curvature for timelike minimal surfaces. Classical integral representation formula for timelike minimal surfaces will be recovered from loop group theoretic viewpoint.     

Explicit 2-Factorisations of the Odd Graph

In this note we show how 1-factors in the middle two layers of the discrete cube can be used to construct 2-factors in the Odd graph (the Kneser graph of (k − 1)-sets from a (2k − 1)-set). In particular, we use the lexical matchings of Kierstead and Trotter, and the modular matchings of Duffus, Kierstead and Snevily, to give explicit constructions of two different 2-factorisations of the Odd graph. This revised version was published online in September 2006 with corrections to the Cover Date.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Analysis of end point vibrations of a two-link manipulator by integrated CAD/CAE procedures

In this work, the effect of flexibility on the trajectory of a planar two-link manipulator is studied using integrated computer-aided design/analysis (CAD/CAE) procedures. The solid models and finite element models of the parts of the manipulator are created by using the CAD/CAE software I-DEAS. The assembly is defined, and knowing the payload and the end point trajectory, the velocities and accelerations of the parts, joint forces and driving torques are calculated using the rigid body dynamics. All the time dependent nodal forces acting on the parts including distributed gravity and inertia forces are created in files with the I-DEAS program file format. The finite element vibration analysis of the parts is performed by I-DEAS. The end point vibrations and the deviations from the rigid-body trajectory are analyzed for different types of end point acceleration curves. A circular trajectory is considered as an example. It is observed that the precision of the manipulator can be increased by testing different end point acceleration curves without changing the trajectory and the duration of the end point work. The procedure explained in this work can be used for this purpose successfully.     

The long‐time behaviour of the thermoconvective flow in a porous medium

For the Boussinesq approximation of the equations of coupled heat and fluid flow in a porous medium we show that the corresponding system of partial differential equations possesses a global attractor. We give lower and upper bounds of the Hausdorff dimension of the attractor depending on a physical parameter of the system, namely the Rayleigh number of the flow. Numerical experiments confirm the theoretical findings and raise new questions on the structure of the solutions of the system. Copyright © 2004 John Wiley & Sons, Ltd.     

Some non‐standard problems in viscous flow

Energy bounds are derived for Dirichlet type boundary value problems for the Navier–Stokes and Stokes equations when a combination of the solution values initially and at a later time is prescribed. The bounds are obtained by means of a differential inequality and imply uniqueness and continuous data dependence of the solutions for a range of values of the parameter in the non‐standard auxiliary condition. Copyright © 2004 John Wiley & Sons, Ltd.     

Anionically Substituted 1,1′,1″‐Methylidynetris[1H‐pyrazole] Ligands for the Formation of Neutral Lanthanide Complexes in Water: Synthesis,Characterization, and Photophysical Properties

The six‐step synthesis of the new podand‐type ligand 6,6′,6″‐[methylidenetri(1H‐pyrazole‐1,3‐diyl)]tris[pyridine‐2‐carboxylic acid] (LH₃) is described. Reaction of LH₃ with LnCl₃ ?6 H₂O (Ln=Eu, Gd, Tb) in MeOH resulted in the isolation of [LnL]?HCl complexes characterized by elemental analysis, mass and IR spectroscopy. Photophysical studies of the Eu and Tb complexes in aqueous solutions revealed the characteristic luminescence features of the metal atoms, indicative of an efficient ligand‐to‐metal energy‐transfer process. Determination of the luminescence quantum yields in H₂O showed the Tb complex to be highly luminescent (?=15%), while, for the Eu complex, the quantum efficiency was only 2%. Excited‐state‐lifetime measurements in H₂O and D₂O evidenced the presence of ca. three H₂O molecules in the first coordination sphere of the complexes. Investigation of the Gd complex allowed the determination of the ligand‐centered triplet state and showed the ligand to be well suited for energy transfer to the metal. The luminescence properties of the complexes are described, and the properties of the ligand as a suitable complexation pocket is questioned.     

Electron transfer induced dissociations of 2- and 4-alkyl cyclohexadienones

Several 2- and 4-alkylcyclohexadienones were prepared and shown to accept electrons to produce ketyl radical anions that dissociated rapidly at room temperature to release carbon-centered radicals and an aromatic phenoxide type anion. In the PET process with benzyl-substituted cyclohexadienones, initiated with triethylamine, the benzyl radicals dimerised or abstracted an H-atom from solvent. In electrochemical reductions, and in reductions with alkali metals in liquid ammonia, the benzyl radicals were further reduced to anions.