The effect of low cycle fatigue (LCF) predamage on the subsequent very high cycle fatigue (VHCF) behavior is investigated in TC21 titanium alloy. LCF predamage is applied under 1.8% strain amplitude up to various fractions of the expected life and subsequent VHCF properties are determined using ultrasonic fatigue tests. Results show that 5% of predamage insignificantly affects the VHCF limit du...

The design of theorem provers, especially in the LCF-prover family, has strongly profited from functional programming. This paper attempts to develop a metaphor suited to visualize the LCF-style prover design, and a methodology for the implementation of graphical user interfaces for these provers and encapsulations of formal methods. In this problem domain, particular attention has to be paid t...

It has recently been shown that a combined input output queued (CIOQ) switch with a speedup factor of 2 can exactly emulate an output-queued (OQ) switch [1]-[6]. In particular, the maximal matching algorithm, named Least Cushion First/Most Urgent First (LCF/MUF) algorithm presented in [6], can be executed in parallel to achieve exact emulation. However, the buffer size at every input and output...

Computational logic is the use of computers to establish facts in a logical formalism. Originating in nineteenth century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms, techniques and technologies. One strand of work follows the 'logic for computable functions (LCF) approach' pioneered by Robin Milner, where proofs can be cons...

Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this paper we discuss how these ingredients do not interact well with user interfaces based on the same interaction paradigm of Proof General (the de facto standard in this field), identifying in the coarse-grainedness of tacti...

Following a successful study on the prediction of fatigue life of high-heat-load components made of Glidcop, the thermal limitation of oxygen-free copper (OFC), which is used more commonly than Glidcop, has been studied. In addition to its general mechanical properties, the low-cycle-fatigue (LCF) and creep properties of OFC were investigated in detail and compared with those of Glidcop. The br...

Nitrogen fertilizer unabsorbed by crops eventually discharges into the environment through runoff, leaching and volatilization, resulting in three-dimensional (3D) pollution spanning from underground into space. Here we describe an approach for controlling nitrogen loss, developed using loss control fertilizer (LCF) prepared by adding modified natural nanoclay (attapulgite) to traditional ferti...