什麼是規範化？ 形式化方法。 這個概念，實質，階段成果，實例，類型形式化

如今，很多時候你可以遇到很多陌生的名詞的“正規化”，並在科學技術的各個領域。 對於那些誰想要擴大自己的知識視野，最好是了解這形式化。 這篇文章將被視為術語的本質和過程的實際應用。

什麼是科學的角度來看的一般意義上的形式化？

有一點淡淡的科學性。 讓我們從可以解釋不存在的事物或現象的本質，並在給定的初始條件，特定的環境，預測其性能的事實，這個詞是從字的正式派生出來的“正式”的，也就是說，它是有條件的，有時甚至是一個抽象的概念開始。

語言學任何現代語言不以邏輯形式和思維本質的表達相一致。 因此，邏輯本身被迫使用一些抽象的概念來描述一個特定的現象。 而且還有發生了什麼手續一個相對的概念。

正如已經猜到了，形式化的本質歸結為，描述或預先確定的物體或過程的某些屬性（甚至不是目前存在的話），並預測在現實世界中其發生的情況下使用。 但是，這是一般的想法。 形式化的想法是要廣泛得多。 首先專注於電腦技術，考慮如何在電子世界中，這個詞被使用。

計算機形式化

如果受試者影響這種類型的計算機的形式化方法而給定的初始處理條件，其允許足夠高的精確度來確定對象或過程的後續行為。

根據這一原則適用幾乎所有的氣象服務。 有旋風計算機模型可以預測其動力循環和在陸地上還是在水中。

還記得電影“後天”中的科學家預測全球變暖，從這種技術進行。 他的計算機模型的開發，允許一定程度的概率來預測未來的事件。

這些例子都可以，這種形式化解釋。

對象和流程建模原則

形式化的主要方法 - 一個預測和建模。 應用這種技術專門用於有關不知道的物體或過程的最終數據，但可高精度數假設。

如果你看一下物種的形式化，幾乎所有的人僅限於邏輯推理和計算。 讀者也不難得出的計算機模擬，證明論之間的並行，等等。E.在公理與公設的基礎。

你看，對於同 愛因斯坦的相對論 也可以被解釋為方法的形式化，因為在實踐中，檢查證明是不可能的。 特別地，這適用於光傳播常數，減速時間達到閾值時，增加所述對象的重力重量和空間的曲率。 手，因為他們說，它不覺得，眼睛無法看到的。

曾幾何時它的簡單實驗的基礎上，只有勇敢的推理科學家。 如今，這一切都是由官方科學，同計算機模擬的基礎上確定。

形式化的階段

如果我們考慮到計算機系統中，一個正規化過程描述的第一步。 但它不使用語言（字母，單詞，短語，句子）的常用工具。 創建一個特定的 數學模型 可以僅僅通過使用基於選擇的編程語言有一定的算法，但只是一般問題的會後聲明。

換句話說，在造型的物體或過程的事件本質的行為，你需要描述純粹的數學符號，使用數學算法。

其結果是，以獲得隨後後調查技術將在實踐中使用或某些自然過程進入步驟的真實存在形式化實際分析預測事件。

以下是問題的概念化。 有兩種變體：在第一種情況下它是在使用屬性和特徵的形式的特定的方法; 第二個選項涉及使用認知分析，更不用說問題的製劑的，數據的初始集合中使用，條件，等等。天。

繼定義和初始條件研究了所謂的語義關係對象和進程之間存在關係，以及，這意味著利用當地的表示法。

這之後是處理基於所選擇的算法的初始數據，然後返回結果指示誤差的百分比。 通常不超過5％，而在大多數情況下，概率的結果達到99％。 任何人或機器仍然會留下“安全邊際”為 不可預見的情況， 因為一切都無法顧及。

為什麼這一切必要嗎？

如果你理解了這些原則允許的對象和進程的行為的分析。 換句話說，它是可以預測誰將會開發一個特定的進程。

現在很清楚，這樣的形式化。 讓我們來看一個簡單的例子。

在實踐中應用形式化，最簡單的例子

比方說，一些專家已經開發出一種新的飛機設計。 鑑於該項目打造的原始大小的模型，而其行為的事先預測，在空氣中它是任務完全不恰當的成本高。 此外，在同一個風洞飛機波音大小的測試是絕對不可能完成的任務。

它允許的將來飛機（空氣阻力，側風，高度和最風洞參數和其它特徵）的預定特性正規化飛機飛行無內置模型建模。

另一個例子是新機，舉行汽車公司的測試。 形式化的基本方法，在這種情況下就在於，起初他們舉行了一個虛擬測試，並接收測試樣本的陽性結果後，在生產中運行在真實條件下進行測試。

主要結果

數學建模的許多（如果不是百分百，然後用概率95％），其結果可能是有利於現代生產技術的一個有力的論據，將有助於預測天氣甚至預測社會行為，以世界事件的反應。

是的，沒錯！ 在世界公眾輿論的形成，也受制於其自身的規律。 足以影響他nuzhnoi方向。 今天，它創造了很多的方案，以預測這樣或那樣的事件公眾的反應。 這是不是形式化的所有實例。 如果我們深入挖掘，我們每天都面臨同樣的問題。

其中最顯著的例子可以提及的正規化和檢測 希格斯 在大強子對撞機基本粒子的碰撞。 但早期人們認為這種粒子的存在 - 純理論，這是絕對沒有證明的現實世界的經驗。

結論

正如我們看到的，形式化的概念，儘管過程的科學本質的複雜性，這是很容易理解的例子。 在大多數情況下它歸結為使用一些邏輯鏈，預先確定的結果。