基于嫦娥一号卫星微波辐射计数据的月球Cabeus撞击坑水冰含量研究

月球极地水冰存在与否、存在形式和存在数量等科学问题,是当前月球科学研究的重要目标之一.2009年10月9日,美国半人马座火箭和卫星相继撞击月球南极Cabeus撞击坑,证实了月球极地水冰的存在,但对其含量、分布范围等的研究还有争议.极地水冰的存在会改变极地月壤的介电常数,而微波辐射计是获取介质介电常数的最有效的工具.因此,根据37GHz频率条件下的月壤被动微波辐射传输数值模拟结果,改进月壤辐射传输模型.对比分析了Odelevsky模型、Wagner和Landau-Lifshitz模型、Clausius模型等8个常用的混合介电常数计算模型,表明Lichtenecker模型与改进的Dobson模型得到的介电常数值相差最大,折射模型得到的结果偏大,Odelevsky模型、强起伏定理与Wagner和Landau-Lifshitz模型、Clausius模型、Bruggeman-Hanai模型得到的结果非常接近.基于Odelevsky模型和改进的月壤辐射传输模拟,建立了月壤体积含冰量与微波辐射亮温的关系.并根据嫦娥一号卫星获取的相应的微波辐射计数据,进行了Cabeus撞击坑水冰含量反演研究.结果表明,改进的辐射传输模型适用于高频条件下的一层月壤辐射传输模拟;月球南极Cabeus撞击坑地区月壤微波辐射亮温为69.93K（37GHz）,相应的体积含冰量约为2.8%.     

基于TRIGRS模型的浅层黄土滑坡破坏概率评价

以山西兴县某典型黄土斜坡为例,结合TRIGRS模型与Rosenblueth点估法,研究了降雨对浅层黄土滑坡的影响.根据室内试验、现场人工模拟降雨试验确定了主要参数值,计算了研究区的失稳破坏概率,并探讨了不同降雨阶段、不同坡度对区域斜坡破坏概率的影响.研究表明此方法适合计算降雨诱发的浅层滑坡,得出的滑坡破坏概率分布图可以在一定程度上反映该地区滑坡灾害的空间分布特征.     

面向命题投影时序逻辑的安全协议模型检测

针对无条件安全通信协议,特别是Russian Cards协议的安全性验证问题,提出基于命题投影时序逻辑(PPTL)的模型检测方法.根据协议构造规则建立了Russian Cards协议的ProMeLa模型;利用chop算子将多个交互事件进行顺序复合,以表达协议所期望的通信序列;由projection算子定义了协议在该序列上的安全性质,再将该性质转为Never Claim语法结构并连同协议模型作为模型检测器SPIN的输入,以完成验证工作.验证结果表明,由协议规则构造的Russian Cards通信协议是安全可靠的,该方法也适用于一般的无条件安全通信协议的验证.     

基于自校正模型的非线性系统多模型预测控制

针对化工过程某些非线性系统的不对称动态特性,提出了一种基于自校正模型的多模型预测控制算法.在平衡点附近建立线性模型,利用当前工作点,通过二阶泰勒展开校正模型参数,补偿非线性不对称动态特性,形成了非线性系统的自校正多模型描述.以基于模型输出偏差的切换指标函数作为模型切换准则,结合状态反馈预测控制,构成了多模型预测控制器.pH值控制的仿真结果验证了该算法的有效性.     

矿区生态系统健康评价模型研究

探讨了矿区生态系统健康研究的现状及重要意义,界定矿区生态系统健康的内涵,阐述了矿区生态系统健康评价指标体系设置的依据,构建以生态环境保障度、自然资源支持度、社会经济发展度和健康可持续度为准则层的多层次评价指标体系.在此基础上,建立了矿区生态健康评价的未确知测度模型,并将信息熵理论引入指标体系的约简.最后,通过实例验证了该模型的可行性与有效性.     

沪深300股指期货与现货市场的价格关系研究

通过采用平稳性检验、构建误差修正模型、运用脉冲响应分析和方差分解方法,对已上市交易的沪深300股指期货和现货指数之间的引导关系进行了实证研究,结果表明：从长期来看,沪深300股指期货价格与指数现货价格之间存在稳定的协整均衡关系,且期货市场对长期均衡偏离的调整力度更迅速;从短期来看,股指期货市场和指数现货市场的价格之间存在正向的相互引导关系,股指期货市场对于一个标准差冲击的反应相较于指数现货市场更为强烈;从价格发现的方面来看,沪深300指数期货市场与指数现货市场之间存在双向价格发现的关系,但现货市场对期货市场的引导作用较高.     

虹桥交通枢纽公共信息平台研究与设计

虹桥交通枢纽集多种交通方式及换乘广场于一身,各交通方式应用系统所用技术标准、接口方式和数据格式不统一。根据虹桥交通枢纽信息化管理需求,本文给出基于SOA的公用信息集成系统平台体系框架,并且通过建立多种多源数据融合模型动态路由对多源信息进行整合,实现各交通方式的信息整合。     

CAI素材库逻辑结构及其操作模式

在构造实用CAI素材库的实践基础上,通过研究CAI软件制作中存在的问题,提出了素村库的逻辑结构、各类素材的数据模型、语义关联机制以及素材库的存储与管理模式,能够有效支持素材检索操作,为建立实用的多媒体素材库系统MMDS建立了理论框架。     

堤坝砂土地基液化的数值模拟

基于足立－岗循环弹塑性模型和固液两相介质耦合的有效应力反应分析方法,数值模拟分析了模型试验中的堤坝及其砂土地基,揭示了幅值为0.1g和0.2g正弦波动荷载下提坝的动力反应过程,并与振动模型试验的结果进行了比较分析。结果表明,该反应分析方法能够合理求得土体中孔隙水压力,有效应力,加速度变化过程以及堤坝的沉降变形。     

基于SEM的高速公路标准化管理研究

为了辩证、动态、全面、发展地实现高速公路标准化管理,从影响高速公路标准化管理的因素中识别关键路径,找到各影响因素及评价结果之间的因果关系和相关性;构建了高速公路标准化管理的成熟度模型,并以河南省高速公路为例进行实证研究;结果表明河南省高速公路工程建设标准化管理水平正向影响运营标准化管理水平,企业文化、培训体系和组织结构三者相辅相成、相互影响,标准化管理的认知程度、标准化管理的实际推动力、标准化培训的接受程度与工程建设、标准化管理的认知程度与运营管理、标准化管理的实际推动力、标准化专业人员的配备程度与工程建设、运营管理之间存在共变关系。