Název: Distribuovaný systém pro ověřování vlastností přirozených čísel
Překlad názvu: Distributed Sytem for Verification of Properties of Natural Numbers
Autoři: Tomisová, Martina ; Mírovský, Jiří (vedoucí práce) ; Peterek, Nino (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2007
Jazyk: cze
Abstrakt: [cze] [eng]
Výsledkem práce je systém pro distribuované ověřování vlastností přirozených čísel. Systém má dvě části - klientskou a serverovou. Komunikace mezi nimi probíhá přes HTTP protokol. Server distribuuje zadání (přirozená čísla) a ukládá výsledky (vlastnost čísel) od klientů. Klienti provádí výpočty. Zadáním jednoho výpočtu je jedno přirozené číslo, výsledkem rovněž. Distribucí výpočtů je možné ověřit danou vlastnost pro více přirozených čísel. Konkrétní postup pro výpočet lze klientu poskytnout jako modul. Součástí práce jsou dva příklady modulů. První je jednoduchý a slouží jako vzor pro jejich vytváření. Druhý modul určuje, zda je číslo prvočíslo. Je v něm zahrnuta vlastní knihovna pro aritmetiku dlouhých čísel. Server tedy může distribuovat (potenciálně velká) čísla, klient ověří, zda dané číslo je prvočíslo. The result of my work is a system for distributed verification of properties of natural numbers. It has two parts - server and client. These communicate via HTTP protocol. The clients perform the computation, the server distributes the work (numbers) and gather results (properties of the given numbers). The input of one computation should be one natural number, as well as the result (output). The distribution can be used for verification of a given property for several natural numbers. Particular jobs can be added to the client as plugins. Two examples of plugins are a part of the work. The first one is very simple and shows how to create plugins. The second example searches for prime numbers (and has it's own arithmetics library for long numbers) - the server can distribute (possibly big) numbers, the client will verify whether a given number is a prime number.

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/10376

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-465446


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce