In this paper, we investigated the statistical analysis of thermal conductivity of nanofluids containing of decorated Ag nanorods with Cu nanoparticles. For this purpose Ag-Cu hybrid is synthesized and characterized using transmission electron microscopy (TEM) and X-ray diffraction pattern (XRD). TEM image shows that Cu nanoparticles successfully decorate on the outer surface of Ag nanorods. Th...

in this study 18 corn hybrids consist of 15 new early and mid mature foreign hybrids and three commercial iranian corn hybrids (ksc704, ksc647 and dc370) as controls were evaluated at two rcbd with three replications at the khorasan razavi agricultural research and natural resources center, during 2008 -2010. results showed that hybrid exp1 and dc370 with 16.5 and 12.1 t.ha-1 were the best and ...

this paper investigates the forecasting gold coin futures contract price in iran mercantile exchange. this research has presented a hybrid model based on genetic fuzzy systems (gfs) and artificial neural network (ann) to forecast the gold futures contract, at first, we use stepwise regression analysis (sra) to determine factors which have most influence on stock prices. at the next stage we div...

the power supply of remote sites and applications at minimal cost and with low emissions is an important issue when discussing future energy concepts. this paper presents modeling and optimization of a photovoltaic (pv)/wind/diesel system with batteries storage for electrification to an off-grid remote area located in rafsanjan, iran. for this location, different hybrid systems are studied and ...

background the prevalence of peptic ulcer disease in hemodialysis patients is more than the general population. they are also more prone to complications including upper gastrointestinal bleeding. the aim of this study was to compare the efficacy of 14 days hybrid regimen with 14 days triple therapy for helicobacter pylori ( h . pylori ) eradication in hemodialysis patients. methods forty hemod...

introduction:  the  advent  of  dual-modality  pet/ct  scanners  has  revolutionized  clinical  oncology  by  improving lesion localization and facilitating treatment planning for radiotherapy. in addition, the use of  ct images for ct-based attenuation correction (ctac) decreases the overall scanning time and creates  a noise-free  attenuation  map  (6map).  ctac  methods  include  scaling,  s...

We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all va...

The use of formal methods, techniques and tools may generally guarantee a systems’ safe operation. Such a process includes system modeling with a mathematical model, which is an approximation of the physical system, and is used to make easier the next step of analysis. Formal analysis of hybrid systems, which involve mixed continuous-valued and discrete dynamics, is concerned with verifying whe...