煤矿事故中寻租行为的博弈分析

煤矿开采是我国最危险的主要行业之一,煤矿事故时有发生,尽管国家已采取了多项措施,但长期以来一直没有得到根本改善.针对我国煤矿事故频繁发生的现状和特点,从经济学的角度运用寻租和博弈论理论,通过建立博弈模型,对煤矿事故中涉及的主要三方博弈主体,即煤矿矿主、地方政府执法人员和中央政府监管部门之间的利益关系进行了研究,求出了模型的均衡解,分析了影响均衡解的相关因素,指出了影响煤矿事故频发的深层原因,提出了减少煤矿事故发生的相应对策建议.     

腐败的三方动态博弈模型及其治理对策

本建立了腐败问题的三方动态博弈模型，并求出博弈模型的均衡解模型，根据均衡解，提出了治理腐败问题的对策。     

农村防灾减灾能力建设中资金投入的进化博弈分析

农村防灾减灾能力建设的政府资金投入体系中中央政府和不同的地方政府之间的博弈可以看作是中央政府和地方政府、地方政府和地方政府之间的两个层次的进化博弈.通过建立三方进化博弈模型来分析博弈达到均衡的过程,试图建立农村防灾减灾能力建设中政府资金投入的激励机制.根据分析结果可以得出两点启示:应将农村防灾减灾能力的强弱纳入地方政府政绩考核评价体系当中;地方政府进行农村防灾减灾能力建设的资金利用效率会影响到博弈的最终均衡.     

第三方电子商务平台与加盟商家联盟稳定性的演化博弈分析

针对电商平台的加盟商家的“跳单”现象,建立了第三方电子商务平台与加盟商家的博弈模型,利用演化博弈的方法分析了第三方电子商务平台的监管和加盟商家违约跳单的策略选择演化过程,给出了不同情形下他们的演化稳定均衡策略。若双方的策略不符合演化稳定均衡策略,则会影响他们形成的联盟的稳定性。此外,本文根据实际情况做了相应的参数设置和变量假设,并通过理论分析和情景仿真得到了加盟商家跳单的金额、平台因加强监管且加盟商家没有跳单而获得的额外收益等参数变化时对演化稳定均衡策略的影响。     

三方相互体谅讨价还价模型

对于较重要的三方合作利益分配博弈问题,将相互体谅作为基本遵循并基于适应性预期模型,建立三方相互体谅讨价还价模型.运用这个模型,可以把三方相互体谅讨价还价达成均衡,归结为单调有界数列收敛与常系数非齐次线性差分方程组求解的结合运用.三方相互体谅讨价还价属于不完全信息动态合作博弈.对模型求解,一般地揭示三方相互体谅讨价还价达成均衡的过程与结果,阐明讨价还价有满足初始条件的唯一解和充要条件,以及充要条件的经济含义和数学意义.三方相互体谅讨价还价模型是对于两方相互体谅讨价还价模型的拓展,可以为建立更多方相互体谅讨价还价模型提供借鉴.     

三方相互威慑讨价还价模型

研究了三方相互威慑讨价还价问题,从合作博弈的角度建立了三方相互威慑讨价还价模型.并且通过对均衡存在性和冲突可能性的分析,给出了三方相互威慑问题冲突发生的条件以及存在均衡状态时的均衡解.最后通过实验验证了本文分析的正确性.     

基于PT-MA理论的煤矿安全群体行为演化博弈分析

将前景理论(PT)和心理账户(MA)理论相结合引入到矿工群体、监管群体的演化博弈决策过程中,构建了效价账户和成本账户前景收益感知矩阵,得到不同情况下演化系统所达到的均衡状态,发现当实施安全行为和监管行为与实施对立行为的价值感知收益偏差呈同化正向收敛时,安全行为和监管行为的演化趋于理想状态。但在现实状况下,群体行为演化并不能达到理想的结果,原因如下:(1)安全行为成本、监管行为成本较高,安全行为效价、监管行为效价较低;(2)效价感知函数参照点高,成本感知函数参照点低;(3)矿工、监管群体面对效价收益时更倾向于风险厌恶,面对成本损失时更倾向于风险追求;(4)群体决策更倾向于低估高概率事件(事故概率、监察概率、举报概率)。最后构建Matlab算法,进行演化博弈数值模拟,验证了调节各参数对行为演化的影响作用。本文为煤矿安全监管提供了新的思路,同时对其他领域的安全监管提供了借鉴价值。     

供应链金融信贷市场三方演化博弈动态

供应链金融业务的产生与发展为中小微企业的融资提供了有效的途径。核心企业在为中小微企业提供信用担保的同时,也对中小微企业的生产等经济活动进行监督,以维持供应链上各企业的信用及效益。本文考虑供应链金融各参与方之间的相互影响,构建“金融机构——核心企业——中小微企业”三方博弈主体的演化博弈动态模型。运用演化博弈理论与Lyapunov判别法分析三方演化动态模型的均衡点以及其渐进稳定性。结论表明:中小微企业得到的预期利益越大、违约的成本越大,就越不容易选择违约,供应链金融信贷系统将演化到核心企业为中小微企业提供贷款信用担保,金融机构对中小微企业进行贷款、中小微企业选择不违约的演化均衡状态,信贷市场呈良性发展的趋势。     

安全生产下政府、煤矿企业、员工的决策行为演化研究

安全生产对于煤矿企业至关重要,本研究将政府、煤矿企业和员工纳入演化博弈模型中,探究三方主体间决策的博弈关系和演化路径。研究表明:政府、煤矿企业和员工的决策向理想状态的演化过程受到诸多因素的影响,不同因素取值范围对三方主体向理想状态收敛速度产生差异化影响;当满足一定条件时,三方主体的决策行为能够演化为理想状态,政府有效监管能够促进企业由惩罚型向激励型模式转化,激励型模式能够有效激发员工安全主动行为。以期为政府制定安全监管决策、企业转化安全生产管理模式、员工激发安全主动行为提供有益的建议。     

矿业遗迹旅游开发监管的演化博弈与稳定性分析

矿业遗迹旅游开发涉及主体众多，均衡各方主体利益对兼顾矿业遗迹保护和开发具有重要意义。文章搭建企业、政府和矿区居民三方核心利益主体的静态演化博弈模型，并在静态演化博弈基础上引入动态变量，利用系统动力学仿真分析三方在一般惩罚、动态惩罚与优化动态奖惩三种方案下的行为策略及稳定情况，并采用李雅普诺夫稳定性理论进行双重论证。研究发现：一般惩罚与动态惩罚方案下三方行为均不稳定，但动态惩罚方案在一定程度上能够抑制三方行为的波动情况；优化动态奖惩方案能够有效抑制三方行为的反复波动并达到理想的稳定状态。基于研究结论，文章提出政府应采取综合优化动态奖惩方案规制矿业遗迹再开发；设计各类政府监管工具组合拳、构建矿业遗迹开发生态文化体系与培育生态文化框架等建议。     

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.