Science and Technology Studies Commons^™

Natural Sd-Rcca Secure Public-Key Encryptions From Hybrid Paradigms, Yuan Chen, Qingkuan Dong, Yannan Li, Qiqi Lai, Zhedong Wang

Faculty of Engineering and Information Sciences - Papers: Part B

The existence of natural public-key encryption (PKE) schemes satisfying secretly detectable replayable CCA (sd-RCCA) security is left as open. By introducing probabilistic message authentication codes (MACs) into popular KEM plus DEM paradigms, several instances of such schemes are presented in this paper. It is known that the encrypt-then-authenticate paradigm gives an RCCA secure DEM when the underlying MAC is regular (but not strong) secure, where forgeries for old messages might be possible. By further requiring that the validity of such forgeries can be verified only secretly, sd-RCCA secure DEMs is obtained. Combining such DEMs with CCA secure KEMs gives sd-RCCA …

Boundaries, Spectral Triples And K-Homology, Iain G. Forsyth, Magnus Goffeng, Bram Mesland, Adam C. Rennie

Faculty of Engineering and Information Sciences - Papers: Part B

This paper extends the notion of a spectral triple to a relative spectral triple, an unbounded analogue of a relative Fredholm module for an ideal J◃A. Examples include manifolds with boundary, manifolds with conical singularities, dimension drop algebras, θ-deformations and Cuntz–Pimsner algebras of vector bundles.

The bounded transform of a relative spectral triple is a relative Fredholm module, making the image of a relative spectral triple under the boundary mapping in K-homology easy to compute. We introduce an additional operator called a Clifford normal with which a relative spectral triple can be doubled into a spectral triple.

The Clifford normal …

Gwas Hints At Pleiotropic Roles For Flowering Locus T In Flowering Time And Yield-Related Traits In Canola, Harsh Raman, Rosy Raman, Yu Qiu, Avilash Yadav, Sridevi Sureshkumar, Lauren Borg, Maheswaran Rohan, David Wheeler, Oliver Owen, Ian Menz, Sureshkumar Balasubramanian

Faculty of Engineering and Information Sciences - Papers: Part B

Background: Transition to flowering at the right time is critical for local adaptation and to maximize grain yield in crops. Canola is an important oilseed crop with extensive variation in flowering time among varieties. However, our understanding of underlying genes and their role in canola productivity is limited.

Results: We report our analyses of a diverse GWAS panel (300-368 accessions) of canola and identify SNPs that are significantly associated with variation in flowering time and response to photoperiod across multiple locations. We show that several of these associations map in the vicinity of FLOWERING LOCUS T (FT) paralogs …

Toward High-Performance Hybrid Zn-Based Batteries Via Deeply Understanding Their Mechanism And Using Electrolyte Additive, Junnan Hao, Jun Long, Bo Li, Xiaolong Li, Shilin Zhang, Fuhua Yang, Xiaohui Zeng, Zhanhong Yang, Wei Kong Pang, Zaiping Guo

Faculty of Engineering and Information Sciences - Papers: Part B

Aqueous hybrid Zn-based batteries (ZIBs), as a highly promising alternative to lithium-ion batteries for grid application, have made considerable progress recently. However, few studies have been reported that investigate their working mechanism in detail. Here, the operando synchrotron X-ray diffraction is employed to thoroughly investigate the operational mechanism of a hybrid LiFePO₄(LFP)/Zn battery, which indicates only Li⁺ extraction/insertion from/into cathode during cycling. Based on this system, a cheap electrolyte additive, sodium dodecyl benzene sulfonate, is proposed to effectively enhance its electrochemical properties. The influence of the additive on the Zn anode and LFP cathode is comprehensively studied, …

Development And Evaluation Of A Comfort-Oriented Control Strategy For Thermal Management Of Mixed-Mode Ventilated Buildings, Massimo Fiorentini, Gianluca Serale, Georgios Kokogiannakis, Alfonso Capozzoli, Paul Cooper

Faculty of Engineering and Information Sciences - Papers: Part B

The paper presents the development, implementation and performance investigation via simulations and experiments of a comfort-oriented control strategy for natural ventilation and mechanical air conditioning management of a mixed-mode building. The proposed comfort-oriented control strategy determines whether it would be possible to operate in natural ventilation mode or in mechanical heating/cooling. The control algorithm calculates first the optimal opening percentage of the windows according to adaptive thermal comfort criteria. If natural ventilation cannot guarantee the thermal comfort requirements and mechanical conditioning is required, the algorithm dynamically optimises the heating or cooling set-point targeting a defined Predicted Mean Vote (PMV) index …

Effect Of Cumulative Reduction On The Microstructure And Properties Of The Nm400/Q345r Composite Plate, Pengtao Liu, Lifeng Ma, Weitao Jia, Zhengyi Jiang, Tao Wang, Guanghui Zhao

Faculty of Engineering and Information Sciences - Papers: Part B

Interfaces and mechanical properties of the NM400/Q345 composite plates fabricated under different reduction ratios were investigated. An increasing in the cumulative reduction ratio enhanced the bonding interface of the NM400/Q345 composite plate by reducing the number of combinations with interfacial defects such as pores. The oxidation film at the interface was crushed and diffused after three passes of rolling (cumulative reduction ratio = 70%). The strength of the composite also increased with the increasing of cumulative reduction ratio. At the maximum cumulative reduction ratio (70%), the inter-diffusion of the matrix and composite metal was enhanced, and the microstructure became considerably …

Solidification Cracking Susceptibility Of Ferritic Stainless Steels Using Modified Varestraint Transvarestraint (Mvt) Method, D Konadu, Pieter Georg Hendrik Pistorius, Madeleine Du Toit, Axel Griesche

Faculty of Engineering and Information Sciences - Papers: Part B

The Modified Varestraint Transvarestraint (MVT) test was used to investigate the solidification cracking susceptibility of an unstabilised, a Nb-stabilised and two (Ti + Nb) dual-stabilised ferritic stainless steels. Two different welding speeds of 6 and 3 mm/s using autogenous gas tungsten arc welding were employed. At the welding speed of 6 mm/s, the high-content (Ti + Nb) steel was resistant and the Nb-stabilised steel was marginally susceptible to solidification cracking. At the welding speed of 3 mm/s, the Nb and the high (Ti + Nb) steels were found to be marginally susceptible to solidification cracking while the unstabilised and low-content …

Effect Of Austenisation Temperature On Bainite Transformation Below Martensite Starting Temperature, Junyu Tian, Guang Xu, Zhengyi Jiang, Qing Yuan, Guanghui Chen, Haijiang Hu

Faculty of Engineering and Information Sciences - Papers: Part B

Effects of austenisation temperature on martensite and bainite transformation behaviour, microstructure, and mechanical properties of a bainitic steel austempered below martensite starting temperature were investigated in this study. Results show that the amount of athermal martensite gradually increased with the increase of austenisation temperature, whereas the amounts of bainite and retained austenite initially increased and then decreased, resulting in the trend of the first increase and then decrease in the product of tensile strength and elongation. In addition, the transformation rate of isothermal bainite after athermal martensite formation revealed a trend of deceleration and then acceleration with austenisation temperature at …

Analysis Of A Main Cabin Ventilation System In A Jack-Up Offshore Platform Part I: Numerical Modelling, Yingchun Xie, Zepeng Zheng, Huibin Wang, Zhen Xu, Guijie Liu, Reza Malekian, Zhixiong Li

Faculty of Engineering and Information Sciences - Papers: Part B

This work aims to measure the thermodynamics of a main cabin ventilation system in a JU-2000E jack-up offshore platform. A three-dimensional (3D) physical model of the ventilation system was established, and the computational fluid dynamics (CFD) software (ANSYS FLUENT) was used to calculate the model thermodynamics. Numerical analysis was performed to investigate the influence mechanisms of the ventilation factors such as ventilation temperature and volume on the ventilation performance. The analysis results demonstrate that (1) top-setting of the exhaust vents is more effective than the side-setting in terms of high temperature reduction, (2) small ventilation temperature and volume can improve …

Unusual Competitive And Synergistic Effects Of Graphite Nanoplates In Engine Oil On The Tribofilm Formation, The Sang Pham, Shanhong Wan, Anh Kiet Tieu, Ming Ma, Hongtao Zhu, Hong Huynh Nguyen, David R. G Mitchell, Mitchell John Bromley Nancarrow

Faculty of Engineering and Information Sciences - Papers: Part B

To exploit the improved efficiency from formulated oil modified with graphite nanoplates (GNP), it is important to understand how GNP behave alongside conventional additives such as zinc dialkyl dithiophosphates (ZDDP). The results in this work demonstrate unusual tribological responses of engine oil due to GNP additions, which cannot be explained by the traditionally low shearing mechanism between graphene layers in GNP. A competitive and synergistic effect of GNP on tribofilm formation is proposed for this unusual friction and wear behavior. The presence of GNP modifies the tribofilm formation and spontaneously creates alternate hard and soft regions from the microscopic view …

Comprehensive Analysis Of The Effect Of Ausforming On The Martensite Start Temperature In A Fe-C-Mn-Si Medium-Carbon High-Strength Bainite Steel, Junyu Tian, Guanghui Chen, Yaowen Xu, Zhengyi Jiang, Guang Xu

Faculty of Engineering and Information Sciences - Papers: Part B

The comprehensive effect of strain and ausforming temperature on the martensite start temperature (M_S) of a medium-carbon bainite steel was investigated by thermal simulation, optical microscope, scanning electron microscope, etc. It is already known that small strain increases the M_S, while larger strain decreases the M_S. However, the effect of ausforming temperature on the MS has not been reported and clarified. In this study, the concepts of critical strain (ε_c) and saturated strain (ε_s) are proposed. The M_S at the critical strain is equal to the M_S of …

Sheathless Separation Of Microalgae From Bacteria Using A Simple Straight Channel Based On Viscoelastic Microfluidics, Dan Yuan, Qianbin Zhao, Sheng Yan, Shiyang Tang, Yuxin Zhang, Guolin Yun, Nam-Trung Nguyen, Jun Zhang, Ming Li, Weihua Li

Faculty of Engineering and Information Sciences - Papers: Part B

Microalgae cells have been recognized as a promising sustainable resource to meet worldwide growing demands for renewable energy, food, livestock feed, water, cosmetics, pharmaceuticals, and materials. In order to ensure high-efficiency and high-quality production of biomass, biofuel, or bio-based products, purification procedures prior to the storage and cultivation of the microalgae from contaminated bacteria are of great importance. The present work proposed and developed a simple, sheathless, and efficient method to separate microalgae Chlorella from bacteria Bacillus Subtilis in a straight channel using the viscoelasticity of the medium. Microalgae and bacteria migrate to different lateral positions closer to the channel …

Solving Scheduling Problem In A Distributed Manufacturing System Using A Discrete Fruit Fly Optimization Algorithm, Xiaohui Zhang, Xinhua Liu, Shufeng Tang, Grzegorz Krolczyk, Zhixiong Li

Faculty of Engineering and Information Sciences - Papers: Part B

This study attempts to optimize the scheduling decision to save production cost (e.g., energy consumption) in a distributed manufacturing environment that comprises multiple distributed factories and where each factory has one flow shop with blocking constraints. A new scheduling optimization model is developed based on a discrete fruit fly optimization algorithm (DFOA). In this new evolutionary optimization method, three heuristic methods were proposed to initialize the DFOA model with good quality and diversity. In the smell‐based search phase of DFOA, four neighborhood structures according to factory reassignment and job sequencing adjustment were designed to help explore a larger solution space. …

Metamorphic Exploration Of An Unsupervised Clustering Program, Sen Yang, Dave Towey, Zhi Q. Zhou

Faculty of Engineering and Information Sciences - Papers: Part B

Machine learning has been becoming increasingly popular and widely-used in various industry domains. The presence of the oracle problem, however, makes it difficult to ensure the quality of this kind of software. Furthermore, the popularity of machine learning and its application has attracted many users who are not experts in this field. In this paper, we report on using a recently introduced method called metamorphic exploration where we proposed a set of hypothesized metamorphic relations for an unsupervised clustering program, Weka, to enhance understanding of the system and its better use.

The Impact Of A Dot: Case Studies Of A Noise Metamorphic Relation Pattern, Chaohua Wu, Liqun Sun, Zhi Q. Zhou

Faculty of Engineering and Information Sciences - Papers: Part B

We propose a 'noise' metamorphic relation pattern (MRP), which is a sub-pattern under the more general MRP 'symmetry.' We conduct case studies with real-life systems in three different application domains (obstacle perception in autonomous systems, machine translation, and named entity recognition) to show the usefulness of the 'noise' MRP for software verification and validation.

Radial Consolidation Analysis Using Delayed Consolidation Approach, Pankaj Baral, Cholachat Rujikiatkamjorn, Buddhima Indraratna, Serge Leroueil, Jian-Hua Yin

Faculty of Engineering and Information Sciences - Papers: Part B

No abstract provided.

Fiber Element Simulation Of Interaction Behavior Of Local And Global Buckling In Axially Loaded Rectangular Concrete-Filled Steel Tubular Slender Columns Under Fire Exposure, Ghanim Mohammed Kamil, Qing Quan Liang, Muhammad N. S Hadi

Faculty of Engineering and Information Sciences - Papers: Part B

Slender rectangular thin-walled concrete-filled steel tubular (CFST) columns in composite building structures exposed to fire may experience the interaction of local and global buckling. Numerical investigations on the interaction buckling responses of such columns under fire exposure have been rarely reported. This paper describes a fiber-based computational model for the prediction of the fire-resistance and interaction responses of local and global buckling of concentrically-loaded slender CFST columns made of rectangular sections exposed to fire. The thermal analysis is undertaken to calculate the distribution of temperatures in the column cross-section considering the effects of the air gap between concrete and steel, …

A Multi-Center Prospective Study For Implementation Of An Mri-Only Prostate Treatment Planning Workflow, Peter B. Greer, Jarad Martin, Mark Sidhom, Perry Hunter, Peter Pichler, Jae Choi, Leah Best, Joanne Smart, Tony Young, Michael G. Jameson, Tess Afinidad, Chris Wratten, James W. Denham, Lois C. Holloway, Swetha Sridharan, Robba Rai, Gary P. Liney, Parnesh Raniga, Jason A. Dowling

Faculty of Engineering and Information Sciences - Papers: Part B

Purpose: This project investigates the feasibility of implementation of MRI-only prostate planning in a prospective multi-center study. Method and Materials: A two-phase implementation model was utilized where centers performed retrospective analysis of MRI-only plans for five patients followed by prospective MRI-only planning for subsequent patients. Feasibility was assessed if at least 23/25 patients recruited to phase 2 received MRI-only treatment workflow. Whole-pelvic MRI scans (T2 weighted, isotropic 1.6 mm voxel 3D sequence) were converted to pseudo-CT using an established atlas-based method. Dose plans were generated using MRI contoured anatomy with pseudo-CT for dose calculation. A conventional CT scan was acquired …

Comparative Study Of Alternative Geant4 Hadronic Ion Inelastic Physics Models For Prediction Of Positron-Emitting Radionuclide Production In Carbon And Oxygen Ion Therapy, Andrew Chacon, Susanna Guatelli, Harley Rutherford, David Bolst, Akram Mohammadi, Abdella Ahmed, Munetaka Nitta, Fumihiko Nishikido, Yuma Iwao, Hideaki Tashima, Eiji Yoshida, Go Akamatsu, Sodai Takyu, Atsushi Kitagawa, Theresa Hofmann, Marco Pinto, Daniel R. Franklin, Katia Parodi, Taiga Yamaya, Anatoly B. Rosenfeld, Mitra Safavi-Naeini

Faculty of Engineering and Information Sciences - Papers: Part B

The distribution of fragmentation products predicted by Monte Carlo simulations of heavy ion therapy depend on the hadronic physics model chosen in the simulation. This work aims to evaluate three alternative hadronic inelastic fragmentation physics options available in the Geant4 Monte Carlo radiation physics simulation framework to determine which model most accurately predicts the production of positron-emitting fragmentation products observable using in-beam PET imaging. Fragment distributions obtained with the BIC, QMD, and INCL + + physics models in Geant4 version 10.2.p03 are compared to experimental data obtained at the HIMAC heavy-ion treatment facility at NIRS in Chiba, Japan. For both …

Anatomical Deformation Due To Horizontal Rotation: Towards Gantry-Free Radiation Therapy, Jarryd Buckley, Robba Rai, Gary P. Liney, Jason A. Dowling, Lois C. Holloway, Peter E. Metcalfe, Paul J. Keall

Faculty of Engineering and Information Sciences - Papers: Part B

Gantry-free radiation therapy systems may be simpler and more cost effective, particularly for MRI-guided photon or hadron therapy. This study aims to understand and quantify anatomical deformations caused by horizontal rotation with scan sequences sufficiently short to facilitate integration into an MRI-guided workflow. Rigid and non-rigid pelvic deformations due to horizontal rotation were quantified for a cohort of 8 healthy volunteers using a bespoke patient rotation system and a clinical MRI scanner. For each volunteer a reference scan was acquired at 0° followed by sequential faster scans in 45° increments through to 360°. All fast scans were registered to the …