Two fluid approximations for multi-server queues with abandonments

Insight is provided into a previously developed M/M/s/r+M(n) approximation for the M/GI/s/r+GI queueing model by establishing fluid and diffusion limits for the approximating model. Fluid approximations for the two models are compared in the many-server efficiency-driven (overloaded) regime. The two fluid approximations do not coincide, but they are close.     

Steady state analysis of an M/G/1 queue with linear retrial policy and two phase service under Bernoulli vacation schedule

We consider a single server queueing system with two phases of heterogeneous service and Bernoulli vacation schedule which operate under the so called linear retrial policy. This model extends both the classical M/G/1 retrial queue with linear retrial policy as well as the M/G/1 queue with two phases of service and Bernoulli vacation model. We carry out an extensive analysis of the model.     

Negative correlation between power-law scaling and Hurst exponents in long-range connective sandpile models and real seismicity

We propose a generic negative correlation between power-law scaling and Hurst exponents for size/magnitude data from real and synthetic earthquakes. The synthetic earthquakes were produced from a conceptual earthquake model, the long-range connective sandpile (LRCS) model. The LRCS model is a new modification of sandpile models that considers the random distant connection between two separated cells instead of neighboring cells. We calculated the Hurst exponent H and the power-law scaling exponent B for event size data in the LRCS model. We systematically explored the relationships between these two exponents (H and B) and conclusively obtained a negative correlation between H and B. We also found this negative correlation for real earthquake data registered in the Taiwan Central Weather Bureau (CWB) catalog. This negative correlation has not been demonstrated previously for real seismicity, although it has been frequently suggested.     

Analysis of two-sample truncated data using generalized logistic models

Parallel to Cox's [JRSS B34 (1972) 187-230] proportional hazards model, generalized logistic models have been discussed by Anderson [Bull. Int. Statist. Inst. 48 (1979) 35-53] and others. The essential assumption is that the two densities ratio has a known parametric form. A nice property of this model is that it naturally relates to the logistic regression model for categorical data. In astronomic, demographic, epidemiological, and other studies the variable of interest is often truncated by an associated variable. This paper studies generalized logistic models for the two-sample truncated data problem, where the two lifetime densities ratio is assumed to have the form exp{α+φ(x;β)}. Here φ is a known function of x and β, and the baseline density is unspecified. We develop a semiparametric maximum likelihood method for the case where the two samples have a common truncation distribution. It is shown that inferences for β do not depend the nonparametric components. We also derive an iterative algorithm to maximize the semiparametric likelihood for the general case where different truncation distributions are allowed. We further discuss how to check goodness of fit of the generalized logistic model. The developed methods are illustrated and evaluated using both simulated and real data.     

Two scales hydrodynamic limit for a model of malignant tumor cells

We consider a model introduced in [S. Luckhaus, L. Triolo, The continuum reaction-diffusion limit of a stochastic cellular growth model, Rend. Acc. Lincei (S.9) 15 (2004) 215-223] with two species (η and ξ) of particles, representing respectively malignant and normal cells. The basic motions of the η particles are independent random walks, scaled diffusively. The ξ particles move on a slower time scale and obey an exclusion rule among themselves and with the η particles. The competition between the two species is ruled by a coupled birth and death process. We prove convergence in the hydrodynamic limit to a system of two reaction-diffusion equations with measure valued initial data.     

Models of adding relations to an organization structure of a complete K-ary tree

This paper proposes three models of adding relations to an organization structure which is a complete K-ary tree of height H: (i) a model of adding an edge between two nodes with the same depth N, (ii) a model of adding edges between every pair of nodes with the same depth N and (iii) a model of adding edges between every pair of siblings with the same depth N. For each of the three models, an optimal depth N¹ is obtained by maximizing the total shortening path length which is the sum of shortening lengths of shortest paths between every pair of all nodes.     

Effects of a Degeneracy in the Competition Model: Part I. Classical and Generalized Steady-State Solutions

We study the competition model where the coefficient functions are strictly positive over the underlying spatial region Ω except b(x), which vanishes in a nontrivial subdomain of Ω, and is positive in the rest of Ω. We show that there exists a critical number λ* such that if λ <λ*, then the model behaves similarly to the well-studied classical competition model where all the coefficient functions are positive constants, but when λ>λ*, new phenomena occur. Our results demonstrate the fact that heterogeneous environmental effects on population models are not only quantitative, but can be qualitative as well. In part I here, we mainly study two kinds of steady-state solutions which determine the dynamics of the model: one consists of finite functions while the other consists of generalized functions which satisfy (u, v)=(∞, 0) on the part of the domain that b(x) vanishes, but are positive and finite on the rest of the domain, and are determined by certain boundary blow-up systems. The research is continued in part II, where these two kinds of steady-state solutions will be used to determine the dynamics of the model.     

Spontaneous violation of spatial parity in dense baryonic matter in a generalized U(2)L×U(2)R sigma model

Based on a generalized U(2) _L ×U(2) _R sigma model describing ground and excited states of scalar and pseudoscalar meson singlets and triplets, we investigate the conditions for spatial parity violation for dense baryonic matter in the hadron phase. We introduce’ t Hooft-type vertices into the model for violating the U(1) _A symmetry of quantum chromodynamics by the anomaly. At large values of the chemical potential, broken-parity states can appear in the model, which corresponds to condensation of pseudoscalar fields. We give the conditions on the parameters of the generalized sigma model that determine the transition to the phase with spontaneously broken parity. For different signs of the constants of two’ t Hooft-type vertices, either pseudoscalar isotriplets or isosinglets undergo condensation.     

On p-adic Gibbs measures for Ising model with four competing interactions

In this paper we consider a p-adic Ising model with four competing interactions (nearest neighbor, second neighbors and triples of neighbors) on the Cayley tree of order two. We show the uniqueness of the p-adic Gibbs measure for the model. Moreover, we consider p-adic quasi Gibbs measure for the model.     

Existence of multiple periodic solutions for an SIR model with seasonality

We study an SIR model with a seasonal contact rate and a staged treatment strategy, which is an extension of our previous work [Z. Bai, Y. Zhou, Existence of two periodic solutions for a non-autonomous SIR epidemic model, Appl. Math. Model. 35 (2011) 382-391]. It is proved that the persistence and extinction of the disease are determined by the basic reproductive number (R₀) and a threshold parameter (R_c). It is obtained that the model exhibits two different bistable behaviors under certain conditions: the stable disease-free state coexists with a stable endemic periodic solution, and three endemic periodic solutions coexist with two of them being stable. Numerical simulations are presented to illustrate theoretical results.     

Global existence of classical solutions to a combined chemotaxis-haptotaxis model with logistic source

This paper deals with a mathematical model of cancer invasion of tissue. The model consists of a system of reaction-diffusion-taxis partial differential equations describing interactions between cancer cells, matrix degrading enzymes, and the host tissue. In two space dimensions, we prove global existence and uniqueness of classical solutions to this model for any μ>0 (where μ is the logistic growth rate of cancer cells). The crucial point of proof is to raise the regularity estimate of a solution from L¹(Ω) to L³(Ω×(0,T)) (where Ω⊂R² is some bounded domain and T>0 is some constant). This paper develops new estimate techniques and improves greatly our previous results [Y. Tao, M. Wang, Global solution for a chemotactic-haptotactic model of cancer invasion, Nonlinearity 21 (2008) 2221-2238] in 2 dimensions.     

Scheduling about a common due date with kob-dependent asymmetric earliness and tardiness penalties

This paper is concerned with the problem of scheduling n jobs with a common due date on a single machine so as to minimize the total cost arising from earliness and tardiness. A general model is examined, in which earliness penalty and tardiness penalty are, respectively, arbitrary non-decreasing functions. Moreover, the model includes two important features that commonly appear in practical problems, namely, 1) earliness and tardiness are penalized with different weights which are job-dependent, and 2) the earliness (or tardiness) penalty consists of two parts, one is a variable cost dependent on the length of earliness (or tardiness), while the other is a fixed cost incurred when a job is early (or tardy). This model provides a general and flexible performance measure for earliness/tardiness scheduling, which has not been addressed before. We establish a number of results on the characterizations of optimal and sub-optimal solutions, and propose two algorithms based on these results. The first algorithm can find, under an agreeable weight condition, an optimum in time O(n² P_n), and the second algorithm can generate a sub-optimum in time O(nP_n), where P_n is the sum of the processing times. Further, we derive an upper bound on the relative error of the sub-optimal solution and show that, under certain conditions, the error tends to zero as n increases. Computational results are also reported to demonstrate the effectiveness of the algorithms proposed.     

Effects of a Degeneracy in the Competition Model: Part II. Perturbation and Dynamical Behaviour

This is the second part of our study on the competition model where the coefficient functions are strictly positive over the underlying spatial region Ω except b(x), which vanishes in a nontrivial subdomain of Ω, and is positive in the rest of Ω. In part I, we mainly discussed the existence of two kinds of steady-state solutions of this system, namely, the classical steady-states and the generalized steady-states. Here we use these solutions to determine the dynamics of the model. We do this with the help of the perturbed model where b(x) is replaced by b(x)+ε, which itself is a classical competition model. This approach also reveals the interesting relationship between the steady-state solutions (both classical and generalized) of the above system and that of the perturbed system.     

Vector total fractional-order variation and its applications for color image denoising and decomposition

In this paper, a vector total fractional-order variation (VTV-β) is proposed. Then, VTV-β model and G^β(Ω) model are proposed for color image denoising and decomposition, respectively. Some properties of the VTV-β are investigated and an alternative algorithm is used to solve the two models. Some experimental results are given to show the effectiveness and advantages of our methods.     

Integrating DEA-oriented performance assessment and target setting using interactive MOLP methods

Data envelopment analysis (DEA) and multiple objective linear programming (MOLP) are tools that can be used in management control and planning. Whilst these two types of model are similar in structure, DEA is directed to assessing past performances as part of management control function and MOLP to planning future performance targets. This paper is devoted to investigating equivalence models and interactive tradeoff analysis procedures in MOLP, such that DEA-oriented performance assessment and target setting can be integrated in a way that the decision makers’ preferences can be taken into account in an interactive fashion. Three equivalence models are investigated between the output-oriented dual DEA model and the minimax reference point formulations, namely the super-ideal point model, the ideal point model and the shortest distance model. These models can be used to support efficiency analysis in the same way as the conventional DEA model does and also support tradeoff analysis for setting target values by individuals or groups. A case study is conducted to illustrate how DEA-oriented efficiency analysis can be conducted using the MOLP methods and how such performance assessment can be integrated into an interactive procedure for setting realistic target values.     

G-symmetric spectra,semistability and the multiplicative norm

In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in between Mandell's equivariant symmetric spectra and the G-orthogonal spectra of Mandell and May and is Quillen equivalent to the two. We further discuss equivariant semistability, construct model structures on module, algebra and commutative algebra categories and describe the homotopical properties of the multiplicative norm in this context.     

A model-data weak formulation for simultaneous estimation of state and model bias

We introduce a Petrov–Galerkin regularized saddle approximation which incorporates a “model” (partial differential equation) and “data” (M experimental observations) to yield estimates for both state and model bias. We provide an a priori theory that identifies two distinct contributions to the reduction in the error in state as a function of the number of observations, M: the stability constant increases with M; the model-bias best-fit error decreases with M. We present results for a synthetic Helmholtz problem and an actual acoustics system.     

Complete separation in the random and Cohen models

It is shown that in the model obtained by adding κ many random reals, where κ is a supercompact cardinal, every C^?-embedded subset of a first countable space (even with character smaller than κ) is C-embedded. It is also proved that if two ground model sets are completely separated after adding a random real then they were completely separated originally but CH implies that the Cohen poset does not have this property.     

Superinfection Behaviors on Scale-Free Networks with Competing Strains

This paper considers the epidemiology of two strains (I,J) of a disease spreading through a population represented by a scale-free network. The epidemiological model is SIS and the two strains have different reproductive numbers. Superinfection means that strain I can infect individuals already infected with strain J, replacing the strain J infection. Individuals infected with strain I cannot be infected with strain J. The model is set up as a system of ordering differential equations and stability of the disease free, marginal strain I and strain J, and coexistence equilibria are assessed using linear stability analysis, supported by simulations. The main conclusion is that superinfection, as modeled in this paper, can allow strain I to coexist with strain J even when it has a lower basic reproductive number. Most strikingly, it can allow strain I to persist even when its reproductive number is less than 1.     

Efficient algorithms for checking the equivalence of programs in interrupt handling models

The problem of equivalence of interrupt handling programs in two algebraic models is studied. Program operators are divided into two classes, namely, the classes of basic operators and interrupt handling operators. The first model obeys the absorption law, i.e., each basic operator suppresses the result of application of any interrupt handling operator. This means that, if the interrupt handling is successfully finished and the control is passed to basic operators, then the result of interrupt handling has no influence on the program output. An algorithm that solves the problem of equivalence in the above model in O(n ²log n) operations is suggested. The other model obeys the absorption law and satisfies the commutative property for basic operators. For this model, we also propose an algorithm that checks the equivalence of programs in O(n ⁴log n) operations.