Sharif Digital Repository

Connections have very important role in pre-cast concrete structures, especially in seismic zones, and grout connections increase strength and resistance of pre-cast concrete structures for lateral forces. High performance grout connections (HPGC) provide new opportunities to design cost-effective pre-cast concrete structures. HPGC have been proposed to decrease cost of insulation, erection and crane cost of pre-cast concrete structures and to overcome weakness of traditional pre-cast concrete structure connections .This research focuses on properties of grout materials properties which produced in Iran and the effect of propylene fiber on the performance of grout connection. In the first... 

Co-deposition of Cu(Zn) and graphite powders with size less than 10 μ was studied. Electrocomposite coatings were prepared by means of the conventional electrodeposition (CECD) and the sediment co-deposition (SCD) techniques. Brass electroplating cyanide bath has been selected out of electrodeposition brass. The effect of parameters such as rate of agitation and current density on the composition of electrodeposition brass and also the effect of the concentration of graphite particles in brass bath, air agitation rate on graphite incorporation within brass matrix and deposition efficiency were studied. The wear and friction properties of G-Cu(Zn) composite coatings containing different... 

In this paper, nano/microstructured-conducting polypyrrole has been prepared on Cu/Au interdigital electrode surfaces by using constant potential amperometry technique. The Fe(II) ions were used as catalyst and X = ClO4 -, pTs-, Cl-, TCA-, DS-, DBS- was implemented as anion dopants. The morphologies of the films were investigated by field emission scanning electron microscope. A remarkable dependence was observed between the type of anion dopant and the morphology of polypyrrole (PPy). The sensing behavior of the PPy-X sensor has been studied toward acetone, methanol, ethanol, 1-propanol, 2-propanol, nitromethane, propylamine, pyridine, and gas mixtures of aliphatic alcohols. The responses... 

Building envelopes and regional conditions can significantly contribute to the cost and energy performance of the buildings. Structured methods that take into account the impacts of both the envelope materials and the regional conditions to find the most feasible envelope materials within a region, however, are still missing. This study responds to this need by proposing a novel method using the capabilities of Building Information Modeling (BIM). The proposed method is used for identifying cost- and energy-efficient building envelope materials within a region over the life cycle. First, commonly used envelope materials in a region are identified. Then, BIM is employed for simulating the... 

Low salinity waterflooding (LSWF) is a process in which by lowering the ionic strength and/or manipulation of the composition of the injection water, the long term equilibrium in oil/brine/rock system is disturbed to reach a new state of equilibrium through which the oil production will be enhanced due to fluid/fluid and/or rock/fluid interactions. In spite of recent advances in the simulation of the LSWF at core scale and beyond, there are very few works that have modelled and simulated this process at the pore scale specially using direct numerical simulation (DNS). As a result the effects of wettability alteration and/or Interfacial Tension (IFT) change on the distribution of the phases... 

We study the variety of Löb algebras, the algebraic structures associated with Formal Propositional Calculus. Among other things, we show that there exist only two maximal intermediate logics in the lattice of intermediate logics over Basic Propositional Calculus. We introduce countably many locally finite sub-varieties of the variety of Löb algebras and show that their corresponding intermediate logics have the interpolation property. Finally, we characterize all chain basic algebras with empty set of generators, and show that there are continuum many such chain basic algebras  

With increasing use of e-banking system in Iranian banking sector, ignoring the issue of fraud in the system will be very costly for banks and e-banking customers. Fraud in e-banking is due to some security problems (such as weakness in access control systems and inadequate internal control). So, identifying success factor in fraud prevention in ebanking can be useful for e-banking system developers to improve these systems security. In this paper we have tried to identify and rank these success factors for fraud prevention in e-banking systems. For this purpose, we first review the literature to find potential factors, then identified factors were weighted by using fuzzy group multi... 

We study basic propositional logic (BPC) augmented with the law of the weak excluded middle (WEM), i.e. BPW = BPC+WEM. We show that the variety of the algebraic models of BPW is canonical, and its Kripke completeness is proved via cononicity. Moreover, it is also proved that BPW has the finite model property and is decidable. It is shown that BPC and BPW have the same behaviour on the ˔-free formulas and that CPC and BPW have the same behaviour on the negated formulas. © The Author(s) 2018. Published by Oxford University Press. All rights reserved  

This paper aims to present a novel accurate moving object detection method based on the conditional random field (CRF) for high efficiency video coding/H.265 compressed domain video sequences. For each block, the number of consumed bits, motion vectors (MVs), and partitioning modes for a given block is extracted from the compressed bitstream. After removing outlier MVs, compensating MVs are assigned to the I-blocks based on their neighboring blocks. The information, such as MV, partitioning mode, and bit consumption, is used in the potential functions of a CRF model which is updated for every frame to detect the objects. Then, a number of standard test video sequences are used to verify the... 

Emulsion flooding is a promising method for enhanced oil recovery (EOR). The static and dynamic behavior of the emulsions is greatly influenced by the nature of the applied surfactant. In this work, the effect of fatty acids, as natural surface-active agents, and their chain length on the emulsion behavior was investigated in both bulk and porous media. A panel of the fatty acids with different chain lengths (6 < C < 18) was applied at constant concentration and pH. Upon the static stability tests, emulsion stability at the optimum value of chain length (C14) was increased by two orders of magnitude. Under the optimal condition, the hydrogen bonding between dissociated and undissociated... 

By increasing the complexity of system on a chip (SoC) formal equivalence checking has become more and more important and a major economical issue to detect design faults at early stages of the design cycle in order to reduce time-to-market as much as possible. However, lower level methods such as BDDs and SAT solvers suffer from memory and computational explosion problems to match sizes of industrial designs in formal equivalence verification. In this paper, we describe a hybrid bit- and word-level canonical representation called Linear Taylor Expansion Diagram (LTED) [1] which can be used to check the equivalence between two descriptions in different levels of abstractions. To prove the... 

Low salinity waterflooding (LSWF) is a process in which by lowering the ionic strength and/or manipulation of the composition of the injection water, the long term equilibrium in oil/brine/rock system is disturbed to reach a new state of equilibrium through which the oil production will be enhanced due to fluid/fluid and/or rock/fluid interactions. In spite of recent advances in the simulation of the LSWF at core scale and beyond, there are very few works that have modelled and simulated this process at the pore scale specially using direct numerical simulation (DNS). As a result the effects of wettability alteration and/or Interfacial Tension (IFT) change on the distribution of the phases... 

Using our recently developed model, for the first time in the literature, the effect of fluid/fluid and rock/fluid interactions on the performance of Low Salinity Waterflooding (LSWF, as an Enhanced Oil Recovery process) at pore-doublet scale is investigated. The model is incorporated into OpenFOAM and both the Navier-Stokes equation for oil/water two-phase flow and the advection-diffusion equation for ion transport (at both fluid/fluid and rock/fluid interface) are solved via direct numerical simulation (DNS). The model is validated against imbibition and drainage pore-doublet experiments reported in the literature, and then applied to investigate the sole effect of wettability alteration... 

We study the variety of Löb algebras, the algebraic structures associated with formal prepositional calculus. Among other things, we prove a completeness theorem for formal prepositional logic with respect to the variety of Löb algebras. We show that the variety of Löb algebras has the weak amalgamation property. Some interesting subclasses of the variety of Löb algebras, e. g. linear, faithful and strongly linear Löb algebras are introduced. © 2006 WILEY-VCH Verlag GmbH & Co. KGaA  

Low salinity waterflooding (LSWF) is a process in which by lowering the ionic strength and/or manipulation of the composition of the injection water, the long term equilibrium in oil/brine/rock system is disturbed to reach a new state of equilibrium through which the oil production will be enhanced due to fluid/fluid and/or rock/fluid interactions. In spite of recent advances in the simulation of the LSWF at core scale and beyond, there are very few works that have modelled and simulated this process at the pore scale specially using direct numerical simulation (DNS). As a result the effects of wettability alteration and/or Interfacial Tension (IFT) change on the distribution of the phases... 

Using our recently developed model, for the first time in the literature, the effect of fluid/fluid and rock/fluid interactions on the performance of Low Salinity Waterflooding (LSWF, as an Enhanced Oil Recovery process) at pore-doublet scale is investigated. The model is incorporated into OpenFOAM and both the Navier-Stokes equation for oil/water two-phase flow and the advection-diffusion equation for ion transport (at both fluid/fluid and rock/fluid interface) are solved via direct numerical simulation (DNS). The model is validated against imbibition and drainage pore-doublet experiments reported in the literature, and then applied to investigate the sole effect of wettability alteration... 

We study Basic algebra, the algebraic structure associated with basic propositional calculus, and some of its natural extensions. Among other things, we prove the amalgamation property for the class of Basic algebras, faithful Basic algebras and linear faithful Basic algebras. We also show that a faithful theory has the interpolation property if and only if its correspondence class of algebras has the amalgamation property. © 2006 Springer-Verlag  

We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. © 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim