Browsing Doctoral Dissertations by Title
-
Ašković, Tomislav (Belgrade , 1976)[more][less]
-
Cijan, Boris (Belgrade)[more][less]
-
Čanak, Miloš (Belgrade)[more][less]
-
Hotomski, Petar (Belgrade , 1982)[more][less]
-
Rizvanolli, Fuat (Belgrade , 1982)[more][less]
-
Kordić, Stevan (Beograd , 2016)[more][less]
Abstract: Constrain satisfaction problems including the optimisation problems are among the most important problems of discrete mathematics with wide area of application in mathematics itself and in the applied mathematics. Dissertation study optimisation problem and presents an original method for finding its exact solution. The name of the method is Sedimentation Algorithm, which is introduced together with two heuristics. It belongs to the class of branch-and-bound algorithms, which uses backtracking and forward checking techniques. The Sedimentation Algorithm is proven to be totally correct. Ability of the Sedimentation Algorithm to solve different type of problems is demonstrated in dissertation by its application on the Boolean satisfiability problems, the Whitehead Minimisation Problem and the Berth Allocation Problem in container port. The best results are obtained for Berth Allocation Problem, because its modelling for Sedimentation Algorithm includes all available optimisation techniques of the method. The precise complexity estimation of the Sedimentation Algorithm for the Berth Allocation Problem is established. Experimental results verify that the Sedimentation Algorithm is capable to solve the Berth Allocation Problem on the state of art level. URI: http://hdl.handle.net/123456789/4413 Files in this item: 1
StevanKordic.pdf ( 2.477Mb ) -
Kapetanović, Miodrag (Belgrade)[more][less]
-
Cvetković, Predrag (Belgrade , 1976)[more][less]
-
Arbutina, Bojan (Faculty of Mathematics, University of Belgrade , 2009)[more][less]
Abstract: The main research topic of this dissertation are extreme mass ratio contact close binary systems, q 0.1, of W Ursae Majoris (W UMa) type. These close binaries (CBs) represent an interesting class of objects in which ”normal”, approximately one solar mass main-sequence star is in contact with a significantly less massive companion, M2 ∼ 0.1 M . Earlier theoretical investigations of these systems found that there is a minimum mass ratio qmin = M2/M1 ≈ 0.085 − 0.095 (obtained for n = 3 polytrope - fully radiative primary) above which these CBs are stable and could be observed. If the mass ratio is lower than qmin, or, equivalently, if orbital angular momentum is only about three times larger than the spin angular momentum of a massive primary, a tidal instability develops (Darwin’s instability) forcing eventually the stars to merge into a single, rapidly rotating object (such as FK Com-type stars or blue stragglers). However, there appear to be some W UMa-type CBs with empirically obtained values for the mass ratio below the theoretical limit for stability. The aim of this dissertation is to try to resolve the discrepancy between theory and observations by considering rotating polytropes. By including in theory the effects of higher central condensation due to rotation we were able to reduce qmin to the new theoretical value qmin = 0.070 − 0.074, for the overcontact degree f = 0 − 1, which is more consistent with the observed population. Other candidate systems for stellar mergers such as AM CVn-type stars have also been discussed in the dissertation. URI: http://hdl.handle.net/123456789/716 Files in this item: 1
phdBojanArbutina.pdf ( 6.326Mb ) -
Ćelić, Momir (Banjaluka , 1986)[more][less]
-
Šošić, Milena (Beograd , 2025)[more][less]
Abstract: Conversational text messages represent an important form of digital communication in modern society. With the development of information technologies, various communication tools have emerged, such as email, social media, instant messaging tools, and automated response systems. Messages generated within these tools, unlike standard texts, have a specific structure that allows for the classification of individual messages or sets of messages that form a conversation. Classification labels are defined by the specific task being addressed and can be either single-label or multi-label, which enables the recognition of complex interrelationships between the categories. Introducing moral and emotional dimensions of language into research is crucial for understanding the complex patterns of human communication, particularly in the context of digital platforms and social media. Machine learning (ML) methods, such as deep neural networks (DNN), facilitate the utilization and more precise recognition of these aspects while simultaneously providing an efficient way to classify emotions and moral values expressed in texts. The noticeable complexity in the expression of human emotions and moral values, which are often conveyed implicitly and depend heavily on context, makes their recognition particularly challenging. One of the major challenges is the lack of or limited availability of resources in terms of size and diversity for low-resource languages, including Serbian. The development of linguistic resources, such as annotated lexicons and corpora, plays a crucial role in this process by providing the necessary knowledge sources for building and improving existing ML models. Linguistic resources enable models to learn how different emotional expressions and moral values influence the tone and meaning of communication. To support this, a semantic lexicon for sentiment intensity, SentiWords.SR, containing approximately 15k words, was developed for the Serbian language, along with the associated tool SRPOL for measuring sentiment intensity in textual sequences in Serbian. Additionally, a semantic lexicon for emotional affect, EmoLex.SR, comprising around 9.8k words with assigned emotional intensity values, and a semantic lexicon for moral values, MFD.SR, consisting of approximately 4.3k words with associated moral value weights, were developed. Significant efforts were also made in annotating the first conversational corpora from social media with emotional and moral categories. In this regard, the Social-Emo.SR corpus (∼34.6k messages) was developed, consisting of the Twitter-Emo.SR subcorpus (∼16.7k messages) and the Reddit-Emo.SR subcorpus (∼17.9k messages), collected from Twitter and Reddit, respectively. Furthermore, by searching for key moral-related terms, a subset of messages expressing potential moral stances was extracted from Social-Emo.SR. This subset, named Social-Mor.SR (∼13.6k messages), was manually verified and annotated by human annotators and consists of the Twitter-Mor.SR subcorpus (∼6.1k Twitter messages) and the Reddit-Mor.SR subcorpus (∼7.5k Reddit messages). In the context of DNN architectures, models based on recurrent networks or transformers, trained on these resources, enable the recognition and utilization of emotional and moral aspects of language in various contexts. The combination of advanced algorithms, such as Bidirectional Long Short-Term Memory (BiLSTM) networks and the attention mechanism with linguistically and culturally adapted resources (Meta) opens new possibilities for analyzing moral and emotional aspects of language. This has broad applications in classification tasks such as recognizing personal context, truthfulness of posts, or types of engagement in digital communication. For personal context recognition, i.e. classifying corporate emails as either business-related or personal, results show that using a carefully designed hybrid approach (BiLSTM-Att+Meta) across entire conversation branches yields the best results, comparable to published benchmarks on the same task. In experiments related to rumor veracity classification and identifying engagement types in response to rumors, it was demonstrated that moral and emotional attributes derived from semantic lexicons (EmoAttr, MorAttr ⊆ Meta) improve classification accuracy by +4.2% and +3.8% respectively, compared to methods without these attributes. For emotion recognition in Serbian conversational texts, experiments revealed that transformer-based models fine-tuned on the task achieved F1-scores of approximately 53%, reaching performance levels reported for multi-label classification on the same emotional category set. Additionally, experiments showed that further data preprocessing and balancing improved model performance. In moral value and moral sentiment classification tasks, using the Social-Mor.SR corpus and its subcorpora, an F1-score of ∼46% was achieved for moral value recognition and ∼38% for moral sentiment recognition, indicating acceptable results but also the need for further model optimization. Fine-tuning LLaMA models yielded reasonable but slightly lower performance compared to BERT-based architectures. Since model performance is directly dependent on the data they are trained on, there is potential for further improvements by refining and balancing initial annotations in the utilized corpora. URI: http://hdl.handle.net/123456789/5774 Files in this item: 1
Doktorski_rad_Milena_Sosic.pdf ( 6.206Mb ) -
Rakić, Nemanja (Beograd , 2022)[more][less]
Abstract: Active Galactic Nuclei (AGN) are galaxy cores in which a supermassive black hole is being surrounded with an accretion disk, which emits powerful continuum emission. This continuum ionizes the surrounding gas which than emits the broad lines, detected in the optical band. The aim of this thesis is to model complex optical spectra of large numbers of type 1 AGNs (AGNs with broad emission lines) and study physical properties of the emitting gas, so-called broad line region. Understanding the physics of the broad line region, as well as the physics of AGN as a whole is important for understanding the galaxy formation and evolution. This thesis investigate a large sample of type 1 AGNs taken from the SDSS spectral database. In total, over 1500 spectra were analyzed, for which a completely new software for modeling of optical AGN spectra (named FANTASY) was developed. Automated simultaneous modeling of all emission components in the optical spectrum enables reliable measurement of spectral parameters, which can have significant application in future investigation of large AGN samples, collected within the upcoming large spectroscopic sky surveys. The physical properties in the broad line region were studied through the analysis of a still unexplained (anti)correlation between the equivalent width of the emission lines and the conti- nuum flux (the so-called Baldwin effect). It has been confirmed that the intrinsic Baldwin effect exists in the Balmer hydrogen lines in type 1 AGNs, and that a potential physical explanati- on for this effect might be presence of an additional non-ionizing optical continuum emission, which originates from the broad line region. Finally, the significant outcome of this thesis is is the new publicly available software package FANTASY, which can be widely used in the future spectral analysis of AGN. URI: http://hdl.handle.net/123456789/5451 Files in this item: 1
Doktorska_disertacija_nrakic.pdf ( 5.806Mb ) -
Pavlović, Marko (, 2017)[more][less]
Abstract: Supernova (SN) explosions disperse the different heavy elements across the Uni- verse. These elements are the building blocks which make up the world around and inside us. Supernova remnants (SNRs) are extraordinary astronomical objects that are also of high scientific interest, because they provide insights into aforementioned supernova explosion mechanisms, and because they are important sources of Galac- tic cosmic rays (CRs). Radio observations are among the oldest means to study these objects. The radio luminosity and spectra of SNRs, especially young ones, requires active acceleration of electrons by the SNR shocks. In this doctoral dissertation, radio evolution of SNRs is investigated by using three-dimensional hydrodynamic modelling and non-linear diffusive shock acceleration of CRs in SNRs. Hydrodynamic simulations, developed and adopted in this dissertation, allow us to explicitly account for the shock modification by CRs. We also include consistent numerical treatment of magnetic field amplification (MFA) due to CR resonant and non-resonant streaming instabilities. We modelled the peculiar nature of radio evo- lution of the youngest known Galactic SNR G1.9+0.3 and concluded that increasing radio emission is a common occurrence among very young SNRs. Our model ena- bled us to make important conclusions about the present and predictions about the future properties of radio emission from this SNR. We also developed more general model of the radio evolution of SNRs, by performing simulations for wide range of the relevant physical parameters, such as the ambient density, the supernova ex- plosion energy, the acceleration efficiency and the MFA efficiency. We confirm the reliability of our radio evolutionary tracks on a observation sample consisting of Galactic and extragalactic SNRs. This dissertation also deals with one of the most important questions surroun- ding our current understanding of the magnetic fields in SNRs. We conclude that equipartition is a justified assumption especially between the CR electrons and the magnetic fields in evolved SNRs, in the Sedov-Taylor phase of evolution. Our work also offers a possible explanation how can equipartition between CRs and magnetic field in the interstellar medium be achieved. Type of modeling, presented in this thesis, is expected to be a useful tool for fu- ture observers working on powerful radio telescopes such as ALMA, MWA, ASKAP, SKA and FAST. Simulations should provide important information about the evolu- tionary stage of the observed SNRs, as well as to characterize the physical conditions in the shocks where the relativistic particles are accelerated. Simulations could help us to predict the science output of future large scale surveys, as well as to explain new, often unexpected results obtained by observations. URI: http://hdl.handle.net/123456789/4759 Files in this item: 1
MPavlovic.pdf ( 14.32Mb ) -
Pavlović, Marko (Beograd , 2018)[more][less]
Abstract: Supernova (SN) explosions disperse the different heavy elements across the Uni verse. These elements are the building blocks which make up the world around and inside us. Supernova remnants (SNRs) are extraordinary astronomical objects that are also of high scientific interest, because they provide insights into aforementioned supernova explosion mechanisms, and because they are important sources of Galac tic cosmic rays (CRs). Radio observations are among the oldest means to study these objects. The radio luminosity and spectra of SNRs, especially young ones, requires active acceleration of electrons by the SNR shocks. In this doctoral dissertation, radio evolution of SNRs is investigated by using three-dimensional hydrodynamic modelling and non-linear diffusive shock acceleration of CRs in SNRs. Hydrodynamic simulations, developed and adopted in this dissertation, allow us to explicitly account for the shock modification by CRs. We also include consistent numerical treatment of magnetic field amplification (MFA) due to CR resonant and non-resonant streaming instabilities. We modelled the peculiar nature of radio evo lution of the youngest known Galactic SNR G1.9+0.3 and concluded that increasing radio emission is a common occurrence among very young SNRs. Our model ena bled us to make important conclusions about the present and predictions about the future properties of radio emission from this SNR. We also developed more general model of the radio evolution of SNRs, by performing simulations for wide range of the relevant physical parameters, such as the ambient density, the supernova ex plosion energy, the acceleration efficiency and the MFA efficiency. We confirm the reliability of our radio evolutionary tracks on a observation sample consisting of Galactic and extragalactic SNRs. This dissertation also deals with one of the most important questions surroun ding our current understanding of the magnetic fields in SNRs. We conclude that equipartition is a justified assumption especially between the CR electrons and the magnetic fields in evolved SNRs, in the Sedov-Taylor phase of evolution. Our work also offers a possible explanation how can equipartition between CRs and magnetic field in the interstellar medium be achieved. Type of modeling, presented in this thesis, is expected to be a useful tool for fu ture observers working on powerful radio telescopes such as ALMA, MWA, ASKAP, SKA and FAST. Simulations should provide important information about the evolu tionary stage of the observed SNRs, as well as to characterize the physical conditions in the shocks where the relativistic particles are accelerated. Simulations could help us to predict the science output of future large scale surveys, as well as to explain new, often unexpected results obtained by observations. URI: http://hdl.handle.net/123456789/4736 Files in this item: 1
MPavlovic.pdf ( 14.32Mb ) -
Spasić, Mirko (Beograd , 2020)[more][less]
Abstract: The query containment problem is a very important computer science problem,originally defined for relational queries. With the growing popularity of theSPARQLquerylanguage, it became relevant and important in this new context, too. This thesis introducesa new approach for solving this problem, based on a reduction to satisfiability in first orderlogic. The approach covers containment underRDF SCHEMAentailment regime, and it candeal with the subsumption relation, as a weaker form of containment. The thesis provessoundness and completeness of the approach for a wide range of language constructs. It alsodescribes an implementation of the approach as an open source solverSPECS. The experi-mental evaluation on relevant benchmarks shows thatSPECSis efficient and comparing tostate-of-the-art solvers, it gives more precise results in a shorter amount of time, while suppor-ting a larger fragment ofSPARQLconstructs. An application of query language modeling canbe useful also along refactoring of database driven applications, where simultaneous changesthat include both a query and a host language code are very common. These changes canpreserve the overall equivalence, without preserving equivalence of these two parts consideredseparately. Because of the ability to guarantee the absence of differences in behavior betweentwo versions of the code, tools that automatically verify code equivalence have great benefitsfor reliable software development. With this motivation, a custom first-order logic modelingof SQL queries is developed and described in the thesis. It enables an automated approachfor reasoning about equivalence ofC/C++programs with embedded SQL. The approach is implemented within a publicly available and open source framework SQLAV. URI: http://hdl.handle.net/123456789/5095 Files in this item: 1
doktoratMirkoSpasic.pdf ( 1.258Mb ) -
Marković, Zoran (Pennsylvania)[more][less]
Abstract: The results from this thesis are obtained by using notions and procedures which are well-known in Kripke structures in the first place, together with some other constructions. They might provides insights about intuitionistic formal theories analogous to insights about classical logic provided by results of classical model theory. The thesis consists of three chapters. The definitions concerning syntax of the first order intuitionistic logic, the definitions and theorems about Kripke structures, Hayting algebras and saturated theories are given in Chapter 1. In the first part of the next chapter a few results about the connection between forcing and classical satisfaction relation are proved. In the second part of that chapter three alternatives of the antecedent of the omitting type theorem are presented, and an omitting types theorem is proved. It is important that there are many applications of that theorem. In Chapter 3 the following two kinds of products are considered: prime products of saturated theories and ultra products and reduced products of Kripke structures. In the first part of that chapter the following property is proved: a simple analogue of ultraproduct construction can be defined in terms of saturated theories. The important result from the second part of Chapter 3 is that the class of formulas preserved under reduced products is much broader than the class of formulas which are intuitionistically equivalent to Horn formulas. URI: http://hdl.handle.net/123456789/317 Files in this item: 1
phdZoranMarkovic.pdf ( 9.114Mb ) -
Dražić, Zorica (Beograd , 2014)[more][less]
Abstract: The Variable neighborhood search method proved to be very successful for solving discrete and continuous optimization problems. The basic idea is a systematic change of neighborhood structures in search for the better solution. For optimiza- tion of multiple variable functions, methods for obtaining the local minimum starting from certain initial point are used. In case when the continuous function has many local minima, nding the global minimum is usually not an easy task since the obta- ined local minima in most cases are not optimal. In typical implementations with bounded neighborhoods of various diameters it is not possible, from arbitrary point, to reach all points in solution space. Consequently, the strategy of using the nite number of neighborhoods is suitable for problems with solutions belonging to some known bounded subset of IRn. In order to overcome the previously mentioned limitation the new variant of the method is proposed, Gaussian Variable neighborhood search method. Instead of de ning the sequence of di erent neighborhoods from which the random point will be chosen, all neighborhoods coincide with the whole solution space, but with di e- rent probability distributions of Gaussian type. With this approach, from arbitrary point another more distant point is theoretically reachable, although with smaller probability. In basic version of Variable neighborhood search method one must de ne in advance the neighborhood structure system, their number and size, as well as the type of random distribution to be used for obtaining the random point from it. Gaussian Variable neighborhood search method has less parameters since all the neighborhoods are theoretically the same (equal to the solution space), and uses only one distribution family - Gaussian multivariate distribution with variable dispersion. File transfer scheduling problem (FTSP) is an optimization problem widely appli- cable to many areas such as Wide Area computer Networks (WAN), Local Area Ne- v tworks (LAN), telecommunications, multiprocessor scheduling in a MIMD machines, task assignments in companies, etc. As it belongs to the NP-hard class of problems, heuristic methods are usually used for solving this kind of problems. The problem is to minimize the overall time needed to transfer all les to their destinations for a given collection of various sized les in a computer network, i.e. to nd the le transfer schedule with minimal length. In order to obtain the exact solution of the FTS problem, integer linear pro- gramming formulations are proposed and their correctness is proved. In this way optimal solutions can be found for small and medium size test instances. For large test instances, the Variable neighborhood search method is proposed using the "permutation" representation and typical neighborhood structures. More- over, the same method is used for obtaining the upper bounds of the solutions which are used in proposed integer linear programming formulations. For obtaining be- tter solutions in the small neighborhood of the current solution, three di erent local search procedures are implemented: 2-swap, 2-swap adjacent and variable neighbo- rhood descent. In order to apply the continuous optimization methods for solving FTSP, the weighted solution representation is developed. Such representation enables the co- ntinuous optimization methods to be used, which do not require the di erentiability of objective function. Since Gauss Variable neighborhood search method proved to be successful in continuous optimization problems, it was applied to FTSP. Pre- viously described local search procedures can also be used with weighted solution representation. Using the proposed methods optimal solutions for all small and medium size test instances are found. For large size instances, which are beyond the reach of exact methods, metaheuristic methods obtained good solutions in reasonable time. URI: http://hdl.handle.net/123456789/4246 Files in this item: 1
phdDrazic_Zorica.pdf ( 4.739Mb ) -
Mihajlović, Borivoje (Belgrade , 1964)[more][less]
URI: http://hdl.handle.net/123456789/227 Files in this item: 1
phdBorivojeMihajlovic.pdf ( 2.509Mb ) -
Manojlović, Vesna (Beograd , 2008)[more][less]
-
Nikolić, Silvana (Belgrade)[more][less]