Newly confirmed and high quality candidate Galactic SNRs uncovered from the AAO/UKST HAlpha survey

We present a catalogue of 18 new Galactic supernova remnants (SNRs) uncovered in the optical regime as filamentary emissions and extended nebulosities on images of the Anglo Australian Observatory/United Kingdom Schmidt Telescope (AAO/UKST) HAlpha survey of the southern Galactic plane. Our follow-up spectral observations confirmed classical optical SNR emission lines for these 18 structures via detection of very strong [SII] at 6717 and 6731A relative to HAlpha ([SII]/HAlpha> 0.5). Morphologically, 10 of these remnants have coherent, extended arc or shell structures, while the remaining objects are more irregular in form but clearly filamentary in nature, typical of optically detected SNRs. In 11 cases there was a clear if not complete match between the optical and radio structures with H filamentary structures registered inside and along the presumed radio borders. Additionally, ROSAT X-ray sources were detected inside the optical/radio borders of 11 of these new remnants and 3 may have an associated pulsar. The multi-wavelength imaging data and spectroscopy together present strong evidence to confirm identification of 18 new, mostly senile Galactic SNRs. This includes G288.7-6.3, G315.1+2.7 and G332.5-5.6, identified only as possible remnants from preliminary radio observations. We also confirm existence of radio quiet but optically active supernova remnants.Comment: In original form 21 pages, 29 figures Accepted for MNRA

PRISM: a tool for automatic verification of probabilistic systems

Probabilistic model checking is an automatic formal verification technique for analysing quantitative properties of systems which exhibit stochastic behaviour. PRISM is a probabilistic model checking tool which has already been successfully deployed in a wide range of application domains, from real-time communication protocols to biological signalling pathways. The tool has recently undergone a significant amount of development. Major additions include facilities to manually explore models, Monte-Carlo discrete-event simulation techniques for approximate model analysis (including support for distributed simulation) and the ability to compute cost- and reward-based measures, e.g. "the expected energy consumption of the system before the first failure occurs". This paper presents an overview of all the main features of PRISM. More information can be found on the website: www.cs.bham.ac.uk/~dxp/prism

Maleimido substituted aromatic cyclotriphosphazenes

4-Aminophenoxy cyclotriphosphazenes are reacted with maleic anhydride to produce maleamic acids which are converted to the maleimides. The maleimides are polymerized. By selection of starting materials (e.g., hexakis amino or trisaminophenoxy-trisphenoxy-cyclo-triphosphazenes), selection of molar proportions of reactants, use of mixtures of anhydrides and use of dianhydrides as bridging groups a variety of maleimides and polymers are produced. The polymers have high limiting oxygen indices, high char yields and other useful heat and fire resistant properties making them useful as, for example, impregnants of fabrics

Laminate comprising fibers embedded in cured amine terminated bis-imide

Amine terminated bisaspartimides are prepared by a Michael type reaction of an aromatic bismaleimide and an aromatic diamine in an aprotic solvent. These bisaspartimides are thermally polymerized to yield tough, resinous polymers crosslinked through -NH- groups. Such polymers are useful in applications requiring materials with resistance to change at elevated temperatures

Assume-guarantee verification for probabilistic systems

We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the guarantees that they provide are regular safety properties, represented by finite automata. Unlike previous proposals for assume-guarantee reasoning about probabilistic systems, our approach does not require that components interact in a fully synchronous fashion. In addition, the compositional verification method is efficient and fully automated, based on a reduction to the problem of multi-objective probabilistic model checking. We present asymmetric and circular assume-guarantee rules, and show how they can be adapted to form quantitative queries, yielding lower and upper bounds on the actual probabilities that a property is satisfied. Our techniques have been implemented and applied to several large case studies, including instances where conventional probabilistic verification is infeasible

Amine terminated bisaspartimide polymer

Novel amine terminated bisaspartimides are prepared by a Michael-type reaction of an aromatic bismalteimide and an aromatic diamine in an aprotic solvent. These bisaspartimides are thermally polymerized to yield tough, resinous polymers cross-lined through -NH- groups. Such polymers are useful in applications requiring materials with resistance to change at elevated temperatures, e.g., as lightweight laminates with graphite cloth, molding material prepregs, adhesives and insulating material

Effect of doping and pressure on magnetism and lattice structure of Fe-based superconductors

Using first principles calculations, we analyze structural and magnetic trends as a function of charge doping and pressure in BaFe$_2$As$_2$, and compare to experimentally established facts. We find that density functional theory, while accurately reproducing the structural and magnetic ordering at ambient pressure, fails to reproduce some structural trends as pressure is increased. Most notably, the Fe-As bondlength which is a gauge of the magnitude of the magnetic moment, $\mu$, is rigid in experiment, but soft in calculation, indicating residual local Coulomb interactions. By calculating the magnitude of the magnetic ordering energy, we show that the disruption of magnetic order as a function of pressure or doping can be qualitatively reproduced, but that in calculation, it is achieved through diminishment of $|\mu|$, and therefore likely does not reflect the same physics as detected in experiment. We also find that the strength of the stripe order as a function of doping is strongly site-dependent: magnetism decreases monotonically with the number of electrons doped at the Fe site, but increases monotonically with the number of electrons doped at the Ba site. Intra-planar magnetic ordering energy (the difference between checkerboard and stripe orderings) and interplanar coupling both follow a similar trend. We also investigate the evolution of the orthorhombic distortion, $e=(a-b)/(a+b),$ as a function of $\mu$, and find that in the regime where experiment finds a linear relationship, our calculations are impossible to converge, indicating that in density functional theory, the transition is first order, signalling anomalously large higher order terms in the Landau functional

New Structure In The Shapley Supercluster

We present new radial velocities for 189 galaxies in a 91 sq. deg region of the Shapley supercluster measured with the FLAIR-II spectrograph on the UK Schmidt Telescope. The data reveal two sheets of galaxies linking the major concentrations of the supercluster. The supercluster is not flattened in Declination as was suggested previously and it may be at least 30 percent larger than previously thought with a correspondingly larger contribution to the motion of the Local Group.Comment: LaTex: 2 pages, 1 figure, includes conf_iap.sty style file. To appear in proceedings of The 14th IAP Colloquium: Wide Field Surveys in Cosmology, held in Paris, 1998 May 26--30, eds. S.Colombi, Y.Mellie

Bismaleimides and related maleimido polymers as matrix resins

Significant processing and property improvements can be achieved by copolymerization of state-of-the-art bisimides with various vinyl stilbazole derivatives to give both fire resistance and high-temperature properties from hot-melt compositions. Significant improvement in mechanical properties is achieved through these modifications, which may make these new matrix resins ideal candidates for fireworthy secondary graphite composite structures. Phosphorous modifications of maleimido polymers through phosphonate structure and tricyclophosphazene derivatives provide families of new matrix resins for short-time applications in severe thermo-oxidative environments. With further research these may provide matrix resins for long-term thermo-oxidative stability of advanced composites at temperatures up to 400 to 500 C

Radio-continuum detections of Galactic Planetary Nebulae I. MASH PNe detected in large-scale radio surveys

We present an updated and newly compiled radio-continuum data-base for MASH PNe detected in the extant large scale "blind" radio-continuum surveys (NVSS, SUMSS/MGPS-2 and PMN) and, for a small number of MASH PNe, observed and detected in targeted radio-continuum observations. We found radio counterparts for approximately 250 MASH PNe. In comparison with the percentage of previously known Galactic PNe detected in the NVSS and MGPS-2 radio-continuum surveys and according to their position on the flux density-angular diameter and the radio brightness temperature evolutionary diagrams we conclude, unsurprisingly, that the MASH sample presents the radio-faint end of the known Galactic PNe population. Also, we present radio-continuum spectral properties of a small sub-sample of MASH PNe located in the strip between declinations -30arcdeg and -40arcdeg, that are detected in both the NVSS and MGPS-2 radio surveys.Comment: 13 figures and 7 tables, accepted for publication in MNRA