基于Hamaker假设的黏着接触弹性模型

为研究微纳米系统中的黏着接触问题，基于Hamaker假设和Lennard-Jones的势能定律，通过积分方法得到了球体与平面间的黏着力，同时结合经典弹性理论建立了一种新型的球体与平面黏着接触的弹性模型．该模型可以同时得到平面轮廓随间距的变形过程及黏着力和平面变形量随间距的变化规律，当球体半径较大时，所建模型与基于Derjaguin近似的黏着模型给出的结果基本一致，随着球体半径的逐渐减小，2种模型的差异逐渐增大，这是由于Derjaguin近似的误差随球体半径的减小而增大引起的．因此，当球体的半径趋近纳米级时，基于Hamaker假设的黏着接触模型消除了Derjaguin近似所带来的误差，可以更加准确地给出黏着力和平面变形量随间距的变化规律．     

语言输出假设理论与大学英语听力教学

听力教学在大学英语教学中具有十分重要的地位,但也面临很多问题,例如:听力课时不足,教师对听力教学方法缺乏研究。语言学家Swain的提出了语言输出假设理论,指出了"可理解性输出"在大学英语听力教学中的作用。这一理论有助于改革传统的听力,并提出了两种适合大学英语听力教学特点的语言输出形式:口头语言输出和书面语言输出,为改进大学英语听力教学方法,提高课堂教学质量提供理论依据。     

输出假设的心理语言学原理及其在二语习得中的应用

输出假设理论认为，产出使学习者从理解中的“语义处理”转换到二语开发不可或缺的“句法处理”。深入分析输出假设的心理语言机制，对二语习得具有指导作用。     

儿童与成人习得第二语言的差异分析

本文从影响第二语言习得的生理因素,心理因素,认知因素和情感因素出发,对比分析了儿童与成年人习得第二语言的差异,进而指出儿童与成年人学习第二语言各有其优势和劣势,二语习得并非越早越好。     

求解Lyapunov方程的特征值方法

应用了一种求解Lyapunov方程的新方法,称之为特征值方法。首先从大型矩阵的krylov子空间法降阶开始,再假设矩阵A是可以被对角化,就可以用A的特征值分解式来代替A和A^T,由此变换后Lyqpunov方程就容易的求解了。最后利用简单的线性变换求得原来方程的解。     

Retinex理论在航空影像增强中的应用

在航空影像的成像过程中,由于大气衰减、云层、烟雾、向阳、背阳等影响,使获取的影像质量下降,出现对比度降低、亮度不均、色彩失真等问题。针对这些问题,提出结合人眼颜色恒常性的典型计算理论Retinex理论,来模拟人眼视觉的感知模型,通过一个像素和其周围像素的明亮度比较运算,获得对象表面的反射率影像,并基于"灰度世界"假设,对图像进行了后处理。给出了Retinex算法在航空影像增强中的具体实现流程,并进行了计算机仿真实验。结合方差、平均梯度、清晰度等参数,验证了算法在图像对比度、细节增强和色彩保真等方面的效果。     

NP问题的3轮零知识证明系统的存在性

研究NP问题的3轮零知识证明的存在性.O.Goldreich与H.Krawczyk在1996年证明BBP以外的语言不存在（欺骗概率可忽略的）3轮黑箱模拟零知识协议,但是否存在3轮非黑箱模拟零知识证明仍然是一个尚未解决的问题.采用一种新的交互证明模式,在标准的DDH假设下,对图的3着色问题构造了一个3轮零知识证明.由于对零知识性的证明采用了一种特殊的方法,文中的协议实际上是非黑箱模拟意义下的零知识证明,从而证明了在DDH假设下,所有的NP语言都有3轮零知识证明系统.     

基于PHD滤波和数据关联的多目标跟踪

针对杂波环境下的多目标跟踪,概率假设密度（probability hypothesis density, PHD）滤波不能提供目标航迹信息的问题,提出一种基于PHD滤波和数据关联的多目标跟踪方法。利用PHD滤波消除杂波并得到各个时刻的目标个数和目标状态估计。将PHD滤波的结果重新定义为量测数据,通过数据关联进一步消除虚警和漏警并给出目标航迹。仿真结果表明,该算法可以在有效地提高杂波环境下多目标跟踪精度的同时提供各目标航迹信息。     

基于运动对齐预测模型的分布式视频压缩感知重构

为了提高分布式视频压缩感知（Distributed Video Compressive Sensing,DVCS）的率失真性能,文中提出根据视频非关键帧图像的时间相关性将帧内各块分为静止块与运动块两类,并对它们设定不同的测量率以提高压缩感知（Compressive Sensing,CS）捕获信息的效率.在重构过程中,提出运动对齐多假设预测模型进行重构,该预测模型在测量域内实现运动估计,并根据运动信息在参考帧内寻找到待重构块的若干候选匹配块,利用它们的线性加权和残差重构得到非关键帧图像的重构结果.仿真实验结果表明,文中所提出的DVCS重构算法能有效提升系统的率失真性能,与现有方法相比,在重构时间基本不变的情况下,获得更好的主客观视频重构质量.     

几类适宜用反证法证明的命题

否定命题判断的相反判断 ,从而肯定原来判断的正确性 ,这种证明法称为反证法。使用反证法的步骤可归纳为 :一、假设命题的结论不成立 ,即命题结论的否定方面成立 (每个否定方面均应考虑到 ) ;二、以命题的否定方面作为条件进行推理 ,得出和已知条件、公理、定义和定理等相矛盾或自相矛盾的结论 ;三、确认命题的所有否定方面不能成立 ,从而肯定命题的结论成立。哪些命题适宜用反证法证明 ,要一般地回答这个问题是不容易的 ,也不是绝对的 ,在此 ,提出如下几类适宜用反证法证明的命题 ,仅供参考。(一 )当命题含有涉及到各种“无限”形式的结论…