Cyber-physical systems (CPSs) are the result of the integration of connected computer systems with the physical world. They feature complex interactions that go beyond traditional communication schemes and protocols in computer systems. One distinguished feature of such complex interactions is the tight coupling between discrete and continuous interactions, captured by hybrid system models.<br/><br/>Due to the complexity of CPSs, providing rigorous and model-based analysis methods and tools for verifying correctness of such systems is of the utmost importance. Model-based testing (MBT) is one such verification technique that can be used for checking the conformance of an implementation of a system to its specification (model).<br/><br/>In this chapter, we first review the main concepts and techniques in MBT. Subsequently, we review the most common modeling formalisms for CPSs, with focus on hybrid system models. Subsequently, we provide a brief overview of conformance relations and conformance testing techniques for CPSs<br/>
Measurements have been made on intrinsic optical bulk breakdown in ten alkali halides at 1.06 microm and in one at 0.69 microm. By comparing the results to previously reported experiments conducted at 10.6 microm and at direct current, it has been possible to identify the damage mechanism as electron avalanche breakdown. Self-focusing has been controlled by restricting the probe powers to well below the critical powers for catastrophic self-focusing, and damage from inclusions has been distinguished from intrinsic damage. Implications of this work for surface damage studies are explored.
Cluster computing applications, whether frameworks like MapReduce and Dryad, or customized applications like search platforms and social networks, have application-level requirements and higher-level abstractions to express them. Networking, however, still remains at the level of forwarding packets and balancing flows, and there exists no networking abstraction that can take advantage of the rich semantics readily available from these data parallel applications. The result is a plethora of seemingly disjoint, yet somehow connected, pieces of work to address networking challenges in these applications. We propose an application layer, data plane abstraction, coflow, that can express the requirements of (data) parallel programming models used in clusters today and makes it easier to express, reason about, and act upon these requirements.
FLUXNET and Remote Sensing Open Workshop: Towards Upscaling Flux Information From Towers to the Globe; Berkeley, California, 7–9 June 2011 About 140 scientists from 15 countries, representing the remote sensing and land‐atmosphere flux measurement and modeling communities, attended a workshop to address the technical, methodological, and scientific challenges to integrating flux and optical measurements across a spectrum of spatial and temporal scales.
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.