中文版 | English

在结果中检索

CIOMP OpenIR

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文
Algorithms, 2018, 卷号: 11, 期号: 9
作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo
浏览  |  Adobe PDF(1198Kb)  |  收藏  |  浏览/下载：325/102  |  提交时间：2019/09/17
Monte Carlo methods  Chains  Formal logic  Graphic methods  Markov processes  
纳米晶材料SrMg_xTi_(1-x)O_3的合成与表征 期刊论文
高等学校化学学报, 2000, 期号: 11, 页码: 1627-1630
作者:  富菊霞;  邱法斌;  吴凤清;  高伟;  罗臻;  徐宝琨;  吴家琨
caj(109Kb)  |  收藏  |  浏览/下载：449/71  |  提交时间：2013/03/11
硬脂酸法  纳米晶srmg_xti_(1-x)O_3(Smt)  合成  
光电精密跟踪的双重复合轴伺服系统 期刊论文
光学精密工程, 1996, 期号: 04, 页码: 58-61
作者:  王毅;  高伟志;  王贵文;  刘丽华
caj(151Kb)  |  收藏  |  浏览/下载：429/81  |  提交时间：2013/03/12
双重复合轴  精密跟踪  
快速定位控制算法 期刊论文
光学精密工程, 1996, 期号: 01, 页码: 37-39
作者:  高伟志
caj(69Kb)  |  收藏  |  浏览/下载：385/74  |  提交时间：2013/03/11
双模控制  响应时间  
跟踪伺服系统的工程研制及检测 期刊论文
光学精密工程, 1995, 期号: 05, 页码: 53-59
作者:  王毅;  刘丽华;  高伟志;  王贵文
caj(217Kb)  |  收藏  |  浏览/下载：420/94  |  提交时间：2013/03/11
跟踪  伺服系统  检测