-
Analysis of a kink pair model applied to a peierls mechanism in basal and prism plane slips in sapphire deformed between 200C and 1800C
Authors:
Miguel Castillo Rodríguez,
Jacques Castaing,
Antonio Muñoz Bernabé,
Patrick Veyssière,
Arturo Domínguez Rodríguez
Abstract:
A model based on dislocation glide controlled by the nucleation and propagation of kink pairs in a high Peierls stress crystal is revisited and modified to account for changes in dislocation densities and segment lengths with temperature and stress. It is applied to the critical resolved shear stress (CRSS) for basal and prism plane slip in sapphire (alpha-Al2O3). According to agreed-upon knowledg…
▽ More
A model based on dislocation glide controlled by the nucleation and propagation of kink pairs in a high Peierls stress crystal is revisited and modified to account for changes in dislocation densities and segment lengths with temperature and stress. It is applied to the critical resolved shear stress (CRSS) for basal and prism plane slip in sapphire (alpha-Al2O3). According to agreed-upon knowledge on dislocations in sapphire, basal slip and prism plane slip are modelled with undissociated and dissociated dislocations, respectively. In the latter case, partial dislocations move independently. Amongst a number of sets of fitting parameters, good fits between experimental and modelled CRSS9s are obtained in the long segment limit over the whole range of temperatures by making use of physically sound parameters, including a stress dependence of the dislocation density.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
$α$-Al$_2$O$_3$ sapphire and rubies deformed by dual basal slip at intermediate temperatures (900C-1300$^\circ$C) -- II. dissociation and stacking faults
Authors:
M. Castillo Rodríguez,
J. Castaing,
A. Muñoz,
P. Veyssière,
A. Domínguez Rodríguez
Abstract:
Sapphire and rubies (undoped and Cr-doped $α$-Al$_2$O$_3$ single crystals) have been deformed in compression at temperatures lower than those previously used in studies of dislocations in the basal slip plane (see part I). Above 1400$^\circ$C, several features associating stacking faults out of the basal planes and partial dislocations (dissociation, faulted dipoles) have been observed in previous…
▽ More
Sapphire and rubies (undoped and Cr-doped $α$-Al$_2$O$_3$ single crystals) have been deformed in compression at temperatures lower than those previously used in studies of dislocations in the basal slip plane (see part I). Above 1400$^\circ$C, several features associating stacking faults out of the basal planes and partial dislocations (dissociation, faulted dipoles) have been observed in previous transmission electron microscope investigations. The formation of these features involves climb controlled by atomic diffusion. Properties of climb dissociated dislocations are discussed in relation with dislocation dynamics. TEM examination of dislocation structures at lower deformation temperatures (1000-1100$^\circ$C) shows that similar features are formed but that they often imply cross-slip. A new mechanism for the formation of faulted dipole by glide is presented and an explanation for the 30° Peierls valley orientation is proposed. The presence of chromium has a small influence on stacking fault energies on planes perpendicular to the basal plane.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Microstructure and high temperature mechanical properties of liquid-phase-sintered $α$-SiC with Y$_2$O$_3$-Al$_2$O$_3$ additions
Authors:
Miguel Castillo Rodríguez,
Antonio Muñoz Bernabé,
Arturo Domínguez Rodríguez
Abstract:
Samples of $α$-SiC have been sintered with liquid phase (LPS) to 1950 $^\circ$C, in atmosphere of argon and processing times between 1 and 7 hours. Using scanning electron microscopy (SEM) the microstructure of the samples has been characterized, being obtained average grain size that grows with the processing time from 0.64 to 1.61 $μ$m. These samples have been deformed in compression under const…
▽ More
Samples of $α$-SiC have been sintered with liquid phase (LPS) to 1950 $^\circ$C, in atmosphere of argon and processing times between 1 and 7 hours. Using scanning electron microscopy (SEM) the microstructure of the samples has been characterized, being obtained average grain size that grows with the processing time from 0.64 to 1.61 $μ$m. These samples have been deformed in compression under constant load, to temperatures between 1450 and 1625 C, stresses between 25 and 450 MPa and strain rate between $4.2\times 10^{-8}$ and $1.5\times 10^{-6}$ s$^{-1}$. The creep parameters have been determined, obtaining for n values between 2.4 0.1 and 4.5 0.2 and Q=680 35 kJ.mol$^{-1}$ in samples sintered during 1 hour and n between 1.2 0.1 and 2.4 0.1 and Q=710 90 kJ.mol$^{-1}$ for samples sintered during 7 hours. These results have been correlated with the microstructure, being the grain boundary sliding (GBS) accommodated by lattice diffusion and the movement of dislocations the possible deformation mechanisms, operating both in a simultaneous way.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Chromium hardening and Peierls mechanism for basal slip in sapphire at temperatures between 900 and 1500 $^\circ$C
Authors:
Miguel Castillo Rodríguez,
Antonio Muñoz Bernabé,
Jacques Castaing,
Patrick Veyssière,
Arturo Domínguez Rodríguez
Abstract:
The plastic deformation of Cr3+ -doped a-Al2 O3 (ruby) with four distinct Cr concentrations has been studied at temperatures between 900 and 1500 $^\circ$C. The mechanical tests indicate that the processes of dislocation multiplication and the adjustments of the slip velocity of these dislocations to the imposed strain rate in undoped a-Al2 O3 are not significantly affected by the Cr concentra%on.…
▽ More
The plastic deformation of Cr3+ -doped a-Al2 O3 (ruby) with four distinct Cr concentrations has been studied at temperatures between 900 and 1500 $^\circ$C. The mechanical tests indicate that the processes of dislocation multiplication and the adjustments of the slip velocity of these dislocations to the imposed strain rate in undoped a-Al2 O3 are not significantly affected by the Cr concentra%on. The yield stress increment is approximately constant with temperature and the hardening increases with the Cr concentration. The critical resolved shear stress (CRSS) is fixed to a model based on dislocation glide controlled by the nucleation and propagation of kink pairs, modified to include the hardening due to Cr. Satisfactory fits are achieved with adjustable parameters close to those employed for undoped a-Al2 O3 .
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Effect of atmosphere and sintering time on the microstructure and mechanical properties at high temperatures of $α$-SiC sintered with liquid phase Y$_2$O$_3$ and Al$_2$O$_3$
Authors:
Miguel Castillo Rodriguez,
Antonio Munoz Bernabe,
Arturo Dominguez Rodriguez
Abstract:
The influence that the atmosphere (N_2 or Ar) and sintering time have on microstructure evolution in liquid-phase-sintered alpha-sic and on its mechanical properties at high temperature was investigated. The microstructure of the samples sintered in N2 was equiaxed with a grain size of 0.70 μm and a density of 98% of the theoretical value regardless of the sintering time. In contrast, samples sint…
▽ More
The influence that the atmosphere (N_2 or Ar) and sintering time have on microstructure evolution in liquid-phase-sintered alpha-sic and on its mechanical properties at high temperature was investigated. The microstructure of the samples sintered in N2 was equiaxed with a grain size of 0.70 μm and a density of 98% of the theoretical value regardless of the sintering time. In contrast, samples sintered in Ar had an elongated-grain microstructure with a density decreasing from 99% to 95% and a grain size increasing from 0.64 to 1.61 μm as the sintering time increased from 1 to 7 hours. The mechanical behaviour at 1450 °C showed the samples sintered in nitrogen to be brittle and fail at very low strains, with a fracture stress increasing from 400 to 800 MPa as the sintering time increased. In contrast, the samples sintered in Ar were quasi-ductile with increasing strain to failure as the sintering time increased, and a fracture stress strongly linked to the form and size of the grains. These differences in the mechanical properties of the two materials are discussed in the text. During mechanical tests, a loss of intergranular phase takes place in a region, between 50 and 150 μm thick, close to the surface of the samples--the effect being more important in the samples sintered in Ar
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Prompts Matter: Insights and Strategies for Prompt Engineering in Automated Software Traceability
Authors:
Alberto D. Rodriguez,
Katherine R. Dearstyne,
Jane Cleland-Huang
Abstract:
Large Language Models (LLMs) have the potential to revolutionize automated traceability by overcoming the challenges faced by previous methods and introducing new possibilities. However, the optimal utilization of LLMs for automated traceability remains unclear. This paper explores the process of prompt engineering to extract link predictions from an LLM. We provide detailed insights into our appr…
▽ More
Large Language Models (LLMs) have the potential to revolutionize automated traceability by overcoming the challenges faced by previous methods and introducing new possibilities. However, the optimal utilization of LLMs for automated traceability remains unclear. This paper explores the process of prompt engineering to extract link predictions from an LLM. We provide detailed insights into our approach for constructing effective prompts, offering our lessons learned. Additionally, we propose multiple strategies for leveraging LLMs to generate traceability links, improving upon previous zero-shot methods on the ranking of candidate links after prompt refinement. The primary objective of this paper is to inspire and assist future researchers and engineers by highlighting the process of constructing traceability prompts to effectively harness LLMs for advancing automatic traceability.
△ Less
Submitted 31 July, 2023;
originally announced August 2023.
-
Understanding the Challenges of Deploying Live-Traceability Solutions
Authors:
Alberto D. Rodriguez,
Katherine R. Dearstyne,
Jane Cleland-Huang
Abstract:
Software traceability is the process of establishing and maintaining relationships between artifacts in a software system. This process is crucial to many engineering processes, particularly for safety critical projects; however, it is labor-intensive and error-prone. Automated traceability has been a long awaited tool for project managers of these systems, and due to the semantic similarities bet…
▽ More
Software traceability is the process of establishing and maintaining relationships between artifacts in a software system. This process is crucial to many engineering processes, particularly for safety critical projects; however, it is labor-intensive and error-prone. Automated traceability has been a long awaited tool for project managers of these systems, and due to the semantic similarities between linked artifacts, NLP techniques, such as transformer models, may be leveraged to accomplish this task. SAFA.ai is a startup focusing on fine-tuning project-specific models that deliver automated traceability in a near real-time environment. The following paper describes the challenges that characterize commercializing software traceability and highlights possible future directions.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Leveraging Human Salience to Improve Calorie Estimation
Authors:
Katherine R. Dearstyne,
Alberto D. Rodriguez
Abstract:
The following paper investigates the effectiveness of incorporating human salience into the task of calorie prediction from images of food. We observe a 32.2% relative improvement when incorporating saliency maps on the images of food highlighting the most calorie regions. We also attempt to further improve the accuracy by starting the best models using pre-trained weights on similar tasks of mass…
▽ More
The following paper investigates the effectiveness of incorporating human salience into the task of calorie prediction from images of food. We observe a 32.2% relative improvement when incorporating saliency maps on the images of food highlighting the most calorie regions. We also attempt to further improve the accuracy by starting the best models using pre-trained weights on similar tasks of mass estimation and food classification. However, we observe no improvement. Surprisingly, we also find that our best model was not able to surpass the original performance published alongside the test dataset, Nutrition5k. We use ResNet50 and Xception as the base models for our experiment.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
On Euler-homogeneity for free divisors
Authors:
Abraham del Valle Rodríguez
Abstract:
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem must be strongly Euler-homogeneous and it was proved for the two-dimensional case. Later, in 2006, it was shown that the conjecture is also true in dimension three, but, today, the answer for the general case remains unknown. In this paper, we use the decomposition of a singular derivation as th…
▽ More
In 2002, it was conjectured that a free divisor satisfying the so-called Logarithmic Comparison Theorem must be strongly Euler-homogeneous and it was proved for the two-dimensional case. Later, in 2006, it was shown that the conjecture is also true in dimension three, but, today, the answer for the general case remains unknown. In this paper, we use the decomposition of a singular derivation as the sum of a semisimple and a topologically nilpotent derivation that commute in order to deal with this problem. By showing that this decomposition preserves the property of being logarithmic, we are able to give alternative proofs for the low-dimensional known cases.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
A Feasibility Study on Indoor Localization and Multi-person Tracking Using Sparsely Distributed Camera Network with Edge Computing
Authors:
Hyeokhyen Kwon,
Chaitra Hegde,
Yashar Kiarashi,
Venkata Siva Krishna Madala,
Ratan Singh,
ArjunSinh Nakum,
Robert Tweedy,
Leandro Miletto Tonetto,
Craig M. Zimring,
Matthew Doiron,
Amy D. Rodriguez,
Allan I. Levey,
Gari D. Clifford
Abstract:
Camera-based activity monitoring systems are becoming an attractive solution for smart building applications with the advances in computer vision and edge computing technologies. In this paper, we present a feasibility study and systematic analysis of a camera-based indoor localization and multi-person tracking system implemented on edge computing devices within a large indoor space. To this end,…
▽ More
Camera-based activity monitoring systems are becoming an attractive solution for smart building applications with the advances in computer vision and edge computing technologies. In this paper, we present a feasibility study and systematic analysis of a camera-based indoor localization and multi-person tracking system implemented on edge computing devices within a large indoor space. To this end, we deployed an end-to-end edge computing pipeline that utilizes multiple cameras to achieve localization, body orientation estimation and tracking of multiple individuals within a large therapeutic space spanning $1700m^2$, all while maintaining a strong focus on preserving privacy. Our pipeline consists of 39 edge computing camera systems equipped with Tensor Processing Units (TPUs) placed in the indoor space's ceiling. To ensure the privacy of individuals, a real-time multi-person pose estimation algorithm runs on the TPU of the computing camera system. This algorithm extracts poses and bounding boxes, which are utilized for indoor localization, body orientation estimation, and multi-person tracking. Our pipeline demonstrated an average localization error of 1.41 meters, a multiple-object tracking accuracy score of 88.6\%, and a mean absolute body orientation error of 29\degree. These results shows that localization and tracking of individuals in a large indoor space is feasible even with the privacy constrains.
△ Less
Submitted 29 November, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
Behavior of solutions to the 1D focusing stochastic nonlinear Schrödinger equation with spatially correlated noise
Authors:
Annie Millet,
Alex D Rodriguez,
Svetlana Roudenko,
Kai Yang
Abstract:
We study the focusing stochastic nonlinear Schrödinger equation in one spatial dimension with multiplicative noise, driven by a Wiener process white in time and colored in space, in the $L^2$-critical and supercritical cases. The mass ($L^2$-norm) is conserved due to the multiplicative noise defined via the Stratonovich integral, the energy (Hamiltonian) is not preserved. We first investigate how…
▽ More
We study the focusing stochastic nonlinear Schrödinger equation in one spatial dimension with multiplicative noise, driven by a Wiener process white in time and colored in space, in the $L^2$-critical and supercritical cases. The mass ($L^2$-norm) is conserved due to the multiplicative noise defined via the Stratonovich integral, the energy (Hamiltonian) is not preserved. We first investigate how the energy is affected by various spatially correlated random perturbations. We then study the influence of the noise on the global dynamics measuring the probability of blow-up versus scattering behavior depending on various parameters of correlation kernels. Finally, we study the effect of the spatially correlated noise on the blow-up behavior, and conclude that such random perturbations do not influence the blow-up dynamics, except for shifting of the blow-up center location. This is similar to what we observed in [32] for a space-time white driving noise.
△ Less
Submitted 18 June, 2020;
originally announced June 2020.