内容
- 定义-定义是什么意思？
- Microsoft Azure和Microsoft Cloud简介在本指南中，您将了解什么是云计算，以及Microsoft Azure如何帮助您从云迁移和运行业务。
- 技术百科解释了修正
定义-定义是什么意思？
验证是一个过程，在此过程中，可以将有关计算机应用程序的抽象概念转换为对象或显式数据模型。换句话说，具体化有助于将未表达的，隐含的想法转换为概念或逻辑上的想法。修复是知识表示和概念分析中使用最广泛的过程之一。
Microsoft Azure和Microsoft Cloud简介在本指南中，您将了解什么是云计算，以及Microsoft Azure如何帮助您从云迁移和运行业务。
技术百科解释了修正
数据精化在某些方面与数据精炼相似，但是数据精制过程更侧重于具体化构思而不是精炼构思。当涉及数据优化时，细化步骤包括使用标准规范来找到抽象数据类型的更具体表示形式的步骤。数据化有助于降低抽象数据类型的级别以及操作建模中涉及的抽象。在概念建模中，关系化使查看成为一个实体成为可能。固定关系的唯一目的是通过添加附加信息使它变得明确。
从编程语言的角度来看，验证是一种方法，通过该方法可以在语言本身中表示运行时环境中较早隐式的程序或编程语言的任何方面。这使得所有先前隐含的方面都可以用作普通数据进行检查。迄今为止，已经以许多编程语言实现了修正，即使是部分形式也是如此。例如，Java使用在运行时完全可用的“可验证类型”。在C编程中可以修改内存地址的低级详细信息。 Smalltalk编程语言允许对s进行验证。