...恒、能量守恒判据 —— 给出计算中质量、能量守恒情况6 舍入误差 —— 研究和采用舍入误差小的计算程序验证(Code Verification ) 正确求解 计算程序 物理模型 程序的错误 输入数据的错误 查验 未认知误差 编程错误 ……
基于16个网页-相关网页
...I)程度低等;(3)系统的边界定义不清,数据处理复杂,模型及其应用建立过程太复杂;(4)模型的代码验证(Code Verification)困难;(5)与GIS的集成度较低;(6)组件化程度不够;(7)缺乏统一的面向水问题以及水文模拟的水文数据模型,数据、参数文件繁...
基于12个网页-相关网页
Machine code verification 验证机器码
Verification code 验证码 ; 验证代码
nc code verification nc验证
voice verification code 语音验证码
Resend verification code 重新发送验证码 ; 重发验证码
please enter the verification code 请输入验证码
verification code sent to 验证码发送到
coded digital verification color code 编码数字验证颜色码
At last, an object code verification tool BSVVT (Bochs based Software Verification and Validation Tools) is implemented on virtual platform.
最后,在虚拟化平台上实现了一个目标码验证工具BSVVT(Bochs basedSoftware Verification and Validation Tools)。
参考来源 - 虚拟化平台支持的目标码验证技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐