title: A Parallel semantics for normal logic programs plus time

authors: Cleary, John G.

subjects: computer science

abstract: It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up interpreter that supports a wide range of parallel execution strategies and can extract significant potential parallelism from programs with complex dependencies.

text: A Parallel semantics for normal logic programs plus time It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment, all without departing from its pure logical semantics. This paper describes a fully incremental bottom-up interpreter that supports a wide range of parallel execution strategies and can extract significant potential parallelism from programs with complex dependencies.

year: 2013-11-11

title: Comparing hardness tests to estimate, evaluate, and analyse the mechanical properties of structural steel

authors: Gopi, Govind

abstract: The paper investigates the mechanical properties of structural steels, focusing on hardness and toughness, which are important indicators used in industrial applications. In total, four major hardness testing methods were analysed: Vickers, Rockwell, Brinell, and Leeb, and the Charpy impact test was used to measure toughness. The hardness tests evaluated the precision with which steel resistance to deformation can be determined under different conditions, and the Charpy test examined their energy absorption capacity in case of sudden fractures and tensile testing was estimated on them to study the range of yield strength and ultimate tensile strength. This research has conducted 288 experimental tests to evaluate the correlation between various hardness testing methods (Brinell, Vickers, Rockwell, and Leeb) and the mechanical properties of the structural steel samples. Further, 42 experimental tests were performed for the Charpy impact test to evaluate a correlation between Charpy impact values and mechanical properties of the structural steel samples. 330 samples were prepared for the respective tests, representing various structural steel grades (Grade 300, 350, and 400). Among different grades of steel samples, 350-grade steel exhibited a higher impact energy of 94.4 J. Both Charpy Impact Values and Hardness Test Values were plotted against ultimate tensile strength and yield strength to determine if there is a correlation between the properties. The results reveal a better accuracy of Vickers and Rockwell tests as they revealed only an error percentage of 2.5% and 1.9%, respectively, especially for fine-grained materials, while Leeb is characterized by good convenience in large-scale testing at the site. Although the Brinell test is very effective for coarse structures, it was not as precise as martensite in more complex microstructures. Both hardness and tensile strength showed a strong correlation, indicating that hardness may accurately predict the material strength. The study also highlights the reverse relationship between hardness and toughness.  This research contributes to structural steel testing by proposing methods to predict mechanical properties using non-destructive testing techniques. It sets the stage for future improvementsin hardness testing models by incorporating factors like microstructural variations, strain hardening, and heat treatment, which can enhance the accuracy of predictions. Furthermore, the research underscores the importance of portable hardness testing methods and emphasizes the need for improved calibration protocols to ensure more accurate in-situ measurements.

text: Comparing hardness tests to estimate, evaluate, and analyse the mechanical properties of structural steel The paper investigates the mechanical properties of structural steels, focusing on hardness and toughness, which are important indicators used in industrial applications. In total, four major hardness testing methods were analysed: Vickers, Rockwell, Brinell, and Leeb, and the Charpy impact test was used to measure toughness. The hardness tests evaluated the precision with which steel resistance to deformation can be determined under different conditions, and the Charpy test examined their energy absorption capacity in case of sudden fractures and tensile testing was estimated on them to study the range of yield strength and ultimate tensile strength. This research has conducted 288 experimental tests to evaluate the correlation between various hardness testing methods (Brinell, Vickers, Rockwell, and Leeb) and the mechanical properties of the structural steel samples. Further, 42 experimental tests were performed for the Charpy impact test to evaluate a correlation between Charpy impact values and mechanical properties of the structural steel samples. 330 samples were prepared for the respective tests, representing various structural steel grades (Grade 300, 350, and 400). Among different grades of steel samples, 350-grade steel exhibited a higher impact energy of 94.4 J. Both Charpy Impact Values and Hardness Test Values were plotted against ultimate tensile strength and yield strength to determine if there is a correlation between the properties. The results reveal a better accuracy of Vickers and Rockwell tests as they revealed only an error percentage of 2.5% and 1.9%, respectively, especially for fine-grained materials, while Leeb is characterized by good convenience in large-scale testing at the site. Although the Brinell test is very effective for coarse structures, it was not as precise as martensite in more complex microstructures. Both hardness and tensile strength showed a strong correlation, indicating that hardness may accurately predict the material strength. The study also highlights the reverse relationship between hardness and toughness.  This research contributes to structural steel testing by proposing methods to predict mechanical properties using non-destructive testing techniques. It sets the stage for future improvementsin hardness testing models by incorporating factors like microstructural variations, strain hardening, and heat treatment, which can enhance the accuracy of predictions. Furthermore, the research underscores the importance of portable hardness testing methods and emphasizes the need for improved calibration protocols to ensure more accurate in-situ measurements.

year: 2024-11-23

title: The Long Bay Restaurant site, R10/1374: Volume 1, the archaeology (HNZPTA authorities 2015/19 and 2016/81): Report to Heritage New Zealand Pouhere Taonga and Auckland Council

authors: Campbell, M

abstract: Auckland Council had proposed refurbishing the Long Bay Restaurant at Long Bay Regional Park (Lot 2 DP 54616), amounting to a near full rebuild of the structure apart from the in situ foundations. Council began the project in mid-2013 with the partial demolition of the existing structure and sawing of the concrete floor slab to install new utilities. Following the discovery of human remains beneath the floor slab on 2 July 2013, work was halted. The remains were inspected by the New Zealand Police who confirmed that they were pre-European kōiwi tangata. An assessment of the site was then undertaken by Beatrice Hudson of ArchOs Archaeology (Hudson 2013) and the find was recorded as site R10/1374 in the New Zealand Archaeological Association (NZAA) Site Recording Scheme (SRS) (this site number applies to any other archaeological features associated with the wider area). Auckland Council applied to the New Zealand Historic Places Trust (now Heritage New Zealand Pouhere Taonga, HNZPT) for an archaeological authority under section 18 of the Historic Places Act 1993 to undertake archaeological test excavations to investigate the nature, extent and condition of the site, and how it would be affected by the proposed development project. Authority 2014/506 was granted on 28 November 2013 and the investigation was carried out on the 20th and 21st of January 2014 (Campbell et al. 2014) (the 2014 excavation is summarised in Chapter 3).

Auckland Council then applied to HNZPT for an authority under section 44 of the Heritage New Zealand Pouhere Taonga Act 2014 to modify or destroy any further material found during the refurbishment project, including associated car parks and footpaths. Authority 2015/19 was granted on 7 August 2014 and works resumed. On 6 November 2014 further kōiwi were found within the project footprint and work once again ceased. 

Following extensive consultation with mana whenua and HNZPT, Auckland Council determined that the refurbishment would continue but it was agreed that the entire footprint of the development would be cleared archaeologically in order to provide assurance that no further kōiwi would remain within the project area. As the scope of the archaeological investigation had changed, a new archaeological authority, superseding authority 2015/19, was required and a full archaeological assessment of efects was also required in support of the authority application (Campbell and Hudson 2015). Authority 2016/81 was granted by HNZPT on 25 August 2015. This report fulfils the conditions of both authority 2015/19 and 2016/81.

Excavation began on 5 October 2015 with site clearance and removal of the concrete pad but not the ground beam foundations, while full excavation commenced on 12 October under the direction of Matthew Campbell (Excavation Director, CFG Heritage) and Beatrice Hudson (Osteologist, ArchOs Archaeology). Excavation continued until 3 November, by which stage kōiwi of a further 10 individuals had been found, bringing the total to 12. Following an onsite hui on 4 November between representatives of mana whenua, HNZPT, Auckland Council and the excavation team, the excavation was halted but mana whenua requested that the 3 possible burials that had been located but not excavated be lifted, and on 9 November the site was shut down. At a second on site hui on 9 December Auckland Council announced that they had resolved to cancel the restaurant project, but mana whenua expressed a desire that the 13 x 12 m excavation area opened up at the time be excavated to a sterile layer to lift all kōiwi. Excavation resumed on 18 January 2016 and continued until 4 March, when all kōiwi and archaeological deposits and features had been excavated.

text: The Long Bay Restaurant site, R10/1374: Volume 1, the archaeology (HNZPTA authorities 2015/19 and 2016/81): Report to Heritage New Zealand Pouhere Taonga and Auckland Council Auckland Council had proposed refurbishing the Long Bay Restaurant at Long Bay Regional Park (Lot 2 DP 54616), amounting to a near full rebuild of the structure apart from the in situ foundations. Council began the project in mid-2013 with the partial demolition of the existing structure and sawing of the concrete floor slab to install new utilities. Following the discovery of human remains beneath the floor slab on 2 July 2013, work was halted. The remains were inspected by the New Zealand Police who confirmed that they were pre-European kōiwi tangata. An assessment of the site was then undertaken by Beatrice Hudson of ArchOs Archaeology (Hudson 2013) and the find was recorded as site R10/1374 in the New Zealand Archaeological Association (NZAA) Site Recording Scheme (SRS) (this site number applies to any other archaeological features associated with the wider area). Auckland Council applied to the New Zealand Historic Places Trust (now Heritage New Zealand Pouhere Taonga, HNZPT) for an archaeological authority under section 18 of the Historic Places Act 1993 to undertake archaeological test excavations to investigate the nature, extent and condition of the site, and how it would be affected by the proposed development project. Authority 2014/506 was granted on 28 November 2013 and the investigation was carried out on the 20th and 21st of January 2014 (Campbell et al. 2014) (the 2014 excavation is summarised in Chapter 3).

Auckland Council then applied to HNZPT for an authority under section 44 of the Heritage New Zealand Pouhere Taonga Act 2014 to modify or destroy any further material found during the refurbishment project, including associated car parks and footpaths. Authority 2015/19 was granted on 7 August 2014 and works resumed. On 6 November 2014 further kōiwi were found within the project footprint and work once again ceased. 

Following extensive consultation with mana whenua and HNZPT, Auckland Council determined that the refurbishment would continue but it was agreed that the entire footprint of the development would be cleared archaeologically in order to provide assurance that no further kōiwi would remain within the project area. As the scope of the archaeological investigation had changed, a new archaeological authority, superseding authority 2015/19, was required and a full archaeological assessment of efects was also required in support of the authority application (Campbell and Hudson 2015). Authority 2016/81 was granted by HNZPT on 25 August 2015. This report fulfils the conditions of both authority 2015/19 and 2016/81.

Excavation began on 5 October 2015 with site clearance and removal of the concrete pad but not the ground beam foundations, while full excavation commenced on 12 October under the direction of Matthew Campbell (Excavation Director, CFG Heritage) and Beatrice Hudson (Osteologist, ArchOs Archaeology). Excavation continued until 3 November, by which stage kōiwi of a further 10 individuals had been found, bringing the total to 12. Following an onsite hui on 4 November between representatives of mana whenua, HNZPT, Auckland Council and the excavation team, the excavation was halted but mana whenua requested that the 3 possible burials that had been located but not excavated be lifted, and on 9 November the site was shut down. At a second on site hui on 9 December Auckland Council announced that they had resolved to cancel the restaurant project, but mana whenua expressed a desire that the 13 x 12 m excavation area opened up at the time be excavated to a sterile layer to lift all kōiwi. Excavation resumed on 18 January 2016 and continued until 4 March, when all kōiwi and archaeological deposits and features had been excavated.

year: 2019