Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Fragmentation”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 739 records · Page 41

Cryo-EM structure determination of small proteins by nanobody-binding scaffolds (Legobodies)

We describe a general method that allows structure determination of small proteins by single-particle cryo-electron microscopy (cryo-EM). The method is based on the availability of a target-binding nanobody, which is then rigidly attached to two scaffolds: 1) a Fab fragment of an antibody directed against the nanobody and 2) a nanobody-binding protein A fragment fused to maltose binding protein and Fab-binding domains. The overall ensemble of ~120 kDa, called Legobody, does not perturb the nanobody–target interaction, is easily recognizable in EM images due to its unique shape, and facilitates particle alignment in cryo-EM image processing. The utility of the method is demonstrated for the KDEL receptor, a 23-kDa membrane protein, resulting in a map at 3.2-Å overall resolution with density sufficient for de novo model building, and for the 22-kDa receptor-binding domain (RBD) of SARS-CoV-2 spike protein, resulting in a map at 3.6-Å resolution that allows analysis of the binding interface to the nanobody. The Legobody approach thus overcomes the current size limitations of cryo-EM analysis.

59 BASIC BIOLOGICAL SCIENCES↗

Viral afterlife: SARS-CoV-2 as a reservoir of immunomimetic peptides that reassemble into proinflammatory supramolecular complexes

It is unclear how severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infection leads to the strong but ineffective inflammatory response that characterizes severe Coronavirus disease 2019 (COVID-19), with amplified immune activation in diverse cell types, including cells without angiotensin-converting enzyme 2 receptors necessary for infection. Proteolytic degradation of SARS-CoV-2 virions is a milestone in host viral clearance, but the impact of remnant viral peptide fragments from high viral loads is not known. Here, we examine the inflammatory capacity of fragmented viral components from the perspective of supramolecular self-organization in the infected host environment. Interestingly, a machine learning analysis to SARS-CoV-2 proteome reveals sequence motifs that mimic host antimicrobial peptides (xenoAMPs), especially highly cationic human cathelicidin LL-37 capable of augmenting inflammation. Such xenoAMPs are strongly enriched in SARS-CoV-2 relative to low-pathogenicity coronaviruses. Moreover, xenoAMPs from SARS-CoV-2 but not low-pathogenicity homologs assemble double-stranded RNA (dsRNA) into nanocrystalline complexes with lattice constants commensurate with the steric size of Toll-like receptor (TLR)-3 and therefore capable of multivalent binding. Such complexes amplify cytokine secretion in diverse uninfected cell types in culture (epithelial cells, endothelial cells, keratinocytes, monocytes, and macrophages), similar to cathelicidin’s role in rheumatoid arthritis and lupus. The induced transcriptome matches well with the global gene expression pattern in COVID-19, despite using <0.3% of the viral proteome. Delivery of these complexes to uninfected mice boosts plasma interleukin-6 and CXCL1 levels as observed in COVID-19 patients.

60 APPLIED LIFE SCIENCES↗

The first DEP domain of the RhoGEF P-Rex1 autoinhibits activity and contributes to membrane binding

Phosphatidylinositol (3,4,5)-trisphosphate (PIP 3 )-dependent Rac exchanger 1 (P-Rex1) catalyzes the exchange of GDP for GTP on Rac GTPases, thereby triggering changes in the actin cytoskeleton and in transcription. Its overexpression is highly correlated with the metastasis of certain cancers. P-Rex1 recruitment to the plasma membrane and its activity are regulated via interactions with heterotrimeric Gβγ subunits, PIP 3 , and protein kinase A (PKA). Deletion analysis has further shown that domains C-terminal to its catalytic Dbl homology (DH) domain confer autoinhibition. Among these, the first dishevelled, Egl-10, and pleckstrin domain (DEP1) remains to be structurally characterized. DEP1 also harbors the primary PKA phosphorylation site, suggesting that an improved understanding of this region could substantially increase our knowledge of P-Rex1 signaling and open the door to new selective chemotherapeutics. Here we show that the DEP1 domain alone can autoinhibit activity in context of the DH/PH-DEP1 fragment of P-Rex1 and interacts with the DH/PH domains in solution. The 3.1 Å crystal structure of DEP1 features a domain swap, similar to that observed previously in the Dvl2 DEP domain, involving an exposed basic loop that contains the PKA site. Using purified proteins, we show that although DEP1 phosphorylation has no effect on the activity or solution conformation of the DH/PH-DEP1 fragment, it inhibits binding of the DEP1 domain to liposomes containing phosphatidic acid. Thus, we propose that PKA phosphorylation of the DEP1 domain hampers P-Rex1 binding to negatively charged membranes in cells, freeing the DEP1 domain to associate with and inhibit the DH/PH module.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Simulated Performance of the Micro-Pocket Fission Detector in the Advanced Test Reactor Critical Facility

The Micro-Pocket Fission Detector (MPFD) is a small-form–factor real-time fission chamber. MPFD performance has been simulated in the Advanced Test Reactor Critical Facility (ATRC), located at Idaho National Laboratory (INL). Here, the neutron and gamma-ray flux profiles and magnitudes were simulated using Monte Carlo N-Particle (MCNP) in the near-core B-8 irradiation position. These simulations were performed at 69 discrete axial locations inside the B-8 position for three separate orientations of the nearby hafnium outer shim control cylinders and at a power level of 700 Wth. The resulting neutron and gamma-ray flux values were used to determine the MPFD response for various fissile masses and detector gas pressures. The optimal gas-operating pressure was determined to be between 30 and 60 psig. The required fissile-layer mass was determined to be between 1–2 µg of 235 U. Additionally, the gamma-ray to fission-fragment interaction rate was determined to be 4.42 × 10 -3 with average energy deposition for gamma rays and fission fragments in 30 psig argon gas to be 1 keV and 9.5 MeV, respectively.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Characterization of a novel HIV-1 circulating recombinant form, CRF91_cpx, comprising CRF02_AG, G, J, and U, mostly among men who have sex with men

Prospective molecular studies of HIV-1 pol region (2253–5250 in HXB2 genome) sequences from sequenced samples of 269 HIV-1-infected patients in Cyprus (2017–2021) revealed a transmission cluster of 14 unknown HIV-1 recombinants that were not classified as previously established CRFs. The earliest recombinant was collected in September 2017, and the transmission cluster continued to grow until November 2020. Near full-length HIV-1 genome sequences of the 11 of the 14 recombinants were successfully obtained (790–8795 in HXB2 genome) and aligned against a reference dataset of HIV-1 subtypes and CRFs. We employed MEGAX for maximum-likelihood tree construction (GTR model, 1000 bootstrap replicates), Cluster-Picker for phylogenetic clustering analysis (genetic distance ≤0.045, bootstrap support value ≥70%), and REGA-3.0 for subtype determination. Bootscan and similarity plot analyses (sliding window of 400 nucleotides overlapped by 40 nucleotides) were conducted using SimPlot-v3.5.1, and subregion confirmatory neighbour-joining tree analyses were conducted using MEGAX (Kimura two-parameter model, 1000 bootstrap replicates, ≥70% bootstrap-support value). Exclusive clustering of the HIV-1 recombinants revealed their uniqueness. The recombination analyses illustrated the same unique mosaic pattern with six putative intersubtype recombination breakpoints, seven fragments of subtypes CRF02_AG, G, J and an unclassified fragment. We conclusively characterized the mosaic structure of the novel HIV-1 CRF, named CRF91_cpx, by the Los Alamos HIV Sequence Database. Additionally, we identified a URF of CRF91_cpx with two additional recombination sites, generated by a recombination event between subtype B and CRF91_cpx. Since the identification of CRF91_cpx, two additional patient samples have been entered into the CRF91_cpx transmission cluster, demonstrating active growth.

60 APPLIED LIFE SCIENCES↗

Time-resolved site-selective imaging of predissociation and charge transfer dynamics: the CH 3 I B-band

The predissociation dynamics of the 6s (B 2 E) Rydberg state of gas-phase CH 3 I were investigated by time-resolved Coulomb-explosion imaging using extreme ultraviolet (XUV) free-electron laser pulses. Inner-shell ionization at the iodine 4d edge was utilized to provide a site-specific probe of the ensuing dynamics. The combination of a velocity-map imaging (VMI) spectrometer coupled with the pixel imaging mass spectrometry (PImMS) camera permitted three-dimensional ionic fragment momenta to be recorded simultaneously for a wide range of iodine charge states. In accord with previous studies, initial excitation at 201.2 nm results in internal conversion and subsequent dissociation on the lower-lying A-state surface on a picosecond time scale. Examination of the time-dependent yield of low kinetic energy iodine fragments yields mechanistic insights into the predissociation and subsequent charge transfer following multiple ionization of the iodine products. The effect of charge transfer was observed through differing delay-dependencies of the various iodine charge states, from which critical internuclear distances for charge transfer could be inferred and compared to a classical over-the-barrier model. Time-dependent photofragment angular anisotropy parameters were extracted from the central slice of the Newton sphere, without Abel inversion, and highlight the effect of rotation of the parent molecule before dissociation, as observed in previous works. Our results demonstrate the ability to perform three-dimensional ion imaging at high event rates and showcase the potential benefits of this approach, particularly in relation to further time-resolved studies at free-electron laser facilities.

74 ATOMIC AND MOLECULAR PHYSICS↗

Imaging multiphoton ionization dynamics of CH 3 I at a high repetition rate XUV free-electron laser

XUV multiphoton ionization of molecules is commonly used in free-electron laser experiments to study charge transfer dynamics. However, molecular dissociation and electron dynamics, such as multiple photon absorption, Auger decay, and charge transfer, often happen on competing time scales, and the contributions of individual processes can be difficult to unravel. We experimentally investigate the Coulomb explosion dynamics of methyl iodide upon core–hole ionization of the shallow inner-shell of iodine (4d) and classically simulate the fragmentation by phenomenologically introducing ionization dynamics and charge transfer. Under our experimental conditions with medium fluence and relatively long XUV pulses (~75 fs), we find that fast Auger decay prior to charge transfer significantly contributes to the charging mechanism, leading to a yield enhancement of higher carbon charge states upon molecular dissociation. Furthermore, we argue for the existence of another charging mechanism for the weak fragmentation channels leading to triply charged carbon atoms. This study shows that classical simulations can be a useful tool to guide the quantum mechanical description of the femtosecond dynamics upon multiphoton absorption in molecular systems.

Optics↗

UV-induced dissociation of CH 2 BrI probed by intense femtosecond XUV pulses

The ultraviolet (UV)-induced dissociation and photofragmentation of gas-phase CH 2 BrI molecules induced by intense femtosecond extreme ultraviolet (XUV) pulses at three different photon energies are studied by multi-mass ion imaging. Using a UV-pump–XUV-probe scheme, charge transfer between highly charged iodine ions and neutral CH 2 Br radicals produced by C–I bond cleavage is investigated. In earlier charge-transfer studies, the center of mass of the molecules was located along the axis of the bond cleaved by the pump pulse. In the present case of CH 2 BrI, this is not the case, thus inducing a rotation of the fragment. We discuss the influence of the rotation on the charge transfer process using a classical over-the-barrier model. Our modeling suggests that, despite the fact that the dissociation is slower due to the rotational excitation, the critical interatomic distance for charge transfer is reached faster. Furthermore, we suggest that charge transfer during molecular fragmentation may be modulated in a complex way.

74 ATOMIC AND MOLECULAR PHYSICS↗

Dissociative electron attachment studies of gas-phase acetic acid using a velocity map imaging technique

Abstract Advancing instrumentation to explore dissociative electron attachment (DEA) studies allows previously unattainable information to be acquired. Using a newly constructed velocity map imaging spectrometer, we revisited a study on DEA to gas-phase acetic acid. We discuss possible fragmentation channels and compared the corresponding ion yields with previous high electron-energy resolution results. We focus on the channels occurring at higher energies, particularly near 10 eV, and calculate their thermodynamic thresholds. Moreover, we expand previous studies and perform time-sliced imaging near the 10 eV resonance to obtain the kinetic energy distribution of the fragment ions.

Optics↗

Distinguishing the XUV-induced Coulomb explosion dynamics of iodobenzene using covariance analysis

The primary and secondary fragmentation dynamics of iodobenzene following its ionization at 120 eV were determined using three-dimensional velocity map imaging and covariance analysis. Site-selective iodine 4d ionization was used to populate a range of excited polycationic parent states, which primarily broke apart at the carbon-iodine bond to produce I+ with phenyl or phenyl-like cations (C n H x + or C n H, with n = 1 – 6 and x = 1 – 5). The molecular products were produced with varying degrees of internal excitation and dehydrogenation, leading to stable and unstable outcomes. This further allowed the secondary dynamics of C 6 H x 2+ intermediates to be distinguished using native-frame covariance analysis, which isolated these processes in their own centre-of-mass reference frames. Furthermore, the mass resolution of the imaging mass spectrometer used for these measurements enabled the primary and secondary reaction channels to be specified at the level of individual hydrogen atoms, demonstrating the ability of covariance analysis to comprehensively measure the competing fragmentation channels of aryl cations, including those involving intermediate steps.

74 ATOMIC AND MOLECULAR PHYSICS↗

Heavy flavor quenching and flow: the roles of initial condition, pre-equilibrium evolution, and in-medium interaction

Within an advanced Langevin-hydrodynamics framework coupled to a hybrid fragmentation-coalescence hadronization model, we study heavy flavor quenching and flow in relativistic heavy-ion collisions. We investigate how the initial heavy quark spectrum, the in-medium energy loss and hadronization mechanisms of heavy quarks, the evolution profile of the pre-equilibrium stage, the medium flow, and the temperature dependence of heavy quark diffusion coefficients influence the suppression and elliptic flow of heavy mesons at the RHIC and the LHC. Our results show that the different modeling of initial conditions, pre-equilibrium evolution, and in-medium interactions can individually yield uncertainties of approximately 10-40% in D meson suppression and flow at a low transverse momentum. Furthermore, we also find that proper combinations of collisional versus radiative energy loss, coalescence versus fragmentation in hadronization, and the inclusion of medium flow are the most important factors for describing the suppression and elliptic flow of heavy mesons.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Hot-tail electrons’ impact on assimilation and injection penetration of D2 shattered pellet injections

The assimilation and the penetration of injected materials play significant roles in the mitigation efficiency of shattered pellet injection (SPI) as a disruption mitigation system (DMS), hence an accurate description of the fragment ablation rate is desirable. Current mainstream 3D MHD codes modelling SPIs mostly assume instantaneous thermalization between the previously hot ambient electrons and the newly released cold electrons. This could result in underestimation of the ablation rate if the hot electron thermalization time is comparable or even longer than the fragment flying time across flux tubes, putting the validity of these 3D SPI simulations into question. To resolve this doubt, we, in this study, investigate the thermalization dynamics and the overall hot-electron impact. The finite-time collisional thermalization of hot-tail electrons in a rapidly cooling plasma, as well as the so-called ‘self-limiting’ effect are considered. The former effect tends to deplete the colder population within a hot-tail species, while the latter is found to preferentially deplete the higher energy population. The combined result is found to cause an almost self-similar decay of the hot electron distribution function, while its shape does not deviate much from that of Maxwellian distribution and the mean energy does not change much during the thermalization process. Based on this observation, axisymmetric JOREK D2 SPI simulations were carried out with additional hot-tail contribution to evaluate their overall impact onto the injection assimilation and penetration. It is found that the hot-tail effect indeed causes enhanced assimilation and shallower penetration, although the overall effect depends on the exact injection configuration, with the slow injection showing negligible hot-tail effect while the fast single non-shattered pellet case shows drastic hot-tail ablation enhancement. For ITER-like SPI parameters, there is no significant deviation in the total assimilation, but some deviation in the injection penetration is observed for the fast injection velocity cases.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Impact of breech geometry and propellant flow on the release of large pellets for the ITER disruption mitigation system

Studies have been performed on the release mechanism for large pellets using high pressure gas in a shattered pellet injector. Typically, pellets are dislodged from the cryogenic surface and accelerated down a barrel using high pressure gas delivered by a fast-acting propellant valve. The pellets impact an angled surface which shatters the pellet into many small fragments before entering the plasma. This technique was initially demonstrated on DIII-D (Commaux et al 2016 Nucl. Fusion 56 046007) and is now deployed on JET, KSTAR, ASDEX-Upgrade, and other tokamaks around the world in support of ITER's disruption mitigation system design and physics basis. The large hydrogen, 28.5 mm diameter, 2 length-to-diameter ratio, pellets foreseen for ITER SPI operation have low material strength and low heat of sublimation, which cause the pellets to be fragile and highly reactive to the impact of warm propellant gas. Due to the size of the pellets, significantly more propellant gas is required to dislodge and accelerate them. This creates a potentially significant propellant gas removal issue as 2–6 bar-L of gas is expected to be required for release and speed control. The research presented in this paper is an in-depth exploration of the parameters that are keys to reliable pellet release and speed control. Computational fluid dynamics (CFD) modeling of propellant flows through various breech designs was conducted to determine the force generated on the back surface of a pellet. These simulations assumed the use of the ORNL designed flyer plate valve. CFD modeling combined with experimental measurements provide adequate insight to determine a path to an optimal valve and breech design for ITER SPI pellet release and speed control while minimizing propellant gas usage.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Interpretative 3D MHD modelling of deuterium SPI into a JET H-mode plasma

Abstract The pre-thermal quench (pre-TQ) dynamics of a pure deuterium ( D 2 ) shattered pellet injection (SPI) into a 3 MA / 7 MJ JET H-mode plasma is studied via 3D non-linear MHD modelling with the JOREK code. The interpretative modelling captures the overall evolution of the measured density and radiated power. The simulations also identify the importance of the drifts of ablation plasmoids towards the tokamak low field side (LFS) and the impurities in the background plasma in fragment penetration, assimilation, radiative cooling and MHD activity in D 2 SPI experiments. It is found that plasmoid drifts lead to an about 70% reduction of the central line-integrated density (compared to a simulation without drifts) in the JET D 2 SPI discharge considered. Impurities that pre-exist before the SPI as well as those from possible impurity influxes related to the SPI are shown to dominate the radiation in the considered discharge. With inputs from JOREK simulations, modelling with the Lagrangian particle-based pellet code PELOTON reproduces the deviation of the SPI fragments in the direction of the major radius as observed by the fast camera. This confirms the role of rocket effects and plasmoid drifts in the considered discharge and reinforces the validity of the JOREK modelling. The limited core density rise due to plasmoid drifts and the strong radiative cooling and MHD activity with impurities (depending on their species and concentration) could limit the effectiveness of LFS D 2 SPI in runaway electron avoidance and are worth considering in the design of the ITER disruption mitigation system.

Physics↗

Validation of 3D MHD simulations of Ne/D 2 mixed shattered pellet injection in JET

Nonlinear 3D magnetohydrodynamic (MHD) modeling of shattered pellet injection (SPI) in JET tokamak plasmas is performed with the JOREK code. The study focuses on the validation of simulation result with respect to experimental observations, addressing in particular figures of merit for the efficiency of the SPI, as a technique to mitigate thermal loads by injecting radiative impurities like neon during the thermal quench (TQ) phase of disruptions. A set of JET pulses with neon/deuterium atomic mixture ratio in the shattered pellet varying from 10% to 100% provides the experimental data to be compared with. Simulations using different models for the ablation of solid fragments and the radiation of neon impurities are considered. Synthetic diagnostics are employed for a direct quantitative comparison with key JET diagnostic systems providing in particular radiation, electron temperature and density, and magnetic measurements. 3D radiation structures from MHD simulations are analyzed to estimate the toroidal asymmetry of radiation, which is difficult to measure in JET due to the presence of only two toroidally displaced multi-channel bolometry systems. JOREK simulations show that, before the TQ, the bulk of the radiation is concentrated in a toroidal region enclosing the radiating fragments that is missed by both multi-channel bolometers, suggesting a possible underestimation of the total radiation by such diagnostic systems in the pre-TQ phase. On the other hand, JOREK predicts that during the TQ the radiation becomes more toroidally symmetric, with positive implications for the heat load to plasma facing components.

JOREK↗

Development of a low-pressure Multi-Mesh THGEM detector for fission experiments at FRIB

Abstract A small-area imaging detector prototype for position measurement of fission fragments produced in low energy heavy-ion reactions is presented in this study. The detector readout is equipped with a 2-dimensional, position-sensitive gaseous avalanche readout based on the novel Multi-Mesh Thick-GEM (MM-THGEM), and is coupled to a delay-line board for particle localization. The prototype has an effective area of 10 × 10 cm 2 and is operated in isobutane at low pressure (7–10 Torr). We present and discuss a series of systematic evaluation tests performed by irradiating the detector with α-particles and fission fragments emitted by small-rate sources ( 241 Am, 249 Cf and 252 Cf). Position and time resolutions of about 0.42 mm and 1 ns were achieved, respectively. This work serves as a benchmark for the development of a large-scale array of detectors for experiments with fission and fission-like reaction products at the Facility for Rare Isotope Beams (FRIB).

Instruments & Instrumentation↗

Clonality, local population structure, and gametophyte sex ratios in cryptic species of the Sphagnum magellanicum complex

Sphagnum (peatmoss) comprises a moss (Bryophyta) clade with approximately 300-500 species. The genus has unparalleled ecological importance because Sphagnum-dominated peatlands store almost a third of the terrestrial carbon pool and peatmosses engineer the formation and microtopography of peatlands. Genomic resources for Sphagnum are being actively expanded, but many aspects of their biology are still poorly known. Among these are the degree to which Sphagnum species reproduce asexually, and the relative frequencies of male and female gametophytes in these haploid-dominant plants. Here, we assess clonality and gametophyte sex ratios and test hypotheses about the local-scale distribution of clones and sexes in four North American species of the S. magellanicum complex. These four species are difficult to distinguish morphologically and are very closely related. We also assess microbial communities associated with Sphagnum host plant clones and sexes at two sites. 405 samples of the four species, representing 57 populations, were subjected to RADseq. Analyses of population structure and clonality based on the molecular data utilized both phylogenetic and phenetic approaches. Multi-locus genotypes (genets) were identified using the RADseq data. Sexes of sampled ramets were determined using a molecular approach that utilized coverage of loci on the sex chromosomes after the method was validated using a sample of plants that expressed sex phenotypically. Sex ratios were estimated for each species, and populations within species. Differences in fitness between genets was estimated as the numbers of ramets each genet comprised. Degree of clonality (numbers of genets/numbers of ramets [samples]) within species, among sites, and between gametophyte sexes were estimated. Sex ratios were estimated for each species, and populations within species. Sphagnum-associated microbial communities were assessed at two sites in relation to Sphagnum clonality and sex. All four species appear to engage in a mixture of sexual and asexual (clonal) reproduction. A single ramet represents most genets but 2-8 ramets were detected for some genets. Only one genet is represented by ramets in multiple populations; all other genets are restricted to a single population. Within populations ramets of individual genets are spatially clustered, suggesting limited dispersal even within peatlands. Sex ratios are male-biased in S. diabolicum but female-biased in the other three species, although significantly so only in S. divinum. Neither species nor males/females differ in levels of clonal propagation. At St. Regis Lake (NY) and Franklin Bog (VT), microbial community composition is strongly differentiated between the sites, but differences between species, genets, and sexes were not detected. Within S. divinum, however, female gametophytes harbored 2-3 times the number oi of microbial taxa as males. These four Sphagnum species all exhibit a similar reproductive patterns that result from a mixture of sexual and asexual reproduction. The spatial patterns of clonally replicated ramets of genets suggest that these species fall between the so-called phalanx patterns where genets abut one another but do not extensively mix, because of limited ramet fragmentation, and the guerrilla patterns where extensive genet fragmentation and dispersal results in greater mixing of different genets. Although sex ratios in bryophytes are most often female-biased, both male and female biases occur in this complex of closely related species. The association of far greater microbial diversity for female gametophytes in S. divinum, which has a female-biased sex ratio, suggests additional research to determine if levels of microbial diversity are consistently correlated with differing patterns of sex ratio biases.

59 BASIC BIOLOGICAL SCIENCES↗

Revisiting separation: Algorithms and complexity

Abstract Linear temporal logic (LTL) with Since and Until modalities is expressively equivalent, over the class of complete linear orders, to a fragment of first-order logic known as FOMLO (first-order monadic logic of order). It turns out that LTL, under some basic assumptions, is expressively complete if and only if it has the property, called separation, that every formula is equivalent to a Boolean combination of formulas that each refer only to the past, present or future. Herein we present simple algorithms and their implementations to perform separation of the LTL with Since and Until, over discrete and complete linear orders, and translation from FOMLO formulas into equivalent temporal logic formulas. We additionally show that the separation of a certain fragment of LTL results in at most a double exponential size growth.

Oliveira, Daniel↗