CIOMP OpenIR

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
捕获与跟踪望远镜光机结构设计 期刊论文
量子电子学报, 2020, 卷号: 37, 期号: 03, 页码: 294-301
作者:  张岩;  李桐;  陈宝刚;  范文强;  王亮
浏览  |  Adobe PDF(3937Kb)  |  收藏  |  浏览/下载:145/46  |  提交时间:2021/07/06
应用光学  光机结构  主镜支撑  衍射极限  面形精度  
一种函数式语言到PROLOG的转换技术 期刊论文
吉林大学自然科学学报, 1996, 期号: 01, 页码: 30-34
作者:  宋立彤;  金成植;  魏仲慧
caj(157Kb)  |  收藏  |  浏览/下载:350/36  |  提交时间:2013/03/11
函数式语言sfl  Prolog转换  顺序化