The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/∞ system revisited: finiteness,summability, long range dependence,and reverse engineering

We explore M/G/∞ systems ‘fed’ by Poissonian inflows with infinite arrival rates. Three processes – corresponding to the system's state, workload, and queue-size – are studied and analyzed. Closed form formulae characterizing the system's stationary structure and correlation structure are derived. And, the issues of queue finiteness, workload summability, and Long Range Dependence are investigated. We then turn to devise a ‘reverse engineering’ scheme for the design of the system's correlation structure. Namely: how to construct an M/G/∞ system with a pre-desired ‘target’ workload/queue auto-covariance function. The ‘reverse engineering’ scheme is applied to various examples, including ones with infinite queues and non-summable workloads. AMS Subject Classifications Primary: 60K25; Secondary: 60G55, 60G10     

The location of median paths on grid graphs

In this paper we consider the location of a path shaped facility on a grid graph. In the literature this problem was extensively studied on particular classes of graphs as trees or series-parallel graphs. We consider here the problem of finding a path which minimizes the sum of the (shortest) distances from it to the other vertices of the grid, where the path is also subject to an additional constraint that takes the form either of the length of the path or of the cardinality. We study the complexity of these problems and we find two polynomial time algorithms for two special cases, with time complexity of O(n) and O(nℓ) respectively, where n is the number of vertices of the grid and ℓ is the cardinality of the path to be located. The literature about locating dimensional facilities distinguishes between the location of extensive facilities in continuous spaces and network facility location. We will show that the problems presented here have a close connection with continuous dimensional facility problems, so that the procedures provided can also be useful for solving some open problems of dimensional facilities location in the continuous case.     

The Asymptotic Behaviour of the Fourier Transforms of Orthogonal Polynomials I: Mellin Transform Techniques

The Fourier transform of orthogonal polynomials with respect to their own orthogonality measure defines the family of Fourier–Bessel functions. We study the asymptotic behaviour of these functions and of their products, for large real values of the argument. By employing a Mellin analysis we construct a general framework to exhibit the relation of the asymptotic decay laws to certain dimensions of the orthogonality measure, that are defined via the divergence abscissas of suitable integrals. The unifying r?le of Mellin transform techniques in deriving classical and new results is underlined. Submitted: November 5, 2004. Accepted: January 6, 2006.     

Learning and transfer in dynamic decision environments

An important aspect of learning is the ability to transfer knowledge to new contexts. However, in dynamic decision tasks, such as bargaining, firefighting, and process control, where decision makers must make repeated decisions under time pressure and outcome feedback may relate to any of a number of decisions, such transfer has proven elusive. This paper proposes a two-stage connectionist model which hypothesizes that decision makers learn to identify categories of evidence requiring similar decisions as they perform in dynamic environments. The model suggests conditions under which decision makers will be able to use this ability to help them in novel situations. These predictions are compared against those of a one-stage decision model that does not learn evidence categories, as is common in many current theories of repeated decision making. Both models' predictions are then tested against the performance of decision makers in an Internet bargaining task. Both models correctly predict aspects of decision makers' learning under different interventions. The two-stage model provides closer fits to decision maker performance in a new, related bargaining task and accounts for important features of higher-performing decision makers' learning. Although frequently omitted in recent accounts of repeated decision making, the processes of evidence category formation described by the two-stage model appear critical in understanding the extent to which decision makers learn from feedback in dynamic tasks. Faison (Bud) Gibson is an Assistant Professor at College of Business, Eastern Michigan University. He has extensive experience developing and empirically testing models of decision behavior in dynamic decision environments.     

Necessary conditions and duality for inexact nonlinear semi-infinite programming problems

First order necessary conditions and duality results for general inexact nonlinear programming problems formulated in nonreflexive spaces are obtained. The Dubovitskii–Milyutin approach is the main tool used. Particular cases of linear and convex programs are also analyzed and some comments about a comparison of the obtained results with those existing in the literature are given.     

Dimensional Properties of Fractional Brownian Motion

Let B^α = {B^α（t）,t E R^N} be an （N,d）-fractional Brownian motion with Hurst index α∈ （0, 1）. By applying the strong local nondeterminism of B^α, we prove certain forms of uniform Hausdorff dimension results for the images of B^α when N 〉 αd. Our results extend those of Kaufman for one-dimensional Brownian motion.     

Timetabling County Cricket Fixtures Using a Form of Tabu Search

This paper concerns a computer system which has been devised to timetable the county cricket matches in England. The context of the work is discussed and the many constraints and objectives described. Details of the solution method are given; it involves tabu search with a form of diversification dependent on the solution subcosts as well as the overall cost. Experiments are described which suggest that this type of diversification may have wide applicability to large, complex, multi-objective combinatorial problems.     

The Nature of Community OR

This paper outlines the results of a study undertaken to investigate the nature of Community Operational Research (COR). The objective was to contact the people involved in COR through a series of personal interviews and a questionnaire survey, in order to clarify many of the issues that have emerged within the profession relating to the practice of OR within the community and voluntary sector. A total of 20 individuals were successfully contacted, and they have been responsible for at least two-thirds of the projects in the COR area.     

Positivity of Lyapunov Exponents for a Continuous Matrix-Valued Anderson Model

We study a continuous matrix-valued Anderson-type model. Both leading Lyapunov exponents of this model are proved to be positive and distinct for all energies in (2, +∞) except those in a discrete set, which leads to absence of absolutely continuous spectrum in (2, +∞). This result is an improvement of a previous result with Stolz. The methods, based upon a result by Breuillard and Gelander on dense subgroups in semisimple Lie groups, and a criterion by Goldsheid and Margulis, allow for singular Bernoulli distributions.      

自体静脉移植血管的拉伸实验研究

本文考察了自体移植静脉的纵向应力应变关系。将狗股静脉移植于股动脉，在术后不同时间切取移植静脉进行纵向单轴拉伸实验。结果表明，移植静脉的应力－应变曲线比正常静脉靠近应力坐标轴并在术后逐渐向左移动。这显示了移植血管管壁组织在术后的逐渐硬化。