INS／GPS紧耦合系统中的模糊自应SRUKF算法

为解决惯性导航系统(INS)与全球定位系统(GPS)紧耦合中标准无迹卡尔曼滤波(UKF)由于计算舍入误差使协方差矩阵负定和实际应用中由于量测噪声时变而严重影响滤波精度的问题,提出了基于模糊控制理论的自适应平方根无迹卡尔曼滤波(NASRUKF)算法.该算法在滤波过程中不是直接计算协方差矩阵,而是计算协方差矩阵的平方根,从而可以保证协方差矩阵的非负定性;然后根据实时得到的量测信息的实际方差与理论方差的比值,通过设计的模糊控制系统(FCS)实时调整量测噪声矩阵.实验表明:该算法对时变的噪声具有很好的自适应性,相比于UKF算法具有更高的精度并使得系统具有更高的稳定性和鲁棒性.     

TRD工法水泥土墙现场取芯的三轴渗透试验

为提高TRD工法在国内的应用水平,通过对天津市某基坑项目TRD水泥土墙进行现场取芯,在实验室内进行三轴渗透试验,得出水泥土墙在不同水泥掺入比条件下的芯样渗透系数曲线、不同养护龄期条件下芯样的渗透特性关系和不同土层条件下的芯样渗透系数对比,并分析产生上述曲线关系的原因,得出满足基坑止水要求的水泥经济掺入比和合理的养护龄期,给出了不同龄期下TRD水泥土墙渗透系数与水泥掺入比的经验公式.结果表明,TRD工法优于传统的SM W工法.     

闽江下游径流量和北港分流比变化及其对水龄的影响研究

利用闽江下游多年水文资料,分析了干流流量时空变化和北港分流比变化趋势,并借助EFDC模型研究水口水库下泄流量和北港分流比对闽江下游水体水龄的影响。分析表明:闽江干流径流量年际变化不均匀,北港分流比则经历了由小变大再变小的趋势。模拟的闽江水龄结果可知水龄与下泄流量成反比关系,北港分流比减小将增加北港水体交换时间,同时减少南港水体交换时间;水龄可以定量地描述污染物在北港河道的停留时间,为保障北港水源地水质安全,需要增大枯水期上游水口水库下泄流量和增大北港分流比。     

库车拗陷东部侏罗系“连续型”致密砂岩气成藏条件分析

有利的成藏条件是"连续型"致密砂岩气大规模聚集成藏的重要基础,明确成藏条件对于致密砂岩气藏理论研究和勘探实践具有重要意义.文中讨论库车拗陷侏罗系阿合组"连续型"致密砂岩气藏形成所需要的烃源岩、致密砂岩储层、盖层条件及构造条件.结果表明:下伏三叠系烃源岩为致密砂岩气藏的形成提供充足的气源,广泛分布的致密砂岩储层控制致密砂岩气藏在时间和空间的分布范围,致密储层上覆煤系地层与下伏泥岩为致密砂岩气成藏提供保护作用;后期的强烈构造活动,一方面促进地层快速沉降,有利于烃源岩快速演化,另一方面对致密砂岩气藏具有调整改造的作用,构造裂缝改善储层的物性,同时形成天然气散失的通道.因此,有利的源岩、储层、源储配置关系、盖层及构造活动是库车拗陷东部侏罗系"连续型"致密砂岩气藏形成的有利条件.     

我国海域资源产权制度解析

海域资源产权最基本的权能为海域所有权和海域使用权。早期,我国海域资源产权制度是所有权和使用权不分,产权不清,导致早期海域使用出现＂无序、无度、无偿＂。随着人们对海洋价值认识的进一步深化,海洋开发不断增强,国家逐步开展海域行政许可和有偿使用制度,海域所有权和海域使用权实行分离机制,海域所有权和海域使用权的关系得以理顺,海域资源产权分离机制是我国海域管理工作的重大进步。在海域管理实践中,需要不断巩固和完善这种机制,以促进海域资源的保值和增值。     

移动设备上Web服务的性能改进

随着移动设备在处理能力方面的迅速发展,内存和存储能力与更高的数据传输率结合在一起,如3G和4G无线技术方面的进步,目前在移动设备上托管Web服务是可行的.在本文中,我们提出了在移动设备上托管Web服务的轻量级框架.并在该框架中进一步对托管RESTful Web服务和基于SOAP的Web服务进行研究和比较分析.实验结果表明,RESTful Web服务对于在有限资源的移动设备上提供Web服务是低资源消耗和高效的.     

电动汽车锂电池SOC估算研究

为了精确估算电动汽车锂电池的荷电状态(state of charge,SOC),本文通过对主流SOC估算方法进行分析与比较,提出了一种基于卡尔曼滤波算法的电动汽车能量管理系统(energy management system,EMS)SOC估算方法,同时采用联合模型以保证估算过程中有较好的精度,并在实验室条件下进行实测数据及MATLAB仿真分析。仿真结果表明,卡尔曼滤波算法对锂电池SOC进行在线实时估计是有效的,能够较为准确地计算出SOC值,且估算结果与实测值基本一致,该方法可以用于电动汽车锂电池SOC的估算,具有很强的实际应用价值。     

关于凸体覆盖的Hadwiger猜想

针对Hadwiger猜想这一凸和离散几何中持续了近60年的著名难题,回顾了这一猜想的提出,它的若干等价形式,以及前人在尝试解决这一猜想的过程中取得的阶段性进展.介绍了该猜想相关的若干研究问题及相应结果.结果表明:一方面,Hadwiger猜想仍是一个远未解决的公开难题;另一方面,围绕着Hadwiger猜想及其相关问题还有大量亟待完成的基础性研究工作。     

基于视觉显著图的图像融合方法

基于图像的不同视觉特征,构造各源图像的视觉显著图,提出一种基于视觉显著图的多尺度图像融合算法低频子带融合规则,构建了一种新的多尺度图像融合方法。结合àtrous小波和非下采样轮廓波变换(Non subsampled contourlet transform,NSCT),对多传感器图像和多聚焦图像的融合实验表明,应用本文方法所得的融合图像,无论是视觉效果还是客观评价得分均优于基于平均法或神经网络选择低频系数的融合方法。     

软件移植、二进制翻译和国产处理器发展

二进制翻译作为软件移植的一种重要形式,其具体实现与处理器体系结构密切关联,在处理器发展中扮演重要角色。国产通用处理器的发展是打破外国芯片制造商在该领域垄断的有效手段。二进制翻译技术与国产通用处理器相结合,可以加快改善国产通用处理器的生态环境,对推动国产处理器发展具有重要意义。