Was ist Formalisierung? Formalisierungsmethode Konzept, Essenz, Stufen, Ergebnis, Beispiele, Arten der Formalisierung
Heute kann man sehr oft viele treffenein unverständlicher Begriff "Formalisierung", und in verschiedenen Bereichen der Wissenschaft und Technologie. Diejenigen, die den Horizont ihres Wissens erweitern wollen, ist es wünschenswert zu verstehen, was Formalisierung ist. Der Artikel wird die Essenz dieses Begriffs und die praktische Anwendung des Prozesses betrachten.
Was ist Formalisierung vom wissenschaftlichen Standpunkt aus gesehen?
Wir berühren einen kleinen wissenschaftlichen Aspekt. 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.
Die Linguistik jeder modernen Sprache ist absolutstimmt nicht mit dem Ausdruck logischer Formen oder der Natur des Denkens überein. Daher ist die Logik selbst gezwungen, bestimmte abstrakte Konzepte zu verwenden, um ein bestimmtes Phänomen zu beschreiben. Es gibt also ein relatives Konzept für die Formalitäten dessen, was passiert.
Es ist nicht schwer zu erraten, das Wesen der Formalisierungist darauf beschränkt, einige Eigenschaften eines Objekts oder Prozesses (die im Moment noch nicht existieren) zu beschreiben oder vorherzusagen und seine Anwendung im Falle eines Auftretens in der realen Welt vorherzusagen. Aber das ist eine allgemeine Idee. Das Konzept der Formalisierung ist viel breiter. Schauen wir uns zuerst die Computertechnologien an, wir werden sehen, wie dieses Konzept in der Welt der Elektronik angewendet wird.
Computer Formalisierung
Wenn Sie das Thema Computer berühren, die MethodeFormalisierung dieser Art ist vielmehr die Verarbeitung von Anfangsbedingungen, die es ermöglichen, das weitere Verhalten eines Objekts oder Prozesses mit einer ausreichend hohen Genauigkeit zu bestimmen.
Fast alle Wetterdienste arbeiten nach diesem Prinzip. Mit einem Computermodell des Zyklons ist es möglich, seinen Zyklus und seine Kraft über das Land oder über den Wasserraum vorherzusagen.
Erinnern Sie sich an den Film "Der Tag nach dem Morgen", in dem ein Wissenschaftlervorhergesagte globale Erwärmung, die genau auf dieser Methode basiert. Er entwickelte ein Computermodell, das mit einiger Wahrscheinlichkeit zukünftige Ereignisse voraussagen konnte.
Diese Beispiele erläutern die Formalisierung.
Prinzipien der Modellierung von Objekten und Prozessen
Die wichtigsten Methoden der Formalisierung sindPrognose und Modellierung. Diese Technologien werden ausschließlich verwendet, um endgültige Daten über Objekte oder Prozesse zu erhalten, die nicht bekannt sind, aber sie können mit hoher Genauigkeit angenommen und berechnet werden.
Wenn Sie die Arten der Formalisierung praktisch betrachtenAlle von ihnen sind nur auf logische Schlussfolgerungen und Berechnungen reduziert. Der Leser kann leicht eine Parallele zwischen Computermodellierung, Beweis von Theoremen usw. auf der Grundlage von Axiomen und Postulaten ziehen.
Schau, nach all der gleichen RelativitätstheorieEinstein kann auch als Formalisierungsmethode behandelt werden, da es in der Praxis nicht möglich ist, den Beweis zu überprüfen. Dies bezieht sich insbesondere auf die Lichtausbreitungskonstante, die Zeitverzögerung an der Schwelle ihrer Leistung, die Zunahme der Gravitationsmasse des Objekts und die Krümmung des Raums. Hände, wie sie sagen, du wirst es nicht fühlen und du wirst deine Augen nicht sehen.
Zu einer Zeit waren dies nur mutige Schlußfolgerungen des Wissenschaftlers auf der Grundlage der einfachsten Experimente. Heute wird dies durch die offizielle Wissenschaft bestätigt, die auf der gleichen Computersimulation basiert.
Phasen der Formalisierung
Wenn wir Computersysteme betrachten, dannDie erste Stufe der Formalisierung ist die Beschreibung des Prozesses. Aber hier werden Werkzeuge der üblichen Sprache (Buchstaben, Wörter, Sätze, Sätze) nicht verwendet. Um ein bestimmtes mathematisches Modell zu erstellen, können Sie nur einen Algorithmus verwenden, der auf der ausgewählten Programmiersprache basiert, jedoch nur nach dem Festlegen einer allgemeinen Aufgabe.
Mit anderen Worten, wenn das Verhalten eines Objekts oder Prozesses modelliert wird, muss das Wesen des Ereignisses rein durch mathematische Symbole beschrieben werden, wobei ein mathematischer Algorithmus verwendet wird.
Das Ergebnis der Formalisierung ist der EmpfangAnalyse des tatsächlichen vorhersagbaren Ereignisses, das folgen wird, nachdem die untersuchte Technologie in der Praxis angewendet wird oder ein bestimmter natürlicher Prozess in die Phase der realen Manifestation eintritt.
Weiter folgt die Konzeptualisierung derAufgaben. Es gibt zwei Möglichkeiten: im ersten Fall diese Definition des Ansatzes in Form der Verwendung von Attributen und Attributen; Die zweite Option beinhaltet die Verwendung kognitiver Analyse, ganz zu schweigen von der Formulierung der Aufgabe, der Sammlung von Anfangsdaten, Bedingungen und so weiter.
Nach der Definition von Konzepten und Anfangsbedingungendie bestehenden Beziehungen zwischen Objekten und Prozessen werden untersucht, ebenso wie die sogenannten semantischen Beziehungen, die die Verwendung der lokalen Präsentationstechnik implizieren.
Die Verarbeitung der Ausgangsdaten andie Basis des gewählten Algorithmus, nach dem das Ergebnis mit dem prozentualen Fehler angegeben wird. In der Regel überschreitet es nicht 5%, und in den meisten Fällen erreicht das Wahrscheinlichkeitsergebnis 99%. Jede Person oder Maschine hinterlässt immer noch eine "Sicherheitsmarge" für unvorhergesehene Umstände, weil absolut alles nicht berücksichtigt werden kann.
Warum all das notwendig ist?
Wenn Sie verstehen, ermöglichen Ihnen solche Prinzipien, das Verhalten von Objekten und Prozessen zu analysieren. Mit anderen Worten, man kann vorhersehen, wie dieser oder jener Prozess sich entwickeln wird.
Jetzt ist klar, was Formalisierung ist. Schauen wir uns das einfachste Beispiel an.
Die Anwendung der Formalisierung in der Praxis, die einfachsten Beispiele
Nehmen wir an, ein Spezialist hat ein neues entwickeltdas Design des Flugzeugs. Unter Berücksichtigung der hohen Kosten des Projekts ist es völlig unvernünftig, ein Modell der ursprünglichen Größe ohne eine vorläufige Vorhersage seines Verhaltens in der Luft zu erstellen. Darüber hinaus ist die Durchführung von Tests im selben Windkanal eines Boeing-Flugzeugs eine absolut unrealistische Aufgabe.
Formalisierung ermöglicht vordefiniertEigenschaften des zukünftigen Flugzeugs (Luftwiderstand, Seitenwind, Höhe und Parameter des Windkanals selbst und andere Eigenschaften), um einen Flug ohne die Konstruktion eines Flugzeugmodells zu simulieren.
Ein anderes Beispiel ist das Testenneue Maschinen, die von Automobilkonzernen durchgeführt werden. Die wichtigste Formalisierungsmethode ist in diesem Fall, dass alle einen virtuellen Test bestehen und nach dem Erhalt positiver Ergebnisse Prototypen für den Test unter realen Bedingungen in Produktion gehen.
Hauptergebnisse
Das Ergebnis der mathematischen Modellierung in vielerlei Hinsicht(Wenn nicht hundertprozentig, dann mit einer Wahrscheinlichkeit von 95%) ein starkes Argument für die Herstellung moderner Technologie sein kann, 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 unterliegt auch ihren eigenen Gesetzen. Es ist genug, um daran in die richtige Richtung zu arbeiten. Heute sind bereits viele Programme entstanden, mit denen sich die Reaktion der Gesellschaft auf ein Ereignis vorhersagen lässt. Und das sind nicht alle Beispiele für Formalisierung. Wenn wir tiefer graben, stehen wir jeden Tag vor diesem Problem.
Eines der auffälligsten Beispiele für Formalisierung istdie Entdeckung des Higgs-Bosons bei der Kollision von Elementarteilchen im Large Hadron Collider. Aber in der Tat wurde früher angenommen, dass die Existenz dieses Teilchens reine Theorie und absolut nicht durch echte Experimente beweisbar ist.
Fazit
Wie wir sehen, im Konzept der Formalisierung, trotzwissenschaftliche Komplexität des Wesens des Prozesses, ist es einfach, die Beispiele zu verstehen. In den meisten Fällen reduziert sich die Verwendung bestimmter logischer Ketten, die das Endergebnis vorgeben.
