Home Engineering Technology Communication

Integrated Formal Methods


DOWNLOAD READ ONLINE NOW

English | PDF | 2017 | 447 Pages | ISBN : 3319668447 | 16.2 MB

This book constitutes th refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
DOWNLOAD READ ONLINE NOW

NEWER EBOOKS


English | 2014 | ISBN: 3662450208 | PDF | 182 Pages | 9.9 mb In this thesis, the author introduces two strategies used to construct various types of N-heterocycles, based on the chemistry of zirconacycles and 2,6-diazasemibullvalenes. In the first part, the author presents the development of multi-component cyclization of a zirconacyclobutene-silacyclobutene fused compound, nitriles and unsaturated compounds. These reactions provide synthetically useful methodology for various N-heterocycles such as 3-acyl pyrrole, pyrrolo[3,2-d]pyridazine and dihydropyrroloazepine, which are all difficult to synthesize by other means. The isolation and characterization of the key three-fused-ring Zr/Si-containing intermediates are also described in detail. These results show that the zirconacyclobutene-silacyclobutene fused compound behaves as a "chemical transformer" upon treatment with various substrates via the "coordination-induced skeleton rearrangement" mechanism. In the second part, the author demonstrates the synthesis and isolation of a series of 2,6-diazasemibullvalenes (NSBVs) from the reaction of 1,4-dilithio-1,3-dienes and nitriles, highlighting the significant progress made for the first time in this work: (1) determination of X-ray crystal structure of a substituted 2,6-diazasemibullvalene; (2) measurement of the activation barrier of its rapid intramolecular aza-Cope rearrangement in solution; (3) exploration of several reaction types of NSBV with diverse ring-expansion products and "bowl-shape" or "cage-shape" N-containing polycyclic skeletons; (4) demonstration of the localized structure as the predominant form and the homoaromatic delocalized structure as a minor component in the equilibrium using theoretical analysis. Based on well-founded results, this work sheds new light on this controversial topic.

Related Engineering Technology>Communication Ebooks And Managines :

ADVERTISEMENT:




Copyright Disclaimer |Policy | Email Contact: info@NewFreeEbook.com