Sharif Digital Repository

We study the problem of preclustering a set $B$ of imprecise points in~$\Reals^d$: we wish to cluster the regions specifying the potential locations of the points such that, no matter where the points are located within their regions, the resulting clustering approximates the optimal clustering for those locations. We consider $k$-center, $k$-median, and $k$-means clustering, and obtain the various results. Then we study the higher order Voronoi Tessellations as an important concept in clustering area. Generalizing Lee’s inductive argument for counting the cells of higher order Voronoi tessellations in $\Reals^2$ to $\Reals^3$, we get precise relations in terms of Morse theoretic quantities... 

Today, many evidences, including the distribution of galactic velocities, gravitational lensing observations, and the cosmic microwave background, show that there exist dark matter (non-baryon matter) in large-scale cosmological structures that are stable, free of charge and without color, which has gravitational interaction like normal matter. The hypothesis that weakly interacting massive particles (WIMPs) as a dark matter candidate with mass range of several tens of GeV to several teV and with the typical couplings of Electroweak order of magnitude, is an attractive and desirable model, Which naturally explains the density of cosmic dark matter in agreement with observations. Alongside... 

In local transportation service companies, there is a need for estimation of arrival times (ETA) for customers. These companies not having the sufficient number of active online users, they are not able to obtain a proper estimation for ETA from that data. However, there are some overseas companies that have the established user base, and provide access to necessary data with a service fee. It is possible to solve this problem using the data which they provide.In this thesis, the problem of learning a hidden graph for the purpose of aiding local companies is explained and different aspects of it are introduced. In order to tackle this problem, first we define the idea of vertex separators,... 

Quantum key distribution is one of the practical quantum information technologies in labo- ratories with existing equipments.In quantum key distribution protocols, the main challenge is the secrecy of key distribution. One of the new methods of quantum channel error esti- mation is the use of weak measurement. In this thesis, after introducing the main quantum key distribution protocols, we introduce weak measurement and sequential weak measure- ment concepts: the weak measurement methods are exployed to obtain the phase difference between two polarizations with high accuratly. It is also used for in line monitoring and error estimation parameters in some quantum key distribution protocols.... 

Examining composite quantum systems through quantum thermodynamics, we face the new concept of binding energy. In this thesis, we are going to present a general definition for binding energy in quantum systems which covers any kind of interactions. First of all, we examine the possibility of energy exchange in a quantum system using quantum thermodynamics. In this theory, energy exchanges of an open quantum system may be divided in to two portions: heat and work; due to an accepted definition, heat is the portion of energy that is supposed to change entropy, while work has no influence on that. In this research, we restrict our calculations to the systems which are thermally closed and... 

In recent years, deep generative models have achieved incredible successes in various fields, including graph generation. Due to the advances made in graph generation by deep generative models, these methods have shown numerous applications from drug discovery and molecular graph generation to modeling social and citation network graphs. Graph generation is an approach to discovering and exploring new graph structures and has been attracting growing attention. One of the most challenging applications of deep graph generative models is molecular graph generation since it requires not only generating chemically valid molecular structures but also optimizing their chemical properties in the... 

With the explosion of mobile smart devices, many computation intensive applications have emerged, such as interactive gaming and augmented reality. Mobile edge computing (EC) is put forward, as an extension of cloud computing, to meet the low-latency require- ments of the applications. In mobile edge computing systems, an edge node may have a high load when a large number of mobile devices offload their tasks to it. those offloaded tasks may experience large processing delay or even be dropped when their deadlines expire. Due to the uncertain load dynamics at the edge nodes, it is challenging for each device to determine its offloading decision (i.e., whether to offload or not, and which... 

Immensity and profundity of mathematical logic have provided an opportunity for its interconnection with other branches of science, one of which is computer science where theory of dependent types and lambda calculus lounges amongst the area of their overlap. The former has been engendered for the sake of deepening the connection between mathematical logic and programming. On the other side, lambda calculus which is a formal system in mathematical logic and computer science, developed as a tool for formal computations, could also be counted as a programming discipline. It is the objective of this thsis to study the two aforementioned fields with emphasis on unification of higher-order... 

In recent years, the usage of Internet bandwidth has been increased by emerging applications such as Video on Demand (VoD).As the popularity of VoD increases among the Internet users, some new problems like bandwidth limitations and congestion embark. For solving mentioned problems, Content Delivery Networks (CDN) has been introduced. Using CDN approaches either in ISP or organization is also known as Telco CDN. Generally implementing CDN approaches to process all requests either in ISP or organization can cause bottleneck. On the other hand, Software Defined Networks (SDN) could bring us new tools and opportunities which enables us to implement novel methods to confront these problems.... 

It is so essential to study a safe dynamics of agricultural mechanical equipment during duty stroke, plus getting a rich information about the nature of the soil under processing and in many cases there are associated simultaneous problems, so the main aim of this study is to create a safe working conditions for such specific equipment to extend their life time span as possible as it could. This study will predict an un-usual working circumstances for agricultural tools including plough of course depending on some automated technologies with fast response supported by smooth working conditions. Simply, the proposed Investigative system consists of a linear potentiometric element with... 

The main objective of this research is to provide a framework by which decision-makers can evaluate and compare alternatives for sustainable development planning under uncertain dynamic future considering the risk and uncertainty associated with human judgment as well as the uncertain future. This approach combines the Delphi method, fuzzy set theory, and a discrete multi-criteria method based on prospect theory (TODIM). TODIM (an acronym in Portuguese for iterative MCDM) method is a particular multi-criteria approach based on the prospect theory. A qualitative Delphi technique is used to identify a set of qualitative sustainability criteria and to rate the alternatives accordingly. The... 

Web service technology is becoming increasingly popular since it is very bene?cial in di?erent types of applications. Due to a dramatical increase in the number of developed web services, the service discovery process has become crucial for using web services e?ciently. Service is an adaptive, self-describing, modular application, which may be used in either web or an internal network. Service providers should o?er the services along with a description ?le called advertisement explaining the speci?cations and functionalities of the service. Traditional service discovery methods are based on syntax and keyword matching, which may not satisfy the requester’s desired requirements and will... 

One important problem in all, particularly in developing countries, is shortage of funds to invest in infrastructure projects. One way to lessen this difficulty is to benefit from the private sector participation in this respect. Build-Operate-Own-Transfer (BOT) is a Public-Private-Partnership (PPP), in which the private sector invests and builds a (e.g. road) project, operates it for a specified period of time to collect the tolls to return the investment cost plus the specified attractive rate on it, and then transfer it to the public sector. This research, which is a continuation of previous endeavors in this area, formulates the problem, discusses the multiplicity of the solutions, and... 

This thesis presents an integrated formal method for modeling and model checking of component based computing systems. Both components and coordination subsystems are modeled by a variant of standard labeled transition systems called record transition systems. A record transition system is a labeled transition system whose transition labels are records. We use records to model the concurrency of input – output operations in the ports of the system. The concurrency of the executions with respect to common transition labels are modeled by standard parallel composition operator and also a new defined operator called join which is analogous to the join operator defined to compose constraint... 

In this thesis, a new non-linear control synthsis technique (θ - D) approximation) is discussed. This approach achieves suboptimal solutions to a class of non-linear optimal control problems characterized by a quadratic cost function and a plant model that is a_ne in control. An approximate solution to the Hamilton-Jacobi-Bellman (HJB) equation is sought by adding perturbations to the cost function. By manipulating the perturbation terms both asymptotic stability and suboptimality properties are obtained. The new technique overcomes the large-control-for-large-initial-states problem that occurs in some other Taylor series expansion based methods. Also this method does not require excessive... 

Opportunistic networks are special ad-hoc networks in which nodes exploit any opportunisty of pairwise contact to forward packets, without requiring any fixed infrastructures. Routing in Opportunistic Networks due to intermittently connected, non-existence an end to end path between source and destination and with a dynamic topology is a challenging issue. There are several different routing approaches in deliver packets from source to destinations. This approaches can be divided into four categories: awareness approaches, Non-Awareness, direct Delivery and coding based. Use of awareness approaches can be more improved routing process. This category consists of two parts: Context-Aware and... 

Most of current the MAC protocols for Wireless Sensor Networks (WSNs) concern about energy efficiency rather than low latency. The main source of energy consumption in the MAC layer is idle listening, and most of these protocols use duty cycling for reducing energy consumption. But duty cycling method increases packet delivery latency. This problem is very critical in real time applications where packets should meet their deadline. There are some solutions for this problem. For example a node forwards data packets multi hop away instead of one hop in a single cycle. In this research, an efficient cross layer MAC protocol for real time applications is proposed. In this protocol multi hop... 

As the applications of wireless sensor networks are expanding at an increasing rate, design of these networks so that they conform to the requirements of a specific application is considered to be a major challenge. Regarding to the specific application, network designers consider various suitable parameters to improve and then to enhance the efficiency of the network. Parameters included are such as area coverage, lifetime, reliability and etc which can significantly improve with the precise placement of nodes. Node localization problem in wireless sensor networks aiming at improvement of the performance parameters has been solved by different methods. In this thesis, in order to solve this... 

Intercultural Communicative Competence has been the focus of much academic inquiries in the field of second/foreign language learning in the last decades since learners’ ability to communicate authentically in the target language has been recognized among the scholars. This study aimed to address this issue in the Iranian academic environment where there was almost a gap in not touching the cultural issues of target language in a focused and organized manner in language classes at universities. For that purpose, an intercultural syllabus was designed for a 14-week course of English short story in the Minor Program at Sharif University of Technology. The syllabus was an integration of various... 

Active Learning Method (ALM) is a soft computing methodology which has been used for modeling and control. Unlike the good results of ALM’s ability, there is not any analytic expression to prove its power, because ALM’s main operators don’t satisfy fuzzy S-norm & T-norm properties. This problem considered from three viewpoints: Mathematics, Geometry and fuzzy sets. In this paper, we try to introduce two new operators based on morphology to satisfy three conditions: at first, they must be fuzzy S-norm and T-norm to confirm the committal of fuzzy set theory. Secondly, they must satisfy Demorgans law, because they are complement of each other. And finally, they resemble the main operators of...