机译:用于3百万像素变焦照相手机模块的非球面玻璃镜片的制造和光学评估
机译:受邀论文:电子纸彩色显示技术的发展
机译:(邀请纸)玻璃 - 探测技术激光焊接技术进步
机译:变焦镜头的非球面技术(邀请纸)
机译:液晶聚合物薄膜形成的非球面几何相位透镜和缓速器的研究
机译:行为和归纳重写(特邀演讲)11本文报道的研究得到了美国国家科学基金会(National Science Foundation)资助CCR-9901002以及日本信息促进局(IPA)的CafeOBJ项目的部分支持,这是其高级软件技术计划的一部分。可以在他们的网站(网址分别为http://www.ucsd.edu/users/{goguen,klin,grosu})上找到作者。有关BOBJ系统的更多信息,请访问http://www.ucsd.edu/groups/tatami/bobj/。注意:作者的所有论文都可以在其网站上找到,它们的网址分别为www.ucsd。 edu / users / {goguen,klin,grosu}。有关BOBJ系统的更多信息,请访问www.ucsd.edu/groups/tatami/bobj/。
机译:用于曲面折射面的新物理光学方法及其在W波段双非球面透镜设计和测试中的验证。