Sharif Digital Repository

In this paper, we present an MPEG-2 video decoder implemented in our ODYSSEY design methodology. We start with an ASIP tailored to the JPEG decompression algorithm. We extend that ASIP by required software routines such that the extended ASIP can now perform MPEG2 decoding while still benefiting from hardware units common between JPEG and MPEG2. This demonstrates the ability of our approach in extending an already manufactured ASIP, which was tailored to a given application, such that it implements new, yet related applications. The implementation platform is a VirtexII-Pro FPGA. The hardware part is implemented in VHDL, and the software runs on a PowerPC processor. Experimental results show... 

Acidizing is one of the most effective techniques to remove the formation damage and restore (or even increase) the permeability of the near wellbore region. Although this technique is widely used to resolve the skin problem, it could initiate new damages itself that hinder the fluid flow and decrease the well production, consequently. Acid-oil emulsion and sludge formation are known as two major induced formation damage and the main reasons for the oil well acid treatment failures. Despite its critical effects, no comprehensive study has been addressed this specific type of formation damages in details. In this study, the acid-oil emulsion and asphaltic sludge formation were evaluated... 

Acid-oil emulsion and sludge formation are known as two major formation damage mechanisms and the reason for failure of some acid treatments. The published studies in this area focus primarily on core- to well/reservoir-scale and it is fairly unclear how acid-oil interaction at the pore-scale leads to the formation damage observed at the macro- or core-scale. In this paper, dynamic, micro-scale experiments were designed and executed to investigate the acid-induced formation damage using microfluidic approach. In addition, a series of so-called static (microscope) tests were performed in which acid-crude oil compatibility tests were conducted on a glass slide followed by microscopic... 

Design technology is expected to rise to electronic system-level (ESL). This necessitates new techniques and tools for synthesizing ESL designs and for verifying them before and after ESL synthesis. A promising verification strategy for future very complex designs is to initially verify the design at the highest level of abstraction, and then check the equivalence of the lower level automatically generated models against that initial golden model. We present one such approach to simulation-based functional verification implemented in our ESL design methodology called ODYSSEY. Our ESL synthesis tool generates a transaction-level model (TLM) at TLM level 2 (i.e., design with partial timing)... 

In this paper, we present a JPEG decoder implemented in our ODYSSEY design methodology. We start with an object-oriented JPEG decoder model. The total operation from modeling to implementation is done automatically by our EDA tool-set in about 10 hours. The resultant system is a JPEG decoder ASIP whose hardware part is implemented on FPGA logic blocks and software part runs on a MicroBlaze processor. This ASIP can be extended by software routines to implement the motion JPEG or MPEG2 decoding algorithms. We implemented our system on ML402 FPGA-based prototype board. Experimental results show that our ASIP implementation is comparable to other approaches while our approach enables quick and... 

The growing complexity of today's embedded systems demands new methodologies and tools to manage the problems of analysis, design, implementation, and validation of complex-embedded systems. Focusing on this issue, this paper describes a design and implementation toolset using our ODYSSEY methodology, which advocates object-oriented (OO) modeling of embedded systems and its ASIP-based implementation. The proposed approach promotes a smooth transition from high-level object-oriented specification to the final embedded system, which is composed of hardware and software components. The transition from higher to lower abstraction levels is facilitated by the use of our GUI, which supports the... 

Load Balancing has many applications in various systems, but specifically plays a major role in the efficiency of parallel and distributed systems. In these systems, by load balancing we mean scheduling the jobs in a way that every job could be executed concurrently while it is mapped to a processing unit, such as a processor (in a multi-processor system) or a computer (in a grid computer). By developing effective methods the whole program time execution will be decreased and process utilization will be optimized. In this paper, a solution is proposed for dynamic load balancing. Because of the NP-hard nature of the problem, heuristic methods are desired. A simple scheduling method, Round... 

Most positions of the human genome are typically invariant (99%) and only some positions (1%) are commonly variant which are associated with complex genetic diseases. Haplotype reconstruction is to divide aligned SNP fragments, which is the most frequent form of difference to address genetic diseases, into two classes, and thus inferring a pair of haplotypes from them. Minimum error correction (MEC) is an important model for this problem but only effective when the error rate of the fragments is low. MEC/GI as an extension to MEC employs the related genotype information besides the SNP fragments and so results in a more accurate inference. The haplotyping problem, due to its NP-hardness, may... 

Energy use in buildings contributes a large part in global energy demand. To reduce energy use in this group of consumers, specially in cold seasons, an automatic control technique is proposed. In this paper, a model predictive controller (MPC) is employed to minimize the boiler activation time. The method uses the building model and incorporates the weather forecast data to act on the actuator in an optimal fashion while treating the user comfort constraints. This technique, as a part, can be embedded into the building energy management system. The building model parameters are obtained via an online identification process using unscented kalman filter (UKF). This identification is... 

Utilization of nanoparticles in oil and gas industry has attracted considerable attention of engineers and researchers. In this article, the feasibility of nanoemulsion flooding is investigated as a method for Enhanced Oil Recovery (EOR) through coreflooding experiments, using a packed bed and real reservoir fluids. Nine different mixtures of the solvent, surfactant, and nanoparticles in the form of a nanoemulsion phase are generated and used to recover the oil in the context of an EOR process. Various tests are conducted to determine the properties of porous medium and fluids. To study the production performance of this EOR technique, pressure drop across the packed bed are measured, along... 

This paper proposes a multi-unit building model, in which the parameters are obtained via an online identification process. The identification process is carried out on-the-fly so it can update the best model of the building units. A model predictive controller (MPC) is also employed that uses the prediction of the building model, as well as the weather forecast data and acts on the heating boiler in an optimal fashion. In addition, since the controller is designed for a multi-unit building, it is crucial to estimate the amount of the delay that takes the hot flow to reach the units. This paper presents a very simple method for the delay identification based on unscented kalman filter. For... 

A large portion of the railway bridge stock in many countries is comprised of masonry arch bridges. During recent years, more attention has been paid to the maintenance of such structures. Rehabilitation and retrofitting methods have been proposed to enhance the performance of masonry arch bridges and extend their service life. Because a large portion of forces exerted on such structures comes from the railway track and passing trains, structural elements are added to the track to reduce the forces transmitted to bridges. One such element is the ballast mat, which, according to suppliers, has a positive impact on the structural performance of the track. This paper tries to assess the effects...