in this paper, efforts are made to compare the safety of steel moment resistant frames designed according to different editions of the iranian code of practice for seismic resistant design of buildings. also, failure risk of a low and medium height frame which designed for high and low seismicity regions according to three editions of the code are evaluated. first, the testing cases were design...

In this paper, efforts are made to compare the safety of steel moment resistant frames designed according to different editions of the Iranian code of Practice for seismic resistant design of buildings. Also, failure risk of a low and medium height frame which designed for high and low seismicity regions according to three editions of the code are evaluated. First, the testing cases were design...

buildings with high degree of importance such as hospitals, police stations, fire stations and other vital facilities play a crucial role in crisis and risk management of cities. therefore, special attention should be paid to design and construction of these buildings in order to maintain their performance during and after the earthquake. important buildings in iran is designed according to the...

nuclear cross sections that determine core multiplication strongly depend on core temperature (e.g., the doppler, moderator density effects etc). on the other hand, since this heat is generated by the neutron flux in the reactor core, the temperature distribution in the core will depend heavily on its neutronic behavior. fuel centerline temperature could be the limiting constraint on reactor po...

We present a program logic, Lc, which modularly reasons about unstructured control flow in machine-language programs. Unlike previous program logics, the basic reasoning units in Lc are multipleentry and multiple-exit program fragments. Lc provides fine-grained composition rules to compose program fragments. It is not only useful for reasoning about unstructured control flow in machine language...

We extend the range of security policies that can be guaranteed with proof carrying code from the classical type safety, control safety, memory safety, and space/time guarantees to more general security policies, such as general resource and access control. We do so by means of (1) a specification logic for security policies, which is the pasttime fragment of LTL, and (2) a synthesis algorithm ...