Sharif Digital Repository

Many countries use a single water meter for multiple units within a building. This creates a cost externality where the cost of water consumed is spread over all units. Using administrative data from Tehran Water and Wastewater Co. for 2013 and 2014, we find an increase in the number of units on a communal meter on average increases per unit use by 0.4%. Estimation at different levels of units reveals that almost all communal meters have higher per unit water use. The results suggest that removing this externality could save 2.7% water consumption in our sample. © 2018 Elsevier B.V  

In this study, a three-dimensional mathematical model, based on a nonuniform droplet concentration distribution, has been developed to simulate gas absorption in a venturi scrubber. The mass transfer process was illustrated by assuming the liquid phase as a combination of droplets and film. The flow, just as the annular two-phase flow, includes a flow of liquid film layer on the walls and a flow of gas and liquid drops in the core. Peclet number was determined using experimental data reported by Viswanathan et al. (1984) for distribution of droplets across the cross section of the scrubber. The mathematical model for gas absorption was justified by comparing the theoretical predictions with... 

The helical electron states on the surface of topological insulators or elemental bismuth become unstable toward superconducting pairing formation when coupled to the charge or magnetic fluctuations. The latter gives rise to pairing instability in chiral channels dxy±idx2-y2, as has been observed recently in the epitaxial Bi/Ni bilayer system at relatively high temperature, while the former favors a pairing with zero total angular momentum. Motivated by this observation we study the vortex bound states in these superconducting states. We consider a minimal model describing the superconductivity in the presence of a vortex in the superconducting order parameter. We show that zero-energy... 

In this research, the samples of a low carbon steel sheet were rolled up to a thickness prestrain of 67% at three different temperatures consisted of room, blue brittleness, and subzero temperature. Microhardness, SEM, and tensile tests were carried out to evaluate the static recrystallization kinetics defined by the Avrami equation, microstructural evolution, and mechanical properties. It was found that the Avrami exponent is altered with change in prestrain temperature and it achieves the value of 1 to 1. 5. Moreover, it was indicated that prestraining at subzero temperature followed by annealing at 600 °C leads to considerable enhancement in tensile properties and kinetics of static... 

A coiled carbon nanotube (CCNT) can be formed from the distortion of parent toroidal carbon nanotube with a uniform pitch length and a uniform spring rise angle. In this research molecular dynamics simulation was carried out to assess the tensile properties of three CCNT having indexes of (3,3), (4,4), and (5,5). The results indicated that Stone-Wales defects are necessary for thermodynamic stability of the CCNTs. The stress-strain curves showed that the yield stress, yield strain, and failure strain are decreased with increase in temperature. The force-displacement curves revealed that the spring constant of these materials is highly depended on the tube diameter and rising angle, while it... 

During the recent years, some Mg based alloys have extensively been considered as a new generation of degradable and absorbable bio-medical materials. In this work, the Mg–2Zn–1Gd–1Ca (wt%) alloy as a new metallic bio-material was produced by the casting process followed by the heat treatment. The samples of the alloy were solution treated at temperatures of 500, 550, and 600 °C and then quench aged at temperatures of 125, 150, and 175 °C. The results of SEM-EDS examinations indicated that the alloy microstructure consists of α-Mg matrix and the Ca2Mg6Zn3 and Mg3Gd2Zn3 secondary phases. With regard to the results of Vickers hardness test, the temperatures of 500 °C and 150 °C were selected... 

A thermo-mechanical model has been developed for modeling of hot extrusion processes. Accordingly, an admissible velocity field was first proposed by means of stream function method and then, extrusion pressure as well as temperature variations within the metal and the die were predicted employing a combined upper bound and Petrov-Galerkin finite element analysis. In order to evaluate the model predictions, hot extrusion of AA6061-10%SiCp was considered under both isothermal and non-isothermal conditions and the predicted force-displacement diagrams under various extrusion conditions were compared with the experimental ones and reasonable consistency was found between the two sets of results... 

Purpose - The purpose of this paper is to propose a mathematical model to estimate required energy and temperature distribution during cold extrusion process. Design/methodology/approach - An admissible velocity field is generated based on stream function technique. Then, the required energy and the temperature distributions in the metal and the extrusion die are determined by a coupled upper bound-finite element analysis. Findings - To examine the proposed model, cold extrusion of AA6061-10%SiCp is considered and the predicted extrusion force-displacement diagrams in different reductions are compared with the experimental ones and reasonable agreement is observed. Furthermore, it... 

A numerical approach has been developed based on the stream function technique and the finite element analysis to predict required power and temperature rise in wire drawing processes. An admissible velocity field is first proposed using a stream function and then power consumption in the wire drawing is optimized to achieve sensible and unique deformation geometry. In addition, the finite element method together with axi-symmetric Petrov-Galerkin algorithm is coupled with the deformation model to assess the temperature distribution in both the deforming wire and the die during the process. The work hardening effects are also considered in the model both in the deformation zone and on the... 

Complexity of the software development process is often increased by actuality of crosscutting concerns in software requirements; moreover, Software security as a particular non-functional requirement of software systems is often addressed late in the software development process. Modeling and analyzing of these concerns and especially security in the software architecture facilitate detecting architectural vulnerabilities, decrease costs of the software maintenance, and reduce finding tangled and complex components in the ultimate design. Aspect oriented ADLs have emerged to overcome this problem; however, imposing radical changes to existing architectural modeling methods is not easily... 

In this research, the nonlinear elastic behavior of human extensor apparatus was investigated. To this goal, firstly the best material parameters of hyperelastic strain energy density functions consisting of the Mooney–Rivlin, Ogden, invariants, and general exponential models were derived for the simple tension experimental data. Due to the significance of stress response in other deformation modes of nonlinear models, the calculated parameters were used to study the pure shear and balance biaxial tension behavior of the extensor apparatus. The results indicated that the Mooney–Rivlin model predicts an unstable behavior in the balance biaxial deformation of the extensor apparatus, while the... 

In our previous work, we presented a Z-based formalism, called NZ, by which one can explicitly specify bounded, unbounded, erratic, angelic, demonic, loose, strict, singular, and plural nondeterminism. The NZ notation is mainly based on a new notion of operation schemas, called multi-schema. Since the operations of the Z schema calculus do not work on multi-schemas anymore, in this paper we augment NZ with a new set of schema calculus operations that can be applied on multi-schemas as well as ordinary operation schemas. To demonstrate the usability of the resulting formalism, we show how this formalism can assist to model game-like situations and concurrent systems as two well-known classes... 

Context: It is well-known that the use of formal methods in the software development process results in high-quality software products. Having specified the software requirements in a formal notation, the question is how they can be transformed into an implementation. There is typically a mismatch between the specification and the implementation, known as the specification-implementation gap. Objective: This paper introduces a set of translation functions to fill the specification-implementation gap in the domain of database applications. We only present the formal definition, not the implementation, of the translation functions. Method: We chose Z, SQL and Delphi languages to illustrate our...