Sharif Digital Repository

Twitter as one of the most important microblogging online social networks has attracted more than 200 million users in recent years. Although there have been several attempts on characterizing the Twitter by using incomplete sampled data, they have not been very successful to estimate the characteristics of the whole network. In this paper, we characterize Twitter by sampling from its social graph and user behaviors through a random walk based sampling technique called Respondent-Driven Sampling (RDS). To the best of our knowledge, for the first time RDS method and its estimator are used in order to obtain uniform unbiased estimation of several key structural and behavioral properties of... 

This paper presents the first fault-tolerant resource locking protocol for multiprocessor real-time systems. Resource locking protocols control access to shared resources in real-time systems. Most of the previous studies in resource locking protocols have focused on decreasing blocking time and resource conflicts. The use of such protocols in multiprocessor safety-critical real-time systems necessitates fault tolerance in the design of these systems. However, in research focused on multiprocessor real-time systems, fault tolerance has received low attention in resource allocation studies. In addition, many solutions proposed to improve the reliability in real-time scheduling ignored... 

This study provides a stochastic dynamic programming model with a Markov chain that explicitly focuses on the customer as well as a new model for valuing the customers in the banking industry. The proposed framework calculates individual customer’s lifetime value dynamically. The study follows a stochastic dynamic programming model that is based on the Markov chain. The deduced findings are illustrated with supplementary context from an outstanding case study. The findings underline the importance of the stochastic model for calculating customer lifetime value based on customer behavior. The presented framework provides a beneficial way for future research and valuable insight for allocating... 

It is widely supposed that methodological naturalism, understood as a thesis about the methodology of science, is metaphysically neutral, and that this in turn guarantees the value-neutrality of science. In this paper we argue that methodological naturalism is underpinned by certain ontological and epistemological assumptions including evidentialism and the causal closure of the physical, adoption of which necessitates commitment to metaphysical naturalism. © 2019, Springer Nature B.V  

In this paper we introduce a new low phase noise cascode Cross-coupled oscillator by use of the general topology of Cross-coupled oscillator and cascode amplifier. By simulation a comparison between the conventional Cross-coupled oscillator and the new cascode Cross-coupled oscillator is also presented, which shows that the latter improves the phase noise by 2dB under the same conditions. The figure of merit (FOM) of -186.4 dBc/Hz is achieved for the new oscillator by simulation  

This work aims to propose a new technique that considerably helps enhance time and precision needed to identify "Inertia Parameters (IPs)" of a typical Autonomous Space-Robot (ASR). Operations might include, capturing an unknown Target Space-Object (TSO), "active space-debris removal" or "automated in-orbit assemblies". In these operations generating precise successive commands are essential to the success of the mission. We show how a generalized, repeatable estimation-process could play an effective role to manage the operation. With the help of the well-known Force-Based approach, a new "modular formulation" has been developed to simultaneously identify IPs of an ASR while it captures a... 

This work describes a new formulation to study the identifiability characteristics of Serially Linked Multi-body Space Systems (SLMBSS). The process exploits the so called “Lagrange Formulation” to develop a linear form of Equations of Motion w.r.t the system Inertia Parameters (IPs). Having developed a specific form of regressor matrix, we aim to expedite the identification process. The new approach allows analytical as well as numerical identification and identifiability analysis for different SLMBSSs' configurations. Moreover, the explicit forms of SLMBSSs identifiable parameters are derived by analyzing the identifiability characteristics of the robot. We further show that any SLMBSS... 

this paper presents two new methods for power flow calculation of power systems in presence of Dynamic Flow Controller (DFC), which is a new member of FACTS controllers. In first method A new steady state model of DFC is introduced for the implementation of the device in the conventional Newton-Raphson power flow algorithm. The impact of DFC on power flow is accommodated by adding new entries and modifying some existing ones in the linearized Jacobian equations of the same system without DFC. The focus of second method is on the discrete nature of the DFC and including its effects on power flow. This method is based on Nabavi model for FACTS devices. A case study on a power system located in...