什么是规范化？ 形式化方法。 这个概念，实质，阶段成果，实例，类型形式化

如今，很多时候你可以遇到很多陌生的名词的“正规化”，并在科学技术的各个领域。 对于那些谁想要扩大自己的知识视野，最好是了解这形式化。 这篇文章将被视为术语的本质和过程的实际应用。

什么是科学的角度来看的一般意义上的形式化？

有一点淡淡的科学性。 让我们从可以解释不存在的事物或现象的本质，并在给定的初始条件，特定的环境，预测其性能的事实，这个词是从字的正式派生出来的“正式”的，也就是说，它是有条件的，有时甚至是一个抽象的概念开始。

语言学任何现代语言不以逻辑形式和思维本质的表达相一致。 因此，逻辑本身被迫使用一些抽象的概念来描述一个特定的现象。 而且还有发生了什么手续一个相对的概念。

正如已经猜到了，形式化的本质归结为，描述或预先确定的物体或过程的某些属性（甚至不是目前存在的话），并预测在现实世界中其发生的情况下使用。 但是，这是一般的想法。 形式化的想法是要广泛得多。 首先专注于电脑技术，考虑如何在电子世界中，这个词被使用。

计算机形式化

如果受试者影响这种类型的计算机的形式化方法而给定的初始处理条件，其允许足够高的精确度来确定对象或过程的后续行为。

根据这一原则适用几乎所有的气象服务。 有旋风计算机模型可以预测其动力循环和在陆地上还是在水中。

还记得电影“后天”中的科学家预测全球变暖，从这种技术进行。 他的计算机模型的开发，允许一定程度的概率来预测未来的事件。

这些例子都可以，这种形式化解释。

对象和流程建模原则

形式化的主要方法 - 一个预测和建模。 应用这种技术专门用于有关不知道的物体或过程的最终数据，但可高精度数假设。

如果你看一下物种的形式化，几乎所有的人仅限于逻辑推理和计算。 读者也不难得出的计算机模拟，证明论之间的并行，等等。E.在公理与公设的基础。

你看，对于同 爱因斯坦的相对论 也可以被解释为方法的形式化，因为在实践中，检查证明是不可能的。 特别地，这适用于光传播常数，减速时间达到阈值时，增加所述对象的重力重量和空间的曲率。 手，因为他们说，它不觉得，眼睛无法看到的。

曾几何时它的简单实验的基础上，只有勇敢的推理科学家。 如今，这一切都是由官方科学，同计算机模拟的基础上确定。

形式化的阶段

如果我们考虑到计算机系统中，一个正规化过程描述的第一步。 但它不使用语言（字母，单词，短语，句子）的常用工具。 创建一个特定的 数学模型 可以仅仅通过使用基于选择的编程语言有一定的算法，但只是一般问题的会后声明。

换句话说，在造型的物体或过程的事件本质的行为，你需要描述纯粹的数学符号，使用数学算法。

其结果是，以获得随后后调查技术将在实践中使用或某些自然过程进入步骤的真实存在形式化实际分析预测事件。

以下是问题的概念化。 有两种变体：在第一种情况下它是在使用属性和特征的形式的特定的方法; 第二个选项涉及使用认知分析，更不用说问题的制剂的，数据的初始集合中使用，条件，等等。天。

继定义和初始条件研究了所谓的语义关系对象和进程之间存在关系，以及，这意味着利用当地的表示法。

这之后是处理基于所选择的算法的初始数据，然后返回结果指示误差的百分比。 通常不超过5％，而在大多数情况下，概率的结果达到99％。 任何人或机器仍然会留下“安全边际”为 不可预见的情况， 因为一切都无法顾及。

为什么这一切必要吗？

如果你理解了这些原则允许的对象和进程的行为的分析。 换句话说，它是可以预测谁将会开发一个特定的进程。

现在很清楚，这样的形式化。 让我们来看一个简单的例子。

在实践中应用形式化，最简单的例子

比方说，一些专家已经开发出一种新的飞机设计。 鉴于该项目打造的原始大小的模型，而其行为的事先预测，在空气中它是任务完全不恰当的成本高。 此外，在同一个风洞飞机波音大小的测试是绝对不可能完成的任务。

它允许的将来飞机（空气阻力，侧风，高度和最风洞参数和其它特征）的预定特性正规化飞机飞行无内置模型建模。

另一个例子是新机，举行汽车公司的测试。 形式化的基本方法，在这种情况下就在于，起初他们举行了一个虚拟测试，并接收测试样本的阳性结果后，在生产中运行在真实条件下进行测试。

主要结果

数学建模的许多（如果不是百分百，然后用概率95％），其结果可能是有利于现代生产技术的一个有力的论据，将有助于预测天气甚至预测社会行为，以世界事件的反应。

是的，没错！ 在世界公众舆论的形成，也受制于其自身的规律。 足以影响他nuzhnoi方向。 今天，它创造了很多的方案，以预测这样或那样的事件公众的反应。 这是不是形式化的所有实例。 如果我们深入挖掘，我们每天都面临同样的问题。

其中最显着的例子可以提及的正规化和检测 希格斯 在大强子对撞机基本粒子的碰撞。 但早期人们认为这种粒子的存在 - 纯理论，这是绝对没有证明的现实世界的经验。

结论

正如我们看到的，形式化的概念，尽管过程的科学本质的复杂性，这是很容易理解的例子。 在大多数情况下它归结为使用一些逻辑链，预先确定的结果。