排序方式: 共有2条查询结果,搜索用时 0 毫秒
1.
在稳压电源中,输出纹波电压是一个重要的性能指标。针对电子技术实验中用交流毫伏表测量稳压器纹波电压中出现的问题进行探讨,提出了用示波器替代交流意伏表测量纹波电压。
相似文献
2.
针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.
相似文献