形式化とは何ですか？ 形式化方法。 形式化のコンセプト、本質、ステージ、結果、例、種類

今日は、非常に多くの場合、あなたは、科学技術の様々な分野で「形式化」の奇妙な用語の多くを満たすことができます。 知識の地平を拡大したい人のために、この形式化することを理解することをお勧めします。 記事は、用語とプロセスの実用化の本質とみなされます。

一般的な意味での科学的な観点の形式化とは何ですか？

科学的な側面にはほとんどタッチ。 のは、存在しないオブジェクトや現象の本質を説明するために、与えられた初期条件と、特定の環境でその特性を予測することを可能にする言葉は、それが条件付きである。すなわち、「正式な」言葉の形式化に由来し、時には抽象的な概念されているという事実から始めましょう。

言語学は、現代の任意の言語は思考の論理的な形や自然の発現と一致していません。 このように、ロジック自体は、特定の現象を記述するために、いくつかの抽象的な概念を使用することを余儀なくされました。 そして、手続きを何が起こっているかの相対的な概念があります。

すでにそれを推測として、形式化の本質は、記述したり、オブジェクトまたはプロセスの特定の性質を予め決定する（でも、現時点では存在しない）と、現実の世界で発生した場合のその使用を予測するため、ダウンに来ます。 しかし、これは一般的な考え方です。 形式化の非常に概念は、はるかに広いです。 コンピュータ技術に焦点を当てた開始するには、エレクトロニクスの世界では、この用語が使用されている方法を検討します。

コンピュータの定式化

被験者が、コンピュータに影響を与える場合には、このタイプの形式化の方法はなく、オブジェクトまたはプロセスの後続の動作を決定する精度の十分に高い程度を可能にする最初の処理条件を、与えられています。

この原則によると、実質的にすべての気象サービスを動作します。 サイクロンコンピュータモデルを持つことは、土地の上に、または水の上にそのパワーサイクルを予測することができます。

科学者は、この技術から出発し、地球温暖化を予測した映画「デイ・アフター・トゥモロー」を覚えておいてください。 彼のコンピュータモデルは、確率のある程度は、将来の事象を予測することが許可されている開発されました。

これらの例は、この形式化することを説明することが可能です。

オブジェクトとプロセスモデリングの原則

形式化の主な方法 - 予測とモデリング。 知られていないが、それは、高精度の数を推定することができるオブジェクトやプロセスについての最終的なデータ専用のような技術を適用します。

あなたが種の形式化を見れば、ほとんどすべての論理的な結論と計算に限定。 読者は公理と公準に基づき、証明論コンピュータモデリングとの間に並列に描画することは困難で、というように。E.ません。

同じのために、見て アインシュタインの相対性理論は、 実際には、証拠をチェックすることはできないためにも、法の定式化と解釈できます。 特に、これはオブジェクトと空間の曲率の重力重量を増加させる、閾値を達成するために、光伝播定数、減速時に適用されます。 手、彼らが言うように、それは感じていないと目が見ることができません。

むかしむかし、それは簡単な実験に基づいてのみ勇敢な推論の科学者でした。 今日では、このすべては、同一のコンピュータシミュレーションに基づいて公式科学によって確認されました。

定式化の段階

我々は、コンピュータシステム、プロセス記述を定式化する最初のステップを検討してください。 しかし、それは言語（文字、単語、フレーズ、文章）の通常のツールを使用していません。 具体的な作成 の数学モデルが 唯一の選択されたプログラミング言語に基づいて、特定のアルゴリズムを使用することにより可能であるが、唯一の一般的な問題の文の後。

つまり、オブジェクトまたはプロセスイベントエッセンスの挙動をモデル化して、あなたは数学的アルゴリズムを使用して、純粋に数学記号を記述する必要があります。

その結果を調査技術が実際に使用されるか、特定の自然なプロセスは、ステップの実在を入力した後に続く定式実際の分析、予測可能なイベントを得ることです。

以下は、問題の概念です。 二つの変種があります最初のケースでは、属性および特性を使用しての形で特定のアプローチです。 2番目のオプションは、データの最初のコレクションはように、条件を使用し、。dは、認知分析、ないに言及し、問題の製剤の使用を含みます。

定義と初期条件に続いて、地元の表現技術の使用を示唆し、オブジェクトとプロセス間の既存の関係だけでなく、いわゆる意味関係を検討しました。

これは、選択されたアルゴリズムに基づいて初期データを処理し、続いて、その後、誤差のパーセンテージを示す結果を返します。 通常は5％を超えない、そしてほとんどの場合、確率の結果は99％に達しました。 何人かのマシンはまだのための「安全マージン」のままになり 、不測の事態を すべてを考慮することはできませんので。

なぜ、このすべてが必要なのか？

あなたが理解していれば、これらの原則は、オブジェクトやプロセスの動作の解析が可能になります。 言い換えれば、特定のプロセスを開発する人を予測することが可能です。

それは今、このような形式化することが明らかです。 簡単な例を見てみましょう。

実際にアプリケーション定式、最も簡単な例

さんが言ってみましょう、一部の専門家は、新しい航空機の設計を開発しました。 空気中のその行動の前に予測することなく、元のサイズのモデルを構築するプロジェクトの高いコストを考えると、それは仕事のために完全に不適切です。 また、同じ風洞航空機における試験は、ボーイングの大きさは絶対に不可能な作業です。

これは、構築されたモデルなしで飛行する航空機をモデル将来航空機（空気抵抗、横風、高さ、及び最も風洞パラメータ及びその他の特性）の所定の特性の定式化を可能にします。

別の例は、新しいマシン、開催された自動車メーカーのテストです。 この場合、形式化の基本的な方法は、最初に彼らは仮想テストを開催し、試験サンプルの肯定的な結果を受け取った後、実際の条件でテストするために生産で実行されているという事実にあります。

主な結果

多くの（ない場合は百パーセント、そして確率が95％を含む）における数学的モデリングの結果は、天候にも世界でのイベントへの反応としての社会的行動を予測する予測に役立つ、近代的な技術の生産を支持する強力な引数することができます。

はい、はい！ 世界で世論の形成は、あまりにも、独自の法律に従うものとします。 nuzhnoi方向で彼に影響を与えるには十分。 今日では、このまたはそのイベントに公衆の反応を予測するために、多くのプログラムを作成しました。 そして、これは形式化のすべてのインスタンスではありません。 我々は深く掘る場合は、私たちは毎日、同じ問題に直面しています。

最も顕著な例の一つは、形式化と検出が挙げられる ヒッグスを 大型ハドロンコライダーで素粒子の衝突に。 しかし、それ以前には、この粒子の存在と考えられていた - 純粋理論、そしてそれは絶対に明白な現実世界での経験ではありません。

結論

私たちが見るように、形式化の概念は、プロセスの科学的本質の複雑さにもかかわらず、例を理解することは容易です。 ほとんどの場合、それはいくつかの論理的なチェーンを使用して、結果を事前ダウンしています。