退化矩阵Liouville,Beta,Dirichlet分布

该文引进和讨论了退化矩阵Liouville分布，由此导出退化矩阵Beta分布、退化矩阵Dirichlet分布．推广了文献［1］关于退化Wishart分布和秩为1的退化矩阵Beta分布的结果。     

ι_1-模对称矩阵变量分布的边缘相容性(英文)

本文研究了ι1－模对称矩阵变量分布及其任意行组成的子矩阵的分布属于同一指定分布族的条件；并给出了无穷维ι1－模对称矩阵变量分布的定义．     

巴斯卡分布参数p的置信区间

讨论了巴斯卡分布与Beta分布的联系,并通过F分布的分位点给出了参数p的置信水平为1-α的置信区间.     

上证指数收益率分布的拟合

本文旨在讨论上证指数收益率序列的分布特征 ,通过对上证指数 1 997年 5月 2 3日至 2 0 0 1年 7月1 3日 ,总计 1 0 0 0多个交易日的统计分析 ,发现上证指数收益率的分布具有“尖峰、厚尾”的特性 .我们试图用文献 [1 ]给出 Lévy flight来拟合其分布 ,但结果并不理想 .为此我们提出了一种类似 Weibull分布的函数来拟合上证指数收益率分布 ,模拟结果较好 .同时 ,我们按通常的方法对尾部作了截尾处理 ,以更接近实际数据在尾部表现出来的“厚尾”现象     

同分布两两NQD列的最大值不等式及其应用

设{xn，n≥1}是同分布的两两NQD列，记Sn=∑i=1Xi^n．本文讨论了max ｜Si｜/i（n≥1）的分布函数的上下界．作为应用，获得了随机变量supn≥｜Sn｜/n型的1阶矩及p（〉1）阶矩分别存在有限的充分必要条件，这是一个与独立同分布场合相一致的结果．     

多元Liouville分布的进一步探讨及一些有关分布

本文继[1]、[2]两文之后进一步讨论了多元Liouville分布(ML分布)的一些性质,去掉了[1]、[2]两文中关于独立性刻划的附加限制,同时论证了部分多个分量之和在ML分布中的重要地位,并由此得出了ML分布的边缘刻划。另外也给出了刻度不变统计量关于ML分布类的一些良好性质,并将上述结果应用于广义多元Liouville分布(GML分布)及其它有关分布类的讨论。     

延迟Min(N,D)-策略的M/G/1排队系统的队长分布与数值计算

考虑延迟Min(N, D)-策略的M/G/1排队系统. 运用更新过程理论、全概率分解技术和Laplace变换工具, 从任意初始状态出发, 研究了队长的瞬态和稳态性质, 获得了瞬态队长分布的Laplace变换的递推表达式和稳态队长分布的递推表达式, 同时求出了附加队长分布的显示表达式. 进一步讨论了当N \to \infty, 或D \to \infty, 或N=1且P{Y=0}=1, 或P{Y=0}=1时的特殊情形. 最后通过数值实例, 讨论了稳态队长分布对系统参数的敏感性, 并阐述了稳态队长分布的表达式在系统容量优化设计中的重要价值.     

可修排队系统 E_m/G(M/H)/1的瞬态解

在现有的几篇可修排队系统文献中,都假定了顾客到达(间隔)时间服从指数分布。本文则首次研究了顾客到达时间服从Erlang分布的可修排队系统。我们研究的可修排队系统Em/G(M/H)/1,其已知的参数如下: (1)顾客到达时间分布是m阶、率为λ的Erlang分布; (2)顾客服务时间分布是一般连续型分布G(t),具有有限均值1/μ; (3)服务台的寿命分布(或称失效分布)是失效率为α的指数分布; (4)服务台的维修分布是一般连续型分布H(t),具有有限均值1/β。通过形成一个向量马尔可夫过程,即采用补充变量方法,我们导出了该系统所有感兴趣的指标。定理1 系统能达到稳定平衡的充要条件是     

同分布混合序列的最大值不等式及其应用

设{X_n,n≥1}是同分布的混合序列,记S_n=sum from i=1 to n X_i．该文讨论了(|S_i|)/i(n≥1)的分布函数的上界．作为应用,获得了随机变量(|S_n|)/n的1阶矩及p(＞1)阶矩分别存在有限的充分必要条件,这是一个与独立同分布场合相一致的结果．     

一个附加分布的乘积系

作者引入了公理P1)~P5),由此建立了一个和分布的舒瓦兹乘积相容的附加分布的乘积系.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.     

Estimate of growth of Lebesgue functions of linear methods of summation

Sufficient conditions are obtained in terms of matrix elements for the boundedness of Lebesgue functions of linear methods of summation of expansions in orthogonal systems of polynomial type.Translated from Matematicheskie Zametki, Vol. 6, No. 3, pp. 277–286, September, 1969.