圆模式的Andreev-Thurston定理的能量函数方法证明*

对于一个给定边界标号的加权三角剖分 $(T,\Theta)\ (\Theta\in[0,\frac{\pi}{2}])$, 通过构造$(T,\Theta)$的内部顶点上的能量函数, 推出对应于内部顶点的标号向量是由它的锥向量唯一决定的. 导出一个向量是锥向量当且仅当它 满足锥向量不等式. 通过证明所要求的圆模式决定的相关$(T,\Theta)$所有内部顶点的角总和向量满足锥向量不等式, 得到在复平面上实现该加权三角剖分$(T,\Theta)$的平面 单叶圆模式和有分枝圆模式的存在性和唯一性. 这为圆模式的 存在唯一性定理提供了一种新的证明方法.     

基函数应用于插值多元样条

本文借助于代数几何技巧构造了具有三次代数精度的基函数。这些基函数计算起来要比E.L.Wachspress定义的楔函数简便且可用于确定多边形域D在三角剖分Δ下空间S′3(Δ,D)中插值多元样条U(x,y)存在的充分必要条件。     

基于DAF算法的地图寻径研究

本文融合Delaunay Triangulation算法,A*算法以及Funnel算法的优点,提出了DAF算法,并将其应用于网络游戏的地图寻径中,解决了地图信息获取不便捷和搜索路径比较弯折的问题,得出一条最优路径。计算机仿真结果表明DAF算法提高了搜索效率和路径的平滑程度。     

基于光强自适应控制的激光位移传感器

在一体化激光位移传感器系统中,激光发射部分是保持整个系统稳定性和精度的基础。为解决激光投射光斑在CCD上所采集到的数据不理想问题：投影光斑能量不集中,光斑宽度过大且有多峰,噪声不可忽略等等通过发射模块改进和光强自适应算法两种方式来改善,最终得到接近理想状态的激光光斑。最后实验验证：自适应控制算法能够提高系统的精度达一倍以上。     

模糊层次分析技术（FAHP）在3D锡膏检测中的应用

随着当今先进工艺趋向于使用更小的元件，人们认识到仅仅计算体积已不足以确保工艺质量，锡膏检测仪（SPI），特别是3DSPI在测试策略中扮演起越来越重要的角色。3D锡膏检测仪中经常遇到的激光阴影效应，传统的SPI技术，激光三角法和莫尔（Moiré）技术也都存在或多或少的阴影效应问题。本文首先介绍和分析了激光三角法以及莫尔（Moiré）技术在锡膏检测技术中的应用，它们遇到的主要问题。然后，结合传统方法的优点，提出一种新的方法：模糊层次分析技术（FAHP），从软件硬件两个角度更好的解决3D锡膏检测仪遇到的阴影效应问题，保证更准确地测量结果和更直观的用户界面，使人们可以从工艺的角度出发来管理生产线的质量并具备整合系统的能力。     

“Exploratory experimentation” as a probe into the relation between historiography and philosophy of science

This essay utilizes the concept “exploratory experimentation” as a probe into the relation between historiography and philosophy of science. The essay traces the emergence of the historiographical concept “exploratory experimentation” in the late 1990s. The reconstruction of the early discussions about exploratory experimentation shows that the introduction of the concept had unintended consequences: Initially designed to debunk philosophical ideas about theory testing, the concept “exploratory experimentation” quickly exposed the poverty of our conceptual tools for the analysis of experimental practice. Looking back at a number of detailed analyses of experimental research, we can now appreciate that the concept of exploratory experimentation is too vague and too elusive to fill the desideratum whose existence it revealed.     

平面上散乱数据点的最优三角分划的一个定理证明

首先给出关于平面上散乱数据点的最优凸三角分划的定义。然后，讨论了最优凸三角分划的理论与实现。最后，介绍一个新的最优三角分划算法，并且证明由该算法所得到的三角分划的最优性。     

大规模地形TIN模型的LOD算法设计与实现

为了实现大规模场景的多分辨率显示，利用LOD细节分层思想提出了一种地形TIN模型。重点解决不同分辨率TIN模型间的连续过渡问题，以及分块TIN模型的创建问题，包括TIN构网时的数据结构设计和算法优化。     

Laplace方程特征值问题有限元解的外推方法

本文对二维光滑区域分块映射剖分上的线性元,导出了特征值误差的渐近展开式,从而得到高精度的外推方法.     

地下导线起始方位角误差对隧道贯通精度的影响

结合地下隧道工程贯通测量技术,针对平面贯通测量的联系三角形法,对隧道平面贯通定向精度的影响因素进行分析,并得出了有工程实际价值的结论。