保险系统中一类双险种风险模型的破产概率

本研究了一类双险种风险模型，对此模型得到了最终破产概率的一般表达式和破产概率的一个上界估计。     

保费随机收取的广义二元复合非齐次Poisson风险模型

研究了一类双险种风险模型,其中索赔到达计数过程和保费到达计数过程均为非齐次Po isson过程,用鞅方法得到了有限时间破产概率的一个上界,并给出了当两个险种的个体索赔均服从指数分布时,有限时间破产概率的上界估计.     

保费收取过程是随机过程的双险种风险模型

研究保费收取过程是一个随机过程的双险种风险模型,得出了Lundberg上界、最终破产概率、不破产所满足的微积分方程、索赔服从指数分布的不破产概率、有限时间不破产所满足的微积分方程.     

一类保费批量到达的双险种风险模型

本文研究了一类保费与索赔均为批量到达的双险种破产模型,在特定的分布下导出了调节系数方程,得到了初始资本为u的破产概率的上界并与非批量到达的模型的破产上界进行了比较。     

马氏利率下相关险种的离散风险建模和破产概率

在随机利率服从有限齐次Markov链下,建立相关险种离散风险模型,采用递推方法得到了有限时间破产概率的递推等式和最终破产概率的积分等式;给出了有限时间破产概率和最终破产概率的上界,导出了破产时刻余额分布的计算等式.     

一类推广负风险和模型的破产概率

本文研究了带干扰的两险种负风险和模型的破产问题.利用无穷小方法,给出了该风险模型破产概率所满足的微分-积分方程,并推导出破产概率满足的Lundberg型不等式.最后指出了当索赔服从负指数分布时破产概率的上界,推广了经典风险模型的结果.     

带经济因素的变破产下限的双险种风险模型

考虑了带有利率与通货膨胀率等经济因素的变破产下限风险模型,即保险公司的破产下限是时间t的函数,随时间的变化而变化.并且在模型中,讨论了两类险种的索赔,在干扰条件下,分别给出了两险种独立与相依时破产概率的上界,且在破产下限为t的线性函数时,得到了破产概率满足的不等式与具体表达式.     

带干扰的保费随机收取的双险种风险模型

推广了已有文献中提出的带干扰的双险种复合负二项风险模型,让保费收取次数服从负二项分布,两类险种的索赔也服从负二项分布,得到了带干扰的保费随机收取的双险种风险模型,给出了破产概率的一般表达式和上界．     

依生灭过程索赔两险种风险模型

本文建立了依生灭过程索赔的两险种风险模型,主要对该模型的破产概率进行了研究,并给出了关于条件破产概率序列的微分积分方程以及破产概率收敛速率的上界,这类似于Cramer-Lundberg逼近,其逼近程度虽然不如Cramer-Lundberg逼近"精确",但不要求索赔额分布是尾指数的.     

相关随机利率下的双二项模型的破产概率

研究带有相关随机利率的双二项风险模型,得到了破产概率的积分表达式,并利用鞅分析的方法得到了破产概率的经典Lundberg上界,另外给出了一个破产概率的比经典Lundberg上界更精确的上界.     

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.