激光三角法测量技术在光刻机中的应用

介绍了激光三角法测量原理和分类,对不同类型进行了分析比较。介绍了CCD的激光三角法高度测量系统在光刻机中的应用及在高度测量时实时和映射两种工作模式。在应用中可以针对不同的测量对象表面的光学特征,使用对应的表格,提高其测量的适应性和测量效率。     

基于无衍射光的表面粗糙度三角测量及其灰色评定方法

 激光三角法是表面形貌非接触测量中的一种常用方法,在几何测量领域应用广泛。传统的激光三角法采用高斯光束作为指示光源,在机械扫描机构的配合下,通过对被测表面逐点扫描完成表面形貌的测量。采用新型的无衍射光替代传统激光光源,解决了普通高斯光束存在的“焦深”问题,简化了机械结构。并采用基于灰色系统理论的灰色滤波进行表面形貌的分离与评定,克服了原有方法对测量数据样本量和统计特性的依赖,并通过实验表明该系统能够准确地完成表面形貌的三维测量,所提出的灰色评定方法能够比较有效地进行表面形貌的分离与评定。     

二元三次样条空间S31,2(Δmn(2)) 的样条拟插值

本文首先利用由两组具有局部最小支集的样条所组成的基函数,构造非均匀2 型三角剖分上二元三次样条空间S₃^1,2(Δ_mn⁽²⁾)的若干样条拟插值算子. 这些变差缩减算子由样条函数B_ij¹支集上5 个网格点或中心和样条函数B_ij²支集上5 个网格点处函数值定义. 这些样条拟插值算子具有较好的逼近性,甚至算子V_mn（f） 能保持近最优的三次多项式性. 然后利用连续模,分析样条拟插值算子V_mn（f）一致逼近于充分光滑的实函数. 最后推导误差估计.     

依赖型值的非奇异自适应三角剖分方法

1 引言 众所周知,三角剖分是在许多科学计算如曲面设计与拟合、有限元计算以及其他大型科学计算等领域中不可回避的问题.     

A vertex incremental approach for maintaining chordality

For a chordal graph G=(V,E), we study the problem of whether a new vertex u∉V and a given set of edges between u and vertices in V can be added to G so that the resulting graph remains chordal. We show how to resolve this efficiently, and at the same time, if the answer is no, specify a maximal subset of the proposed edges that can be added along with u, or conversely, a minimal set of extra edges that can be added in addition to the given set, so that the resulting graph is chordal. In order to do this, we give a new characterization of chordal graphs and, for each potential new edge uv, a characterization of the set of edges incident to u that also must be added to G along with uv. We propose a data structure that can compute and add each such set in O(n) time. Based on these results, we present an algorithm that computes both a minimal triangulation and a maximal chordal subgraph of an arbitrary input graph in O(nm) time, using a totally new vertex incremental approach. In contrast to previous algorithms, our process is on-line in that each new vertex is added without reconsidering any choice made at previous steps, and without requiring any knowledge of the vertices that might be added subsequently.     

Generating even triangulations of the projective plane

We shall determine the 20 families of irreducible even triangulations of the projective plane. Every even triangulation of the projective plane can be obtained from one of them by a sequence of even‐splittings and attaching octahedra, both of which were first given by Batagelj 2 . © 2007 Wiley Periodicals, Inc. J Graph Theory 56: 333–349, 2007     

Triangulations in CGAL

This paper presents the main algorithmic and design choices that have been made to implement triangulations in the computational geometry algorithms library .     

二元样条的积分表示及分层三角剖分下二次样条空间的维数

本文通过引入一个积分协调条件，首次给出了二元样条的一个积分表示．文中还定义了平面单连通多边形区域的所谓分层三角剖分，并确定了此剖分下二次样条空间的维数．     

EPR‐Based Approach for the Localization of Paramagnetic Metal Ions in Biomolecules

Metal ions play an important role in the catalysis and folding of proteins and oligonucleotides. Their localization within the three‐dimensional fold of such biomolecules is therefore an important goal in understanding structure–function relationships. A trilateration approach for the localization of metal ions by means of long‐range distance measurements based on electron paramagnetic resonance (EPR) is introduced. The approach is tested on the Cu²⁺ center of azurin, and factors affecting the precision of the method are discussed.     

Matching Extension Missing Vertices and Edges in Triangulations of Surfaces

Let G be a 5‐connected triangulation of a surface Σ different from the sphere, and let be the Euler characteristic of Σ. Suppose that with even and M and N are two matchings in of sizes m and n respectively such that . It is shown that if the pairwise distance between any two elements of is at least five and the face‐width of the embedding of G in Σ is at least , then there is a perfect matching M₀ in containing M such that .