Transmission and distribution pipelines have a significant role in the oil and gas industries. Pipelines are facing different threat like corrosion, improper design and incorrect operation. Gas vapor released from a pipeline (owned by NIOC) failure spread out and reached to ignition source. Due to gas outdoor spreading, “flash fire” occurred and flame return caused “vapor cloud explosion” of ga...

Surgical training is one of the most promising areas in medicine where 3-D computer graphics and virtual reality techniques are emerging. This paper provides an advanced report on our project that aims to create virtual reality tools for training medical students and for improving skills and efficiency of orthopedic surgeons in internal fixation of bone fractures. The paper describes the whole ...

Arguably, the natural gas transmission pipeline infrastructure in Iran represents one of the largest and most complex mechanical systems in the world. The optimization of large gas trunk lines known as IGAT results in reduced fuel consumption or higher capability and improves pipeline operation. In the current study, a single-objective optimization was conducted for Khormoj compressor station o...

Accurate estimation of motion from time-varying imagery has been a popular problem in vision studies, This information can be used in segmentation, 3D motion and shape recovery, target tracking, and other problems in scene analysis and interpretation. We have presented a dynamic image model for estimating image motion from image sequences, and have shown how the solution can be obtained from a ...

risk assessment and management of petrochemical feed and product transportation pipelines is very important to preventing probable accidents. so, 60 pipelines evaluated by chemical exposure index and chlorine pipeline due to high hazard distances selected for relative risk analysis. the chlorine pipeline with 3468 meter length divided to 100 meter sections, and third party damage index (tpdi), ...

This paper presents status results of a microprocessor verification project. The authors verify a complete 32-bit RISC microprocessor including the floating point unit and the control logic of the pipeline. The paper describes a formal definition of a ”correct” microprocessor. This correctness criterion is proven for an implementation using formal methods. All proofs are verified mechanically b...

I’m a third year Ph.D. student in the Physics department working for Adrian Lee. I work on the data analysis pipeline for the POLARBEAR Cosmic Microwave Background (CMB) experiment and I am interested in the computational problems posed by the size and complexity of the datasets that will be produced by the next generation of CMB experiments. I’m also willing to work on something completely unr...