绿色消费视角的政企合作绿色技术创新动态决策

通过构建微分博弈模型,对比分析无成本分担、成本分担及集中式决策情形下,政府和企业最优反馈均衡策略和收益最优值函数.研究发现,成本分担情形下,企业绿色技术创新努力程度要高于无成本分担情形,该努力程度不仅取决于自身的边际收益,还与政府边际收益、企业技术创新社会收益正相关;集中决策情形下,政府、企业的最优努力水平和系统收益最优值均达到最高水平,且与二者的边际收益之和正相关;社会公众绿色消费的关注程度对系统收益具有正向影响,且影响程度边际递增;各参与主体努力程度对企业社会声誉影响越大,则合作系统收益越大.     

函数S-粗集对偶与F-粗边际规律

函数单向S粗集对偶(dual offunction one direction singular rough sets)是函数S粗集的基本形式之一,函数单向S-粗集对偶具有动态特性与规律(函数)特性.函数S粗集(function singular rough sets)是把函数概念引入到S粗集内(singular rough sets)改进S粗集得到的把导数概念与函数单向S粗集对偶交叉、渗透给出粗边际规律F-粗边际规律概念;给出粗边际规律F-粗边际规律特征;给出F-粗边际规律与粗边际规律的关系;给出F-粗边际规律在经济信息系统中的应用     

基于经典BPR阻抗函数的随机交通网络主从博弈的效率损失

现代大城市交通愈发拥堵和智能交通系统广泛应用背景下,拥堵收费、智能诱导和主从博弈、随机均衡分别是重要的管理手段和客观现象.考虑对交通网络中各路段实施收费策略,利用随机用户均衡(SUE)交通流模式研究了效率损失的上界,该交通流模式是由一部分受控于Stackelberg策略的用户所诱导产生的.假设路段时间函数是可分离的单调增的凸函数,并固定交通网络起讫点(OD)需求,在建立Logit-SUE的等价变分不等式(VI)的基础上推导出SUE和Stackelberg策略条件下交通网络的效率损失表达式.这对城市交通管理的系统决策具有重要参考价值.     

内部信息者的最小亏损风险策略

在一定的假设条件下,利用扩大信息流方法解决了跳扩散环境下内部信息者的最小亏损风险策略问题.首先构建了内部信息者最小亏损风险策略模型,证明了内部信息市场的完备性.然后利用风险资产价格的Markov性和鞅表示定理得到了线性损失函数下的最小亏损风险最优策略和相应的价值函数.     

收费机制下利己-利他混合交通均衡分配的效率损失

运用解析推导方法对收费机制下利己-利他混合交通均衡分配问题的效率损失进行研究.首先,构建了收费机制下利己-利他混合交通均衡分配问题的等价变分不等式模型;然后,通过解析推导方法得到了收费不作为系统总出行时间成本一部分时的效率损失上界;最后,给出了路段出行时间成本函数为多项式函数时的上界表达式.研究结果表明,效率损失上界与路段出行时间成本函数类、利他系数以及出行需求划分系数相关,结论以现有文献有关结论为特例.     

多用户多准则随机系统最优与最优收费

针对固定交通需求量和出行者的时间价值为离散分布的多准则随机交通均衡,分别研究了依费用度量和依时间度量的多用户多准则随机系统最优和最优收费问题.分别建立了基于费用和基于时间的随机系统最优的最优化模型,阐述了该模型解的唯一性条件及等价的变分不等式问题.运用变分不等式方法,研究了一阶最优收费的可行性,即能否依边际定价原则,通过收取与出行者类别无关的道路收费使多用户多准则随机均衡流与随机系统最优流一致.一阶最优收费不适用于依时间度量的随机系统最优情况,因而建立了一个最优化模型来得到此时的非歧视性道路收费.最后给出了具体算例.     

两类具有N-策略和多重休假的M/G/1排队系统的最优控制策略

考虑两类具有N-策略和服务员多重休假的M/G/1排队系统,其中一类是休假不可中断,另一类是休假可中断的.利用系统稳态队长的随机分解特性导出稳态队长的概率母函数,用数值计算讨论了系统空闲率与附加平均队长对系统一些参数的敏感性.进一步,在给出的费用结构模型的基础上,利用更新报酬定理,推导出了稳态下系统在单位时间内的数学期望平均费用目标函数的解析式,然后借用MATLAB软件,求出了使目标函数达到最小的最优控制策略N^*.     

提前期需求为模糊随机条件下的连续库存补货策略

考虑提前期内需求为模糊随机变量且提前期为可缩短情形下,建立由购买商和供应商所组成的简单供应链连续库存补货策略优化模型,其中订单量、再订货点和提前期为决策变量.首先推导出模糊随机需求条件下购买商和供应链的成本函数,然后,进一步考虑总需求为三角模糊数,推导出供应商、购买商和供应链的模糊成本函数.在此基础上分别从购买商成本最小和供应链成本最小角度对模型进行求解,结合具体算例对模型进行应用分析和比较分析,结果表明模型具有有效性和实用性,并得出如下结论:从购买商本身角度考虑订购策略所产生的供应链成本总是大于从供应链整体角度考虑订货策略所产生的供应链成本,同时从购买商本身角度考虑订货策略所产生的最优订购量、购买商成本低于从供应链整体角度考虑订货策略所产生的最优订购量、购买商成本.     

论一类函数边际概念的经济特征

本文研究了经济学中函数边际概念的经济意义,将边际分析这一经济理论中关于经济函数边际概念的经济意义进一步数量化、精确化、实证化,并得出一类形如integral(x)=c+bx+ax~2的典型经济函数边际概念经济意义的精确解释,建立了反映其经济意义的既简单又合用的重要公式.     

基于CVaR的次优拥挤收费随机多目标模型

次优拥挤收费问题一般要考虑不同决策者的不同利益,因此,有必要考虑多个收费策略建立多目标模型来均衡不同决策者的利益.由于决策者常在信息不确定的情况下做决策,在出行需求不确定的条件下,为了确定次优拥挤收费的方案,建立了基于条件风险价值的随机多目标双层规划模型,上层规划的目标函数考虑了系统总阻抗和社会公平性,下层规划是UE用户均衡配流问题.利用基于随机模拟的遗传算法对模型进行求解,并通过数值算例对模型和算法进行分析,验证了模型的有效性.     

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.