Resmileştirilmesi nedir? kayıt altına yöntemi. biçimsellikle kavramı, özü, aşamaları, sonuçları, örnekler, türleri

Günümüzde çok sık ve bilim ve teknolojinin çeşitli alanlarda "formalizasyon" garip vadede bir çok karşılayabilir. Onların bilgi ufuklarını genişletmek isteyenler için, bu biçimsellikle anlamak tavsiye edilir. makale terimin özü ve sürecin pratik uygulama olarak kabul edilecektir.

genel anlamda bir görüş bilimsel açıdan resmileştirilmesi nedir?

bilimsel yönü üzerinde küçük bir dokunuş. en varolmayan bir nesne veya olayın yapısını açıklamak için ve belirli bir başlangıç koşullarında belirli bir ortamda özelliklerini tahmin sağlar kelime koşullu yani, "resmi" kelimesinin kayıt altına türetilir ve hatta bazen soyut bir kavram gerçeğinden başlangıç olsun.

Dilbilim herhangi bir modern dil mantıksal form veya düşüncenin doğası ifadesi ile örtüşmemektedir. Bu durumda, mantık kendisi belli bir olguyu tarif etmek için bazı soyut kavramları kullanmak zorunda. Ve formaliteleri olup bitenlerin göreceli bir kavram vardır.

zaten tahmin ettiği gibi, formalizasyon özü tarif etmek veya nesne veya sürecin belirli özelliklerini önceden belirlemek (hatta şu anda var olmayan) ve gerçek dünyada ortaya çıkması halinde kullanımını tahmin etmek, aşağı gelir. Ama bu genel bir fikir. resmileştirilme çok kavramı çok daha geniştir. bilgisayar teknolojisi üzerine odaklanarak başlamak için elektronik dünyasında, bu terim nasıl kullanılır düşünün.

bilgisayar kayıtlılığı

konusu etkiliyorsa bu tür bilgisayar kayıt altına yöntemi oldukça nesne veya işlemin sonraki davranışını belirlemek için bir doğruluk yeterince yüksek bir dereceye kadar izin vermektedirler ilk tedavi koşulları verilmiştir.

Bu ilkeye göre hemen hemen tüm hava hizmeti çalışır. Having siklon bilgisayar modeli arazi üzerinde veya su üzerinde ve güç çevrimini tahmin edebilirsiniz.

Bilim adamı bu tekniğin yola çıkarak küresel ısınmayı tahmin ettiği film "The Day After Tomorrow," unutmayın. Onun bilgisayar modeli olasılık belirli bir ölçüde gelecekteki olayları tahmin izin verdiğini geliştirildi.

Bu örnekler bu biçimsellikle açıklamak için kullanılabilir.

nesneler ve süreçler modelleme ilkeleri

resmileştirilme ana yöntem - bir tahmin ve modelleme. münhasıran bilinmeyen nesne veya işlemler hakkında nihai veri için böyle teknolojiler uygulayın, ancak yüksek doğruluk sayısı ile varsayılabilir.

Eğer türlerin kayıt altına alınmasından bakarsak, hemen hepsi mantıklı sonuçlar ve hesaplamalar ile sınırlı. Okuyucu böylece bilgisayar modellemesi, ispat teorisi arasında bir paralellik çizmek zor olabilir ve olmayacaktır. E. önermeler ve önermeleri temelinde.

Aynı için Bak Einstein'ın görelilik teorisi pratikte ispat mümkün değildir kontrol çünkü aynı zamanda, yöntemin bir biçimsellikle olarak yorumlanabilir. Bu ışık yayılma sabitlerinin için geçerlidir Özellikle, yavaşlama zaman nesnenin yerçekimi ağırlığı ve mekan eğrilik artan eşiği elde etmek. Eller, dedikleri gibi, o hissetmez ve gözler göremez.

Bir zamanlar basit deneyler temelinde sadece cesur muhakeme bilim adamıydı. Bugün, bütün bu aynı bilgisayar simülasyonu temelinde resmi bilim tarafından onaylanır.

formelleşmesinin aşamaları

Biz bilgisayar sistemi, bir süreç açıklamasına formalizing ilk adımı düşünün. Ama dil (harfler, kelimeler, deyimler, cümleler) olağan araçlarını kullanmaz. Belirli oluşturma matematiksel model sadece seçilen programlama dili dayanarak belirli bir algoritma kullanarak mümkündür, ancak sadece genel problemin deyiminden sonra.

Başka bir deyişle, bir nesne veya süreç olay özü davranışını modelleme içinde bir matematiksel algoritma kullanılarak, tamamen matematiksel sembolleri tanımlamak gerekir.

sonucu, incelenen teknolojisi uygulamasında kullanılacak veya bazı doğal işlem aşamasında gerçek varlığını girdikten sonra, ardından bir kayıt altına gerçek analiz öngörülebilir olayları elde etmektir.

Aşağıdaki sorunun kavramlaştırmadır. iki çeşidi vardır: Birinci durumda, nitelik ve özelliklerine kullanarak şeklinde belirli bir yaklaşımdır; İkinci seçenek, ilk veri toplama böylece, koşullar kullanılan ve. d bilişsel analizi, söz değil sorun formülasyonun kullanılmasını içerir.

tanımlamalar ve başlangıç şartlarını ardından yerel temsil tekniklerinin kullanımı ima, nesnelerin ve işlemlerin arasında var olan ilişkiyi, hem de denilen semantik ilişkiler incelenmiştir.

Bu seçilen algoritmaya göre ilk veri işlem takip ve daha sonra hata yüzdesini gösteren bir sonuç geri döner. Genellikle% 5'ini etmez ve çoğu durumda olasılık sonucu% 99 ulaşır. Herhangi bir kişi veya makine hala için "güvenlik marjı" bırakacaktır , öngörülemeyen durumlar her şey dikkate alınamaz çünkü.

Neden tüm bu gerekli mi?

Eğer anlamak bu ilkelerin nesnelerin ve süreçlerin davranış analizi için izin verir. Başka bir deyişle, belirli bir süreç gelişecek kim tahmin etmek mümkündür.

Böyle Resmileştirme olduğu açıktır. Basit bir örnekle inceleyelim.

Uygulamada Uygulama algoritmanın oluşturulması, en basit örnekler

Diyelim, bazı uzmanlar yeni bir uçak tasarımı geliştirdiler. o görev için tamamen uygunsuz havadaki davranışı önceden tahmin olmadan orijinal boyutta bir modelini inşa projesinin yüksek maliyet göz önüne alındığında. Üstelik aynı rüzgar tüneli uçağın bir Boeing büyüklüğünde de testler kesinlikle imkansız bir iştir.

Bu yerleşik bir modeli olmadan uçan uçakları modellemek gelecek uçaklar (hava direnci, yan rüzgar, boy ve en rüzgar tüneli parametreleri ve diğer özellikler) önceden belirlenmiş özelliklere resmileştirilmesinde verir.

Başka bir örnek yeni makineler, düzenlenen otomotiv şirketlerinin testidir. Bu durumda, kayıt altına temel yöntemi, ilk önce bir sanal testi yapıldı ve test numuneleri pozitif sonuçları aldıktan sonra gerçek koşullarda test etmek için üretim çalıştırılır gerçeğinde yatar.

ana sonuçlar

Birçok (o olasılık% 95 ile yüz değilse yüzde) matematiksel modelleme sonucu hava bile dünyada olaylara bir tepki olarak sosyal davranışını tahmin tahmin etmeye yardımcı olacak, modern teknolojinin üretimi lehine güçlü bir argüman olabilir.

evet, evet! Dünyada kamuoyunun oluşumu da kendi yasalarına tabidir. nuzhnoi yönde kendisini etkilemek için yeterli. Bugün, şu ya da bu olay kamuoyunun tepkisini tahmin etmek programların bir sürü oluşturduk. Ve bu resmileştirilme tüm örnekleri değil. Biz derine, biz her gün aynı sorunla karşı karşıyadır.

En çarpıcı örneklerinden biri şekillendirme ve algılama söz edilebilir Higgs büyük hadron çarpıştırıcılarda temel parçacık çarpışmalarda. Saf teori ve kesinlikle kanıtlanabilir gerçek dünya deneyimi değil - Ama daha önce bu parçacığın varlığı inanılıyordu.

Sonuç

Görüldüğü gibi, biçimsellikle kavramı, sürecin bilimsel özünün karmaşıklığına rağmen, örnekleri anlamak kolaydır. Çoğu durumda bazı mantıksal zincirlerini kullanmadan, sonucunu önceden aşağı gelir.