Որն է, որ formalization: ձեւակերպում մեթոդը: Հայեցակարգով, էությունը, փուլերը, արդյունքները, օրինակները, տեսակները ֆորմալացման

Այսօր, շատ հաճախ կարելի է հանդիպել շատ տարօրինակ ժամկետով »ձեւակերպումից», եւ տարբեր ոլորտներում գիտության եւ տեխնոլոգիայի. Նրանց համար, ովքեր ցանկանում են ընդլայնել հորիզոններ իրենց գիտելիքներով, դա նպատակահարմար է հասկանալ, որ այս ֆորմալացման: Որ հոդվածը կքննարկվի էությունն ժամկետով եւ գործնական կիրառումը գործընթացի:

Որն է ֆորմալ բնույթ է գիտական տեսանկյունից է ընդհանուր իմաստով.

Մի քիչ դիպչել է գիտական տեսանկյունից: Սկսենք նրանից, որ խոսքը ստացված ձեւակերպելու բառի «ձեւական», այսինքն `դա պայմանավորված է, իսկ երբեմն նույնիսկ վերացական հասկացություն է, որը թույլ է տալիս բացատրել բնույթը գոյություն չունեցող օբյեկտի կամ երեւույթի եւ կանխատեսել իր հատկությունները տվյալ միջավայրում հետ տրված նախնական պայմաններին:

Լեզվաբանություն որեւէ ժամանակակից լեզու չի համընկնում արտահայտության տրամաբանական ձեւով կամ բնույթից մտածողության. Այսպիսով, տրամաբանությունը ինքն ստիպված է օգտագործել որոշ վերացական հասկացությունները է նկարագրելու մի որոշակի երեւույթ է: Եվ կա մի հարաբերական հասկացություն է, թե ինչ է տեղի ունենում ձեւականությունների:

Ինչպես արդեն guessed այն, էությունը ֆորմալացման գալիս է իջնում է, որպեսզի նկարագրել կամ կանխորոշելու որոշակի հատկությունների օբյեկտի կամ գործընթացի (ոչ էլ գոյություն տվյալ պահին), եւ կանխատեսել դրա օգտագործումը առաջացման դեպքում է իրական աշխարհում. Բայց սա ընդհանրապես գաղափար է. Հասկացությունը ֆորմալացման շատ ավելի լայն է. Սկսել կենտրոնանալով վրա համակարգչային տեխնոլոգիաների, մտածեք, թե ինչպես է աշխարհում էլեկտրոնիկայի, այդ տերմինը օգտագործվում է:

համակարգչային ձեւակերպում

Եթե թեման ազդում համակարգիչներ ձեւակերպում մեթոդը, այս տիպի այլ ոչ թե տրվում նախնական բուժման այնպիսի պայմաններ, որոնք թույլ են տալիս մի բավականաչափ բարձր աստիճանի ճշտության է որոշելու հետագա վարքագիծը օբյեկտի կամ գործընթացի.

Ըստ այս սկզբունքի աշխատանքները գրեթե բոլոր եղանակի ծառայություն: Ունենալով ցիկլոն համակարգչային մոդելը կարող կանխատեսել իր հզորության ցիկլը եւ ավելի հողի կամ ավելի ջուր.

Հիշում ֆիլմը «Վաղը չէ մյուս օրը», որի մեջ գիտնականը կանխատեսվող գլոբալ տաքացման, ելնելով այդ տեխնիկան: Նրա համակարգչային մոդելը մշակվել է, որ թույլ է տվել մի որոշակի աստիճանը հավանականության կանխատեսել հետագա իրադարձությունները:

Այս օրինակները հասանելի են բացատրել, որ այս ֆորմալացման:

օբյեկտների եւ գործընթացներ մոդելավորման սկզբունքները

Հիմնական մեթոդները ֆորմալացման - ը կանխորոշում եւ մոդելավորում: Դիմել այնպիսի տեխնոլոգիաներ բացառապես համար վերջնական տվյալները օբյեկտների կամ գործընթացների, որոնք հայտնի չեն, սակայն կարելի է ենթադրել, բարձր ճշգրտությամբ հաշվարկի:

Եթե դուք նայում ձեւակերպելու տեսակների, գրեթե բոլորն էլ սահմանափակվում է տրամաբանական եզրակացությունների եւ հաշվարկների: Որ ընթերցողը չի կարող լինել դժվար է զուգահեռ անցկացնել համակարգչային մոդելավորման, ապացույց տեսության, եւ այլն: E. հիման վրա axioms եւ հիմնադրույթների.

Նայիր, նույն Ալբերտ Էյնշտեյնի հարաբերականության տեսությունը կարող է նաեւ մեկնաբանվել որպես ֆորմալացման մեթոդի, քանի որ գործնականում, ստուգեք ապացույց հնարավոր չէ: Մասնավորապես դա վերաբերում է թեթեւ տարածման հաստատունների, դանդաղում ժամանակն է հասնել շեմը, ավելացնելով gravitational ծանրությունը օբյեկտի եւ թեքություն տարածության. Ձեռքեր, քանի որ նրանք ասում են, դա չի զգում, եւ աչքերը չեն կարող տեսնել:

Լինում է, չի դա միայն խիզախ պատճառաբանելով, գիտնական հիման վրա պարզ փորձերի. Այսօր, այս ամենը հաստատվում է պաշտոնական գիտության հիման վրա նույն համակարգչային մոդելավորում:

փուլերն ֆորմալացման

Եթե հաշվի առնենք, որ համակարգչային համակարգը, առաջին քայլն է ձեւավորել գործընթացի նկարագրություն: Բայց դա չի օգտագործել սովորական գործիքները, լեզվի (տառեր, բառեր, արտահայտություններ, նախադասություններ): Ստեղծել հատուկ մաթեմատիկական մոդելը հնարավոր է միայն օգտագործելով որոշակի ալգորիթմ հիման վրա ընտրված ծրագրավորման լեզվի, սակայն միայն այն բանից հետո հայտարարության մեջ ընդհանուր խնդրի.

Այլ կերպ ասած, մոդելավորման պահվածքը մի օբյեկտ կամ գործընթաց միջոցառման, ըստ էության, դուք պետք է նկարագրել զուտ մաթեմատիկական նշաններ, օգտագործելով մաթեմատիկական ալգորիթմ:

Արդյունքն ակնառու է, ձեռք բերել ֆորմալացնել փաստացի վերլուծություն կանխատեսելի դրան հաջորդած իրադարձություններին հետո հետազոտվել տեխնոլոգիան կարող է օգտագործվել է գործնականում կամ որոշակի բնական գործընթաց մտնում իրական գոյությունը քայլի:

Հետեւյալ է conceptualization խնդրի. Կա երկու տարբերակ `առաջին դեպքում դա մի կոնկրետ մոտեցում է ձեւով օգտագործելով հատկանիշները եւ բնութագրեր. երկրորդ տարբերակը ներառում է օգտագործման ճանաչողական վերլուծության, էլ չենք խոսում, որ ձեւակերպման խնդրի, նախնական հավաքածուն տվյալների օգտագործվում, պայմանները, եւ այլն: d:

Հետեւելով սահմանումները եւ նախնական պայմանների ուսումնասիրվել առկա փոխհարաբերությունները, օբյեկտների եւ գործընթացների, ինչպես նաեւ, այսպես կոչված, իմաստաբանական հարաբերություններ, նկատի ունենալով օգտագործումը տեղական ներկայացուցչական տեխնիկայի.

Սա հետեւեց մշակման նախնական տվյալների հիման վրա ընտրված ալգորիթմի, եւ ապա վերադարձնում արդյունքը, նշելով տոկոսը սխալի. Սովորաբար դա չի գերազանցի 5% -ը, իսկ շատ դեպքերում արդյունքն է հավանականության հասնում է 99%: Ցանկացած անձ, կամ մեքենա դեռ լքել «անվտանգության միջակայքն» համար չնախատեսված հանգամանքների, քանի որ ամեն ինչ չի կարելի հաշվի առնել:

Թե ինչու է այս ամենը անհրաժեշտ է.

Եթե դուք հասկանում եք, որ այդ սկզբունքները թույլ են տալիս վերլուծության նպատակով վարքագծի օբյեկտների եւ գործընթացների. Այլ կերպ ասած, դա հնարավոր է կանխատեսել, թե ով պետք է զարգացնել որոշակի գործընթաց:

Այժմ պարզ է, որ նման ֆորմալացման: Եկեք նայենք մի պարզ օրինակ.

Դիմում ֆորմալացում գործնականում, ամենապարզ օրինակները

Եկեք ասում են, որոշ փորձագետներ մշակել է մի նոր օդանավի դիզայն. Հաշվի առնելով բարձր նախագծի արժեքը կառուցելու մոդելը բուն չափի առանց նախնական կանխատեսման իր վարքի օդում դա ամբողջությամբ անհամապատասխան համար խնդիր է: Ընդ որում, թեստերը, նույն քամու թունելի օդանավի չափը մի Boeing բացարձակապես անհնարին խնդիր է.

Այն թույլ է տալիս ֆորմալացման նախանշված բնութագրերի ապագա ինքնաթիռներ (օդային դիմադրության, կողային քամու, բարձրության, եւ շատ քամու թունելի պարամետրերի եւ այլ բնութագրերի) մակնիշի օդանավ թռչող առանց կառուցված մոդելի.

Մեկ այլ օրինակ է փորձարկումը նոր մեքենաների կայացած ավտոմոբիլային ընկերությունների. Հիմնական մեթոդը ֆորմալացման, այս դեպքում կայանում է նրանում, որ սկզբում նրանք անցկացրել վիրտուալ քննությունը, եւ ստանալուց հետո դրական արդյունքներն փորձանմուշների են վազում է արտադրության փորձարկել է իրական պայմաններում:

Հիմնական արդյունքները

Արդյունք է մաթեմատիկական մոդելավորման շատերը (եթե ոչ մի հարյուր տոկոսով, ապա հավանականությունը 95%), կարող է հզոր փաստարկ է հօգուտ արտադրության ժամանակակից տեխնոլոգիաների, կօգնի կանխատեսել եղանակը, նույնիսկ կանխատեսել սոցիալական վարքագիծը որպես արձագանք այն իրադարձությունների աշխարհում.

Այո, այո! Ձեւավորումը հասարակական կարծիքի աշխարհում, եւս, ենթակա է իր սեփական օրենքներով: Բավական է ազդել նրան, nuzhnoi ուղղությամբ: Այսօր, այն ստեղծել է բազմաթիվ ծրագրերի կանխատեսել հանրային արձագանքը այս կամ այն իրադարձությունը: Եւ սա ոչ բոլոր դեպքերը ֆորմալացման: Եթե մենք խորանալ, մենք կանգնած ենք նույն խնդրի ամեն օր.

Մեկը առավել վառ օրինակներից կարելի է նշել, պաշտոնականացումը եւ հայտնաբերման Higgs է բախումների տարրական մասնիկների Large Hadron Collider. Բայց ավելի վաղ ենթադրվում էր, որ գոյության այս մասնիկի մաքուր տեսությունը, եւ դա բացարձակապես չի ապացուցելի իրական աշխարհի փորձը.

եզրափակում

Քանի որ մենք տեսնում ենք, որ հասկացություն ֆորմալացման, չնայած բարդության գիտական էությանը գործընթացի, դա շատ հեշտ է հասկանալ, թե օրինակներ: Շատ դեպքերում դա գալիս է իջնում է, օգտագործելով որոշ տրամաբանական շղթաներ, կանխորոշել: