Asymptotic behaviour of point processes with Markov-dependent intervals

This splitting techniques for MARKOV chains developed by NUMMELIN (1978a) and ATHREYA and NEY (1978b) are used to derive an imbedded renewal process in WOLD's point process with MARKOV-correlated intervals. This leads to a simple proof of renewal theorems for such processes. In particular, a key renewal theorem is proved, from which analogues to both BLACKWELL's and BREIMAN's forms of the renewal theorem can be deduced.

A Nonlinear System Under Combined Periodic and Random Excitation

The anharmonic oscillator under combined sinusoidal and white noise excitation is studied using the Gaussian closure approximation. The mean response and the steady-state variance of the system is obtained by the WKBJ approximation and also by the Fokker Planck equation. The multiple steadystate solutions are obtained and their stability analysis is presented. Numerical results are obtained for a particular set of system parameters. The theoretical results are compared with a digital simulation study to bring out the usefulness of the present approximate theory.

Accelerating Pseudo-Marginal MCMC using Gaussian Processes

Pseudo-marginal methods such as the grouped independence Metropolis-Hastings (GIMH) and Markov chain within Metropolis (MCWM) algorithms have been introduced in the literature as an approach to perform Bayesian inference in latent variable models. These methods replace intractable likelihood calculations with unbiased estimates within Markov chain Monte Carlo algorithms. The GIMH method has the posterior of interest as its limiting distribution, but suffers from poor mixing if it is too computationally intensive to obtain high-precision likelihood estimates. The MCWM algorithm has better mixing properties, but less theoretical support. In this paper we propose to use Gaussian processes (GP) to accelerate the GIMH method, whilst using a short pilot run of MCWM to train the GP. Our new method, GP-GIMH, is illustrated on simulated data from a stochastic volatility and a gene network model.

A Novel Approach for Designing Generator Excitation controllers Using the IDA-PBC Technique

This paper presents a novel approach for designing of generator excitation controllers using Interconnection and Damping Assignment Passivity Based Control (IDA-PBC) technique for a Single Machine Infinite Bus (SMIB) system that can also be directly used in a multi-machine environment. The generator system equations are modified by referencing the rotor angle with respect to the secondary of the transformer bus instead of the infinite bus. For the modified system equations, IDA-PBC is applied to stabilize the system around an operating condition. The IDA-PBC design results in a Lyapunov function for the modified system. The new control law is practically feasible and can be applied directly to multi-machine system without referring to external system parameters. The effectiveness of the proposed controller is tested on a SMIB and a 10 generator 39 bus test system for a range of operating conditions. The Proposed excitation controller has shown good performance for both small and large disturbances when compared to the performance of a conventional static exciter with power system stabilizer.

Non-linear resonance in strings under narrow band random excitation, part I: Planar response and stability

Non-linear planar response of a string to planar narrow band random excitation is investigated in this paper. A response equation for the mean square deflection σ2 is obtained under a single mode approximation by using the equivalent linearization technique. It is shown that the response is triple valued, as in the case of harmonic excitation, if the centre frequency of excitation Ω lies in a certain specified range. The triple valued response occurs only if the excitation bandwidth β is smaller than a critical value βcrit which is a monotonically increasing function of the intensity of excitation. An approximate method of investigating the almost sure asymptotic stability of the solution is presented and regions of instability in the Ω-σ2 plane have been charted. It is shown that planar response can become unstable either due to an unbounded growth of the in-plane component of motion or due to a spontaneous appearance of an out-of-plane component.

Marine resources, biophysical processes, and environmental management of a tropical shelf seaway: Torres Strait, Australia-Introduction to the special issue

This special issue of Continental Shelf Research contains 20 papers giving research results produced as part of Australia's Torres Strait Co-operative Research Centre (CRC) Program, which was funded over a three-year period during 2003-2006. Marine biophysical, fisheries, socioeconomic-cultural and extension research in the Torres Strait region of northeastern Australia was carried out to meet three aims: 1) support the sustainable development of marine resources and minimize impacts of resource use in Torres Strait; 2) enhance the conservation of the marine environment and the social, cultural and economic well being of all stakeholders, particularly the Torres Strait peoples; and 3) contribute to effective policy formulation and management decision making. Subjects covered, including commercial and traditional fisheries management, impacts of anthropogenic sediment inputs on seagrass meadows and communication of science results to local communities, have broad applications to other similar environments.

Minimizing overprocessing waste in business processes via predictive activity ordering

Overprocessing waste occurs in a business process when effort is spent in a way that does not add value to the customer nor to the business. Previous studies have identied a recurrent overprocessing pattern in business processes with so-called "knockout checks", meaning activities that classify a case into "accepted" or "rejected", such that if the case is accepted it proceeds forward, while if rejected, it is cancelled and all work performed in the case is considered unnecessary. Thus, when a knockout check rejects a case, the effort spent in other (previous) checks becomes overprocessing waste. Traditional process redesign methods propose to order knockout checks according to their mean effort and rejection rate. This paper presents a more fine-grained approach where knockout checks are ordered at runtime based on predictive machine learning models. Experiments on two real-life processes show that this predictive approach outperforms traditional methods while incurring minimal runtime overhead.

Processes leading to the detection of tropical weed infestations during an eradication program.

The authors identify and track processes that have resulted in the detection of six tropical weeds targeted for eradication. The habitats and distributions of these species make detection by field officers and members of the public more likely than targeted searches. The eradication program is increasing the scope of detection processes by conducting and documenting activities to improve weed recognition amongst public, government and industry stakeholders.

Will biological control of Lantana camara ever succeed? Patterns, processes & prospects

Despite biocontrol research spanning over 100 years, the hybrid weed, commonly referred to as Lantana camara, is not under adequate control. Host specificity and varietal preference of released agents, climatic suitability of a region for released agents, number of agents introduced and range or area of infestation appear to play a role in limiting biocontrol success. At least one of 41 species of mainly leaf- or flower-feeding insects has been introduced, or spread, to 41 of the 70 countries or regions where lantana occurs. Over half (26) of these species have established, achieving varying levels of herbivory and presumably some degree of control. Accurate taxonomy of the plant and adaptation of potential agents to the host plant are some of the better predictors of at least establishment success. Retrospective analysis of the hosts of introduced biocontrol agents for L. camara show that a greater proportion of agents that were collected from L. camara or Lantana urticifolia established, than agents that were collected from other species of Lantana. Of the introduced agents that had established and were oligophagous, 18 out of 22 established. The proportion of species establishing, declined with the number of species introduced. However, there was no trend when oceanic islands were treated separately from mainland areas and the result is likely an artefact of how introductions have changed over time. A calculated index of the degree of herbivory due to agents known to have caused some damage per country, was not related to land area infested with lantana for mainlands nor for oceanic islands. However, the degree of herbivory is much higher on islands than mainlands. This difference between island and mainland situations may reflect population dynamics in patchy or metapopulation landscapes. Basic systematic studies of the host remain crucial to successful biocontrol, especially of hybrid weeds like L. camara. Potential biocontrol agents should be monophages collected from the most closely related species to the target weed or be phytophages that attack several species of lantana. Suitable agents should be released in the most ideal ecoclimatic area. Since collection of biocontrol agents has been limited to a fraction of the known number of phytophagous species available, biocontrol may be improved by targeting insects that feed on stems and roots, as well as the agents that feed on leaves and flowers.

Analytical model of reactive transport processes with spatially variable coefficients

Analytical solutions of partial differential equation (PDE) models describing reactive transport phenomena in saturated porous media are often used as screening tools to provide insight into contaminant fate and transport processes. While many practical modelling scenarios involve spatially variable coefficients, such as spatially variable flow velocity, v(x), or spatially variable decay rate, k(x), most analytical models deal with constant coefficients. Here we present a framework for constructing exact solutions of PDE models of reactive transport. Our approach is relevant for advection-dominant problems, and is based on a regular perturbation technique. We present a description of the solution technique for a range of one-dimensional scenarios involving constant and variable coefficients, and we show that the solutions compare well with numerical approximations. Our general approach applies to a range of initial conditions and various forms of v(x) and k(x). Instead of simply documenting specific solutions for particular cases, we present a symbolic worksheet, as supplementary material, which enables the solution to be evaluated for different choices of the initial condition, v(x) and k(x). We also discuss how the technique generalizes to apply to models of coupled multispecies reactive transport as well as higher dimensional problems.

Special Issue on Spatial Moment Techniques for Modelling Biological Processes

Over the last two decades, there has been an increasing awareness of, and interest in, the use of spatial moment techniques to provide insight into a range of biological and ecological processes. Models that incorporate spatial moments can be viewed as extensions of mean-field models. These mean-field models often consist of systems of classical ordinary differential equations and partial differential equations, whose derivation, at some point, hinges on the simplifying assumption that individuals in the underlying stochastic process encounter each other at a rate that is proportional to the average abundance of individuals. This assumption has several implications, the most striking of which is that mean-field models essentially neglect any impact of the spatial structure of individuals in the system. Moment dynamics models extend traditional mean-field descriptions by accounting for the dynamics of pairs, triples and higher n-tuples of individuals. This means that moment dynamics models can, to some extent, account for how the spatial structure affects the dynamics of the system in question.

Complete and interpretable conformance checking of business processes

This article presents a method for checking the conformance between an event log capturing the actual execution of a business process, and a model capturing its expected or normative execution. Given a business process model and an event log, the method returns a set of statements in natural language describing the behavior allowed by the process model but not observed in the log and vice versa. The method relies on a unified representation of process models and event logs based on a well-known model of concurrency, namely event structures. Specifically, the problem of conformance checking is approached by folding the input event log into an event structure, unfolding the process model into another event structure, and comparing the two event structures via an error-correcting synchronized product. Each behavioral difference detected in the synchronized product is then verbalized as a natural language statement. An empirical evaluation shows that the proposed method scales up to real-life datasets while producing more concise and higher-level difference descriptions than state-of-the-art conformance checking methods.

Some mechanisms of excitation of a railway wheel

Railway wheel vibrations are caused by a number of mechanisms. Two of these are considered: (a) gravitational load reaction acting on different points of the wheel rim, as the wheel rolls on, and (b) random fluctuating forces generated at the contact patch by roughness on the mating surfaces of the wheel and rail. The wheel is idealized as a thin ring, and the analysis is limited to a single wheel rolling on a rail. It is shown that the first mechanism results in a stationary pattern of vibration, which would not radiate any sound. The acceleration caused by roughness-excited forces is much higher at higher frequencies, but is of the same order as that caused by load reaction at lower frequencies. The computed acceleration level (and hence the radiated SPL) caused by roughness is comparable with the observed values, and is seen to increase by about 10 dB for a doubling of the wagon speed. The driving point impedance of the periodic rail-sleeper system at the contact patch, which is used in the analysis, is derived in a companion paper.