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

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

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.     

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

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

Milnor方图中的w-凝聚性

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

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.     

递推阻尼最小二乘法的收敛性与稳定性

递推最小二乘法是参数辨识中最常用的方法,但容易产生参数爆发现象.因此对一种更稳定的辨识方法——递推阻尼最小二乘法进行了收敛特性的分析.在使用算法之前先归一化测量向量,结果表明,参数化距离收敛于一个零均值随机变量,并且在持续激励条件下,适应增益矩阵的条件数有界.参数化距离的方差有界.     

弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

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.     

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.     

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.     

Nontrivial Attractors in a Model Related to the Three-Body Quantum Problem

A model of a quantum mechanical system related to the three-body problem is studied. The model is defined in terms of a symmetric pseudo-differential operator (PDO) with unbounded symbol. The entire family of self-adjoint extensions of this operator is studied using harmonic analysis. A regularization procedure for this PDO is introduced and the spectral properties of the operators obtained in this way are investigated. The limit behavior of the regularized operators when the regularization parameter is removed is analyzed and a nontrivial attractor is exhibited.     

Waves in an Inhomogeneous Tube with a Flowing Two-Phase Fluid

Results of theoretical and mathematical justification of the problem on a pulsating flow of a two-phase barotropic bubbly fluid enclosed in an elastic semi-infinite cylindrical tube inhomogeneous along its length are presented. Linear one-dimensional equations are used. It is assumed that the tube is rigidly attached to the surrounding medium and therefore its displacement in the axial direction is absent. At infinity, the tube material is assumed to be homogeneous. To describe the pressure, flow rate, and displacement of the fluid, a pulsating pressure is given at the tube end. The problem stated is reduced to a singular Sturm-Liouville boundary-value problem, which in turn is reduced to a Volterra-type integral equation. This equation is solved by the method of successive approximations. By assuming that the corresponding potential is integrable, it is proved that these approximations converge to the exact solution of the problem. It is shown that this assumption also covers the very important practical case of piecewise inhomogeneity. For numerical realization, we consider a homogeneous tube with flowing water containing a small amount of bubbles. The effect of the volume content of bubbles on wave characteristics is revealed. In particular, it is stated that, for the oscillation regime selected, an increased bubble volume content decreases the wave velocity and considerably increases the flow speed (rate).     

An Improved Branch & Bound Method for the Uncapacitated Competitive Location Problem

In this paper, the problem of locating new facilities in a competitive environment is considered. The problem is formulated as the firm expected profit maximization and a set of nodes is selected in a graph representing the geographical zone. Profit depends on fixed and deterministic location costs and, since customers are independent decision-makers, on the expected market share. The problem is an instance of nonlinear integer programming, because the objective function is concave and submodular. Due to this complexity a branch & bound method is developed for solving small size problems (that is, when the number of nodes is less than 50), while a heuristic is necessary for larger problems. The branch & bound is called data-correcting method, while the approximate solutions are obtained using the heuristic-concentration method.     

不确定条件下双目标组批生产的交货期设置研究

交货期是调度方法的函数,因而具有不确定性.研究变批量、变批次、变生产能力下,单阶段、双目标有条件相容组批的交货期设置问题,将它转化为订单投放策略和调度模式研究.建立了一个基于目标的双目标订单投放策略数学模型.采用目标序列优先方法进行双目标求解,用两种调度模式求出区间值,进行最优交货期逼近.模式1:松弛掉产品加工约束条件,基于负荷考虑、给出离散生产模式下订单完工率最大的订单排序算法,算法综合考虑了任务紧急程度、可调度性、重要度和流程时间最短四个方面,得到区间的一个端点.模式2是有条件相容的启发式组批调度算法,即通过聚类计算将订单安排问题转化为多队列调度问题,将新来订单的投放转化为某个队列的插单和批量分割问题,不同队列中批的投产顺序由批中优先级最高的订单决定,并在能力约束下进行批量分割计算,得到区间的另一个端点,结合流程可靠性求出区间.实例证明,模式2的交货期设置小,订单完工率和生产率高.     

广义混合非线性Schr？dinger方程的拟谱方法

本文讨论了广义混合非线性Schrodinger方程的周期初值问题,构造了守恒的半离散Fourier拟谱格式,对其近似解进行了先验估计,并证明了格式的收敛性.证明了该方程存在孤立子解,并给出其孤立子解的精确表达式.研究了线性化方程的稳定性问题,即在初值有扰动的情况下,该方程只有振荡解和鞍点.最后,通过数值例子验证了格式的可信性,数值计算表明,本格式时间方向可取大步长且是长时间稳定的,我们还计算了孤立子解,并绘出了在初值有扰动的情况下,相空间的轨线图.     

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.     

Passport options with stochastic volatility

A passport option is a call option on the profits of a trading account. In this article, the robustness of passport option pricing is investigated by incorporating stochastic volatility. The key feature of a passport option is the holders' optimal strategy. It is known that in the case of exponential Brownian motion the strategy is to be long if the trading account is below zero and short if the account is above zero. Here this result is extended to models with stochastic volatility where the volatility is defined via an autonomous SDE. It is shown that if the Brownian motions driving the underlying asset and the volatility are independent then the form of the optimal strategy remains unchanged. This means that the strategy is robust to misspecification of the underlying model. A second aim of this article is to investigate some of the biases which become apparent in a stochastic volatility regime. Using an analytic approximation, comparisons are obtained for passport option prices using the exponential Brownian motion model and some well-known stochastic volatility models. This is illustrated with numerical examples. One conclusion is that if volatility and price are uncorrelated, then prices are sometimes lower in a model with stochastic volatility than in a model with constant volatility.     

完备格中的成分理论

在完备格中引入了元素的成分概念．基于此,引入了元素的宽度的概念．在分配格的情形证明了元素的成分集对有限并运算封闭且有某种遗传性．证明了元素的有限宽度的成分之集是定向集．称没有非平凡成分的元素为颗粒．称每个非零元素都可表示为其颗粒成分之并的完备格为颗粒表示格．证明了拓扑空间是局部连通的充要条件是其开集格为颗粒表示格．     

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.