两类带有确定潜伏期的SEIS传染病模型的分析

通过研究两类带有确定潜伏期的SEIS传染病模型,发现对种群的常数输入和指数输入会使疾病的传播过程产生本质的差异．对于带有常数输入的情形,找到了地方病平衡点存在及局部渐近稳定的阈值,证明了地方病平衡点存在时一定局部渐近稳定,并且疾病一致持续存在．对于带有指数输入的情形,发现地方病平衡点当潜伏期充分小时是局部渐近稳定的,当潜伏期充分大时是不稳定的．     

Backward bifurcation of an epidemic model with standard incidence rate and treatment rate

An epidemic model with standard incidence rate and treatment rate of infectious individuals is proposed to understand the effect of the capacity for treatment of infectives on the disease spread. It is assumed that treatment rate is proportional to the numbers of infectives below the capacity and is a constant when the number of infectives is greater than the capacity. It is proved that the existence and stability of equilibria for the model is not only related to the basic reproduction number but also the capacity for treatment of infectives. It is found that a backward bifurcation occurs if the capacity is small. It is also found that there exist bistable endemic equilibria if the capacity is low.     

Banach空间有界线性算子强连续双半群

本文在Ｂａｎａｃｈ空间上研究单参数有界线性算子族－强连续双半群。     

Stability and bifurcation of an SIS epidemic model with treatment

An SIS epidemic model with a limited resource for treatment is introduced and analyzed. It is assumed that treatment rate is proportional to the number of infectives below the capacity and is a constant when the number of infectives is greater than the capacity. It is found that a backward bifurcation occurs if the capacity is small. It is also found that there exist bistable endemic equilibria if the capacity is low.     

Solving linear program as linear system in polynomial time

A physically concise polynomial-time iterative-cum-non-iterative algorithm is presented to solve the linear program (LP) $Min{c}^{t}x\text{subject to}Ax=b,x\ge 0$. The iterative part–a variation of Karmarkar projective transformation algorithm–is essentially due to Barnes only to the extent of detection of basic variables of the LP taking advantage of monotonic convergence. It involves much less number of iterations than those in the Karmarkar projective transformation algorithm. The shrunk linear system containing only the basic variables of the solution vector $x$ resulting from $Ax=b$ is then solved in the mathematically non-iterative part. The solution is then tested for optimality and is usually more accurate because of reduced computation and has less computational and storage complexity due to smaller order of the system. The computational complexity of the combination of these two parts of the algorithm is polynomial-time $O\left(n^3\right)$. The boundedness of the solution, multiple solutions, and no-solution (inconsistency) cases are discussed. The effect of degeneracy of the primal linear program and/or its dual on the uniqueness of the optimal solution is mentioned. The algorithm including optimality test is implemented in Matlab which is found to be useful for solving many real-world problems.     

The Fraenkel‐Carnap question for Dedekind algebras

It is shown that the second‐order theory of a Dedekind algebra is categorical if it is finitely axiomatizable. This provides a partial answer to an old and neglected question of Fraenkel and Carnap: whether every finitely axiomatizable semantically complete second‐order theory is categorical. It follows that the second‐order theory of a Dedekind algebra is finitely axiomatizable iff the algebra is finitely characterizable. It is also shown that the second‐order theory of a Dedekind algebra is quasi‐finitely axiomatizable iff the algebra is quasi‐finitely characterizable.     

Milnor方图中的w-凝聚性

整环R称为ω-凝聚整环,是指R的每个有限型理想是有限表现型的.本文证明了ω-凝聚整环是v-凝聚整环,且若(RDTF,M)是Milnor方图,则在Ⅰ型情形,R是ω-凝聚整环当且仅当D和T都是ω-整环,且T_M是赋值环;对于Ⅱ-型情形,R是ω-凝聚整环当且仅当D是域,[F:D]<∞,M是R的有限型理想,T是ω-凝聚整环,且R_M是凝聚整环.     

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.     

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.     

AR（p）模型中的缺失数据估计

运用EM算法,对含有缺失数据的AR（p）模型进行参数估计,通过最大似然准则就非左端缺失的情况进行插补.最后,用蒙特卡洛方法给出实验分析,表明如下结果：（i）误差与AR模型的阶数正相关,与缺失比例正相关;（ii）当AR模型的特征根模长相对较小时,误差与数据长度负相关,且误差被控制在了标准差的30％以内;（iii）当模长中等时,误差基本控制在1个标准差左右;（iv）当模长较大时,误差与数据长度正相关,而且误差也相对较大.     

Connectedness in topological Hjelmslev planes

Summary It is shown that a topological affine Hjelmslev plane is connected or the quasi-component of each point is contained in its neighbour class. If one neighbour class of a point is connected, then they all are, and each is equal to the quasi-component and the component of the point. For topological projective Hjelmslev planes a weaker form of connectedness (∼-connectedness) is defined and it is proved that the plane is ∼-connected or each neighbour class is equal to it ∼-quasi-component. In addition it is shown that the ∼-connectedness of the plane is equivalent to the ∼-connectedness of a line, or other special subsets of the plane, or the connectedness of a line in the associated ordinary plane. Finally it is shown, if the plane is uniform, that ∼-connectedness and connectedness are equivalent and so the plane is either connected, totally disconnected or each neighbour class is equal to the corresponding quasi-component. Entrata in Redazione il 19 aprile 1977. The author gratefully acknowledges the support of the National Research Council of Canada.     

Invariance and asymptotic stability

The stability of the zero solution of an autonomous non-linear system is considered. The problem of finding the variables in relation to which the solution is asymptotically stable if the Lyapunov function with a sign-definite derivative is known, is formulated and solved. The maximality of the set in relation to which the solution is asymptotically stable is established. The investigation is based on the method of auxiliary functions and clarifies the relation between the properties of invariance and the asymptotic stability of dynamical systems. The constructiveness of the results obtained is demonstrated by an example.     

Perturbations from a source in a two-layer atmosphere bounded by the horizontal terrestrial surface

The problem of internal waves excited by a point source in a two-layer atmosphere is investigated in a linear formulation. The lower layer is bounded by a horizontal surface and, the upper layer is unbounded. It is assumed that the vertical displacements and velocities of the particles vary continuously at the layer boundaries, and that the Brunt Väisälä frequency is constant in each layer but experiences discontinuities at the common boundary of the layers; the source is situated in the lower layer. The asymptotic behaviour of the perturbations in the lower layer at long times is investigated. The solution is found using integral transforms and is expressed in terms of double integrals of many-valued analytic functions. A transformation is proposed which enables the solution to be expressed as the sum of single integrals. The behaviour of these integrals at long times is found by the stationary-phase method. It is shown that a critical cone exists across which the asymptotic behaviour of the system undergoes a change.     

ZFC的模型的上限序数的一个性质

S1 引言 Forcing方法假设存在ZFC的一个可数可传的模型M。记满足αM的最小序数α为,显然M中一切序数所成的集合即。由于M是ZFC的模型,故应具有某些性质。本文证明了它满足关系,故为ε数或1级关键数,进而证明了是H级关键数(H为任意自然数)。文中的记号等引用。     

Optimal damping ratio for linear second-order systems

In this paper, it is shown that the optimal damping ratio for linear second-order systems that results in minimum-time no-overshoot response to step inputs is of bang-bang type. The optimal damping ratio is zero at the outset and is switched to some maximum value at an appropriate instant of time. The switching time is shown to be a function of the maximum damping ratio and the system natural frequency. Furthermore, it is shown that the larger the maximum damping ratio is, the shorter it takes for the system to reach the desired set point. Finally, it is shown that, if the optimal damping ratio is switched as a function of the system state, then the minimum-time no-overshoot criterion is satisfied, irrespective of the magnitude of the uncertainty in the value of the system natural frequency.     

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.     

Chaotic synchronization with filter based on wavelet transformation

A kind of chaotic synchronization method is presented in the paper. In the transmitter, part signals are transformed by wavelet and the detail information is removed. In the receiver, the component with low frequency is reconstructed and discrete feedback is used, we show that synchronization of two identical structure chaotic systems is attained. The effect of feedback on chaotic synchronization is discussed. Using the synchronous method, the transmitting signal is transported in compressible way, system resource is saved, the component with high frequency is filtered and the effect of disturbance on synchronization is reduced. The synchronization method is illustrated by numerical simulation experiment.     

A transverse spinning double pendulum

A transverse spinning double pendulum is introduced. This pendulum is of interest as a simple mechanical system with two degrees of freedom with rotation which is autonomous. In addition to having physical origins, the pendulum is constructable for experimental observation. Our main interest in introducing and analyzing this system is that it is the simplest physical system with the codimension two singularity – in the linearization about the trivial solution – associated with coalescence of four zero eigenvalues. It is the dynamics of the nonlinear system in the neighbourhood of this singularity that is of interest. We study this problem using normal form theory. An algorithm for the Cushman–Sanders normal form is constructed and analyzed. A representative model for the truncated normal form is presented. This truncated normal form has seven parameters; it is not integrable in general and it is predicted that the dynamics associated with this model will be quite complex.     

J-semicommutative环的性质

环冗称为J—semicommutative若对任意B,b∈R由ab=0可以推得aRb∈J（R）,这里J（R）是环R的Jacobson根．环R是J—semicommutative环当且仅当它的平凡扩张是J—semicommutative环当且仅当它的Don＇oh扩张是J—semicommutative环当且仅当它的Nagata扩张是,一semicommutative环当且仅当它的幂级数环是J—semicommutative环．若R／J（R）是semicommutative环,则可得到R是J-semicommutative环．本文进一步论证了如果,是环月的一个幂零理想,且R／I是J—semicommutative环,则R也是J-semicommutative环最后给出了J—semicommutative环与其他一些常见环的联系     

Traveling waves in a nonlocal dispersal population model with age-structure

This paper is concerned with the traveling waves in a single species population model which is derived by considering the nonlocal dispersal and age-structure. If the birth function is monotone, then the existence of traveling wavefront is reduced to the existence of a pair of super and subsolutions without the requirement of smoothness. It is proved that the traveling wavefront is strictly increasing and unique up to a translation. The asymptotic behavior of traveling wavefronts is also obtained. If the birth function is not monotone, the existence of traveling wave solution is affirmed by introducing two auxiliary nonlocal dispersal equations with quasi-monotonicity.