两类带有确定潜伏期的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.     

Milnor方图中的w-凝聚性

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

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.     

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

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

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.     

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

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

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

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

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.     

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.     

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.     

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.     

Polynomial-time algorithms for regular set-covering and threshold synthesis

A set-covering problem is called regular if a cover always remains a cover when any column in it is replaced by an earlier column. From the input of the problem - the coefficient matrix of the set-covering inequalities - it is possible to check in polynomial time whether the problem is regular or can be made regular by permuting the columns. If it is, then all the minimal covers are generated in polynomial time, and one of them is an optimal solution. The algorithm also yields an explicit bound for the number of minimal covers. These results can be used to check in polynomial time whether a given set-covering problem is equivalent to some knapsack problem without additional variables, or equivalently to recognize positive threshold functions in polynomial time. However, the problem of recognizing when an arbitrary Boolean function is threshold is NP-complete. It is also shown that the list of maximal non-covers is essentially the most compact input possible, even if it is known in advance that the problem is regular.     

Compromise solutions and estimation of the noninferior set

A general framework is presented in which the relation of the set of noninferior points and the set of compromise solutions is studied. It is shown that the set of compromise solutions is dense in the set of noninferior points and that each compromise solution is properly noninferior. Also, under convexity of the criteria space, a characterization of the properly noninferior points in terms of the compromise solutions is presented. In this characterization, the compromise solutions depend continuously on the weights. Use of the maximum norm is studied also. It is shown that a subset of these max-norm solutions, obtained by taking certain limits of compromise solutions, is dense and contained in the closure of the set of noninferior points.     

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.     

Adaptive Control of a Partially Observed Discrete Time Markov Process

An adaptive control problem of a discrete time Markov process that is completely observed in a fixed recurrent domain and is partially observed elsewhere is formulated and a solution is given by constructing an approximately self-optimal strategy. The state space of the Markov process is either a closed subset of Euclidean space or a countable set. Another adaptive control problem is solved where the process is always only partially observed but there is a family of random times when the process evaluated at these times is a family of independent, identically distributed random variables. Accepted 26 April 1996     

大挠度板混沌运动的双模态分析

研究了大挠度矩形薄板受迫振动时的混沌运动,导出了矩形薄板的非线性控制方程;利用Galerkin原理,将其化为二自由度的常微分方程组,从理论上证明了在讨论其混沌运动时可以归结为一个单模态问题;利用Melnikov函数法给出了发生混沌运动的临界条件,揭示出在此类新的非线性动力系统中,同样存在着发生混沌的可能.     

On stability of switched homogeneous nonlinear systems

In this paper, the problem of stability of switched homogeneous systems is addressed. First of all, if there is a quadratic Lyapunov function such that nonlinear homogeneous systems are asymptotically stable, a matrix Lyapunov-like equation is obtained for a stable nonlinear homogeneous system using semi-tensor product of matrices, and Lyapunov equation of linear system is just its particular case. Following the previous results, a sufficient condition is obtained for stability of switched nonlinear homogeneous systems, and a switching law is designed by partition of state space. In particular, a constructive approach is provided to avoid chattering phenomena which is caused by the switching rule. Then for planar switched homogeneous systems, an LMI approach to stability of planar switched homogeneous systems is presented. Similar to the condition for linear systems, the LMI-type condition is easily verifiable. An example is given to illustrate that candidate common Lyapunov function is a key point for design of switching law.