Open Access. Powered by Scholars. Published by Universities.®
Science and Technology Studies Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Science and Technology Studies
Laboratory Study Of Small-Strain Behavior Of A Compacted Silty Sand, Ana Heitor, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Laboratory Study Of Small-Strain Behavior Of A Compacted Silty Sand, Ana Heitor, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Cholachat Rujikiatkamjorn
Small-strain behavior is a key indicator for assessing the performance of compacted fills. Compaction conditions, i.e., initial moisture content and applied energy, govern compaction effectiveness and thus, the structure and matric suction of compacted soil. This paper presents an experimental study of the small-strain behavior of compacted silty sand prepared with different compaction conditions. Specimens with varying initial moisture contents and compaction energies were tested with bender elements to determine the small-strain shear modulus (G0), while the post-compaction matric suction was measured using the filter paper method and tensiometer. The experimental data suggest a pronounced relationship between G0 and the …
Laboratory Study Of Small-Strain Behavior Of A Compacted Silty Sand, Ana Heitor, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Laboratory Study Of Small-Strain Behavior Of A Compacted Silty Sand, Ana Heitor, Buddhima Indraratna, Cholachat Rujikiatkamjorn
Buddhima Indraratna
Small-strain behavior is a key indicator for assessing the performance of compacted fills. Compaction conditions, i.e., initial moisture content and applied energy, govern compaction effectiveness and thus, the structure and matric suction of compacted soil. This paper presents an experimental study of the small-strain behavior of compacted silty sand prepared with different compaction conditions. Specimens with varying initial moisture contents and compaction energies were tested with bender elements to determine the small-strain shear modulus (G0), while the post-compaction matric suction was measured using the filter paper method and tensiometer. The experimental data suggest a pronounced relationship between G0 and the …
The Feasibility Study And Characterziation Of A Two-Dimensional Diode Array In “Magic Phantom” For High Dose Rate Brachytherapy Quality Assurance, A Espinoza, B Beeksma, M Petasecca, I Fuduli, C Porumb, D L. Cutajar, S Corde, M A. Jackson, M Lf Lerch, Anatoly B. Rosenfeld
The Feasibility Study And Characterziation Of A Two-Dimensional Diode Array In “Magic Phantom” For High Dose Rate Brachytherapy Quality Assurance, A Espinoza, B Beeksma, M Petasecca, I Fuduli, C Porumb, D L. Cutajar, S Corde, M A. Jackson, M Lf Lerch, Anatoly B. Rosenfeld
Stéphanie Corde
High dose rate (HDR) brachytherapy is a radiation treatment technique capable of delivering large dose rates to the tumor. Radiation is delivered using remote afterloaders to drive highly active sources (commonly 192Ir with an air KERMA strength range between 20 000 and 40 000 U, where 1 U = 1 uGy m2/h in air) through applicators directly into the patient's prescribed region of treatment. Due to the obvious ramifications of incorrect treatment while using such an active source, it is essential that there are methods for quality assurance (QA) that can directly and accurately verify the treatment plan and the …
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 …