Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

Extreme simplification and rendering of point sets using algebraic multigrid

We present a novel approach for extreme simplification of point set models, in the context of real-time rendering. Point sets are often rendered using simple point primitives, such as oriented discs. However, this requires using many primitives to render even moderately simple shapes. Often, one wishes to render a simplified model using only a few primitives, thus trading accuracy for simplicity. For this goal, we propose a more complex primitive, called a splat, that is able to approximate larger and more complex surface areas than oriented discs. We construct our primitive by decomposing the model into quasi-flat regions, using an efficient algebraic multigrid algorithm. Next, we encode these regions into splats implemented as planar support polygons textured with color and transparency information and render the splats using a special blending algorithm. Our approach combines the advantages of mesh-less point-based techniques with traditional polygon-based techniques. We demonstrate our method on various models.     

A linear translation from CTL* to the first-order modal μ -calculus

The modal μ-calculus is a very expressive temporal logic. In particular, logics such as LTL, CTL and CTL* can be translated into the modal μ-calculus, although existing translations of LTL and CTL* are at least exponential in size. We show that an existing simple first-order extension of the modal μ-calculus allows for a linear translation from LTL. Furthermore, we show that solving the translated formulae is as efficient as the best known methods to solve LTL formulae directly.     

Duplication of constants in process algebra

The constant 0 (or δ, nil) has different roles in process algebra: on the one hand, it serves as the identity element of alternative composition, on the other hand, it stands for a blocked atomic action or for livelock. When extensions with timing are considered, these roles diverge. We argue that it is better to use two separate constants 0˙ and 0 for the different usages.With respect to the termination constant 1 (or , skip), the situation is comparable: on the one hand, it serves as the identity element of sequential composition, on the other hand, it serves as the identity element of parallel composition, and stands for a skipped atomic action. We have separate constants 1˙ and 1 for the different usages.We set up a theory of process algebra, starting out from these four constants in their respective roles. We do this first for the untimed theory, and work out the extension to discrete timing and relative timing in detail. We indicate how extensions involving dense timing or absolute timing are to be handled. All extensions are conservative.     

Assessing the reliability of the M5-120 on Amazon’s mechanical Turk

Amazon’s online service, Mechanical Turk (MTurk) has become a popular option for data collection among social scientists. Early work (Buhrmester, Kwang, & Gosling, 2011) indicated that data collection through MTurk was faster and less expensive than traditional collection methods (undergraduate human subject pool), as well as being reliable when administered at different dates. Building on their work, we sought to extend this investigation of reliability to a larger measure. For the current research we chose a 120-item measure of personality. After collecting data through MTurk, it was determined that our MTurk sample had strong test–retest reliability, indicating that they did not significantly change between administration dates.     

Computing multiscale curve and surface skeletons of genus 0 shapes using a global importance measure

We present a practical algorithm for computing robust, multiscale curve and surface skeletons of 3D objects. Based on a model which follows an advection principle, we assign to each point on the skeleton a part of the object surface, called the collapse. The size of the collapse is used as a uniform importance measure for the curve and surface skeleton, so that both can be simplified by imposing a single threshold on this intuitive measure. The simplified skeletons are connected by default, without special precautions, due to the monotonicity of the importance measure. The skeletons possess additional desirable properties: They are centered, robust to noise, hierarchical, and provide a natural skeleton-to-boundary mapping. We present a voxel-based algorithm that is straightforward to implement and simple to use. We illustrate our method on several realistic 3D objects.     

An analytical model to determine the ultimate load on masonry arch bridges.

This paper proposes an analytical elasto–plastic model to describe the behavior of arches. The modeling is carried out using the equations of (i) horizontal equilibrium, (ii) vertical equilibrium and (iii) equilibrium of moments. The latter equations of equilibrium are ordinary differential equations which can easily be solved by adding boundary conditions, imposing restrictions on the horizontal and vertical movement and on the rotation in the abutments of the arch. For masonry arches, including material properties allowing the occurrence of cracks and the subsequent formation of hinges is required. The latter theory has been implemented in a computer program (Matlab), offering numerical simulations. The software was used to illustrate two case-studies, i.e., the assessment of an arch loaded with a vertical point load and one with a horizontal point load.     

Spatial and temporal variation in indicator microbe sampling is influential in beach management decisions

Fecal indicator microbes, such as enterococci, are often used to assess potential health risks caused by pathogens at recreational beaches. Microbe levels often vary based on collection time and sampling location. The primary goal of this study was to assess how spatial and temporal variations in sample collection, which are driven by environmental parameters, impact enterococci measurements and beach management decisions. A secondary goal was to assess whether enterococci levels can be predictive of the presence of Staphylococcus aureus, a skin pathogen. Over a ten-day period, hydrometeorologic data, hydrodynamic data, bather densities, enterococci levels, and S. aureus levels including methicillin-resistant S. aureus (MRSA) were measured in both water and sand. Samples were collected hourly for both water and sediment at knee-depth, and every 6 h for water at waist-depth, supratidal sand, intertidal sand, and waterline sand. Results showed that solar radiation, tides, and rainfall events were major environmental factors that impacted enterococci levels. S. aureus levels were associated with bathing load, but did not correlate with enterococci levels or any other measured parameters. The results imply that frequencies of advisories depend heavily upon sample collection policies due to spatial and temporal variation of enterococci levels in response to environmental parameters. Thus, sampling at different times of the day and at different depths can significantly impact beach management decisions. Additionally, the lack of correlation between S. aureus and enterococci suggests that use of fecal indicators may not accurately assess risk for some pathogens.     

Comparison between wet deposition and plasma deposition of silane coatings on aluminium

Silane coatings are applied to metal surfaces for various purposes, e.g., to form a protective layer against corrosion or to act as a primer for subsequent coating. In this work bis-1,2-(triethoxysilyl) ethane (BTSE) was used as a precursor to deposit coatings on Al 99.99% substrates with three different techniques: dipcoating (water based solution), vacuum plasma and atmospheric plasma. Infrared reflection absorption spectroscopy (IRRAS), X-ray photoelectron spectroscopy (XPS) and field emission gun-scanning electron microscope (FE-SEM) were used to characterise the structure, composition and surface morphology of the silane coatings. The aim of this investigation is to compare the surface and bulk characteristics of the films prepared with the three different methods, in order to get information on how the BTSE molecule is modified by the deposition technique.     

A sequential-move game for enhancing safety and security cooperation within chemical clusters

The present paper provides a game theoretic analysis of strategic cooperation on safety and security among chemical companies within a chemical industrial cluster. We suggest a two-stage sequential move game between adjacent chemical plants and the so-called Multi-Plant Council (MPC). The MPC is considered in the game as a leader player who makes the first move, and the individual chemical companies are the followers. The MPC's objective is to achieve full cooperation among players through establishing a subsidy system at minimum expense. The rest of the players rationally react to the subsidies proposed by the MPC and play Nash equilibrium. We show that such a case of conflict between safety and security, and social cooperation, belongs to the 'coordination with assurance' class of games, and we explore the role of cluster governance (fulfilled by the MPC) in achieving a full cooperative outcome in domino effects prevention negotiations. The paper proposes an algorithm that can be used by the MPC to develop the subsidy system. Furthermore, a stepwise plan to improve cross-company safety and security management in a chemical industrial cluster is suggested and an illustrative example is provided.