图的度序列不等式

用代数的方法证明了有关图度序列的几个不等式，并且得到了其相应的极图。     

Use of dynamic trees in a network simplex algorithm for the maximum flow problem

Goldfarb and Hao (1990) have proposed a pivot rule for the primal network simplex algorithm that will solve a maximum flow problem on ann-vertex,m-arc network in at mostnm pivots and O(n ² m) time. In this paper we describe how to extend the dynamic tree data structure of Sleator and Tarjan (1983, 1985) to reduce the running time of this algorithm to O(nm logn). This bound is less than a logarithmic factor larger than those of the fastest known algorithms for the problem. Our extension of dynamic trees is interesting in its own right and may well have additional applications.Research partially supported by a Presidential Young Investigator Award from the National Science Foundation, Grant No. CCR-8858097, an IBM Faculty Development Award, and AT&T Bell Laboratories.Research partially supported by the Office of Naval Research, Contract No. N00014-87-K-0467.Research partially supported by the National Science Foundation, Grant No. DCR-8605961, and the Office of Naval Research, Contract No. N00014-87-K-0467.     

The Convergence of (r|~)_s(b_0h_n-h_1b_(n-1))

This paper computes the Thorn map onγ2 and proves that it is represented by 2b2,0h1,2 in the ASS. The authors also compute the higher May differential of 62,0, from which it is proved thatγs(b0hn-h1bn-1) for 2≤s < p - 1 are permanent cycles in the ASS.     

灰色模型的最优化及其参数的直接求法

基于灰色模型的内涵表达式和白化方程响应式均为等比级数的观点,提出了一种不用求ago值、均值,不涉及灰色微分方程,白化微分方程概念,直接求灰色模型参数a,c的方法,通过此方法建立的新模型不仅从理论上可保证是在满足给定评价标准为模拟绝对误差平方和最小(或模拟相对误差平方和最小)、给定精度条件下的最优化模型,从而结束了灰色模型只有更优,没有最优的历史.并从理论上证明了新模型具有白化指数律重合性、白化系数律重合性,伸缩变换一致性.最后通过实例编程验证该方法具有可操作性,且预测精度高,效果好.     

Numerical analysis of a model of cure process for composites

We consider a composite material composed of fibres included in a resin which becomes solid when it is heated up (reaction of reticulation). The mathematical modelling of the cure process is given by a kinetic equation describing the evolution of the reaction of reticulation coupled with the heat equation. In this paper, we are interested in the computation of approximate solutions. We propose a family of discretized problems depending on two parameters (β₁, β₂) ε [0, 1]² which split the linear and non‐ linear terms in implicit and explicit parts. We prove the stability and convergence of the discretization for any (β₁, β₂) ε [½, 1 ] × [0, 1]. We present also some numerical results. Copyright © 2006 John Wiley & Sons, Ltd.     

关于多项式系数微分方程复振荡理论的两个结果

本文证明了：如果ａ_ｋ－ｊ（ｊ＝１，…，ｋ）为多项式，ｄｅｇａ_ｋ－ｊ＝ｎ_ｋ－ｊ，存在某个ａ_ｋ－s（１≤ｓ≤ｋ）满足：当１≤ｊ＜ｓ时，ｎ_ｋ－ｊ／ｊ≤ｎ_ｋ－s／ｓ；当ｓ＜ｊ≤ｋ时，ｎ_ｋ－ｊ＜ｎ_ｋ－s－（ｊ－ｓ）．如果Ｆ≠０是整函数且满足σ（Ｆ）＝β＜（ｎ_ｋ－s＋ｓ）／ｓ，那么微分方程ｆ^（ｋ）＋ａ     

AN ENCOMPASSING APPROACH TO MODELING FISHERY DYNAMICS: MODELING DYNAMIC NONLINEAR SYSTEMS

Uncertainty about the nature and significance of nonlinearities and the manner in which dynamics affect future realizations makes model specification the most difficult aspect of modeling dynamic systems. By interpreting several popular fishery models as subcases of a nesting dynamic Taylor series approximation, we isolate the specification differences between these models in a way that accounts for commonalities. On the argument that the differences due to alternative nonlinear forms are likely to be small compared to more mundane considerations such as delay difference and general dynamic lag specification, we propose an alternative model that uses the terms from the first order approximation common to all models combined with a data-based determination of the appropriate lags using the methods of state space time series analysis. Finally, the success of the alternative models is judged in an application to Pacific halibut data.     

Cyclic BSEC of block size 3

Balanced sampling plans excluding contiguous units (or BSEC) were first introduced by Hedayat, Rao and Stufken in 1988. In this note, we discuss constructions of these designs having cyclic automorphisms. We use Langford sequences to construct all possible cyclic BSEC (or CBSEC) with block size 3 and λ = 1,2, which establishes the necessary and sufficient conditions for such designs. Some constructions of the balanced sampling plan avoiding adjacent units, a generalization of BSEC, are also given for fixed λ.     

Uniform random number generation

In typical stochastic simulations, randomness is produced by generating a sequence of independent uniform variates (usually real-valued between 0 and 1, or integer-valued in some interval) and transforming them in an appropriate way. In this paper, we examine practical ways of generating (deterministic approximations to) such uniform variates on a computer. We compare them in terms of ease of implementation, efficiency, theoretical support, and statistical robustness. We look in particular at several classes of generators, such as linear congruential, multiple recursive, digital multistep, Tausworthe, lagged-Fibonacci, generalized feedback shift register, matrix, linear congruential over fields of formal series, and combined generators, and show how all of them can be analyzed in terms of their lattice structure. We also mention other classes of generators, like non-linear generators, discuss other kinds of theoretical and empirical statistical tests, and give a bibliographic survey of recent papers on the subject.