Qual é a formalização? método formalização. O conceito, essência, estágios, resultados, exemplos, tipos de formalização

Hoje em dia, muitas vezes você pode encontrar um monte de estranho termo "formalização", e em vários campos da ciência e tecnologia. Para aqueles que querem expandir os horizontes do seu conhecimento, é aconselhável a entender que esta formalização. O artigo será considerado a essência do termo e da aplicação prática do processo.

Qual é a formalização de um ponto de vista científico de um modo geral?

Um pequeno toque no aspecto científico. Vamos começar a partir do fato de que a palavra é derivada da formalização da palavra "formal", ou seja, é condicional, e às vezes até um conceito abstrato que permite explicar a natureza de um objeto inexistente ou fenómeno e prever suas propriedades em um ambiente especial, com as condições iniciais dadas.

Lingüística qualquer linguagem moderna não coincide com a expressão de forma lógica ou a natureza do pensamento. Assim, a própria lógica forçado a usar alguns conceitos abstratos para descrever um determinado fenômeno. E não há um conceito relativo do que está acontecendo formalidades.

Como já adivinhou, a essência da formalização vem para baixo, para descrever ou predeterminar certas propriedades do objeto ou processo (nem mesmo existir no momento) e prever a sua utilização em caso de ocorrência no mundo real. Mas esta é a idéia geral. A própria noção de formalização é muito mais amplo. Para começar com foco em tecnologia de computador, considere como no mundo da eletrônica, este termo é usado.

formalização computador

Se o sujeito afectar método computadores formalização deste tipo é, em vez dadas as condições iniciais de tratamento, que permitem um grau suficientemente elevado de exactidão para determinar o comportamento subsequente do objecto ou processo.

De acordo com este princípio funciona praticamente todo serviço de meteorologia. Tendo modelo de computador ciclone pode prever o seu ciclo de poder e sobre a terra ou sobre a água.

Lembre-se do filme "O Dia Depois de Amanhã", em que o cientista previu o aquecimento global, procedendo a partir dessa técnica. Seu modelo de computador foi desenvolvido que permitiu um certo grau de probabilidade para prever eventos futuros.

Estes exemplos estão disponíveis para explicar que esta formalização.

objectos e processos de modelagem princípios

Os principais métodos de formalização – uma previsão e modelagem. Aplicar essas tecnologias exclusivamente para os dados finais sobre os objetos ou processos que não são conhecidos, mas pode presumir-se com contagem de alta precisão.

Se você olhar para a formalização das espécies, quase todas elas confinado a conclusões lógicas e cálculos. O leitor não será difícil de traçar um paralelo entre a modelagem computacional, teoria da prova, e assim por diante. E. Com base axiomas e postulados.

Olha, para a mesma teoria da relatividade de Einstein , também poderia ser interpretado como uma formalização do método, porque, na prática, verifique a prova não é possível. Em particular, isto aplica-se a constantes de propagação de luz, o tempo de desaceleração a atingir o limiar, aumentando o peso gravitacional do objecto e a curvatura do espaço. Mãos, como eles dizem, ele não se sente e os olhos não podem ver.

Era uma vez que era único cientista raciocínio bravo com base em experiências simples. Hoje, tudo isso é confirmado pela ciência oficial sobre a base de uma mesma simulação de computador.

estágios de formalização

Se considerarmos o sistema de computador, o primeiro passo para formalizar uma descrição do processo. Mas ele não usa as ferramentas habituais da linguagem (letras, palavras, frases, sentenças). Criar um específico modelo matemático só é possível através da utilização de um determinado algoritmo baseado na linguagem de programação selecionada, mas apenas após a declaração do problema geral.

Em outras palavras, em modelar o comportamento de uma essência objeto ou evento processo que você precisa para descrever símbolos puramente matemáticos, usando um algoritmo matemático.

O resultado é a obtenção de uma formalização reais de análise de eventos previsíveis que se seguiram depois tecnologia investigada irá ser utilizados na prática ou determinado processo natural entra na existência real do passo.

O seguinte é a conceituação do problema. Há duas variantes: no primeiro caso, é uma abordagem específica na forma de usar os atributos e características; segunda opção implica a utilização de uma análise cognitiva, para não mencionar a formulação do problema, a recolha inicial de dados utilizado, condições, e assim por diante. d.

Seguindo as definições e condições iniciais estudou relação existente entre os objetos e processos, bem como as chamadas relações semânticas, o que implica o uso de técnicas de representação locais.

Isto é seguido por processamento dos dados iniciais com base no algoritmo seleccionado, e, em seguida, retorna o resultado que indica a percentagem de erro. Normalmente não exceda 5%, e na maioria dos casos, o resultado da probabilidade chega a 99%. Qualquer pessoa ou máquina ainda vai deixar a "margem de segurança" para circunstâncias imprevistas, porque tudo não pode ser levado em conta.

Por tudo isso é necessário?

Se você entender estes princípios permitem a análise do comportamento de objetos e processos. Em outras palavras, é possível prever quem irá desenvolver um processo particular.

É agora claro que tal formalização. Vejamos um exemplo simples.

formalização aplicação na prática, os exemplos mais simples

Digamos, alguns especialistas desenvolveram um novo design de aeronaves. Dado o alto custo do projeto para construir um modelo do tamanho original sem a previsão anterior de seu comportamento no ar é totalmente inapropriada para a tarefa. Além disso, os testes na mesma aeronave túnel de vento do tamanho de um Boeing é tarefa absolutamente impossível.

Ela permite a formalização de características predeterminadas de aeronaves futuro (resistência do ar, vento lateral, a altura, e a maioria dos parâmetros de túnel de vento e outras características) modelar a aeronave que voa sem um modelo construído.

Outro exemplo é o teste de novas máquinas, empresas automotivas realizadas. O método básico de formalização, neste caso, reside no fato de que no início eles realizaram um teste virtual, e depois de receber os resultados positivos de amostras de teste são executados na produção para testar em condições reais.

Os principais resultados

O resultado da modelagem matemática em muitos (se não cem por cento, em seguida, com probabilidade de 95%) pode ser um argumento poderoso em favor da produção de tecnologia moderna, vai ajudar a prever o tempo até mesmo prever o comportamento social como uma reacção aos acontecimentos do mundo.

Sim, sim! Formação da opinião pública no mundo, também, é sujeito às suas próprias leis. O suficiente para influenciá-lo na direção nuzhnoi. Hoje, ele criou uma série de programas para prever a reação do público a este ou aquele evento. E isso não é todas as instâncias de formalização. Se nós cavar mais fundo, enfrentamos o mesmo problema todos os dias.

Um dos exemplos mais marcantes podem ser mencionados formalização e detecção Higgs em colisões de partículas elementares em grande colisor hádron. Mas no início acreditava-se que a existência desta partícula – teoria pura, e não é absolutamente demonstrável experiência no mundo real.

conclusão

Como podemos ver, a noção de formalização, apesar da complexidade da essência científica do processo, é fácil de entender exemplos. Na maioria dos casos se trata de usar algumas cadeias lógicas, predeterminar o resultado.