极大子因子

若N是一个Ⅱ1型因子,G是一个有限群且在N上有一个真外作用α,则当G的阶是素数对,N是Ⅱ1型因子M=N(?)αG的极大子因子．另一方面,假设 N(?) M是Ⅱ1型因子的一个包含,M(?)M1是N(?)M的基本构造,[M:N]= p∈N是素数,N’∩ M=CI,N’∩M1是交换的,N,(?)M深度为2,则N是M的极大子因子．     

U-标算子的结构分析

类似与标型谱算子,U-标算子是否拟仿射相似于自伴算子是一“公开问题”．尽管对具纯离散谱的U-标算子答案是肯定的,但一般情况下并不成立．本文继续探讨这一问题,证明了U-标算子在一强范数拓扑意义下是Hermite算子,或者说U-标算子拟仿射相似于Hermite算子,并给出U-标算子是标型谱算子的充要条件．     

Formulation of the problem of the flutter of a shell of revolution and a shallow shell in a high-velocity supersonic gas flow

Aero-elastic vibration is investigated in the case of a shallow shell of revolution or a cylindrical panel, which respectively occupy a part of a thin cylindrical body or a thin profile, in a high-velocity supersonic gas flow at zero angle of attack. Particular attention is paid to finding the pressure interaction and this problem is solved within the framework of the law of plane sections in boundary-layer theory. An expression is obtained which refines and supplements the well-known formula of “piston” theory. A linearized formulation of the problem of the panel flutter of a shallow shell is presented. Using the example of a plate located on one of the sides of a wedge, it is shown that the formula of “piston” theory is complemented with a term which has the meaning of a compressive force in the plane of the plate. It is shown that, when account is taken of this term, there is a reduction in the critical flow velocity.     

A Chart for Evaluating Product Research and Development Projects

A method of evaluating research and development projects is described. The method is based on the use of an evaluation chart. The main purpose of the chart is to calculate a project score which is a measure of a selected evaluation criterion. A method of constructing a chart is illustrated using a project index as the evaluation criterion. The chart contains a list of twelve questions, the answers to which are assumed to be the main determinants of the variables in the formula of the index. Each question is followed by a set of answers from which a choice is to be made, and underneath each answer is a numerical score. The numerical scores are logarithmic functions of the answers to which they relate, and when added together give a project score which is a logarithmic function of the index. Various methods of using the chart, and a suggested evaluation procedure, are also described.     

Dimonoids

It is proved that a system of axioms for a dimonoid is independent and Cayley’s theorem for semigroups has an analog in the class of dimonoids. The least separative congruence is constructed on an arbitrary dimonoid endowed with a commutative operation. It is shown that an appropriate quotient dimonoid is a commutative separative semigroup. The least separative congruence on a free commutative dimonoid is characterized. It is stated that each dimonoid with a commutative operation is a semilattice of Archimedean subdimonoids, each dimonoid with a commutative periodic semigroup is a semilattice of unipotent subdimonoids, and each dimonoid with a commutative operation is a semilattice of a-connected subdimonoids. Various dimonoid constructions are presented.     

关于凸子集和（绝对）收缩核

讨论了线性度量空间中凸子集在什么情况下为该空间的收缩核，以及在什么情况下为绝对收缩核。     

Maximal and Minimal Semilattices on Ordered Sets

The map which takes an element of an ordered set to its principal ideal is a natural embedding of that ordered set into its powerset, a semilattice. If attention is restricted to all finite intersections of the principal ideals of the original ordered set, then an embedding into a much smaller semilattice is obtained. In this paper the question is answered of when this construction is, in a certain arrow-theoretic sense, minimal. Specifically, a characterisation is given, in terms of ideals and filters, of those ordered sets which admit a so-called minimal embedding into a semilattice. Similarly, a candidate maximal semilattice on an ordered set can be constructed from the principal filters of its elements. A characterisation of those ordered sets that extend to a maximal semilattice is given. Finally, the notion of a free semilattice on an ordered set is given, and it is shown that the candidate maximal semilattice in the embedding-theoretic sense is the free object.     

最小填充问题的可分解性

起源于稀疏矩阵计算和其它应用领域的图G的最小填充问题是在图G中寻求一个内含边数最小的边集F使得G F是弦图.这里最小值|F|称为图G的填充数,表示为f(G).作为NP-困难问题,该问题的降维性质已被研究,其中包括它的可分解性.基本的可分解定理是:如果图G的一个点割集S是一个团,则G经由S是可分解的.作为推广,如果S是一个"近似"团(即只有极少数边丢失的团),则G经由S是可分解的.本文首先给出基本分解定理的另外一个推广:如果S是G的一个极小点割集且G-S含有至少|S|个分支,则G经由S是可分解的;其次,给出了这个新推广定理的一些应用.     

Generalising a characterisation of Hermitian curves

This article proves a characterisation of the classical unital that is a generalisation of a characterisation proved in 1982 by Lefèvre-Percsy. It is shown that if is a Buekenhout-Metz unital with respect to a line in such that a line of not through meets in a Baer subline, then is classical. An immediate corollary is that if is a unital in PG such that is Buekenhout-Metz with respect to two distinct lines, then is classical. Received 5 August 1999; revised 15 February 2000.     

Does contraction preserve triangular meshes?

A triangular graph is a planar graph in which each face is a 3-cycle, except possibly for the exterior face, and without articulation nodes. The embedding of a triangular graph in the plane is called a triangular mesh. More generally, a triangular graph with multiple contours is a planar graph without articulation nodes in which each face is a 3-cycle, except possibly for a fixed number of them. A contraction along an edge in a graph is the result of identifying the two endpoints of the edge. In this paper a necessary and sufficient condition is shown for which triangularity (possibly with multiple contours) is preserved after contraction. Moreover, when a licit contraction is performed, the question to answer is whether or not it is possible to derive the embedding of the contracted triangular graph from the original triangular mesh by redrawing only around the contraction zone.Part of this work was done when the author was in his sabbatical year at the University of California at Los Angeles.     

Modelling and control of the motion of a disk rolling on a spherical dome

This work deals with the modelling and control of the motion of a disk rolling without slipping on a rigid spherical dome. It is assumed here that the motion of the disk is controlled by a tilting moment, a directional moment, and a pedalling moment. First, a mathematical model of the motion of the disk rolling on the dome is derived. Then, by using a kind of an inverse control transformation, a control strategy is proposed under which the motion of the disk is stabilized and is able asymptotically to track any smooth trajectory which is located on the spherical dome.     

点是Gδ-集的∑*-空间的构成定理

在林寿与我最近合作的一篇文章中指出了∑*-空间的构成定理需重新考虑.本文就是要证明在空间X的每个点是Gδ-集的条件下该构成定理是成立的,所得的结论是:X是T1且每个点是Gδ-集的∑*-空间,如果f:X→Y是闭的满连续映射,则在Y中有一σ-闭离散子空间Z,使得对每个y∈Y\Z,f-1(y)是X的w1-紧子空间.为得到该主要结果,本文证明了若空间X是每个点是Gδ-集的次亚紧空间.则X中的每个闭离散子集是X中的Gδ-集.     

Coorbits of Quantum Homogeneous Spaces

The notion of coorbits for spaces with quantum group actions is introduced. A space with a quantum group action is given by a pair of algebras: an associative algebra which is the analog of a classical topological space, and a Hopf algebra which is the analog of a classical topological group. The Hopf algebra acts on the associative algebra via a comodule structure mapping which is also an algebra homomorphism. For a space with a quantum group action, a coorbit is a pair of spaces given by the image and the kernel of an algebra homomorphism from the associative algebra to the Hopf algebra. The coorbits of several types of quantum homogeneous spaces are discussed. In the case when the associative algebra is the group algebra of a group and the Hopf algebra is a quotient of the group algebra, the connection between the set of coorbits and the character group is established.     

马氏环境中可数马氏链的Poisson极限率

研究了马氏环境中的可数马氏链,主要证明了过程于小柱集上的回返次数是渐近地服从Poisson分布。为此,引入熵函数h,首先给出了马氏环境中马氏链的Shannon-Mc Millan-Breiman定理,还给出了一个非马氏过程Posson逼近的例子。当环境过程退化为一常数序列时,便得到可数马氏链的Poisson极限定理。这是有限马氏链Pitskel相应结果的拓广。     

On divided commutative rings

Let R be a commutative ring with identity having total quotient ring T. A prime ideal P of R is called divided if P is comparable to every principal ideal of R. If every prime ideal of R is divided, then R is called a divided ring. If P is a nonprincipal divided prime, then P^-1 = { x ? T : xP ? P} is a ring. We show that if R is an atomic domain and divided, then the Krull dimension of R ≤ 1. Also, we show that if a finitely generated prime ideal containing a nonzerodivisor of a ring R is divided, then it is maximal and R is quasilocal.     

正则带的拟强半格分解

本文研究了正则带的结构问题.利用拟强半格分解方法,获得了带为正则带当且仅当它为矩形带的拟强半格,推广了Yamada和Kimura关于正规带是矩形带的强半格的结果.     

Remarks on pseudo-valuation rings

A prime ideal P of a ring A is said to be a strongly prime ideal if aP and bA are comparable for all a,b ε A. We shall say that a ring A is a pseudo-valuation ring (PVR) if each prime ideal of A is a strongly prime ideal. We show that if A is a PVR with maximal ideal M, then every overring of A is a PVR if and only if M is a maximal ideal of every overring of M that does not contain the reciprocal’of any element of M.We show that if R is an atomic domain and a PVD, then dim(R) ≤ 1. We show that if R is a PVD and a prime ideal of R is finitely generated, then every overring of R is a PVD. We give a characterization of an atomic PVD in terms of the concept of half-factorial domain.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected.Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set is again totally bounded iff it is located. So a closed subset of a Bishop compact set is Bishop compact iff it is located. We translate this result to formal topology. ‘Bishop compact’ is translated as compact and overt. We propose a definition of locatedness on subspaces of a formal topology, and prove that a closed subspace of a compact regular formal space is located iff it is overt. Moreover, a Bishop-closed subset of a complete metric space is Bishop compact — that is, totally bounded and complete — iff its localic completion is compact overt.Finally, we show by elementary methods that the points of the Vietoris locale of a compact regular locale are precisely its compact overt sublocales.We work constructively, predicatively and avoid the use of the axiom of countable choice.     

On Two-Phase Flow in a Rotating Boundary Layer

The two-phase flow induced by a rotating disk in a stationary unbounded mixture is considered. The generalized similarity assumption of von Karman reduces the averaged equations of motion with a linear drag between the phases to a system of ordinary differential equations. These are investigated by asymptotic and numerical techniques. The equations display a nontrivial behavior in a sublayer near the boundary, whose thickness is of the order of the particle size. The volume fraction of the dispersed phase is singular unless a small suction is applied on the disk or a small diffusion term is added to the continuity equations. Outside this sublayer, the velocity field is quite similar to a rescaled classical von Karman flow. Good agreement between asymptotic and numerical solution is obtained, although there is considerable stiffness in the equations. The motion of a solid particle in a von Karman flow is also discussed, but the present investigation is restricted to small radii because the shear-lift force is neglected.