Synthetic Approaches to Thiatropanes and Related Homologues

The synthesis of 8-thiabicyclo[3.2.1]octanes, as structural mimics of the tropane alkaloids, was undertaken and, in particular, the feasibility of functional group modification at certain ring positions was investigated. In Chapter 1, functional group changes were effected at C(6) and C(7) of 6,7-dichloro-8-thiabicyclo[3.2.1]octane (107) which reacted with weaker nucleophiles, such as water, alcohols, catechol, 1,2-diaminobenzene, ethanoic acid and ethanoate ion, forming substitution products with stereochemical retention, replacements generally being faster in the presence of zinc metal. Substitution did not proceed at all with the stronger nucleophiles AlH4 , OR, I, or Et3N. In presence of zinc, (107) underwent elimination with CN-, 1,2-diaminoethane and glycine for- ming (114). With phenol/Zn, both substitution and elimiantion took place to yield (134). (107) underwent a novel stereospe- cific oxidation-dichlorination with NaOH forming (126). Similar reactivity was observed for the homologue, 7,8-dichloro-9-thiabicyclo[4.2.1]nonane (111), the reactivity of which is discussed in Chapter 2. (111) however, failed to react with NaOH. In Chapter 3, the addition of SCl2 to cyclohepta-3,5-dienol (108) was investigated, as a synthetic approach to C(3)-oxygenated thiatropanes. The adduct (152) was formed as a single diaste-reoisomer but only in modest yield. (152) underwent esterifi-cation with tiglic acid (or acid chloride) in low yield forming (156), as a sulphur analogue of the antiparkinson drug tropigline (14). Like (107) and (111), (152) underwent elimination with 1,2-diaminoethane/Zn forming (160) but (152) failed to react with LiAlH4 or with NaOH. Also discussed in Chapter 3, the attempts to place a methoxycarbonyl group at C(2) of the keto-thioether (110) via its enolate or enamines with pyrrolidine and morpholine were unsuccessful. (110) appears to be stereochemically hindered to reaction with these secondary amines but does form an oxine (162). The attempted methylation of the thioether bridges of (107) and (110) with CH3I in neutral conditions was also unsuccessful

Compositional Verification for Timed Systems Based on Automatic Invariant Generation

We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the timings in the components alone. To this end, we make use of auxiliary clocks to automatically generate new invariants which capture the constraints induced by the synchronisations between components. The method has been implemented in the RTD-Finder tool and successfully experimented on several benchmarks

Valorization of Vase Dam by the addition of the cement kiln Dust (CKD)

This study is the valuation of the mud dam Charef - Djelfa Wilaya in basic layers of material by the chemical stabilization process based on the addition of cement kiln dust (CKD) who considered under product from the manufacture of cement. In this context we came through particle size analysis tests, plasticity, chemical analysis, compaction, and simple compression on different samples of mud treated with different percentages of CKD and stored at a period of 28 days to change the consistency of the untreated mud and was a firm consistency to a hard and stable consistency by adding a percentage of 20% CKD

Rigorous Design of FDIR Systems with BIP

The correct design of autonomous systems is a challenge, due to the uncertainties arising at execution time. A special case of uncertainties are the faults and failures that break the system’s requirements. Dealing with such situations requires to design fault detection, isolation and recovery (FDIR) components. The aim of FDIR components is to detect when a fault has occurred and to apply a recovery strategy that brings the system into a mode where the requirements are satisfied. In this paper we describe an approach based on the Behavior, Interaction, Priority (BIP) tools for the rigorous design of FDIR components. This approach leverages the scalability of statistical model-checking tool BIP-SMC to check for requirement satisfaction, and the code generation feature of the BIP compiler. Moreover, the generated code is executable with the BIP engine(s) and easily integrated with the original system. The approach has been used in the H2020 ESROCOS and ERGO projects for the development of (autonomous) robotics control systems, which have been validated through field trials

Deadlock detection of Java Bytecode

This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

T-Violating Triple-Product Correlations in Charmless Lambda_b Decays

Using factorization, we compute, within the standard model, the T-violating triple-product correlations in the charmless decays Lambda_b -> F_1 F_2, where F_1 is a light spin-1/2 baryon and F_2 is a pseudoscalar (P) or vector (V) meson. We find a large triple-product asymmetry of 18% for the decay Lambda_b -> p K^-. However, for other classes of Lambda_b -> F_1 P decays, the asymmetry is found to be at most at the percent level. For Lambda_b -> F_1 V decays, we find that all triple-product asymmetries are small (at most O(1%)) for a transversely-polarized V, and are even smaller for longitudinal polarization. Our estimates of the nonfactorizable contributions to these decays show them to be negligible, and we describe ways of testing this.Comment: 15 pages, LaTeX, no figure