Filters








7 Hits in 0.67 sec

Time-dependent Seismic Performance Assessment of Corroded Reinforced Concrete Frames

Mohammad Ghanooni-Bagha, Sajad Zarei, Hamid Reza Savoj, Mohsen Ali Shayanfar
2019 Periodica polytechnica. Civil engineering  
In this study, effects of reinforcement corrosion such as reinforcement cross section reduction, steel yield strength and concrete compressive strength reduction on RC member capacity decrease are studied. Next, a two-dimensional reinforced concrete moment resistant frame is modeled to evaluate the effects of moderate and severe intensity corrosion on moment-curvature behavior of elements and structure seismic response under nonlinear analysis. Structure capacity curves in push-over analysis
more » ... failure curves resulted from IDA for both the structure without and with corrosion are obtained and the effects of reinforcement's corrosion on the reinforced concrete frame seismic performance are determined through comparing the results. The results revealed that in terms of amount, place and type of corrosion in the reinforced concrete frame, value of the reduction resisting moment of elements is different. Furthermore, the outcomes of nonlinear analyses showed that the capacity of structure is reduced and its seismic performance level is changed as a result of corrosion.
doi:10.3311/ppci.12653 fatcat:lln3vtrdcfbutnxslh3iiy3cgq

Sequential Equivalence Checking for Clock-Gated Circuits

Hamid Savoj, Alan Mishchenko, Robert Brayton
2014 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The authors are with the Electrical Engineering and Computer Sciences Department, University of California at Berkeley, Berkeley, CA 94720 USA (e-mail: hamid@savojsolutions.com; alanmi@eecs.berkeley.edu  ... 
doi:10.1109/tcad.2013.2284190 fatcat:kcdckvp4jnbfdfrianpnpa7dgm

The effects of corrosion on seismic performance of reinforced concrete moment frames

Mohsen Ali Shayanfar, Hamid Reza Savoj, Mohammad Ghanooni-Bagha, Ali Khodam
2018 Journal of Structural and Construction Engineering  
In recent years, evaluation of deterioration and aging effects on seismic performance assessment of existing reinforced concrete structures has been paid much attention in earthquake and structural engineering community due to economical and safety issues. Corrosion of concrete reinforcement causes changing of nonlinear behaviour of reinforced concrete structures and ignoring these changes may lead to structural damage during the design life time of RC structures. Investigation of reinforcement
more » ... corrosion effects in concrete structures on nonlinear behaviour of reinforced concrete members is the main subject of this research. In this study, the structural behaviour of the moment-curvature curve was investigated under these corrosion effects. After occurring the corrosion, cross section of the reinforcement is gradually reduced and consequently load bearing capacity of the reinforced concrete members will be reduced significantly. Accordingly, the relationship between corrosion and moment-curvature curve of structural members will be discussed. A two-dimensional frame is considered to investigate the seismic behaviour of structural frame and members, under different scenarios of corrosion in comparison with the approach proposed by Instruction for Seismic Rehabilitation of Existing Buildings (No. 360). Based on these results, to take the corrosion effects into consideration, it is recommended to use a k factor associated to ultimate sectional capacity instead of ductility limit.
doi:10.22065/jsce.2017.86063.1183 doaj:290a09a59abb4034a16cb64f29f97e0c fatcat:jkby7hounfcubjptama3ixa654

The use of observability and external don't cares for the simplification of multi-level networks

Hamid Savoj, Robert K. Brayton
1990 Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90  
We give an algorithm for computing subsets of observability don't cares at the nodes of a multi-level Boolean netwodc. These subsets are based on an extension of the methods introduced in [4] for computing compatible sets of permissible functions (CSPFs) at the nodes of networks composed of NOR gates. The extensions presented are in four directions; an arbitrary logic function is allowed at any node, the don't cares are expressed in terms of both primary inputs and intermediate variables, a new
more » ... ordering scheme is used, and m a h " a CSPF's are computed. These ideas are incorporatedin an algorithm designed to take full advantage of the power of two-level minimization in multi-level logic synthesis systems. This has been implemented in MIS-II and we present results that demonstrate the effectiveness of these techniques.
doi:10.1145/123186.123280 dblp:conf/dac/SavojB90 fatcat:6lfuziahundx3hpjb6bb2z4ge4

A Heuristic-Driven and Cost Effective Majority/Minority Logic Synthesis for Post-CMOS Emerging Technologies

Vipul Kumar Mishra, Mayank Dixit, Tejalal Choudhary, Anurag Goswami, Manjit Kaur, Omar Cheikhrouhou, Habib Hamam
2021 IEEE Access  
[24] Ellen M Sentovich, Kanwar Jit Singh, Luciano Lavagno, Cho Moon, Rajeev Murgai, Alexander Sal- danha, Hamid Savoj, Paul R Stephan, Robert K Bray- ton, and Alberto Sangiovanni-Vincentelli.  ... 
doi:10.1109/access.2021.3079310 fatcat:lxky76gv25cx3ovy4mfk7glp6e

Boolean matching for full-custom ECL gates

R.N. Mayo, H. Touati
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)  
Acknowledgments We would like to thank Hamid Savoj for his help, as well as Jeremey Dion, Ramsey Haddad, and Louis Monier of Digital Equipment Corporation's Western Research Laboratory.  ... 
doi:10.1109/iccad.1993.580100 dblp:conf/iccad/MayoT93 fatcat:roqpfskmhjajnjqydib7osirmi

An improved synthesis algorithm for multiplexor-based PGAs

R. Murgai, R.K. Brayton, A. Sangiovanni-Vincentelli
[1992] Proceedings 29th ACM/IEEE Design Automation Conference  
Kevin Karplus (for pointing out that the original version of matching algorithm (described in Section 3.2.1) could miss a match) and William Lam and Hamid Savoj (for helpful discussions).  ... 
doi:10.1109/dac.1992.227774 fatcat:6rpx4utzvnbmnb7va7mkcd7a4q