The residue of vector sets with applications to decidability problems in Petri nets

Summary A set K of integer vectors is called right-closed, if for any elementmK all vectors mm are also contained in K. In such a case K is a semilinear set of vectors having a minimal generating set res(K), called the residue of K. A general method is given for computing the residue set of a right-closed set, provided it satisfies a certain decidability criterion.Various right-closed sets wich are important for analyzing, constructing, or controlling Petri nets are studied. One such set is the set CONTINUAL(T) of all such markings which have an infinite continuation using each transition infinitely many times. It is shown that the residue set of CONTINUAL(T) can be constructed effectively, solving an open problem of Schroff. The proof also solves problem 24 (iii) in the EATCS-Bulletin. The new methods developed in this paper can also be used to show that it is decidable, whether a signal net is prompt [23] and whether certain -languages of a Petri net are empty or not.It is shown, how the behaviour of a given Petri net can be controlled in a simple way in order to realize its maximal central subbehaviour, thereby solving a problem of Nivat and Arnold, or its maximal live subbehaviour as well. This latter approach is used to give a new solution for the bankers problem described by Dijkstra.Since the restriction imposed on a Petri net by a fact [11] can be formulated as a right closed set, our method also gives a new general approach for implementations of facts.     

Good ergonomics and team diversity reduce absenteeism and errors in car manufacturing

Prior research suggests that ergonomics work design and mixed teams (in age and gender) may compensate declines in certain abilities of ageing employees. This study investigates simultaneous effects of both team level factors on absenteeism and performance (error rates) over one year in a sample of 56 car assembly teams (N = 623). Results show that age was related to prolonged absenteeism and more mistakes in work planning, but not to overall performance. In comparison, high-physical workload was strongly associated with longer absenteeism and increased error rates. Furthermore, controlling for physical workload, age diversity was related to shorter absenteeism, and the presence of females in the team was associated with shorter absenteeism and better performance. In summary, this study suggests that both ergonomics work design and mixed team composition may compensate age-related productivity risks in manufacturing by maintaining the work ability of older employees and improving job quality.     

Comparing global land-cover products – implications for geoscience applications: an investigation for the trans-boundary Mekong Basin

In this article we present the results of a comparison of six globally available land-cover products for the Mekong Basin – an area that spans 795,000 km² and comprises parts of six riparian countries: China, Myanmar, Thailand, Laos, Cambodia, and Vietnam. The basin covers most climatic zones: from high-altitude, snow-covered mountainous regions in the north, to subtropical and tropical rainforest areas and agricultural land further south. The geopolitically important region not only is home to over 72,000,000 inhabitants, but also is a centre of attention of several environmental modelling experts, trying to assess future hydrologic dynamics, climate variability, as well probable land-use developments in the area.

We compare land-cover products of the University of Maryland, UMD 1992–1993, the GLC 2000 product, the GlobCover products of 2004–2006 and 2009, as well as the MODIS-derived land-cover products of 2001 and 2009. For harmonization of individual legends, the Land Cover Classification System, LCCS, has been employed. However, even after harmonization, cross-tabulation among the products reveals extreme differences, where the impact of differing classification algorithms weighs higher than the impact of temporal coincidence of products. Especially, differences within mixed-vegetation classes are large, strongly impacting the overall assessment of forested land, other vegetated land, and even cultivated land in the Mekong Basin. The findings presented here are of high relevance for the modelling community as well as Mekong-related environmental studies, which should consider global remote-sensing-derived products with caution and solid background knowledge.     

IISPH‐FLIP for incompressible fluids

We propose to use Implicit Incompressible Smoothed Particle Hydrodynamics (IISPH) for pressure projection and boundary handling in Fluid‐Implicit‐Particle (FLIP) solvers for the simulation of incompressible fluids. This novel combination addresses two issues of existing SPH and FLIP solvers, namely mass preservation in FLIP and efficiency and memory consumption in SPH. First, the SPH component enables the simulation of incompressible fluids with perfect mass preservation. Second, the FLIP component efficiently enriches the SPH component with detail that is comparable to a standard SPH simulation with the same number of particles, while improving the performance by a factor of 7 and significantly reducing the memory consumption. We demonstrate that the proposed IISPH‐FLIP solver can simulate incompressible fluids with a quantifiable, imperceptible density deviation below 0.1%. We show large‐scale scenarios with up to 160 million particles that have been processed on a single desktop PC using only 15GB of memory. One‐ and two‐way coupled solids are illustrated.     

Enzymatic esterification of glycerol II. Lipase-catalyzed synthesis of regioisomerically pure 1(3)-rac-monoacylglycerols

Regioisomerically pure 1(3)-rac-monoacylglycerols are conveniently prepared in high yields (>75%) and in multigram quantities by enzymatic esterification of glycerol in the presence of various lipases(Chromobacterium viscosum, Rhizopus delemar, Rhizomucor miehei) with a variety of different acyl donors, such as free fatty acids, fatty acid alkyl esters, vinyl esters and triacylglycerols, as well as natural fats and oils. All reactions are carried out in aprotic organic solvents with low water content, namelyn-hexane, diethyl ether, tBuOMe or mixtures of these solvents. Essential for the success of these transformations were the following two factors. First, the creation of an artificial interphase between the solvent-immiscible hydrophilic glycerol and the hydrophobic reaction medium by its adsorption onto a solid support. Second, a facile system for the separation of the desired monoacylglycerol from the reaction mixture, coupled with the continuous recycling of acyl donor and undesirable by-products.     

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics

Annals of Mathematics and Artificial Intelligence - The exact relationship between formal argumentation and nonmonotonic logics is a research topic that keeps on eluding researchers despite recent...     

Insight into spontaneous recurrent calcium waves in a 3-D cardiac cell based on analysis of a 1-D deterministic model

Calcium dynamics in a cardiac cell are described by a system of 3-D non-linear stochastic partial differential equations. To obtain solutions that have biophysical properties, it is necessary to explore the model parameter space. To decrease the complexity of the parameter search, we reduce the 3-D stochastic model to a 1-D deterministic model. The reduction of the problem from 3-D to 1-D is done through an asymptotic approximation after non-dimensionalization and based on rational biophysical assumptions of the 3-D domain; the stochastic to deterministic transformation is based on the regular property of the 3-D solution. The result of the model reduction proves very effective in reducing the time required to get qualitative as well as quantitative information about parameter regions in the 3-D stochastic model including calcium dynamics (sparks, wave propagation, and recovery) observed in cardiac cells.     

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.