Performance analysis of single stage kanban controlled production systems using parametric decomposition

We present a new approach that permits efficient performance analysis of kanban systems with general demand processes, material arrival processes, and service times. The approach is based on parametric characterization of the traffic processes (arrival and departure) in the network and uses two-moment approximations to estimate performance measures at individual stations. We derive traffic flow constraints that are particular to closed queuing networks with synchronization stations and use these to establish relationships between the parameters characterizing arrival and departure processes at the stations in the network. The resultant set of non-linear equations is solved to estimate network performance measures. Numerical studies show that the approach is not only fast but also reasonably accurate when compared to simulation. These studies also provide insights with respect to the impact of different types of variability on the performance of a kanban system. This work also provides a fundamental building block that can be used in the analysis of multi-stage kanban systems. AMS Subject Classifications 68M20, 60K20, 90B05, 90B30     

Pr值逻辑函数相关免疫的等价判别条件

本文首先基于环Zpr中的元的padic分解并结合概率论的思想,给出了pr值随机变量的分解性质及pr值随机变量独立性的等价描述,然后在对pr值逻辑函数及其变元都进行padic分解的基础上,直接通过p值逻辑函数的Chrestenson谱给出了padic分解意义下pr值逻辑函数k阶相关免疫的线性组合引理和谱判别定理.     

On Polynomial Representations of Lie Algebras

We study polynomial representations of finite dimensional (R or C) Lie algebras. As a total classification, we show that there are altogether three types of such nontrivial representations and give their subtle structures.     

线性流形上矩阵方程AXAT=B的极小Frobenius范数对称正交对称解

利用矩阵对的商奇异值分解,给出了线性流形上矩阵方程AXAT=B存在极小Frobe- nius范数对称正交对称解的充要条件及其解的表达式．     

三元对称形式的Schur分拆与不等式的可读证明

本文给出了一类三元对称形式(即对称齐次多项式)的一种分拆法,即将此类多项式表示成一类特定形式的正半定对称形式的线性组合,介绍分拆算法．并由此而给出了三元对称形式半正定的一个充分条件．     

Studies of an infinite element method for acoustical radiation

Infinite element computations are very efficient for predicting the vibro-acoustic response and sensitivities of a vibrating structure for an exterior acoustic domain. In addition, domain decomposition methods are very powerful algorithms for solving large linear systems in parallel. In this paper, an infinite element method is proposed and analyzed for parallel computations purpose. An original formulation of this method with Lagrange multipliers defined on (semi-)infinite space is presented. The implementation aspects of this method in an industrial acoustic software (SYSNOISE) are discussed. New numerical results illustrate the efficiency of the proposed method for realistic acoustical radiation problems.     

Weakly associated primes and primary decomposition of modules over commutative rings

Summary We characterize finitely generated Laskerian modules over a commutative ring in terms of weakly associated prime ideals.     

Why Restricted Additive Schwarz Converges Faster than Additive Schwarz

Recently a variant of the additive Schwarz (AS) preconditioner, the restricted additive Schwarz (RAS) preconditioner has been introduced, and numerical experiments showed that RAS converges faster and requires less communication than AS. We show in this paper how RAS, which is defined at the matrix level, can be interpreted as an iteration at the continuous level of the underlying problem. This interpretation reveals why RAS converges faster than classical AS.This revised version was published online in October 2005 with corrections to the Cover Date.     

Collineations of the curvature tensor in general relativity

Curvature collineations for the curvature tensor, constructed from a fundamental Bianchi Type-V metric, are studied. We are concerned with a symmetry property of space-time which is called curvature collineation, and we briefly discuss the physical and kinematical properties of the models.