Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System(PVS) Prototype Verification System(PVS) 基于原型验证系统(PVS)的自稳定算法形式化验证
Structure, flow and criteria of FPGA prototype verification system are discussed. 对基于FPGA的原型验证系统(PVS)的组成、流程和一些基本验证准则进行了讨论。
The palmprint recognition and verification prototype system's schemes of the interface, enrollment, recognition and verification are designed and the key techniques for the system are analyzed. 并根据各个功能模块,设计了掌纹识别与比对原型系统的用户界面、注册、识别和比对等功能的具体实现方案,并分析了系统要实现的关键技术。
On the studies of this subject, design and implement a small prototype and the control system. Also research of the nonlinear motion system algorithm for the control system, verification of control system is reasonable. 本文研究工作中设计制造了一款小型样机,对样机完成控制系统设计,开展了非线性运动系统算法研究,进行了控制实现,验证了控制系统设计合理性。