数字全息技术的原理和应用

数字全息是随着现代计算机和CCD技术发展而产生的一种新的全息成像技术．文章主要介绍数字全息技术的基本原理，数字全息重建中的主要方法以及数字全息技术以其独特的优点在各个领域中的应用．     

The VC dimension of k‐uniform random hypergraphs

A set of vertices is shattered in a hypergraph if any of its subsets is obtained as the intersection of an edge with the set. The VC dimension is the size of the largest shattered subset. Under the binomial model of k‐uniform random hypergraphs, the threshold function for the VC dimension to be larger than a given integer is obtained. The same is done for the testing dimension, which is the largest integer d such that all sets of cardinality d are shattered. © 2006 Wiley Periodicals, Inc. Random Struct. Alg., 2007     

A competitive algorithm in searching for many edges in a hypergraph

We give a competitive algorithm to identify all d defective edges in a hypergraph with d unknown. Damaschke did the d=1 case for 2-graphs, Triesch extended the d=1 case to r-graphs, and Johann did the general d case for 2-graphs. So ours is the first attempt to solve the searching for defective edges problem in its full generality. Further, all the above three papers assumed d known. We give a competitive algorithm where d is unknown.     

Practical stopping criteria for validating safety-critical software by estimating impartial reliability

In this research, we investigate stopping rules for software testing and propose two stopping rules from the aspect of software reliability testing based on the impartial reliability model. The impartial reliability difference (IRD-MP) rule considers the difference between the impartial transition-probability reliabilities estimated for both software developer and consumers at their predetermined prior information levels. The empirical–impartial reliability difference (EIRD-MP) rule suggests stopping a software test when the computed empirical transition reliability is tending to its estimated impartial transition reliability. To insure the high-standard requirement for safety-critical software, both rules take the maximum probability (MP) of untested paths into account.     

自由曲面光学虚拟制造与检测系统的探讨

自由曲面光学产品设计、制造与检测的工艺流程，通常采取试凑法逐次逼近。由于加工 检测 再加工，循环往复，既费时，成本又高，产生了瓶颈问题。为了解决此弊端，本文运用虚拟制造技术，提出光学虚拟制造的基本构想，即虚拟制造系统结构模型，给出光学系统虚拟原型的构成和光学系统成像质量虚拟检测系统的构成，讨论光学成像质量的仿真检测以及敏度分析方法。研究结果表明：运用虚拟制造与检测技术，可缩短研发周期，降低成本，优化工艺并提高产品质量。     

A new microtensile tester for the study of MEMS materials with the aid of atomic force microscopy

An apparatus has been designed and implemented to measure the elastic tensile properties (Young's modulus and tensile strength) of surface micromachined polysilicon specimens. The tensile specimens are “dog-bone” shaped ending in a large “paddle” for convenient electrostatic or, in the improved apparatus, ultraviolet (UV) light curable adhesive gripping deposited with electrostatically controlled manipulation. The typical test section of the specimens is 400 μm long with 2 μm×50 μm cross section. The new device supports a nanomechanics method developed in our laboratory to acquire surface topologies of deforming specimens by means of Atomic Force Microscopy (AFM) to determine (fields of) strains via Digital Image Correlation (DIC). With this tool, high strength or non-linearly behaving materials can be tested under different environmental conditions by measuring the strains directly on the surface of the film with nanometer resolution.     

Tests of ordered hypotheses in linkage in heredity

The asymptotic null distribution of the likelihood ratio test for two cases of ordered hypotheses in a particular genetic model is considered. A simple iterative process is proposed in order to get the restricted estimates. It is shown that both tests have asymptotically a chi-bar squared distribution and the same size. A simulation study is also conducted in order to compare the usual unrestricted test with the corresponding one of ordered hypotheses. Finally, the results are extended to some special cases.     

利用计算机辅助装调检测矩形大口径离轴非球面的方法研究

通过非球面的零位补偿法,完成了对矩形大口径离轴非球面镜的检测。先用光学设计软件Zemax从理论上分析了在检测中会出现的现象,并结合计算机辅助装调技术,确定在检测过程中相对敏感的自由度,然后控制这些量,使补偿器和非球面的相对关系与理论设计相吻合,在Zygo相位干涉仪上测得最终结果。在λ=632.8nm时,中心圆口径与两个边缘圆口径面形误差RMS分别为0.022λ,0.037λ,0.032λ。检测结果,达到预期目的。     

Development of a Millimeter Wave Compact Equipment for NDT of Materials

We developed a compact equipment working at 94 GHz to replace the commonly used network analyzer for nondestructive testing of materials. The compact equipment was designed to measure the variations in the amplitude and phase of the reflected signal from the material relative to a reference signal. A good accuracy of the amplitude and phase measurement of the equipment was obtained in the confirmative experiments. The distribution of a drop of water in a wood plate is clearly visible in the millimeter wave images obtained by the amplitude and phase measurement.     

基于分层光学扫描的三维数字化测量技术

采用切削分层光扫描测量与计算机数据信息合成相结合的方法，有效地解决了具有复杂内外腔结构零件的三维数字化测量。该方法比传统三维测量速度快、自动化程度高，能同时准确测量零件内外腔表面，零件边缘测量误差可控制在CCD两个像素内。利用获取的铝合金精密小箱体三维数据，在计算机上重构了零件的三维模型，并用RP技术制造出了零件物理原形。