Jacobson-Chevalley稠密定理的一个推广

我们在[1]中证明了,一个半环(hemiring)关于它的Jacobson关系根的商同构于完全本原半环的亚直和。这使我们有兴趣对这个特殊的半环类——完全本原半环的结构作进一步的讨论。本文的主要结果是:一个半环是完全本原的当且仅当它是一个半模上的亚稠密自同态半环。这个定理给出了完全本原半环的结构,推广了Jacobson—Chevalley稠密定理。     

Primary elements in formal modules

The stability of an elastic plate in a supersonic gas flow is considered in the presence of a boundary layer formed on the surface of the plate. The problem is solved in two statements. In the first statement, the plate is of large but finite length, and a coupled-mode type of flutter is examined (the effect of the boundary layer on another, single-mode, type of flutter has been studied earlier). In the second statement, the plate is assumed to be infinite, and the character of its instability (absolute or convective) is analyzed. In both cases, the instability is determined by a branch point of the roots of the dispersion equation, and the mathematical analysis is the same. It is proved that instability in a uniform gas flow is weakened by a boundary layer but cannot be suppressed completely, while in the case of a stable plate in a uniform flow the boundary layer leads to the destabilization of the plate.     

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.     

Optimal pricing and quantity of products with two offerings

This paper analyzes the decision of a firm offering two versions of a product, a deluxe and a regular. While both products satisfy the same market, the deluxe version is sold at a high price relative to its cost and is aimed at the high end of the demand curve. The regular version is sold at a low price relative to its cost and is targeted to customers at the low end of the demand curve. This two-offering strategy is especially popular with book publishers where a paperback book is introduced some time after the hardbound version is introduced. The time between the introduction of the two versions of the product is accompanied by a downward shift in the demand curve due to customers losing interest in the product or satisfying their demand from a secondary used market. We solve a profit maximization model for a firm using a two-offering strategy. The model is solved for linear and exponential deterioration in demand, which is assumed to be deterministic. Also, a model with linear deterioration in demand, which is assumed to be stochastic, is solved. The results indicate that substantial improvements in profit can be obtained by using the two-offering strategy. Numerical sensitivity analysis and examples are used to illustrate the results.     

On the oil-whipping of a rotor-bearing system by a continuum model

The nonlinear dynamic behavior of a rotor-bearing system is analyzed based on a continuum model. The finite element method is adopted in the analysis. Emphasis is placed on the so-called “oil-whip phenomena” which might lead to the failure of the rotor system. The dynamic response of the system in unbalanced conditions is approached by a direct integration method. It is found that a typical “oil-whip phenomenon” is successfully simulated, and the effect of the refinement of the finite element mesh is also checked. Furthermore, the bifurcation behavior of the oil-whip phenomenon that is of much concern in recent nonlinear dynamics research is analyzed. The rotor-bearing system is also examined by a simple discrete model. Significant differences are found between these two models. It is suggested that a careful examination should be made in modeling the nonlinear dynamic behavior of a rotor system.     

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.     

Detection of multivariate outliers with location slippage or scale inflation in left orthogonally invariant or elliptically contoured distributions

This paper is concerned with two kinds of multiple outlier problems in multivariate regression. One is a multiple location-slippage problem and the other is a multiple scale-inflation problem. A multi-decision rule is proposed. Its optimality is shown for the first problem in a class of left orthogonally invariant distributions and is also shown for the second problem in a class of elliptically contoured distributions. Thus the decision rule is robust against departures from normality. Further the null robustness of the decision statistic which the rule is based on is pointed out in each problem.     

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.     

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.     

Fuzzy sets as a basis for a theory of possibility

The theory of possibility described in this paper is related to the theory of fuzzy sets by defining the concept of a possibility distribution as a fuzzy restriction which acts as an elastic constraint on the values that may be assigned to a variable. More specifically, if F is a fuzzy subset of a universe of discourse U={u} which is characterized by its membership function μ_F, then a proposition of the form “X is F,” where X is a variable taking values in U, induces a possibility distribution ∏X which equates the possibility of X taking the value u to μF(u)—the compatibility of u with F. In this way, X becomes a fuzzy variable which is associated with the possibility distribution ∏_x in much the same way as a random variable is associated with a probability distribution. In general, a variable may be associated both with a possibility distribution and a probability distribution, with the weak connection between the two expressed as the possibility/probability consistency principle.A thesis advanced in this paper is that the imprecision that is intrinsic in natural languages is, in the main, possibilistic rather than probabilistic in nature. Thus, by employing the concept of a possibility distribution, a proposition, p, in a natural language may be translated into a procedure which computes the probability distribution of a set of attributes which are implied by p. Several types of conditional translation rules are discussed and, in particular, a translation rule for propositions of the form “X is F is α-possible,” where α is a number in the interval [0, 1], is formulated and illustrated by examples.     

On the sample monotonization problem

The problem of finding a maximal subsample in a training sample consisting of the pairs “object-answer” that does not violate monotonicity constraints is considered. It is proved that this problem is NP-hard and that it is equivalent to the problem of finding a maximum independent set in special directed graphs. Practically important cases in which a partial order specified on the set of answers is a complete order or has dimension two are considered in detail. It is shown that the second case is reduced to the maximization of a quadratic convex function on a convex set. For this case, an approximate polynomial algorithm based on linear programming theory is proposed.     

The Toroidal Embedding Arising From an Irrational Fan

A toroidal embedding is defined which does not assume the fan consists of rational cones. For a rational fan, the toroidal embedding is the usual toric variety. If the fan is not rational, the toroidal embedding is in general a quasi-compact noetherian locally ringed space which is not a scheme. A divisor theory exists and a class group is defined. A second construction is also carried out which mimics the gluing construction of the usual toric variety, but which makes no reference to a lattice. The resulting scheme is separated but infinite dimensional. The Picard group is described in terms of the group of real valued locally linear support functions on the fan and the Brauer group is shown to be trivial. Many examples are given throughout the paper; in particular, it is shown that there is associated to a real hyperplane arrangement of full rank a toroidal embedding.     

Steady flow of a viscous liquid in a porous elliptic tube

Flow of a viscous-liquid in a porous tube of elliptic cross-section is studied using the generalized momentum equation. As a particular case, flow of the liquid in a tube of a circular cross-section is obtained. It is observed that the classical Darcian effect is realized only in a core very near to the axis of the tube while the non-Darcian phenomenon is felt predominantly near the boundary of the tube.     

3-连通3-正则图中的可序子集

图G的k元点集X={x1,x2,…,xk}被称为G的k-可序子集,如果X的任意排列都按序排在G的某个圈上.称G是k-可序图,如果G的每一个k元子集都是G的k-可序子集.称G为k-可序Hamilton图,如果X的任意排列都位于G的Hamilton圈上.研究了3-连通3-正则图的可序子集的存在性问题.     

A method for analytically representing area-preserving mappings

An area-preserving mapping is considered. It is assumed that the mapping has a fixed point and is analytic in a small neighbourhood near it. A constructive algorithm for obtaining a representation of the mapping in the form of a composite of two area-preserving mappings, one of which is a nearly identity mapping, while the other corresponds to the real normal form of a linearized mapping, is described. The algorithm is used in the problem of the stability of the translational motion of a rigid body in a uniform gravitational field when it undergoes collisions with a fixed horizontal plane and in the problem of the stability of one type of resonant in-plane rotations of a satellite, i.e., a rigid body, in an elliptic orbit.     

General categorical framework for topologically free normed modules

It is shown that the strict projectivity of normed modules is a special case of the projectivity in a rigged category. A criterion is given for a bornological space to be a base for a free object in the corresponding category. A certain class of categories is indicated where each projective object is a retract of a free object.     

Sequential stable Kuhn-Tucker theorem in nonlinear programming

A general parametric nonlinear mathematical programming problem with an operator equality constraint and a finite number of functional inequality constraints is considered in a Hilbert space. Elements of a minimizing sequence for this problem are formally constructed from elements of minimizing sequences for its augmented Lagrangian with values of dual variables chosen by applying the Tikhonov stabilization method in the course of solving the corresponding modified dual problem. A sequential Kuhn-Tucker theorem in nondifferential form is proved in terms of minimizing sequences and augmented Lagrangians. The theorem is stable with respect to errors in the initial data and provides a necessary and sufficient condition on the elements of a minimizing sequence. It is shown that the structure of the augmented Lagrangian is a direct consequence of the generalized differentiability properties of the value function in the problem. The proof is based on a “nonlinear” version of the dual regularization method, which is substantiated in this paper. An example is given illustrating that the formal construction of a minimizing sequence is unstable without regularizing the solution of the modified dual problem.     

Acoustic Radiation from a Circular Cylinder in a Subsonic Stream

The problem of acoustic radiation from a semi-infinite circularcylinder is discussed when a plane wave is propagated out ofthe mouth of the cylinder at which a vortex layer is attached.The effects of convection are included at low Mach numbers anda comparision is made of the radiation in the far field forthe case of propagation in (a) still air, (b) moving air withouta vortex layer and (c) moving air with a vortex layer. It isshown that in general the magnitude of the sound is much greaterdownstream than it is upstream. This directionality becomesmore pronounced in case (b) than in case (a) whilst in the presenceof a vortex layer the field is strengthened in the immediateregion downstream and weakened elsewhere.     

A test for expandability

A model of countable similarity type and cardinality is expandable if every consistent extension of its complete theory with is satisfiable in and it is compactly expandable if every such extension which additionally is finitely satisfiable in is satisfiable in . In the countable case and in the case of a model of cardinality of a superstable theory without the finite cover property the notions of saturation, expandability and compactness for expandability agree. The question of the existence of compactly expandable models which are not expandable is open. Here we present a test which serves to prove that a compactly expandable model of cardinality of a superstable theory is expandable. It is stated in terms of the existence of a certain elementary submodel whose corresponding theory of pairs of models satisfies a weak elimination of Ramsey quantifiers. Received May 20, 1996     

Dualization Problem over the Product of Chains: Asymptotic Estimates for the Number of Solutions

A key intractable problem in logical data analysis, namely, dualization over the product of partial orders, is considered. The important special case where each order is a chain is studied. If the cardinality of each chain is equal to two, then the considered problem is to construct a reduced disjunctive normal form of a monotone Boolean function defined by a conjunctive normal form, which is equivalent to the enumeration of irreducible coverings of a Boolean matrix. The asymptotics of the typical number of irreducible coverings is known in the case where the number of rows in the Boolean matrix has a lower order of growth than the number of columns. In this paper, a similar result is obtained for dualization over the product of chains when the cardinality of each chain is higher than two. Deriving such asymptotic estimates is a technically complicated task, and they are required, in particular, for proving the existence of asymptotically optimal algorithms for the problem of monotone dualization and its generalizations.