106 Shares 9966 views

Was ist die Formalisierung? Formalisierung Methode. Das Konzept, das Wesen, Bühnen, Ergebnisse, Beispiele, Typen von Formalisierung

Heute sehr oft kann man eine Menge seltsamen Begriffs „Formalisierung“, und in verschiedenen Bereichen der Wissenschaft und Technik entspricht. Für diejenigen, die den Horizont ihres Wissens erweitern wollen, ist es ratsam, dass diese Formalisierung zu verstehen. Der Artikel wird das Wesen des Begriffs und die praktische Anwendung des Verfahrens in Betracht gezogen werden.

Was ist die Formalisierung eines wissenschaftlichen Standpunkt aus gesehen in einem allgemeinen Sinn?

Eine kleine Berührung auf dem wissenschaftlichen Aspekte. Lassen Sie sich von der Tatsache ausgeht, dass das Wort von der Formalisierung des Wortes „formal“ abgeleitet ist, dh es bedingt ist, und manchmal sogar ein abstraktes Konzept, das den Charakter eines nicht vorhandenen Objekts oder Phänomen erklären läßt und seine Eigenschaften in einer bestimmten Umgebung vorherzuzusagen, mit den gegebenen Anfangsbedingungen.

Linguistik jede moderne Sprache stimmt nicht mit dem Ausdruck der logischen Form oder Art des Denkens. Daher selbst die Logik gezwungen, einige abstrakte Begriffe zu verwenden, um ein bestimmtes Phänomen zu beschreiben. Und es ist ein relativer Begriff von dem, was Formalitäten geschieht.

Wie bereits ahnen es, kommt das Wesen der Formalisierung bis zu beschreiben, oder bestimmte Eigenschaften des Objekts oder Prozesses (nicht einmal im Augenblick existieren) vorherzubestimmen und die Nutzung im Falle des Auftretens in der realen Welt zu prognostizieren. Aber das ist die allgemeine Idee. Der Begriff der Formalisierung ist viel breiter. Zunächst konzentrieren sich auf Computer-Technologie, überlegen, wie in der Welt der Elektronik, dieser Begriff verwendet wird.

Computer Formalisierung

Wenn das Thema Computer Formalisierung Verfahren dieser Art beeinflussen werden eher Erstbehandlung Bedingungen gegeben, die einen ausreichend hohen Grad an Genauigkeit ermöglichen das spätere Verhalten des Objekts oder Prozesses zu bestimmen.

Nach diesem Prinzip arbeitet praktisch alle Wetterdienst. Mit Zyklon Computermodell kann seinen Leistungszyklus vorherzusagen und über Land oder über Wasser.

Denken Sie daran, den Film „The Day After Tomorrow“, in dem der Wissenschaftler die globale Erwärmung vorhergesagt, von dieser Technik fortfahren. Seine Computermodell entwickelt, das ein gewisses Maß an Wahrscheinlichkeit erlaubt zukünftige Ereignisse vorherzusagen.

Diese Beispiele sind zur Verfügung, die diese Formalisierung zu erklären.

Objekte und Prozesse Modellierungsprinzipien

Die wichtigsten Methoden zur Formalisierung – eine Vorhersage und Modellierung. Übernehmen diese Technologien ausschließlich für die endgültigen Daten über die Objekte oder Prozesse, die nicht bekannt sind, aber es kann mit hohen Genauigkeit Zahl angenommen werden.

Wenn Sie bei der Formalisierung der Arten sehen, fast alle von ihnen zu logischen Schlussfolgerungen und Berechnungen beschränkt. Der Leser wird nicht schwierig sein, eine Parallele zwischen der Computermodellierung, Nachweis Theorie zu ziehen, und so weiter. E. Auf der Grundlage der Axiome und Postulate.

Schauen Sie , für die gleiche Einsteinsche Relativitätstheorie auch als Formalisierung des Verfahrens interpretiert werden könnte, weil in der Praxis überprüft der Nachweis nicht möglich ist. Insbesondere trifft dies auf Lichtausbreitungskonstanten, um die Verzögerungszeit die Schwelle zu erreichen, das Gravitationsgewicht des Objekts und die Krümmung des Raumes zu erhöhen. Hände, wie sie sagen, ist es nicht das Gefühl und die Augen nicht sehen können.

Es ist einmal war es nur brave Argumentation Wissenschaftler auf der Basis von einfachen Experimenten. Heute ist dies alles durch die offizielle Wissenschaft auf der Grundlage der gleichen Computersimulation bestätigt.

Stadien der Formalisierung

Wenn wir das Computersystem betrachten, den ersten Schritt in eine Prozessbeschreibung zu formalisieren. Aber es verwendet nicht die üblichen Werkzeuge der Sprache (Buchstaben, Wörter, Phrasen, Sätze). Erstellen Sie ein spezielles mathematisches Modell möglich ist , nur durch einen bestimmten Algorithmus auf der gewählten Programmiersprache basierte, aber erst nach der Erklärung des allgemeinen Problems.

Mit anderen Worten, das Verhalten eines Objekts oder Prozessereignis Essenz in der Modellierung müssen Sie rein mathematische Symbole beschreiben, mit einem mathematischen Algorithmus.

Das Ergebnis ist eine Formalisierung Ist-Analyse vorhersehbare Ereignisse zu erhalten, die nach dem untersuchten Technologie verfolgte die reale Existenz des Schritts in der Praxis oder bestimmter natürlicher Prozess eintritt verwendet werden.

Im Folgenden ist der Konzeptualisierung des Problems. Es gibt zwei Varianten: Im ersten Fall ist es in Form der Verwendung der Attribute und Eigenschaften ein spezifischer Ansatz ist; zweite Option beinhaltet die Verwendung einer kognitiven Analyse, nicht die Formulierung des Problems zu erwähnen, die erste Sammlung von Daten verwendet, Bedingungen, und so weiter. d.

Im Anschluss an die Definitionen und Anfangsbedingungen untersucht bestehende Beziehung zwischen Objekten und Prozessen, sowie die sogenannte semantische Beziehungen, was auf die Verwendung von lokalen Darstellungstechniken.

Dies wird durch die Verarbeitung der Ausgangsdaten auf der Grundlage des ausgewählten Algorithmus, gefolgt, und dann gibt das Ergebnis anzeigt, den Prozentsatz des Fehlers. Normalerweise ist es nicht mehr als 5%, und in den meisten Fällen das Ergebnis der Wahrscheinlichkeit erreicht 99%. Jede Person oder Maschine wird nach wie vor die „Sicherheitsmarge“ für hinterlassen unvorhergesehene Umstände, denn alles kann nicht berücksichtigt werden.

Warum ist das alles nötig?

Wenn Sie verstehen, erlauben diese Grundsätze für die Analyse des Verhaltens von Objekten und Prozessen. Mit anderen Worten ist es möglich, vorherzusagen, wer einen bestimmten Prozess entwickeln wird.

Es ist nun klar, dass eine solche Formalisierung. Lassen Sie uns ein einfaches Beispiel.

Anwendung Formalisierung in der Praxis die einfachsten Beispiele

Lassen Sie uns sagen, einige Experten haben ein neues Flugzeug-Design entwickelt. die hohen Kosten des Projekts gegeben es völlig ungeeignet für die Aufgabe, ein Modell der ursprünglichen Größe ohne die vorherige Prognose seines Verhaltens in der Luft zu bauen ist. Darüber hinaus ist die Tests in dem gleichen Windkanal Flugzeug von der Größe einer Boeing absolut unmögliche Aufgabe.

Es ermöglicht die Formalisierung der vorbestimmten Eigenschaften zukünftigen Flugzeug (Luftwiderstand, Seitenwind, die Höhe und die meisten Windkanalparameter und anderer Merkmale) ohne eingebautes Modell Fliegen das Flugzeug modellieren.

Ein weiteres Beispiel ist die Erprobung neuer Maschinen, gehalten Automobilunternehmen. Die grundlegende Methode der Formalisierung, liegt in diesem Fall in der Tatsache, dass sie zunächst einen virtuellen Test gehalten, und nach dem positiven Ergebnissen der Testproben Empfang in der Produktion zu testen unter realen Bedingungen läuft.

Die wichtigsten Ergebnisse

Das Ergebnis der mathematischen Modellierung in vielen (wenn nicht hundertprozentig, dann mit einer Wahrscheinlichkeit von 95%) kann für die Herstellung der modernen Technik ein starkes Argument sein, wird dazu beitragen, das Wetter vorhersage, auch soziales Verhalten als Reaktion auf die Ereignisse in der Welt vorhersagen.

Ja Ja! Die Bildung der öffentlichen Meinung in der Welt, auch unterliegt eigenen Gesetzen. Genug, um ihn in nuzhnoi Richtung zu beeinflussen. Heute ist es erstellt eine Menge Programme, die öffentliche Reaktion auf dieses oder jenes Ereignis vorherzusagen. Und das ist nicht alle Instanzen der Formalisierung. Wenn wir tiefer graben, stehen wir vor dem gleichen Problem jeden Tag.

Eines der markantesten Beispiele können Formalisierung und den Nachweis zu nennen Higgs in Kollisionen von Elementarteilchen in Large Hadron Collider. Aber früher war es angenommen, dass die Existenz dieses Teilchens – reine Theorie, und es ist absolut nicht nachweisbar reale Erfahrungen.

Abschluss

Wie wir sehen, ist der Begriff der Formalisierung, trotz der Komplexität der wissenschaftlichen Essenz des Prozesses, ist es leicht Beispiele zu verstehen. In den meisten Fällen kommt es auf einige logische Ketten zu verwenden, um das Ergebnis vorbestimmen.