Formal Verification of Full-Wave Rectifier: A Case Study

We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.

Delamination Tolerance in Composites under Fatigue Loading

Delamination is one of the most commonly occurring defects in laminated composite structures. Under operating fatigue loads on the laminate this delamination could grow and totally delaminate certain number of layers from the base laminate. This will result in loss of both compressive residual strength and buckling margins available. In this paper, geometrically non-linear analysis and evaluation of Strain Energy Release Rates using MVCCI technique is presented. The problems of multiple delamination, effect of temperature exposure and delamination from pin loaded holes are addressed. Numerical results are presented to draw certain inferences of importance to design of high technology composite structures such as aircraft wing.

Non-Destructive Evaluation of Defects and Damage in Composite Materials and Structures

The mechanical behaviour of composite materials differs from that of conventional structural materials owing to their heterogeneous and anisotropic nature. Different types of defects and anomalies get induced in these materials during the fabrication process. Further, during their service life, the components made of composite materials develop different types of damage. The performance and life of such components is governed by the combined effect of all these defects and damage. While porosity, voids, inclusions etc., are some defects those can get induced during the fabrication of composites, matrix cracks, interface debonds, delaminations and fiber breakage are major types of service induced damage which are of concern. During the service life of components made of composites, one type of damage can grow and initiate another type of damage. For example, matrix cracks can gradually grow to the interface and initiate debonds. Interface debonds in a particular plane can lead to delaminations. Consequently, the combined effect of different types of distributed damage causes the failure of the component. A set of non-destructive evaluation (NDE) methods is well established for testing conventional metallic materials. Some of them can also be utilized for composite materials as they are, and in some cases with a little different approach or modification. Ultrasonics, Radiography, Thermography, Fiber Optics, Acoustic Emision Techniques etc., to name a few. Detection, evaluation and characterization of different types of defects and damage encountered in composite materials and structures using different NDE tools is discussed briefly in this paper.

Durability of rammed earth walls exposed for 20 years to natural weathering

This paper presents a study on the durability of different types of stabilised and unstabilised rammed earth walls. These rammed earth walls were constructed and exposed for 20 years to natural weathering, in a wet continental climate. None of these walls have shown complete collapse to date. A method to measure the rammed earth walls erosion by stereo-photogrammetry has been developed. The result shows that the mean erosion depth of the studied walls is about 2 mm (0.5% wall thickness) in the case of rammed earth wall stabilised with 5% by dry weight of hydraulic lime and about 6.4 mm (1.6% wall thickness) in the case of unstabilised rammed earth walls. The stabilisation enables to not use any plaster to protect the walls. In the case of the unstabilised rammed earth walls, an extrapolated lifetime longer than 60 years can be assessed. This shows a potential for the use of unstabilised rammed earth in the similar climatic conditions with this study. The method of stereo-photogrammetry used to measure the erosion of rammed earth walls on site may also help to calibrate and develop more pertinent laboratory test to assess the durability of rammed earth wall.

Spool valve mechanism used in a 20 K Gifford-McMahon cycle cryorefrigerator and its effect on the P-V diagram

The design and fabrication of a spool valve for a two-stage Gifford-McMahon cycle cryorefrigerator is described. The effect of this valve on the P-V diagram and practical methods of reducing the P-V degradation are also discussed.

Structure of Disodium Deoxyeytidine 5'-Phosphate Heptahydrate, C9H 12N30TP2-.2N a +. 7H 20

M,=477.3, orthorhombic, P2~2~2~, a= 6.719.(4), b=29.614(15), c= 9.559 (3) ~, Z=4, U-- 1902.0 A 3, D x = 1.67 Mg m -3, 2(Cu Ka) = 1.5418A, /~=l.90mm -1, T=290K. Final R for 1809 observed reflections is 0.045. The structure shows an unusual gauche-trans conformation about the C(4')-C(5') bond, while the sugar pucker [C(3')-exo] and glycosidic torsion angle [)CCN = 70.2 (5) °, anti] are normal. The two Na + ions do not interact with the molecule directly, being completely surrounded by water molecules. The cytosine bases are stacked, with a separation distance of 3.36 (5) A.

Two stage Gifford-McMahon cycle cryorefrigerator operating at 20 K

A two stage Gifford-McMahon cycle cryorefrigerator operating at 20 K is described. This refrigerator uses a very simple ‘spool valve’ and a modified indigenous compressor to compress helium gas. This cryorefrigerator reaches a lowest temperature of 15.5 K; it takes ≈ 50 min to reach 20 K and the cooling capacity is ≈ 2.5 W at 25 K. The cool-down characteristics and load characteristics are presented in graphical form. The effect of changing the operating pressure ratio and the second stage regenerator matrix size are also reported. Pressure-volume (P-V) diagrams obtained at various temperatures indicate that P-V losses form the major fraction of the total losses and this becomes more pronounced as the temperature is decreased. A heat balance analysis shows the relative magnitudes of various losses.

Retrogressed eclogite (20 kbar, 1020 °C) from the Neoproterozoic Palghat–Cauvery suture zone, southern India

The Palghat–Cauvery suture zone in southern India separates Archaean crustal blocks to the north and the Proterozoic Madurai block to the south. Here we present the first detailed study of a partially retrogressed eclogite (from within the Sittampundi anorthositic complex in the suture zone) that occurs as a 20-cm wide layer in a garnet gabbro layer in anorthosite. The eclogite largely consists of an assemblage of coexisting porphyroblasts of almandine–pyrope garnet and augitic clinopyroxene. However, a few garnets contain inclusions of omphacite. Rims and symplectites composed of Na–Ca amphibole and plagioclase form a retrograde assemblage. Petrographic analysis and calculated phase equilibria indicate that garnet–omphacite–rutile–melt was the peak metamorphic assemblage and that it formed at ca. 20 kbar and above 1000 °C. The eclogite was exhumed on a very tight hairpin-type, anticlockwise P–T path, which we relate to subduction and exhumation in the Palghat–Cauvery suture zone. The REE composition of the minerals suggests a basaltic oceanic crustal protolith metamorphosed in a subduction regime. Geological–structural relations combined with geophysical data from the Palghat–Cauvery suture zone suggest that the eclogite facies metamorphism was related to formation of the suture zone. Closure of the Mozambique Ocean led to development of the suture zone and to its western extension in the Betsimisaraka suture of Madagascar.

A TEM study on TiB2-20%MoSi2 composite: Microstructure development and densification mechanism

We report the results of transmission electron microscopy (TEM) study, carried out on a hot-pressed TiB2-20 wt.%MoSi2 composite. One of the important microstructural observations includes the detection of crystalline TiSi2 at triple grain junctions. The densification mechanism is discussed, based on experimental observations and thermodynamic analysis