河口海岸模型验证方法及其性能比较研究

模型验证是河口海岸模型建立和应用的关键步骤,传统的方法包括主观评价、可视化技术、误差估计及统计检验等量化方法,但各种验证方法的性能优劣尚无明确的结论。为探讨各种方法的性能,本文对常用的几种量化方法的性能进行比较,并提出了一种基于统计检验的定量的模型验证方法。研究表明:即使在模型数据的误差明显时,Skill、相关系数和决定系数也可能保持较大的值,因此使用这些量化指标进行模型验证需谨慎。相对于绝对误差、均方根误差、Skill等常用量化指标,统计检验法既能有效地量化模型模拟的误差,亦能有效减小模拟结果中的异常值对整体模拟效果的影响。由于误差分布的原因,统计检验方法不适用于往复流的流向验证。     

裂隙基岩渗透张量反分析及等效连续介质模型

对裂隙介质渗流理论在实际工程中的应用作了尝试和研究。由大坝原型观测资料对坝基的渗透性作了反分析，得到了基岩的裂隙张开度及渗透张量，并对裂隙介质与连续介质的等效条件作了探讨。离散模型和等效连续介模型的计算结果与实测资料较为吻合，验证了所得的渗透张量是合。计算所采用的理论和方法对类工程具有参考和推广价值。     

基于假设检验的SAR图像机场跑道自动识别

针对复杂条件下合成孔径雷达图像中机场目标自动检测识别问题,提出了一种基于假设检验的机场跑道自动识别算法,利用雷达图像中跑道灰度特性和结构知识,通过迭代分割和形态学滤波提取感兴趣区域,抑制具有类似灰度特性的水域对跑道线检测的影响,并结合Hough变换和线段跟踪连接提取候选跑道,最后采用假设检验方法对机场跑道进行识别.试验结果表明该方法可快速有效地检测识别复杂背景下低分辨率、低信噪比合成孔径雷达(SAR)图像中的机场跑道.     

论任务诱发的投入量对中国非英语专业大学生词汇附带习得的影响

本研究用两项实验、两个测试来考察任务诱发的投入量对中国非英语专业大学生词汇附带习得的影响。结果表明：本研究对＂投入量假设＂的验证在一定程度上支持了Laufer等人的论证＂词汇在投入量高的任务中比低的任务习得更好＂。但通过实验二我们得出的结论是,相同＂投入量＂的输出型任务比输入型任务更有利于词汇习得。     

基于多结构快速生成算法的建筑物平面提取

针对RANSAC算法在多结构数据集中提取平面点时存在的不足,提出了基于多结构快速生成算法的点云平面提取的新算法.该算法在随机产生一组平面模型之后,通过每个点相对于模型的残差排序信息,计算条件内点概率分布,然后利用得到的内点先验分布概率指导模型采样.实验结果表明,该算法能准确地检测出点云数据中的平面,相比RANSAC算法具有更好的采样效率.     

一种考虑位移和应力约束的结构拓扑优化方法

为了研究位移和应力约束以及重量最小的结构拓扑优化问题,基于ICM（独立、连续、映射）方法和渐进结构优化方法的思路,提出了一种考虑位移和应力约束的结构拓扑优化方法．在优化迭代循环的每一轮子循环迭代求解开始时,为了控制拓扑设计变量的变化量,依据结构位移、应力量和其约束限,形成和引进了新的位移和应力约束限．研究了位移线性近似式和应力约束转换表达式,建立了单元删除阚值和几轮迭代循环的单元删除策略．为了确保优化迭代中结构非奇异和方法具有增添单元的功能,在结构孔洞和边界周围引入了一层人工材料单元,并建立了一套有效结构信息到结构最大设计域信息的映射转换方法．结合拉格朗日乘子法,改进了子循环迭代中连续拓扑变量的求解方法,形成了一种新的连续体结构的拓扑优化方法．给出的算例验证了该方法的正确性和有效性．     

反事实假设复句的逻辑分析

反事实假设复句是对客观事实的反面的假设，由假设而生的结果根本不可能实现。对反事实假设复句的逻辑分析就是要揭示出它所蕴涵的逻辑思维形式，即差异推理（求异法）、反证法和比喻推理。据此，反事实假设复句可以揭示事物间的因果联系、论证某个命题和表明说话者的主观态度和情感。     

一种新的多机动目标跟踪的GMPHD滤波算法

针对多机动目标跟踪的传统数据关联算法约束条件苛刻、估计精度低、计算量大等问题,提出了一种基于随机集理论的非数据关联的多机动目标跟踪算法.该算法将高斯混合概率假设密度(GMPHD)滤波与"当前"统计模型的优点相结合,绕过了棘手的数据关联问题,能高效处理目标数较大的机动跟踪问题.在漏检、虚警、多机动目标交叉杂波复杂环境下进行了仿真实验,结果表明,该算法具有较高的跟踪精度和稳健的跟踪性能.     

C4旋转对称光子晶体平板中的对称保护连续谱束缚态

在光子晶体平板中,连续谱束缚态关于C2和C6旋转对称的依赖性已经在数值上进行了广泛研究,但是缺少严格的理论分析过程,此外还缺少对C4旋转对称的研究,鉴于此,构建了系统分析连续谱束缚态关于所有旋转对称的依赖性的理论,并且重点研究了C4旋转对称的情况;首先,通过分析具有旋转对称的结构中麦克斯韦方程组特征解的性质,将连续谱束缚态的存在性问题转变为旋转矩阵的特征值是否与一个简单代数方程的解相同的问题;其次,给出了C4旋转对称的结构中连续谱束缚态存在时所对应的条件;然后,证明了破坏C4旋转对称保持C2旋转对称时,连续谱束缚态依然存在;最后,利用有限元软件FreeFEM进行了大量的数值验证;上述理论可适用于所有旋转对称的情况,深入揭示了旋转对称对连续谱束缚态存在的重要性,深入揭示了高阶旋转对称性与低阶旋转对称性之间的依赖关系,为连续谱束缚态的实际应用提供了理论指导。     

基于稳定同位素的SPAC系统水分转化研究进展

大气-土壤-植被连续体(soil-plant-atmosphere continuum, SPAC)系统水分转化过程是生态水文学重要的研究内容。稳定同位素作为天然的示踪剂能有效示踪、整合和指示SPAC系统中的水分输入、输出以及转化过程。笔者在简述稳定同位素应用原理的基础上，以垂直方向上SPAC系统水分运移的视角，阐释基于稳定同位素技术的土壤-根系界面水分运移、植物传输水分中存在的分馏和植物冠层-大气界面水分交换的研究进展，探讨了SPAC系统水分转化研究中稳定同位素技术在分馏机制、时间分辨率与空间异质性方面的局限性。认为未来基于稳定同位素的SPAC水分转化研究还需着重在以下3个方面进行：(1)借助广泛应用于其他领域的便携式同位素分析仪对各种同位素水池同位素组成进行原位观测；(2)结合多种同位素分析水体同位素组成来分析土壤-根系界面水分运移过程，进一步确定树木水分来源，提高识别和划分的准确性，并以此完善稳定同位素应用模型；(3)利用同位素标记盆栽实验精准控制叶片吸水的水源，高分辨率地解析叶片吸水的发生位置以及时间；(4)结合控制性同位素标记实验并利用离心技术提取木质部导管中的汁液水，对比分...