Rəsmiləşdirmə nədir? Rəsmiləşdirmə üsulu. Konsepsiya, mahiyyət, mərhələlər, nəticə, nümunələr, rəsmiləşdirmə növləri

Bu gün çox "anlaşma" və "elm və texnologiyanın müxtəlif sahələrində" bir çox anlaşılmaz şərtlərlə görüşmək mümkündür. Onların biliklərinin üfüqlərini genişləndirmək istəyənlər formalizmin nə olduğunu başa düşmək olar. Məqalədə bu müddətin mahiyyəti və prosesin praktik tətbiqi nəzərdən keçiriləcəkdir.

Ümumi mənada elmi baxımdan formalaşma nədir?

Bir az elmi cəhətdən toxunuruq. Sözün formalaşdırılması sözün formalaşdırılması sözündən, yəni mövcud olmayan bir obyektin və ya fenomenin xarakterini izah etməyə və müəyyən şərtlərdə müəyyən bir mühitdə onun xüsusiyyətlərini proqnozlaşdırmağa imkan verən şərti və bəzən soyuq bir konsepsiyadir.

Hər hansı bir müasir dilin linqvistikası tamamilə mantıksal formaların və düşüncə xarakterinin ifadəsiylə örtüşmür. Beləliklə, məntiqin özü müəyyən bir soyqırımı anlayışlarını müəyyən bir fenomeni təsvir etmək üçün istifadə etməyə məcburdur. Beləliklə, baş verənlərin rəsmiləşdirilməsinin nisbi anlayışı var.

Təsəvvür etmək asandır, çünki formalizmin mahiyyəti bir obyektin və ya prosesin bəzi xassələrini (hətta mövcud deyil) təsvir etmək və ya müəyyənləşdirmək və real dünya göründüyü halda tətbiqi proqnozlaşdırmaq üçün azalır. Lakin bu ümumi bir fikirdir. Rəsmiləşdirmə konsepsiyası daha genişdir. Əvvəla, kompüter texnologiyasına diqqət yetirək, bu konsepsiyanın elektron dünyaya necə tətbiq edildiyini görürük.

Kompüter formalaşdırılması

Kompüter mövzusuna toxunursanız, bu tip formalaşdırma üsulu, bir obyektin və ya prosesin daha çox davranışını yüksək dəqiqliklə müəyyən etməyə imkan verən başlanğıc şərtlərin işlənməsi deyil.

Demək olar ki, bütün hava xidmətləri bu prinsip üzərində işləyir. Bir siklonun kompüter modelinə malik olan torpaq və su sahəsi üzərində dövrü və gücünü təxmin etmək mümkündür.

Alim, qlobal istiləşməni öngören, belə bir texnika ilə davam edən "Sabahdan sonra gün" filmini xatırlayın. O, müəyyən dərəcədə ehtimal olunan hadisələri proqnozlaşdırmağa imkan verən bir kompüter modeli hazırladı.

Bu nümunələr formalizmin nə olduğunu izah etmək üçün mövcuddur.

Obyektlərin və proseslərin modelləşdirilməsi prinsipləri

Rəsmiləşdirmənin əsas metodları proqnozlaşdırma və modelləşdirmədir. Bu texnologiya yalnız obyektlər və ya proseslər barədə son məlumatları əldə etmək üçün istifadə olunur, lakin yüksək dəqiqliklə qəbul edilə və hesablana bilər.

Rəsmiləşdirmə növlərinə baxdığınız təqdirdə, demək olar ki, hamısı mantıksız tənəzzül və hesablamalara salınır. Oxuyucular kompüter modelləşdirmə, aksiyalar və postulatlara əsaslanan teoremlərin sübutu və s. Arasında paralelliklə asanlıqla çəkə bilər.

Baxın, Eynşteynin eyni nisbətdə nəzəriyyəsinin formalaşma üsulu olaraq qəbul edilə bilər, çünki praktikada sübutun yoxlanılması mümkün deyil. Xüsusilə, bu, yüngül təbliğat sabitinə, müvəffəqiyyət ərəfəsində vaxtın gecikməsinə, obyektin qravitasiya kütləsinin artmasına və kosmik əyriliyinə aiddir. Əllər deyirlər, hiss etməyəcəksiniz və gözlərinizi görməyəcəksiniz.

Bir zamanlar bu ən sadə təcrübələr əsasında alimlərin cəsarətli nəticələridir. Bu gün bütün bunlar eyni kompüter simulyasiyasına əsaslanan rəsmi elmi ilə təsdiqlənir.

Rəsmiləşdirmə mərhələləri

Kompüter sistemlərini nəzərə alsaq, formalaşdırmanın ilk mərhələsi prosesin təsviri. Ancaq burada adi dil vasitələrindən (məktublar, sözlər, ifadələr, cümlələr) istifadə edilmir. Xüsusi bir riyazi model yaratmaq üçün yalnız seçilmiş proqramlaşdırma dilinə əsaslanan bir alqoritm istifadə edə bilərsiniz, ancaq ümumi bir vəzifəni təyin etdikdən sonra.

Başqa sözlə, bir obyektin və ya prosesin davranışını modelləşdirərkən, hadisənin mahiyyəti riyazi alqoritmdən istifadə edərək, tamamilə riyazi simvollarla təsvir olunmalıdır.

Formalaşmanın nəticəsi, tədqiq edilən texnologiyanın praktikada tətbiq ediləcəyi və ya müəyyən bir təbii prosesin gerçək təzahürü mərhələsinə girdikdən sonra baş verəcək faktiki proqnozlaşdırıla biləcək hadisəni təhlil etməkdir.

Vəzifənin konseptuallaşdırılması aşağıdakıdur. İki variant var: birinci halda, atribut və atributlardan istifadə şəklində yanaşmanın bu tərifi; İkinci seçim, bilik analizi istifadəsini nəzərdə tutur, vəzifənin formulasiyası, ilkin məlumatların toplanması, şərtlər və s.

Anlayışlar və başlanğıc şərtləri müəyyən edildikdən sonra, obyektlərin və proseslərin mövcud əlaqələri, həmçinin yerli təqdimat texnikasının istifadəsini nəzərdə tutan semantik əlaqələr tədqiq edilir.

Sonra, ilkin məlumatların işlənməsi seçilmiş alqoritm əsasında aparılır, bundan sonra nəticə səhvlərin göstəricisi ilə verilir. Bir qayda olaraq, bu, 5% -dən çox deyil, əksər hallarda ehtimal nəticə 99% -ə çatır. Hər hansı bir şəxs və ya maşın hələ də gözlənilməz hallar üçün "təhlükəsizlik marjası" nı tərk edir , çünki tamamilə hər şey nəzərə alınmaq mümkün deyil.

Niyə bunların hamısı lazım?

Anlayırsınızsa, bu prinsiplər obyektlərin və proseslərin davranışını təhlil etməyə imkan verir. Başqa sözlə, bu prosesin necə inkişaf edəcəyini bir öhdə götürə bilərsiniz.

İndi formalaşmanın nə olduğu dəqiqdir. Ən sadə nümunəyə nəzər salaq.

Praktikada formalaşmanın tətbiqi, ən sadə nümunələrdir

Bir mütəxəssisin təyyarənin yeni bir dizaynını inkişaf etdirdiyini düşünün. Layihənin yüksək qiymətini nəzərə alaraq, havada davranışını əvvəlcədən proqnozlaşdırmadan, orijinal ölçü modelini qurmaq tamamilə əsassızdır. Bundan başqa, bir təyyarə eyni rüzgar tunelində testlər aparmaq Boeing ölçüsü tamamilə qeyri-real vəzifədir.

Formallaşma gələcək təyyarələrin (hava müqaviməti, yan külək, boyun və külək tunelinin parametrləri və digər xüsusiyyətləri) predmet edilmiş xüsusiyyətləri ilə təyyarə modelinin tikintisi olmadan uçuşa simulyasiya etməyə imkan verir.

Digər bir nümunə, avtomobil narahatlığı ilə yeni maşınların test edilməsidir. Bu vəziyyətdə formalaşmanın əsas üsulu ilk növbədə hər bir virtual testdən keçməlidir və müsbət nəticələr əldə etdikdən sonra prototiplər real şəraitdə sınaqdan keçirilməsi üçün istehsalata buraxılır.

Əsas nəticələr

Riyazi modelləşdirmə nəticəsində bir çox cəhətdən (100% olmasa, onda 95% ehtimalı ilə) müasir texnologiyanın sərbəst buraxılmasına, hava proqnozlaşdırılmasına, hətta hadisələrə reaksiya kimi ictimai davranışın proqnozlaşdırılmasına kömək edə bilər.

Bəli, bəli! Dünyada ictimai rəyin formalaşması da öz qanunlarına tabedir. Ona doğru istiqamətdə işləmək kifayətdir. Bu gün cəmiyyətin bu və ya digər hadisəyə reaksiyasını proqnozlaşdırmağa imkan verən bir çox proqram hazırlanmışdır. Və bu formalaşmanın bütün nümunələri deyil. Biz daha dərin qazarsaq, hər gün bununla qarşılaşırıq.

Rəsmiləşdirmənin ən təəccüblü nümunələrindən biri, Böyük Hadron Collider-in elementar hissəciklərinin toqquşması zamanı Higgs bozonunun aşkarlanmasıdır. Amma əslində bu hissəciklərin mövcudluğunun təməl nəzəriyyə olduğunu və əsl təcrübələrlə tamamilə sübut olunmadığına inanırdılar.

Nəticə

Gördüyümüz kimi formalaşdırma konsepsiyasında, prosesin mahiyyətinin elmi mürəkkəbliyinə baxmayaraq, nümunələri anlamaq asandır. Çox hallarda, son nəticəni təyin edən müəyyən mantıksal zəncirlərin istifadəsinə azaldır.