局部Z-空间和Z-连续空间

对于一般广义子集系统Z,引入了局部Z-空间和Z-连续空间的概念,讨论了局部Z-空间的基本性质;基于收敛网,给出了局部Z-空间的等价刻画,证明了X为Z-连续空间当且仅当X为局部Z-空间。     

Hamiltonian formulation of generalized quantum dynamics

The Hamiltonian formulation of the usual complex quantum mechanics in the theory of generalized quantum dynamics is discussed. After the total trace Lagrangian, total trace Hamiltonian and two kinds of Poisson brackets are introduced, both the equations of motion of some total trace functionals which are expressed by total trace Poisson brackets and the equations of motion of some operators which are expressed by the without-total-trace Poisson brackets are obtained. Then a set of basic equations of motion of the usual complex quantum mechanics are obtained, which are also expressed by the Poisson brackets and total trace Hamiltonian in the generalized quantum dynamics. The set of equations of motion are consistent with the corresponding Heisenberg equations. Project supported by Prof. T.D. Lee’s NNSC Grant, the National Natural Science Foundation of China, the Foundation of Ph. D. Directing Programme of Chinese University, and the Chinese Academy of Sciences.     

Flow prolongation of some tangent valued forms

We study the prolongation of semibasic projectable tangent valued k-forms on fibered manifolds with respect to a bundle functor F on local isomorphisms that is based on the flow prolongation of vector fields and uses an auxiliary linear r-th order connection on the base manifold, where r is the base order of F. We find a general condition under which the Frölicher-Nijenhuis bracket is preserved. Special attention is paid to the curvature of connections. The first order jet functor and the tangent functor are discussed in detail. Next we clarify how this prolongation procedure can be extended to arbitrary projectable tangent valued k-forms in the case F is a fiber product preserving bundle functor on the category of fibered manifolds with m-dimensional bases and local diffeomorphisms as base maps.     

Smash Products for Secondary Homotopy Groups

We construct a smash product operation on secondary homotopy groups yielding the structure of a lax symmetric monoidal functor. Applications on cup-one products, Toda brackets and Whitehead products are considered. The second author was partially supported by the Spanish Ministry of Education and Science under MEC-FEDER grants MTM2004-01865 and MTM2004-03629, the postdoctoral fellowship EX2004-0616, and a Juan de la Cierva research contract.     

Determining optimal lot size for a two-warehouse system with deterioration and shortages using net present value

In this paper, we develop a deterministic inventory model for deteriorating items with two warehouses by minimizing the net present value of the total cost. Deterioration rates of items in the two warehouses may be different. In addition, we allow for shortages and complete backlogging. We then prove that the optimal replenishment policy not only exists but also is unique under some condition. Further, the result reveals that the reorder interval based on the average total cost, if it exists, must be longer than that derived using net present value. Finally, we use Yang’s [H.L. Yang, European Journal of Operational Research 157 (2004) 344–356] numerical example to illustrate the model and conclude the paper with suggestions for possible future research.     

Holding costs under push or pull conditions - The impact of the Anchor Point

Holding costs are traditionally determined from the investment in physical stock during a cycle. An alternative approach instead derives holding costs from Net Present Value (NPV) functions. It is known that applying both frameworks to the same system can lead to different holding cost valuations, but little explanation has been offered. By introducing the Anchor Point in a model, this paper shows, for four different systems, that traditional holding cost models (implicitly) assume pull conditions, while current NPV approaches model push conditions. This explains in part the differences between the methods. It is shown that the Anchor Point concept allows the construction of NPV models under pull conditions, giving results in better correspondence with traditional models. The traditional framework is restricted to pull conditions and important considerations could be easily overlooked, leading to wrong valuations of holding costs. NPV seems superior as such considerations are automatically incorporated. The application to multi-echelon inventory systems provides interesting insights on the roles of echelon stocks and lead-times, and offers potential for future research.     

拓扑系统的紧性和分离性

考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。     

基于共形几何代数的几何分解及程序实现

本文主要讨论了利用共形几何代数来进行几何定理中的几何构型进行几何分解的算法以及它的程序实现问题.利用这个算法可以给出几何量之间的定量依赖关系.所实现的程序能够给出一些较为复杂的几何命题的自动分解的结果.     

FMS scheduling based on timed Petri Net model and reactive graph search

This paper presents a new scheduling method for manufacturing system based on the Timed Petri Net model and a reactive fast graph search algorithm. The following two typical problems are addressed in this paper. (1) Minimization of the maximum completion time. (2) Minimization of the total tardiness. As for the problem (1), a new search algorithm which combines the RTA^∗ and a rule-based supervisor is proposed. As for problem (2), the original Petri Net model is converted to its reverse model and the algorithm developed for the problem (1) is applied, regarding the due date as the starting time in the reverse model. Some numerical experiments are carried out to demonstrate usefulness of our algorithm.