Sharif Digital Repository

In this thesis, the behavior of an auxetic metamaterial has been studied with the aim of investigating and deriving the appropriate yield surface and criteria for it. For this purpose, first by studying the available literature, the appropriate antielastic structure was selected for the research and then its 3D model was created using design softwares. Then the optimal simulation method was selected and its results were validated using the experimental results found in other articles. After ensuring the validation of the numerical results, obtaining the appropriate yield level for the structure was considered. For this purpose, three yielding relations of Von Mises, Hill and Tsia-Wu were... 

This research aims to study the identification of inertia parameters (IPs) of space-robots with the main focus on Active Space-Debris Removal (ASDR) application. In many future space missions, like ASDR, the spacecraft should handle objects (like debris) with unknown IPs. To control and stabilize the spacecraft, it is crucial to identify the dynamic model of the spacecraft in such these missions. On the other hand, uncertainties in the IPs of spacecraft (including space-manipulator) make the identification problem more complex. To overcome the complexities related to mathematical representation of identification equation, a new mathematical tool called Matrix-Set is proposed to develop the... 

In this thesis, different systems of quantified modal logic, philosophical theories of possibilism and actualism, and the interaction between these two theories and those systems have been studied.Modal claims, which talk about the world as it could have been and not the world as it is, have by far been under philosophical considerations. Possibilism and actualism, two philosophical theses that have their own point of view towards the world and its objects, analyze these claims and their relevant truth-assigning mechanisms in different ways.On the other hand, over the last century, modal sentences have been formulated, in sentencial and quantified levels, by precise logical systems, called... 

Seismic isolation is a method for seismic-resistant design of structures against earthquake and is one of the important control of structures technologies. Codification and publishing of codes for design of seismic isolation takes place widely since 1980s and this codification has undergone extensive evolutions during its developing process. In this project initially the developing process and fundamentals of codifying regulations of seismic design have been investigated and then the developing process of codifying regulations of seismic isolation in current important international codes like ASCE7-05, Eurocode 8, and Japanese code has also been considered. After considering these two... 

One of the most important characteristics of real-time systems is executing tasks before their specified deadlines. The tasks’ execution may require several resources like processor, I/O ports, and data structures. Some of these resources may be shared between several tasks and their availability is important in executing tasks before the deadlines. Allocating shared resources which are used in mutually exclusive manner often encounteres some problems such as priority inversion and deadlock. Resource access protocols are used to minimize or eliminate these problems. The effect of using these protocols issupporting tasks’ execution before their deadlines. To meet deadlines is of decisive... 

The increasing tendency to offshore exploration is making the need to design efficient methods for secure underwater wireless transmission increasingly highlighted. Radio frequency used for wireless communications in open space may not be suitable for data transfer due to their extensive drop in the water. On the other hand, since sound propagates well in water, now the majority of underwater communication systems are using audio frequencies. Limited bandwidth, low emission speed, and low security are the most important disadvantages of audio systems in comparison with optical systems. Therefore, optical systems, could be appropriate alternatives for audio systems to achieve secure,... 

Diodorus Cronus, the Megaric Logician, in an attempt to define possibility and necessity, formulated an argument which after him was known as Diodorus Cronus Master Argument. According to extant historical accounts, Master Argument consists of three premises which according to Diodorus form an inconsistency, so that results in the rejection of Aristotelian notion of possibility and establishment of determinism. But the argument itself i.e. how three premises of the Master Argument form an inconsistency, has been lost. Therefore a number of logicians has decided to reconstruct the Master Argument and thereby reveal its inner structure in order to evaluate its validity.
On the other hand,... 

Identifying driving behaviors and building an efficient and accurate driving behavior recognition model is of paramount importance for improving driving safety. Nowadays, with the ubiquity of smartphone sensors, many researchers are using smartphone sensory data to create models which forecast driving behaviors. This research introduces a logit model that predicts nine types of driving events using accelerometer and gyroscope sensors with an accuracy of 76 percent  

Sponge Iron production is conducted in various methods that one of them is using coal as a reduction agent. Hoganas process is a different coal-based method that has not been investigated in details. Therefore, the heat transfer method in the system is one of the basic steps to a better recognition of this process (with special Hoganas charging). The present paper investigates the temperature distribution method in the Hoganas cylinder through a numerical model using finite elements. The effects of different parameters, namely preheating and porosity were studied on ceramic crucible made from silicon carbide and it was observed that the consumption energy decreases with the increase of... 

Different causes in the exploration, production and transport of oil in the marine environment result in oil spill events. Since elimination of the probability of occurrence of spills is not possible, it is important to have a plan to control the risk of oil spills by optimal response. In this research, a general stucture is presented for the DSS required for oil spill response planning. This system can be used for evaluation of the effectiveness of response drills, and risk-based ranking of receptor areas and spill sources. Ranking based on risk is realized through probabilistic or stochastic risk assessment. The applicability of the proposed system is examined in differnet case studies in... 

Virtualization has provided good and efficient use of resources in today datacenters. In this environment, modules of multi-tier applications can run on several Virtual Machines (VMs). VMs that are dedicated to a module often need to transfer data among themselves, and also to the VMs in other modules, and hence, the overall application runtime may be increased if the communicating VMs are put on far physical machines; consequently, servers must be up for a longer time and will consume more energy. Consolidating several VMs on a single Physical Machine (PM) effectively reduces the total computing power consumption, but we show that it is also important to consider the above inter-VM... 

Communication among people over the emerging networks has been the focus of attention in different branches of science during last decades. Online Social Networks (OSNs), with more than hundreds of millions of users are powerful means for directing information within and across societies. Thus, studying various aspects of OSNs is an important issue for researchers. Due to large number of users and friendship relationships among them, gathering complete information from an OSN is not feasible. On the other hand, hiding users information and crawlers limitations are challenges for gathering complete data. A Common solution for this problem is Sampling from OSNs. Sampling from OSNs (and... 

In this research, a dashboard has been developed to support decision-making in the integration of freight companies. Freight companies usually consist of a limited number of vehicles due to the high cost of vehicles, while the fixed costs of a freight company constitute a significant part of that company's total cost. Therefore, if these companies are merged, their total cost will be substantially decreased. Moreover, under particular demand levels, the integration of freight companies reduces the mileage, travel time, and the number of required cars. Therefore, the integration of freight companies not only reduces fixed costs but also reduces other costs including greenhouse gas costs by... 

Atmospheric corrosion as one of the most principal factors of destruction is not Climatic map of atmospheric corrosion is closely related to air and atmospheric factors among which we can point out to different types of atmospheric pollutions such as NOX, SOX gases and pendant materials as well as the rate of humidity and rain and even the rate of sun radiation. The effects of these factors beside each other cause the speed of corrosion from a climate to another climate to be changed, which is presentable in form of a map. There is a 2 method to provide this map. First build up a station to measure the corrosion data and collect them in a long period of time. This method are time consuming... 

Nowadays, the significance of securing data and information is undeniable. Cryptography is being used to provide data security. In addition, cryptanalysis is required to evaluate the effectiveness of cryptography methods, and hence, it is an essential concept for securing data. In general, the cryptography functions shall be designed in a way to impose a high load of time-intensive operations to prevent an adversary from accessing the main data from the encrypted data. As a result, cryptography and cryptanalysis algorithms need high performance computations. So far, a number of methods have been proposed to support the required performance. These methods include: distributed computing and... 

In traditional machine learning approaches to classification, one uses only a labeled set to train the classifier. Labeled instances however are often difficult, expensive, or time consuming to obtain, as they require the efforts of experienced human annotators. Meanwhile unlabeled data may be relatively easy to collect, but there has been few ways to use them. Semi-supervised learning addresses this problem by using large amount of unlabeled data, together with the labeled data, to build better classifiers. Because semi-supervised learning requires less human effort and gives higher accuracy.Formally, this intuition corresponds to estimating a label function f on the graph so that it... 

Density matrix of graphs as defined -for the first time- in [S. Braunstein and et al. The laplacian of a graph as a density matrix, Annals of Combinatorics, (2006)], is obtained through dividing the Laplacian matrix by the degree sum. This matrix is also semi-positive and trace one. Therefore one may talk about the Von Neumann entropy of this matrix. In [F. Passerini, S. Severini. Quantifying complexity in networks: The Von Neumann entropy. IJATS, (2009)], authors have claimed that this quantity can be consisered as a measure of regularity. Here, using a geometric interpretation of Von Neumann entropy, expresed in [G. Mitchison, R. Jozsa, Towards a geometrical interpretation of quantum...