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

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

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.     

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.     

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.     

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.     

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

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

On catastrophe and cavitation for spherical cavity

This work deals with catastrophe of a spherical cavity and cavitation of a spherical cavity for Hooke material with 1/2 Poisson's ratio. A nonlinear problem, which is the Cauchy traction problem, is solved analytically. The governing equations are written on the deformed region or on the present configuration. And the conditions are described on moving boundary. A closed form solution is found. Furthermore, a bifurcation solution in closed form is given from the trivial homogeneous solution of a solid sphere. The results indicate that there is a tangent bifurcation on the displacement-load curve for a sphere with a cavity. On the tangent bifurcation point, the cavity grows up suddenly, which is a kind of catastrophe. And there is a pitchfork bifurcation on the displacement-load curve for a solid sphere. On the pitchfork bifurcation point, there is a cavitation in the solid sphere.     

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.     

Mathematical models of innovation diffusion with stage structure

Mathematical models with stage structures are proposed to describe the process of awareness, evaluation and decision-making. First, a system of ordinary differential equations is presented that incorporates the awareness stage and the decision-making stage. If the adoption rate is bilinear and imitations are dominant, we find a threshold above which innovation diffusion is successful. Further, if the adoption rate has a higher nonlinearity, it is shown that there exist bistable equilibria and a region such that an innovation diffusion is successful inside and is unsuccessful outside. Secondly, a model with a time delay is proposed that includes an evaluation stage of a product. It is proved that the system exhibits stability switches. The bifurcation direction of equilibria is also discussed.     

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.     

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.     

U-标算子的结构分析

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

最小填充问题的可分解性

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

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.     

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.     

On JB-Rings

A ring R is a QB-ring provided that aR bR=R with a,b∈R implies that there exists a y∈R such that a by∈R_q~(-1).It is said that a ring R is a JB-ring provided that R/J(R)is a QB-ring,where J(R)is the Jacobson radical of R.In this paper,various necessary and sufficient conditions,under which a ring is a JB-ring,are established.It is proved that JB-rings can be characterized by pseudo-similarity.Furthermore,the author proves that R is a JB-ring iff so is R/J(R)~2.     

Dynamic frictionless contact with adhesion

A model for the dynamic, adhesive, frictionless contact between a viscoelastic body and a deformable foundation is described. The adhesion process is modeled by a bonding field on the contact surface. The contact is described by a modified normal compliance condition. The tangential shear due to the bonding field is included. The problem is formulated as a coupled system of a variational equality for the displacements and a differential equation for the bonding field. The existence of a unique weak solution for the problem is established, together with a partial regularity result. The existence proof proceeds by construction of an appropriate mapping which is shown to be a contraction on a Hilbert space.     

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.     

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.     

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.