Abelian 2-form gauge theory: superfield formalism

We derive the off-shell nilpotent Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations for {\it all} the fields of a free Abelian 2-form gauge theory by exploiting the geometrical superfield approach to BRST formalism. The above four (3 + 1)-dimensional (4D) theory is considered on a (4, 2)-dimensional supermanifold parameterized by the four even spacetime variables x^\mu (with \mu = 0, 1, 2, 3) and a pair of odd Grassmannian variables \theta and \bar\theta (with \theta^2 = \bar\theta^2 = 0, \theta \bar\theta + \bar\theta \theta = 0). One of the salient features of our present investigation is that the above nilpotent (anti-)BRST symmetry transformations turn out to be absolutely anticommuting due to the presence of a Curci-Ferrari (CF) type of restriction. The latter condition emerges due to the application of our present superfield formalism. The actual CF condition, as is well-known, is the hallmark of a 4D non-Abelian 1-form gauge theory. We demonstrate that our present 4D Abelian 2-form gauge theory imbibes some of the key signatures of the 4D non-Abelian 1-form gauge theory. We briefly comment on the generalization of our supperfield approach to the case of Abelian 3-form gauge theory in four (3 + 1)-dimensions of spacetime.Comment: LaTeX file, 23 pages, journal versio

Elevated temperature crack growth

The purpose is to determine the ability of currently available P-I integrals to correlate fatigue crack propagation under conditions that simulate the turbojet engine combustor liner environment. The utility of advanced fracture mechanics measurements will also be evaluated during the course of the program. To date, an appropriate specimen design, a crack displacement measurement method, and boundary condition simulation in the computational model of the specimen were achieved. Alloy 718 was selected as an analog material based on its ability to simulate high temperature behavior at lower temperatures. Tensile and cyclic tests were run at several strain rates so that an appropriate constitutive model could be developed. Suitable P-I integrals were programmed into a finite element post-processor for eventual comparison with experimental data

Elevated temperature crack growth

It is necessary to relate the processes that control crack growth in the immediate vicinity of the crack tip to parameters that can be calculated from remote quantities, such as forces, stresses, or displacements. The most likely parameters appear to be certain path-independent (PI) integrals, several of which have already been proposed for application to high temperature inelastic problems. The ability of currently available PI-integrals to correlate fatigue crack propagation under conditions that simulate the engine combustor liner environment was determined. The utility of advanced fracture mechanics measurements will also be evaluated and determined during the course of the program

A Concise Introduction to Perturbation Theory in Cosmology

We give a concise, self-contained introduction to perturbation theory in cosmology at linear and second order, striking a balance between mathematical rigour and usability. In particular we discuss gauge issues and the active and passive approach to calculating gauge transformations. We also construct gauge-invariant variables, including the second order tensor perturbation on uniform curvature hypersurfaces.Comment: revtex4, 16 pages, 3 figures; v2: minor changes, typos corrected, reference added, version accepted by CQ

Superfield Approach to (Non-)local Symmetries for One-Form Abelian Gauge Theory

We exploit the geometrical superfield formalism to derive the local, covariant and continuous Becchi-Rouet-Stora-Tyutin (BRST) symmetry transformations and the non-local, non-covariant and continuous dual-BRST symmetry transformations for the free Abelian one-form gauge theory in four $(3 + 1)$-dimensions (4D) of spacetime. Our discussion is carried out in the framework of BRST invariant Lagrangian density for the above 4D theory in the Feynman gauge. The geometrical origin and interpretation for the (dual-)BRST charges (and the transformations they generate) are provided in the language of translations of some superfields along the Grassmannian directions of the six ($4 + 2)$-dimensional supermanifold parametrized by the four spacetime and two Grassmannian variables.Comment: LaTeX file, 23 page

Electrospray synthesis of PLGA TIPS microspheres

We successfully demonstrate the synthesis of polymer microspheres using a single electrospray source, and show their physical characterisation. Electrospray has proven to be a versatile method to manufacture particles, giving tight control over size with quasi-monodisperse size distributions. It is a liquid atomisation technique that generates a monodisperse population of highly charged liquid droplets over a broad size range (nanometres to tens of microns). The droplets contain liquid precursors for the in-flight synthesis of particles, and control over the trajectory of these droplets can be precisely manipulated with the use of electric fields to drive them to a grounded substrate. This study reports a method to synthesize poly(lactic-co-glycolic) acid (PLGA) microspheres using the electrospray and thermally induced phase separation (TIPS) techniques, followed by subsequent freeze-drying, for particle production. These microspheres are of interest as vehicles for controlled drug release systems

Compositional nonblocking verification with always enabled events and selfloop-only events

This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the system and abstract events even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before

Comparison of Accuracy Between a Conventional and Two Digital Intraoral Impression Techniques

Aims: The objective of this study was to compare the precision and trueness of full-arch impressions using either a conventional polyvinylsiloxane (PVS) material or 2 intraoral optical scanners. Methods: Full arch impressions were obtained of a reference model using addition silicone impression material (Aquasil Ultra; Dentsply Caulk, Delaware, USA) and two optical scanners (Trios, 3Shape, Copenhagen, Denmark and CEREC Omnicam, Sirona, Wals, Austria). Surface matching software (Geomagic® Control™, 3D Systems©, Rock Hill, SC, USA) was used to superimpose the scans within groups in order to determine the mean deviations (μm) between the scans. The overall mean precision and trueness for each group was calculated and compared statistically using one-way analysis of variance with post-hoc Bonferroni (trueness) and GamesHowell (precision) tests (IBM© SPSS® ver 24, IBM UK Ltd, Portsmouth, England). Qualitative analysis was also carried out from three-dimensional maps of differences between scans. Results: Mean and standard deviations (SD) of precision for conventional, Trios and Omnicam groups were 21.7 (±5.4), 49.9 (±18.3), and 36.5 (±11.12), respectively. Mean and standard deviations (SD) for trueness were 24.3 (±5.7), 87.1 (±7.9), and 80.3 (±12.1) respectively. The conventional impression showed statistically significant improved mean precision (P<.006) and mean trueness (P<.001) compared to both digital impression procedures. There were no statistically significant differences in precision (P=0.153) or trueness (P=0.757) between the digital impressions. The qualitative analysis revealed local deviations along the palatal surfaces of the molars and incisal edges of the anterior teeth in the order of <100μm. Conclusion: Conventional full-arch PVS impressions exhibited improved mean accuracy compared to 2 direct optical scanners. No significant differences were found between the two digital impression methods

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system