Volume Information Source: Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1655 (Jun. 15, 1992), pp. 661-664 Published by: The Royal Society Stable URL: http://www.jstor.org/stable/53992 . Accessed: 07/05/2014 15:58 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. . The Royal Society is collaborating with JSTOR to digitize, preserve and extend access to Philosophical Transactions: Physical Sciences and Engineering. http://www.jstor.org This content downloaded from 169.229.32.136 on Wed, 7 May 2014 15:58:53 PM All use subject to JSTOR Terms and Conditions
Transcript
Volume InformationSource: Philosophical Transactions: Physical Sciences and Engineering, Vol. 339, No. 1655 (Jun.15, 1992), pp. 661-664Published by: The Royal SocietyStable URL: http://www.jstor.org/stable/53992 .
Accessed: 07/05/2014 15:58
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp
.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact [email protected].
.
The Royal Society is collaborating with JSTOR to digitize, preserve and extend access to PhilosophicalTransactions: Physical Sciences and Engineering.
http://www.jstor.org
This content downloaded from 169.229.32.136 on Wed, 7 May 2014 15:58:53 PMAll use subject to JSTOR Terms and Conditions
Alber, I., Bassani, J. L., Khantha, M., Vitek, V. & Wang, G. J. Grain boundaries as heterogeneous systems: atomic and continuum elastic properties, 555.
Atkinson, C. & Craster, R. V. The application of invariant integrals in diffusive elastic solids, 231.
Bailey, A., Bellerby, J. M. & Kinloch, S. A. The identification of bonding agents for TATB/HTPB polymer bonded explosives, 321.
Barrett, G. See May et al. Bassani, J. L. See Alber et al. Bates, R. H. T. See Rodenberg & Bates. Beard, B. C. See Sharma & Beard. Bellerby, J. M. See Bailey et al. Berry, G. Esterel on hardware, 87. Bourne, N. K. See Field et al. Brill, T. B. & Brush, P. J. Condensed phase chemistry of explosives and propellants at high
temperature: HMX, RDX and BAMO, 377. Briscoe, B. J., Gritsis, D. & Liatsis, D. The concentration and pressure dependent diffusion of
carbon dioxide in nitrile rubbers, 497. Brock, B. C. See Hunt & Brock. Brush, P. J. See Brill & Brush. Burch, J. R. See Clarke et al. Byers Brown, W. Analytical representation of the adiabatic equation for detonation products
based on statistical mechanics and intermolecular forces, 345.
Chaudhri, M. M. See Constantinou et al. Clarke, E. M., Burch, J. R., Grumberg, 0., Long, D. E. & McMillan, K. L. Automatic verification
of sequential circuit designs, 105. Colelough, M. E. See Millar et al. Constantinou, C. P., Mukundan, T. & Chaudhri, M. M. Sensitization of nitrocompounds by amines,
403. Cook, M. D. See Haskins & Cook. Craster, R. V. See Atkinson & Craster.
Daeche, N. See Hanna & Daeche. Davies, M. G. The basis for a room global temperature, 153. Dremin, A. N. Shock discontinuity zone effect: the main factor in the explosive decomposition
detonation process, 355.
Fallou, S. N. See Lee et al. Field, J. E., Bourne, N. K., Palmer, S. J. P. & Walley, S. M. Hot-spot ignition mechanisms for
explosives and propellants, 269. Field, J. E. & Gray, P. A discussion on energetic materials, 265.
Gallagher, H. G., Halfpenny, P. J., Miller, J. C. & Sherwood, J. N. Dislocation slip systems in pentaerythritol tetranitrate (PETN) and cyclotrimethylene trinitramine (RDX), 293.
Gilbert, A. D. Magnetic field evolution in steady chaotic flows, 627. Goguen, J., Stevens, A., Hilberdink, H. & Hobley, K. 2OBJ: a metalogical framework theorem
prover based on equational logic, 69. Golding, P. See Millar et al. Gordon, M. J. C. See Hoare & Gordon. Gritsis, D. See Briscoe et al. Grumberg, 0. See Clarke et al.
661
This content downloaded from 169.229.32.136 on Wed, 7 May 2014 15:58:53 PMAll use subject to JSTOR Terms and Conditions
Halfpenny, P. J. See Gallagher et al. Hanna, F. K. & Daeche, N. Dependent types and formal synthesis, 121. Haskins, P. J. & Cook, M. D. Implications of many-body forces for equations of state at high
pressure, 395. Hilberdink, H. See Goguen et al. Hoare, C. A. R. & Gordon, M. J. C. A discussion on mechanized reasoning and hardware design, 1. Hobley, K. See Goguen et al. Honey, P. J. See Millar et al. Hunt, W. A. Jr & Brock, B. C. A formal HDL and its use in the FM9001 verification, 35.
Khantha, M. See Alber et al. Kinloch, S. A. See Bailey et al.
Lavely, E. M. & Ritzwoller, M. H. The effect of global-scale, steady-state convection and elastic- gravitational asphericities on helioseismic oscillations, 431.
Laye, P. G. Experimental studies of the propagation of combustion in solids, 387. Lee, C. K., Fallou, S. N. & Mei, C. C. Subsidence due to pumping from a soil stratum with a soft
aquitard, 193. Leeser, M. Using Nuprl for the verification and synthesis of hardware, 49. Leiper, G. A. Numerical modelling of detonation performance, 419. Liatsis, D. See Briscoe et al. Long, D. E. See Clarke et al.
McMillan, K. L. See Clarke et al. May, D., Barrett, G. & Shepherd, D. Designing chips that work, 3. Mei, C. C. See Lee et al. Melius, C. F. The thermochemistry and reaction pathways of energetic material decomposition and
combustion, 365. Millar, R. W., Colelough, M. E., Golding, P., Honey, P. J., Paul, N. C., Sanderson, A. J. & Stewart,
M. J. New synthesis routes for energetic materials using dinitrogen pentoxide, 305. Miller, J. C. See Gallagher et al. Mukundan, T. See Constantinou et al.
Palmer, S. J. P. See Field et al. Paul, N. C. See Millar et al. Pygott, C. H. Will proof replace simulation?, 21.
Ritzwoller, M. H. See Lavely & Ritzwoller. Rodenberg, J. M. & Bates, R. H. T. The theory of super-resolution electron microscopy via
Wigner-distribution deconvolution, 521. Roscoe, A. W. Occam in the specification and verification of microprocessors, 137.
Sanderson, A. J. See Millar et al. Scott, J. F. M. & Woodhouse, J. Vibration of an elastic strip with varying curvature, 587. Sharma, J. & Beard, B. C. Spectroscopy of reacted surfaces, 285. Shepherd, D. See May et al. Sherwood, J. N. See Gallagher et al. Stevens, A. See Goguen et al. Stewart, M. J. See Millar et al.
Vitek, V. See Alber et al. Volk, F. Energy output of insensitive high explosives by measuring the detonation products, 335.
Walley, S. M. See Field et al. Wang, G. J. See Alber et al. Woodhouse, J. See Scott & Woodhouse.
This content downloaded from 169.229.32.136 on Wed, 7 May 2014 15:58:53 PMAll use subject to JSTOR Terms and Conditions
Except as otherwise permitted under Copyright, Designs and Patents Act, 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publisher, or, in the case of reprographic reproduction, in accordance with the terms of a
licence issued by the Copyright Licensing Agency. In particular, the Society permits the making of a single photocopy of an
article from this issue (under Sections 29 and 38 of the Act) for an individual for the purposes of research or private study.
The text paper used in this publication is alkaline sized with a coating which is predominantly calcium carbonate. The
resultant surface pH is in excess of 7.5, which gives maximum practical permanence.
Printed in Great Britain by the University Press, Cambridge
This content downloaded from 169.229.32.136 on Wed, 7 May 2014 15:58:53 PMAll use subject to JSTOR Terms and Conditions
Mechanized reasoning and hardware design A Discussion organized and edited by C. A. R. Hoare and M. J. C. Gordon page 1
No. 1653 15 May 1992
The basis for a room global temperature By M. G. Davies 153
Subsidence due to pumping from a soil stratum with a soft aquitard By Cheo K. Lee, Sophie N. Fallou and Chiang C. Mei 193
The application of invariant integrals in diffusive elastic solids By C. Atkinson and R. V. Craster 231
No. 1654 15 May 1992
Energetic materials: new synthesis routes, ignition, propagation, and stability of detonation A Discussion organized and edited by J. E. Field and P. Gray 265
No. 1655 15 June 1992
The effect of global-scale, steady-state convection and elastic gravitational asphericities on helioseismic oscillations By Eugene M. Lavely and Michael H. Ritzwoller 431
The concentration and pressure dependent diffusion of carbon dioxide in nitrile rubbers By B. J. Briscoe, D. Gritsis and D. Liatsis 497
The theory of super-resolution electron microscopy via Wigner-distribution deconvolution By J. M. Rodenburg and R. H. T. Bates 521
Grain boundaries as heterogeneous systems: atomic and continuum elastic properties By I. Alber, J. L. Bassani, M. Khantha, V. Vitek and G. J. Wang 555
Vibration of an elastic strip with varying curvature By J. F. M. Scott and J. Woodhouse 587
Magnetic field evolution in steady chaotic flows By Andrew D. Gilbert 627
Instructions to authors 657
Indexes 661
This content downloaded from 169.229.32.136 on Wed, 7 May 2014 15:58:53 PMAll use subject to JSTOR Terms and Conditions
