Formalization and modeling of cyberspace
Siber uzayin formalizasyonu ve modellenmesi
- Tez No: 618947
- Danışmanlar: DOÇ. DR. AHMET HASAN KOLTUKSUZ
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2020
- Dil: İngilizce
- Üniversite: Yaşar Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Fen Bilimleri Ana Bilim Dalı
- Bilim Dalı: Bilgisayar Mühendisliği Bilim Dalı
- Sayfa Sayısı: 153
Özet
Siber uzayın kavramasallaştırılması ve formal olarak modellenmesi, dinamik siber system modeli yapısının geliştirilmesi system entegrasyonunun oluşturulmasıdır. Siber uzay ve ilgili network tasarımı, birçok bilim dalında çalışılmıştır ve bununla ilgili literatür oldukça karmaşıktır. Bu tezde, çizge kuramı, etmen-tabanlı modelleme ve uzay kuramsal matematiksel modelleme alanlarını entegre eden çokdisiplinli bakış açısına göre siber ağ tasarımının topolojik dinamiğini çalışılmıştır. Çabamız, siber uzayı tanımlamak için başlıca var olan kuramları ve araçları incelemektir. Siber uzay elemanlarının topolojik dinamiğini biçimlendirme problemine değinilmiştir. Bununla birlikte; ağ tasarım ilkeleriyle hücresel otomatların modellenmesi yaklaşımının birleştirilmesi yoluyla, ağ dinamiği elemanlarının modellenmesine dair yeni bir yaklaşımın temellerini araştırdık. Ağ katmanları formundaki elemanların modellenmesini öneren ve topolojik dinamiğin temel kuralını da içeren matematiksel bir model önerilmiştir. Basit kavram kanıtlama deneyimi göstermektedir ki, ağ topolojisi -diğer karmaşık network modellemesi çalışmalarına benzer bir şekilde- bu karmaşık, düzenlenmiş ağ sisteminin özniteliklerinin nereden geldiğini açıklayan bağımsız tepe derecesi dağılımını ortaya koymaktadır. Ayrıca, fiziksel uzay ile siber uzay arasında coğrafi ve fiziki bakış açılarına göre var olan kuramsal bağlantılar da açıklanmıştır. Literatürdeki mevcut formülü pekiştirmek adına, ilgili disiplinlerin uygun bir entegrasyonunu belirlemek ve graf-hücresel otomatlar kaynaklı siber haritalar modellemek için, bu bağlantılar üzerine yoğun bir çok disiplinli araştırma gerçekleştirilmiştir.
Özet (Çeviri)
The cyberspace conceptualization and formal modelling is to enhance the integration of system theory in developing dynamic cyber system modeling framework. Cyberspace and its related network design have been studied in many disciplines and the related literature is intricate. In this dissertation, we study the topological dynamics of cyberspace network design from multidisciplinary perspective integrating graph theory, agent-based modeling and space theoretic mathematical formulation. Our effort examines mainly existing theories and tools to characterize cyberspace. We address the problem of formalizing the topological dynamics of cyberspace entities and investigate how the combination of network design principles and cellular automata modelling approach could be used as a foundation for a new approach of modeling the entities network dynamics. We propose a mathematical formulation that suggest modeling entities in form of layers of networks and incorporates the basic functions for the topological dynamics. Our simple proof of concept experiment shows that the topology of the network, similar to other studies of complex network modeling, exhibit scale free degree distribution explaining where the features of this complex organized network system came from. We also explain the theoretical connections between physical space and cyberspace from both geographic and physics perspectives. Consolidating the available formulation in the literature, we perform extensive multidisciplinary research on this connection to assess the appropriate integration of the related disciplines and to present graph-cellular automata driven cybermap formulation.
Benzer Tezler
- A Study on the relation between logic and information
Mantık ve enformasyon arasındaki ilişki üzerine bir çalışma
TANKUT BEYGU
Yüksek Lisans
İngilizce
2003
FelsefeOrta Doğu Teknik ÜniversitesiFelsefe Ana Bilim Dalı
DOÇ. DR. DAVİD GRÜNBERG
- Building semantic based public transportation geoportal compliant with the INSPIRE transport network data theme
Semantik tabanlı toplu taşıma geoportalının INSPIRE ulaşım veri modeline uyumlu olarak geliştirilmesi
ARİF GÜNAY
Doktora
İngilizce
2013
Jeodezi ve Fotogrametriİstanbul Teknik ÜniversitesiGeomatik Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET ORHAN ALTAN
- Kurumsallaşma, ikili bağlılık ve iş performansı arasındaki ilişki: Otel mutfak çalışanları üzerinde bir araştırma
The relationship between institutionalization, dual commitment and job performance: A study on hotel kitchen employees
EMİNE ŞİMŞEK EVREN
Doktora
Türkçe
2020
TurizmMersin ÜniversitesiTurizm İşletmeciliği Ana Bilim Dalı
PROF. DR. A. CELİL ÇAKICI
- Modeling and verification of a stream authentication protocol using communicating sequential processes
Haberleşen sıralı süreçler kullanarak bir akış kimlik denetimi protokolünün modellenmesi ve doğrulanması
SÜLEYMAN MURAT ÖZKAN
Yüksek Lisans
İngilizce
2010
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİzmir Yüksek Teknoloji EnstitüsüBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. AHMET KOLTUKSUZ
PROF. DR. SITKI AYTAÇ
- Part embedding for shape grammars
Şekil gramerleri için parça gömme
HACER YALIM KELEŞ
Doktora
İngilizce
2010
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Bölümü
DOÇ. DR. MİNE ÖZKAR
PROF. DR. SİBEL TARI