Sharif Digital Repository

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... 

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  

This paper proposes a high-level test generation method which considers the control part as well as data path of a register transfer level circuit as a set of polynomial functions to generate behavioral test patterns from faulty behavior instead of comparing the faulty and fault-free circuits based on a hybrid Boolean-word canonical representation called Horner expansion diagram. Since this set of polynomial functions express primary outputs and next states with respect to primary inputs and present states, it is not necessary to perform justification/propagation phase which leads to a minimum number of backtracks. It improves fault coverage and reduces test generation time over logic-level... 

Laboratory experiments have shown that performance of waterflooding in oil reservoirs could be significantly increased by lowering the ionic strength and/or manipulation of its composition, which is generally known as low salinity waterflooding (LSWF). The involved mechanisms in additional oil production can be generally categorized in two categories, fluid/fluid and fluid/rock interactions. The distribution of the phases and the involved displacement mechanisms would be strongly affected by the inter-relations between capillary and viscous forces. Although there have been recent advances in the simulation of the LSWF at core scale and beyond and some models are included in commercial... 

Laboratory experiments have shown that performance of waterflooding in oil reservoirs could be significantly increased by lowering the ionic strength and/or manipulation of its composition, which is generally known as low salinity waterflooding (LSWF). The involved mechanisms in additional oil production can be generally categorized in two categories, fluid/fluid and fluid/rock interactions. The distribution of the phases and the involved displacement mechanisms would be strongly affected by the inter-relations between capillary and viscous forces. Although there have been recent advances in the simulation of the LSWF at core scale and beyond and some models are included in commercial... 

A novel architecture for QR decomposition-based recursive least squares is presented. It offers low latency for applications where the channel equalization and adaptive filtering are mandatory. This approach reduces the computations by rewriting the equations in a manner that lets intense hardware resource sharing by reusing similar values in different computations. Moreover, precision range conversion allows for combining complex operations such as root square and division with minimum effect on the overall quantization error. Hence, an efficient lookup table-based solution has highly enhanced the performance of the design by 2.7 times with respect to the previous works  

Vendor selection is one of the most important activities of a purchasing department. When an organisation is confronted with choosing the best vendor to deliver a good or service, the decision can often be very complex. The assessment of vendors by combining both quantitative and qualitative information into the selection of the best-value offering for organisation is very important. In this paper, a method is proposed to consider both qualitative and quantitative factors for vendor selection and a multi objective linear programming is employed for periodic quota allocation. The proposed model easily formulates customers travelling between vendors