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.     

Refactoring and converting a TTCN-2 test suite

When deploying TTCN-3 at Nokia, we converted two TTCN-2 test systems to TTCN-3. We explain to which extend we have been able to do the conversion automatically. The conversion tool used provided a syntactically and semantically correct conversion of the TTCN-2 code. We define some improvements made on the tool to increase readability and maintainability of the resulting code. We cover aspects of converting also the non-TTCN-2 parts and describe the experiences we made as a set of lessons learnt.     

Signature analysis and defect detection in layered manufacturing of ceramic sensors and actuators

This paper presents the concept of a process signature for the use of online signature analysis and defect detection in the layered manufacturing (LM) of ceramic sensors and actuators. To achieve the high quality of parts built by the fused deposition of ceramics (FDC), an online process-monitoring system is implemented to detect the processing defects. Using a process signature extracted from the image of a layer captured by the monitoring system, an ideal image is created that is then compared to the original image to detect and identify the defects. Some results of signature analysis and defect detection for single-material and multi-material parts are also presented.Received: 22 July 1999, Accepted: 21 October 2001, Published online: 29 October 2003 Correspondence to: Mohsen A. JafariThis work was supported by the Office of Naval Research under grant # N-0014-96-1-1175. Ref. US Patent # S-5738817, April 14, 1998.