|
|
|
|
| LEADER |
03599na a2200241 4500 |
| 003 |
HR-ZaFER |
| 005 |
20160516012014.0 |
| 008 |
160221s2014 ci ||||| m||| 00| 0 hr d |
| 035 |
|
|
|a (HR-ZaFER)ferid1629
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 100 |
1 |
|
|a Plešić, Antonio
|9 35242
|
| 245 |
|
|
|a Usmjeravanje i dodjela frekvencija u fotoničkoj mreži programiranjem ograničenja :
|b diplomski rad /
|c Antonio Plešić ; [mentor Bruno Blašković].
|
| 246 |
1 |
|
|a Routing and Wavelength Assignment in Photonic Network with Constraint Programming
|i Naslov na engleskom:
|
| 260 |
|
|
|a Zagreb,
|b A. Plešić,
|c 2014.
|
| 300 |
|
|
|a 68 str. ;
|c 30 cm +
|e CD-ROM
|
| 502 |
|
|
|b diplomski studij
|c Fakultet elektrotehnike i računarstva u Zagrebu
|g smjer: Telekomunikacije i informatika, šifra smjera: 53, datum predaje: 2014-06-30, datum završetka: 2014-09-16
|
| 520 |
3 |
|
|a Sažetak na hrvatskom: Rad razmatra primjenjivost programiranja ograničenja u rješavanju problema usmjeravanja i pridjeljivanja valnih duljina (RWA) kojeg se pronalazi u valno usmjeravanim, valnom podjelom multipleksiranim (WDM) fotoničkim mrežama. Prezentira se pregled teorije potrebne za izražavanje navedenog problema kao skupa ograničenja. Najprije se problem usmjeravanja formulira kao instanca problema pseudo-Booleove zadovoljivosti (PB-SAT). Rješenje potproblema usmjeravanja zatim se koristi kod izražavanja potproblema pridjeljivanja valnih duljina kao instance problema Booleove zadovoljivosti (SAT) i problema zadovoljivosti modulo teorija (SMT). Opisani pristup razmatra nekoliko alternativnih ruta kako bi se sve zahtijevane konekcije uspostavile koristeći što manji broj valnih duljina. Za rješavanje RWA problema razvijen je skup programskih alata, u obliku „proof of concept“ prototipa koji transformira potprobleme u forme prikladne za strojno rješavanje korištenjem odgovarajućih alata (solvera). Na kraju je provedeno nekoliko mjerenja, te analiza i usporedba rezultata.
|
| 520 |
3 |
|
|a Sažetak na engleskom: Thesis examines applicability of using Constraint Programming for solving Routing and Wavelength Assignment (RWA) problem encountered in Wavelength-Routed Wavelength Division Multiplexed (WDM) Photonic Networks. An overview of the theory necessary for expressing the problem as a set of constraints is presented. First, the routing problem is formulated as an instance of Pseudo-Boolean Satisfiability problem (PB-SAT). Solution of routing subproblem is then used for expressing Wavelength Assignment subproblem as an instance of Boolean Satisfiability (SAT) and/or Satisfiability Modulo Theories (SMT) problem. Described approach examines several alternate routes in order to establish all of the requested connections by using fewest wavelengths possible. A set of program tools is devised in order to solve the RWA problem, in a form of proof of concept prototype that transforms subproblems to forms suitable for machine solving using appropriate solvers. Lastly, several measurements are taken in order to analyze and compare the results.
|
| 653 |
|
1 |
|a usmjeravanje i pridjeljivanje valnih duljina
|a RWA
|a programiranje ograničenja
|a CSP
|a multipleksiranje s valnom podjelom
|a WDM
|a pseudo-Booleova zadovoljivost
|a PB-SAT
|a Booleova zadovoljivost
|a zadovoljivost modulo teorija
|a SMT
|
| 653 |
|
1 |
|a Routing and Wavelength Assignment
|a RWA
|a Constraint Programming
|a CSP
|a Wavelength Division Multiplexing
|a WDM
|a Pseudo-Boolean Satisfiability
|a PB-SAT
|a Boolean Satisfiability
|a SAT
|a Satisfiability Modulo Theories
|a SMT
|
| 700 |
1 |
|
|a Blašković, Bruno
|4 ths
|9 6663
|
| 942 |
|
|
|2 udc
|c Y
|
| 999 |
|
|
|c 45308
|d 45308
|