Sharif Digital Repository

Supercritical fluid extraction is a new technology that could be effectively used to treat oil-contaminated drill cuttings generated during drilling for oil and gas. In this work, the solubility of oil-contaminated drill cuttings in supercritical carbon dioxide is obtained by an experimental flow type apparatus. The solubility was measured at 200 bar pressure, over a temperature range of 55-79.5°C. The measured solubility and experimental data for oil in drill cuttings were correlated using the PC-SAFT, PR and SRK EOS models, without any adjustable parameters. Average absolute derivations of less than 15.1 %, 98.7 %, and 99.3 % are achieved between predicted and experimental values for the... 

Air cavity ship concept has received some interest due to its potential on viscous resistance reduction for high speed craft. Air-cavity ships (ACS) are advanced marine vehicles that use air injection at the wetted hull surfaces to improve a vessel's hydrodynamic characteristics. Air is supplied through nozzles under a profiled bottom to generate an air cavity beneath such a ship, so that a steady air layer separates a part of the bottom from contact with water, consequently reducing hydrodynamic resistance. Resistance tests were conducted with two forms: first of which was planning catamaran hull form, and second one was an alternative form with an air cavity injection under its bottom... 

The feasibility of integrating co-flow fluidic thrust-vectoring idea into the dynamics of a small flapless aerial tail-sitter is investigated in this article. The aircraft trimmability in different phases of flight and stability in take-off and level flight, are the main issues of concern for the study presented herein. In this respect, the vehicle's characteristic equations are derived by linearization of the general non-linear equations of motion. Since the vehicle was supposed to be merely controlled by fluidic thrust-vectoring, the concept was novel and some new derivatives are introduced. Margins of the required thrust-vector angle, to obtain a steady-state flight condition, are... 

The necklace hypercube has recently been introduced as an attractive alternative to the well-known hypercube. Previous research on this network topology has mainly focused on topological properties, VLSI and algorithmic aspects of this network. Several analytical models have been proposed in the literature for different interconnection networks, as the most cost-effective tools to evaluate the performance merits of such systems. This paper proposes an analytical performance model to predict message latency in wormhole-switched necklace hypercube interconnection networks with fully adaptive routing. The analysis focuses on a fully adaptive routing algorithm which has been shown to be the most... 

Settlement is one of the most important effects of tunnelling. In order to minimize this effect, it is necessary to arrange for circumstances to keep the strain and stress state of undisturbed soil within a tight limit. To achieve this, it is common nowadays to use closed face pressurized shields such as EPB TBMs. In this type of shield, face stability and ground settlement control is maintained by pressurizing the tunnel face with adjustment of cutter head thrust and muck removal discharge. In this paper, numerical modeling of excavation of twin tunnels in Tabriz subway is addressed with respect to the effect of EPB tunnelling in settlement control. Settlement and lining thrust are... 

A deterministic model for human immunodeficiency virus (denoted HIV) infection in the presence of combination therapy is considered. Global asymptotic stability of the disease-free equilibrium is discussed and the endemic equilibrium is also investigated. © 2006 Elsevier Ltd. All rights reserved  

Recombination in the Genetic Algorithm (GA) is supposed to extract the component characteristics from two parents and reassemble them in different combinations hopefully producing an offspring that has the good characteristics of both parents. Symbiotic Combination is formerly introduced as an alternative for sexual recombination operator to overcome the need of explicit design of recombination operators in GA all. This paper presents an optimization algorithm based on using this operator in Tabu Search. The algorithm is benchmarked on two problem sets and is compared with standard genetic algorithm and symbiotic evolutionary adaptation model, showing success rates higher than both cited... 

In this work, a neural network model is used to calculate flow stress of deforming metal as a function of temperature, strain and strain rate. Then, with the aid of this model and employing a finite element analysis, flow behavior of material and the temperature variations in hot upsetting process are predicted. To examine the model, hot nonisothermal forging of a low carbon steel is performed while force-displacement behavior during hot deformation is recorded. A good agreement is observed between the predicted data and the measured results. © 2006 Elsevier B.V. All rights reserved  

A new experimental facility was designed, fabricated, and tested to model and study the effect of bidirectional swirl flow on the rate of heat transfer to combustion chamber walls. Reduction of this heat transfer can result in time and cost of design and fabrication methods of combustion chambers. The experimental study was performed using propane and air with oxygen as fuel and oxidizer respectively. For similar flow rates, in cases where bidirectional flow was present, wall temperature reductions of up to 70% were observed. In cases where only some of the oxidizer was injected from the chamber end to generate the bidirectional swirl flow, the lowest wall temperature existed. This can be... 

Aspects of pitching and plunging motions on unsteady aerodynamic behavior of an aircraft model were studied. Extensive wind tunnel tests were performed on a standard dynamics model, SDM, oscillating in both pitch and plunge modes. Up to now, there has been little or no result on the plunging behavior of an aircraft or missile as a whole and the present experiments can be considered as one of the first attempts to study the compressible flow field over a model undergoing both pitching and plunging motions. The experiments involved measuring normal force and pitching moment of the model at Mach numbers of 0.4, 0.6 and 1.5 and oscillation frequencies of 1.25, 2.77 and 6.00 Hz. The longitudinal... 

In this paper we present a method for transient analysis of availability and survivability of a system with the identical components and identical repairmen. The considered system is supposed to consist of series of k-out-of-n or parallel components. We employed the Markov models, eigen vectors and eigenvalues for analyzing the transient availability and survivability of the system. The method is implemented through an algorithm which is tested in MATLAB programming environment. The new method enjoys a stronger mathematical foundation and more flexibility for analyzing the transient availability and survivability of the system. © 2006 Elsevier Inc. All rights reserved  

Taxonomy learning is one of the major steps in ontology learning process. Manual construction of taxonomies is a time-consuming and cumbersome task. Recently many researchers have focused on automatic taxonomy learning, but still quality of generated taxonomies is not satisfactory. In this paper we have proposed a new compound similarity measure. This measure is based on both knowledge poor and knowledge rich approaches to find word similarity. We also used Neural Network model for combination of several similarity methods. We have compared our method with simple syntactic similarity measure. Our measure considerably improves the precision and recall of automatic generated taxonomies. ©... 

Vulnerabilities are now part of all software systems. To handle vulnerabilities, many approaches have been proposed till now. Many of these approaches try to analyze vulnerabilities based on model checking techniques. However, the models used in these approaches handle authorized and unauthorized rules separately. This basically cause in weaker modeling abilities and consequently weaker vulnerability analysis. From authorized and unauthorized rules, we mean those emanated from access control model and those originated from vulnerabilities respectively. Currently, a new general graph-based protection system concentrating on vulnerabilities called VGBPS is proposed to overcome the mentioned... 

Applying an appropriate formal model to specify software architecture makes a reliable foundation to formally verify non-functional properties and therefore, leads to early detection of defects. In this paper we make a comparison between automata-based models and evaluate their abilities to model different aspects of components interaction in software architectures. We try to use Team automata as a middleware to formally specify well-known architectural descriptions in UML2.0. A Limitation of current automata models, so called "actions interleaving" is also discussed and some approaches to overcome this limitation described. © Springer-Verlag Berlin Heidelberg 2007  

Various attempts have been made to derive linearized, reduced order models of induction generators. Due to the fact that there is usually numerous number of these machines in wind power plants, these models provide great facilities in calculations, and therefore are used widely in power system transient stability studies. In this paper, some of these methods are discussed and compared and then a method known as "balanced realizations" is used to reduce the dynamic order of the machine. Computer simulation shows that the last method markedly improves the accuracy of the resulting reduced order model. The improvement is demonstrated by comparing the response characteristics predicted by each... 

How can we remove some interactions (generate shorter clauses) in a constraint satisfaction problem (CSP) such that it still remains satisfiable? In this paper we study a modified survey propagation algorithm that enables us to address this question for a prototypical CSP, i.e., random K -satisfiability problem. The average number of removed interactions is controlled by a tuning parameter in the algorithm. If the original problem is satisfiable then we are able to construct satisfiable subproblems ranging from the original one to a minimal one with minimum possible number of interactions. The minimal satisfiable subproblems will directly provide the solutions of the original problem. © 2006... 

We explore some duality properties in fuzzy number linear programming problems. By use of a linear ranking function we introduce the dual of fuzzy number linear programming primal problems. We then present several duality results. © 2006 Elsevier Inc. All rights reserved  

Although several analytical models have been proposed in the literature for different interconnection networks with different routing algorithms, there is only one work dealing with partially adaptive routing algorithms. This paper proposes an accurate analytical model to predict message latency in wormhole-routed hypercube based networks using the partially adaptive routing algorithm. The results obtained from simulation experiments confirm that the proposed model exhibits a good accuracy for various network sizes and under different operating conditions. © 2006 IEEE  

Many theoretical-based comparison studies, relying on the graph theoretical viewpoints with using structural and algorithmic properties, have been conducted for the hypercube and the star graph. None of these studies, however, considered real working conditions and implementation limits. We have compared the performance of the star and hypercube networks for different message length and virtual channels and considered two implementation constraints, namely the constant bisection bandwidth and constant node pin-out. We use two accurate analytical models already proposed for the star graph and hypercube and implement the parameter changes imposed by technological implementation constraints.... 

Relative permeability is used to describe quantitatively simultaneous transport of two or more immiscible phases through a porous medium. Accurate estimates of relative permeability curves depend on the method of estimation and are desired to obtain reliable predictions of flow behavior. To compare the accuracy of relative permeability estimation of implicit and explicit methods, primary drainage experiments of water by a sample oil fluid have been studied. The experiments performed on a horizontal glass type micromodel as a model of porous media sample under different fixed high flow rates condition to negate capillary pressure effects. The relative permeability of oil and water phases is...