Enriched workflow modelling and Stochastic Branch-and-Bound

Workflow systems provide means and techniques for modelling, designing, performing and controlling repetitive (business) processes. The quality of commercial workflow systems is usually determined to a large extent by their versatility and multi-purpose application. One of the current trends in improving workflow systems lies in enriching modelling methods and techniques in order to enlarge design alternatives.The need for such advanced methods is particularly apparent in those fields in which the process duration can be determined only vaguely, but whose completion schedules are at the same time strictly enforced by a highly competitive market by means of fines and penalties. The risk of an overrun has to be weighed against the expected costs and benefits of certain measures reducing turn-around time and their combinations. Because they can help to avoid such penalties—or, at least, keep any potential losses low by identifying critical subprocesses and evaluate appropriate measures—modelling and evaluation techniques are becoming essential features of workflow systems.Methodologically, we use Stochastic Branch-and-Bound as a technique for finding “optimal” bundles of measures. A numerical study shows the benefits of this meta-approach by means of five stepwise-developed decision scenarios requiring rich modelling. Petri nets as a modelling tool and Stochastic Branch-and-Bound as an optimization technique determine for multi-mode resource constrained workflows of varying complexity an optimal workforce strategy with respect to the number of workers and their qualification.     

Effective stability for generalized Hamiltonian systems

An effective stability result for generalized Hamiltonian systems is obtained by applying the simultaneous approximation technique due to Lochak. Among these systems, dimensions of action variables and angle variables might be distinct.     

Multiple recurrence and infinite measure preserving odometers

A family of infinite measure preserving odometers is presented which exhibit examples ofp-recurrent but notp+1-recurrent ergodic transformations for everyp>1.     

拟线性常微分方程在半无限区间的边值问题

Existence of positive solution is established for boundary value problems of non-singular for a class quasi-linear ordinary differential equation on the semi-infinite interval. The results are obtained by using the nonlinear alternative of Leray-Schauder method.     

The perturbation bounds for the solution of weighted kronecker product linear systems using thew-weighted drazin inverse

The classical perturbation theory is extended to the weighted Kronecker product linear systems W(A? B)Wx =h. Upper bounds are derived for the normwise condition number.     

Stability criterion for synchronization of linearly coupled unified chaotic systems

This paper investigates the synchronization of two linearly coupled unified chaotic systems. A new stability criterion for asymptotic synchronization is attained using the Lyapunov stability theory and linear matrix inequality (LMI) approach. A numerical example is given to illuminate the design procedure and advantage of the result derived.     

Some results on fractionaln-factor-critical graphs

A simple graphG is said to be fractionaln-factor-critical if after deleting anyn vertices the remaining subgraph still has a fractional perfect matching. For fractionaln-factor-criticality, in this paper, one necessary and sufficient condition, and three sufficient conditions related to maximum matching, complete closure are given.