关于强协调图的一点注记

介绍了由已知强协调图,构造更大强协调图的一个方法,并给出了一些图类的强协调标号。     

前向预测与回溯结合的正交匹配追踪算法

在基于压缩感知的正交匹配追踪算法中,候选集原子的选取对最终的重建性能至关重要.文中结合前向预测和回溯两种策略更新候选原子集,提出了一种基于预测与回溯的正交匹配追踪(LABOMP)算法.该算法通过设定阈值将所有迭代划分为前后期,在迭代前期,通过预测原子在未来迭代中的性能选择最佳原子;在迭代后期,加入回溯策略,每两次迭代淘汰一个前面错误选择的原子.实验结果表明:LABOMP算法是实用有效的,由于加入回溯策略修正了预测算法LAOMP的不足,使迭代后期高斯稀疏信号与二值稀疏信号的精确重建概率较LAOMP算法分别平均提高了12.5％、18.2％.     

小说《海浪》中生死意义的探讨

弗吉尼亚·伍尔夫是英国20世纪小说创新的代表。死亡是伍尔夫作品中主题之一。然而伍尔夫作品的价值还在于她并未局限于死亡意识,作品中的人物用自己的人生选择超越了死亡意识。本文通过小说《海浪》人物分析,揭示了生命的短暂与永恒之间的矛盾。伍尔夫在创作中努力探索生命的真正意义,在作品中对生命意义的理解进行了完美的阐释。     

基于符号模型检测的SDG模型可诊断性验证

由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph, SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器（symbolic model verifier, SMV）模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。     

新三维混沌映射及其在数字图像信息加密中的应用

引入新的三维混沌映射,结合有限域运算处理,构建一种数字图像加密方法.首先,Lu映射将原始图像信息映射为2个混沌矩阵;其次,将原始图像矩阵和生成的2个混沌矩阵,在有限域上执行4个轮次的运算处理.实验结果表明:提出的加密方法可以获得均匀细腻的置乱效果,在直方图评价、三向相关性评价等方面都表现出良好的加密性能,整个算法的加密速度也比较快.     

Belfort Model 6000能见度仪工作原理与使用方法

介绍了美国Belfort仪器公司生产的Model 6000能见度仪的工作原理、仪器的安装,操作和维护,分析了能见度仪易出现的故障及原因,说明了如何维护和校准能见度仪,为仪器的运行维护保障提供参考.     

寻找外行星地球

<正>1996年1月的美国天文学会冬季会议,令当时在场的每一个人都不会忘记,美国旧金山州立大学的天文学家杰弗里·W·马西在发布会上宣布,他和搭档、当时任职于美国加利福尼亚大学伯克利分校的R·保罗·巴特勒发现了围绕类太阳恒星转动的第二和第三颗行星。而在此前,瑞士日内瓦大学的米切尔·梅厄和迪迪埃·奎罗     

青藏高原-东亚平原-西北太平洋三级阶梯状海陆热力差异及其对东亚气候季节转换的影响

<正>东亚-太平洋地区上空存在三大热源,分别位于青藏高原、东亚平原及西北太平洋上空,因此构建形成了纬向三级阶梯状热力差异.根据EOF分析,该纬向三级阶梯状海陆热力差异解释了东亚-太平洋地区热力季节变化45%的方差贡献,远远高于经向海陆热力差异的贡献,对东亚-太平洋地区的气候产生了深远影响.青藏高原东南侧存在一个特殊的常年南风区,常年维持偏南风,与东亚典型的季风气候形成显著对比;     

生成元为左Lipschitz的倒向随机微分方程最大解的Levi型定理

证明了生成元为左Lipschitz的一维倒向随机微分方程最大解的Levi型定理。     

具有第四大和第五大谱半径的n阶2-树

G为n阶的2-树,首先应用边移接变形的方法得到关于图G谱半径的一个判定定理,又通过比较一些图的特征多项式,刻画出该图类的谱半径达到第四大和第五大的极图.