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.     

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.     

View factor for inclined plane with Gaussian source

The view factor (angle factor) for a differential inclined plane in the case of a radiating source of radially Gaussian intensity is considered. This information is useful for modelling of solar radiation in certain applications. The view factor is expressed in terms of two integrals, one of which is obtained in closed form in terms of special functions, and the other is approximated. A compact estimate for the view factor is presented which is suitable for machine computation. While the relative error associated with the final estimate is typically less than 0.01%, and in all cases, less than 0.2%, the method is easily extended to yield even greater accuracy.     

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.     

Spreading speeds for monostable equations with nonlocal dispersal in space periodic habitats

The current paper is devoted to the study of spatial spreading dynamics of monostable equations with nonlocal dispersal in spatially periodic habitats. In particular, the existence and characterization of spreading speeds is considered. First, a principal eigenvalue theory for nonlocal dispersal operators with space periodic dependence is developed, which plays an important role in the study of spreading speeds of nonlocal periodic monostable equations and is also of independent interest. In terms of the principal eigenvalue theory it is then shown that the monostable equation with nonlocal dispersal has a spreading speed in every direction in the following cases: the nonlocal dispersal is nearly local; the periodic habitat is nearly globally homogeneous or it is nearly homogeneous in a region where it is most conducive to population growth in the zero-limit population. Moreover, a variational principle for the spreading speeds is established.     

Monomorphism categories associated with symmetric groups and parity in finite groups

Monomorphism categories of the symmetric and alternating groups are studied via Cayley’s Em-bedding Theorem. It is shown that the parity is well defined in such categories. As an application, the parity in a finite group G is classified. It is proved that any element in a group of odd order is always even and such a group can be embedded into some alternating group instead of some symmetric group in the Cayley’s theorem. It is also proved that the parity in an abelian group of even order is always balanced and the parity in an nonabelian group is independent of its order.     

Inexact-Restoration Method with Lagrangian Tangent Decrease and New Merit Function for Nonlinear Programming

A new inexact-restoration method for nonlinear programming is introduced. The iteration of the main algorithm has two phases. In Phase 1, feasibility is improved explicitly; in Phase 2, optimality is improved on a tangent approximation of the constraints. Trust regions are used for reducing the step when the trial point is not good enough. The trust region is not centered in the current point, as in many nonlinear programming algorithms, but in the intermediate more feasible point. Therefore, in this semifeasible approach, the more feasible intermediate point is considered to be essentially better than the current point. This is the first method in which intermediate-point-centered trust regions are combined with the decrease of the Lagrangian in the tangent approximation to the constraints. The merit function used in this paper is also new: it consists of a convex combination of the Lagrangian and the nonsquared norm of the constraints. The Euclidean norm is used for simplicity, but other norms for measuring infeasibility are admissible. Global convergence theorems are proved, a theoretically justified algorithm for the first phase is introduced, and some numerical insight is given.     

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.     

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.     

A Generalized Machine-Scheduling Algorithm

It is proposed to treat a general machine-job-scheduling problem using a branch-and-bound method. Here the general problem is that in which the routing of any job through the machines is specified in advance but is independent of the routing of any other job. In addition there is no requirement for the job to visit all machines. Since any two operations to be performed on the same machine cannot be performed simultaneously, the set of all schedules can be divided into two subsets-one in which the pair of operations is performed in one order and the second in which the order is reversed. This division corresponds to branching in the method. For each of the new subsets formed by branching a lower bound on the duration of all schedules in the subset is calculated and the schedule with minimum duration is found by successive subdivision. An illustrative example is solved and the method is compared to other published general methods.     

On the fast rotation of a heavy rigid body about a fixed point

Fast rotation of a symmetric heavy rigid body about a fixed point (the kinetic energy is large in comparison with the potential) is considered in cases when the resonance equations of Euler's motion /1, 2/ are approximately satisfied at the initial instant (the body is assumed to effect turns, ε is small, during time . It is shown that during that time ( ) a finite deviation from inertial motion takes place. Such mechanical effect is similar to the precession of a fast top, except that it is more “early” (in the considered time scale the top precession is slow). Approximate equations that define the motion in the principal order and are integrable in quadratures. The formal process of derivation of higher approximations is indicated, and a geometric interpretation of motions is given.     

带有反馈的因果模型中的独立性识别

在本文中,直接利用计算要概率分布的办法证明了在史包含离散变量４ 反馈系统产生的因果图中的条件独立关系可以由ｄ－分离识别出．     

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.     

Heteroscedasticity checks for regression models

For checking on heteroscedasticity in regression models, a unified approach is proposed to constructing test statistics in parametric and nonparametric regression models. For nonparametric regression, the test is not affected sensitively by the choice of smoothing parameters which are involved in estimation of the nonparametric regression function. The limiting null distribution of the test statistic remains the same in a wide range of the smoothing parameters. When the covariate is one-dimensional, the tests are, under some conditions, asymptotically distribution-free. In the high-dimensional cases, the validity of bootstrap approximations is investigated. It is shown that a variant of the wild bootstrap is consistent while the classical bootstrap is not in the general case, but is applicable if some extra assumption on conditional variance of the squared error is imposed. A simulation study is performed to provide evidence of how the tests work and compare with tests that have appeared in the literature. The approach may readily be extended to handle partial linear, and linear autoregressive models.     

煤业集团供应商选择的可拓方法

结合煤业集团的实际，提出了供应商选择的指标体系。应用可拓学的理论与方法，结合熵理论，建立了基于熵权的可拓综合评价模型。由于在该模型中采用了熵权，从而避免了低层次多因素权重确定的主观性；该模型以综合关联度作为评价准则，避免了评价中的主观性。通过将该模型在平顶山煤业集团供应商选择中进行应用，得出了其最佳的供应商。而且评价过程表明，该方法易于操作和使用。     

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-正则图的可序子集的存在性问题.     

树状网络上的Web代理服务器最优放置问题

一般网络上Web代理服务器(Web proxy)最优放置问题是一个NP困难问题.此文讨论树状网络上的最优放置问题,改进了已有结果,得到了一个时间复杂度为O(nhk)的多项式时间算法,这里n为网络结点数,h为树的高度,而k为要放置的代理服务器个数.     

Koszul Differential Graded Algebras and BGG Correspondence II

The concept of Koszul differential graded （DG for short） algebra is introduced in [8]. Let A be a Koszul DG algebra. If the Ext-algebra of A is finite-dimensional, i.e., the trivial module Ak is a compact object in the derived category of DG A-modules, then it is shown in [8] that A has many nice properties. However, if the Ext-algebra is infinite-dimensional, little is known about A. As shown in [15] （see also Proposition 2.2）, Ak is not compact if H（A） is finite-dimensional. In this paper, it is proved that the Koszul duality theorem also holds when H（A） is finite-dimensional by using Foxby duality. A DG version of the BGG correspondence is deduced from the Koszul duality theorem.     

Poisson分布易被忽视的重要性质

"Poisson分布的总体均数与其观察单位成正比",这是一个被忽视的性质,但这是一个很基本的性质,在一些问题的解决中它是必需的.本文讨论了这个性质,并举例说明它在实际问题中的应用,然后对此内容在授课过程中的安排提出建议.     

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.