The influence of a corrosive wood-cutting environment on the mechanical properties of hardmetal tools

The influence of a corrosive wood-cutting environment on the strength of hardmetals and on their behaviour under static loading conditions has been investigated. Two commercial hardmetals were tested, which differed in hard phase composition. The results show exposure to this environment to have a highly detrimental influence on the strength of both hardmetals investigated, due to localised corrosive attack which results in the formation of stress raisers. The relative loss in strength as a function of corrosion time is the same for both hardmetals. However, the performance of the two grades differ significantly when a static load is applied in this corrosive environment: the strength of the WC-Co grade remains unaffected by the applied load, while the grade containing a mixed carbide phase exhibits stress corrosion cracking which results in a further reduction in strength.     

A comparative study of the electrical and mechanical properties of epoxy nanocomposites reinforced by CVD- and arc-grown multi-wall carbon nanotubes

In this study, three different types of multi-wall carbon nanotubes (MWCNTs) were compared as nanostructured reinforcements in epoxy polymers: commercially available CVD-MWCNTs, synthesised in an industrial process, aligned-CVD-MWCNTs and arc-grown MWCNTs, both obtained from a lab-scale processes. The nanocomposite properties were characterised by means of electron microscopy, rheological, electrical and mechanical methods. Industrial CVD-MWCNTs are favourable for the implication of an electrical conductivity in the epoxy due to their high tendency to form conducting networks. The less entangled structure of aligned-CVD-MWCNTs turns out to be favourable for an easy dispersion and low viscosity in epoxy at similar conductivities compared to the CVD-MWCNTs. Additionally, they provide the highest increase in fracture toughness (∼17%). Arc-grown MWCNTs do not offer any electrical conductivity in epoxy without sufficient purification methods. Their high level of impurities and short length further complicate the transfer of their good electrical and mechanical properties into the nanocomposite.     

Phosphorus magnetic resonance spectroscopic imaging using flyback echo planar readout trajectories

Object

To present and evaluate a fast phosphorus magnetic resonance spectroscopic imaging (MRSI) sequence using echo planar spectroscopic imaging with flyback readout gradient trajectories.

Materials and Methods

Waveforms were designed and implemented using a 3 Tesla MRI system. ³¹P spectra were acquired with 2 × 2 cm² and 3 × 3 cm² resolution over a 20- and 21-cm field of view and spectral bandwidths up to 1923 Hz. The sequence was first tested using a 20-cm-diameter phosphate phantom, and subsequent in vivo tests were performed on healthy human calf muscles and brains from five volunteers.

Results

Flyback EPSI achieved 10× and 7× reductions in acquisition time, with 68.0 ± 1.2 and 69.8 ± 2.2% signal-to-noise ratio (SNR) per unit of time efficiency (theoretical SNR efficiency was 74.5 and 76.4%) for the in vivo experiments, compared to conventional phase-encoded MRSI for the 2 × 2 cm² and 3 × 3 cm² resolution waveforms, respectively. Statistical analysis showed no difference in the quantification of most metabolites. Time savings and SNR comparisons were consistent across phantom, leg and brain experiments.

Conclusion

EPSI using flyback readout trajectories was found to be a reliable alternative for acquiring ³¹P-MRSI data in a shorter acquisition time.

     

Expression of Connexin43 Stimulates Endothelial Angiogenesis Independently of Gap Junctional Communication In Vitro

Connexins (Cx) form gap junctions (GJ) and allow for intercellular communication. However, these proteins also modulate gene expression, growth, and cell migration. The downregulation of Cx43 impairs endothelial cell migration and angiogenetic potential. Conversely, endothelial Cx43 expression is upregulated in an in vivo angiogenesis model relying on hemodynamic forces. We studied the effects of Cx43 expression on tube formation and proliferation in HUVECs and examined its dependency on GJ communication. Expectedly, intercellular communication assessed by dye transfer was linked to Cx43 expression levels in HUVECs and was sensitive to a GJ blockade by the Cx43 mimetic peptide Gap27. The proliferation of HUVECs was not affected by Cx43 overexpression using Cx43 cDNA transfection, siRNA-mediated knockdown of Cx43, or the inhibition of GJ compared to the controls (transfection of an empty vector, scrambled siRNA, and the solvent). In contrast, endothelial tube and sprout formation in HUVECs was minimized after Cx43 knockdown and significantly enhanced after Cx43 overexpression. This was not affected by a GJ blockade (Gap27). We conclude that Cx43 expression positively modulates the angiogenic potential of endothelial cells independent of GJ communication. Since proliferation remained unaffected, we suggest that Cx43 protein may modulate endothelial cell migration, thereby supporting angiogenesis. The modulation of Cx43 expression may represent an exploitable principle for angiogenesis induction in clinical therapy.     

Software for high radix on-line arithmetic

High radix on-line arithmetic provides an efficient method for performing variable-precision arithmetic. It can be implemented on conventional microprocessors using sequences of three operand instructions. This paper presents software support for high radix on-line arithmetic. This software includes emulation modules for high radix operations, and a precision analysis program for setting the input and intermediate variable tolerances necessary for guaranteed result accuracy over a specified domain.     

Slip Control System for a Deep-Sea Mining Machine

Tracked vehicles capable of locomotion in the deep sea are used for manganese nodule mining. This requires specific technical solutions in various respects. Locomotion in the soft sea bed is one of them. For the Crawler to safely maneuver, an automatic drive mode with slip control of the driving tracks is essential. Based on experimental studies at IKS, University of Siegen, slip control for the NIOT-IKS mining machine has been developed and implemented. The experimental setup for the development of the slip control along with the logic of the automatic driving mode is described. The system is critically discussed and the test results and future work are briefly outlined. Note to Practitioners-The work is carried out as part of the polymetallic nodule mining program of the Government of India. The technique of slip control is a specific requirement for a tracked vehicle used in the deep sea. Slip is common in many vehicles-tracked and otherwise. Examples are steam engines in the early days and ordinary cars while negotiating slush or snow/ice and dozers working in soft soil. While these are manually controlled by drivers who have firsthand knowledge of the environmental conditions, in the case of a mining machine in deep sea, it has to be completely automatic and, hence, is challenging. The knowledge generated in this work could be effectively used by practitioners in other related areas of automobile engineering for updating their expertise. Also, similar techniques may be used for maneuvering vehicles sent to other planets     

View-based propagator derivation

When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear constraints both with unit and non-unit coefficients? Constraint variants are ubiquitous: implementing them requires considerable (if not prohibitive) effort and decreases maintainability, but will deliver better performance than resorting to constraint decomposition. This paper shows how to use views to derive propagator variants, combining the efficiency of dedicated propagator implementations with the simplicity and effortlessness of decomposition. A model for views and derived propagators is introduced. Derived propagators are proved to be perfect in that they inherit essential properties such as correctness and domain and bounds consistency. Techniques for systematically deriving propagators such as transformation, generalization, specialization, and type conversion are developed. The paper introduces an implementation architecture for views that is independent of the underlying constraint programming system. A detailed evaluation of views implemented in Gecode shows that derived propagators are efficient and that views often incur no overhead. Views have proven essential for implementing Gecode, substantially reducing the amount of code that needs to be written and maintained.     

Automatic verification of Java programs with dynamic frames

Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs Leavens et al. (Formal Aspects Comput (FACS) 19:159–189, 2007). The dynamic frames approach is a promising solution to this problem. However, the approach is formalized in the context of an idealized logical framework. In particular, it is not clear the solution is suitable for use within a program verifier for a Java-like language based on verification condition generation and automated, first-order theorem proving. In this paper, we demonstrate that the dynamic frames approach can be integrated into an automatic verifier based on verification condition generation and automated theorem proving. The approach has been proven sound and has been implemented in a verifier prototype. The prototype has been used to prove correctness of several programming patterns considered challenging in related work.     

Seeing size and feeling weight: the size-weight illusion in natural and virtual reality

OBJECTIVE: We experimentally tested the degree that the size-weight illusion depends on perceptual conditions allowing the observer to assume that both the visual and the kinesthetic stimuli of a weight seen and lifted emanate from the same object. We expected that the degree of the illusion depended on the "realism" provided by different kinds of virtual reality (VR) used when the weights are seen in virtual reality and at the same time lifted in natural reality. BACKGROUND: Welch and Warren (1980) reported that an intermodal influence can be expected only if perceptual information of different modalities is compellingly related to only one object. METHOD: Objects of different sizes and weights were presented to 50 participants in natural reality or in four virtual realities: two immersive head-mounted display VRs (with or without head tracking) and two nonimmersive desktop VRs (with or without screening from input of the natural environment using a visor). The objects' heaviness was scaled using the magnitude estimation method. RESULTS: Data show that the degree of the illusion is largest in immersive and lowest in nonimmersive virtual realities. CONCLUSION: The higher the degree of the illusion is, the more compelling the situation is perceived and the more the observed data are in correspondence with the data predicted for the illusion in natural reality. This shows that the kind of mediating technology used strongly influences the presence experienced. APPLICATION: The size-weight illusion's sensitivity to conditions that affect the sense of presence makes it a promising objective presence measure.