Yuav ua li cas yog lub formalization? formalization txoj kev. Lub tswvyim, essence, theem, tau, piv txwv, hom formalization

Niaj hnub no, ntau heev koj yuav tau raws li ib tug ntau ntawm coj txawv txawv lub sij hawm "formalization", thiab nyob rau hauv ntau yam teb ntawm science thiab technology. Rau cov neeg uas xav kom nthuav lub horizons ntawm lawv cov kev paub, nws yog advisable kom to taub hais tias qhov no formalization. Cov tsab xov xwm yuav tsum tau suav hais tias yog essence ntawm lub sij hawm thiab ua daim ntawv thov ntawm tus txheej txheem.

Yuav ua li cas yog lub formalization ntawm ib tug scientific point of saib nyob rau hauv ib tug general kev txiav txim zoo?

Ib me ntsis kov rau lub scientific nam. Cia peb pib los ntawm qhov tseeb hais tias lo lus yog muab tau los ntawm cov formalization ntawm lo lus "formal", piv txwv li nws yog nyob ntawm, thiab tej zaum kuj txawm tias ib tug paub daws teeb tswvyim uas tso cai rau los mus piav qhia qhov xwm ntawm ib tug uas tsis yog-existent yam khoom los yog tshwm sim thiab twv seb nws cov khoom nyob rau hauv ib tug tej tus muab thawj zaug tej yam kev mob.

Linguistics tej niaj hnub lus tsis coincide nrog cov kev qhia ntawm cov zajlus kom daim ntawv los yog qhov kev xav. Yog li, qhov logic nws tus kheej yuam kom siv ib co paub daws teeb lub tswv yim los mus piav txog ib tug tej yam tshwm sim. Thiab muaj ib tug txheeb ze tswvyim ntawm dab tsi tshwm sim formalities.

Raws li twb guessed nws, lub essence ntawm formalization los mus, mus piav qhia txog los yog mus rau predetermine tej thaj chaw ntawm yam khoom los sis cov txheej txheem (tsis txawm muaj nyob rau lub caij) thiab twv seb nws siv nyob rau hauv cov ntaub ntawv ntawm tshwm sim nyob rau hauv lub ntiaj teb no tiag. Tab sis qhov no yog lub tswv yim xwb. Tus heev notion ntawm formalization yog npaum li cas nrug. Yuav pib nrog tsom xam rau computer technology, xav txog yuav ua li cas nyob rau hauv lub ntiaj teb no ntawm electronics, qhov no lub sij hawm yog siv.

computer formalization

Yog hais tias qhov kev kawm muaj kev cuam tshuam computers formalization txoj kev no hom yog es muab thawj zaug kev kho mob tej yam kev mob, uas tso cai rau ib tug txaus high degree ntawm cov neeg los mus txiav txim hauv lub tom ntej tus cwj pwm ntawm tus kwv los yog cov txheej txheem.

Raws li txoj ntsiab cai no ua hauj lwm suab tag nrho cov huab cua kev pab cuam. Muaj cyclone computer qauv yuav twv seb nws lub hwj chim voj voog thiab tshaj av los yog tshaj dej.

Nco ntsoov tus yeeb yam "Lub Hnub Tom qab Tag kis," nyob rau hauv uas tus paub txog kwv yees ntiaj teb no ua kom sov, cov tswv yim los ntawm cov txheej txheem no. Nws computer qauv yog tsim uas tso cai rau ib tug tej yam degree ntawm qhov muaj tseeb rau koj twv seb rau yav tom ntej cov txheej xwm.

Cov piv txwv yog muaj nyob rau cov piav qhia txog hais tias qhov no formalization.

khoom thiab cov txheej txheem modeling hauv paus ntsiab lus

Lub ntsiab txoj kev formalization - ib tug forecasting thiab modeling. Thov xws technologies heev dua lwm yam rau qhov kawg cov ntaub ntawv hais txog cov khoom los yog kev siv uas tsis tau paub, tab sis nws yuav lam xav nrog siab cov neeg suav.

Yog hais tias koj saib nyob rau hauv lub formalization ntawm hom, yuav luag tag nrho cov ntawm lawv ceev cov zajlus kom xaus thiab suav. Tus nyeem ntawv yuav tsis tau yooj yim mus rau kos thaum uas tig mus nyob nruab nrab ntawm lub computer modeling, pov thawj txoj kev xav, thiab thiaj li nyob. E. Nyob rau lub hauv paus ntawm axioms thiab postulates.

Saib, rau tib lub Einstein tus lub hom phiaj ntawm Relativity kuj muab txhais raws li ib tug formalization ntawm txoj kev, vim hais tias nyob rau hauv kev xyaum, xyuas cov pov thawj yog tsis tau. Nyob rau hauv kev no siv rau lub teeb hais tawm constants, lub deceleration lub sij hawm mus cuag cov chaw pib, ua lub gravitational luj ntawm tus kwv thiab tus curvature ntawm qhov chaw. Txhais tes, raws li lawv hais, nws tsis hnov thiab qhov muag pom tsis tau.

Ib zaug thaum ib lub sij hawm nws yog tsuas yog siab tawv kev xav paub txog rau lub hauv paus ntawm tej yam yooj yim thwmsim. Niaj hnub no, tag nrho cov no yog paub tseeb hais tias los ntawm hauj science rau lub hauv paus ntawm lub tib lub computer simulation.

theem ntawm formalization

Yog hais tias peb xav txog lub computer system, thawj kauj ruam nyob rau hauv formalizing ib tug txheej txheem hauj lwm. Tab sis nws tsis siv li ib txwm cov cuab yeej ntawm hom lus (cov tsiaj ntawv, lo lus, tej zaj lus, kab lus). Tsim ib lub zauv qauv yog tau tsuas yog los ntawm kev siv ib tug tej yam algorithm raws li nyob rau hauv lub xaiv programming lus, tab sis tsuas yog tom qab cov lus ntawm cov kev teeb meem.

Nyob rau hauv lwm yam lus, nyob rau hauv modeling cov cwj pwm ntawm ib tug kwv los yog cov txheej txheem kev tshwm sim essence koj yuav tsum piav qhia txog purely zauv cim, siv ib tug lej algorithm.

Cov no kom tau ib tug formalization tiag tiag tsom xam kom paub tseeb tseeb txheej xwm uas ua raws li tom qab soj ntsuam technology yuav siv nyob rau hauv qhov kev xyaum los yog tej yam ntuj txheej txheem nkag mus rau hauv lub tiag tiag hav zoov ntawm cov kauj ruam.

Cov nram qab no yog cov conceptualization ntawm qhov teeb meem. Muaj ob variants: nyob rau hauv thawj cov ntaub ntawv nws yog ib txog kev mus kom ze nyob rau hauv daim ntawv ntawm kev siv cov pas thiab cov yam ntxwv; kev xaiv thib ob yuav siv ntawm ib tug txawj ntse tsom xam, tsis hais lub formulation ntawm qhov teeb meem, thawj zaug sau ntawm cov ntaub ntawv siv, tej yam kev mob, thiab hais txog. d.

Ua raws li cov lus txhais thiab thawj zaug tej yam kev mob uas twb muaj lawm kawm kev sib raug zoo ntawm cov khoom thiab cov txheej txheem, raws li zoo raws li lub thiaj li hu ua semantic kev sib raug zoo, implying siv ntawm lub zos sawv cev kev kawm.

Qhov no yog ua raws li los ntawm cov zauv thawj zaug ntaub ntawv raws li nyob rau hauv lub xaiv algorithm, thiab ces rov tshwm sim qhia qhov feem pua ntawm kev ua yuam kev. Feem ntau nws tsis pub tshaj 5%, thiab nyob rau hauv Feem ntau qhov tshwm sim ntawm qhov yuav tshwm nce mus txog 99%. Ib tug neeg twg los yog lub tshuab yuav tseem tawm hauv lub "kev ruaj ntseg paj tau paj" rau tsi xam pom muaj tshwm sim, vim tias txhua yam yuav hloov tsis tau mus rau hauv tus account.

Yog vim li cas yog tag nrho cov no tsim nyog?

Yog hais tias koj to taub tej ntsiab cai pub rau kev tsom xam ntawm tus cwj pwm ntawm cov khoom thiab cov txheej txheem. Nyob rau hauv lwm yam lus, nws yog ua tau rau koj twv seb leej twg yuav tsim ib tug txheej txheem.

Nws yog tam sim no kom meej hais tias xws li formalization. Cia saib ib tug piv txwv yooj yim.

Daim ntawv thov formalization nyob rau hauv kev xyaum, qhov nyuaj piv txwv

Wb hais tias, ib txhia kws tau tsim ib tug tshiab aircraft tsim. Muab tus nqi ntawm qhov kev tsim los tsim kom tau ib tug qauv ntawm cov thawj loj tsis muaj lub ua ntej forecast ntawm nws tus cwj pwm nyob rau hauv cov huab cua nws yog nkaus tsis tsim nyog rau cov neeg ua hauj lwm. Ntxiv mus, cov kev ntsuam xyuas nyob rau hauv tib lub cua qhov aircraft qhov luaj li cas ntawm ib tug Boeing yog kiag li tsis yooj yim sua ua hauj lwm.

Nws tso cai rau rau formalization ntawm predetermined yam ntxwv ntawm yav tom ntej aircraft (huab cua kuj, sab cua, qhov siab, thiab feem ntau cua qhov tsis thiab lwm yam ntxwv) qauv rau aircraft ya tsis muaj ib tug ua qauv.

Lwm cov piv txwv yog lub xeem ntawm tshiab machines, nyob tsheb tuam txhab uas muag. Cov yooj yim txoj kev ntawm formalization, nyob rau hauv cov ntaub ntawv no yog lus dag nyob rau hauv lub fact tias nyob rau hauv thawj lawv muaj ib tug virtual xeem, thiab tom qab tau txais zoo tau ntawm kev kuaj kuaj yog khiav nyob rau hauv ntau lawm los sim nyob rau hauv tiag tiag tej yam kev mob.

Lub ntsiab tau

Cov tshwm sim ntawm zauv modeling nyob rau hauv ntau (yog hais tias tsis muaj ib puas feem pua, ces nrog ntau yam 95%) muaj peev xwm ua tau ib tug haib sib cav nyob rau hauv dej siab ntawm tus zus tau tej cov niaj hnub siv tshuab, yuav pab twv seb cov huab cua txawm twv seb kev coj cwj pwm raws li ib tug tshuaj tiv thaiv rau cov txheej xwm nyob rau hauv lub ntiaj teb no.

Yog, yog! Tsim kom muaj pej xeem lub tswv yim nyob rau hauv lub ntiaj teb no, ib yam nkaus thiab, yog raug rau nws tus kheej cov kev cai. Txaus feem xyuam rau txoj rau nws nyob rau hauv nuzhnoi kev taw qhia. Niaj hnub no, nws tau tsim ib tug ntau ntawm cov kev pab cuam rau koj twv seb cov pej xeem cov tshuaj tiv thaiv rau qhov no los yog qhov kev tshwm sim. Thiab qhov no yog tsis yog txhua txhua zaus ntawm formalization. Yog hais tias peb khawb tob, peb fim qhov teeb meem qub txhua txhua hnub.

Ib tug ntawm cov feem ntau cov tawm piv txwv tej zaum yuav tau hais formalization thiab nrhiav kom tau Higgs nyob rau hauv collisions ntawm elementary hais nyob rau hauv loj hadron collider. Tab sis ua ntej lawm nws twb ntseeg tau tias lub hav zoov ntawm no particle - ntshiab kev tshawb xav, thiab nws yog kiag li tsis demonstrable real-lub ntiaj teb no kev.

xaus

Raws li peb pom, lub notion ntawm formalization, nyob rau hauv kev phem ntawm lub complexity ntawm lub scientific essence ntawm tus txheej txheem, nws yog ib qho yooj yim to taub piv txwv. Nyob rau hauv feem ntau nws los mus rau siv ib co zajlus kom chains, predetermine lub sij hawm.