A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Synthesis and characterization of poly(siloxane-urethane)s

A series of polyurethane block copolymers based on hydroxy-terminated polydimethylsiloxane and poly(propylene glycol) soft segments of molecular weights 1818 and 2000, respectively, were synthesized. The hard segments consisted of 4,4′-diphenylnethane diisocyanate and 1,4-butanediol as the chain extender. Samples with different molar ratios were prepared. We tried to synthesize polydimethylsiloxane-based polyurethanes (PDMS-PU) containing a hard block as major fraction and a soft block as minor fraction for preparing toughened rigid systems. After a study of the pure polydimethylsiloxane-based polyurethane and poly(propylene glycol)-based polyurethane (PPG-PU), (mixed polyol)-based block copolymers and blends of PDMS-PU and PPG-PU were synthesized, and characterized by means of differential scanning calorimetry, tensile testing and scanning electron microscopy. In (mixed polyol)-based copolymers and lower hard-segment content blends, macro-phase separation occurred, but blends with higher hard-segment contents showed significant reduction in amounts of phase separation.     

Influence of the silicon surface treatment by plasma etching and scratching on the nucleation of diamond grown in HFCVD - a comparative study

A comparative study for the nucleation of diamond was carried out using surface treatment like (i) surface scratching with 1 μm diamond paste and (ii) surface etching using chlorine plasma at different RF powers (50, 100 and 150 W). Atomic force microscopic study shows variation in roughness from 31 nm to 110 nm. Scratching results in random scratches, whereas plasma etches a surface uniformly. Scanning electron microscopic observations show well faceted crystallites with a predominance of angular shaped grains corresponding to 〈100〉 and 〈110〉 crystallite surfaces for the scratched as well as plasma etched substrate. Surface etching at 150 W plasma power results in a better growth in comparison with 50 and 100 W plasma powers. Chlorine-radical is found responsible for the changes in the growth morphology. Raman spectroscopy shows a sharp peak at 1,332 cm⁻¹ and a peak at ∼1,580 cm⁻¹ for both samples.     

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.     

Surface characterization of PET nonwoven fabric treated by He/O2 atmospheric pressure plasma

The surface of polyethyleneterephthalate (PET) nonwoven fabric was modified by He/O₂ atmospheric pressure plasma treatment, varying plasma exposure time. The plasma treated PET surfaces have been analyzed to investigate the chemical nature and morphology of surface by X‐ray photoelectron spectroscopy (XPS) and atomic force microscopy (AFM), respectively. The change of wettability was measured depending on plasma exposure time. XPS results indicated the presence of oxygen‐based functional groups on the PET nonwoven fabric surface after plasma treatment and oxygen content increased as exposure time increased. The mean roughness increased after 30 s exposure and further increase in exposure to 60 s led to decrease of the roughness and then again increase. The root mean square roughness followed the similar trend to mean roughness. The average difference in height, Rz, increased after plasma exposure for 30 s, while it slightly decreased after 60 s exposure. Despite of redeposition, the Rz of 90 s exposed sample increased more than two times compared with those of 30 and 60 s exposed. Wettability increased progressively up to 10 times after 90 s exposure compared with the untreated. It is attributed to the increases of hydrophilicity and surface roughness. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Structure and processability of iodinated poly(vinyl alcohol). IV. Drawability of the films iodinated at solution before casting

The drawability of iodinated at solution before casting (IBC) polyvinyl alcohol films prepared by casting aqueous solutions of 10 wt % PVA containing 15.2, 39.8, 83.2, 117.0, and 140.1% was examined with a tensile tester at 20–60°C. The tensile behavior of IBC films showed that the yield and breaking loads were much lower, and the breaking elongation was even higher than those of the unoriented iodinated after casting (IAC) films as well as the untreated PVA films. The maximum draw ratios of the films with the weight gain of 15.2, 39.8, 83.2, 117, and 140.1% were 4.5, 5.5, 8.5, 8.0, and 7.5, respectively, which were achieved at 20°C in all. The crystallinity of all films increased by the maximum draw, regardless of crystallinity before drawing. The crystalline structure was recovered to the original PVA crystalline lattice by deiodination. Amorphous orientation and initial moduli increased with the maximum draw ratio, while the orientation of crystals was constant. The orientation and moduli increased up to the weight gain of 83.2%, whose highest draw ratio and initial modulus were 8.5 and of 7.1 GPa, respectively, and then decreased. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 2008     

Polysaccharide‐based artificial extracellular matrix: Preparation and characterization of three‐dimensional,macroporous chitosan,and heparin composite scaffold

Scaffold‐guided tissue engineering based on synthetic and natural occurring polymers has gained many interests in recent year. In this study, the development of a chitosan‐heparin artificial extracellular matrix (AECM) is reported. Three‐dimensional, macroporous composite AECMs composed of heparin (Hep) and chitosan (Chito) were prepared by an interpolyelectrolyte complex/lyophilization method. The Chito‐Hep composite AECMs were, respectively, crosslinked with glutaraldehyde, as well as cocrosslinked with N,N‐(3‐dimethylaminopropyl)‐N′‐ethyl carbodiimide (EDC/NHS) and N‐hydroxysuccinimide (NHS). The crosslinking reactions were examined by FT‐IR analysis. In physiological buffer solution (PBS), the EDC/NHS‐crosslinked Chito‐Hep composite AECM showed a relative lower water retention ratio than its glutaraldehyde‐crosslinked counterparts. The EDC/NHS‐crosslinked Chito‐Hep composite AECMs showed excellent biocompatibility, according to the results of the in vitro cytotoxic test. This result suggested that the EDC/NHS‐crosslinked Chito‐Hep composite AECMs might be a potential biomaterial for scaffold‐guided tissue engineering applications. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Manufacturing and structural safety evaluation of a composite train carbody

This paper explains the manufacturing process of a composite train carbody with a sandwich composite structure for bodyshell and a stainless steel structure for the under frame. In addition, the structural behavior and safety of the composite carbody of the Korean tilting train was investigated by the static load tests. From the test results, the stiffness of the composite carbody met the specified design. In the aspect of strength, the maximum stress of the composite bodyshell was of 12.2% of strength of CF1263 carbon/epoxy.     

An interactive multiple-response simulation optimization method

This study proposes a new interactive multicriteria method for determining the best levels of the decision variables needed to optimize a stochastic computer simulation with multiple response variables. The method, called the Pairwise Comparison Stochastic Cutting Plane (PCSCP) method, combines good features from interactive multiple objective mathematical programming and response surface methodology. The major characteristics of the PCSCP method are: (1) it interacts progressively with the decision-maker (DM) to obtain her preferences, (2) it uses experimental design to explore the decision space adequately while reducing the burden on the DM, and (3) it uses the preference information provided by the DM and the sampling error in the responses to reduce the decision space. The mechanics of the method are illustrated with a numerical example. Some computational studies evaluating the method are also reported.