Open Access. Powered by Scholars. Published by Universities.®
Science and Technology Studies Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 5 of 5
Full-Text Articles in Science and Technology Studies
Conceptual Model Describing Smear Zone Caused By Mandrel Action, Cholachat Rujikiatkamjorn, Made Ardana, Buddhima Indraratna, S Leroueil
Conceptual Model Describing Smear Zone Caused By Mandrel Action, Cholachat Rujikiatkamjorn, Made Ardana, Buddhima Indraratna, S Leroueil
Cholachat Rujikiatkamjorn
In this study the characteristics and extent of the smear zone are investigated using a large, undisturbed sample. The aim of using such a sample is to capture the realistic characteristics of the smear zone in relation to the in situ soil structure during the installation of prefabricated vertical drains (PVDs) using a mandrel. The extent of the smear zone for Bulli clay (New South Wales, Australia) is determined on the basis of normalised permeability (k(h)/k(hu)) and the reduction in the water content upon consolidation. The permeability and compressibility of the soil are investigated to determine the extent to which …
Conceptual Model Describing Smear Zone Caused By Mandrel Action, Cholachat Rujikiatkamjorn, Made Ardana, Buddhima Indraratna, S Leroueil
Conceptual Model Describing Smear Zone Caused By Mandrel Action, Cholachat Rujikiatkamjorn, Made Ardana, Buddhima Indraratna, S Leroueil
Buddhima Indraratna
In this study the characteristics and extent of the smear zone are investigated using a large, undisturbed sample. The aim of using such a sample is to capture the realistic characteristics of the smear zone in relation to the in situ soil structure during the installation of prefabricated vertical drains (PVDs) using a mandrel. The extent of the smear zone for Bulli clay (New South Wales, Australia) is determined on the basis of normalised permeability (k(h)/k(hu)) and the reduction in the water content upon consolidation. The permeability and compressibility of the soil are investigated to determine the extent to which …
Radial Consolidation Model Incorporating The Effects Of Vacuum Preloading And Non-Darcian Flow, Kourosh Kianfar, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Radial Consolidation Model Incorporating The Effects Of Vacuum Preloading And Non-Darcian Flow, Kourosh Kianfar, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Buddhima Indraratna
A modified 150 mm Rowe cell equipped with pore water pressure measurement was used to capture the flow relationship during vacuum-assisted radial consolidation. Based on the measured data, a radial consolidation model incorporating the effects of vacuum preloading is proposed, based on a non-linear relationship between the flow velocity and hydraulic gradient. The predictions of the proposed consolidation model are then compared with the predictions based on Hansbo’s Darcian and non- Darcian models. The agreement between the proposed model and the measured data is shown, and the advantages of the proposed model compared with the existing models are discussed. An …
Leakage Resilient Authenticated Key Exchange Secure In The Auxiliary Input Model, Guomin Yang, Yi Mu, Willy Susilo, Duncan S. Wong
Leakage Resilient Authenticated Key Exchange Secure In The Auxiliary Input Model, Guomin Yang, Yi Mu, Willy Susilo, Duncan S. Wong
Professor Willy Susilo
Authenticated key exchange (AKE) protocols allow two parties communicating over an insecure network to establish a common secret key. They are among the most widely used cryptographic protocols in practice. In order to resist key-leakage attacks, several leakage resilient AKE protocols have been proposed recently in the bounded leakage model. In this paper, we initiate the study on leakage resilient AKE in the auxiliary input model. A promising way to construct such a protocol is to use a digital signature scheme that is entropically-unforgeable under chosen message and auxiliary input attacks. However, to date we are not aware of any …
Similarity-Based Search For Model Checking: A Pilot Study With Java Pathfinder, Elmin Ibrahimov, Jixing Wang, Zhiquan Zhou
Similarity-Based Search For Model Checking: A Pilot Study With Java Pathfinder, Elmin Ibrahimov, Jixing Wang, Zhiquan Zhou
Dr Zhiquan Zhou
When a model checker cannot explore the entire state space because of limited resources, model checking becomes a kind of testing with an attempt to find a failure (violation of properties) quickly. We consider two state sequences in model checking: (i) the sequence in which new states are generated, and (ii) the sequence in which the states generated in sequence (i) are checked for property violation. We observe that neighboring states in sequence (i) often have similarities in certain ways. Based on this observation we propose a search strategy, which generates sequence (ii) in such a way that similar states …