Cal é a formalización? método formalización. O concepto, esencia, etapas, resultados, exemplos, tipos de formalización

Hoxe en día, moitas veces podes atopar unha morea de estraño termo "formalización", e en varios campos da ciencia ea tecnoloxía. Para os que queren ampliar os horizontes do seu coñecemento, é aconsellable a entender que esta formalización. O artigo considerarase a esencia do termo e da aplicación práctica do proceso.

Cal é a formalización dun punto de vista científico dun modo xeral?

Un pequeno toque no aspecto científico. Imos comezar a partir do feito de que a palabra é derivada da formalización da palabra "formal", é dicir, é condicional, e ás veces ata un concepto abstracto que permite explicar a natureza dun obxecto non existe ou fenómeno e prever as súas propiedades nun ambiente especial, coas condicións iniciais dadas.

Lingüística calquera linguaxe moderna non coincide coa expresión de forma lóxica ou a natureza do pensamento. Así, a propia lóxica forzado a usar algúns conceptos abstractos para describir un determinado fenómeno. E non hai un concepto relativo do que está pasando formalidades.

Como xa adiviñou, a esencia da formalización vén abaixo, para describir ou predeterminar certas propiedades do obxecto ou proceso (nin mesmo existir no momento) e prever o seu uso en caso de aparición no mundo real. Pero esta é a idea xeral. A propia idea de formalización é moito máis amplo. Para comezar con foco en tecnoloxía de ordenador, considerada como no mundo da electrónica, este termo é usado.

formalización ordenador

Se o suxeito afectar método ordenadores formalización deste tipo é, en vez dadas as condicións iniciais de tratamento, que permiten un grao suficientemente elevado de precisión para determinar o comportamento posterior do obxecto ou proceso.

Segundo este principio funciona practicamente todo servizo de meteoroloxía. Tendo modelo informático ciclón pode predicir o seu ciclo de poder e sobre a terra ou sobre a auga.

Teña en conta que da película "O Día Despois de Mañá", en que o científico previu o quecemento global, procedendo a partir desa técnica. O seu modelo de ordenador foi desenvolvido que permitiu un certo grao de probabilidade para prever eventos futuros.

Estes exemplos están dispoñibles para explicar que esta formalización.

obxectos e procesos de modelado principios

Os principais métodos de formalización - unha previsión e modelaxe. Aplicar estas tecnoloxías en exclusiva para os datos finais sobre os obxectos ou procesos que non son coñecidos, pero pode presumir-se con conta de alta precisión.

Se ollar para a formalización das especies, case todas elas confinado a conclusións lóxicas e cálculos. O lector non será difícil de trazar un paralelo entre a modelaxe computacional, teoría da proba, e así por diante. E. Baseado axiomas e postulados.

Mira, para a mesma teoría da relatividade de Einstein , tamén podería ser interpretado como unha formalización do método, porque, na práctica, comprobe a proba non é posible. En particular, isto aplícase a constantes de propagación de luz, o tempo de desaceleración a acadar o limiar, aumentando o peso gravitacional do obxecto ea curvatura do espazo. Mans, como eles din, non se sente e os ollos non poden ver.

Era unha vez que era único científico razoamento bravo en base a experiencias simples. Hoxe, todo iso é confirmado pola ciencia oficial sobre a base dunha mesma simulación de ordenador.

etapas de formalización

Se consideramos o sistema informático, o primeiro paso para formalizar unha descrición do proceso. Pero el non usa as ferramentas habituais da linguaxe (letras, palabras, frases, sentenzas). Crear un específico modelo matemático só é posible a través do uso dun determinado algoritmo baseado na linguaxe de programación escollida, pero só despois da declaración do problema xeral.

Noutras palabras, en modelar o comportamento dunha esencia obxecto ou acontecemento proceso que precisa para describir símbolos puramente matemáticos, usando un algoritmo matemático.

O resultado é a obtención dunha formalización reais de análises de eventos previsibles que se seguiron despois tecnoloxía investigada ha ser utilizados na práctica é determinado proceso natural entra na existencia real do paso.

O seguinte é a conceptualización do problema. Hai dúas variantes: no primeiro caso, é unha visión específica en forma de usar os atributos e características; segunda opción implica o uso dunha análise cognitiva, para non mencionar a formulación do problema, a recollida inicial de datos utilizado, condicións, e así por diante. d.

Seguindo as definicións e condicións iniciais estudou relación existente entre os obxectos e procesos, así como as chamadas relacións semánticas, o que implica o uso de técnicas de representación locais.

Isto é seguido por procesamento dos datos iniciais en base ao algoritmo seleccionado, e, a continuación, devolve o resultado que indica a porcentaxe de erro. Normalmente non exceda 5%, e na maioría dos casos, o resultado da probabilidade chega a 99%. Calquera persoa ou máquina aínda vai deixar a "marxe de seguridade" para circunstancias imprevistas, porque todo non pode ser tido en conta.

Por todo iso é necesario?

Se entender estes principios permiten a análise do comportamento de obxectos e procesos. Noutras palabras, é posible prever quen desenvolverá un proceso concreto.

É agora claro que tal formalización. Vexamos un exemplo simples.

formalización aplicación na práctica, os exemplos máis simples

Digamos, algúns expertos desenvolveron un novo deseño de aeronaves. Dado o alto custo do proxecto para construír un modelo do tamaño orixinal sen previsión anterior do seu comportamento no aire é totalmente inapropiada para a tarefa. Ademais, as probas na mesma aeronave túnel de vento do tamaño dun Boeing é tarefa absolutamente imposible.

Permite a formalización de características predeterminadas de aeronaves futuro (resistencia do ar, vento lateral, a altura, ea maioría dos parámetros de túnel de vento e outras características) modelar a aeronave que voa sen un modelo construído.

Outro exemplo é a proba de novas máquinas, empresas automotivas realizadas. O método básico de formalización, neste caso, reside no feito de que a principios realizaron unha proba virtual, e despois de recibir os resultados positivos de mostras de proba son executados na produción para probar en condicións reais.

Os principais resultados

O resultado da modelaxe matemáticas en moitos (se non cen por cento, a continuación, con probabilidade do 95%) pode ser un argumento poderoso en favor da produción de tecnoloxía moderna, vai axudar a predicir o tempo ata prever o comportamento social como unha reacción aos acontecementos do mundo.

Si, si! Formación da opinión pública no mundo, tamén, é suxeito ás súas propias leis. O suficiente para influír lo na dirección nuzhnoi. Hoxe, creou unha serie de programas para prever a reacción do público a este ou aquel evento. E iso non é todas as instancias de formalización. Se nós cavar máis fondo, enfrontamos o mesmo problema todos os días.

Un dos exemplos máis destacados poden ser mencionados formalización e detección Higgs en colisións de partículas elementais en Gran Colisionador Hadron. Pero no inicio críase que a existencia desta partícula - teoría pura, e non é absolutamente demostrable experiencia no mundo real.

conclusión

Como podemos ver, a noción de formalización, a pesar da complexidade da esencia científica do proceso, é doado de entender exemplos. Na maioría dos casos trátase de utilizar algunhas cadeas lóxicas, predeterminar o resultado.