Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans

The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of formal methods into industrial practices. This paper introduces a methodology for developing domain specific languages for modelling and verification to aid in the uptake of formal methods within industry. It illustrates the successful application of this methodology within the railway domain. The presented methodology addresses issues surrounding faithful modelling, scalability of verification and accessibility to modelling and verification processes for practitioners within the domain.     

Sampling and Analysis of Odorous Compounds in Water Treatment Plants

Abstract

The following analytical method has been used to identify some odorous compounds in the air of the water treatment plant Werdholzli, Zurich: sampling of contaminated air with the help of activated carbon, desorption by the solvents carbon disulphide and methylene chloride, separation of the carbon disulfide extract into a polar and a nonpolar fraction by adsorption column chromatography on silica. Hereafter gaschromatographic analysis of the polar fraction on glass capillary column (Ucon HB 5100); detection and identification were achieved by flame ionisation, thermoionic nitrogen selective detector and computerized mass spectrometry (Finnigan 3200 F, data system 6110).

The results show the presence of sulfur compounds: thiophenes, thiazoles; nitrogen compounds: pyrazines; oxygen compounds: phenols, alcohols and some unsatured hydrocarbons. The malodorous compounds were sulfur and nitrogen compounds in the range of 0.01-0.1 ppm.     

Low-Valent Group 14 NHC-Stabilized Phosphinidenide ate Complexes and NHC-Stabilized K/P-Clusters

The N-heterocyclic carbene (NHC)-stabilized phosphinidenide, SIMesPK [SIMes=1,3-bis(2,4,6-trimethylphenyl)imidazolidine-2-ylidene], was used as an (NHC)P-transfer reagent for the synthesis of the low-valent Group 14 ate complexes K[(SIMesP)₃E] (E=Ge: 2 , Sn: 3 , Pb: 4 ), which were characterized by ¹H NMR, ³¹P NMR, IR spectroscopy as well as elemental and X-ray analysis. Furthermore, SIMesPK was used in reactions with potassium amides and alkoxides to form the molecular phosphorus–potassium clusters [K₄(SIMesP)₂(hmds)₂] [ 5 , hmds=N(SiMe₃)₂] and [K₆(SIMesP)₂(OtBu)₄] ( 6 ). Finally, the reaction of SIMesPK with Li[Al(OC₄F₉)₄] led to the potassium-rich ionic compound [(SIMesP)₄K₅][Al(OC₄F₉)₄] ( 7 ).     

Allyl sulfides and α‐substituted acrylates as addition–fragmentation chain transfer agents for methacrylate polymer networks

The rapid and uncontrolled nature of network formation from di(meth)acrylate monomers produces high shrinkage stress and results in polymers with oftentimes brittle mechanical properties. Methods for regulating polymerization and network formation are sought. One option is the use of addition–fragmentation chain transfer (AFCT) agents, which are well known to control molecular weight and molecular weight distribution of monofunctional (meth)acrylates. A series of novel and previously described AFCT reagents were synthesized and screened with laser flash photolysis to determine reactivity. Well‐performing AFCT reagents were then tested in polymerizations with monofunctional and difunctional methacrylates. With monofunctional monomers, the molecular weight and polydispersity of the resultant linear polymers tend to decrease with the addition of AFCT agent. In copolymerization with dimethacrylate monomers, the AFCT agents were found to substantially lower and sharpen the glass transition. Sharpness of the glass transition is here indicative of a more regular and homogenous network. After coupling of the instruments, photorheology was performed simultaneously with real‐time IR to show an increase in monomer conversion at the time of gelation, which appears to have a positive effect on reducing shrinkage stress. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2016 , 54, 394–406