Loading...
Search for:
hosseinabadi--mahsa
0.126 seconds
Total 123 records
, M.Sc. Thesis Sharif University of Technology ; Parsafar, Gholamabbas (Supervisor)
Abstract
In 2009, a general equation of state (EOS-III) based on an effective near-neighbor pair interaction of an extended Lennard-Jones (3, 6, 12) type has been introduced as : , where is the compressibility factor, p and ρ stand for pressure and molar density , respectively, T is Temperature , and e, f and g are the temperature dependent coefficient of the equation of state . the Z_th and Z_in are the thermal and internal contributions of pressure in the compressibility factor, respectively. this equation of state gives a good description of all types of nano- and bulk –solid and bulk fluid at entire temperature and pressure ranges for which thee is experimental data. Investigation show that...
Photoelectrocatalytic Performance of Mesoporous TiO2 Nanostructures Decorated with Cu-Ag-Zn Particles for CO2 Conversion
, M.Sc. Thesis Sharif University of Technology ; Simchi, Abdolreza (Supervisor)
Abstract
The rise in carbon dioxide levels has led to the manifestation of numerous environmental challenges. Currently, the absorption and conversion of carbon dioxide into valuable fuel resources such as synthetic gas, methane, and ethylene are deemed crucial from both environmental and economic standpoints. Despite the presentation of photocatalysts such as titanium oxide and electrocatalysts such as copper, silver, and zinc, their efficiency in CO2 conversion is found to be insufficient. One potential solution to this problem is the utilization of photoelectrocatalytic CO2 recovery. In this study, the aim was to enhance the photoelectrocatalytic reduction of CO2 by designing and manufacturing...
Coating of Sewage Pipes with Appropriate Nanomaterials Aimed at Preventing Biological Growth (Algae+Biofilm)
, M.Sc. Thesis Sharif University of Technology ; Borghei, Mehdi (Supervisor) ; Ghasemi, Shahnaz (Co-Supervisor)
Abstract
Biological layers are one of the main problems related to water transfer with pipe lines which are formed through time in the inner surface of the pipes by the water nutrients. Hence, the inner surfaces in the pipe lines and water refineries should be made in order not to let these biological layers to be made. The reason is that when the biofilm is formed on these surfaces, the traversing water is polluted. Dredging of these pipes is not only necessary in most of the countries in the world and needs huge amounts of water but is also very complex and expensive.In this research, nanomaterials, namely ZnO, T〖iO〗_2،S〖iO〗_2 have been used to cover the surface of concrete and steel pipes (The...
Synthesis and Application of Preformed Viscoelastic Hydrogels in Enhanced Oil Recovery
, M.Sc. Thesis Sharif University of Technology ; Taghikhani, Vahid (Supervisor) ; Baghban Salehi, Mahsa (Supervisor)
Abstract
Preformed particle gels (PPGs) due to its advatantage over commonly used in situ gels has been successfully applied for controlling excess water production in mature oil reservoirs. Field results of using PPGs in oil fields shows that commonly used PPGs are highly sensitive to hard reservoir conditions such as high temperature and salinity and can not effectively block fractures and high permeability layers.Objects of this study are synthesis and evaluating performance of this novel polymer based hydrogel in oil reservoirs with high temperature and salinity. Central composite design ( which is a experiment design approach) was used for synthesizing thirteen gel samples and optimal sample was...
Design and Manufacture of Polymeric Nanocomposite in Order to Control the Production and Migration of Sand in Reservoirs
, Ph.D. Dissertation Sharif University of Technology ; Taghikhani, Vahid (Supervisor) ; Baghban Salehi, Mahsa (Supervisor)
Abstract
Sand production from oil reservoirs leads to various problems, such as well productivity reduction, operating equipment corrosion, and increased production costs. Therefore, controlling sand production in unconsolidated reservoirs is crucial for operating companies. Chemical injection into the formation in order to strengthen and reduce sand production is one of the most important methods of sand control. In this study, a hydrogel nanocomposite was designed and its effectiveness in sand control was investigated. Various tests were carried out to define and assess its efficacy, as follows: Morphological tests demonstrated the creation of a dense, homogeneous, and porous structure. Structural...
Vortex bound states of charge and magnetic fluctuations induced topological superconductors in heterostructures
, Article Physical Review B ; Volume 100, Issue 14 , 2019 ; 24699950 (ISSN) ; Kargarian, M ; Sharif University of Technology
American Physical Society
2019
Abstract
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...
Investigation of Hamrahe-Aval Demand Services
, M.Sc. Thesis Sharif University of Technology ; Fatemi, Farshad (Supervisor)
Abstract
In the past few years mobile usage is increasing in Iran. Since mobile industry is growing and new innovations are presented, the competition between operators is rising. Although this competition has a great influence on the mobile demand for each operator, lack of the data of the all operators made us to use the data of one of the operators to investigate the demand. Based on the subscriber’s data of Hamrahe-Aval company, it has been introduced an estimation of a demand system for customers of this company by using AIDS model in this essay. This model includes three groups of services: sending short messages, calling to mobile numbers and calling to fixed numbers.
This study has two...
This study has two...
Hot extrusion process modeling using a coupled upper bound-finite element method
, Article Journal of Manufacturing Processes ; Vol. 16, issue. 2 , 2014 , pp. 233-240 ; ISSN: 15266125 ; Serajzadeh, S ; Sharif University of Technology
2014
Abstract
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...
Thermo-mechanical analysis of cold extrusion process using stream function and finite element methods
, Article Multidiscipline Modeling in Materials and Structures ; Volume 9, Issue 1 , 2013 , Pages 128-139 ; 15736105 (ISSN) ; Serajzadeh, S ; Sharif University of Technology
2013
Abstract
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 coupled stream function-finite element analysis for wire drawing processes
, Article International Journal of Advanced Manufacturing Technology ; Volume 57, Issue 9-12 , 2011 , Pages 917-926 ; 02683768 (ISSN) ; Serajzadeh, S ; Sharif University of Technology
2011
Abstract
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...
The Spin-Orbit Interaction and Topological Vortices in Unconventional Superconductors
, M.Sc. Thesis Sharif University of Technology ; Kargarian, Mehdi (Supervisor)
Abstract
In this work we introduce a new proposal to realize topological superconductivity. In this model we use a ferromagnetic material with high curie temperature like Nickel in proximity to the surface of a three dimensional topological insulator or equivalently Bismuth which has surface states with strong spin-orbit coupling which makes its surface Hamiltonian similar to the surface of a three dimensional topological insulator.The surface electrons of Bismuth are Dirac fermions with strong spin-orbit interaction. The interaction of surface electrons with magnetic fluctuations in the ferromagnet induces an effective attractive electron-electron interaction among surface electrons upon integration...
Injecting security as aspectable NFR into software architecture
, Article 14th Asia Pacific Software Engineering Conference, ASPCE 2007, Nagoya, 4 December 2007 through 7 December 2007 ; January , 2007 , Pages 310-317 ; 15301362 (ISSN); 0769530575 (ISBN); 9780769530574 (ISBN) ; Mirian Hosseinabadi, H ; Sharif University of Technology
2007
Abstract
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...
Towards a calculus for nondeterministic schemas in Z
, Article International Journal of Software Engineering and Knowledge Engineering ; Volume 22, Issue 6 , September , 2012 , Pages 839-865 ; 02181940 (ISSN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
World Scientific
2012
Abstract
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...
Translation of Z specifications to executable code: Application to the database domain
, Article Information and Software Technology ; Volume 55, Issue 6 , June , 2013 , Pages 1017-1044 ; 09505849 (ISSN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
2013
Abstract
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...
Mbtdd: Model based test driven development
, Article International Journal of Software Engineering and Knowledge Engineering ; Volume 22, Issue 8 , 2012 , Pages 1085-1102 ; 02181940 (ISSN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
2012
Abstract
Test Driven Development (TDD), as a quality promotion approach, suffers from some shortages that discourage its usage. One of the most challenging shortcomings of TDD is the low level of granularity and abstraction. This may lead to production of software that is not acceptable by the end users. Additionally, exploiting of TDD is not applicable in the enterprise systems development. To overcome this defect, we have merged TDD with Model Based Testing (MBT) and suggested a framework named Model Based Test Driven Development (MBTDD). According to TDD, writing test cases comes before programming, and based on our improved method of TDD, modeling precedes writing test cases. To validate the...
A model-driven approach to semi-structured database design
, Article Frontiers of Computer Science ; Volume 9, Issue 2 , 2015 , Pages 237-252 ; 20952228 (ISSN) ; Mirian Hosseinabadi, S ; Sharif University of Technology
Higher Education Press
2015
Abstract
Recently XML has become a standard for data representation and the preferred method of encoding structured data for exchange over the Internet. Moreover it is frequently used as a logical format to store structured and semi-structured data in databases. We propose a model-driven and configurable approach for modeling hierarchical XML data using object role modeling (ORM) as a flat conceptual model. First a non-hierarchical conceptual schema of the problem domain is built using ORM and then different hierarchical views of the conceptual schema or parts of it are specified by the designer using transformation rules. A hierarchical modeling notation called H-ORM is proposed to show these...
Rule-based translation of specifications to executable code
, Article ICIME 2010 - 2010 2nd IEEE International Conference on Information Management and Engineering, 16 April 2010 through 18 April 2010, Chengdu ; Volume 1 , 2010 , Pages 1-4 ; 9781424452644 (ISBN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
2010
Abstract
It is well known that the use of formal methods in the software development process results in a high-quality software product. However, since formal approaches are just reasoning mechanisms, they do not offer defined ordered steps and guidance for moving between them. Refinement is a technique for moving between specifications but it bears very little resemblance to the real process of software design. An automatic translator from a specification language to an executable code would be highly useful in maximizing the benefits of formal methods. In the domain of database applications, we propose a rule-based algorithm to translate software requirements written in Z specifications to...
A service based approach to self-adaptive software systems based on constructing a group of autonomic elements
, Article Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010, 22 March 2010 through 26 March 2010 ; March , 2010 , Pages 101-105 ; 9780769540047 (ISBN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
2010
Abstract
As requirements and environments become much more complex, the need for self-adaptive and self-healing software system grows. There are several existing works which present such systems by using different approaches. Using alternative solutions to provide a service or requirement is one of the most important approaches among existing works. In this paper an alternative-based approach for adding self-adaptive capabilities to software systems is proposed. In this approach a group of autonomic elements will be constructed based on different design or implementations that could be considered for a specific service or requirement. By using this approach, a highly adaptive software system could be...
Derivation of Z functional input/output refinement proof rules
, Article ICEIE 2010 - 2010 International Conference on Electronics and Information Engineering, Proceedings, 1 August 2010 through 3 August 2010 ; Volume 1 , August , 2010 , Pages V1209-V1213 ; 9781424476800 (ISBN) ; Mirian Hosseinabadi, S. H ; Sharif University of Technology
2010
Abstract
In this paper, we derive Z input/output data refinement rules, including forwards and backwards rules, for the case in which the retrieve schemas are total functions when viewed as relations from the concrete to abstract variables. In practice, the relation between the abstract and concrete variables is often functional. Therefore, the use of the functional input/output refinement rules will reduce the cost and duration of the software development because the proof of the consistency of the abstract and concrete specifications is more easily demonstrated
A Semi-Automated Software Testing Using Input Space Partitioning
, M.Sc. Thesis Sharif University of Technology ; Mirian Hosseinabadi, Hassan (Supervisor)
Abstract
It's impossible to check all inputs of a software program due to infinite input domain, therefore the domain should be somehow restricted. One popular approach to do so, is input space partitioning. In this approach, the input domain has been modeled and partitioned into some equivalent classes or blocks. Using these blocks, it's possible to select one sample from each one and reduce the number of test cases to a small desirable number. To automate this approach, it's essential to firstly define the software requirements specification in a well-defined machine understandable template, then with processing this document we can detect program’s functionality and testable functions. Our goal in...