Φ520mmF/1.6椭球面反射镜加工

介绍了一块Φ520mm大相对孔径(F/1.6)轻量化椭球面反射镜的加工与检测方法。镜面的有效口径为Φ502mm,顶点曲率半径为1600mm,非球面系数k=-0.9663,面形精度要求优于0.025λ(RMS)。镜子背面有54个大小深浅不一的不通孔,用于减轻镜子的重量。采用WYKO干涉仪检测得到镜面面形误差达RMS0.02λ,λ=632.8nm。     

内部审核在计量体系中的作用

介绍内部审核制度在计量测试工作中的目的和作用，提出了内部审核工作应注意的事项，如内部审核工作计划的完整性，内部审核工作的有效性，管理者工作内容的全面性，以及后续工作的完善性。     

Quality assurance for the analytical data of micro elements in food

The micro element content of food is an important quality index due to the action of these elements on human health. In this article, we discuss how to ensure the reliability of analytical data on micro elements in order to truly represent the condition of food. Sampling, treatment of the analytical sample, selection of the analytical method, standard solution, and certified reference material, blank test, calibration of the instrument and equipment, application of the quality control chart, assessment of the final analytical result, and quality assurance system are briefly described. Received: 5 July 2001 Accepted: 19 November 2001     

A novel specimen for investigating the mechanical behavior of elastomers under multiaxial loading conditions

In this paper we describe the design and manufacture of an axial-torsion test specimen, and provide relationships needed when conducting stress-strain characterization experiments with the specimen. The specimen is a short hollow cylinder of rubber bonded between two steel mounting rings, in which simultaneous axial and shear strains are produced via independently controlled axial and twist displacements. We present calculations for the strain-displacement and stress-load relationships, and strain energy density. These relationships have been established and validated via a combination of analytical and experimental techniques, and finite element analysis. We have investigated the extent and effects of strain and stress field non-uniformity in the test specimen. The specimen design is sufficiently simple that a closed-form expression for the strain-displacement relationship has been successfully developed.     

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

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

集合识别问题的D序列和UIO序列的一种推导方法

集合识别方法是非确定性分布式系统相容性测试的一种新方法，是经典的状态识别方法的一种扩展，提出了在集合识别问题中使用的推导Ｄ序列和ＵＩＯ序列的方法。     

超声波探伤中快速制作距离波幅曲线的方法

经过多年的探伤实验，总结出两种快速制作距离波幅曲线的方法。     

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.