Modelleme ve formalizasyon. Konuyla ilgili bilişim ve BİT (11. sınıf) dersi için modelleme ve resmileştirme sunumu Sunum modelleme ve resmileştirme

Şunları seçebilirsiniz: Bilimsel bilginin bir yöntemi olarak modelleme. Model: Bilimsel bir bilgi yöntemi olarak modelleme. modeli. Model sınıflandırması Malzeme modelleri. Bilgi modelleri. Modellerin resmileştirilmesi. İstatistiksel ve dinamik modellerin modellenmesine sistematik yaklaşım. Grafik bilgi modelleri. Tablolu modeller. Hiyerarşik modeller. Ağ bilgi modelleri. Nesne bilgi modelleri.

Bilimsel bir bilgi yöntemi olarak modelleme. modeli. Bilimsel bir bilgi yöntemi olarak modelleme. modeli. Model: - bu, gerçek bir nesnenin, fenomenin veya sürecin basitleştirilmiş bir görünümüdür; Bu araştırma için önemli olan orijinalin bazı tipik özelliklerini ve özelliklerini korurken, onu incelemek amacıyla orijinal nesnenin yerine geçen maddi veya zihinsel olarak hayal edilen bir nesnedir.

İçerik Model aşağıdakiler için gereklidir: Model şunlar için gereklidir: bir nesnenin veya sürecin nasıl yönetileceğini öğrenmek ve verilen hedefler ve kriterler için en iyi yönetim yöntemlerini belirlemek (optimizasyon); belirtilen yöntemlerin ve nesne, süreç üzerindeki etki biçimlerinin uygulanmasının doğrudan ve dolaylı sonuçlarını tahmin edin. belirli bir nesnenin nasıl düzenlendiğini, yapısını, temel özelliklerini, gelişim yasalarını ve dış dünya ile etkileşimini anlamak;

Modellemenin ana aşamaları Modellemenin ana aşamaları Aşama I. Problem ifadesi Problem tanımı Modellemenin amacı Nesne analizi Aşama II. Model geliştirme Bilgi modeli İşaret modeli Bilgisayar modeli III aşaması. Bilgisayar deneyi aşaması IV. Simülasyon sonuçlarının analizi Sonuçlar hedefle uyumludur Sonuçlar hedefi karşılamıyor İçindekiler

Bilgi modelleri. Bilgi modelleri. Bilgi modelleri, nesneleri ve süreçleri mecazi veya sembolik bir biçimde temsil eder. Figüratif modeller (çizimler, fotoğraflar vb.) herhangi bir ortama (kağıt, fotoğraf ve film) kaydedilen nesnelerin görsel görüntüleridir.İmzalı bilgi modelleri çeşitli diller (işaret sistemleri) kullanılarak oluşturulur. İşaret bilgileri, metin (örneğin, bir programlama dilindeki bir program), bir formül (örneğin, Newton'un ikinci yasası F = m * a), tablolar (örneğin, DI'nin periyodik tablosu) şeklinde sunulabilir. Mendeleyev), vb.

İnsanlık tarihi boyunca bilgi modelleri oluşturmak için çeşitli yöntem ve araçlar kullanmıştır. Bu yöntemler sürekli olarak geliştirilmiştir. Böylece, ilk bilgi modelleri kaya resimleri şeklinde oluşturuldu, ancak şimdi bilgi modelleri genellikle modern bilgisayar teknolojileri kullanılarak inşa ediliyor ve inceleniyor. İçindekiler Bilgi modelleri.

Modellerin resmileştirilmesi. Modellerin resmileştirilmesi. Doğal ve biçimsel diller, bilgi modellerini bir biçimde temsil etmek için kullanılır. Açıklayıcı bilgi modelleri oluşturmak için doğal diller kullanılır. Biçimsel bilgi modelleri (matematiksel, mantıksal vb.) biçimsel dillerin yardımıyla oluşturulur. En yaygın kullanılan biçimsel dillerden biri matematiktir. Matematik dili, resmi dillerin bir koleksiyonudur. Bazılarıyla (cebir, geometri, trigonometri) okulda tanışacaksınız, diğerleri ile (küme teorisi, olasılık teorisi vb.) ileri eğitim sürecinde kendinizi tanıyabileceksiniz.

Cebirin dili, nicelikler arasındaki işlevsel ilişkileri resmileştirmeye izin verir. Böylece Newton, mekanik yasalarını ve evrensel yerçekimi yasasını keşfederek ve bunları cebirsel işlevsel bağımlılıklar biçiminde yazarak dünyanın güneş merkezli sistemini resmileştirdi. Okul fiziği dersinde, çalışılan fenomen veya süreçlerin matematiksel modelleri olan cebir dilinde ifade edilen birçok farklı fonksiyonel bağımlılık göz önünde bulundurulur. Mantık cebirinin dili (önermesel cebir), kişinin resmi mantıksal modeller oluşturmasına izin verir. Önerme cebiri yardımıyla doğal dilde ifade edilen basit ve karmaşık önermeleri formüle etmek (mantıksal ifadeler şeklinde yazmak) mümkündür. Mantıksal modeller oluşturmak, mantıksal sorunları çözmenize, bilgisayar cihazlarının (toplayıcı, tetikleyici) mantıksal modellerini oluşturmanıza vb. Modellerin resmileştirilmesi. Modellerin resmileştirilmesi.

Resmi dilleri kullanarak bilgi modelleri oluşturma sürecine resmileştirme denir. Çevreleyen dünyayı tanıma sürecinde, insanlık sürekli olarak modelleme ve resmileştirme kullanır. Yeni bir nesneyi incelerken, önce tanımlayıcı bilgi modeli genellikle doğal bir dilde oluşturulur, daha sonra resmileştirilir, yani resmi diller (matematik, mantık vb.) kullanılarak ifade edilir. İçindekiler Modellerin resmileştirilmesi. Modellerin resmileştirilmesi.

Modellemeye sistematik yaklaşım. Modellemeye sistematik yaklaşım. Sistem kavramı. Çevremizdeki dünya, her biri çeşitli özelliklere sahip birçok farklı nesneden oluşur ve aynı zamanda nesneler birbirleriyle etkileşime girer. Örneğin, güneş sistemimizin gezegenleri farklı özelliklere sahiptir (kütle, geometrik boyutlar vb.) ve evrensel yerçekimi yasasına göre güneşle ve birbirleriyle etkileşime girerler.Gezegenler daha büyük bir nesnenin parçasıdır - güneş sistemi ve güneş sistemi, Samanyolu galaksimizin bir parçasıdır. Öte yandan, gezegenler çeşitli kimyasal elementlerin atomlarından, atomlar ise temel parçacıklardan oluşur. Böylece hemen hemen her nesnenin başka nesnelerden oluştuğu, yani bir sistem olduğu sonucuna varabiliriz. İçerik Bir sistem, sistem öğeleri olarak adlandırılan birbirine bağlı nesnelerden oluşan bir bütündür. Örneğin bilgisayar, çeşitli cihazlardan oluşan bir sistemdir, cihazlar ise hem donanım (fiziksel olarak birbirine bağlı) hem de işlevsel olarak (cihazlar arasında bilgi alışverişi yapılır) birbirine bağlıdır. Sistemin önemli bir özelliği de entegre çalışmasıdır.

Sistem analizi Bir sistemi tanımlamak için sadece elemanlarını listelemek yeterli değildir. Bu unsurların birbirleriyle nasıl ilişkili olduğunu belirtmek gerekir. Bir dizi elemanı bir sisteme dönüştüren bağlantıların varlığıdır. Sistemin öğelerini tanımladığınızda ve aralarındaki ilişkileri belirttiğinizde sistem analizi yapmış olursunuz. Sistemleştirme Sistemleştirme, bir dizi nesneyi bir sisteme dönüştürme sürecidir. Sistematizasyon çok önemlidir. Günlük yaşamda, her birimiz sistemleştirme ile uğraşıyoruz - kış ve yaz kıyafetlerini, tabakları bardaklara, tabaklara, tencerelere ayırıyoruz. Çeşitli bilimlerde bilginin sistemleştirilmesi paha biçilmezdir. Sistem Analizi. Sistematizasyon Sistem analizi. sistematizasyon

Statik bilgi modelleri Her an sistem, elementlerin bileşimi, özelliklerinin değerleri, elementler arasındaki etkileşimin büyüklüğü ve doğası vb. ile karakterize edilen belirli bir durumdadır. Bu nedenle, güneş sisteminin herhangi bir zamanda durumu, içerdiği nesnelerin bileşimi (güneş, gezegenler vb.), özellikleri (boyut, uzaydaki konum vb.), büyüklüğü ve doğası ile karakterize edilir. birbirleriyle etkileşim (yerçekimi kuvvetleri, elektromanyetik dalgalar kullanma vb.). Sistemin belirli bir zamandaki durumunu tanımlayan modellere statik bilgi modelleri denir. Fizikte, statik bilgi modellerinin bir örneği, biyolojide, bitki ve hayvanların yapısının modellerini, kimyada, molekül yapılarının modellerini ve kristal kafesleri vb. gibi basit mekanizmaları tanımlayan modellerdir. Statik ve dinamik modeller Statik ve dinamik modeller

Dinamik bilgi modelleri Sistemlerin durumu zamanla değişir, yani sistemlerin değişim ve gelişim süreçleri vardır. Böylece gezegenler hareket eder, konumları Güneş'e ve birbirlerine göre değişir; Güneş, diğer tüm yıldızlar gibi gelişir, kimyasal bileşimi, radyasyonu vb. değişir. Sistemlerin değişim ve gelişim süreçlerini tanımlayan modellere dinamik bilgi modelleri denir. Fizikte, dinamik bilgi modelleri bedenlerin hareketini, biyolojide - organizmaların veya hayvan popülasyonlarının gelişimini, kimyada - kimyasal reaksiyon süreçlerini vb. tanımlar. Statik ve dinamik modeller Statik ve dinamik modeller

Statik bilgi modeli "Bireysel bilgisayar cihazlarının fiyatı" Statik bilgi modeli "Bireysel bilgisayar cihazlarının fiyatı" 5 Fare 10 Klavye 25 Kasa 50 CD-ROM sürücüsü x32 30 Ses kartı 16 bit 200 Monitör 15 30 Ekran kartı 4 MB 150 Sabit disk 4 GB 20 Disk sürücüsü 3.5 30 Bellek 16 MB 200 (Pentium II işlemci 200 350 MHz) 100 Sistem kartı Fiyatı (USD olarak) Aygıt adı

Dinamik bilgi modeli "Bilgisayarın fiyatındaki değişiklik" Dinamik bilgi modeli "Bilgisayarın fiyatındaki değişiklik" Pentium II bilgisayarının fiyatı Yıllar İçindekiler

Grafik bilgi modelleri. Grafik bilgi modelleri. Grafik bilgi modelleri, bir nesnenin dış özelliklerini taşıyan en basit model türüdür: boyut, şekil, renk. Grafik modeller sözlü olanlardan daha bilgilendiricidir. Grafik modeller şunlardır: Haritalar - haritalar olmadan botanik ve biyoloji, coğrafya, askeri ilişkiler, nakliye vb. hayal etmek zordur; Teknik cihazların, binaların çizimleri; Elektrik ve radyo devreleri - fizik, radyo elektroniği; Grafikler ve diyagramlar (sayısal bilgilerin görsel olarak sunulması)

Tablolu modeller. Tablolu modeller. Bilgi modeli sunumunun diğer bir yaygın biçimi, satırlar ve sütunlardan oluşan dikdörtgen bir tablodur. Tablo bilgi modelinde nesneler veya özellikleri bir liste olarak sunulur ve değerleri dikdörtgen bir tablonun hücrelerinde bulunur. Hem statik hem de dinamik bilgi modelleri tablolarla ifade edilebilir. statik olarak dinamik Tablolar yardımıyla çeşitli konu alanlarında bilgi modelleri oluşturulur. Matematiksel fonksiyonların, istatistiksel verilerin, trenlerin, uçakların ve derslerin tarifelerinin vb. sunumu yaygın olarak bilinir.Tablolar şeklinde sunulan bilgiler çok uygun ve anlaşılması kolaydır. Temel Tablo Kavramları Temel Tablo Kavramları Bir tablo nasıl biçimlendirilir Bir tablo nasıl biçimlendirilir Tablolar hangi türlere ayrılır Tablolar hangi türlere ayrılır?

Tablo, zaman içinde gerçekleşen bazı süreçleri yansıtabilir. Matematikte sayılardan oluşan dikdörtgen bir tabloya matris denir. Bir matris yalnızca sıfırlar ve birler içeriyorsa, buna ikili matris denir. İkili matrisler olan tablolar, nesneler arasındaki ilişkinin niteliksel doğasını yansıtır (yol var, yol yok; ziyaret ziyaret yok, vb.) Matris ikili matris İçindekiler Tablo modelleri. Tablolu modeller. Uygulama görevlerini tamamlayın

Bir matris örneği. Bir matris örneği. Öğrenci RusçaCebirKimyaFizikTarihMüzik Alikin Petr Botov Ivan Volkov Ilya Galkina Nina Başarı

İkili matris örneği. İkili matris örneği. Öğrenci RusçaCebirKimyaFizikTarihMüzik Alikin Petr Botov Ivan Volkov Ilya Galkina Nina Çalışılan konular Ünite çalışılan konuyu gösterir ve keşfedilmemiş konu sıfır ile işaretlenir.

Hiyerarşik bilgi modelleri. Hiyerarşik bilgi modelleri. Her biri belirli özelliklere sahip birçok farklı nesneyle çevriliyiz. Bununla birlikte, bazı nesne grupları, onları diğer gruplardaki nesnelerden ayıran aynı genel özelliklere sahiptir. Aynı genel özellikleri paylaşan bir grup nesneye nesne sınıfı denir. Bir nesne sınıfı içinde, nesneleri bazı özel özelliklere sahip olan alt sınıflar tahsis edilebilir, sırayla alt sınıflar daha küçük gruplara bölünebilir vb. Bu nesneleri organize etme sürecine sınıflandırma süreci denir.

Hiyerarşik bilgi modelleri. Hiyerarşik bilgi modelleri. Nesneleri sınıflandırma sürecinde, genellikle hiyerarşik bir yapıya sahip bilgi modelleri oluşturulur. Biyolojide, tüm hayvan dünyası hiyerarşik bir sistem (tür, sınıf, düzen, aile, cins, tür) olarak kabul edilir, bilgisayar biliminde hiyerarşik bir dosya sistemi kullanılır vb. Hiyerarşik bir bilgi modelinde, nesneler birinci (üst) seviyeden alt (son) seviyeye kadar seviyeye göre kategorilere ayrılır. Her bir üst düzey öğe, alt düzey öğelerden oluşabilir ve daha düşük düzeydeki bir öğe, yalnızca bir üst düzey öğenin üyesi olabilir.

Statik hiyerarşik model. Modern bilgisayarları sınıflandırmanıza izin veren bir grafik şeklinde bir bilgi hiyerarşik modeli oluşturma sürecini düşünün.Sınıf Bilgisayarları sütunu üç alt sınıfa ayrılabilir: Süper bilgisayarlar, Süper bilgisayarlar, Sunucular ve Kişisel bilgisayarlar. Hiyerarşik bilgi modelleri. Hiyerarşik bilgi modelleri.

Bilgisayarları sınıflandıran düşünülen hiyerarşik modelde üç seviye vardır. Birinci, üst düzey, Bilgisayarlar öğesini içerir, ikinci düzey Süper Bilgisayarlar, Sunucular ve Kişisel bilgisayarların üç öğesini içerir. İkincisi, üçüncü, alt, seviye Masaüstü, Dizüstü ve Cep bilgisayarlarının üç öğesini içerir. Kişisel bilgisayarlar alt sınıfı sırasıyla Masaüstü, Dizüstü ve Cep bilgisayarlarına bölünmüştür.

Grafik, bilgi modellerinin yapısını görselleştirmenin uygun bir yoludur. Grafiğin köşeleri (ovaller) sistemin öğelerini temsil eder. Elemanlar arasındaki bağlantılar grafikte çizgilerle gösterilir. Çizgi yönlendirilirse (yani bir okla), buna yay denir. Ok yoksa, bu bir kenardır. Bir kenar veya yay ile birbirine bağlanan iki köşeye bitişik denir. Her iki yönde de geçerli olan ilişkilere simetrik denir. Grafikteki simetrik bağlantılar kenarlardır. Bu durumda grafikler yönsüz olarak adlandırılır.Nesneler arasındaki bağlantıların asimetrik olduğu (yaylarla gösterilen) grafiklere yönlendirilmiş denir. Hiyerarşik grafiklere bazen ağaç denir. Grafikler üzerinde bilgi modelleri. Grafikler üzerinde bilgi modelleri. Uygulama görevlerini tamamlayın

Algoritma akış şemaları, yönlendirilmiş bir grafiğin başka bir örneğidir. Algoritmanın akış şeması, belirli bir icracı için kontrol sürecinin bir grafiğidir. Bu grafiğin köşe blokları icracıya verilen ayrı komutları belirtir ve yaylar bir komuttan diğerine geçişlerin sırasını gösterir.Köşeleri belirtmek için kullanılan geometrik şekiller aşağıdaki gibidir: - başlangıç ve bitiş - - ilk veriler ve sonuç - - Eylemler - --koşul (yalnızca "Evet" veya "Hayır" olarak yanıtlanabilecek bir soru) Grafiklerdeki bilgi modelleri. Grafikler üzerinde bilgi modelleri. Uygulama görevlerini tamamlayın

Dinamik hiyerarşik model. Bir ailenin değişen nesillerinin tarihsel sürecini tanımlamak için bir aile ağacı şeklindeki dinamik bilgi modelleri kullanılır. Örnek olarak, Rurik hanedanının soy ağacının bir parçasını (X-XI yüzyıllar) düşünebiliriz.Rurik hanedanının soy ağacının bir parçasını (X-XI yüzyıl). Grafikler üzerinde bilgi modelleri. Grafikler üzerinde bilgi modelleri. Dinamik hiyerarşik model ". Dinamik hiyerarşik model ".

Ağ bilgi modelleri. Çoktan çoğa ilişki. Ağ bilgi modelleri. Çoktan çoğa ilişki. Ağ bilgi modelleri, elemanlar arasındaki bağlantıların keyfi olduğu karmaşık bir yapıya sahip sistemleri yansıtmak için kullanılır. Örneğin, küresel bilgisayar ağı İnternet'in (şekle bakın) (Amerikan, Avrupa, Rus, Avustralya vb.) çeşitli bölgesel bölümleri yüksek hızlı iletişim hatlarıyla birbirine bağlıdır. Aynı zamanda, bazı kısımlar (örneğin, Amerika kısmı) İnternet'in tüm bölgesel kısımlarıyla doğrudan bağlantıya sahipken, diğerleri sadece Amerika kısmı (örneğin, Rus ve Avustralya) aracılığıyla birbirleriyle bilgi alışverişinde bulunabilir. İçindekiler Küresel İnternet'in yapısını yansıtan bir grafik oluşturalım. Grafiğin düğümleri bölgesel ağlardır. Köşeler arasındaki bağlantılar iki taraflıdır ve bu nedenle yönsüz çizgilerle (kenarlar) gösterilir ve bu nedenle grafiğin kendisine yönsüz denir.

Nesne bilgi modelleri. Nesne bilgi modelleri. Şimdi nesne yönelimli yaklaşım olarak adlandırılan bilgi modellemeye başka bir yaklaşıma bakalım. Buradaki ana kavram "nesne" dir. Bir nesne, etrafımızdaki gerçekliğin bir parçasıdır. İnsan algısı açısından nesneler aşağıdaki gruplara ayrılabilir: somut veya görünür nesneler (örneğin: bir sandalye, bir araba, bir köprü); düşünerek yaratılan görüntüler (örneğin: şiir, müzik parçası, matematik teoremi). Bir nesnenin bilgi modeli, belirli bir özellik kümesini yansıtmalıdır. Nesne özellikleri Nesne özellikleri, onu diğer nesnelerden ayıran özellikler topluluğudur.

Nesne örnekleri ve özellikleri. Nesne örnekleri ve özellikleri. Nesne adı Özellikler Öğretmenim Adı, İş deneyimi, Kurs Okuduğum Sabit diskim Boyut, Kullanılan bellek miktarı Önemli belge Ad, Oluşturma tarihi Dolu bellek miktarı, Konum

Aynı özelliklere ve davranışa sahip nesneler bir nesne sınıfı oluşturur. Her nesne bir sınıfın örneğidir. Bir sınıfın (nesnenin) örneği, belirli bir nesne veya görüntüdür ve bir sınıf, aynı özelliklere ve davranışa sahip bir dizi nesneyi tanımlar. Bir sınıf rastgele sayıda nesne üretebilir, ancak herhangi bir nesne kesinlikle sabit bir sınıfa aittir. İçerik

Hedefler:

öğrencilere nesnenin resmileştirilmesi hakkında genel bir fikir verin;

formalizasyon kavramını oluşturmak;

modelin resmileştirilmesinde öğrencilerin araştırma yeterliliğini geliştirmek, mantıksal düşünme, ufuklarını genişletmek;

bilişsel ilgi geliştirmek, bilgi kültürünü eğitmek.

didaktik yazılım

bilgisayar türü IBM, Windows işletim sistemi, MS Office XP ve üstü,

Sunum Resmileştirme . pps .

teorik malzeme

Modellemenin en önemli aşaması olarak resmileştirme

1 numaralı slayt

Aktivitesinde - sanatsal, bilimsel, pratik - bir kişi genellikle uğraşmak zorunda olduğu veya uğraşmak zorunda kalacağı o nesnenin (süreç veya fenomen) bir görüntüsünü - bu nesnenin bir modelini yaratır. Bu görüntünün yaratılması her zaman belirli bir amacı takip eder. Model kendi başına değil, öğrenmeyi veya görselleştirmeyi kolaylaştıran bir araç olarak önemlidir.

Çevremizdeki dünyayı öğrenme ve iletişim kurma sürecinde, neredeyse her adımda resmileştirme ile karşı karşıyayız: düşünceleri formüle ediyoruz, raporlar hazırlıyoruz, her türlü form ve formu dolduruyoruz, formülleri dönüştürüyoruz. Yeni bir nesneyi incelerken, önce tanımlayıcı bilgi modeli genellikle doğal bir dilde oluşturulur, daha sonra resmileştirilir, yani resmi diller (matematik, mantık vb.) kullanılarak ifade edilir.

Bu nedenle, bir nesnenin (olgu, süreç) modelini oluşturmadan önce, kurucu öğelerini ve bunlar arasındaki bağlantıları ayırmak (bir sistem analizi yapmak) ve ortaya çıkan yapıyı önceden belirlenmiş bir forma "çevirmek" (görüntülemek) gerekir - resmileştirmek bilgi.

2 numaralı slayt

Resmileştirme bir nesnenin, olgunun veya sürecin iç yapısını vurgulama ve belirli bir bilgi yapısına - bir forma çevirme sürecidir. Herhangi bir sistemi modellemek, ön formalizasyon olmadan imkansızdır. Aslında formalizasyon, modelleme sürecindeki ilk ve çok önemli adımdır.

Resmileştirme gerçek bir nesnenin veya sürecin biçimsel tanımıyla, yani bilgi modeliyle değiştirilmesidir.

3 numaralı slayt

Bir bilgi modeli oluşturduktan sonra, bir kişi bu nesnenin özelliklerini incelemek, davranışını tahmin etmek vb. için orijinal nesne yerine onu kullanır. Herhangi bir karmaşık yapı, örneğin bir köprü inşa etmeden önce, tasarımcılar çizimlerini yapar, mukavemet hesaplamaları yapar, izin verilen yükler Böylece, gerçek bir köprü yerine, model açıklamasını çizimler, matematiksel formüller şeklinde ele alırlar. Tasarımcılar köprüyü küçültülmüş bir boyutta yeniden oluşturmak isterse, o zaman zaten tam ölçekli bir model olacaktır - bir köprü modeli.

4 numaralı slayt

Doğal diller oluşturmak için kullanılır açıklayıcı bilgi modelleri. Bilim tarihinde çok sayıda tanımlayıcı bilgi modeli bilinmektedir; örneğin, Copernicus'un güneş merkezli dünya modeli şu şekilde formüle edilmiştir:

Dünya kendi ekseni etrafında ve güneşin etrafında döner;

tüm gezegenlerin yörüngeleri güneşin etrafından geçer.

5 numaralı slayt

Biçimsel diller oluşturmak için kullanılır resmi bilgi modelleri(matematiksel, mantıksal, vb.). En yaygın kullanılan biçimsel dillerden biri matematiktir. Matematiksel kavramlar ve formüller kullanılarak oluşturulan modellere denir. Matematiksel modeller. Matematik dili, resmi dillerin bir koleksiyonudur.

6-8 numaralı slaytlar

Cebir dili (ifadelerin cebiri), kişinin nicelikler arasındaki fonksiyonel ilişkileri resmileştirmesine izin verir. Böylece Newton, mekanik yasalarını ve evrensel yerçekimi yasasını keşfederek ve bunları cebirsel işlevsel bağımlılıklar biçiminde yazarak dünyanın güneş merkezli sistemini resmileştirdi. Okul fiziği dersinde, çalışılan fenomen veya süreçlerin matematiksel modelleri olan cebir dilinde ifade edilen birçok farklı fonksiyonel bağımlılık göz önünde bulundurulur.

Mantık cebirinin dili oluşturmanıza izin verir biçimsel mantıksal modeller.Önerme cebiri yardımıyla doğal dilde ifade edilen basit ve karmaşık önermeleri formüle etmek (mantıksal ifadeler şeklinde yazmak) mümkündür. Mantıksal modeller oluşturmak, mantıksal sorunları çözmenize, bilgisayar cihazlarının (toplayıcı, tetikleyici) mantıksal modellerini oluşturmanıza vb.

Ansiklopedik sözlük bu kavramın aşağıdaki yorumunu sağlar: “ Resmileştirme- Bu, herhangi bir anlamlı bilgi alanının (bilimsel teori, akıl yürütme, araştırma prosedürleri vb.) resmi bir sistem veya hesap şeklinde sunulması ve incelenmesidir.

9 numaralı slayt

altında modelleme bağlamında resmileştirme Bir bilgisayar modeli oluşturmak ve onu incelemek için problemin genel formdaki tanımını (problemin genel formülasyonu) resmi temsil diline çevirme sürecini anlayacağız. Bilgi işleme açısından, ilk verilerin (nelerin işlenmesi gerektiği) ve işleme kurallarının (nasıl işleneceği) tanımlanması gereklidir.

10 numaralı slayt

Resmileştirme matematiğin temel araçlarından biridir. Çünkü matematik gerçekten var olmayan varlıklarla, soyut kavramlarla çalışır, yasaları, teoremleri, kuralları, hipotezleri vb. tanımlar, o zaman tüm bunların temsili üzerinde anlaşmalar olmadan yapmak imkansızdır.

Sunumların önizlemesini kullanmak için kendinize bir Google hesabı (hesap) oluşturun ve giriş yapın: https://accounts.google.com

Slayt başlıkları:

Modelleme ve resmileştirme Bilişim öğretmeni tarafından gerçekleştirilen MBOU 108 Nolu ortaokul Samara Gazizova Ekaterina Aleksandrovna

Modeller ve modelleme Çevredeki dünyanın nesnelerini tanıma yöntemlerinden biri, gerçek nesneler için basitleştirilmiş ikameler yaratmayı ve araştırmayı içeren modellemedir. Değiştirilen nesneye genellikle model denir ve orijinal nesneye prototip veya orijinal denir.

Modeller ve modelleme Modelleme, incelenen nesne çok büyük (güneş sistemi) veya çok küçük (atom) olduğunda, süreç çok hızlı ilerlediğinde (içten yanmalı bir motorda yakıt işleme) veya çok yavaş olduğunda (jeolojik süreçler) kullanılır. nesnenin incelenmesi başkaları için tehlikeli olabilir (atom patlaması), yok olmasına yol açabilir (yüksek bir binanın sismik özelliklerinin kontrol edilmesi) veya gerçek bir nesnenin yaratılması çok pahalı olduğunda (yeni mimari çözüm), vb.

Bir bilgi modeli oluşturmanın aşamaları Analiz özellikleri vurgular Biçimlendirme Biçimlendirme, gerçek bir nesnenin biçimsel tanımıyla, yani bilgi modeliyle değiştirilmesidir.

Model türleri Model Tam ölçekli (malzeme) Bilgi Orijinal nesnenin bilgi kodlama dillerindeki açıklamaları Gerçek nesneler, küçültülmüş veya büyütülmüş biçimde, modelleme nesnesinin görünümünü, yapısını veya davranışını yeniden üretir

Bilgi modellerinin sınıflandırılması

Figüratif modeller Figüratif modeller, bir tür bilgi taşıyıcıya sabitlenmiş nesnelerin görsel görüntüleridir.

İşaret modelleri İşaret bilgi modelleri farklı diller (işaret sistemleri) kullanılarak oluşturulmuştur. program laboratuvarı; var a, b, s, p: tamsayı; yazmaya başlayın ("Uzunluğu girin:"); readln(a); write ("Genişliği girin:"); readln(b); s: = a * b; p: = 2 * (a + b); writeln ("Alan eşittir:", s); writeln ("Çevre:", s); son. Dilimize iyi bakın, güzel Rus dilimiz bir hazinedir, bu bize atalarımızdan miras kalan bir varlıktır! DIR-DİR. Turgenyev

Karma modeller Karma bilgi modelleri, figüratif ve sembolik öğeleri aynı anda kullanır.

Sözlü bilgi modelleri Sözlü modeller, nesnelerin, fenomenlerin, olayların, süreçlerin doğal dillerdeki tanımlarıdır. Örneğin, Copernicus tarafından önerilen güneş merkezli dünya modeli sözlü olarak şu şekilde anlatılmıştır: - Dünya kendi ekseni etrafında ve güneş etrafında döner; - tüm gezegenlerin yörüngeleri Güneş'in etrafından geçer. Okul ders kitaplarınızda birçok sözlü model bulunur: bir tarih ders kitabı tarihi olayların modellerini sunar, bir coğrafya ders kitabı coğrafi nesnelerin ve doğal süreçlerin modellerini sunar ve bir biyoloji ders kitabı hayvan ve bitki dünyasının nesne modellerini sunar.

Matematiksel modeller Matematiksel kavramlar ve formüller kullanılarak oluşturulan bilgi modellerine matematiksel modeller denir. Mantık cebiri dilini kullanarak mantıksal modeller oluşturulur - doğal dilde ifade edilen basit ve karmaşık ifadeler resmileştirilir (mantıksal ifadeler şeklinde yazılır). Mantıksal modeller oluşturarak, mantıksal problemleri çözmek, cihazların mantıksal modellerini oluşturmak vb. mümkündür. Bilgisayar matematiksel modelleri Şu anda, en karmaşık matematiksel modeller bir bilgisayarda uygulanabilmektedir. Bu durumda, bu tür araçlar şu şekilde kullanılır: - programlama sistemleri; - elektronik tablolar; - modelleme için özel matematiksel paketler ve yazılımlar. Simülasyon, gerçek ekipmanlarla saha testleri yapmak yerine bilgisayar modelleri kullanılarak deneylerin yapıldığı yapay bir deneydir.

Grafik bilgi modelleri Çizim, bir nesnenin, projeksiyon yöntemiyle elde edilen, boyutlarının tam oranına sahip koşullu bir grafik görüntüsüdür. Diyagram, herhangi bir niceliğin veya aynı niceliğin birkaç değerinin oranının, değerlerindeki değişimin görsel bir temsilini veren grafiksel bir temsildir. Grafik, bir niceliğin bağımlılığının doğasının görsel bir temsilini veren bir çizgidir. Diyagram, genel olarak bir nesnenin temsilidir, ana özellikleri semboller kullanır. Diyagramlar yardımıyla bir cismin hem görünümü hem de yapısı gösterilebilir.

"Nesnenin Özellikleri" - Kumaşların duruma bağlı olarak rengini değiştirme yeteneği. ... Nesnenin tamamen veya kısmen elektriksel olarak iletken yapısı. Nesnenin yeni işlevleri. Nesnenin yeni özellikleri. 5. AV Kislov, A.B. Ilyichev, I.A. Novikov. Doku empedansının ölçümü.

"Model Nesnesi" - Sonuç. Özellikler Nesneler arasındaki bağlantıların otomatik inşası ve resmi komşuların gerçek olanlarla değiştirilmesi. Böyle bir açıklama için METIS formatının basit kullanımı. Nesnelerin "çalışma kümesine" dayalı sayma. Hesap sonuçları, performans değerlendirmesi. Oldukça geniş bir dava sınıfı için standartlar yoktur.

"Modelleme Aşamaları" - Aşama III Bilgisayar deneyi. Aşama II. Bilgisayar deneyi. Aşama IV. Aşama II Modelin geliştirilmesi. Görevin açıklaması. Simülasyonun amacı. Model geliştirme. Aşama III. Modelleme aşamaları. Aşama 1 problem ifadesi. Aşama I. Bilgi modeli. Simülasyon sonuçlarının analizi. Bilgisayar modeli.

"Modelleme ve resmileştirme" - Etkileşim. Çarşamba. Model türleri: 1.özne-nesne-varlık. Uyumluluk (benzerlik). Sınırlı büyüme modeli. Model türleri: 2.özne-nesne- biçimselleştirme derecesi. Sözlü açıklama. Görünüm. (Sistemler ve veri yapıları). Resmileştirildi. Hedef. Modellemenin AMACI. Kısmen resmileştirildi.

"Bilgi modelleri türleri" - Grafik modeller. Resim çizme. ToC. Grafik bilgi modellerine örnekler: Sıcaklık değişimlerinin grafiği. Bir nesne-özellik tablosu örneği. Zaman. Grafik. Takvim. ?. Nesneden nesneye tablo örneği. Diyagram. Tablolu modeller. Matematiksel modeller. Harita. Sözel modeller. Şema. Bilgi modelleri türleri.

Model Geliştirme Adımları - Tanımlayıcı bilgi modelleri genellikle doğal diller ve resimler kullanılarak oluşturulur. Sahne 3. Aşama 5. Tanımlayıcı bir bilgi modeli oluşturma. Bilgisayardaki modellerin geliştirilmesi ve araştırılmasının ana aşamaları. Pratik görev. Aşama 1. Güneş sistemi modeli. 4. Aşama 2. aşama.

Toplam 18 sunum var

modelleme ve Resmileştirme

modelleme

modelleme- modellerin oluşturulması ve incelenmesinden oluşan bir biliş yöntemi.

Şunlar. Modeller oluşturarak ve inceleyerek nesnelerin araştırılması

Model konsepti

modeli –

Model kaydeder orijinalin en önemli özellikleri ve özellikleri.

Model, gerçek nesneyi "kopyalar".

Model - herhangi bir araştırma nesnesinin herhangi bir analogu, görüntüsü (zihinsel veya geleneksel: bir görüntü, açıklama, diyagram, sembol, formül, çizim, grafik, plan, harita, tablo, vb.).

Aynısı nesne olabilir birçok model , a farklı nesneler Tarif edilebilir bir model .

Örnekleri modeller

Model aşağıdakiler için gereklidir:

nasıl olduğunu anla düzenlenmiş gerçek bir nesne: yapısı, temel özellikleri, gelişim yasaları ve dış dünya ile etkileşimi nedir;
öğretmek yönetmek nesne veya süreç: verilen hedefler ve kriterler için en iyi yönetim yöntemlerini belirleyin ( optimizasyon);
tahmin etmek belirtilen yöntemlerin ve nesne üzerindeki etki biçimlerinin uygulanmasının doğrudan veya dolaylı sonuçları.

Model sunum formları

Model sınıfları

Konu (malzeme)- nesnelerin geometrik, fiziksel ve diğer özelliklerini malzeme biçiminde (küre, anatomik mankenler, bina modelleri vb.)

Bilgi- nesneleri ve süreçleri temsil eder mecazi ve ikonik form

Modellerin kullanım alanına göre sınıflandırılması

Öğretim Modelleri - eğitimde kullanılır

Bilimsel ve teknik - süreçlerin ve fenomenlerin incelenmesi için yaratılmıştır

Tecrübeli - bunlar tasarlanan nesnenin küçültülmüş veya büyütülmüş kopyalarıdır. Gelecekteki performansını araştırmak ve tahmin etmek için kullanılır

oyun - çeşitli koşullarda nesnenin davranışının provası

taklit - gerçekliğin bir dereceye kadar yansıması (bu bir deneme yanılma yöntemidir)

Resmileştirme

Resmileştirme – resmi dilleri kullanarak bilgi modelleri oluşturma süreci.

Biçimsel bilgi modelleri (matematiksel, fiziksel, mantıksal vb.) biçimsel dillerin yardımıyla oluşturulur.

fiziksel

bilgi

1 soru

seçenek 1

seçenek 2

A) konu modeli

B) bilgi modeli

2 soru

Şekildeki model hangi sınıfa aittir?

seçenek 1

seçenek 2

A) konu modeli

B) bilgi modeli

A) bilgi modeli

B) konu modeli

3 soru

seçenek 1

incelenen gerçek nesnenin, fenomenin veya sürecin temel özelliklerini (özelliklerini) yansıtan gerçek bir nesnenin bazı basitleştirilmiş görünümü

seçenek 2

Bir örnek

B) modelleme

C) resmileştirme

A) resmileştirme

B) modelleme

B) modeli

4 soru

Tanımlar verildi, doğru cevabı seçin

seçenek 1

seçenek 2

incelenen gerçek nesnenin, fenomenin veya sürecin temel özelliklerini (özelliklerini) yansıtan gerçek bir nesnenin bazı basitleştirilmiş görünümü

A) resmileştirme

B) modelleme

Bir örnek

B) modelleme

B) modeli

C) resmileştirme

5 soru

Tanımlar verildi, doğru cevabı seçin

seçenek 1

seçenek 2

modeller yaratmanın ve keşfetmenin bilişsel bir yöntemi

resmi dilleri kullanarak bilgi modelleri oluşturma süreci

A) resmileştirme

B) modelleme

Bir örnek

B) modelleme

B) modeli

C) resmileştirme

6 soru

seçenek 1

seçenek 2

A) figüratif modeller

B) karışık modeller

A) karışık modeller

B) figüratif modeller

C) ikonik modeller

7. soru

Resimler bilgi modellerini gösterir, hangi forma atıfta bulunurlar?

seçenek 1

seçenek 2

A) figüratif modeller

B) karışık modeller

A) karışık modeller

B) figüratif modeller

C) ikonik modeller

8 soru

Eksik kelimeyi ekleyin

seçenek 1

Bir ve aynı nesnenin birçok modeli olabilir ve farklı nesneler bir model tarafından ………… .. ile tanımlanabilir.

seçenek 2

A) ayarla

Bir ve aynı nesnenin …………… modeli olabilir ve farklı nesneler tek bir modelle tanımlanabilir.

A) ayarla

Yanıtlar:

seçenek 1

seçenek 2

soru numarası

Doğru cevap

Değerlendirme ölçeği

Seviye

Doğru cevap sayısı

Modellemeye sistematik yaklaşım

sistem konsepti

sistem sistem öğeleri adı verilen birbirine bağlı nesnelerin bir koleksiyonudur.

Sistemin önemli bir özelliği, bütünsel işleyiş.

Sistemin durumu şu şekilde karakterize edilir: yapı , yani, elemanların bileşimi ve özellikleri, onların kendi aralarındaki ilişkileri ve bağlantıları.

Modellerin zaman faktörüne göre sınıflandırılması:

Dinamik- sistemin değişim ve gelişim süreçlerini tanımlayan modeller

Statik- belirli bir zamanda sistemin durumunu açıklayan modeller (çalışma gününde sınıf öğrencilerinin büyümesi)

ayrık (10 yılda sınıf öğrencilerinin büyümesi, algoritmalar)

Sürekli (gün boyunca atmosfer basıncının ölçümü)

Bilgi modeli türleri

tablo şeklinde

Hiyerarşik

Ağ

Tablo bilgi modelleri

Tablo bilgi modelinde, aynı türdeki nesnelerin veya özelliklerin bir listesi tablonun ilk sütununa (veya satırına) yerleştirilir ve özelliklerinin değerleri, tablonun sonraki sütunlarına (veya satırlarına) yerleştirilir. tablo.

Hiyerarşik bilgi modelleri

Hiyerarşik bilgi modelinde nesneler seviyeler halinde düzenlenir.

her eleman

daha yüksek düzeydeki bir öğe, daha düşük düzeydeki öğelerden oluşabilir ve daha düşük düzeydeki bir öğe, yalnızca bir üst düzey öğenin üyesi olabilir.

Ağ bilgi modelleri elemanlar arasındaki bağlantıların keyfi olduğu karmaşık bir yapıya sahip sistemleri yansıtmak için kullanılır.

Statik

Dinamik

Gerçekleştirilen:

Ashurova O.A.

bilişim öğretmeni