Buchbesprechungen

Ohne Zusammenfassung     

Buchbesprechungen

Ohne Zusammenfassung     

Buchbesprechungen

Ohne Zusammenfassung     

Reactivities in olefin-difluorocarbene reactions

The relative rates of addition of difluorocarbene to a series of methyl-substituted olefins have been determined and correlated with similar data for dichlorocarbene, chlorofluorocarbene and ground-state oxygen atoms. The electrophilic nature and stabilization of difluorocarbene by the fluorine substituents is discussed. Relative activation energies for the difluorocyclopropane-forming reaction have been estimated and correlated with properties of the olefins as derived from molecular orbital theory.     

Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e. g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (1) graphical (UML) and textual modeling of hybrid systems, (2) exchanging and comparing models and proofs, and (3) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks.     

Dispersive optical interface based on nanofiber-trapped atoms

We dispersively interface an ensemble of 1000 atoms trapped in the evanescent field surrounding a tapered optical nanofiber. This method relies on the azimuthally asymmetric coupling of the ensemble with the evanescent field of an off-resonant probe beam, transmitted through the nanofiber. The resulting birefringence and dispersion are significant; we observe a phase shift per atom of ～1 mrad at a detuning of 6 times the natural linewidth, corresponding to an effective resonant optical density per atom of 0.027. Moreover, we utilize this strong dispersion to nondestructively determine the number of atoms.     

Buchbesprechungen

Ohne Zusammenfassung

---

Book reviews