青藏铁路含保温夹层路基厚度与地温关系的研究

通过对青藏铁路风火山段含有保温夹层的路基建立均匀介质分层纯导热模型并运用分层近似解法求出冻土表层的温度函数,结合Lachenbruch给出的冻土层的理论温度表达式,得到了路基填料层、保温层、地表年平均温度与正弦变化温度的振幅比三者之间的隐式方程,并应用该方程对三者之间的关系进行了分析.     

利用SRTM数据修测高山区地貌的探讨

在高海拔区域测制地形图,如青藏高原地区,所获取的遥感影像局部存在着大范围的高山阴影或云雪覆盖,造成立体观测地貌困难的现象,探讨应用SRTM数据对这类特殊区域地貌进行修测补绘。介绍了数据处理的作业过程,并对实验区SRTM与SPOT5影像立体测图成果进行实验对比分析,成果符合要求。     

高斯信道中功率分配问题的一种优化方法

信号检测中,检测概率一直是作为衡量检测性能的一个重要标准.众所周知,Neyman-Pearson准则下的最优检测是似然比检测.然而多传感器系统下随着信号维数增加,似然比检测门限的计算涉及高维积分,计算困难相当大,因此文中考虑的高斯信号检测模型,没有直接计算检测概率而是将两个密度函数的相对熵作为衡量检测性能的一个度量来研究高斯信号检测中功率的分配,并且建立了目标优化模型.针对文中建立的优化问题,首先由加强的Fritz John(F-J)必要条件证明了优化问题的局部最优解满足KKT(Karush-Kuhn-Tucker)条件,并且进一步证明存在惟一的拉格朗日乘子.然后利用凸函数的性质我们说明了D(P1‖P0)是tr(∑s)的非减函数,最后在此基础上得到了优化问题的最优解,即得到了功率分配矩阵.同时也给出了特殊信道下的功率分配矩阵.     

灰色系统理论在废气污染物排放量预测中的应用

应用灰色系统预测理论,以GM(1,1)模型对我国废气排放中主要污染物排放量进行预测,可有效克服原始数据的离散性,在少信息的情况下得到高精度的预测结果。以2008²012年废气主要污染物排放量为例进行了中短期的预测,结论表明,预测精度均可达到最优的精度等级。     

离散型二维竞争系统中某群体消亡的条件

研究了离散型二维竞争系统的渐近稳定性,得到了这类竞争系统中各类平衡点的坐标及其性质,获得了系统在边界上的平衡点处渐近稳定的一系列充分条件.这些条件等价于该系统中的某个群体在竞争过程中消亡或被淘汰的相应条件.     

牛骨粉加工中干燥动力学模型的研究

骨粉的制备是骨资源化利用的有效途径,它是以骨为原料,通过清洗、脱脂、酶解、干燥、超微粉碎等工序制成,其中干燥是骨粉制备过程中较为关键的步骤。本文以含水率、干燥速率为考察指标,研究温度、重量、酶解对牛肋骨骨粉含水率和干燥速率的影响。根据实验结果,运用数理分析方法,比较3种经典的经验、半经验数学模型,拟合骨粉干燥动力学模型,为骨粉的加工工艺和生产设备设计提供技术参数。试验结果表明:骨粉干燥动力学模型符合Page模型。     

新生代农民工收入消费统计分析——基于郑州市817位新生代农民工调查数据

近年来,我国农民工群体正处在代际更替的阶段,新生代农民工有其独特的消费观念、消费结构和消费行为。同时,新生代农民工也面临生产生活方式和消费方式的变化,其收入提高与消费行为转变更是实现我国经济转型的重要推动力。基于此,本文选取郑州市作为样本地区,对新生代农民工的收入状况、消费观念和消费行为进行实地调查,运用Logist模型分析其收入状况、消费观念对其消费行为选择的影响。最后,从改善新生代农民工收入状况、人力资本提升和消费观念的引导等方面提出科学、合理的建议。     

电动汽车将受到油价暴跌冲击

<正>国际可再生能源机构总干事阿德南·阿明近日称,比起绿色能源产业的其他部门,油价暴跌对电动汽车和生物燃料行业的冲击会更大。这是因为它们直接的竞争对手是使用汽油做燃料的汽车,而油价暴跌后这种车会变得更便宜。阿德南表示,风力发电场、太阳能发电厂和其他可再生发电厂应该不会受到油价暴跌的影     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.