孪生素数猜想成立的一个充分条件

分析相邻奇数乘积的数列,找到了识别孪生素数乘积的一个方法.将相邻奇数乘积数列构造成同余式方程组,若该同余式方程组在有限模域下无解,则其所对应的相邻奇数乘积数列存在大于模域上限的孪生素数乘积.如果能够证明这一类同余式方程组在正整数域内恒无解,则孪生素数猜想成立,即正整数域中存在无穷多对孪生素数.     

社区生活垃圾分类回收系统交互设计研究

从交互设计理论出发,针对城市社区生活垃圾分类问题,以垃圾分类回收交互系统及其要素为研究对象,构建垃圾分类回收人机交互系统模型。理清垃圾分类系统中各要素对居民垃圾分类行为的影响路径,通过调研发现和剖析系统及各要素变量的关系与问题,据此提出相应设计策略：即系统终端人性化和标准化、系列化、差异化设计策略;信息即时反馈和多通道传达策略;环境匹配策略。     

2013 年昆明地区实验用小鼠及豚鼠寄生虫及病毒感染情况调查

摘要: 目的 分别调查昆明市三家单位提供的共 90 只实验用 ICR 小鼠和 45 只实验用豚鼠的体内、外寄生虫感染 情况,以及小鼠及豚鼠仙台病毒(SeV)、小鼠肝炎病毒(MHV)、豚鼠淋巴细胞脉络丛脑膜炎(LCMV) 的感染情况, 为实验动物质量管理提供一定的参考依据。方法 根据现行国家标准所描述的方法及病毒检测试剂盒说明书的 说明,对昆明市三家单位随机提供的共 90 只 ICR 小鼠和 45 只豚鼠样本,分别进行体内、外寄生虫、小鼠 MHV 及小 鼠 SeV、豚鼠 LCMV 及豚鼠 SeV 的检测。结果 昆明地区实验用小鼠及实验用豚鼠均检出体内、外寄生虫;3 只小 鼠检测出体外寄生虫,检出率为 3. 3% ;20 只小鼠检测出体内寄生虫卵,检出率为 22. 2% ; 4 只豚鼠检测出体外寄 生虫,检出率为 8. 9% ;9 只豚鼠检测出体内寄生虫卵,检出率为 20. 0% ;小鼠 MHV 及 SeV 血清学检测无阳性; 豚 鼠 LCMV、SeV 血清学检测无阳性。结论 实验动物质量监测是实验动物质量控制的有效手段,对医学及生命科学 的研究至关重要,昆明地区实验动物的寄生虫质量控制有待加强。     

半参数横截面空间滞后模型的工具变量估计及应用

研究了一种半参数横截面空间滞后模型的工具变量估计方法,证明了模型估计的大样本性质,参数分量估计渐近正态分布且收敛速度为n,非参数分量估计在内点处渐近正态分布,其收敛速度是最优收敛速度.利用该模型进行环境规制和R&D投资溢出对中国区域技术进步影响的实证研究.结果表明:1)当前各地区R&D投资和技术创新存在很强的空间溢出效应,R&D投资及其空间溢出对我国区域技术创新能力具有较明显的提升作用; 2)不同的环境规制对各区域技术创新所产生的影响程度有差异,较低的环境规制程度对技术创新有明显抑制作用,较高的环境规制对技术创新却有显著促进作用,特别在中部环境污染较严重地区作用尤为明显.而对于大部分存在温和环境规制的地区(福建、广东等),环境规制对技术创新的影响较低,需进一步提高环境规制力度.     

基于水动力学理论的微观流动单元渗流数学模型

 为了研究非均质油藏内部渗流规律,反映不同开发阶段地层中流体流动规律及分布特征,揭示流场变化与储层特征间的内在联系。本文基于水动力学原理及流线簇方程,提出储层中波及范围内具有相似流动规律及储层特征的渗流区域为微观流动单元,建立流量贡献率、流动单元流量非均匀分布曲线和流量强度差异系数渗流数学模型,通过流动单元的区域流量对总产量贡献的大小进行划分,建立流动单元高速流动区与低速流动区的划分准则。通过对五点井网一个注采单元的模拟,结合流线簇方程进行表征,结果表明,高速流动区能量充足,其占整个流动单元面积的53.7%,提供了总流量的61.7%,为流量的主要贡献区域;低速流动区域占整个流动单元总面积的46.3%,只提供了总流量的38.3%。     

基于前景理论的编队作战决心方案优选研究

针对信息化条件下编队指挥所的作战指挥决策问题,对编队作战指挥决策行为进行了分析,旨在为贴近实战解决不确定条件下的编队作战指挥决策问题探索新的途径。在此基础上,运用前景理论,研究了定下作战决心的风险决策问题。首先,给出了编队指挥所的作战指挥决策流程,基于此用数学形式描述了编队作战决心方案优选问题;然后,依据前景理论的决策框架,对所描述的问题进行求解方法研究,从而提出了基于前景理论的编队作战决心方案优选方法;最后,通过案例分析说明了所提方法的有效性。     

基于相似性编组的航标自动提取算法

针对高分辨率光学遥感影像,利用航标间具有很强相似性的特点,提出了航标相似性编组的自动提取算法。首先采用单类支持向量机对遥感影像进行水陆分割,确定出水陆的边界线,再对水域内空洞目标进行轮廓检测,将检测出的小目标作为候选目标。利用航标的几何及灰度特征对候选目标进行初步筛选,获得疑似航标目标。最后计算疑似航标目标间的相关系数并以此为依据进行相关性编组,得到不含虚警的航标组。采用QuickBird 0.6m分辨率的融合影像进行实验,结果表明该方法可以提取出区域内80%以上的航标,具有很强的可行性。     

压缩感知雷达超分辨率成像

研究压缩感知理论在逆合成孔径雷达(inverse synthetic aperture radar, ISAR) 成像中的应用. 雷达发射方位稀疏的探测脉冲,对满足Nyquist 采样定理的雷达去斜回波数据进行稀疏采样,再利用压缩感知重构算法分别重构距离向和方位向的完整的目标特性回波信号. 为了得到高分辨的雷达ISAR 像,对重构的数据在距离向
和方位向分别进行超分辨率处理. 实际雷达数据和仿真数据表明ISAR 像的分辨率有较大提高,所给出的综合方法可以降低数据量,节省雷达的时间资源,具有良好的应用价值.     

ISAR目标多普勒偏置效应分析与补偿

采用相位梯度自聚焦算法对非合作目标进行高分辨逆合成孔径雷达聚焦成像的处理过程中,回波多普勒偏置效应将严重影响后续转动补偿的效果,妨碍成像聚焦质量的提升。从相位梯度自聚焦算法的原理出发,阐释了多普勒偏置效应产生的原因。进而,分析了多普勒偏置效应对散射中心距离徙动补偿的影响。最后,提出了一种基于图像质量评价的多普勒偏置效应估计与补偿算法,并通过数值仿真分析和实测数据处理实验验证了本文分析结果的正确性。     

基于频域Katz分形维数的快速盲频谱感知

针对目前频谱感知方法对噪声不确定性敏感、低信噪比下准确度较差和运算速度慢的问题,提出了基于频域Katz分形维数的快速盲频谱感知方法。该方法根据信号和噪声的频域Katz分形维数特征的不同来感知主用户的存在。Monte Carlo仿真结果表明,该方法具有对噪声功率不敏感、受调制参数影响小、低信噪比下准确度高和运算速度快的优点,并能有效克服盒维数方法对某些调制参数的信号无法感知的缺点,可用于低信噪比、噪声具有不确定性情况下的快速盲频谱感知。