Sharif Digital Repository

In recent years, requirement engineering and goal modeling have gained more attention among different organisations. Therefore, different methods have been designed to discover stakeholders’ requirements and translate them into process and organizational goals. Various goal models have been introduced to represent these goals and their relations towards each other. Still, these methods are manual representations of different process scenarios and do not relate to the actual behavior. In 2014, Map Miner Method (MMM) was introduced to discover intentional process models from event logs. MMM uses Hidden Markov Model (HMM) as a means to represent the process as a map model of strategies and... 

The Onsager's conjecture is concerned with the dichotomy between rigidity and flexibility of weak solutions of incompressible Euler equations. Lars Onsager conjectured that weak solutions of Euler equations that are not smooth enough could be dissipative, even without the help of viscosity. On the other hand, it is well known that $C^1$ solutions conserve energy. Onsager conjectured that C^(1/3) regularity marks the threshold for this dichotomy. In other words, Hölder continuous solutions with Hölder exponent greater than 1/3 conserve the energy, while for every Hölder exponent less than 1/3, there are dissipative Hölder continuous solutions. The threshold 1/3 is intimately tied with... 

Recommending routes to city taxis in order to improve their performance in finding passengers can reduce traffic, pollution and waiting time for passengers, as well as this, increasing the efficiency of taxis can increase their income. In this study, by analyzing trajectory data obtained from 536 taxis in San Francisco over a period of one month, we generated networks of cells, each of which has time-dependent characteristics such as the probability of finding a passenger, the capacity of each cell, or the amount of demand exists is in the cell and the average speed of passing through that cell. also, the connections between these cells in order to make more use of the experiences of taxi... 

Sustainable transportation is a system that allows the basic access needs of individuals and societies to be met safely and in a manner consistent with human and ecosystem health, and is affordable with equity within and between generations. The current research of sustainable transportation uses environmental, economic, social and transportation variables of various world cities. The study database was developed based on global urban transportation databases covering numerous cities for 4 decades for period of 1960 to 2001, Furthermore 3 decades of pertinent variables for Iranian cities of Isfahan, Tehran and Mashhad. Firstly sustainable transportation indicators were developed by reviewing... 

In recent years, the demands come to data centers have increased significantly, so huge amount of energy consumption, cost of this usage and environmental effects of data centers have become serious issues. Accordingly using solar energy to provide some portion of a data center’s energy usage can reduce environmental effects efficiently. Also smarter use of this energy could decrease overall cost of energy in data center. The demands that come to a data center are categorized to critical and non-critical workloads. Running of Non-critical workload (batch job) can be moved to another time according to its deadline. This work suggests a solution that schedules batch jobs considering solar... 

Tensor network states have been appeared as an alternative promising framework to address the long-standing problems of many-body systems. They offer a conceptual representation of the phases of matter—based on the structure of entanglement—and also provide a(powerful) variational ansatz to explore new physics in strongly entangled many-body systems. The range of their applicability is very vast, and encompassing almost all of interesting today’s systems. In addition, tensor network states are not limited to only numerical approaches, but, have some analytical application. For instance, they could be utilized to uniquely distinguish the phases of matter, where in one-dimensional case based... 

The use of multiple sensors that produce different physical parameters of the measured system for its health monitoring raises the reliability of the diagnosis. At the moment, the fault detection capacities of ball bearings by means of proximity probe are detected by exploiting the advantages and reducing its defects by appropriate signal processing of the raw data in the time domain. Also, the application of numerical derivation and integration to achieve to the desired frequency spectrum in defect detection is investigated. A set of experiments with different sizes of internal ring, outer ring and ball defects, four levels of speed and two load levels have been performed. Data acquisition... 

In cloud federation, a number of cloud service providers (CSP) interoperate to rent each other's computing resources. When a CSP finds a lack in its resources, it can use other CSPs' spare resources for its jobs. This way, the number of physical resources needed by CSPs decreases, since they don't need a pessimistic forecast for resource provision. In this thesis, we analyze possibility of such federation from an architectural viewpoint and then, propose a model to realize such federation. First, we study architectural requirements of cloud federation. A number of important requirements are gathered from previous work. These requirements are then categorized and prioritized, showing that...