Sharif Digital Repository

The presented studies have been conducted on the scope and magnitude of damages inflicted by earthquakes over the years. Many RC buildings, designed and constructed in the 1960s and 1970s, have serious structural deficiencies, especially in their beam-column joints. Such deficiencies result from inadequate joint shear strength or confinement of column reinforcement. The joints require elaborate retrofit measures to ensure the performances comparable to those of new designed structures. In this research, a new seismic retrofitting method is presented for beam-column joints based on the two-dimensional enlargement of the joint by using steel plate, angles, and posttensioning rods. The seismic... 

A wide range of scheduling algorithms used in the data centers have traditionally concentrated on enhancement of performance metrics. Recently, with the rapid growth of data centers in terms of both size and number, the power consumption has become a major challenge for both industry and society. At the software level, energy-aware task scheduling is an effective technique for power reduction in the data centers. However, most of the currently proposed energy-aware scheduling approaches are only paying attention to computation cost. In the other words, they ignore the energy consumed by the network equipment, namely communication cost. In this paper, the problem of scheduling... 

The necessity and significance of improving the energy efficiency of cloud implementations have increased due to the rapid growth and proliferation of cloud computing services around the world. Virtual machines (VMs) comprise the backend of most, if not all, cloud computing services. Several VMs are often consolidated on a physical machine to efficiently utilize its resources. In this paper, we take into account the cooling and network structure of the datacenter host ing the physical machines when consolidating the VMs so that fewer racks and routers are employed, without compromising the service-level agreements; consequently, idle routing and cooling equipment can be turned off in order... 

We present an embedded-system design flow, discuss its details, and demonstrate its advantages. We adopt the object-oriented methodology for the system-level model because software dominates hardware in embedded systems and the object-oriented methodology is already established for software design and reuse. As the building-block of system implementation, we synthesise application-specific processors that are reusable, through programming, for several related applications. This addresses the high cost and risk of manufacturing specialised hardware tailored to only a single application. Both the processor and its software are generated from the model of the system by the synthesis and... 

At any point in time in an object-oriented (OO) program, a class method is running whose set of unconditionally-accessed data fields can be statically determined. We propose to fetch this set prior to or during the method execution to increase the data cache hit-ratio. This requires that either the software directs the processor cache controller, or the processor is aware of the currently running class method. We follow the latter approach by extending our previous work where we introduced the object-oriented application-specific instruction processor (OO-ASIP) as a processor whose instruction-set consist of methods of a class library. Such an OO-ASIP is aware of the currently running method... 

We unify virtual-method despatch (polymorphism implementation) and network packet-routing operations; virtual-method calls correspond to network packets, and network addresses are allocated such that routing the packet corresponds to dispatching the call. As the run-time routing structure is inherent in Network-on-Chip platforms, this unification implements polymorphism/or free.1  

This paper introduces a day-ahead clearing model for the simultaneous energy and ancillary services market in high penetration of renewable energy sources (RESs) considering fast-start generators’ behaviors as non-spinning reserve providers. For managing the uncertainties of RESs, the system operator takes the advantages of the stochastic model of security-constrained unit commitment (SCUC) problem considering plausible scenarios. The non-convexities due to the startup costs, minimum power outputs, and commitment variables make the stochastic SCUC problem and market-clearing non-convex. Meanwhile, with traditional market-clearing methods for energy and ancillary services based on marginal... 

Hydroxyapatite (HA) coatings in and onto anodized TiO2 nanotube arrays were presented and prepared by electrophoretic deposition technique (EPD). Coatings were characterized by X-ray diffraction (XRD) and scanning electron microscopy (SEM). EPD proved to be an innovative and versatile technique to coat HA on and into nanotubular structures of TiO2 with enhanced adhesion between nanotubes and HA particles provided by mechanical interlocking. After EPD of HA on TiO2 layer, samples were sintered at 400 °C, 600 °C and 800 °C for 2 h in an Ar atmosphere. Effect of EPD processing parameters on thickness of the deposits and rate of deposition was elucidated for HA coatings on the nanotubular TiO2... 

In the past few years, most studies have focused on smart substances that can respond to changes in the environment, as they can be appropriately applied in different fields, including biosensing, biotechnology, and drug delivery. Here, new fluorescent carbon dots (CDs) are synthesized by Terebinth by designing a simple and single-stage hydrothermal path, which facilitates the manufacture of CDs with no need for boring artificial methods, or using poisonous/costly solvents and starting substances. The method is used to concurrently form CDs and passivate their surface, which results in inherently emitted fluorescence. The study of the structure and optical features of the resulting CDs... 

The present study aims to investigate the impact of nanoparticle migration due to Brownian motion and thermophoresis on Ag-MgO/Water hybrid nanofluid natural convection. An enclosure with sinusoidal wavy walls is considered for this investigation; right and cold walls of this enclosure are in constant temperature while the upper and bottom walls are insulated. This simulation follows Buongiorno's mathematical model; Brownian and thermophoresis diffusion of Ag occurs in MgO-Water nanofluid while the diffusion of MgO happens in Ag-water nanofluid. The result indicates that Nu number increments up to 11% by increasing thermophoresis diffusion for both nanoparticles. Also, increasing Brownian... 

In this paper, we introduce a novel algorithm for rate allocation in media streaming P2P networks where multimedia contents are distributed among network members and streamed toward any requesting peer. The proposed algorithm is based on ant-colony optimization. It is capable of handling network dynamism, which is an inherent property of unstructured P2P networks. Another advantage of our algorithm is its ability to get over uncertainties in network state information, particularly the rate of supplying peers that could happen due to lack of accurate measurements. In addition, the suggested method does not rely on any information about the topology of the network. We have investigated both... 

In 2011, Haemers asked the following question: If S is the Seidel matrix of a graph of order n and S is singular, does there exist an eigenvector of S corresponding to 0 which has only ±1 elements? In this paper, we construct infinite families of graphs which give a negative answer to this question. One of our constructions implies that for every natural number N, there exists a graph whose Seidel matrix S is singular such that for any integer vector in the nullspace of S, the absolute value of any entry in this vector is more than N. We also derive some characteristics of vectors in the nullspace of Seidel matrices, which lead to some necessary conditions for the singularity of Seidel... 

In 2011, Haemers asked the following question: If S is the Seidel matrix of a graph of order n and S is singular, does there exist an eigenvector of S corresponding to 0 which has only ±1 elements? In this paper, we construct infinite families of graphs which give a negative answer to this question. One of our constructions implies that for every natural number N, there exists a graph whose Seidel matrix S is singular such that for any integer vector in the nullspace of S, the absolute value of any entry in this vector is more than N. We also derive some characteristics of vectors in the nullspace of Seidel matrices, which lead to some necessary conditions for the singularity of Seidel... 

In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The system-level assertions can be used to monitor the current state of system or flow of transactions. These assertions are automatically converted to "monitor hardware" or "monitor software" during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertions, and hence, can be reused to verify the... 

In this paper we integrate a verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification after system synthesis. We have defined a set of system-level assertions. These assertions are automatically converted to monitor hardware or monitor software during the system-level synthesis process depending on their type and also synthesis style of their corresponding functions. The synthesized assertions are functionally equivalent to their original system-level assertion, and hence, can be used to verify the system after HW/SW synthesis. This way, not only system-level assertions are reused in lower-levels of abstraction, but... 

Background and Objective: The present article has simulated to investigate the efficient hemodynamic parameters, the drug persistence, and drug distribution on an abdominal aortic aneurysm. Methods: Blood as a non-Newtonian fluid enters the artery acting as a real pulse waveform; its behavior is dependent on hematocrit and strain rate. In this simulation of computational fluid dynamic, magnetic nanoparticles of iron oxide which were in advance coated with the drug, are injected into the artery during a cardiac cycle. A two-phase model was applied to investigate the distribution of these carriers. Results: The results are presented for different hematocrits and the nanoparticle diameter. It...