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

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

含噪运动模糊图像恢复

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

基于机器视觉的太阳能电池缺陷检测实验设计

随着煤、石油等不可再生资源的过度消耗,人类面临着越来越严重的能源紧缺危机和环境问题。太阳能作为绿色、无污染的可再生能源受到日益广泛的关注与应用。太阳能电池是太阳能发电的关键,其质量的好坏直接影响了能量转换效率、使用寿命和器件稳定性。为了帮助学生理解太阳能电池制备工艺、缺陷、性能三者之间的关系,寻找改善太阳能电池性能的方法,该文设计了基于机器视觉的太阳能电池缺陷检测实验系统,介绍了电致发光缺陷检测方法、检测系统的构成及各模块之间的作用和相互联系。以单晶硅太阳能电池为例,对太阳能电池片的各种缺陷问题进行了检测研究,探讨了检测过程中的问题。实践表明,设计的实验系统加深了学生对太阳能电池相关理论知识的理解;培养了学生发现问题、解决问题的实践能力。     

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

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

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

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

西秦岭中生代花岗岩锆石U-Pb-Lu-Hf同位素特征及地质意义

对西秦岭地区中川岩体、柏家庄岩体和教场坝花岗岩体进行LA-ICP-MS锆石U-Pb同位素年代学分析, 获得其岩浆侵位年龄分别为220±1, 216±6和222±3 Ma, 表明3个岩体均形成于中?晚三叠世。样品的全岩地球化学分析结果表明, 3个岩体具有相似的稀土及微量元素特征, 均表现为显著亏损高场强元素Nb, Ti和P等, 具有明显的右倾式球粒陨石标准化稀土元素配分模式。锆石Lu-Hf同位素分析结果表明, 3个岩体锆石测年样品的ε_Hf(t)值介于?3.31~+1.68之间, 二阶段模式年龄介于1151~1456 Ma之间。岩石成因分析表明, 这些印支期花岗岩体的母岩浆主要来源于新元古代地壳物质的部分熔融。结合岩体形成时代、岩石成因和区域岩浆作用, 认为这些岩体形成于南秦岭与华南板块沿勉略缝合带相碰撞的造山动力学背景, 可能与华南板块的俯冲板片断离有关。     

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

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