关于完全交流形是射影空间的一个判定定理

设M是n维完全交复流形,E是M上的一个丰富线丛.证明了如果E的整体截面空间的维数为n+1,那么M同构于n维射影空间.     

含噪运动模糊图像恢复

提出一种新算法来估计含噪图像线性运动模糊的方向和长度。结合空间域及频域分析,使用Radon变换检测运动方向,双谱模型估计运动长度,最后利用Richardson-Lucy滤波恢复清晰图像。仿真实验结果表明,对于含噪图像该算法比以往算法更优胜。基本满足图像复原的稳定性、可靠性、精度高等要求。     

故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

加强高校财务资金管理的措施

高校财务资金管理存在着负债资金过大、安全存在隐患、资金管理分散、预算管理不力、监督控制欠位、商业贿赂频繁、内控不健全、科研经费管理失范、资金挤占严重等问题，需要通过建立各管理层的经济责任、实行校内会计委派制、健全资金管理内部控制制度、加强预算管理、积极筹措资金、加强信贷资金治理、加强对外投资的科学论证、建立资金业务的监督检查制度等措施加以解决.     

基于病例对照母子对数据的遗传关联分析中的经验贝叶斯方法（英文）

病例对照母子对数据常用于研究母亲和子代的遗传效应以及环境风险因子对产科和早期生命表型的影响。回溯似然方法可以充分利用已有的信息，如孟德尔遗传、母亲环境因子（协变量）在给定母亲基因型下与子代基因型的条件独立性，从而有效地提高统计推断。如对母亲基因型和环境变量之间不作任何关系假设，则相应估计量比较稳健。而假设母亲基因型和环境变量独立下的估计量可以显著提高统计推断效率，但是当独立性假设不成立时会有系统偏差。本文通过对上述基于回溯似然的两个估计量进行适当的加权，得到了两个经验贝叶斯（empirical Bayes,EB）估计量，这两个EB估计量可以直观地平衡统计效率和稳健性。我们对两个EB估计量建立渐近正态性，并利用该渐近正态性构建遗传效应和基因-环境交互效应的置信区间和显著性检验。模拟和实际数据分析说明了我们新方法的表现。     

论云南省独立学院图书馆构建特色数据库策略

随着计算机技术深入图书馆建设,数据库成为图书馆的重要组成部分。特色数据库作为现代图书馆信息服务发展的一个重要表现,是一种重要的新型信息资源。云南省独立学院图书馆构建特色数据库是适应社会发展,高校教育和科研需求的表现,是独立学院图书馆可持续发展的重要手段。通过统计分析,认为云南省独立学院图书馆构建特色数据库存在一些难点,需要进一步改进。