Apa formalisasi? Metode formalisasi. Konsep, intinya, tahapan, hasil, contoh, jenis formalisasi

Hari ini, sangat sering Anda dapat bertemu banyak istilah aneh "formalisasi", dan dalam berbagai bidang ilmu pengetahuan dan teknologi. Bagi mereka yang ingin memperluas cakrawala pengetahuan mereka, disarankan untuk memahami bahwa formalisasi ini. Artikel ini akan dianggap sebagai intisari dari istilah dan aplikasi praktis dari proses.

Apa formalisasi dari sudut pandang ilmiah dalam pengertian umum?

Sedikit sentuhan pada aspek ilmiah. Mari kita mulai dari fakta bahwa kata tersebut berasal dari formalisasi kata "formal", yaitu itu bersyarat, dan kadang-kadang bahkan sebuah konsep abstrak yang memungkinkan untuk menjelaskan sifat dari objek tidak ada atau fenomena dan untuk memprediksi sifat-sifatnya dalam lingkungan tertentu dengan kondisi awal yang diberikan.

Linguistik bahasa modern tidak bertepatan dengan ekspresi bentuk logis atau alam pemikiran. Dengan demikian, logika itu sendiri terpaksa menggunakan beberapa konsep abstrak untuk menggambarkan fenomena tertentu. Dan ada konsep yang relatif apa yang terjadi formalitas.

Seperti yang sudah dapat menebaknya, esensi dari formalisasi datang ke, untuk menggambarkan atau mentakdirkan sifat tertentu dari objek atau proses (bahkan tidak ada pada saat ini) dan untuk memprediksi penggunaannya dalam hal terjadinya di dunia nyata. Tapi ini adalah ide umum. Gagasan tentang formalisasi jauh lebih luas. Untuk mulai dengan fokus pada teknologi komputer, mempertimbangkan bagaimana di dunia elektronik, istilah ini digunakan.

formalisasi komputer

Jika subjek mempengaruhi metode komputer formalisasi jenis ini agak diberikan kondisi pengobatan awal, yang memungkinkan tingkat yang cukup tinggi akurasi untuk menentukan perilaku berikutnya dari objek atau proses.

Menurut prinsip ini bekerja hampir semua layanan cuaca. Memiliki model komputer siklon dapat memprediksi siklus kekuasaan dan atas tanah atau di atas air.

Ingat film "The Day After Tomorrow," di mana ilmuwan memprediksi pemanasan global, melanjutkan dari teknik ini. Model komputer dikembangkan yang memungkinkan tingkat tertentu probabilitas untuk memprediksi kejadian masa depan.

Contoh-contoh ini tersedia untuk menjelaskan bahwa formalisasi ini.

benda dan proses prinsip-prinsip pemodelan

Metode utama formalisasi - peramalan dan pemodelan. Menerapkan teknologi tersebut secara eksklusif untuk data akhir tentang obyek atau proses yang tidak diketahui, tetapi dapat diasumsikan dengan jumlah akurasi yang tinggi.

Jika Anda melihat formalisasi spesies, hampir semua dari mereka terbatas pada kesimpulan logis dan perhitungan. pembaca tidak akan sulit untuk menarik paralel antara pemodelan komputer, teori bukti, dan sebagainya. E. Atas dasar aksioma dan postulat.

Lihat, untuk sama teori relativitas Einstein bisa juga diartikan sebagai formalisasi metode, karena dalam prakteknya, periksa buktinya tidak mungkin. Secara khusus ini berlaku untuk konstanta propagasi cahaya, waktu perlambatan untuk mencapai ambang batas, meningkatkan berat gravitasi objek dan kelengkungan ruang. Tangan, seperti yang mereka katakan, itu tidak merasa dan mata tidak bisa melihat.

Sekali waktu itu hanya ilmuwan penalaran berani atas dasar percobaan sederhana. Hari ini, semua ini dikonfirmasi oleh ilmu pengetahuan resmi atas dasar simulasi komputer yang sama.

tahap formalisasi

Jika kita mempertimbangkan sistem komputer, langkah pertama dalam meresmikan deskripsi proses. Tapi itu tidak menggunakan alat-alat yang biasa bahasa (huruf, kata, frasa, kalimat). Buat tertentu model matematika hanya mungkin dengan menggunakan algoritma tertentu berdasarkan bahasa pemrograman yang dipilih, tetapi hanya setelah pernyataan dari masalah umum.

Dengan kata lain, dalam pemodelan perilaku suatu objek atau peristiwa proses dasarnya Anda perlu menjelaskan simbol matematika murni, menggunakan algoritma matematika.

Hasilnya adalah untuk mendapatkan formalisasi yang sebenarnya analisis peristiwa diprediksi yang mengikuti setelah teknologi diselidiki akan digunakan dalam praktek atau proses alam tertentu memasuki eksistensi nyata dari langkah.

Berikut ini adalah konseptualisasi dari masalah. Ada dua varian: dalam kasus pertama itu adalah pendekatan khusus dalam bentuk menggunakan atribut dan karakteristik; Opsi kedua melibatkan penggunaan analisis kognitif, belum lagi rumusan masalah, pengumpulan data awal yang digunakan, kondisi, dan sebagainya. d.

Setelah definisi dan kondisi awal mempelajari hubungan yang ada antara objek dan proses, serta apa yang disebut hubungan semantik, menyiratkan penggunaan teknik representasi lokal.

Ini diikuti dengan pengolahan data awal berdasarkan algoritma yang dipilih, dan kemudian mengembalikan hasil yang menunjukkan persentase kesalahan. Biasanya tidak melebihi 5%, dan dalam kebanyakan kasus hasil probabilitas mencapai 99%. Setiap orang atau mesin masih akan meninggalkan "margin keamanan" untuk keadaan yang tak terduga, karena semuanya tidak dapat diperhitungkan.

Mengapa semua ini perlu?

Jika Anda memahami prinsip-prinsip ini memungkinkan untuk analisis perilaku benda-benda dan proses. Dengan kata lain, adalah mungkin untuk memprediksi siapa yang akan mengembangkan proses tertentu.

Sekarang jelas bahwa formalisasi tersebut. Mari kita lihat contoh sederhana.

Aplikasi formalisasi dalam praktek, contoh yang paling sederhana

Katakanlah, beberapa ahli telah mengembangkan desain pesawat baru. Mengingat tingginya biaya proyek untuk membangun sebuah model ukuran asli tanpa perkiraan sebelumnya dari perilakunya di udara itu adalah sepenuhnya tidak pantas untuk tugas tersebut. Selain itu, tes di sama pesawat terowongan angin ukuran Boeing adalah tugas yang benar-benar mustahil.

Hal ini memungkinkan untuk formalisasi karakteristik yang telah ditentukan pesawat masa depan (hambatan udara, angin dari samping, tinggi, dan yang paling parameter terowongan angin dan karakteristik lain) model pesawat yang terbang tanpa model dibangun.

Contoh lain adalah pengujian mesin baru, yang diselenggarakan perusahaan otomotif. Metode dasar formalisasi, dalam hal ini terletak pada kenyataan bahwa pada awalnya mereka mengadakan uji virtual, dan setelah menerima hasil positif dari uji sampel dijalankan dalam produksi untuk menguji dalam kondisi nyata.

Hasil utama

Hasil pemodelan matematika dalam banyak (jika tidak seratus persen, maka dengan probabilitas 95%) dapat menjadi argumen yang kuat dalam mendukung produksi teknologi modern, akan membantu memprediksi cuaca bahkan memprediksi perilaku sosial sebagai reaksi terhadap peristiwa di dunia.

Ya, ya! Pembentukan opini publik di dunia, juga, tunduk pada hukum sendiri. Cukup untuk mempengaruhi dia dalam arah nuzhnoi. Hari ini, menciptakan banyak program untuk memprediksi reaksi publik untuk ini atau itu acara. Dan ini tidak semua contoh formalisasi. Jika kita menggali lebih dalam, kita menghadapi masalah yang sama setiap hari.

Salah satu contoh yang paling mencolok dapat disebutkan formalisasi dan deteksi Higgs dalam tabrakan partikel dasar di collider Hadron besar. Namun sebelumnya diyakini bahwa keberadaan partikel ini - teori murni, dan itu benar-benar tidak dapat dibuktikan pengalaman dunia nyata.

kesimpulan

Seperti yang kita lihat, gagasan formalisasi, terlepas dari kompleksitas esensi ilmiah dari proses, mudah untuk memahami contoh. Dalam kebanyakan kasus datang ke menggunakan beberapa rantai logis, mentakdirkan hasilnya.