Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Movement Timing and Invariance Arise from Several Geometries

Human movements show several prominent features; movement duration is nearly independent of movement size (the isochrony principle), instantaneous speed depends on movement curvature (captured by the 2/3 power law), and complex movements are composed of simpler elements (movement compositionality). No existing theory can successfully account for all of these features, and the nature of the underlying motion primitives is still unknown. Also unknown is how the brain selects movement duration. Here we present a new theory of movement timing based on geometrical invariance. We propose that movement duration and compositionality arise from cooperation among Euclidian, equi-affine and full affine geometries. Each geometry posses a canonical measure of distance along curves, an invariant arc-length parameter. We suggest that for continuous movements, the actual movement duration reflects a particular tensorial mixture of these canonical parameters. Near geometrical singularities, specific combinations are selected to compensate for time expansion or compression in individual parameters. The theory was mathematically formulated using Cartan's moving frame method. Its predictions were tested on three data sets: drawings of elliptical curves, locomotion and drawing trajectories of complex figural forms (cloverleaves, lemniscates and limaçons, with varying ratios between the sizes of the large versus the small loops). Our theory accounted well for the kinematic and temporal features of these movements, in most cases better than the constrained Minimum Jerk model, even when taking into account the number of estimated free parameters. During both drawing and locomotion equi-affine geometry was the most dominant geometry, with affine geometry second most important during drawing; Euclidian geometry was second most important during locomotion. We further discuss the implications of this theory: the origin of the dominance of equi-affine geometry, the possibility that the brain uses different mixtures of these geometries to encode movement duration and speed, and the ontogeny of such representations

The Critical Richardson Number and Limits of Applicability of Local Similarity Theory in the Stable Boundary Layer

Measurements of atmospheric turbulence made over the Arctic pack ice during the Surface Heat Budget of the Arctic Ocean experiment (SHEBA) are used to determine the limits of applicability of Monin-Obukhov similarity theory (in the local scaling formulation) in the stable atmospheric boundary layer. Based on the spectral analysis of wind velocity and air temperature fluctuations, it is shown that, when both of the gradient Richardson number, Ri, and the flux Richardson number, Rf, exceed a 'critical value' of about 0.20 - 0.25, the inertial subrange associated with the Richardson-Kolmogorov cascade dies out and vertical turbulent fluxes become small. Some small-scale turbulence survives even in this supercritical regime, but this is non-Kolmogorov turbulence, and it decays rapidly with further increasing stability. Similarity theory is based on the turbulent fluxes in the high-frequency part of the spectra that are associated with energy-containing/flux-carrying eddies. Spectral densities in this high-frequency band diminish as the Richardson-Kolmogorov energy cascade weakens; therefore, the applicability of local Monin-Obukhov similarity theory in stable conditions is limited by the inequalities Ri < Ri_cr and Rf < Rf_cr. However, it is found that Rf_cr = 0.20 - 0.25 is a primary threshold for applicability. Applying this prerequisite shows that the data follow classical Monin-Obukhov local z-less predictions after the irrelevant cases (turbulence without the Richardson-Kolmogorov cascade) have been filtered out.Comment: Boundary-Layer Meteorology (Manuscript submitted: 16 February 2012; Accepted: 10 September 2012

Guidelines for the use of flow cytometry and cell sorting in immunological studies (third edition)

The third edition of Flow Cytometry Guidelines provides the key aspects to consider when performing flow cytometry experiments and includes comprehensive sections describing phenotypes and functional assays of all major human and murine immune cell subsets. Notably, the Guidelines contain helpful tables highlighting phenotypes and key differences between human and murine cells. Another useful feature of this edition is the flow cytometry analysis of clinical samples with examples of flow cytometry applications in the context of autoimmune diseases, cancers as well as acute and chronic infectious diseases. Furthermore, there are sections detailing tips, tricks and pitfalls to avoid. All sections are written and peer-reviewed by leading flow cytometry experts and immunologists, making this edition an essential and state-of-the-art handbook for basic and clinical researchers

Guidelines for the use of flow cytometry and cell sorting in immunological studies (third edition)

The third edition of Flow Cytometry Guidelines provides the key aspects to consider when performing flow cytometry experiments and includes comprehensive sections describing phenotypes and functional assays of all major human and murine immune cell subsets. Notably, the Guidelines contain helpful tables highlighting phenotypes and key differences between human and murine cells. Another useful feature of this edition is the flow cytometry analysis of clinical samples with examples of flow cytometry applications in the context of autoimmune diseases, cancers as well as acute and chronic infectious diseases. Furthermore, there are sections detailing tips, tricks and pitfalls to avoid. All sections are written and peer-reviewed by leading flow cytometry experts and immunologists, making this edition an essential and state-of-the-art handbook for basic and clinical researchers