程序验证

程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...

资源总数
500

程序验证 全部资料 500 份

随着半导体技术与数字集成电路(微处理器、存贮器以及标准逻辑门电路等)技术的迅速发展，特别是随着计算机技术的发展，在工业生产和科学技术研究的各行各业中，人们利用PC机的强大处理功能代替传统仪器的某些部件，开发出各种测量仪器(虚拟仪器)，传统仪...

2024-01-13 7 程序验证

【摘要】针对基于最佳椭圆拟合的磁罗盘误差补偿算法，设计了一组模拟不同类型干扰磁场的数据采集与罗差分析实验。通过对磁罗盘在各种干扰磁场下表征测量数据特性的拟合椭圆参数与最终补偿效果的详细分析，对理

2024-03-29 5 程序验证