Browsing by Title
-
Dimitrijević, Dr Sergije (VISOKA ŠKOLA POLITIČKIH NAUKA , 1961)[more][less]
-
Dimitrijević, Sergije (Beograd , 1961)[more][less]
URI: http://hdl.handle.net/123456789/4418 Files in this item: 1
PrivredniRazvitak_1918-1941.pdf ( 9.385Mb ) -
Montessus de Ballore, R. (Paris , 1931)[more][less]
-
Đorđević, Radosav (Kragujevac , 1991)[more][less]
Abstract: The thesis consists of six chapters. Chapter 1 contains the structures, in which the probability logics are realized, and the basic methods of nonstandard analysis which are used in the other chapters. In Chapter 2 the syntax and semantics of the following probability logics are presented: the logic with the probability quantifiers L_Ap, the logic with the integral operators L_A_∫ , the logic with the operator of conditional expectation L_AE and adapted probability logic L_ad. Moreover, the certain important results about these logics are given. The problems of Barwise’s completeness, completeness, compactness, the existence of analytic and hyperfinite models for biprobability logics LA_P1_P2, LA_∫_1_∫_2 and L_ad in absolute continuous and singular cases are solved in Chapter 3. The many-probability logic BC{L_AP_i:i∊I}, I∊A obtained by Boolean combinations of probability logics L_AP is introduced and some model-theoretical properties of that logic are given in Chapter 4. In Chapter 5 the probability logic L^2AP∀ of second order is introduced, which is motivated by Keisler’ s problems with L_AP∀ and some topological logics. The problem of completeness for the logic L^2AP∀ is proved. In Chapter 6 cylinder probability algebras are introduced and some possibilities to solve problems for these algebras (which are characteristics of standard cylinder algebras, as the representation, axiomatization and decidability) are presented. URI: http://hdl.handle.net/123456789/189 Files in this item: 1
phdRadosavSDjordjevic.pdf ( 2.407Mb ) -
Valcheva, A.; Nedialkov, P.; Ivanov, V. D.; Vanzi, L. (Heron Press Ltd, Sofia , 2007)[more][less]
-
Djerasimović, Božidar (Belgrade)[more][less]
URI: http://hdl.handle.net/123456789/140 Files in this item: 1
phdBozidarPDjerasimovic.pdf ( 2.343Mb ) -
Stamenković, Aleksandra (Beograd , 2020)[more][less]
URI: http://hdl.handle.net/123456789/5075 Files in this item: 1
StamenkovicAleksandra.pdf ( 2.955Mb ) -
Radovanac, Milan (Astr. druš. "Rudjer Bošković" , 2011)[more][less]
-
Malović, Jovana (Beograd , 2023)[more][less]
-
Tauber, Eli (Sarajevo , 2010)[more][less]
-
Stančić, Olivera (Beograd , 2018)[more][less]
Abstract: Hub Location Problems (HLP) represent an important class of optimiza- tion problems due to their numerous applications in many areas of real life. They often arise from practical situations that require routing of the flow from origin node (supplier) to the destination node (customer) under given conditions, such that the value of considered objective function is optimal. Hubs are special objects (nodes in the network) that represent centres for consolidation and flow collection between two selected locations - suppliers and customers. As transportation costs (per unit of flow) along the links that connect hub nodes are lower compared to other links in the network, directing the flow to hubs may lead to significant reductions of transportation cost in the network. The subject of this doctoral dissertation is one class of hub location problems, denoted as Hub Maximal Covering Problems (HMCPs) in the literature. The goal of HMCPs is to determine optimal locations for establishing certain number of hubs in order to maximize the total flow between all the covered origin-destination pairs, under the assumption of binary or partial covering. Three variants of the hub maximal covering problem are considered: uncapacitated single allocation p -hub maximal covering problem (USApHMCP), uncapacitated multiple allocation p -hub maximal covering problem (UMApHMCP) and uncapacitated r -allocation p -hub maximal covering problem (UrApHMCP). Note that the UrApHMCP has not been studied in the literature so far. All three considered problems are proven to be NP- hard. In case of USApHMCP, for the given set of hubs, the obtained sub-problem of optimal allocation of non-hub nodes by established hubs is also NP-hard. In this dissertation, new mathematical models for USApHMCP with binary and partial covering are proposed. The main advantage of the newly proposed models, in respect to existing ones from the literature, is the fact that small modifications of the new models enable their transformation to new models for p -hub maximal covering problems with different allocation schemes. More precisely, new models for UMApHMCP and UrApHMCP can be obtained from the newly proposed mod- els for USApHMCP in both coverage cases. All proposed models for USApHMCP and UMApHMCP are compared with the existing ones from the literature in the terms of efficiency within the framework of exact CPLEX 12.6 solver. Several hub data sets from the literature are used in numerical experiments when comparing the formulations. The obtained experimental results indicate that new models for UMApHMCP with both binary and partial coverage show the best performance in terms of solutions’ quality and execution times. For UrApHMCP and both coverage criteria, three mathematical models are proposed, and compared in terms of effi- ciency using the exact CPLEX 12.6 solver. It turns out that the exact solver finds optimal or feasible solutions only for small-size problem instances. Having in mind the complexity of all three problems under consideration and the results obtained by CPLEX 12.6 solver, the conclusion is that, in practice, exact methods can not provide solutions for large problem dimensions. For this reason, it was necessary to implement adequate heuristic or metaheuristic methods, in order to obtain high-quality solutions in short execution times, even in the case of large problem dimensions. Up to now, only simple but insufficiently effective heuris- tic methods for solving USApHMCP and UMApHMCP with binary coverage have been proposed in the literature, while the HMCP variants with partial coverage have not been previosly solved by using metaheuristic methods. As UrApHMCP with binary and partial coverage has not been previously considered in the litera- ture, no solution methods suggested for this problem existed up to now. Inspired by previous successful applications of variable neighborhood search method (VNS) to other hub location problems from the literature, this metaheuristic approach is applied to the considered HMCP problems. In this dissertation, several variants of VNS metaheuristic are designed and implemented: General Variable Neighborhood Search (GVNS) for USApHMCP, Basic Variable Neighborhood Search (BVNS) for UMApHMCP and a variant of General Variable Neighborhood Search (GVNS-R) for UrApHMCP. In the case of UrApHMCP, two additional metaheuristic meth- ods are proposed: Greedy Randomized Adaptive Search Procedure with Variable Neighborhood Descent (GRASP-VND) and Genetic Algorithm (GA). Constructive components of all proposed metaheuristics are adapted to the characteristics of the considered problems. Experimental study was conducted on the existing hub data sets from the lit- erature, which include instances with up to 1000 nodes in the network. The ob- tained results show that the proposed metaheuristics for the considered problems reach all known optimal solutions previously obtained by CPLEX 12.6 solver or establish new best-known solutions in significantly shorter CPU time compared to CPLEX 12.6. The proposed GVNS and BVNS metaheuristics quickly reach all known optimal solutions on small-size problem instances when solving USApHMCP and UMApHMCP, respectively. In the case of large-size problem instances, which have not been previously used for testing purposes for these problems, the proposed GVNS and BVNS return their best solutions in short execution times. The results obtained by the proposed GVNS-R and GRASP-VND for UrApHMCP on large-size problem instances indicate their effectiveness in both coverage cases. The proposed GA method showed to be successful only for UrApHMCP in binary covering, on instances up to 200 nodes. The variants of hub maximal covering problems considered in this dissertation are important from both theoretical and practical points of view. The new mathe- matical models proposed in this dissertation for the considered variants of HMCP, represent a scientific contribution to the theory of hub location problems, mathemat- ical modeling and optimization. Designed and implemented metaheuristic methods for solving the studied variants of HMCP are the scientific contribution to the field of optimization methods for solving location problems, as well as the development of software. The considered variants of HMCP have numerous applications in the optimization of telecommunication and transport systems, air passenger and goods transport, emergency services, postal and other delivery systems, so that the results obtained in this doctoral dissertation can be applied in practice, partially or com- pletely. URI: http://hdl.handle.net/123456789/4750 Files in this item: 1
StancicOliveradisertacija.pdf ( 1.688Mb ) -
Ćirić, Mijalko (Belgrade , 1891)[more][less]
-
Hodžić, Maida (Beograd , 2015)[more][less]
-
Ostrogorski, Tatjana (Faculty of Sciences, Belgrade, Serbia , 1978)[more][less]
-
Dimitrijević, Sergije (Beograd , 2017)[more][less]
URI: http://hdl.handle.net/123456789/4419 Files in this item: 1
ProblemiSrpskeSrednjovekovneNumizmatike-II.pdf ( 15.73Mb ) -
Kuprešanin, Nikolina (Beograd , 2023)[more][less]
URI: http://hdl.handle.net/123456789/5590 Files in this item: 1
masterKupresaninNikolina.pdf ( 4.819Mb ) -
Stojanović, Stevan (Belgrade , 1969)[more][less]
-
Kalmikov, Nataša (Beograd , 2014)[more][less]
URI: http://hdl.handle.net/123456789/3909 Files in this item: 1
masterNatasaKalimkov.pdf ( 2.159Mb ) -
Božović, Vladimir (Beograd , 2003)[more][less]
URI: http://hdl.handle.net/123456789/4076 Files in this item: 1
Problem_izomorfizama.PDF ( 6.734Mb ) -
Gladović, Milica (Beograd , 2011)[more][less]