Quelle est la formalisation? Procédé de formalisation. Le concept, l'essence, les étapes, les résultats, les exemples, les types de formalisation

Aujourd'hui, vous pouvez très souvent rencontrer beaucoup de terme étrange « formalisation », et dans divers domaines de la science et de la technologie. Pour ceux qui veulent élargir les horizons de leurs connaissances, il est conseillé de comprendre que cette formalisation. L'article sera considéré comme l'essence du terme et l'application pratique du processus.

Quelle est la formalisation d'un point de vue scientifique dans un sens général?

Une petite touche sur l'aspect scientifique. Commençons par le fait que le mot est dérivé de la formalisation du mot « formel », à savoir qu'il est conditionnel, et parfois même un concept abstrait qui permet d'expliquer la nature d'un objet ou d'un phénomène inexistant et de prédire ses propriétés dans un environnement particulier avec les conditions initiales données.

Linguistique ne importe quelle langue moderne ne coïncide pas avec l'expression de la forme logique ou de la nature de la pensée. Ainsi, la logique elle-même forcé d'utiliser des concepts abstraits pour décrire un certain phénomène. Et il y a un concept relatif de ce qui est des formalités qui se passe.

Comme il a déjà deviné, l'essence de formalisation se résume à, pour décrire ou de prédéterminer certaines propriétés de l'objet ou d'un processus (même ne pas exister pour le moment) et de prévoir son utilisation en cas d'apparition dans le monde réel. Mais cela est l'idée générale. La notion même de formalisation est beaucoup plus large. Pour commencer l'accent sur la technologie informatique, pensez à faire dans le monde de l'électronique, ce terme est utilisé.

formalisation informatique

Si le sujet affecte les ordinateurs méthode de formalisation de ce type est plutôt des conditions de traitement initiales données, qui permettent un degré suffisamment élevé de précision pour déterminer le comportement ultérieur de l'objet ou processus.

Selon ce principe fonctionne pratiquement tous les services météorologiques. Avoir un modèle informatique cyclone peut prédire son cycle de puissance et sur la terre ou sur l'eau.

Rappelez-vous le film « The Day After Tomorrow », où le scientifique a prédit le réchauffement climatique, en procédant de cette technique. Son modèle informatique a été développé qui a permis à un certain degré de probabilité de prédire des événements futurs.

Ces exemples sont disponibles pour expliquer que cette formalisation.

objets et processus principes de modélisation

Les principales méthodes de formalisation – une prévision et de modélisation. Appliquer ces technologies exclusivement pour les données finales sur les objets ou les processus qui ne sont pas connus, mais on peut supposer avec un nombre élevé de précision.

Si vous regardez la formalisation des espèces, presque tous confinés à des conclusions et des calculs logiques. Le lecteur ne sera pas difficile d'établir un parallèle entre la modélisation informatique, théorie de la démonstration, et ainsi de suite. E. Sur la base des axiomes et postulats.

Regardez, pour la même théorie de la relativité d' Einstein pourrait aussi être interprété comme une formalisation de la méthode, car dans la pratique, vérifier la preuve est impossible. En particulier, cela vaut pour les constantes de propagation de la lumière, le temps de décélération pour atteindre le seuil, l'augmentation du poids de gravitation de l'objet et la courbure de l'espace. Les mains, comme on dit, il ne se sent pas et les yeux ne peuvent pas voir.

Il était une fois, il était seul scientifique de raisonnement courageux sur la base des expériences simples. Aujourd'hui, tout cela est confirmé par la science officielle sur la base de la même simulation sur ordinateur.

les étapes de formalisation

Si l'on considère le système informatique, la première étape dans l'officialisation d'une description du processus. Mais il ne pas utiliser les outils habituels du langage (lettres, mots, phrases, des phrases). Créer un spécifique modèle mathématique est possible uniquement en utilisant un certain algorithme basé sur le langage de programmation choisi, mais seulement après l'énoncé du problème général.

En d'autres termes, dans la modélisation du comportement d'une essence d'objet ou d'un événement de processus, vous devez décrire des symboles purement mathématiques, en utilisant un algorithme mathématique.

Le résultat est d'obtenir une formalisation analyse réelle des événements prévisibles qui ont suivi après la technologie étudiée sera utilisée dans la pratique ou certains processus naturel entre l'existence réelle de l'étape.

Ce qui suit est la conceptualisation du problème. Il existe deux variantes: dans le premier cas, il est une approche spécifique sous la forme d'utiliser les attributs et caractéristiques; deuxième option consiste à utiliser une analyse cognitive, sans parler de la formulation du problème, la collecte initiale de données utilisé, les conditions, et ainsi de suite. d.

A la suite des définitions et des conditions initiales a étudié la relation existant entre les objets et les processus, ainsi que les soi-disant relations sémantiques, ce qui implique l'utilisation de techniques de représentation locale.

Ceci est suivi par le traitement des données initiales basées sur l'algorithme sélectionné, puis renvoie le résultat qui indique le pourcentage d'erreur. Habituellement, il ne dépasse pas 5%, et dans la plupart des cas, le résultat de la probabilité atteint 99%. Toute personne ou d'une machine laissera encore la « marge de sécurité » pour des circonstances imprévues, parce que tout ne peut pas être pris en compte.

Pourquoi tout cela est-il nécessaire?

Si vous comprenez ces principes permettent d'analyser le comportement des objets et des processus. En d'autres termes, il est possible de prédire qui développera un processus particulier.

Il est maintenant clair que cette formalisation. Regardons un exemple simple.

formalisation de l'application dans la pratique, les exemples les plus simples

Disons que, certains experts ont mis au point une nouvelle conception des avions. Compte tenu du coût élevé du projet de construction d'un modèle de la taille d'origine sans la prévision préalable de son comportement dans l'air, il est tout à fait inapproprié pour la tâche. De plus, les tests dans le même avion en soufflerie la taille d'un Boeing est une tâche absolument impossible.

Il permet de modéliser de formalisation des caractéristiques prédéterminées de futur avion (résistance à l'air, un vent latéral, la hauteur et la plupart des paramètres de soufflerie et d'autres caractéristiques) l'aéronef volant sans un modèle construit.

Un autre exemple est l'essai de nouvelles machines, tenues les constructeurs automobiles. La méthode de base de formalisation, dans ce cas réside dans le fait que d'abord ils ont organisé un test virtuel, et après avoir reçu des résultats positifs des échantillons d'essai sont exécutés dans la production pour tester en conditions réelles.

Les principaux résultats

Le résultat de la modélisation mathématique dans beaucoup (sinon à cent pour cent, puis avec une probabilité de 95%) peut être un puissant argument en faveur de la production de la technologie moderne, va aider à prédire le temps même prédire le comportement social en réaction aux événements dans le monde.

Oui, oui! La formation de l'opinion publique dans le monde, aussi, est soumis à ses propres lois. De quoi l'influencer dans le sens nuzhnoi. Aujourd'hui, il a créé beaucoup de programmes pour prédire la réaction du public à tel ou tel événement. Et ce n'est pas tous les cas de formalisation. Si nous creuser plus profond, nous sommes confrontés au même problème tous les jours.

L' un des exemples les plus frappants peut citer la formalisation et la détection de Higgs dans des collisions de particules élémentaires dans un grand collisionneur de hadrons. Mais plus tôt on croyait que l'existence de cette particule – théorie pure, et il est absolument pas démontrable expérience du monde réel.

conclusion

Comme on le voit, la notion de formalisation, malgré la complexité de l'essence scientifique du processus, il est facile de comprendre des exemples. Dans la plupart des cas, il se résume à l'aide de certaines chaînes logiques, prédéterminer le résultat.