470 Shares 3951 views

¿Cuál es la formalización? método formalización. El concepto, la esencia, las etapas, los resultados, los ejemplos, tipos de formalización

Hoy en día, muy a menudo se puede conocer a mucha término extraño "formalización", y en diversos campos de la ciencia y la tecnología. Para aquellos que quieran ampliar los horizontes de su conocimiento, es recomendable que entender que esta formalización. El artículo se considera la esencia del término y la aplicación práctica del proceso.

¿Cuál es la formalización de un punto de vista científico en un sentido general?

Un pequeño toque en el aspecto científico. Vamos a empezar por el hecho de que la palabra se deriva de la formalización de la palabra "formal", es decir, es condicional, ya veces incluso un concepto abstracto que permite explicar la naturaleza de un objeto o fenómeno inexistente y para predecir sus propiedades en un ambiente particular, con las condiciones iniciales dadas.

La lingüística moderna cualquier idioma no coincide con la expresión de la forma lógica o la naturaleza del pensamiento. Por lo tanto, la lógica vio obligado a utilizar algunos conceptos abstractos para describir un determinado fenómeno. Y hay un concepto relativo de lo que está sucediendo trámites.

Como ya se ha adivinado, la esencia de formalización se reduce a, describir o predeterminar ciertas propiedades del objeto o proceso (ni siquiera existen en el momento) y para predecir su uso en caso de ocurrencia en el mundo real. Pero esta es la idea general. La misma noción de formalización es mucho más amplio. Para comenzar con el foco en la tecnología informática, cuenta cómo en el mundo de la electrónica, se utiliza este término.

formalización del ordenador

Si el sujeto afecta método ordenadores formalización de este tipo es más bien dadas las condiciones iniciales de tratamiento, que permiten un grado suficientemente alto de precisión para determinar el comportamiento subsiguiente del objeto o proceso.

De acuerdo con este principio funciona prácticamente todo el servicio meteorológico. Tener modelo informático ciclón puede predecir su ciclo de potencia y sobre tierra o sobre el agua.

Recuerde que la película "El día de mañana", en el que el científico predijo el calentamiento global, partiendo de esta técnica. Su modelo de computadora fue desarrollado que permite un cierto grado de probabilidad para predecir eventos futuros.

Estos ejemplos están disponibles para explicar que esta formalización.

objetos y procesos principios de modelado que

Los principales métodos de formalización – una previsión y modelado. Aplicar estas tecnologías en exclusiva para el final de los datos sobre los objetos o procesos que no son conocidos, pero se puede suponer con el recuento de alta precisión.

Si nos fijamos en la formalización de las especies, casi todas ellas confinadas a conclusiones lógicas y cálculos. El lector no será difícil establecer un paralelismo entre el modelado por ordenador, teoría de la prueba, y así sucesivamente. E. Sobre la base de axiomas y postulados.

Mira, por la misma teoría de la relatividad de Einstein también podría interpretarse como una formalización del método, porque en la práctica, compruebe la prueba no es posible. En particular esto se aplica a las constantes de propagación de la luz, el tiempo de desaceleración para alcanzar el umbral, aumentando el peso gravitacional del objeto y la curvatura del espacio. Manos, como se suele decir, no se siente y los ojos no pueden ver.

Hubo un tiempo en que era sólo valiente científico de razonamiento sobre la base de experimentos sencillos. Hoy en día, todo esto se confirma por la ciencia oficial sobre la base de la misma simulación por ordenador.

etapas de formalización

Si consideramos el sistema informático, el primer paso para formalizar una descripción del proceso. Pero no utiliza las herramientas habituales de la lengua (letras, palabras, frases, oraciones). Crear un determinado modelo matemático es posible sólo mediante el uso de un determinado algoritmo basado en el lenguaje de programación seleccionado, pero sólo después de la declaración del problema general.

En otras palabras, en la modelización del comportamiento de un evento de proceso objeto o esencia que necesita para describir símbolos puramente matemáticos, utilizando un algoritmo matemático.

El resultado es la obtención de una formalización de análisis de eventos previsibles reales que siguieron después de la tecnología investigado será utilizada en la práctica o cierto proceso natural entra en la existencia real del paso.

La siguiente es la conceptualización del problema. Hay dos variantes: en el primer caso se trata de un enfoque específico en la forma de uso de los atributos y características; segunda opción implica el uso de un análisis cognitivo, por no mencionar la formulación del problema, la colección inicial de datos utilizado, las condiciones, y así sucesivamente. d.

Siguiendo las definiciones y condiciones iniciales estudió relación existente entre los objetos y los procesos, así como las denominadas relaciones semánticas, lo que implica el uso de técnicas de representación locales.

Esto es seguido por el procesamiento de los datos iniciales basados en el algoritmo seleccionado, y luego devuelve el resultado que indica el porcentaje de error. Por lo general, no supera el 5%, y en la mayoría de los casos el resultado de la probabilidad alcanza el 99%. Cualquier persona o máquina todavía dejarán el "margen de seguridad" para circunstancias imprevistas, porque todo no puede ser tomado en cuenta.

¿Por qué es necesario todo esto?

Si usted entiende estos principios permiten el análisis del comportamiento de los objetos y procesos. En otras palabras, es posible predecir quién desarrollará un proceso en particular.

Ahora está claro que dicha formalización. Veamos un ejemplo sencillo.

de formalización de aplicación en la práctica, los ejemplos más simples

Digamos, algunos expertos han desarrollado un nuevo diseño de la aeronave. Dado el alto costo del proyecto de construcción de un modelo del tamaño original sin la previsión anterior de su comportamiento en el aire es totalmente inadecuado para la tarea. Por otra parte, las pruebas en el mismo avión túnel de viento del tamaño de un Boeing es tarea absolutamente imposible.

Permite la formalización de características predeterminadas de las futuras aeronaves (resistencia del aire, viento lateral, altura, y la mayoría de los parámetros de túnel de viento y otras características) modelar el vuelo de aeronaves sin un modelo construido.

Otro ejemplo es la prueba de nuevas máquinas, las empresas de automoción mantenidas. El método básico de formalización, en este caso radica en el hecho de que en un principio se llevó a cabo una prueba virtual, y después de recibir los resultados positivos de las muestras de prueba se ejecutan en la producción de probar en condiciones reales.

Los principales resultados

El resultado de la modelación matemática en muchos (si no un cien por ciento, a continuación, con una probabilidad del 95%) puede ser un poderoso argumento a favor de la producción de la tecnología moderna, ayudará a predecir el tiempo, incluso a predecir el comportamiento social como una reacción a los acontecimientos en el mundo.

Sí, sí! Formación de la opinión pública en el mundo, también está sujeto a sus propias leyes. Lo suficiente como para influir en la dirección nuzhnoi. Hoy en día, se creó una gran cantidad de programas para predecir la reacción del público a tal o cual evento. Y esto no es todas las instancias de la formalización. Si profundizamos, nos enfrentamos al mismo problema todos los días.

Uno de los ejemplos más llamativos pueden mencionarse formalización y detección Higgs en colisiones de partículas elementales en gran colisionador de hadrones. Pero antes se creía que la existencia de esta partícula – la teoría pura, y no es en absoluto la experiencia del mundo real demostrable.

conclusión

Como vemos, la noción de formalización, a pesar de la complejidad de la esencia científica del proceso, es fácil de entender ejemplos. En la mayoría de los casos se llega a utilizar algunas cadenas lógicas, predeterminar el resultado.