Liveness Checking of the HotStuff Protocol Family

Byzantine consensus protocols aim at maintaining safety guarantees under any network synchrony model and at providing liveness in partially or fully synchronous networks. However, several Byzantine consensus protocols have been shown to violate liveness properties under certain scenarios. Existing testing methods for checking the liveness of...

Steel Slag Aggregate Characteristics Evaluation as Railway Ballast

The use of recycled materials is a new tendency in the field of railway engineering. Steel slag aggregates (SSA) are one of the recycled materials derived from the steel industry. The application of SSA in ballasted railway tracks requires mechanical examination. In the present paper, the shear behavior of the ballast layer constructed by SSA...

Bridge Load Testing: State-of-The-Practice

Bridge load testing can answer a variety of questions about bridge behavior that cannot be answered otherwise. The current governing codes and guidelines for bridge load testing in the United States are the 1998 NCHRP Manual for Bridge Rating through Load Testing and Chapter 8 of the AASHTO Manual for Bridge Evaluation. Over the last two...

Shear-slip behaviour of prefabricated composite shear stud connectors in composite bridges

This paper has investigated the shear-slip behaviour of an innovative prefabricated composite shear stud (PCSS) connector and its application in the prefabricated steel–concrete composite bridges. A series of push-out tests are carried out on a total of 12 specimens, including 6 PCSS specimens and 6 conventional shear stud (CSS) specimens....

Comparative analysis of nonparametric change-point detectors commonly used in hydrology

Several commonly-used nonparametric change-point detection methods are analysed in terms of power, ability and accuracy of the estimated change-point location. The analysis is performed with synthetic data for different sample sizes, two types of change and different magnitudes of change. The methods studied are the Pettitt method, a method...

Self-healing evolution of oxidized surface of AL4SIC4 and its effect on mechanical properties

Abstract only.

Characteristics of the Friction Between Aluminium and Steel at Elevated Temperatures During Ball-on-Disc Tests

Appropriate specification of the frictional boundary condition for the finite-element (FE) simulation of metal-forming processes is of great importance to the trustworthiness of the results. The research reported in this communication aimed at understanding the interfacial contact between aluminium and steel at elevated temperatures and...