Web matematika

L’opez-Ortiz, dalam survei yang berguna, terlihat di sejumlah paradigma berguna untuk memahami dasar-dasar algoritmik Internet pada umumnya dan Web pada khususnya. Menerapkan wawasan tentang algoritma masalah jaringan, dalam konteks protokol tertentu mendasari Web, berpotensi sangat bermanfaat. Dan konteks yang sangat penting – fungsi (atau sebaliknya) dari algoritma dalam konteks Web menyediakan beberapa bukti yang paling meyakinkan bagi mereka yang ingin berpendapat bahwa itu adalah lingkungan yang penting unik. Pertumbuhan dari theWeb, sebagai L’opez-Ortiz menunjukkan, adalah seperti yang paling canggih teks algoritma pengindeksan yang beroperasi baik di dalam zona kenyamanan mereka dalam aplikasi standar pada awal tahun 1995, namun berjuang keras pada akhir tahun itu. Dalam hal ini, pemahaman insentif yang tersedia bagi pengguna Web harus menyediakan metode untuk model menghasilkan perilaku, dan karenanya pandangan tentang apa global set perilaku yang diinginkan bisa direkayasa, dan apa yang bisa sistem mendukung perilaku tersebut. Web tidak memiliki mekanisme koordinasi pusat, namun menghasilkan sistematis perilaku menarik berkat insentif dan kendala dikenakan baik oleh arsitektur, protokol dan standar, dan mereka interaksi dengan sifat sosial atau psikologis dari pengguna atau desainer (Memang, hal ini bisa dibilang fakta bahwa Web dibangun, dikelola dan digunakan oleh banyak pengguna dunia nyata dengan kepentingan hampir terbayangkan beragam dan preferensi yang yang terpenting untuk aplikasi paradigma / ekonomi teori permainan). Kunci keberhasilan dari Web terletak pada efek jaringan menghubungkan ke sumber daya, jika yang baik memiliki efek jaringan, kemudian nilai itu meningkat baik untuk pemilik individu pemilik semakin banyak adalah, dan semua hal yang sama dengan lebih kaya set link besarnya penggunaan Penyambungan. Jaringan efek dapat berupa langsung atau tidak langsung. Efek langsung adalah di mana permintaan untuk barang dihubungkan dengan jumlah orang yang memilikinya – telepon dan email menjadi contoh utama.

Sebuah paradigma penting kedua adalah bahwa pencarian informasi. IR adalah fokus untuk perlombaan senjata antara algoritma untuk mengekstrak informasi dari repositori yang kedua repositori mendapatkan lebih besar dan lebih kompleks, dan tuntutan pengguna lebih sulit untuk memuaskan (baik dalam hal respon waktu atau kompleksitas dari query). Satu masalah yang jelas berkenaan dengan IR melalui Web adalah bahwa Web tidak memiliki otoritas QA. Siapapun dengan account ISP dapat menempatkan halaman di Web, dan dikenal Web telah menjadi situs proliferasi sebuah teori konspirasi, legenda perkotaan, trivia dan fantasi, serta sebagai penderitaan dari semua gejala informasi unmanaged seperti out-of-date halaman dan duplikasi, semua kesulitan yang berkaitan dengan multimedia representasi, dan semua indeterminacies diperkenalkan oleh kurangnya ketat terkendala representasi pengetahuan.

Memahami matematika dan topologi dari Web adalah praktis impor untuk memahami invariants dari pengalaman Web dan Oleh karena itu menyediakan peta jalan untuk ekstensi untuk theWeb. Yang penting properti yang memiliki Web adalah ketahanan dalam menghadapi meruntuhkan pengaruh; baik hacker maupun kesalahan yang tak terelakkan dalam fisik jaringan sangat mengganggu theWeb, meskipun sesuatu seperti satu router dalam empat puluh turun di setiap saat satu. Barab’asi dan rekan advokat penggunaan teori perkolasi, studi tentang proses dalam ideal acak 2 (atau lebih) media dimensi, untuk melihat topologi kontribusi terhadap toleransi kesalahan. Sebagai Web berkembang untuk memasukkan model layanan, di mana perangkat lunak agen dan layanan Web akan hidup online dan dipanggil oleh pengguna, dan di mana metafora yang semakin penting adalah bahwa klien menghubungi penyedia layanan, representasi matematika baru, formalisms dan teori menjadi berguna untuk menggambarkan hubungan ini. Teori Petri jaring sistem terdistribusi [269, 298] model diskrit, yang Web adalah contoh utama. Teori yang berlaku menambahkan pengertian concurrency dengan ide dari mesin negara, dan telah disarankan sebagai sarana penting model layanan Web [296]. Proses aljabar, seperti CSP [141] atau CCS [203] juga dapat model paralel pengolahan.

Mereka menyediakan sebuah array konstruksi untuk model dinamika pengolahan informasi dan komunikasi output dan meminta input, seperti kebijakan, urutan tindakan, fungsi pilihan, proses dan metode sinkronisasi. Salah satu perkembangan terbaru adalah π-kalkulus (bernama analogi ke λ-kalkulus), yang merupakan pengembangan aljabar proses (khusus suatu cabang CCS) dirancang untuk menyediakan mobilitas dalam pemodelan proses. The π-kalkulus sengaja minim (mengandung sedikit lebih dari saluran komunikasi, variabel, replikasi dan concurrency), tetapi dapat diperluas dengan mudah untuk mencakup fungsi urutan pertama dan dasar pemrograman konstruksi. Sebagaimana telah kita lihat ada kebutuhan untuk bahasa untuk menggambarkan layanan web (seperti CDL atau BPEL), dan mungkin bahwa matematika yang tercantum di sini bisa mendukung bahasa tersebut. Ada hidup perdebatan tentang jala Petri dan π-kalkulus, berfokus pada manfaat relatif dari, jaring negara berbasis grafis, dan semakin tekstual, linier, aljabar proses-event.

Web Topologi

struktur web

Investigasi Topological merupakan upaya untuk memahami struktur dari dasar unsur-unsur arsitektur dan hubungan antara mereka. Penyelidikan struktur dari web selalu tergantung pada tingkat abstraksi dari deskripsi saja. Struktur pada gilirannya memberikan bukti percakapan apa yang sedang berlangsung melalui web. Oleh karena itu pemahaman struktur adalah penting untuk sejumlah aplikasi, seperti navigasi, pencarian, menyediakan sumber daya untuk mendukung komunitas online, atau ameliorating efek dari perubahan mendadak dalam permintaan informasi. Pada bagian ini, kita akan membahas upaya untuk mengukur struktur global dari Web, dan bagaimana halaman web individu masuk ke dalam konteks itu. Sebagai contoh, mungkin itu mungkin untuk pengetahuan peta di the Web? Seperti peta memungkinkan pemahaman komunitas online, atau untuk terlibat dalam ‘membanggakan melacak’. Mengingat peta tersebut, kita dapat membayangkan bercak masalah seperti Slashdot surge (yang memperlambat atau penutupan sebuah website setelah baru dan besar. Populasi pengguna mengikuti link dari sebuah website populer, sebagaimana terjadi dari situs dari majalah online Slashdot) sebelum mereka terjadi – atau setidaknya mampu mengintervensi cukup cepat untuk memulihkan normal atau jasa dapat diterima segera setelah itu. Memang, kita bahkan mungkin menemukan berkat apakah dampak lonjakan Slashdot telah menolak ekspansi konstan dari Web, seperti yang telah dikatakan baru-baru ini.

Metode analisis web melihat pola link ternyata sangat menarik, mencerahkan dan kuat dalam struktur yang mereka temukan. Sebagai contoh, beberapa situs sepertinya harus diambil karena berwibawa dalam beberapa cara – dengan kata lain, banyak situs lain link ke dalamnya. Situs lain mengandung banyak link keluar yang berwenang seperti indeks situs mengenai topik tertentu dan situs ini bertindak sebagai hub. Hub tersebut juga dapat otoritas, tetapi oleh mereka mungkin ditunjukkan oleh beberapa halaman atau bahkan tidak ada halaman sama sekali. Ketika metode seperti yang dipelopori oleh Kleinberg, Brin dan Page

mengambil link matriks Web dan menemukan vektor eigen, ternyata bahwa mereka sesuai dengan cluster sekitar konsep tentang halaman. Seperti otoritas-hub struktur sangat penting untuk kami analisis pemahaman dari Web, dan membutuhkan dari link matriks temukan. Mungkin paradigma yang paling terkenal untuk mempelajari Web adalah grafik teori. Web dapat dilihat sebagai grafik yang node halaman dan yang (diarahkan) tepi adalah link. Karena weblinks sangat sedikit acak, jelas bahwa tepi grafik mengkodekan banyak struktur yang terlihat oleh desainer dan penulis konten yang sama pentingnya. Konektivitas webgraph telah dianalisis secara rinci, menggunakan struktural seperti indikator seperti bagaimana node yang terhubung.

Struktur Web adalah hipotesis menjadi grafik dunia kecil, di mana jalur terpendek antara node lebih kecil dari satu mungkin mengharapkan grafik yang ukuran. Bersamaan dengan wawancara pakar, analisis itu digunakan untuk mengungkap pola penggunaan, dan melemparkan cahaya pada pertanyaan apakah struktur Web menciptakan ilmu pengetahuan, demokratis terdesentralisasi mana pemasok berbagai informasi yang digunakan, atau alternatif pemenang-mengambil-semua Web di mana ada pusat informasi yang penting

mendapatkan pasokan diperkuat. Perbedaan topologi yang mengikuti yang signifikan; misalnya, dengan jaringan dengan distribusi Poisson, maka akan secara eksponensial jarang ditemukan node dengan link substansial lebih dari mean, sedangkan distribusi kuasa hukum menentukan sebuah topologi mana banyak node beberapa link, dan sejumlah kecil tapi signifikan sudah sangat banyak. Teori graph tradisional cenderung bekerja dengan model ukuran tetap. Namun, pertumbuhan web tidak hanya menuntut grafik yang dinamis teori, juga membutuhkan model yang menghormati kualitas pertumbuhan itu. Jadi, misalnya, link baru tidak secara acak, lagi dari link lama kemungkinan adalah bahwa link baru akan tersambung ke halaman yang tersambung sendiri sangat sudah (dengan demikian menampilkan konektivitas preferensial).

Model skala-bebas seperti itu adalah contoh sederhana dari jaringan. Secara khusus, asumsi kuasa hukum mungkin terlalu rapi, dan pembagian derajat node, meskipun sangat bervariasi, mungkin tidak cocok dengan kuasa hukum. Struktur tersebut sebagai Intranets mempunyai sifat yang sangat berbeda, dalam hal ukuran, konektivitas, koherensi dan mencari properti; beberapa sifat terbawa dari Internet secara keseluruhan, sementara yang lainnya tidak. Telah ada sedikit pekerjaan atas struktur kontras, meskipun melihat untuk investigasi Intranet, dan [252] untuk subgraphs sesuai dengan tertentu ilmiah topik.