基于哈特曼-夏克波前测量原理的焦距测量

本文从哈特曼-夏克波前测量原理出发,提出了基于波前测量的透镜焦距测量方法|得到了使用这一方法测量焦距的计算公式.使用633 nm和780 nm两种波长的半导体准直激光器作为光源,测量了三片双合透镜的焦距,结果表明,633 nm光源下测量得到的波长与透镜的设计焦距值相吻合,能够正确测量透镜焦距|而780 nm光源的测量结果显示出较大的相对测量偏差,但可用于评估透镜的剩余球差、色差以及制造公差.     

Web服务事务的动态补偿模型

对π-演算进行扩展,提出了作为Web服务事务动态补偿模型的Exπ-演算.该演算的补偿可随着Web服务的交互动态地建立起来,同时给出了结构同余关系和操作语义.为了保证事务的唯一性,定义了一个简单的类型系统.最后,将该简化的Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比其他演算更灵活,表达能力更强.     

基于哈特曼-夏克波前测量原理的焦距测量

本文从哈特曼-夏克波前测量原理出发,提出了基于波前测量的透镜焦距测量方法;得到了使用这一方法测量焦距的计算公式.使用633 nm和780 nm两种波长的半导体准直激光器作为光源,测量了三片双合透镜的焦距,结果表明,633 nm光源下测量得到的波长与透镜的设计焦距值相吻合,能够正确测量透镜焦距;而780 nm光源的测量结...