형식화은 무엇인가? 공식화 방법. 공식화 개념, 본질, 단계, 결과, 예, 유형

오늘은, 매우 자주, 과학 및 기술의 다양한 분야에서 '형식화'이상한 용어를 많이 만날 수 있습니다. 지식의 지평을 확장하려는 사람들을 위해,이 공식화 것을 이해하는 것이 좋습니다. 이 문서는 용어의 본질과 과정의 실용적인 응용 프로그램 간주됩니다.

일반적인 의미에서 과학적인 관점의 형식화는 무엇입니까?

과학적인 측면에 작은 터치. 의 존재하지 않는 개체 또는 현상의 본질을 설명하고 주어진 초기 조건과 특정 환경에서 속성을 예측할 수있는 단어가 조건부 즉, "공식적인"라는 단어의 형식화에서 파생 된, 때로는 추상적 인 개념된다는 사실에서 시작하자.

언어학 현대의 언어는 논리적 인 양식이나 사고의 본질의 표현과 일치하지 않습니다. 따라서, 논리 자체는 어떤 현상을 설명하기 위해 몇 가지 추상적 인 개념을 사용하도록 강제했다. 그리고 절차를 무슨 일이 일어나고 있는지의 상대 개념이있다.

이미 짐작으로 형식화의 본질을 설명하거나 개체 또는 프로세스의 특정 속성을 미리 결정하는 (심지어 순간에 존재하지)와 현실 세계에서 발생하는 경우에 사용을 예측하기 위해, 아래에 제공됩니다. 그러나 이것은 일반적인 생각이다. 공식화 바로 그 개념은 매우 광범위하다. 컴퓨터 기술에 초점을 시작하려면 전자의 세계에서,이 용어가 사용되는 방법을 고려한다.

컴퓨터 형식화

피사체 경우 영향이 유형의 컴퓨터 공식화 방법보다는 개체 또는 프로세스의 다음 행동을 결정 정밀도가 충분히 높은 초기 있도록 처리 조건을 설명한다.

이 원칙에 따르면 거의 모든 기상 서비스를 사용할 수 있습니다. 데 사이클론 컴퓨터 모델은 땅이나 물 위에 및 전원주기를 예측할 수 있습니다.

과학자는이 기술에서 진행, 지구 온난화를 예측하는 영화 "투모로우"를 기억하십시오. 자신의 컴퓨터 모델은 확률이 어느 정도는 미래의 사건을 예측하기 위해 허용이 개발되었다.

이러한 예는이 공식화 것을 설명 할 수 있습니다.

객체와 프로세스 모델링 원칙

공식화의 주요 방법 - 예측 및 모델링. 독점적으로 알 수없는 객체 또는 프로세스에 대한 최종 데이터 등의 기술을 적용하지만, 높은 정확도 카운트 가정 할 수있다.

당신이 종의 형식화를 보면, 거의 모든 이들의 논리적 결론과 계산에 국한. 독자는 두 컴퓨터 모델링 증명 이론 사이의 평행을 그리 어려울 아닌 것이다. E. 공리 및 가설에 기초.

같은 들어 봐 아인슈타인의 상대성 이론이 실제로 증명이 불가능 확인하기 때문에 또한, 방법의 형식화로 해석 될 수있다. 이것은 광 전파 상수 적용 특히, 감속 시간은 대상물의 중량과 중력 공간의 곡률의 증가는 임계 값을 달성한다. 손, 그들이 말하는대로, 그것은 생각하지 않고 눈을 볼 수 없습니다.

옛날에이 간단한 실험의 기초 만 용감한 추론 과학자였다. 오늘날,이 모든는 같은 컴퓨터 시뮬레이션에 근거하여 공식 과학에 의해 확인된다.

공식화 단계

우리는 컴퓨터 시스템, 프로세스 설명을 공식화하는 첫 번째 단계를 고려합니다. 그러나 언어 (문자, 단어, 구, 문장)의 일반적인 도구를 사용하지 않습니다. 특정 만들기 수학적 모델은 단지 선택된 프로그래밍 언어를 기반으로 특정 알고리즘을 사용하여 수 있지만 일반적인 문제의 문 뒤에.

즉, 객체 또는 프로세스 이벤트 본질의 동작을 모델링에 당신은 수학적 알고리즘을 사용하여, 순수 수학 기호를 설명해야합니다.

그 결과, 조사 기술은 실시에 사용되는 천연 또는 특정 프로세스 단계의 실제 존재를 입력 한 후에 다음에 공식화 실제 분석 예측 이벤트를 얻는 것이다.

다음은 문제의 개념화이다. 두 가지 변종이 있습니다 : 첫 번째 경우는 속성과 특성을 이용하여 형태의 특정 방법이다; 두 번째 방법은 초기 데이터 수집 등, 조건을 사용하고. D를인지 분석 언급하지 않는 문제점의 제제의 사용을 포함한다.

정의 및 초기 조건을 따르면 로컬 표현 기법의 사용을 의미하는, 객체, 프로세스들 간의 기존의 관계뿐만 아니라, 소위 시맨틱 관계를 연구 하였다.

이것은 선택 알고리즘에 기초하여 상기 초기 데이터를 처리 한 후, 후 오류의 비율을 나타내는 결과를 반환한다. 보통은 5 %를 초과하지 않으며, 대부분의 경우에서 확률의 결과가 99 %에 도달한다. 모든 사람 또는 기계는 여전히에 대한 "안전 여유"떠나 , 예기치 못한 상황에 모든 것이 고려 될 수 있기 때문이다.

왜이 모든 필요하다?

당신이 이해한다면 이러한 원칙은 객체와 프로세스의 행동을 분석 할 수 있습니다. 즉, 특정 프로세스를 개발 누가 예측하는 것이 가능하다.

여기에는 형식화 이제 분명하다. 간단한 예를 살펴 보자.

실제로 응용 프로그램 형식화, 간단한 예제

의 말을하자, 일부 전문가들은 새로운 항공기 디자인을 개발했다. 이 작업에 완전히 부적절한 공중에 그 동작의 사전 예측없이 원래 크기의 모델을 구축하는 프로젝트의 높은 비용을 감안할 때. 또한, 같은 풍동 항공기 보잉의 크기의 테스트는 절대적으로 불가능한 작업이다.

그것은 내장 모델없이 항공기 비행 모형 항공기 미래 (공기 저항 측면 바람 높이, 가장 바람 터널 파라미터 및 다른 특성)의 소정 특성을 공식화 허용한다.

또 다른 예는 새로운 기계 개최 자동차 회사의 테스트입니다. 이 경우 형식화의 기본 방법은 처음에 그들은 가상 테스트 개최, 테스트 샘플의 긍정적 인 결과를받은 후 실제 환경에서 테스트하기 위해 생산에서 실행된다는 사실에있다.

주요 결과

많은 (다음 확률 95 %와 백 아니라면 퍼센트)의 수학적 모델링의 결과는 날씨도 세계에서 이벤트에 대한 반응으로 사회적 행동을 예측하는 예측하는 데 도움이됩니다, 현대 기술의 생산에 찬성하는 강력한 인자가 될 수 있습니다.

그래, 그래! 세계 여론의 형성은 역시 자신의 법률의 적용을받습니다. nuzhnoi 방향으로 그 영향을 미칠 정도로. 오늘,이 또는 이벤트에 대한 대중의 반응을 예측하기 위해 많은 프로그램을 만들었습니다. 그리고 이것은 공식화의 모든 인스턴스가 아닙니다. 우리가 더 깊이 파고 경우에, 우리는 매일 같은 문제에 직면하고 있습니다.

가장 눈에 띄는 사례 중 하나는 형식화 및 탐지를들 수있다 힉스를 대형 강 입자의 입자 가속기의 기본 입자의 충돌에. 순수 이론, 그리고 절대적으로 입증 실제 경험하지 않습니다 -하지만 일찍이 입자의 존재가 있다고 믿었다.

결론

우리가 볼 때, 형식화의 개념, 프로세스의 과학적인 본질의 복잡성에도 불구하고, 예를 이해하기 쉽습니다. 대부분의 경우 몇 가지 논리적 체인을 사용하여, 결과를 미리 결정 내려 온다.