Sharif Digital Repository

This study concentrates on the industrial waste materials which have pozzolanic and / or cementitious property and can possibly be used in concrete mixtures or in controlled low strength material (CLSM) mixes. These materials as a cementitious or pozzolan not only reserve the environment but can replace Portland cement or reduce it. As in production of one tonne of Portland cement about one tonne of carbon dioxide is released into the environment, the aim is to reduce the amount of the Portland cement use in construction materials as much as technically possible. The research shows that some of the industrial waste materials or by-product materials which are produced in a vast amount per... 

Autism Spectrum Disorders (ADS), with unknown etiology, is one of the most understudy fields of research worldwide that requires complicated and delicate analytical study methods. The purpose of this study was to compare active regions of Brain Default Mode Network (DMN) using Group Independent Component Analysis (6ICA) among resting state patients with Autism Disorder and healthy subjects. Default Mode Network consists of posterior cingulate cortex (PCC), lateral parietal cortex/angular gyrus retrosplenial cortex, medial prefrontal cortex, superior frontal gyrus, parahippocampal gyrus and temporal lobe shows more prominent activity in passive resting conditions. The diagnosis of autism... 

Autism Spectrum Disorders (ADS), with unknown etiology, is one of the most understudy fields of research worldwide that requires complicated and delicate analytical study methods. The purpose of this study was to compare active regions of Brain Default Mode Network (DMN) using Group Independent Component Analysis (6ICA) among resting state patients with Autism Disorder and healthy subjects. Default Mode Network consists of posterior cingulate cortex (PCC), lateral parietal cortex/angular gyrus retrosplenial cortex, medial prefrontal cortex, superior frontal gyrus, parahippocampal gyrus and temporal lobe shows more prominent activity in passive resting conditions. The diagnosis of autism... 

The effects of zinc content (2 and 4 wt%), heat treatment (solution-Treated and T6), as well as hot deformation (extrusion and multi-directional forging (MDF)) on the microstructure, mechanical and degradation behavior of Mg-Zn alloys were studied. As the result of microstructure refinement, solid solution and precipitate strengthening (formation of MgZn second phases), the strength of pure Mg was increased after Zn addition. Solution treatment of the Mg-4Zn alloy resulted in 16% softening due to the dissolution of the MgZn second phases and also grain growth, while aging treatment increased the strength value by 8% in comparison to the as-cast material because of the formation of the fine... 

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

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

For speeding up the complex fractured reservoir simulating, we have given more attention to reducing runtime and improving efficiency of the solver. In this work, we describe an improved and computationally efficient version of Newton's method, which reduces the non-linear iteration count, increases time steps, and furthermore reduces time spent in nonlinear loops of reservoir simulating. Safeguarded variants of Newton's method which have used in current reservoir simulators cannot guarantee convergence of the solution, especially in highly heterogeneous, detailed and fractured reservoirs. In such simulators time step chopping is often observed. From other hand, with growing complexity,... 

A great deal of computational power and time is necessary for the simulation of highly heterogeneous fractured reservoirs with complicated geometry. Simulating such largescale complex reservoirs with both minimum time and maximum accuracy has consistently remained a topic of concern to reservoir simulation engineers worldwide. The currently used linear solvers in well-known commercial simulators that utilize classical methods such as Nested Factorization (NF) and Incomplete LU Factorization (ILU) as their preconditioners, all suffer from severe convergence problems in models with high heterogeneity and/or large number of non-neighbor connections. To overcome such problems, a novel Adaptive... 

A great deal of computational power and time is necessary for simulating highly heterogeneous fractured reservoirs with complex geometry; the efficiency of these computations is a major subject especially in large-scale heterogeneous and fractured reservoirs. So, simulating large scale, complex and fractured reservoirs with both minimum time and maximum accuracy is the scope of current work. The BiCG-Stabilized solver preconditioned by CPR-AAMG has been developed to achieve acceptable results of high efficiency and robustness for large heterogeneous fractured Black-Oil models. The solver's efficiency is demonstrated in an Iranian fractured field model with heterogeneity. As an observation,... 

Several evidences support the idea that a small population of tumour cells representing self-renewal potential are involved in initiation, maintenance, metastasis, and outcomes of cancer therapy. Elucidation of microRNAs/genes regulatory networks activated in cancer stem cells (CSCs) is necessary for the identification of new targets for cancer therapy. The aim of the present study was to predict the miRNAs pattern, which can target both metastasis and self-renewal pathways using integration of literature and data mining. For this purpose, mammospheres derived from MCF-7, MDA-MB231, and MDA-MB468 were used as breast CSCs model. They had higher migration, invasion, and colony formation... 

We have investigated the water permeation through carbon nanotube (CNT) membranes as a model of peptide nanotube channels (PNCs). The effect of different charge configured CNTs which tailored based on some artificial ion channels on the water permeation through the channels have been studied. In addition, the temperature dependence of the permeation has been investigated. We have found that there is a jump in the permeation which is somehow related to the characteristics of each channel and the temperature of this permeation jump changes according to the channel configuration. Our investigation on the channels shows that the temperature at which the permeation jump occurs is related to the... 

Original scientific paper Developing a model for citizens' satisfaction with public services is one of the effective factors for improvement of service quality. In recent years, many studies have been carried out to identify a model for citizens' satisfaction with public sector services. In the structure of the presented models in the literature, one of the most important issues regarding organizations giving public services is identification of service scopes that have the most impact on citizens' satisfaction. This paper aims to develop a model to identify citizens' satisfaction status with public services. To do so, first, key factors influencing citizens' satisfaction with public... 

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  

Cryogenic technologies not only improve the performance of interconnects but also the performance of transistors and consequently drivers and repeaters. Although in cryogenically cooled integrated circuits the local temperature of interconnects and transistors may be as low as 50 K, it may easily reach to 600 K in high-temperature chips. In this brief, we investigated the impact of temperature on the delay of local, intermediate, unit-repeater-inserted (URI), and cascaded repeater-inserted (CRI) global copper interconnects for minimum technology node with available transistor model (32-nm technology). Our results show that temperature variation of driver resistance could change the delay of... 

This paper presents a design methodology for class-J monolithic microwave integrated circuit (MMIC) power amplifiers (PAs). Theoretical derivations of optimum load impedances, output power, efficiency, and maximum bandwidth are described in presence of nonlinear drain-source resistance of transistors (RDS). A procedure is developed for ideal transistor sizing where transistors are concurrently stabilized and sized to achieve the maximum power-added efficiency (PAE). A 3.5-7 GHz, 0.5-W class-J PA is implemented in a 0.1-μm AlGaAs-InGaAs pHEMT technology to check the accuracy of the proposed approach. With chip dimensions of 1.57 × 1.29 mm2, the PA achieves 56% average PAE over the frequency... 

The performance of gigascale integration chips improves by cryogenic technologies such as subambient cooling. In these conditions, interconnects may perform at temperatures as low as 50 K. However, the local temperature of interconnects could easily be as high as 600 K at high-temperature chips. In this brief, we investigated the impact of temperature on delay of local, intermediate, and global interconnects of International Technology Roadmap for Semiconductors Node 2024. This is done for different values of interconnect width and length, nanotube diameter, and percentage of metallic carbon nanotubes (CNTs) in a grown bundle. Results are compared with those of copper counterpart. We showed... 

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