无原子可测集的一个注记

针对测度在无原子可测集上的取值问题,提出两个新命题进行讨论。利用下定向的随机变量集合的下确界性质,通过对可测集的剖分,结合可测集与测度的性质,凭借反证法证明了测度为正数a的无原子可测集中必存在某个可测子集,使其测度落在区间[a/3,2a/3]内;在此基础上用数学归纳法证明了无原子可测集中必有一个单调不增的子集列,使得对无论多小的正实数区间,子集列中总存在某个集,其测度落在区间内;证明了测度不小于某正实数λ的无原子可测集中必存在某可测子集,使其测度落在区间[λ/3,2λ/3]内;进一步给出经典定理的新证明:若0ba,则测度为a的无原子可测集中必存在某可测子集,使其测度恰好为b;最后简要分析了文献中对定理的不同证明。     

B2分子势能函数对比研究

利用密度泛函数理论B3LYP方法,分别选用D95*、321+G、6-31G*、6-31+G*、6-311*、6-311+G*、cc-PVDZ、cc-PVTZ基组对B2基态分子进行结构优化,最后选用最佳基组B3LYP/cc-PVTZ的优化结果,分别对Morse函数、Rydberg函数、赝高斯函数、MurrellSorbie函数、Lennard Jones函数、HulbretHirschfelder函数进行研究,导出B2分子的力常数（f2,f3,f4 ）和光谱常数（ωe,Be,αe,ωeχe ）.结果表     

L0正则化增量正交投影非负矩阵分解的目标跟踪算法

针对传统跟踪算法不能在复杂场景下进行有效跟踪的问题,提出一种基于L0正则化增量正交投影非负矩阵分解(incremental orthogonal projective non negative matrix factorization,IOPNMF)的目标跟踪算法。在粒子滤波框架下采用IOPNMF算法在线获得跟踪目标基于部分的表示以构建模板矩阵,然后将每帧中的候选样本建立基于模板矩阵的线性表示,对表示系数进行L0正则化约束,并提出快速数值解法,同时引入粒子筛选机制,加快跟踪速度。实验结果表明,新算法能够解决跟踪过程中出现的遮挡、光照变化、运动模糊等影响跟踪性能的因素,具有较高的平均覆盖率和较低的平均中心点误差。     

基于平方根CKF的多传感器序贯式融合跟踪算法

为了提高非线性序贯式融合跟踪算法的精度,提出了基于平方根容积卡尔曼滤波器的多传感器序贯式融合跟踪算法。该算法使用三阶容积数值积分原则计算非线性过程的均值和方差,克服了扩展卡尔曼滤波器存在的滤波精度低及平方根无迹卡尔曼滤波器存在的参数复杂的缺点。同时,在滤波递归过程中以协方差平方根矩阵代替协方差矩阵,这样确保了滤波算法的数值稳定性,提高了跟踪的精度。最后用已知弹道系数的再入段弹道跟踪模型对所提算法的性能进行仿真测试。仿真结果表明,所提算法具有很好的跟踪性能,是一种有效的非线性序贯式融合跟踪算法。     

重庆水资源安全情景模拟及预测研究

针对重庆水资源的安全利用,建立重庆水资源安全系统动力学模型,设计5种不同情景,预测了2006—2030年重庆水资源安全在不同方案下发展状态;结果表明:保持现行发展模式不变,不加以任何改进,不利于重庆水资源的安全利用;仅通过节能减排或者降低工农业用水与中水回用都不能使水资源安全利用得到有效改善;只有加强环保力度,在治污减排的同时,改进工业工艺与产业结构,推进农业现代化,加强点源污染控制,才能有效提高重庆水资源安全,促进地区经济、社会和环境的协调发展。     

引入多速率模型的变结构机动目标跟踪

变结构多模型方法(VSMM)能够根据目标机动的实际情况实时确定结构不断变化的模型集合,取代传统IMM方法中的固定模型集.使参与状态估计的模型分布更集中,模型数量相对较少,从而提高算法的跟踪精度.多速率模型(Multirate)能够对原始测量数据进行多分辨分解,有效的抑制量测噪声,从而提高原始数据的信噪比.文章将多速率模型引入变结构多模型方法,提出一种新的机动目标跟踪算法多速率变结构多模型方法(MRVSMM),该方法分别从改善原始数据与改善模型集合两方面对传统IMM方法进行了突破.同时,采用多个多速率模型,并将多个模型的滤波结果相互交织实现对机动目标的全速率跟踪.仿真实验证明,该算法较传统的IMM方法跟踪精度得到了一定程度的提高.     

火麻仁油超临界CO2梯度萃取与分析

以脱壳火麻仁为原料,采用超临界CO2梯度萃取火麻仁油,采用标准方法分别分析火麻仁油的脂肪酸组成及生育酚组成.结果表明:采用三段式超临界CO2梯度萃取,不同萃取阶段得到的火麻仁油脂肪酸组成存在一定差异,随着萃取压力及温度的升高,超临界CO2萃取出部分微量脂肪酸,包括:C20:3n6、C22:0及C24:0.火麻仁油中生育酚以(β+γ)-生育酚为主,采用三段式超临界CO2梯度萃取火麻仁油,生育酚主要在前两个阶段被萃取出来.     

基于球体模型的图像拼接算法

本文提出了一种基于球体模型的全自动图像拼接算法.本文首先采用SIFT算法提取图像特征点,然后采根据基于置信度的匹配算法对特征点进行匹配,最后采用相机球体拍摄模型来实现图像的自动拼接.通过对不同场景的序列图像进行拼接实验,结果表明本文算法有效的提高了图像拼接的效率和准确性,能够大大提升图像拼接的自动化水平.     

基于证据特征的区间证据合成方法研究

基于区间值的证据合成理论可以有效地描述和处理不确定性问题,针对目前区间证据合成方法存在融合失效的问题,分析了其产生的原因并提出新的区间证据组合方法。对证据源本身的特征进行提取,依此对证据进行修改,并提出两种优化方法用于区间信度结构下的证据合成。数值实验结果表明,提出的方法收敛性、鲁棒性较好,在面对冲突区间证据融合时得到了合理的结果。     

2-［(1’S,2''R)(2''-羟基-1’,2’二苯基乙基)氨基］-3,4-二酮环丁烯硫醇钠的表征与应用 

针对2\[(1’S,2’R)(2’羟基1’,2’二苯基乙基)氨基\]3,4二酮环丁烯硫醇钠的结构，通过元素分析，红外光谱及核磁共振进行了表征，并考察了它与常见金属离子的作用。实验表明，该化合物是一个优良的手性配体。