-
Is it Truly Necessary for Bicycle Power Meters to Rapidly Sample Angular Velocity?
Authors:
Jack Renshaw
Abstract:
Bicycle Power Meters have become ubiquitous in professional and amateur cycling. These devices claim high levels of accuracy, and this accuracy is indeed essential if they are to serve their purpose as reliable training aids and indicators of improvements in fitness. Power is generally obtained via the independent estimation of torque and angular velocity. Designs vary in the way in which they est…
▽ More
Bicycle Power Meters have become ubiquitous in professional and amateur cycling. These devices claim high levels of accuracy, and this accuracy is indeed essential if they are to serve their purpose as reliable training aids and indicators of improvements in fitness. Power is generally obtained via the independent estimation of torque and angular velocity. Designs vary in the way in which they estimate angular velocity. Some power meters estimate angular velocity many times a second, whereas other power meters compute an average value for each pedal stroke. The aim of this paper is to investigate whether it is necessary to rapidly sample angular velocity in order to obtain accurate power values under conditions of dynamic equilibrium. Countering previous research on the topic, this paper finds that average angular velocity alone is usually sufficient for the purposes of computing power, although there may be certain exceptional circumstances where consideration of harmonics may appreciably improve fidelity.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
The multiplicative semigroup of a Dedekind domain
Authors:
James Renshaw,
William Warhurst
Abstract:
In 1995 Grillet defined the concept of a stratified semigroup and a stratified semigroup with zero. The present authors extended that idea to include semigroups with a more general base and proved, amongst other things, that finite semigroups in which the H-classes contain idempotents, are semilattices of stratified extensions of completely simple semigroups, and every strict stratified extension…
▽ More
In 1995 Grillet defined the concept of a stratified semigroup and a stratified semigroup with zero. The present authors extended that idea to include semigroups with a more general base and proved, amongst other things, that finite semigroups in which the H-classes contain idempotents, are semilattices of stratified extensions of completely simple semigroups, and every strict stratified extension of a Clifford semigroup is a semilattice of stratified extensions of groups. We continue this work here by considering the multiplicative semigroup of Dedekind domains and show in particular that quotients of such rings have a multiplicative structure that is a (finite) Boolean algebra of stratified extensions of groups.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Semilattices of Stratified Semigroups
Authors:
James Renshaw,
William Warhurst
Abstract:
In 1995 Grillet introduced the concept of a stratified semigroup as a kind of generalisation of finite nilsemigroups. We extend these ideas here by allowing a more general Base and describe them in terms of extensions of semigroups by stratified semigroups. We consider semillatices of certain types of group-bound semigroups and also semillatices of Clifford semigroups and show how to describe them…
▽ More
In 1995 Grillet introduced the concept of a stratified semigroup as a kind of generalisation of finite nilsemigroups. We extend these ideas here by allowing a more general Base and describe them in terms of extensions of semigroups by stratified semigroups. We consider semillatices of certain types of group-bound semigroups and also semillatices of Clifford semigroups and show how to describe them as semilattices of these stratified extensions and provide a number of interesting examples.
△ Less
Submitted 18 March, 2024; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Automated detection of corrosion in used nuclear fuel dry storage canisters using residual neural networks
Authors:
Theodore Papamarkou,
Hayley Guy,
Bryce Kroencke,
Jordan Miller,
Preston Robinette,
Daniel Schultz,
Jacob Hinkle,
Laura Pullum,
Catherine Schuman,
Jeremy Renshaw,
Stylianos Chatzidakis
Abstract:
Nondestructive evaluation methods play an important role in ensuring component integrity and safety in many industries. Operator fatigue can play a critical role in the reliability of such methods. This is important for inspecting high value assets or assets with a high consequence of failure, such as aerospace and nuclear components. Recent advances in convolution neural networks can support and…
▽ More
Nondestructive evaluation methods play an important role in ensuring component integrity and safety in many industries. Operator fatigue can play a critical role in the reliability of such methods. This is important for inspecting high value assets or assets with a high consequence of failure, such as aerospace and nuclear components. Recent advances in convolution neural networks can support and automate these inspection efforts. This paper proposes using residual neural networks (ResNets) for real-time detection of corrosion, including iron oxide discoloration, pitting and stress corrosion cracking, in dry storage stainless steel canisters housing used nuclear fuel. The proposed approach crops nuclear canister images into smaller tiles, trains a ResNet on these tiles, and classifies images as corroded or intact using the per-image count of tiles predicted as corroded by the ResNet. The results demonstrate that such a deep learning approach allows to detect the locus of corrosion via smaller tiles, and at the same time to infer with high accuracy whether an image comes from a corroded canister. Thereby, the proposed approach holds promise to automate and speed up nuclear fuel canister inspections, to minimize inspection costs, and to partially replace human-conducted onsite inspections, thus reducing radiation doses to personnel.
△ Less
Submitted 13 July, 2020; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Completely Regular Semigroups and the Discrete Log Problem
Authors:
James Renshaw
Abstract:
We consider an application to the discrete log problem using completely regular semigroups which may provide a more secure symmetric cryptosystem than the classic system based on groups. In particular we describe a scheme that would appear to offer protection to a standard trial multiplication attack.
We consider an application to the discrete log problem using completely regular semigroups which may provide a more secure symmetric cryptosystem than the classic system based on groups. In particular we describe a scheme that would appear to offer protection to a standard trial multiplication attack.
△ Less
Submitted 15 February, 2019; v1 submitted 31 January, 2018;
originally announced February 2018.
-
Actions of $E-$dense semigroups and an application to the discrete log problem
Authors:
James Renshaw
Abstract:
We describe the structure of $E-$dense acts over $E-$dense semigroups in an analogous way to that for inverse semigroup acts over inverse semigroups. This is based, to a large extent, on the work of Schein on representations of inverse semigroups by partial one-to-one maps. We consider an application to the discrete log problem in cryptography as well as an application to the same problem using co…
▽ More
We describe the structure of $E-$dense acts over $E-$dense semigroups in an analogous way to that for inverse semigroup acts over inverse semigroups. This is based, to a large extent, on the work of Schein on representations of inverse semigroups by partial one-to-one maps. We consider an application to the discrete log problem in cryptography as well as an application to the same problem using completely regular semigroups.
△ Less
Submitted 15 February, 2019; v1 submitted 20 December, 2017;
originally announced December 2017.
-
Tests of cosmic ray radiography for power industry applications
Authors:
J. M. Durham,
E. Guardincerri,
C. L. Morris,
J. Bacon,
J. Fabritius,
S. Fellows,
K. Plaud-Ramos,
D. Poulson,
J. Renshaw
Abstract:
In this report, we assess muon multiple scattering tomography as a non-destructive inspection technique in several typical areas of interest to the nuclear power industry, including monitoring concrete degradation, gate valve conditions, and pipe wall thickness. This work is motivated by the need for radiographic methods that do not require the licensing, training, and safety controls of x-rays, a…
▽ More
In this report, we assess muon multiple scattering tomography as a non-destructive inspection technique in several typical areas of interest to the nuclear power industry, including monitoring concrete degradation, gate valve conditions, and pipe wall thickness. This work is motivated by the need for radiographic methods that do not require the licensing, training, and safety controls of x-rays, and by the need to be able to penetrate considerable overburden to examine internal details of components that are otherwise inaccessible, with minimum impact on industrial operations. In some scenarios, we find that muon tomography may be an attractive alternative to more typical measurements.
△ Less
Submitted 25 March, 2015;
originally announced March 2015.
-
On free products and amalgams of pomonoids
Authors:
Bana Al Subaiei,
James Renshaw
Abstract:
The study of amalgamation in the category of partially ordered monoids was initiated by Fakhuruddin in the 1980s. In 1986 he proved that, in the category of commutative pomonoids, every absolutely flat commutative pomonoid is a weak amalgmation base and every commutative pogroup is a strong amalgamation base. Some twenty years later, Bulman-Fleming and Sohail in 2011 extended this work to what the…
▽ More
The study of amalgamation in the category of partially ordered monoids was initiated by Fakhuruddin in the 1980s. In 1986 he proved that, in the category of commutative pomonoids, every absolutely flat commutative pomonoid is a weak amalgmation base and every commutative pogroup is a strong amalgamation base. Some twenty years later, Bulman-Fleming and Sohail in 2011 extended this work to what they referred to as pomonoid amalgams. In particular they proved that pogroups are poamalgmation bases in the category of pomonoids. Sohail, also in 2011, proved that absolutely poflat commutative pomonoids are poamalgmation bases in the category of commutative pomonoids. In the present paper we extend the work on pomonoid amalgams by generalising the work of Renshaw on amalgams of monoids and extension properties of acts over monoids.
△ Less
Submitted 5 May, 2015; v1 submitted 19 December, 2013;
originally announced December 2013.
-
A short note on strongly flat covers of acts over monoids
Authors:
Alex Bailey,
James Renshaw
Abstract:
Recently two different concepts of covers of acts over monoids have been studied. That based on coessential epimorphisms and that based on Enochs' definition of a flat cover of a module over a ring. Two recent papers have suggested that in the former case, strongly flat covers are not unique. We show that these examples are in fact false and so the question of uniqueness appears to still remain op…
▽ More
Recently two different concepts of covers of acts over monoids have been studied. That based on coessential epimorphisms and that based on Enochs' definition of a flat cover of a module over a ring. Two recent papers have suggested that in the former case, strongly flat covers are not unique. We show that these examples are in fact false and so the question of uniqueness appears to still remain open. In the latter case, we re-present an example due to Kruml that demonstrates that, unlike the case for flat covers of modules, strongly flat covers of S-acts do not always exist.
△ Less
Submitted 2 October, 2013;
originally announced October 2013.
-
Weak Factorization Systems for S-acts
Authors:
Alex Bailey,
James Renshaw
Abstract:
The concept of a weak factorization system has been studied extensively in homotopy theory and has recently found an application in one of the proofs of the celebrated flat cover conjecture, categorical versions of which have been presented by a number of authors including Rosicky [15]. One of the main aims of this paper is to draw attention to this interesting concept and to initiate a study of t…
▽ More
The concept of a weak factorization system has been studied extensively in homotopy theory and has recently found an application in one of the proofs of the celebrated flat cover conjecture, categorical versions of which have been presented by a number of authors including Rosicky [15]. One of the main aims of this paper is to draw attention to this interesting concept and to initiate a study of these systems in relation to flatness of $S-$acts and related concepts.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Covers of acts over monoids II
Authors:
Alex bailey,
James Renshaw
Abstract:
In 1981 Edgar Enochs conjectured that every module has a flat cover and finally proved this in 2001. Since then a great deal of effort has been spent on studying different types of covers, for example injective and torsion free covers. In 2008, Mahmoudi and Renshaw initiated the study of flat covers of acts over monoids but their definition of cover was slightly different from that of Enochs. Rece…
▽ More
In 1981 Edgar Enochs conjectured that every module has a flat cover and finally proved this in 2001. Since then a great deal of effort has been spent on studying different types of covers, for example injective and torsion free covers. In 2008, Mahmoudi and Renshaw initiated the study of flat covers of acts over monoids but their definition of cover was slightly different from that of Enochs. Recently, Bailey and Renshaw produced some preliminary results on the `other' type of cover and it is this work that is extended in this paper. We consider free, divisible, torsion free and injective covers and demonstrate that in some cases the results are quite different from the module case.
△ Less
Submitted 13 July, 2012; v1 submitted 11 July, 2012;
originally announced July 2012.
-
Covers of acts over monoids and pure epimorphisms
Authors:
Alex Bailey,
James Renshaw
Abstract:
In 2001 Enoch's celebrated flat cover conjecture was finally proven and the proofs (two different proofs were presented in the same paper [4]) have since generated a great deal of interest among researchers. In particular the results have been recast in a number of other categories and in particular for additive categories (see for example [2], [3], [22] and [23]). In 2008, Mahmoudi and Renshaw co…
▽ More
In 2001 Enoch's celebrated flat cover conjecture was finally proven and the proofs (two different proofs were presented in the same paper [4]) have since generated a great deal of interest among researchers. In particular the results have been recast in a number of other categories and in particular for additive categories (see for example [2], [3], [22] and [23]). In 2008, Mahmoudi and Renshaw considered a similar problem for acts over monoids but used a slightly different definition of cover. They proved that in general their definition was not equivalent to Enoch's, except in the projective case, and left open a number of questions regarding the `other' definition. This `other' definition is the subject of the present paper and we attempt to emulate some of Enoch's work to the category of acts over monoids and concentrate in the main on strongly flat acts. We hope to extend this work to other classes of acts, such as injective, torsion free, divisible and free, in a future report.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.
-
Quasi-ideal transversals of abundant semigroups and spined products
Authors:
Jehan Al-Bar,
James Renshaw
Abstract:
We provide a new and much simpler structure for quasi-ideal adequate transversals of abundant semigroups in terms of spined products, which is similar in nature to that given by Saito for weakly multiplicative inverse transversals of regular semigroups. As a consequence we deduce a similar result for multiplicative transversals of abundant semigroups and also consider the case when the semigroups…
▽ More
We provide a new and much simpler structure for quasi-ideal adequate transversals of abundant semigroups in terms of spined products, which is similar in nature to that given by Saito for weakly multiplicative inverse transversals of regular semigroups. As a consequence we deduce a similar result for multiplicative transversals of abundant semigroups and also consider the case when the semigroups are in fact regular and provide some new structure theorems for inverse transversals.
△ Less
Submitted 22 March, 2010;
originally announced March 2010.
-
Adequate transversals of quasi-adequate semigroups
Authors:
Jehan Al-Bar,
James Renshaw
Abstract:
The concept of an adequate transversal of an abundant semigroup was introduced by El-Qallali in [8] whilst in [7], he and Fountain initiated the study of quasi-adequate semigroups as natural generalisations of orthodox semigroups. In this work we provide a structure theorem for adequate transversals of certain types of quasi-adequate semigroup and from this deduce Saito's classic result on the str…
▽ More
The concept of an adequate transversal of an abundant semigroup was introduced by El-Qallali in [8] whilst in [7], he and Fountain initiated the study of quasi-adequate semigroups as natural generalisations of orthodox semigroups. In this work we provide a structure theorem for adequate transversals of certain types of quasi-adequate semigroup and from this deduce Saito's classic result on the structure of inverse transversals of orthodox semigroups. We also apply it to left ample adequate transversals of left adequate semigroups and provide a structure for these based on semidirect products of adequate semigroups by left regular bands.
△ Less
Submitted 22 March, 2010;
originally announced March 2010.