Programlamada bir nesnenin temsili. - sayfa 6

Yeni yorum
 

Ve böylece, Nesne. (Banal olalım ve aynı Dikdörtgen İşareti alalım.)

1. Nesnenin Temel Bileşenleri:

Hepimiz bu bileşenleri biliyoruz ve bundan bir entrika inşa etmenin bir anlamı yok. Herhangi bir az ya da çok karmaşık nesnede şunlar bulunur:

  • Parametreler , bileşenlerin en temel grubudur, ancak hiçbir şekilde basit değildir. Bana göre, Parametrenin en erişilebilir açıklaması , bir sistem veya ortamın yapısında belirli bir adlandırılmış kümeyi veya değeri temsil eden bir varlıktır . Parametre, kümeyi kısaca numarasından geçirir ve bu yapıları yeniden üreten kurucu işlevlere dahil edilir. Bu tek parametre türü olmasa da, şimdilik üzerinde duralım.
  • Bir dizi özellik , farklı işlevler tarafından kullanılan " nesne metrik " verilerini birleştiren bir parametre kümesidir - ör. Nesnenin temel değerleri ve bileşik yapısal kümeleri. Örnek olarak alındığında, Etiketin 5 parametresi vardır - x, y, (boşluktaki konum), genişlik, yükseklik (genişlik ve yükseklik), renk (renk), yani . başlangıç özelliklerinin kümesi başlar, ancak onu yeniden üreten işlevin giriş parametreleri (argümanları) ile sınırlı değildir .
  • Bir işlev - bir kurucu - bir nesneyi yeniden üreten bir dizi eylem (diğer adıyla bir algoritma). Etiketi çizen işlev, yürütme sırasında yukarıdaki tüm parametreleri kullanır. (Etiketin temel parametre setinin, yapıcı işlevini uygulama yöntemiyle belirlendiğini unutmayın. Etiketin çizim yöntemini değiştirirseniz (örneğin, iki değil bir döngüde çizin), o zaman ilk set Etiketin parametreleri de değişecektir).
  • Form - Akla gelen tüm nesne örneklerinin bir formu olduğunu inkar etmek zor. İşaret, ilkel basit bir forma sahiptir, ancak onun ayrılmaz bir parçasıdır. Ancak, bir Formu olmayan nesneler vardır ve bu nedenle, Nesnenin zorunlu bir bileşeni değildir. Form, "yaşam etkinliğinde" önemli bir rol oynar ve olaylar, süreçler, durumlar, eğilimler vb. gibi kendi içinden bir bilgi akışını iletebilir.
  • Durumlar , bir Nesnenin varlığında önemli " kesme noktaları "dır. Kodlayıcı dilinde konuşursak , dış ortamın koşulları değiştiğinde veya dahili programın bağımsız yürütülmesi sürecinde geçtiği nesnenin parametrelerinin değerleri . Herhangi bir, hatta en az karmaşık sistemlerde bulunur. Bu nitelik, basit bir Etiketi bir sisteme dönüştürür ve geçiş mantığını bir dizi ek koşulla resmileştirmemizi gerektirir. Aynı zamanda, Etiketin parametre seti hala ilkel olarak basit kalabilir, ancak Durumların eklenmesi olası parametre değerlerinin sayısını artırır, onları onlar için ek bellek ayırmaya zorlar ve Etiket ilkel olarak basit bir nesnenin durumunu değiştirir. işlevsel bir sistem, yapıcısına ek olarak, ek bir durum değiştirme işlevi edindiği için . Devletler , çeşitli sistemleri oluşturan daha karmaşık nesnelerin doğasında vardır.
  • Olaylar , daha da yüksek bir karmaşıklık düzeyine sahip bir Nesnenin özniteliğidir. Yalnızca durumlara sahip olan Nesne (Etiket), yapıcı işlevinin parametrelerinin değerlerini belirli bir sırada değiştiren basit bir saat mekanizmasına benzeyebilir ve tüm "yaşam etkinliği", önceden ayarlanmış bir durum zinciri ile sınırlıdır. , Olaylar eklemek bu zinciri kırar ve yeni geçiş dizileri sunar, sonunda bir Etikete (nesneye) daha karmaşık bir davranış sistemi veya çevreleyen nesne Ortamı ile etkileşimi entegre eder. Bununla birlikte, bunun hakkında daha sonra daha fazla bilgi var, ama şimdi Etkinliğin tanımına ve programatik uygulamasına geçelim.

          Olay, nesnenin kendisinde veya çevresinde önemli bir değişikliktir. Yapısal olarak, bir Olay, meydana gelen değişikliğin bir koşulu olan nesnesinin (etiket) arka plan durumunun bir tanımını veya göstergesini içerebilir, ancak Olayı tanımlamanın asıl görevi, etiketle ne olduğunu iletmektir, veya onu entegre eden sistem veya belirli (ilk veya türetilmiş) parametrelerin belirli değerleri ile ifade edilebilen değişikliğin kendisinin dış Ortamı ile, Sistem veya Ortamında bulunan belirli değerlerin oranı ile ifade edilebilir. etiketi veya değişikliğin doğasının (imzasının) oluşturulması yoluyla, eğer değişikliğin kendisi, doğasından daha düşük bir önem statüsüne sahipse. Bütün bunlar bir Etkinlik olarak kabul edilebilir. *daha sonra, nesne bileşenlerinin programlı açıklaması konusuna döneceğim.

  • Süreçler , bir sonraki karmaşıklık seviyesinin Nesnesinin bir bileşenidir. Bir saniye geriye bakarsanız, Object'in sonraki her bir bileşeninin sadece daha karmaşık olduğunu değil, aynı zamanda bir önceki bileşeni " montajında" içerdiğini, adeta bir "üstyapı" olduğunu görebilirsiniz. o: Parametreler yapısal kümeleri tanımlar, Nesne Özellikleri , seçilen parametreleri karmaşık olarak birleştirir, Yapıcı işlevi, yeniden üretimi için gerekli nesne parametresi kümelerini birleştirir, Durumlar, hem parametre hem de form kümelerini birleştirebilir. Olaylar, önemli bir değişikliğin meydana geldiği ve Süreçlerin onları takip ettiği arka planı açıklamak için durumları birleştirebilir.

İşlemler, bir Nesnenin Durumlarını ve Olaylarını, belirli bir yönde sıralanmış seçilen bir Nesne parametreleri kümesinin "zincirleri" veya "serileri" olarak temsil edilebilecek dizilerde birleştirir. En iyi benzetme, hücrelerdeki değerlerin rastgele veya planlı olabilen bir İşlem tarafından belirlendiği bir sayı dizisi olacaktır. Bununla birlikte, Sürecin kendisi, her birinin bir parametreye atandığı bu tür birçok sayısal diziden oluşur. Bir Süreç oluşturmak zor değildir - sadece ilk parametre setini (örneğin, yapıcı fonksiyonlar) almanız ve her biri için bir dizi değer oluşturmanız (veya almanız) yeterlidir. Bir Süreci, aralarındaki Durumlara, Olaylara ve Geçişlere ayırmak da kolaydır. Parçalara bölünebilir ve parçaları keyfi veya önceden ayarlanmış dizilerle bağlayarak hiyerarşiler oluşturabilirler. Her aşamada, Sürecin bileşenlere "demonte edilebilmesi" veya onlardan monte edilebilmesi önemlidir. Süreçler modellenebilir, optimize edilebilir ve değiştirilebilir. İşlemler, hem nesnelerin bileşiminde hem de nesne Ortamında bulunur. Bu durumda, Ortam bir "Meta-Nesne" olarak hareket eder.

Burada, Sürecin, ne kadar karmaşık görünse de, programlı olarak yalnızca Olaylar ve Durumlarda birleştirilmiş bir dizi parametre değeri olduğu ve bu da sırayla, ilk parametre kümesi temelinde inşa edildiği eklenmelidir. Nesnenin yapısını tanımlar ve yapıcı işlevi (veya Nesnenin ömrünü gerçekleştiren diğer bazı işlevler) tarafından kullanılır.

Bu, ilk bölümü tamamlar. İkincisinde, Sistemin Olay ve Mantık Modellerini, bileşenlerini ve yapım ilkelerini göz önünde bulundurarak, Nesnenin sonraki karmaşıklık seviyelerine geçmeye devam edeceğim.

Üçüncü bölümde, felsefi formülasyonlardan yeni bir program Nesneleri ve kodu uygulaması konularına geçeceğim (bu kolay olmayacak olsa da).

 
Реter Konow # :

Çok ilginç sorular soruyorsun.

1. Hiç şüphe yok ki konuşmamız (ya da düşüncenin herhangi bir başka biçimi) fiziksel olarak doğrusaldır, çünkü zamanla ortaya çıkar, ancak düşünmenin yalnızca fiziksel değil, aynı zamanda mantıksal bir boyutu vardır ve mantığı açısından hem doğrusal hem de diyalektik olabilir. Örneğin, kasıtlı olarak OOP'nin kökenlerine geri dönmem (insanlık kitle içinde doğrusal olarak daha ileri hareket ederken) mantıksal bir doğrusal olmayan düşüncenin bir örneğidir ve bahsettiğiniz doğrusallık sadece bir genel kabul görmüş sipariş. Düşünce sürekli onu kırar, "ileri geri" gider. Geri adım atmadan ve adımlarınızı baştan düşünmeden teoremi kanıtlamaya çalışın.)

Bir kişinin, sezgi ve bilgi nedeniyle, resmi ATP SPASS/HOL/NuPRL/vb kanıt sistemleri gibi değil, bir mantıksal daldan diğerine atlayabileceğine katılıyorum, ancak bu tür ileri-geri sıçramalar bile doğrusal ve (teorik olarak) algoritmikleştirilebilir, örneğin, bir çerçeve içinde sözde rastgele varsayımlar yapabileceğinizi ve bunları yeniden resmi olarak kanıtlayabileceğinizi hayal ediyorsanız.

De Bruijn ilkesini hatırlayabilirsiniz: sistem 2 parçadan oluşur - kompakt bir biçimsel mantıksal çekirdek doğrulayıcı - tüm ATP'lerin yaptığını yapar ve yanında, dışsal verileri (sezgi, şamanik şarkılar, mql5 forumundan gönderiler .. .)

Yani bu durumda bile lineer bir sistem elde edeceğiz çünkü algoritma tutarlı ve Turing'e uyuyor... ...

Belki de sadece deterministik olmayan potansiyel olarak sonsuz bir otomat değil, aynı zamanda birçok asenkron işlemi aynı anda gerçekleştirebilen bir otomat da gereklidir.

Ve şaka olarak, rastgele matematiksel metinler oluşturmak için MathGen projesini hatırlayabilirsiniz: https://thatsmathematics.com/mathgen/


2. Dünyayı anlamak ve algılamak için sınırlı insan yeteneği teorisine katılıyorum. Sınırlarınızı bulmak o kadar da zor değil. Örneğin, bir kişi büyük kümeleri kapsayamaz ve işleyemez, yüksek entropi ile dinamik kaosu tahmin edemez, vb... Ama buna ne kadar ihtiyacı var? İnsan, "varlığı evrenselleriyle kucaklama" yeteneğini başarıyla genişleten teknolojiler yaratır. Kant bu konuda bir şey söylemedi.)

İyileştirmenin sınırı yoktur, ancak matematik beklenmedik bir yönden vurabilir, örneğin, burada bir meta-nesne modeli yaratıyorsunuz ve bir noktada, diyelim ki (50 yıllık sıkı çalışmadan sonra, hehe) gerekliydi. kendini doğrulayan bir otomat yapmak için, ve sonra Gödel ortaya çıkıyor ve diyor ki: - ama figürinler! - yüklemleri ikinci seviyenin üzerinde olan herhangi bir biçimsel aksiyomatik sistemde [yanılmıyorsam] her zaman biçimsel olarak doğru olacaktır, ancak kanıtlanabilir ve çürütülemez ifadeler olacaktır ve ne yapmalı? - fabrikaya geri dönmek mi?

Kripto para birimi alanındaki bazı projelerin Turing bütünlüğüne ulaştıklarını iddia etmeleri ilginçtir ve burada bile kurnaz olabilirler, bu tam bir pazarlama hilesidir, özellikle Ether platformu Turing-tamamlandı ve Bitcoin için örnek, tam tersine, açıkça tasarım gereği Turing eksik, ama aslında, herhangi biri kontrol etti mi, soru bu ve bu ne dereceye kadar doğru ...


3. Farklı yerlerde "hiper-nesneler", "meta-nesneler" gibi kavramlardan birkaç kez bahsettiniz. Sadece bu konu hakkında, bir sonraki gönderide konuşmak ve diğer şeylerin yanı sıra "Meta-nesneler"in de bulunduğu, konseptimdeki Object'in içeriğini ortaya çıkarmak istedim.

Konseptin mümkün olduğunca programlama odaklı oluşturulduğunu ekleyeceğim, çünkü nihai hedef yeni bir AI motoru oluşturmaktır, bu nedenle tüm açıklamalar ve örnekler kodlama olacaktır.

Timothy Morton'u takip ederek hipernesneler kullandım, onun yorumunda, bunlar zaman ve uzayda çok büyük bir şekilde dağılmış ve belirli bir lokalizasyonun ötesine geçen nesneler ve burada bunun matematik ve teknik bilimlerin başladığı alan olduğunu belirtmek ilginçtir. sanat, mit ve sihirle temasa geçmek... sırdaşlar, örneğin, kaos büyüsünün yasak ritüellerinde bir hiper-sigil kavramının çok iyi farkındadır, bu, gerçekliği karmaşık bir şekilde etkilemenin bir yoludur. bu konu genellikle en karanlık müstehcenlik ve uğursuz satanizmin yoğun bir örtüsüyle örtülür, ancak bunu atarsak, o zaman bu bilgiyi algılayabilen bir nesne / konu üzerindeki bilgi etkisi de dahil olmak üzere karmaşık etki ilkesi kalır, bunun gibi bir şey modern jeopolitik veya merkezi olmayan protestolardaki melez bir savaşta ve bir hiper-nesnenin genelleştirilmesi, muhtemelen yerel olmayan, zaman-dışı ama yine de tanımlanabilir bir süreç düzeyinde bir meta-nesne olarak düşünülebilir, neredeyse bir arketip gibi.

 
Dün dediğim gibi yine erteleyeceğim bu konuyu, 19'da başladım şimdi yine çalıyor
 
Реter Konow # :

Ve böylece, Nesne.

Hemen Backus-Naur formunda kaydedin. Mevcut seçeneklerle tutarlılık ve izomorfizmi kontrol etmek mümkün olacaktır.

 

Bunların hepsi ticaret için çok önemli!

Bağlama duyarlı resmi gramerlerin egemenliğine son!

 
Aleksey Nikolayev # :

Hemen Backus-Naur formunda kaydedin. Mevcut seçeneklerle tutarlılık ve izomorfizmi kontrol etmek mümkün olacaktır.

Örnek göster lütfen.

 
transcendreamer # :

Bunların hepsi ticaret için çok önemli!

Bağlama duyarlı resmi gramerlerin egemenliğine son!

Fiyatların bağlama duyarlı bir stokastik dilbilgisi olarak temsil edilebileceğini düşünüyorum) Dalgalar uygun olabilir)

 
Aleksey Nikolayev # :

Fiyatların bağlama duyarlı bir stokastik dilbilgisi olarak temsil edilebileceğini düşünüyorum) Dalgalar uygun olabilir)

Um ... muhtemelen o zaman olasılık kuralları olan dalga dizileri şöyledir: eğer WXYZ şu ve bu şekilde gözlemlenen terimler/imzalar dizisi varsa, o zaman ayrıca bazı olasılıklarla ABC, DIA, BAC, BCA, CAB, CBA mümkündür, vektörü olasılık uzayındaki Kase'ye işaret edecektir. 😁

 
Aleksey Nikolayev # :

Fiyatların bağlama duyarlı bir stokastik dilbilgisi olarak temsil edilebileceğini düşünüyorum) Dalgalar uygun olabilir)

Ancak genel olarak, bu temelde pazar geçmişine bağımlılığı açıkça hesaba katmayan bir Markov modelidir?

 
Реter Konow # :

Örnek göster lütfen.

Tamsayılar ve virgülle ayrılmış tamsayılar listesi (liste boş olabilir)

<rakam> ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "dokuz"

<tamsayı> ::= <rakam>|<tamsayı><hane>

<liste> ::= <""> | < tamsayı > <","> <liste>

12345678910111213...17
Yeni yorum
Neden: