Single Supplier Scheduling for Multiple Deliveries

The problem of scheduling the production and delivery of a supplier to feed the production of F manufacturers is studied. The orders fulfilled by the supplier are delivered to the manufacturers in batches of the same size. The supplier's production line has to be set up whenever it switches from processing an order of one manufacturer to an order of another manufacturer. The objective is to minimize the total setup cost, subject to maintaining continuous production for all manufacturers. The problem is proved to be NP-hard. It is reduced to a single machine scheduling problem with deadlines and jobs belonging to F part types. An O(NlogF) algorithm, where N is the number of delivery batches, is presented to find a feasible schedule. A dynamic programming algorithm with O(N ^F /F ^F–2) running time is presented to find an optimal schedule. If F=2 and setup costs are unit, an O(N) time algorithm is derived.     

Numerosities of labelled sets: a new way of counting

The notions of “labelled set” and “numerosity” are introduced to generalize the counting process of finite sets. The resulting numbers, called numerosities, are then used to develop nonstandard analysis. The existence of a numerosity function is equivalent to the existence of a selective ultrafilter, hence it is independent of the axioms of ZFC.     

Bivariate Sign Tests Based on the Sup, L 1 and L 2 Norms

The bivariate location problem is considered. The sup, L ₁ and L ₂ norms are used to construct bivariate sign tests from the univariate sign statistics computed on the projected observations on all lines passing through the origin. The tests so obtained are affine-invariant and distribution-free under the null hypothesis. The sup-norm gives rise to Hodges' test. A class of tests derived from the L ₂-norm, with Blumen's test as a member, is seen to be related to a class proposed by Oja and Nyblom (1989, J. Amer. Statist. Assoc., 84, 249-259). The L ₁-norm gives rise to a new test. Its asymptotic null distribution is seen to be the same as that of the L ₁-norm of a certain normal process related to the standard Wiener process. An explicit expression of its cumulative distribution function is given. A simulation study will examine the merits of the three approaches.     

A model for diffusion of mulucomponent information

The epidemic model of diffusion of news (or disease) is generalized to describe the diffusion of a multi‐component information. The multivaluedness of information in our model arises due to the large number (k) of constituent components or items of the information in question. When the different components of information are assumed to bear no hierarchy, the master equation of the model contains an intractably large number of variables (2 ^k ). The dynamics of the model, however, displays some simplifying features, one of which is the conservation of homogeneity of distribution of population over the different information vectors (in the sense defined in the text). The homogenized version of the model is found to be numerically tractable. The growth curves for large k continue to display sigmoid shapes, but with large ‘saturation times’. The dependence of ‘saturation time’ (i.e. the time required for spread of all the information in almost the entire population) on various parameters of the model, for uniform initial distributions, is numerically investigated. The ‘saturation time’ is found to vary inversely with the intensity of interaction (ß) and the size of population (N), as expected. An important numerical feature that emerges is that the ‘saturation time’ seems to be in linear proportion to the number of information items (k).     

Concentration of measure and isoperimetric inequalities in product spaces

The concentration of measure phenomenon in product spaces roughly states that, if a set A in a product Ω^N of probability spaces has measure at least one half, “most” of the points of Ωn are “close” to A. We proceed to a systematic exploration of this phenomenon. The meaning of the word “most” is made rigorous by isoperimetrictype inequalities that bound the measure of the exceptional sets. The meaning of the work “close” is defined in three main ways, each of them giving rise to related, but different inequalities. The inequalities are all proved through a common scheme of proof. Remarkably, this simple approach not only yields qualitatively optimal results, but, in many cases, captures near optimal numerical constants. A large number of applications are given, in particular to Percolation, Geometric Probability, Probability in Banach Spaces, to demonstrate in concrete situations the extremely wide range of application of the abstract tools. Dedicated to Vitali Milman     

“A valuable monument of mathematical genius”: The Ladies' Diary (1704–1840)

Our purpose is to view the mathematical contribution of The Ladies' Diary as a whole. We shall range from the state of mathematics in England at the beginning of the 18th century to the transformations of the mathematics that was published in The Diary over 134 years, including the leading role The Ladies' Diary played in the early development of British mathematics periodicals, to finally an account of how progress in mathematics and its journals began to overtake The Diary in Victorian Britain.     

Further modified forms of binomial and poisson distributions

Summary Some new type of modifications of binomial and Poisson distributions, are discussed. First, we consider Bernoulli trials of lengthn with success ratep up to time whenm times of successes occur, and then, changing the success rate to γp, we continue the remaining trial. The distribution of number of successes is called the modified binomial distribution. The Poisson limit (n tends to infinity andp tends to 0, keepingnp=λ) of the modified binomial is called the modified Poisson distribution. The probability functions of modified binomial and Poisson distributions are given (Section 1). A new concept of (m, γ)-modification is introduced and fundamental theorem which gives the relations between the factorial moments of any probability function and the factorial moments of its (m, γ)-modification, is presented. Then some lower order moments of the modified binomial and Poisson distributions are given explicitly (Section 2). The modified Poisson ofm=2 is fitted to the distribution of number of children for Japanese women in some age group. The fitting procedure is also presented (Section 3). Some historical sketch concerning the modification and generalization of binomial and Poisson distributions is given in Appendix. The Institute of Statistical Mathematics     

Time-temperature superposition applied to the relaxation properties of a glass-reinforced plastic and its matrix

The relaxation behavior in compression of an unsaturated polyester resin and the corresponding glass-reinforced plastic has been investigated. The time-temperature superposition principle is shown to be applicable to the cross-linked polyester resin and the glass-reinforced plastic. The temperature dependences of the shift functionsa _T of the resin and the glass-reinforced plastic are found to satisfy an Arrhenius equation with the constant equal to 21–25 kcal/mole.Scientific-Research Institute of Plastics, Moscow. Translated from Mekhanika Polimerov, No. 2, pp. 360–363, March–April, 1972.     

A closed-form solution to the problem of optimal tool-path generation for sculptured surface machining on multi-axis NC machine

The topic of the paper is in the field of sculptured surface machining (SSM) on multi-axis NC machines. It presents novel results of investigation of tool-path generation for sculptured surface machining on multi-axis NC machines. The purpose of the paper is to develop an integral form of solution to the problem of optimal tool-path generation. The concept of time-minimal tool-paths is introduced, as well as the optimization problem being formulated analytically. The problem of optimization is subdivided into the following three partial sub-problems: (a) the problem of local tool-path generation; (b) the problem of regional tool-path generation, and finally, (c) the problem of global tool-path generation. The paper presents a closed-form solution to the first two sub-problems. A solution to the problem of optimal tool-path generation is given in the form of an integral equation. The obtained solution enables one to retain the optimal cutter configuration (i.e., the cutter position, and the cutter orientation), as well as the optimal instant direction of feed-rate at every cutter location-point (further, CC-point).     

Operations in A-theory

A construction for Segal operations for K-theory of categories with cofibrations, weak equivalences and a biexact pairing is given and coherence properties of the operations are studied. The model for K-theory, which is used, allows coherence to be studied by means of (symmetric) monoidal functors. In the case of Waldhausen A-theory it is shown how to recover the operations used in Waldhausen (Lecture Notes in Mathematics, Vol. 967, Springer, Berlin, 1982, pp. 390-409) for the A-theory Kahn-Priddy theorem. The total Segal operation for A-theory, which assembles exterior power operations, is shown to carry a natural infinite loop map structure. The basic input is the un-delooped model for K-theory, which has been developed from a construction by Grayson and Gillet for exact categories in Gunnarsson et al. (J. Pure Appl. Algebra 79 (1992) 255), and Grayson's setup for operations in Grayson (K-theory (1989) 247). The relevant material from these sources is recollected followed by observations on equivariant objects and pairings. Grayson's conditions are then translated to the context of categories with cofibrations and weak equivalences. The power operations are shown to be well behaved w.r.t. suspension and are extended to algebraic K-theory of spaces. Staying close with the philosophy of Waldhausen (1982) Waldhausen's maps are found. The Kahn-Priddy theorem follows from splitting the “free part” off the equivariant theory. The treatment of coherence of the total operation in A-theory involves results from Laplaza (Lecture Notes in Mathematics, Vol. 281, Springer, Berlin, 1972, pp. 29-65) and restriction to spherical objects in the source of the operation.     

A rank based particle swarm optimization algorithm with dynamic adaptation

The particle swarm optimization (PSO) technique is a powerful stochastic evolutionary algorithm that can be used to find the global optimum solution in a complex search space. This paper presents a variation on the standard PSO algorithm called the rank based particle swarm optimizer, or PSO_rank, employing cooperative behavior of the particles to significantly improve the performance of the original algorithm. In this method, in order to efficiently control the local search and convergence to global optimum solution, the γ best particles are taken to contribute to the updating of the position of a candidate particle. The contribution of each particle is proportional to its strength. The strength is a function of three parameters: strivness, immediacy and number of contributed particles. All particles are sorted according to their fitness values, and only the γ best particles will be selected. The value of γ decreases linearly as the iteration increases. A time-varying inertia weight decreasing non-linearly is introduced to improve the performance. PSO_rank is tested on a commonly used set of optimization problems and is compared to other variants of the PSO algorithm presented in the literature. As a real application, PSO_rank is used for neural network training. The PSO_rank strategy outperformed all the methods considered in this investigation for most of the functions. Experimental results show the suitability of the proposed algorithm in terms of effectiveness and robustness.     

A Spectral method determination of the first critical Rayleigh number in a cylindrical container

The onset of laminar axisymmetric Rayleigh–Bénard convection is investigated analytically for fluid in a cylindrical container. All surfaces are considered to be solid and no-slip for the flow, whereas for the thermal boundary conditions both a perfectly conducting and an insulated side wall are considered. The governing Boussinesq equations are perturbed and an approximate solenoidal flow field and a temperature field are determined, using the assumption of separation of variables. Subsequently, a Chebysev–Galerkin spectral method is employed to reduce the equations to a system of first-order nonlinear ordinary differential equations. The approximate representation of the flow and temperature fields make it possible to perform the calculations analytically. The first critical Rayleigh number (Ra_cr) is then calculated using local stability analysis. The resulting value of Ra_cr compares favorably with previous numerical and experimental studies. The analytical solution presented here allows for deeper insights into the physics of this extensively studied problem to be identified.     

Large Closed Queueing Networks in Semi-Markov Environment and Their Application

The paper studies closed queueing networks containing a server station and k client stations. The server station is an infinite server queueing system, and client stations are single-server queueing systems with autonomous service, i.e. every client station serves customers (units) only at random instants generated by a strictly stationary and ergodic sequence of random variables. The total number of units in the network is N. The expected times between departures in client stations are (N μ _j )⁻¹. After a service completion in the server station, a unit is transmitted to the jth client station with probability p _j (j=1,2,…,k), and being processed in the jth client station, the unit returns to the server station. The network is assumed to be in a semi-Markov environment. A semi-Markov environment is defined by a finite or countable infinite Markov chain and by sequences of independent and identically distributed random variables. Then the routing probabilities p _j (j=1,2,…,k) and transmission rates (which are expressed via parameters of the network) depend on a Markov state of the environment. The paper studies the queue-length processes in client stations of this network and is aimed to the analysis of performance measures associated with this network. The questions risen in this paper have immediate relation to quality control of complex telecommunication networks, and the obtained results are expected to lead to the solutions to many practical problems of this area of research.      

The Tchebyshev Transforms of the First and Second Kind

An in-depth study of the Tchebyshev transforms of the first and second kind of a poset is taken. The Tchebyshev transform of the first kind is shown to preserve desirable combinatorial properties, including EL-shellability and nonnegativity of the cd-index. When restricted to Eulerian posets, it corresponds to the Billera, Ehrenborg, and Readdy omega map of oriented matroids. The Tchebyshev transform of the second kind U is a Hopf algebra endomorphism on the space of quasisymmetric functions which, when restricted to Eulerian posets, coincides with Stembridge’s peak enumerator. The complete spectrum of U is determined, generalizing the work of Billera, Hsiao, and van Willigenburg. The type B quasisymmetric function of a poset is introduced and, like Ehrenborg’s classical quasisymmetric function of a poset, it is a comodule morphism with respect to the quasisymmetric functions QSym. Finally, similarities among the omega map, Ehrenborg’s r-signed Birkhoff transform, and the Tchebyshev transforms motivate a general study of chain maps which occur naturally in the setting of combinatorial Hopf algebras.     

Initial Development of Diffusion in Poiseuille Flow

The combined effect of diffusion, and of convection by Poiseuilleflow, on the distribution of a small quantity of miscible additiveinjected into a tube of radius a, is to spread it longitudinallywith a Taylor "effective diffusion coefficient", to an approximationthat is good at times greater than about 0.5a²/D (Bailey &Gogarty, 1962), where D is the molecular diffusion coefficient.The present theory, complementary to the Taylor theory, determinesthe initial action of diffusion on the front of the concentrationdistribution, to an approximation that is good at times t lessthan about 0.1a²/D. The theory is exact wherever the added substancedoes not yet interact with the tube wall, and predicts thatthe spread in the front due to diffusion extends (Fig. 2) overa distance of order DUt²/a², where U is the velocity on theaxis of the tube. The transition between distributions characteristicof the two theories is illustrated (Fig. 4); and the introductionindicates the relevance of the new theory to work (Caro, 1966)on tracers used in study of the blood circulation.     

The Interplay Between Fairness and Randomness in a Spatial Computer Game

This article describes how children use an expressive microworld to articulate ideas about how to make a game seem fair with the use of randomness. Our aim in this study is to disentangle different flavours of fairness and to find out how children used each flavour to make sense of potentially complex behaviour. In order to achieve this, a spatial computer game was designed to enable children to examine the consequences of their attempts to make the game fair. The study investigates how 23 children, aged between 5.5 and 8 years, engaged in constructing a crucial part of a mechanism for a fair spatial lottery machine (microworld). In particular, the children tried to construct a fair game given a situation in which the key elements happened randomly. The children could select objects, determine their properties, and arrange their spatial layout in the machine. The study is based on task-based interviewing of children who were interacting with the computer game. The study shows that children have various cognitive resources for constructing a random fair environment. The spatial arrangement, the visualisation and the manipulations in the lottery machine allow us gain a view into the children’s thinking of the two central concepts, fairness and randomness. The paper reports on two main strategies by which the children attempted to achieve a balance in the lottery machine. One involves arranging the balls symmetrically and the other randomly. We characterize the nature of the thinking in these two strategies: the first we see as deterministic and the latter as stochastic, exploiting the random collisions of the ball. In this article we trace how the children’s thinking moved between these two perspectives.

Pulsatile flow of particle-fluid suspension model of blood under periodic body acceleration

A particle-fluid suspension model is applied to the problem of pulsatile blood flow through a circular tube under the influence of body acceleration. With the help of finite Hankel and Laplace transforms, analytic expressions for axial velocity for both fluid and particle phase, fluid acceleration, wall shear stress and instantaneous flow rate have been obtained. It is observed that the solutions can be used for all feasible values of pulsatile and body acceleration Reynolds numbers R_p and R_b. Using physiological data, the following qualitative and quantitative results have been obtained. The amplitude Q_b of instantaneous flow rate due to body acceleration decreases as the tube radius decreases. The effect of the volume fraction of particle C on Q_b is to increase it with increase of C in arteriole and to decrease Q_b as C increases in coronary and femoral arteries. The maximum of the axial velocity and fluid acceleration shifts from the axis of the tube to the vicinity of the tube wall as the tube diameter increases. The effect of C on the velocity and acceleration are nonuniform. The wall shear amplitude t_b\tau_b due to body acceleration increases as the tube diameter decreases from femoral to coronary and a further decrease in the tube diameter leads to a decrease in t_b\tau_b. The effects of C on t_b\tau_b are again nonuniform.     

Initial-boundary value problems for incomplete singular perturbations of hyperbolic systems

The general problem studied has as a prototype the full non-linear Navier-Stokes equations for a slightly viscous compressible fluid including the heat transfer. The boundaries are of inflow-outflow type, i.e. non-characteristic, and the boundary conditions are the most general ones with any order of derivatives. It is assumed that the uniform Lopatinsky condition is satisfied. The goal is to prove uniform existence and boundedness of solution as the viscosity tends to zero and to justify the boundary layer asymptotics. The paper consists of two parts. In Part I the linear problem is studied. Here, uniform lower and higher order tangential estimates are derived and the existence of a solution is proved. The higher order estimates depend on the smoothness of coefficients; however this smoothness does not exceed the smoothness of the solution. In Part II the quasilinear problem is studied. It is assumed that for zero viscosity the overall initial-boundary value problem has a smooth solutionu ₀ in a time interval 0≦t≦T ₀. As a result the boundary laye, is weak and is uniformlyC ¹ bounded. This makes the linear theory applicable. an iteration scheme is set and proved to converge to the viscous solution. The convergence takes place for small viscosity and over the original time interval 0≦t≦T ₀.     

Transplantation harmonique,transplantation par modules,et théorèmes isopérimétriques

Summary The “harmonic transplantation” allows to extend some isoperimetric theorems, so far proved by conformal mapping, to higher connectivity and to higher dimensions; for the first eigenvalue λ₁ of a membrane, it again can give only upper bounds.—The “transplantation by moduli” is much more flexible; for example, it leads to a simple one-dimensional interpretation of the Rayleigh-Faber-Krahn theorem.      

Mixed Micromechanics and Continuum Damage Mechanics Approach to Transverse Cracking in [S, 90n]s Laminates

The stiffness reduction in [S, 90 _n ] _s laminates due to transverse cracking in 90-layers is analyzed using the synergistic continuum damage mechanics (SCDM) and a micromechanics approach. The material constants involved in the SCDM model are determined using the stiffness reduction data for a reference cross-ply laminate. The constraint efficiency factor, which depends on the stiffness and geometry of neighboring layers, is assumed to be proportional to the average crack opening displacement (COD). The COD as a function of the constraint effect of adjacent layers and crack spacing is described by a simple power law. The crack closure technique and Monte Carlo simulations are used to model the damage evolution: the 90-layer is divided into a large number of elements and the critical strain energy rate G _c having the Weibull distribution is randomly assigned to each element. The crack density data for a [0₂/90₄] _s cross-ply laminate are used to determine the Weibull parameters. The simulated crack density curves are combined with the CDM stiffness reduction predictions to obtain the stiffness versus strain. The methodology developed is successfully used to predict the stiffness reduction as a function of crack density in [±/90₄] _s laminates.