中国能源消费预测灰色建模法

选取2001—2007年中国能源消费实际值为依据,应用灰色系统理论建立煤炭能源和能源消费总量GM(1,1)预测模型,并分别进行精度检验和对比分析.检验结果表明:所建立的预测模型均为一级精度,适合于具有灰色特征的能源消费原始数据序列的模拟和预测分析.通过预测模型的计算结果可以知道:中国煤炭能源和能源消费总量呈指数增长规律,2008—2012年期间分别以16.33%和14.94%的速度增长,在整体能源消费结构中,煤炭能源所占比例将以0.29%的速度增长(为合理规划我国未来的能源消费战略,制定能源供应短缺和能源环境污染对策).     

中美石油消费与国际原油价格的协整分析

石油消费与石油市场与国民经济和国家安全息息相关,是学术界研究的的热点领域之一.本文采用协整性和因果关系检验的计量经济学方法,考察了我国石油消费和国际原油价格之间的相互影响,发现两者存在长期协整关系,但只具有单向因果关系.与美国的比较研究表明,我国石油市场化改革取得了显著成效,随着改革的深入,还应该建立充足的商业石油储备,并基于市场调整当前石油定价体制与进口机制,进一步放开油价,采用主动的进口策略,才能根本解决消费与价格存在的脱节问题,实现与国际石油市场更好的接轨,适应日益完善的市场经济需要.     

基于ARIMA与一元对数回归组合模型的中国果蔬发展战略研究

水果和蔬菜是重要的农产品,为人体提供必需的矿物质、维生素和膳食纤维.我国传统的饮食习惯并未重点考虑居民身体健康所需的均衡营养,导致了果蔬消费在营养学意义上的无序与盲目,进而影响到了果蔬的产业发展.从营养健康的角度出发,以近几年十二种主要水果和蔬菜消费量为研究对象,通过建立差分自回归一移动平均(ARIMA)和一元对数回归的组合模型,分析了近几年农村和城市主要水果和蔬菜消费量,并对未来七年主要蔬菜和水果消费量进行了预测.研究结果表明我国果蔬消费受季节、地域差别影响较大,整体与人均消费量均稳中有增.且随着城镇化进程的发展消费量不断向城市倾斜.此外,为了加强对果蔬产品消费的引导,以营养元素满足人体需要为约束,消费者和种植者经济效益最高为目标,通过多元线性规划模型计算得到了十二种主要水果和蔬菜的年人均合理消费量.其定量分析结果对我国果蔬产业发展有重要参考作用.     

我国汽车消费贷款的前景预测与分析

本通过对我国居民五十年来耐用品消费结构变化的分析、我国未来汽车市场需求量的计算，以及我国汽车消费贷款的实例分析，从而得出我国未来汽车市场潜力很大，汽车消费贷款前景十分广阔，将为我国国民经济的发展，特别是汽车工业的发展起到理想的催化作用。     

基于营养健康的果蔬发展战略研究

针对果蔬品种的筛选、居民的人体营养健康状况评估及未来果蔬生产的战略调整进行研究.首先利用因子分析对果蔬的营养指标进行筛选,通过构建0-1模糊规划模型筛选出主要果蔬,并计算出果蔬的人均消费量.接着运用加权power平均(WPA)算子组合预测模型对未来果蔬消费量趋势进行预测,得到各种营养素近期及未来的人均摄入量.结果表明我国居民的部分营养摄入是不合理的,居民的营养健康状况有逐渐恶化趋势.在此基础上,建立多目标规划模型对果蔬的年度合理人均消费量进行估计,并与实际情况相比较,给出未来果蔬种植的调整战略.最后给出模型中的参数的灵敏度分析.     

西藏林芝地区城镇居民消费支出的G(1,1)模型预测及其影响因素的关联度分析

利用2006—2012年林芝地区城镇居民人均生活消费支出数据为研究对象,应用灰色系统理论建立了林芝地区城镇居民消费的G(1,1)预测模型,对其未来几年的人均生活消费进行预测,分析得出:在未来五年中林芝地区城镇居民人均生活消费支出呈现攀升的态势,平均年增长率预计达到7.93%.并运用灰色关联分析方法对影响林芝地区城镇居民消费支出的主要因素进行系统分析,确定了各因素相对于消费支出的关联程度.     

煤炭安全评价:模型、集成算法与应用

煤炭作为我国战略性矿产资源,其安全问题一直是政府、学界关注与研究的重要课题.基于APERC的"4A"能源安全概念模型,提出了"2AST"的煤炭安全概念框架;建立了融可用性、可获性、可持续性、技术发展于一体的煤炭安全评价体系;提出了AGA-EAHP-EM-GRA-TOPSIS一种改进的集成评价方法,对2001-2010年中国煤炭安全水平进行了评价;最后提出了开源节流、国家保障、技术发展等战略对策,以期为提高我国煤炭安全水平提供借鉴.     

关于湖北省节能的投入产出分析

运用投入产出法,对湖北省达成"十一五"节能目标的万元GDP综合能耗进行了分能源品种的分解,对湖北省未来五年的能源经济指标进行了预测和分析.首先,本文把64部门的2002年湖北省投入产出表整理成6部门的投入产出表,推测出2005年湖北省能源生产和消费指标,分析了湖北省能源供需的基本形势.其次,本文以实现"十一五"期间万元GDP综合能耗降低20%为目标,对不同GDP增长率下的能源需求情景进行了预测,计算了湖北省2010年分品种的万元GDP综合能耗、能源消费弹性系数等指标,分析了不同能源品种对单位GDP综合能耗下降的贡献程度.最后本文提出了政策建议,并指出模型的发展方向.     

经济增长、金融发展、对外贸易与能源消费动态关系研究

基于我国1978-2013年的统计数据,运用ARDL边限协整检验技术和VECM格兰杰因果检验方法,对经济增长、金融发展、对外贸易与能源消费之间的关系进行了系统地研究.实证结果表明,经济增长、金融发展、对外贸易与能源消费之间存在长期协整关系.经济增长和能源消费不满足EKC假设,两者之间呈现正"U"型变化,目前我国经济位于曲线右边,即能源消费随着经济的增长而增加.金融发展对能源消费存在显著的正向效应,对外贸易的发展也会增加能源消费.格兰杰因果检验表明存在从经济增长到能源消费、金融发展和对外贸易的单向因果关系.金融发展和能源消费之间存在长期双向因果关系,同样的,这种关系也被发现在对外贸易和能源消费、金融发展和对外贸易之间.     

基于动态无偏灰色马尔科夫模型的煤炭需求量预测

煤炭消费系统是一个复杂的非线性系统,具有随机性、非线性、动态性等特点,科学地预测煤炭消费量及其结构对于优化配置能源有重要意义.传统的单一预测方法预测精度较低.在对陕西省煤炭消费历史数据分析的基础上,构建了煤炭消费总量的GM(1,1)模型、灰色GM(1,1)预测模型和动态无偏的马尔科夫结构预测模型.拟合结果表明,动态无偏灰色马尔科夫模型既能消除传统灰色GM(1,1)模型的固有偏差,又能提高预测精度,其平均相对误差为2.10%,分别低于传统灰色GM(1,1)模型和一般灰色马尔科夫模型的17.37%和6.37%,可用于煤炭需求的预测,在此基础上对陕西省2017-2025年煤炭消费进行了预测,为未来能源消费发展规划提供依据.     

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.     

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.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

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.