Browsing Doctoral Dissertations by Title
-
Šobot, Boris (Novi Sad , 2009)[more][less]
Abstract: The method of forcing is widely used in set theory to obtain various consistency proofs. Complete Boolean algebras play the main role in applications of forcing. Therefore it is useful to define games on Boolean algebras that characterize their properties important for the method. The most investigated game is Jech’s distributivity game, such that the first player has the winning strategy iff the algebra is not (!, 2)-distributive. We define another game characterizing the collapsing of the continuum to !, prove several sufficient conditions for the second player to have a winning strategy, and obtain a Boolean algebra on which the game is undetermined. URI: http://hdl.handle.net/123456789/297 Files in this item: 1
phdBorisSobot.pdf ( 987.6Kb ) -
Šobot, Boris (UNIVERSITY OF NOVI SAD FACULTY OF SCIENCE DEPARTMENT OF MATHEMATICS AND INFORMATICS , 2009)[more][less]
-
Stanić, Marija (Kragujevac, Srbija , 2007)[more][less]
Abstract: The field of research in this dissertation is consideration of some nonstandard types of orthogonality and their applications to constructions of quadrature rules with maximal degree of exactness, i.e., quadrature rules of Gaussian type. The research in this dissertation is connected with the following subjects: Theory of Orthogonality, Numerical Integration and Approximation Theory. We have tried to produce a balanced work between theoretical results and numerical algorithms. URI: http://hdl.handle.net/123456789/1741 Files in this item: 1
PhD MS.pdf ( 784.9Kb ) -
Minčić, Svetislav (Novi Sad)[more][less]
-
Stojanović, Boban (Kragujevac, Serbia , 2007)[more][less]
Abstract: Muscles are organs whose primary function is to produce force and motion. There are three types of muscles: skeletal (striated), smooth and hart muscles. Skeletal muscles are attached to bones and can move them voluntarily. There are many daily activities which occur over an extended period of time and during which performances of muscles can be reduced (reduction of maximal force, contraction speed, movement control, etc). Although numerous mathematical models of muscles have been developed, there are only few models which take into account muscle fatigue. Most of the existing muscle fatigue models consider muscle fatigue under specific conditions only. Motivated by the fact that the existing muscle fatigue models are very limited under arbitrary conditions of activation and loading, we here present a new model including muscle fatigue. The proposed model is based on Hill’s phenomenological model consisting of contractile, serial and parallel elastic elements, but now using a fatigue curve under maximal activation and recovery curve as input parameters, in order to predict muscle response under arbitrary loading conditions. Furthermore, an extension of Hill’s model is introduced, in order to take into account different fiber types. Various types of muscle fibers can have very different physiological and mechanical properties, significantly affecting their resistance to fatigue. The developed models are incorporated into the finite element software PAK. The proposed models are verified by comparing the calculated results with experimental measurements and data from literature. By computer modeling of human biceps and triceps muscles, as well as the frog gastrocnemius muscle, it is shown that the models can predict behavior of real muscles with satisfactory precision. Besides application to single muscles, the proposed models can be used for computer simulations of complex musculoskeletal systems. In order to provide efficient modeling of muscles and musculoskeletal systems, a software for automatic muscle generation using medical images has been developed, as well as a module for result post-processing by employing various types of graphs. The proposed models and the developed software can be used as a very powerful tool in designing medical and sport equipment, planning trainings and analyzing exercises. Computer simulations based on the muscle mechanical models can prevent work injuries and significantly reduce costs for individuals and society. URI: http://hdl.handle.net/123456789/1843 Files in this item: 1
Boban Stojanovic - Doktorska disertacija.pdf ( 12.75Mb ) -
Lopandić, Dragomir (Belgrade)[more][less]
-
Udovičić, Enes (Belgrade , 1980)[more][less]
-
Simovljević, Jovan (None)[more][less]
-
Stanimirović, Zorica (Belgrade , 2007)[more][less]
Abstract: U ovom radu opisani su različiti genetski algoritmi (GA) za rešavanje četiri NP-teška hab lokacijska problema: problem p-hab medijane neograničenih kapaciteta sa jednostrukim alokacijama (USApHMP), problem p-hab medijane/centra ograničenih kapaciteta sa jednostrukim alokacijama (CSApHMP/CSApHCP) i hab lokacijski problem ograničenih kapaciteta sa jednostrukim alokacijama (CSAHLP). Ovi hab lokacijski problemi nalaze veliku primenu u dizajniranju transportnih i telekomunikacijskih sistema, poštanskih i drugih sistema isporuke, lokalnih i globalnih računarskih mreža, itd. Za problem p-hab medijane neograničenih kapaciteta sa jednostrukim alokacijama (USApHMP), razvijene su GA metode koje koriste dva različita načina kodiranja i adekvatne modifikovane genetske operatore. U cilju poboljšanja efikasnosti predloženih genetskih algoritama, primenjena je hibridizacija oba GA koncepta sa heuristikom lokalnog pretraživanja, pa su tako nastale hibridne HGA1 i HGA2 metode koje su veoma uspešne i pri rešavanju problema velikih dimenzija. Za rešavanje hab lokacijskih problema ograničenih kapaciteta CSApHMP, CSApHCP i CSAHLP takođe su predložene razne verzije genetskih algoritama. Primenjene su dve razičite reprezentacije rešenja i odgovarajući genetski operatori razvijeni u skladu sa prirodom problema. Implementirani genetski operatori čuvaju korektnost jedinki u tokom generacija GA i u smislu očuvanja broja uspostavljenih habova i u smislu ograničenja kapaciteta habova. Sve opisane genetske (evolutivne) metode testirane su na odgovarajućim standardnim ORLIB instancama iz literature. Za sva četiri hab lokacijska problema koja su razmatrana u ovom radu, predloženi (hibridni) genetski algoritmi dostižu sve do sada poznate optimalne vrednosti na datim instancama u zadovoljavajućem vremenu izvršavanja. U radu su data rešenja i za probleme velikih dimenzija (n=100,200 p≤20) za koje optimalna rešenja nisu poznata, a neki od ovih problema do sada nisu rešavani u literaturi. Dobijeni rezultati predloženih GA metoda jasno ukazuju na značaj i potencijal genetskih pristupa rešavanju hab i drugih lokacijskih problema.In this paper some new genetic algorithms (GA) for solving four NP-hard hub location problems are described: Uncapacitated Single Allocation p-hub Center Problem (USApHCP), Capacitated Single Allocation p-hub Median/Center Problem (CSApHMP/CSApHCP) and Capacitated Single Allocation Hub Location Problem (CSAHLP). These hub ploblems have various applications in designing transportation and telecommunications systems, postal and other delivery systems, local and golobal computer area networks, etc. For the Uncapacitated Single Allocation p-hub Center Problem (USApHCP), two hybrid heuristic methods, named HGA1 and HGA2 are proposed. These methods are a combination of a genetic algorithm and a generalization of the well-known fast interchange heuristic (IH). In order to investigate the effect of encoding on GA performance, two different encoding schemes are implemented: binary encoding in HGA1, and integer representation in HGA2. Modified genetic operators that keep the feasibility of individuals are designed and implemented in both HGA1 and HGA2. The performed computational experiments showed the effectiveness of both hybrid methods, even for solving large-scaled problem instances For the capacitated variants of hub location problems CSApHMP, CSApHCP i CSAHLP, new genetic approaches are also described. In proposed genetic algorithms, new encoding schemes are implemented with appropriate objective functions. By using specific representation and modified genetic operators, proposed GA approaches keep the feasibility of individuals, i.e. the fixed number of established hubs and/or satisfying the capacity constraints on hubs. The numerical experiments were carried out on the standard hub data set from the literature. For all four hub problems that were studied, the corresponding GA method proved to be robust and efficient in solving the problem instances with up to 200 nodes and 20 hubs. Computational experiments demonstrate that all proposed GA methods reach all previously known optimal solutions on tested hub instances. The algorithm is also benchmarked on large scale hub instances with n=100,200 nodes and p≤20 hubs that are not solved (to optimality) so far. The presented computational results clearly indicate the usefulness of the proposed GA approaches. URI: http://hdl.handle.net/123456789/298 Files in this item: 1
phdZoricaStanimirovic.pdf ( 666.6Kb ) -
Đorić, Miloš (Beograd , 2022)[more][less]
Abstract: In this dissertation, the classification of some important classes od hypersurfaces M of the nearly Kähler S3 × S3 is considered, along with the parametrisation of the geodesic lines of this manifold. This manifold is one of only four examples of homogeneous, 6-dimensional, nearly Kähler manifolds. In addition to the almost complex structure J, this manifold is en- dowed with an almost product structure P , which anticommutes with J. Owing to these facts, there are two families of interesting tangent vector fields on S3 × S3, called P−singular vector fields, having similar properties as A−singular vector fields on complex quadrics Q, which are already known. The notion of P−principal and P−isotropic tangent vector fields of S3 × S3 is defined, along with their basic properties. In the case of P−principal normal vector field ξ of the hypersurface M , the partial classification is given, while the immersion of the hypersurfaces M with P−isotropic normal vector field ξ is stated explicitly. URI: http://hdl.handle.net/123456789/5324 Files in this item: 1
MilosDjoricDoktorat.pdf ( 800.8Kb ) -
Šukilović, Tijana (Beograd , 2015)[more][less]
Abstract: In the present work we classify left invariant metrics of arbitrary signature on four-dimensional nilpotent Lie groups. Their geometry is extensively studied with special emphasis on holonomy groups and decomposability of metrics. Also, isometry groups are completely described and we give examples of metrics where strict inequalities Isplit < Iaut < I hold. It is interesting that Walker metrics appear as the underlying structure of neutral signature metrics on the nilpotent Lie groups with degenerate center. We nd necessary and su cient condition for them to locally admit nilpotent group of isometries. Finally, we solve the problem of projectively equivalent metric on four-dimensional nilpotent Lie groups by showing that left invariant metric is either geometrically rigid or have projectively equivalent metrics that are also a nely equivalent. All a nely equivalent metrics are left invariant, while their signature may change. URI: http://hdl.handle.net/123456789/4453 Files in this item: 1
Doktorska_disertacija_-_Tijana_Sukilovic.pdf ( 1.501Mb ) -
Đorić, Mirjana (Beograd , 1994)[more][less]
Abstract: It is an interesting problem to study the geometry of Riemannian manifolds by investigating the propetries of geometric objects on them. It turns out that the features of the geometry of a family of geometric objects on a Riemannian manifold strongly influence the geometry of the ambient space. In this paper we focus on the same kind of problems considering the extrinsic and intrinsic geometry of tubes about geodesics on Kahler and Sasakian manifolds. In order to obtain our results we mainly work with Jacobi vector fields because this falls among the best ways of analysing the geometry of normal and tubular neighborhoods. In Chapter II we compute the explicit formulas for the shape operator of tubes about co-geodesics on Sasakian space forms, using the technique of Jacobi vector fields. Further, in Chapter III we characterize locally Hermitian symmetric spaces and complex space forms considering the shape operator and the Ricci operator of tubes about geodesics on Kahler manifolds. Finally, in Chapter IV we characterize Sasakian space forms and locally co-symmetric spaces by analysing the action of the shape operator and the Ricci operator on tubes about cp-geodesics on Sa URI: http://hdl.handle.net/123456789/4091 Files in this item: 1
Geometrija_geodezijskih.PDF ( 1.664Mb ) -
Pavlović, Miroslav (Belgrade , 1983)[more][less]
-
Dimitrijević, Ivan (Beograd , 2017)[more][less]
Abstract: Einstein theory of gravity successfully describes the Solar system. It also predicts the existence of the black holes, gravitational lenses and gravitational waves, which have been observed successfully. On the other hand Einstein theory of gravity is not tested on the large cosmic sccale. Therefore, we consider the nonlocal modi ed gravity and get new solutions for the cosmic scale factor a(t). Moreover we consider space-time perturbations of the de Sitter space. URI: http://hdl.handle.net/123456789/4500 Files in this item: 1
doktorska_disertacija_Dimitrijevic_Ivan.pdf ( 1.342Mb ) -
Grujić, Jelena (Beograd , 2015)[more][less]
Abstract: Despite its theoretical beauty and many phenomenological evidences, general relativity is not a complete theory and should be modi ed. Namely, under rather general conditions, general relativity yields cosmological solutions with zero size of the universe at its beginning, what means an in nite matter density. In order to solve this problem we consider nonlocal modi cation of general relativity. In particular, we analyze two nonlocal models and present their nonsingular bounce cosmological solutions for the cosmic scale factor. URI: http://hdl.handle.net/123456789/4314 Files in this item: 1
Grujic_Jelena.pdf ( 1.783Mb ) -
Rašajski, Borivoje (None)[more][less]
-
Vujanović, Božidar (None)[more][less]
-
Rusov, Lazar (Belgrade , 1964)[more][less]
-
Ivanović, Miloš (Kragujevac, Srbija , 2010)[more][less]
URI: http://hdl.handle.net/123456789/1838 Files in this item: 1
mivanovic-disertacija-pun-tekst.pdf ( 11.57Mb ) -
Pejović, Nadežda (Belgrade)[more][less]