Kio estas la formaligo? formaligo metodo. La koncepto, esenco, stadioj, rezultoj, ekzemploj, specoj de formaligo

Hodiaŭ, tre ofte vi povas renkonti multajn strangajn termino "formaligo", kaj en diversaj kampoj de scienco kaj teknologio. Por tiuj kiuj volas pligrandigi la horizontojn de iliaj scio, estas rekomendinde kompreni ke tiu formaligo. La artikolo estos konsiderata la esenco de la termino kaj la praktika aplikado de la procezo.

Kio estas la formaligo de scienca vidpunkto en ĝenerala senco?

Iom tuŝo sur la scienca aspekto. Ni komencu de tio ke la vorto devenas de la formaligo de la vorto "formala", tio estas, estas kondiĉa, kaj foje eĉ abstrakta koncepto kiu permesas klarigi la naturon de neekzistanta objekto aŭ fenomeno kaj antaŭdiri liajn proprietojn en aparta medio kun la donita komencaj kondiĉoj.

Lingvistiko ajna moderna lingvo ne koincidas kun la esprimo de logika formo aŭ naturo de pensado. Tiel, la logiko devigita uzi iuj abstraktaj konceptoj por priskribi certan fenomeno. Kaj tie estas relativa koncepto de kio okazas formalaĵojn.

Kiel jam divenis, la esenco de formaligo venas malsupren al, por priskribi aŭ predetermine certaj ecoj de la objekto aŭ procezo (eĉ ekzistas nuntempe) kaj antaŭdiri lian uzon en kazo de apero en la reala mondo. Sed tio estas la ĝenerala ideo. La nocio de formaligo estas multe pli vasta. Por komenci fokuson sur komputila teknologio, konsideri kiel en la mondo de la elektroniko, tiu termino estas uzata.

komputilo formaligo

Se la temo influas komputiloj formaligo metodo de ĉi tiu tipo estas pli donita komencan traktadon kondiĉoj, kiuj permesas sufiĉe altan gradon de precizeco por determini la postaj konduto de la objekto aŭ procezo.

Laŭ ĉi tiu principo funkcias preskaŭ ĉiuj vetero servon. Havante ciklono komputila modelo povas antaŭdiri lia potenco ciklo kaj super tero aŭ super akvo.

Memoru la filmo "La tago post mateno," en kiu la sciencisto antaŭdiris tutmonda varmiĝo, elirantan el tiu tekniko. Lia komputila modelo estis disvolvita kiu permesis certan gradon de probablo antaŭdiri estontecon okazaĵoj.

Ĉi tiuj ekzemploj estas disponeblaj por klarigi ke tiu formaligo.

objektoj kaj procezoj modeligado principoj

La ĉefa metodoj de formaligo - a prognozanta kaj modelado. Apliki tiajn teknologiojn ekskluzive por la fina datumoj pri la celoj aŭ procezoj kiuj ne konas, sed ĝi povas supozi kun granda precizeco grafo.

Se vi rigardas la formaligo de specioj, preskaŭ ĉiuj el ili limigis al logika konkludoj kaj kalkuloj. La leganto ne estos malfacile desegni paralela inter la komputilo modelado, pruva teorio, kaj tiel plu. E. Surbaze de aksiomoj kaj postulatoj.

Rigardu, por la sama Einstein fizika relativeco povus ankaŭ esti interpretita kiel formaligo de la metodo, ĉar praktike, kontrolu la pruvo ne eblas. Aparte ĉi validas por malpezaj disvastigo konstantoj, la desaceleración tempon por atingi la sojlon, pliigante la gravitaj pezo de la objekto kaj la kurbeco de spaco. Manoj, kiel oni diras, ne senti kaj la okuloj ne povas vidi.

Iam estis nur kuraĝa rezonado sciencisto surbaze de simplaj eksperimentoj. Hodiaŭ, ĉiuj ĉi estas konfirmita de oficiala scienco surbaze de la sama komputilo simulación.

stadioj de formaligo

Se ni konsideras la komputilo sistemo, la unua paŝo en formaligi procezo priskribo. Sed ĝi ne uzas la kutimaj iloj de lingvo (literoj, vortoj, frazoj, frazoj). Krei specifan matematika modelo eblas nur uzante certan algoritmo bazita sur la elektitaj programlingvo, sed nur post la deklaro de la ĝenerala problemo.

Alivorte, en modeli la konduton de objekto aŭ procezo okazaĵo esenco vi devas priskribi pure matematikaj simboloj, uzante matematika algoritmo.

La rezulto estas akiri formaligo reala analizo antaŭvideblaj okazaĵoj kiuj sekvis post esploris teknologio estos uzata en la praktiko aŭ iuj naturaj procezo eniras la realan ekziston de la paŝo.

La jena estas la conceptualización de la problemo. Ekzistas du variantoj: en la unua kazo estas specifa alproksimiĝo en la formo de uzi la atributoj kaj karakterizaĵoj; dua eblo engaĝas la uzo de kogna analizo, kaj kompreneble la formulado de la problemo, la komenca kolekto de datumoj uzita, kondiĉoj, kaj tiel plu. d.

Sekvanta la difinoj kaj komencaj kondiĉoj studis ekzistantan rilaton inter objektoj kaj procezoj, kaj ankaŭ la tiel nomata semantika rilatoj, implicante la uzon de lokaj reprezento teknikoj.

Tio estas sekvita per procesante la komencajn datumojn surbaze de la elektita algoritmo, kaj poste redonas la rezulton indikas la procenton de eraro. Ĝi kutime ne superas la 5%, kaj en plej multaj kazoj la rezulto de la probablo atingas 99%. Ajna persono aŭ maŝino ankoraŭ forlasi la "sekureco rando" ĉar neantaŭviditajn cirkonstancoj, ĉar ĉio oni ne povas konsideri.

Kial ĉio ĉi necesaj?

Se vi komprenas tiujn principojn enkalkulas analizon de la konduto de objektoj kaj procezoj. Alivorte, eblas antaŭdiri kiu disvolvos aparta procezo.

Nun klare ke tia formaligo. Ni rigardu simpla ekzemplo.

Apliko formaligo praktike, la plej simpla ekzemploj

Imagu ke, iuj fakuloj evoluigis novajn aviadildezajno. Pro la alta kosto de la projekto por konstrui modelon de la originala grandeco sen la antaŭa prognozo de ĝia konduto en la aero estas tute netaŭga por la tasko. Cetere, la testoj en la sama vento tunelo aviadilojn la grandeco de Boeing estas absolute neebla tasko.

Ĝi enkalkulas formaligo de antaŭdeterminita karakterizaĵoj de estontaj aviadiloj (aero rezisto, flanko venton, alteco, kaj plej vento tunelo parametroj kaj aliaj karakterizaĵoj) modeligi la aviadilo flugi sen konstruita modelo.

Alia ekzemplo estas la testado de novaj maŝinoj, tenis automotriz kompanioj. La baza metodo de formaligo, en ĉi tiu kazo kuŝas en tio, ke unue ili tenis virtualan provo, kaj post ricevi pozitivan rezultoj de testo specimenoj estas kuri en produktado por testi en reala kondiĉoj.

La ĉefa rezultoj

La rezulto de matematika modeligado en multaj (se ne cent procento, tiam kun probablo 95%) povas esti potenca argumento favore al la produktado de moderna teknologio, helpos antaŭdiri la veteron eĉ antaŭdiri socia konduto kiel reago al la okazaĵoj en la mondo.

Jes, jes! Formado de publika opinio de la mondo, ankaŭ, estas subjekto al liaj propraj leĝoj. Sufiĉe influi lin nuzhnoi direkto. Hodiaŭ, ĝi kreis multajn programojn antaŭdiri la publika reago al tiu aŭ tiu okazaĵo. Kaj tio ne ĉiuj petskribojn de formaligo. Se ni fosi pli profunden, oni alfrontas la saman problemon ĉiutage.

Unu el la plej okulfrapaj ekzemploj povas mencii formaligo kaj detección de Higgs en kolizioj de elementaj partikloj en Granda Hadrona. Sed pli frue oni supozis, ke la ekzisto de ĉi tiu partiklo - pura teorio, kaj ĝi estas absolute ne pruvebla reala mondo sperto.

konkludo

Kiel ni vidas, la nocio de formaligo, malgraŭ la komplekseco de la scienca esenco de la procezo, estas facile kompreni ekzemploj. Plej ofte reduktas al uzante iun logika ĉenoj, predetermine la rezulto.