Sharif Digital Repository

In this paper, an infrastructure for debug of complex SoCs that employs assertions is introduced. The proposed infrastructure combines traditional off-chip analysis techniques with on-chip at-speed debug facilities. The main part of on-chip debug hardware consists of data and transaction monitors. The monitor hardware is automatically generated by synthesizing the assertions that were used for verification and validation before manufacturing. We have integrated the proposed method in a system-level design methodology. By synthesizing various assertions from different kinds in a case study we have studied the overhead of our method. © 2007 IEEE  

A neural network based on the feed forward back propagation error has been developed for the design and simulation of the catalytic properties of a multi-component system based on Cu-M-Al2O3 (M=Zn,Cr,Zr) for the steam reforming of methanol. Due to the limited size of the data set, cross validation method has to be used to enhance and also evaluate the prediction ability of the network. The best structural organization has been found to include 4,3,6,3 nodes in the input, two hidden layers and the output layer respectively  

Reservoir characterization, especially during early stages of reservoir life, is very uncertain, due to the scarcity of data. Reservoir connectivity and permeability evaluation is of great importance in reservoir characterization. The conventional approach to addressing this is computationally very expensive and time consuming. Therefore, there is a great incentive to produce much simpler alternative methods. In this paper, we use a statistical approach called the percolation theory, which considers a hypothesis wherein the reservoir can be split into either permeable (i.e. sand/fracture) or impermeable flow units (i.e. shale/matrix), and assumes that the connectivity of permeability... 

The present paper focuses on medium-term effects of alternative windfall management strategies for a resource abundant country where the resource revenues are expected to last over a prolonged period. In particular, the trade-off between spending and saving is analyzed within the framework of a recursive dynamic computable general equilibrium model. The model is further validated against historical data available for 2001-2010. The total factor productivity is calculated endogenously in the model based on a function that reflects the changes in factor productivity. The results suggest that saving oil revenues, whether in an oil fund or through physical investment in domestic sectors, leads... 

The aim of this paper is to develop the technical knowledge, especially the optimum geometries, for the design and manufacturing of a supersonic gas-gas ejector for a wasteheat driven vehicle cooling system. Although several studies have been performed to investigate the effects of geometrical configurations of gas-gas ejectors, a progressive design methodology of an ejector compressor for application to a vehicle cooling system has not yet been described. First, an analytical model for calculation of the ejector optimum geometry for a wide range of operating conditions is developed, using R134a as the working fluid with a rated cooling capacity of 2.5 kW. The maximum values of entrainment... 

Reservoir characterization, especially during early stages of reservoir life, is very uncertain, due to the scarcity of data. Reservoir connectivity and permeability evaluation is of great importance in reservoir characterization. The conventional approach to addressing this is computationally very expensive and time consuming. Therefore, there is a great incentive to produce much simpler alternative methods. In this paper, we use a statistical approach called the percolation theory, which considers a hypothesis wherein the reservoir can be split into either permeable (i.e. sand/fracture) or impermeable flow units (i.e. shale/matrix), and assumes that the connectivity of permeability... 

The flow over a supersonic inlet has been investigated experimentally and numerically at a free stream Mach number of 2 and a zero degree angle of attack. Wind tunnel tests were performed to obtain the performance parameters of the inlet and were used as a baseline and validation tools for the numerical code. A heat source was added to the flow field at a distance ahead of the inlet. The effect of heat source addition on the main performance parameters of the inlet is investigated numerically. Results show that the heat source considerably reduces drag coefficient; however, its effect on pressure recovery is not favorable. This unfavorable effect was then minimized by controlling heat source... 

Different types of macro-elements have been proposed to simulate the behavior of unreinforced masonry (URM) structures under seismic loads. In many of these, macro-elements URM walls are replaced with beam elements with different hysteretic behaviors. The effect of out-of-plane loading or change of gravity load due to the overturning moment is usually not considered in the behavior of these macro-elements. This article presents interaction curves for bidirectional loadings of unreinforced masonry walls to investigate the importance of these factors. Two parameters are systematically changed to derive the interaction curves for a wall with specific dimensions, including compressive traction... 

A new methodology is presented with which the likely impact of accident in one process unit of an industry on other process units can be forecast and assessed. The methodology is based on Monte Carlo Simulation and overcomes the limitations of analytical methods, used hitherto, which were inherently limited in their ability to handle the uncertainty and the complexity associated with domino effect phenomena. The methodology has been validated and its applicability has been demonstrated with two case studies  

Quantitative structure-activity relationship (QSAR) approach was carried out for the prediction of inhibitory activity of some novel quinazolinone derivatives on serotonin (5-HT7) using modified ant colony (ACO) method and adaptive neuro-fuzzy interference system (ANFIS) combined with shuffling cross-validation technique. A modified ACO algorithm is utilized to select the most important variables in QSAR modeling and then these variables were used as inputs of ANFIS to predict 5-HT7 receptor binding activities of quinazolinone derivatives. The best descriptors describing the inhibition mechanism are Qmax, Se, Hy, PJI3 and DELS which are among electronic, constitutional, geometric and... 

Uncertainty is a critical factor in medical datasets needed to be overcome for increasing diagnosis efficiency. This paper proposes an intelligent classification algorithm comprising a fuzzy rule-based approach, a harmony search (HS) algorithm, and a heuristic algorithm to classify medical datasets intelligently. Two fuzzy approaches, as well as orthogonal and triangular fuzzy sets, are first utilized to define the attributes of data. Then, an HS algorithm is integrated with a heuristic to generate fuzzy rules to select the best rules in the fuzzy rule-based systems. Moreover, to improve the performance of the proposed classification approach, a three-phase parameter tuning approach is... 

The gas chromatography retention indices of 100 different components of essential oils, on three columns with stationary phases of different polarities, were used to develop robust quantitative structure-retention relationship (QSRR) models. Two linear models with only one variable, i.e. solvation entropy, were developed, which explain 95 and 94% of variances of the test set for dimethyl silicone and dimethyl silicone with 5% phenyl group columns, respectively. These models are extremely simple and easy to interpret, but they show higher errors compared with more robust models such as partial least square (PLS) and ridge regressions. For the third column (polyethylene glycol (PEG)), 24... 

Clay liners are widely used as porous membrane barriers to control solute transport and to prevent the leakage of leachate both in horizontal and vertical flow scenarios, such as the isolated base and ramps of sanitary landfills. Despite the primary importance of saturated hydraulic conductivity in a reliable simulation of fluid flow through clay barriers, there is no model to predict hydraulic conductivity of clayey soils permeated with saline aqueous solutions because most of the current models were developed for pure water. Therefore, the main motivation behind this study is to derive semi-empirical models for simulating the hydraulic conductivity of clayey soils in the presence of...