Dè an formalization? formalization dòigh. Tha a 'bhun-bheachd, smior, ìrean, toraidhean, eisimpleirean, seòrsa formalization

An-diugh, glè thric faodaidh tu coinneachadh ri tòrr de neònach-ùine "formalization", agus ann an diofar raointean de saidheans agus teicneolas. Airson an fheadhainn a tha ag iarraidh a leudachadh Horizons de eòlas aca air, tha e glic a 'tuigsinn gu bheil seo formalization. Tha an artaigil a thèid beachdachadh air brìgh na h-ùine agus a chur an gnìomh air a 'phròiseas.

Dè an formalization saidheansail sealladh ann an seagh coitcheann?

Beagan fios air an taobh saidheansail. Nach tòisich bhon gu bheil am facal a 'tighinn bhon formalization an fhacail "" foirmeil,' se sin a tha e air chumha, agus uaireannan fiù 's an eas-chruthach' bhun-bheachd a 'leigeil a' mìneachadh nàdar de neo-bhitheach nì no iongantas agus gus ro-innse a cuid seilbheachdan ann an sònraichte àrainneachd le an a thoirt chiad h.

Cànanachas sam bith nuadh-chànan chan eil an aon àm ri chur an cèill a chur an cruth no nàdar smaoineachadh. Mar sin, an loidsig fhèin 'fheudar do' cleachdadh cuid de na bun-bheachdan eas-chruthach airson innse mu cuid de iongantas. Agus tha càirdeach bun-bheachd air dè tha a 'tachairt foirmealachdan.

Mar a tha mar-thà a-mach gur e, brìgh formalization a 'tighinn sìos gu, a mhìneachadh no a predetermine feartan sònraichte an nì no phròiseas (chan eil fiù' s ann aig an àm seo) agus a ro-innse a chleachdadh ann an cùis a nochdas san t-saoghal. Ach tha seo na beachd coitcheann. Tha fìor smuain de formalization tha mòran nas fharsainge. Airson tòiseachadh le fòcas air teicneòlas coimpiutaireachd, 'beachdachadh air mar ann an saoghal na eileagtronaigeach, an teirm seo a chleachdadh.

coimpiutair formalization

Ma tha an cuspair a 'toirt buaidh air coimpiutairean formalization dòigh-seòrsa seo air an àite a thoirt chiad leigheas h-, a leigeas àrd gu leòr ìre mionaideachd gu co-dhùnadh an dèidh sin air an giùlan air nì no phròiseas.

A rèir a 'phrionnsabail seo ag obair gu pragtaigeach a h-uile seirbheis aimsir. An dèidh cyclone modal coimpiutair urrainn ro-innse a chumhachd a rothaireachd agus air fearann no uisge thairis.

Cuimhnich an fhilm "The Day After Tomorrow," anns a bheil an-saidheans an dùil blàthachadh na cruinne, a 'dol bho dòigh seo. A 'choimpiutair, modail a chaidh a leasachadh a leig àraidh ceum air coltachd gus àm ri teachd ro-innse tachartasan.

Na h-eisimpleirean a tha rim faotainn gus a 'mìneachadh gur e seo formalization.

nithean prionnsapalan agus pròiseasan modaileadh

Tha na prìomh mhodhan formalization - a sìde agus modaileadh. Cuir a-steach teicneòlasan leithid a-mhàin airson a 'chuairt dheireannach dàta mu na nithean no pròiseasan nach eil aithnichte, ach faodar a bheachd le àrd neo-mhearachdachd a' cunntadh.

Ma tha thu a 'coimhead air na formalization de ghnèithean, cha mhòr a h-uile dhiubh a chuingealachadh gu loidsigeach co-dhùnaidhean agus àireamhachadh. Tha an leughadair nach bi e doirbh dealbh a dhèanamh eadar co-shìnte ris a 'choimpiutair modaileadh, dearbhadh teòiridh, agus mar sin air. E. Air bunait axioms agus postulates.

Seall, airson an aon Einstein an teòiridh relativity Dh'fhaodadh cuideachd a bhith air am mìneachadh mar formalization an dòigh, a chionn ann an cleachdadh, sùil air an dearbhadh nach eil e comasach. Gu sònraichte seo a 'buntainn ri solas propagation cunbhalachdan, an deceleration àm a choileanadh an stairsnich, meudachadh air an talamh cuideam an cuspair agus an curvature rùm. Hands, mar a chanas iad, chan eil e a 'faireachdainn agus an sùilean nach fhaic.

Aon uair air àm b 'e a-mhàin treun reusanachadh-saidheans air bunait deuchainnean sìmplidh. An-diugh, tha seo uile a dhaingneachadh le bhith a 'oifigeil saidheans air bunait an aon choimpiutair atharrais.

ìrean de formalization

Ma tha sinn a 'beachdachadh air a' choimpiutair, a 'chiad cheum anns a' foirmealachadh pròiseas tuairisgeul. Ach chan eil e a 'cleachdadh àbhaisteach innealan cànain (litrichean, faclan, abairtean, sentences). Cruthaich sònraichte matamataigeach modail e comasach a-mhàin le bhith a 'cleachdadh cuid de algairim stèidhichte air an taghadh cànan prògramaidh, ach a-mhàin an dèidh aithris air an fharsaingeachd duilgheadas.

Ann am briathran eile, ann an dealbhadh a 'giùlan an rud no phròiseas tachartas brìgh a dh'fheumas sibh innse dìreach matamataigeach samhlaidhean, a' cleachdadh matamataig ann ris an algairim.

Tha seo fhaighinn a formalization fìor mion-sgrùdadh a 'leantainn pàtran àbhaisteach tachartasan a lean às dèidh rannsachadh a dhèanamh air teicneòlas a thèid a chleachdadh anns a' chleachdadh àraidh no pròiseas nàdarra a 'sruthadh dhan fìor bith de na cheum.

Tha na leanas a 'conceptualization na trioblaid. Tha dà Tionndaidhean: anns a 'chiad chùis a tha e dòigh-obrach shònraichte ann an cruth a' cleachdadh na buadhan is feartan; dàrna roghainn a 'cleachdadh mion-sgrùdadh a inntinneil, gun luaidh air an cruthachadh an trioblaid, a' chiad chruinneachadh den dàta air a chleachdadh, cumhaichean, agus mar sin air adhart. d.

Às dèidh na mìneachaidhean agus ciad h-sgrùdadh a th 'ann dàimh eadar rudan agus pròiseasan, a thuilleadh air a' cho-ainm Semantic dàimhean, dèanamh a-mach a 'cleachdadh dòighean-obrach ionadail a riochdachadh.

Tha seo air a leantainn le bhith a 'làimhseachadh a' chiad dàta stèidhichte air an algairim air a thaghadh, agus an uair sin a 'tilleadh air an toradh a' sealltainn an àireamh sa cheud de mhearachd. Mar as trice chan eil e nas àirde na 5%, agus sa chuid as motha de chùisean thoradh air an coltachd a 'ruighinn 99%. Neach sam bith no inneal a bhios fhathast a 'fàgail "sàbhailteachd iomall" airson unforeseen shuidheachaidhean, a chionn h-uile càil nach urrainn a bhith air a ghabhail a-steach.

Carson a tha a h-uile seo riatanach?

Ma tha thu a 'tuigsinn na prionnsapalan sin a cheadachadh airson mion-sgrùdadh air giùlan nithean agus pròiseasan. Ann am briathran eile, tha e comasach gus ro-innse a thèid a leasachadh gu h-àraidh a 'phròiseas.

Tha e a-nis soilleir gu bheil a leithid formalization. Nach coimhead sìmplidh, mar eisimpleir.

Iarrtas formalization ann an cleachdadh, a 's simplidh eisimpleirean

Nach can, tha cuid de dh'eòlaichean a leasachadh itealan ùr dealbhadh. Leis an cosgais àrd a 'phròiseact a thogail modail a' chiad meud gun ro-làimh Aimsir a ghiùlan ann an èadhar a tha e gu tur mì-fhreagarrach airson an obair. Os bàrr, na deuchainnean ann an aon gaoithe tunail itealain meud Boeing tha dìreach do-dhèanta obair.

Tha e a 'toirt cothrom airson formalization de ro-shuidhichte feartan san àm ri teachd itealain (air aghaidh, taobh-gaoithe, àirde, agus as gaoithe tunail crìochan agus feartan eile) Modail an itealain a' sgèith gun modail a thogail.

Tha eisimpleir eile ann an deuchainnean a innealan ùra, a chaidh a chumail carbadan-companaidhean. Tha bunaiteach dòigh formalization, sa chùis seo na laighe ann gu bheil iad aig a 'chiad chumail bhiortail deuchainn, agus an dèidh a' faighinn deagh toraidhean deuchainn a sampaill a tha a 'ruith ann an toradh gu deuchainn ann am fìor-h.

Tha a 'phrìomh toraidhean

Tha thoradh matamataigeach modaileadh ann an iomadh (mura ceud às a 'cheud, agus an uair sin le coltachd 95%) a bhith cumhachdach argamaid ann am fàbhar a' dèanamh teicneòlas nuadh, cuidichidh ro-innse na sìde fiù 's ro-innse shòisealta mar reaction air na tachartasan anns an t-saoghal.

Seadh, seadh! Formation de bheachd poblach san t-saoghal, cuideachd, tha an cuspair aca fhèin laghan. Gu leòr airson buaidh a thoirt dha ann an nuzhnoi stiùireadh. An-diugh, tha e a chruthachadh tòrr de phrògraman a ro-innse a 'phoball reaction seo no gun tachartas. Agus chan eil seo gach ionstans a formalization. Ma tha sinn a 'cladhach nas doimhne, tha sinn an aghaidh an aon trioblaid a h-uile latha.

Aon de na iongantaiche eisimpleirean a dh'fhaodadh a bhith air an ainmeachadh formalization agus lorgaidh boson ann de thubaistean bhunaiteach pìosan ann Large Hadron Collider. Ach bu tràithe a chaidh a 'creidsinn gun robh seo Particle - teòiridh fìor-ghlan, agus tha e dìreach nach eil comas follaiseach fìor-eòlas an t-saoghail.

co-dhùnadh

Mar a chì sinn, an smuain de formalization, a dh'aindeoin na iom-fhillteachd na saidheansail brìgh a 'phròiseas, tha e furasta a thuigsinn eisimpleirean. Anns a 'chuid as motha de chùisean a thig e sìos gu bhith a' cleachdadh cuid de loidsigeach slabhraidhean, predetermine a 'bhuil.