验证程序
yànzhèng chéngxù
процедура доказательства, проверки
yànzhèng chéngxù
процедура доказательства, проверкиproving program
proving program; proving program
примеры:
管理程序的试验程序
supervisor test program
简化的试验程序
simplified test procedure
模拟数字变换器检验程序
analog-to-digital converter check program
大容量存储器转储校验程序
mass stroage dump & verify programme
验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。
A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.
核电站(厂)运行质量保证程序
процедура обеспечения качества эксплуатации АЭС
核电站(厂)运行质量保证程序)
процедура обеспечения качества эксплуатации АЭС
描绘或测定由给定的或确定的输入数据产生欲求的输出或智能信息所要求的特定步骤。通常人们都采用这种逻辑分析的方法来验证许多计算机过程、程序或运行的正确性。
The delineation or determination of the specific steps required to produce the desired output or intelligence information from the given or ascertained input data. The logic studies are completed for many computer processes, programs, or runs.
пословный:
验证 | 程序 | ||
1) осмотреть, освидетельствовать, проверять подлинность
2) доказательство
3) валидация
|
1) порядок, последовательность, процедура; процесс
2) программа; [правительственный] курс
3) комп. программа
|
похожие:
验效程序
程序验证
程序检验
试验程序
验收程序
实验程序
程序试验
查验程序
程序保证
验证过程
检证程序
校验程序
测验程序
程序证明
听证程序
核证程序
引证程序
鉴证程序
证明程序
论证程序
证实程序
程序校验
检验程序
工序验证
实证性程序
检验程序段
检验子程序
校验子程序
子程序检验
微程序验证
零检验程序
程序验证器
程序试验器
检验点程序
自检验程序
程序员校验
程序检验带
用程序检验
校验程序块
块检验程序
实验室程序
微程序检验
证明寻找程序
自动程序证明
并行程序验证
程序使用赁证
编译程序证实
质量保证程序
证据提示程序
程序使用凭证
解析程序证明
程序请求凭证
安装验证过程
结构程序验证
安装验证程序
自动程序验证
并行程序证明
工程验证测试
程序特许凭证
证明检验程序
处理程序验证
测试验证程序
协议验证程序
证据保全程序
定理证明程序
程序设计试验
定向程序测验
程序检验操作
鉴定试验程序
模拟试验程序
跟踪检验程序
制造试验程序
工程试验程序
试验执行程序
例行程序试验
接口校验程序
检验翻译程序
事先检验程序
跳步检验程序
次序检验程序
统一试验程序
联机检验程序
程序检验日志
颤振试验程序
通用检验程序
燃烧试验程序
校验例行程序
顺序检验程序
序列检验程序
专用试验程序
检验编译程序
机能试验程序
错误检验程序
序列校验程序
检验程序试验
试验翻译程序
校验程序试验
自动检验程序
编译程序检验
遗嘱检验程序
测试检验程序
错误校验程序
标准试验程序
工作程序校验
数控程序检验
程序校验操作
维修检验程序
现场试验程序
写入检验程序
检验点子程序
随机程序试验
程序控制试验
数据检验程序
程序校验中断
自动校验程序
跳步试验程序
程序校验条件
缝隙检验程序
假设检验程序
校验程序测试
程序疲劳试验
检验监控程序
数据校验程序
程序检验时间
实时检验程序
通用校验程序
部件检验程序
程序设计实验
程序检验系统
程序校验系统
程序试验系统
联邦测验程序
程序设计检验
中断检验程序
程序设计经验
检验点例行程序
许可证批准程序
测试和验证程序
程序正确性证明
完整性检验程序
试验用翻译程序
自动程序验证器
程序校验子系统
许可证审批程序
实证性审计程序
程序和证据规则
马克曼听证程序
试验规范和程序
IC验证工程师
飞行前检验程序
有效性检验程序
校验加减子程序
计算机检验程序
条件检验程序块
文件地址检验程序
伯特兰验证方程式
验收程序验收程序
服务程序检验程序
用户安全检验程序
质量鉴定试验程序
隐蔽工程验收证书
机器校验处理程序
管理程序检验程序
校检程序检验程序
应享权利证书程序
程序证实服务程序
自动程序验证系统
编译程序验证系统
验证条件生成程序
通用监控检验程序
发给程序以专利证
质量保证控制程序
通道检验处理程序
计量认证标准程序
实验函数生成程序
程序检验程序检验
程序设计逻辑证明
丢失中断校验程序
计数抽样检验程序
求差和检验子程序
联机检验执行程序
实验编译程序系统
数据控制程序检验
求差和校验子程序
联机试验控制程序
先验成分分类程序
校验指令顺序的程序
管理程序的试验程序
内部数学和程序保证
固件化, 微程序保证
程序验证, 程序确认
检验子程序校验子程序
验证过的工程技术措施
基本逻辑理论证明程序
数字计算机的程序检验
核电站运行质量保证程序
核电厂运行质量保证程序
多级火箭点火程序协调试验
块检验程序, 块校验过程
控制元件及程序装置研究实验室
检验程序, 测试例程检验程序
测试程序, 检验程序, 试验程序
完工工程验收单, 完工工程验收证明书
完工工程验收单, 完工工程验收证明书完工工程验工记录