基于目标高斯分布的定位系统节点最优部署方法

针对三维空间定位系统中目标位置服从高斯先验分布假设条件下节点最优部署问题, 分析了纯方位目标定位算法中估计误差的费希尔信息矩阵, 推导出基于目标先验分布的克拉美罗界(Cramer-Rao bound, CRB)。为了解决目标位置在任意高斯分布时, 协方差矩阵为非对角阵的问题, 提出了基于三维坐标旋转的最大后验概率估计方法, 将协方差矩阵转化为对角阵以实现最小化CRB的迹, 从而得到定位系统中节点的最优部署。最后, 通过梯度下降算法对节点最优部署问题的理论推导进行仿真, 验证了该部署方法的有效性，同时仿真结果中不同节点部署方法的对比也表明了该方法可有效降低定位误差。     

疏松砂岩油藏大孔道定性识别新方法研究

疏松砂岩油藏在长期注水开发过程中,往往伴随着大孔道的出现,这严重影响了油藏水驱开发效果,制约了采出程度的进一步提高,因此,大孔道识别及有效封堵成为该类油藏急需解决的关键问题.通过研究分析,确定了影响大孔道从形成到发展的7种主要静态因素,以及标志大孔道形成的6种主要动态因素.将层次分析法及灰色关联法相结合,分别计算静态及动态因素的权重,建立了全新的大孔道定性识别模型.示踪剂监测结果验证了该方法的实用性和有效性.     

上海黄浦江两支流河流甲烷含量研究

甲烷是一种重要的温室气体,虽然目前大气中含量远小于二氧化碳,但排放增长率却大于后者.研究区域为上海市黄浦江支流苏州河和淀浦河,通过实验数据对比城郊春夏的甲烷排放的差异,探讨甲烷产生的机制及其与环境因子的关系,这将有助于研究河流甲烷排放对于环境变化的影响.研究结果认为河流甲烷主要来源于水中沉积物,其产生与水质、温度等因素相关;同时甲烷摩尔浓度与硝酸根离子质量体积比存在负相关性,与铵根离子质量体积比和有机碳质量分数存在正相关性.     

高静态动作压力下粉尘爆炸泄放标准的可靠性

粉尘爆炸泄放设计标准的可靠性对能否实现爆炸防护尤为关键.以中径70μm石松子粉尘为介质,采用20 L球形粉尘爆炸装置进行了4种泄放口径、静态动作压力在0.12~0.6 MPa的爆炸泄放实验,对比了实验值与NFPA 68和EN 14491计算值.结果表明,NFPA 68在预测高静态动作压力下的泄放面积时,随着泄放口径的增大,预测结果由保守变为危险,但预测结果精度较好且数值稳定;EN 14491在预测高静态动作压力下的泄放面积时非常保守,预测精度较差,数据不可靠.依据两种标准推荐的经验函数关系,分析了NFPA 68和EN 14491在预测高静态动作压力时产生这种差异的原因.     

基于网络最大流的城市雨水管网系统脆弱性评价

为了对城市雨水管网系统进行针对性的改建,在暴雨天提高事故抢修速度,需要对城市雨水管网系统进行脆弱性评价并找出脆弱管段.首先介绍了城市雨水管网系统排出雨水的干扰因素,提出了城市雨水管网系统脆弱性的概念,并逐一分析了影响城市雨水管网系统的因素,综合考虑各方面因素,建立了城市雨水管网系统的脆弱性评价模型.在此基础上,结合图论中网络最大流理论,寻找城市雨水管网系统中的脆弱管段.最后以西安某高校的雨水管网系统为例进行研究,测得了该高校雨水管网系统的脆弱度为0.877,证明该区域雨水管网脆弱性较低,不易形成内涝,并找出该高校雨水管网的脆弱管段.     

论科学解释的实用特征和生物学解释的语境相关性

科学解释具有实用特征(pragmatic aspect).这一特征与"科学解释的标准形式"相比,具有解释主体的相关性,即因解释主体的差异寻求多样化的解释形式.本文通过生物学解释的特征的分析,指出生物学解释具有因解释主体不同而形成的语境相关性,而这一特性决定了生物学解释与物理学解释的本质差异.     

煤矿生产中对地质资料的再认识

从测量、地质、钻探、煤矿三大害、煤质成果、地质资料评价等方面阐述了地质资料对煤矿生产的重要性，指出对地质资料的再认识，就是为了将地质资料去粗取精，确定其中能够为我所用的部分，以更好地为生产服务，并在矿区做下一步勘探工作时能够有的放矢，以最少的资金投入，达到最佳目的。     

离散边界条件系统的最优控制

研究离散边界条件系统的最优控制问题，给出了最优控制存在的必要条件，证明了此类系统最优控制仍有最大值原理成立。     

图像相关方法中采用多种子区进行位移测量

在图像相关位移测量方法中一般采用正方型子区搜索中心点的位移.当测量靠近裂纹或缺陷部位的位移时中心型子区失去效果,为了解决这一问题提出了非中心型子区的方法.证明了方法的有效性.认为在相关搜索时测量点既可选定在子区的中心位置,也可选定在非中心位置.进而提出了将测量点确定在子区角点的多种子区的方法.除通常的中心型子区外,至少还有4种子区可以采用,分别是右下角型、左下角型、右上角型和左上角型,这4种子区不但适用于表面裂纹或缺陷部位的位移测量,而且增加了图像有效信息的提取面积.     

也谈分段函数的初等性

主要讨论一类能表示成最大值函数、最小值函数的分段函数的初等性。证明了只要能表示成最大值函数或最小值函数的分段函数一定是初等函数。