Distribution results for lattices in SL(2,ℚ p )

In this paper we study the ergodic properties of the linear action of lattices Γ of SL(2,ℚ_p) on ℚ_p × ℚ_p and distribution results for orbits of Γ. Following Serre, one can define a “geodesic flow” for an associated tree (actually associated to GL(2,ℚ_p)). The approach we use is based on an extension of this approach to “frame flows” which are a natural compact group extension of the geodesic flow.     

Multi-Item Scheduling by Benders' Decomposition

Scheduling the production of several items requires the determination of production quantities in different periods in the presence of resource constraints. Several approximate and heuristic algorithms have been proposed to solve this problem. However, no method for finding an optimal solution has as yet been developed. It is shown that the problem may be solved advantageously using Benders' decomposition. The subproblem in Benders' decomposition is shown to be a transportation problem, and some strategies for solving the master problem are indicated. The paper concludes with a sample problem demonstrating the application of the method.     

On the group extension of the transformation associated to non-archimedean continued fractions

Summary Let F_q be a finite field with q elements. We consider formal Laurent series of F_q -coefficients with their continued fraction expansions by F_q -polynomials. We prove some arithmetic properties for almost every formal Laurent series with respect to the Haar measure. We construct a group extension of the non-archimedean continued fraction transformation and show its ergodicity. Then we get some results as an application of the individual ergodic theorem. We also discuss the convergence rate for limit behaviors.     

Vector potential theory on nonsmooth domains in R<Superscript>3</Superscript> and applications to electromagnetic scattering

We study boundary value problems for the time-harmonic form of the Maxwell equations, as well as for other related systems of equations, on arbitrary Lipschitz domains in the three-dimensional Euclidean space. The main goal is to develop the corresponding theory for L^p-integrable bounday data for optimal values of p's. We also discuss a number of relevant applications in electromagnetic scattering.     

The Livsic Cocycle Equation for Compact Lie Group Extensions of Hyperbolic Systems

In this article we extend well-known results of Livsic on theregularity of measurable solutions to the cocycle equation.Livsic proved a regularity result for real valued cocycles,but for compact Lie group valued cocycles his result was restrictedto coboundaries (that is, trivial or constant cocycles). Inthis article we prove the complete result. We present several useful applications of these results.     

Success and survival of operational research groups—A review

Operational Research groups were established in private and public sector organizations following on from their success supporting the military in the Second World War. In the early years their numbers grew rapidly but by the mid-1970s evidence started to accumulate that they were being viewed less favourably. Many organizations chose not to set up OR groups. Established groups were closed down or dispersed to operating units in organizations, particularly during the recessionary periods. In 1993 following on the closures of some major OR groups in the UK, the Operational Research Society decided to fund research to examine those factors influencing a group's success and survival. This review, which forms part of the research, first examines the history of OR groups in the UK and North America, arguing that in practice they were one of a number of internal organizational consultancies. As such they were judged by their competitive performance. Despite the intent of the founding fathers of OR many groups found their scope was limited to mainly tactical problems using analytical model based approaches although there were exceptions that were successful in making major contributions at the strategic level also. Within their chosen fields of activity however many groups flourished whilst some failed. This review presents a comprehensive list of influences on success and survival. They include changes in the external environment, together with shifts in managerial style and culture, organizational factors, and the OR group itself. The review concludes that, while OR groups can do much to protect themselves from closure, organizational changes within a hostile managerial culture demand a creative response that acknowledges new requirements. Areas where an OR group has greatest influence over its effectiveness include its leadership and personnel, project balance and management. In addition, to be successful OR groups need to positively develop and market their services in an increasingly competitive managerial climate.     

Development of high-speed video cameras for Dynamic PIV

The most promising next generation Image Velocimtry (IV) is the high-speed Dynamic PIV. It requires the development of innovative high-speed video camera sensors. We started by specifying the required performance of these new sensors, for measurements in air and water flows. These criteria founded on the most recent developments in PIV algorithms and incorporate results from a large questionnaire survey of users of high-speed video cameras in Japan. The results suggest that the followings are required: (1) frame rate of 1,000,000 fps, (2) pixel count of 1,000,000 pixels, (3) frame storage capacity of 100–200 frames for tracing a single event and 10,000 frames for turbulent measurements, (4) gray levels of 4–8 bits for PTV; 12 bits for observation. Finally, we reviewed the state of the art of high-speed video-image sensors. Currently the standard parallel-readout sensors can operate at 1 Kfps with a pixel count of approximately 1 Kpixels. The In-situ Storage Image Sensor (ISIS) developed by the authors has recently achieved frame rates of 1 Mfps.     

A model of JIT make-to-stock inventory with stochastic demand

We consider a firm that manages its internal manufacturing operations according to a just-in-time (JIT) system but maintains an inventory of finished goods as a buffer against random demands from external customers. We formulate a model in which finished goods are replenished by a small fixed quantity each time period. In the interest of schedule stability, the size of the replenishment quantity must remain fixed for a predetermined interval of time periods. We analyse the single-interval problem in depth, showing how to compute a cost-minimising value of the replenishment quantity for a given interval length, and characterising the optimal cost, inventory levels and service as functions of the interval length and initial inventory. The model displays significant cost and service penalties for schedule stability. A dynamic version of the problem is also formulated, and shown to be convex in nature with relatively easily computed optima.     

Outflow refreshment angiography: A bright blood, bright static tissue technique

A new “bright blood” strategy, outflow refreshment imaging, is introduced in which a number of overlapping slices are excited in rapid succession. Flowing spins that refresh each overlapped slice portion contribute a bright signal. Additionally, static tissue in each non-overlapped slice portion also yields a bright signal. However, the flow/static contrast is comparable to that produced in inflow refreshment images, and angiograms can be generated by conventional maximum intensity projection processing. The dual ability to visualize angiograms and static tissue images is a major benefit of the strategy. Computer simulations of flow sensitivities and in vivo results are presented which compare the outflow and inflow refreshment imaging strategies.     

An Overview of Scheduling Problems Arising in Satellite Communications

Satellite communications, like batches of work in a job shop, need to be scheduled in order to use their resources as efficiently as possible. The most common satellite communications system in use today is known as Time Division Multiple Access (TDMA), in which data from earth stations is buffered before being transmitted to the appropriate receiver on a satellite. Cycles of transmission are fixed for all stations. Since the same satellite will be used for routeing data in several different ways, a schedule must be devised to use the receivers, repeaters and transmitters on board to minimize the time needed for completion of a batch of work. This paper is a survey of current scheduling algorithms used for optimizing satellite communications resources. Apart from telecommunications, the methods presented here could be applied to more general scheduling problems with renewable resources but without precedence constraints.