Effects of partial recrystallization on high-cycle fatigue deformation and crack generation of a nitrogen-strengthened 32Mn-7Cr austenitic steel at liquid-nitrogen temperature

To achieve higher fatigue resistance against subsurface crack generation, both the refinement of grain structure and the introduction of mobile dislocations on various slip systems have been shown to be effective in the 32Mn-7Cr austenitic steel. A novel treatment which consisted of cold grooved rolling and partial recrystallization was introduced to modify the microstructure. High-cycle fatigue properties and fatigue-crack generation were investigated for both the solution-treated (ST) and the partially recrystallized (PR) materials at 77 K. The PR material displayed higher fatigue strength than the ST material, especially in the high-cycle regime. No subsurface crack generation was detected for the PR material; however, it appeared in the lower peak stress and/or in the longer-life range for the ST material. Intergranular facets formed a subsurface crack initiation site in the ST material. Since the dislocation structure that developed in the fatigued PR material assisted homogeneous and multidirectional plastic deformation, the localized deformation and/or the stress concentration at the grain boundaries by coplanar arrays were believed to be relieved. Therefore, intergranular cracking due to incompatibility at a grain boundary may disappear.     

Thermal Radiative Properties of Xonotlite Insulation Material

Introduction Xonotlite-type calcium silicate (6CaO?6SiO2?H2O) is synthesized porous insulation material by hydrothermal processing with quartz powder and limestone as the raw material (with CaO/ SiO2≈1:1). Compared with fire- retardant fibre, xonotlite has more excellent insulating performance, such as low thermal conductivity, environment friendly, high intension, and wide applying temperature range, which has been emphasized in recent years by many scholars and widely used in many indu…     

A classification of predictive-reactive project scheduling procedures

The vast majority of the project scheduling research efforts over the past several years have concentrated on the development of workable predictive baseline schedules, assuming complete information and a static and deterministic environment. During execution, however, a project may be subject to numerous schedule disruptions. Proactive-reactive project scheduling procedures try to cope with these disruptions through the combination of a proactive scheduling procedure for generating predictive baseline schedules that are hopefully robust in that they incorporate safety time to absorb anticipated disruptions with a reactive procedure that is invoked when a schedule breakage occurs during project execution. In this paper we discuss the results obtained by a large experimental design set up to evaluate several predictive-reactive resource-constrained project scheduling procedures under the composite objective of maximizing both the schedule stability and the timely project completion probability.     

A criterion for atomicity revisited

Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and Lamport. Several implementations of atomic variables by lower level primitives are known. A few years ago, we formulated a criterion to prove the correctness of such implementations. The proof of correctness of the criterion itself was based on Lynch’s definition of atomicity by serialization points. Here, this criterion is reformulated as a specification HRW in the formal sense. Simulations from HRW to ARW and vice versa are constructed. These now serve as a constructive proof of correctness of the criterion. Eternity variables are used in the simulation from HRW to ARW. We propose so-called gliding simulations to deal with the problems that appear when occasionally the concrete implementation needs fewer steps than the abstract specification.     

Geotechnical properties of the soft soil in Guangzhou College City

The paper describes some geotechnical properties of the soft soils in Guangzhou College City, China, which are difficult to both sample and test. Laboratory and in situ tests were carried out to assess the physical and mechanical indices of the soils. The data were statistically analyzed and linear regression undertaken such that equations could be developed by which the geotechnical properties of the soft soils can be predicted. The statistical validity of the degree of correlation confirmed that using these equations, the mechanical indices can be estimated from physical indices determined by routine testing.      

Method of Reducing Error in Calculations of Active Power from Signal Samples

The paper presents the results of investigations into several methods of calculating the active power value from current and voltage signal samples. The accuracy attainable for nonsinusoidal signals whose frequency differs from the nominal one was determined. A new active power calculation method ensuring accurate results for sampling over two signal periods is proposed. The method uses a very simple computing algorithm.     

Equilibrium and crystallographic measurements of the binary tetrahydrofuran and helium clathrate hydrates

Clathrate compounds are crystalline materials formed by a physical interaction between host and relatively light guest molecules. Various types of nano-sized cages surrounded by host frameworks exist in the highly unique crystalline structures and free guest molecules are entrapped in an open host-guest network. Recently, we reported two peculiar phenomena, swapping and tuning, naturally occurring in the hydrate cages. Helium, one of the smallest light guest molecules, must be the challengeable material in the sense of physics and moreover possesses versatile applications in the field of superconductivity technology and thermonuclear industry. In this regard, we attempted for the first time to synthesize helium hydrates at moderate temperature and pressure conditions. According to inclusion phenomena, helium itself normally cannot form clathrate hydrates due to being too small molecularly without the help of hydrate former molecules (sI, sII, and sH formers). In this study, the hydrate equilibria of the binary clathrate hydrate containing tetrahydrofuran, helium, and water were determined at 2, 3, 5.56 THF mol%. Direct volumetric measurements were also carried out to confirm the exact amount of helium captured in the hydrate cages. Finally, the crystalline structure of the formed mixed hydrates was identified by powder X-ray diffraction, resulting in structure II.     

Strength and fracture toughness of nano and micron-silica particles bidispersed epoxy composites: evaluated by fragility parameter

In this study, we discuss the composition effect of 240 nm and 1.56 μm-silica particles on strength and fracture toughness by examining two parameters, fragility and glass transition temperature, that were derived from the thermo-viscoelasticity measurements. Experimental results showed that the composites had a lower fragility with higher strength and fracture toughness as the content of nanoparticles was increased regardless of glass transition temperature. The improvement in mechanical properties from adding nanoparticles was definitely explained by the fragility represented the heterogeneity in polymer matrix, and this was related to the interaction between particles and matrix. The fragility was found to be an effective parameter for evaluating strength and fracture toughness of epoxy composite containing a bidispersion of nano and micron-silica particles.     

On assertion-based encapsulation for object invariants and simulations

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.     

Algorithms for multiprocessor scheduling with two job lengths and allocation restrictions

A variant of the High Multiplicity Multiprocessor Scheduling Problem with C job lengths is considered, in which jobs can be processed only by machines not greater than a given index. When C=2, polynomial algorithms are proposed, for the feasibility version of the problem and for maximizing the number of scheduled jobs.