搜索结果: 1-2 共查到“工学 PVS”相关记录2条 . 查询时间(0.045 秒)
A Case Study on the Application of PVS to Requirements Analysis
Application PVS Requirements Analysis
2009/12/9
This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control syste...
![](http://www.firstlight.cn/upload/imgfile/20096/26/2009626153843.gif)
美国AN/PVS-4式二代武器瞄准具(图)
美国瓦洛公司 武器瞄准具
2009/6/26
AN/PVS-4式二代武器瞄准具是由美国瓦洛公司电子器件部生产的一种小质量、被动式夜视瞄准具,它的用途和早期的一代微光AN/PVS-2式星光镜一样-#*[-24]#*[24]-供轻武器夜间瞄准,但其性能更好。该瞄准具既可装在多种轻武器上,也可手持进行夜间侦察。