The modal transmission-line (MTL) method is used to analyze the shielding effectiveness of buildings, which is an important parameter for the accurate planning of microcellular communication networks. For that, the buildings are modeled as multilayer lossy periodic structures. After a description of the extended MTL-theory, the newly developed MTL model is applied to brick walls, reinforced-con...

China has one of the largest coal mining industries in the world. Electricity in this country is mostly generated by coal-fired electric power plants. These plants produce huge amounts of ash each year. In 1988, Shanghai city alone produced nearly 1.8 million tons of ash. During the last two decades, a substantial amount of research work conducted by the Shanghai Research Institute of Building ...

This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offsets to address values in a block. We give the semantics of a C-like language within each of these memory models to illustrate their differences. The language we consider is a fragment of Leroy’s Clight, including arrays,...

Since it is a design criteria for road drainage and sewer systems, the infiltration performance of permeable concrete block pavement (CBP) is of important significance during the service life of a road construction. Due to the entrainment of mineral and organic fines into the pores of porous concrete blocks or into the aggregates used in joints or openings, the irreversible reduction of water p...

In this paper, we consider the recovery of block sparse signals, whose nonzero entries appear in blocks (or clusters) rather than spread arbitrarily throughout the signal, from incomplete linear measurement. A high order sufficient condition based on block RIP is obtained to guarantee the stable recovery of all block sparse signals in the presence of noise, and robust recovery when signals are ...

In this paper we introduce a model for studying meet-in-the-middle attacks on block ciphers, and a simple block cipher construction provably resistant to such attacks in this model. A sideresult of this is a proper formalization for an unproven alternative to DESX proposed by Kilian and Rogaway; this construction can now be shown to be sound in our model. Meet-in-the-middle attacks exploit weak...

For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of practical and efficient structured preconditioners through matrix transformation and matrix approximations. For the specific versions such as modified block Jacobi-type, modified block GaussSeidel-type, and modified block unsymmetric (symmetric) Gauss-Seidel-type preconditioners, we precisely de...

Corrosion of concrete reinforcement members has been recognized as a predominant structural deterioration mechanism for steel reinforced concrete structures. Many corrosion detection techniques have been developed for reinforced concrete structures, but a dependable one is more than desired. Acoustic emission technique and fiber optic sensing have emerged as new tools in the field of structural...

Side-scan sonar observations conducted at Mito artificial habitat site in the southwest coast off Taiwan, documented the locations of both concrete cubic blocks (more than 10,000 units) and scrapped steel boats (39 units) deployed previously. Based on their geographic locations, the concrete cubic artificial reefs could be grouped into 14 reef sets. About 30% of the reefs were deployed out of t...