On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

Methylaluminoxane/haloalkane as initiator system for styrene polymerization

Summary Styrene polymerization was initiated by methylaluminoxane in the presence of haloalkane. The propagating species are shown by trapping experiments and electron paramagnetic resonance to be both radicals and cations.     

Rugorous analysis of planar waveguides with two-dimensionally periodic layer

Rigorous analysis of planar waveguides with two-dimensionally periodic (2DP) layer is presented. Characteristic solutions in periodic layer are exactly represented by a double Fourier series known as the Floquet solutions. The vector amplitudes of space harmonics are proved to be governed by five-term recurrence relation in the operator-vector form for sinusoidal modulation. A general transmission-line network representation of two-dimensionally periodic medium and multiport network representation of uniform-periodic-medium interface are introduced. Any layered structures cascading with periodic ones can be analyzed. Numerical results based on the established theory are also presented to illustrate characteristics of 2DP medium and structure.     

空间三重奏

设计的确是一项非常有趣的工作，就如同一位导演运用出色的技巧掌控有限的预算，为观众呈现令人回味的剧情，逼真的音效和异彩纷呈的视觉映像，这无疑是三个紧密相扣的环。     

悬浮床加氢裂化油溶性催化剂与沥青质的作用

在高压釜反应器中对添加了油溶性 Ni 催化剂(UPC-O)和水溶性 Ni 催化剂(UPC-W)的辽河稠油常压渣油(LHAR)进行了悬浮床加氢裂化实验。通过元素分析和傅里叶变换红外光谱(FTIR)分析对抑制反应生焦效果好的 UPC-O 与 LHAR 沥青质的作用进行了研究。元素分析结果显示,在 LHAR 中加入 UPC-O1000μg/g,沥青质和脱沥青质油中 Ni 含量分别出476μg/g和110μg/g 增加到7 559μg/g 和1 024μg/g,表明 UPC-O 在沥青质中有富集的趋势。FTIR 表征结果显示,UPC-O 和沥青质发生了相互作用。UPC-O 可在沥青质原位硫化为活性组分,对沥青质在悬浮床加氢裂化反应中的缩合起到好的抑制作用。     

2#板坯连铸机振动台故障分析及改造

论述了银山型钢有限公司炼钢厂2#板坯连铸机自投产以来其振动台存在的问题，根据实际情况分析论证并进行改造实施，实施后效果明显。     

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     

Synthesis and aqueous solution behaviors of sodium sulfonate‐terminated dendritic poly(ester‐amine)

Sodium sulfonate‐terminated dendritic poly(ester‐amine) (SPEA) was synthesized by sulfonation of acrylic double bond‐terminated dendritic poly(ester‐amine) (APEA) with sodium hydrogen sulfite (NaHSO₃) in mixture of diglycol and 2‐butanone under normal pressure. The structure of SPEA was characterized by IR, ¹H‐NMR, and elemental analysis. SPEA was water‐soluble. 1.0–40.0% (mass) SPEA aqueous solutions appeared as dilatant fluid. When pH value varied from 1.5 to 12.0, the viscosity of 1–5% (mass) SPEA aqueous solutions changed very small, and the electric conductivity almost kept stable within pH 3.0–10.0. The relationship between the viscosity and the concentration of SPEA water solutions was similar to that of NaCl water solutions. The surface tension of SPEA water solutions was lower than that of polyethylene glycol 2000 water solutions with the same concentration. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2008     

Synthesis and properties of novel amphiphilic sulfated ionomers by the ring‐opening reaction of an epoxidized styrene–butadiene–styrene triblock copolymer

A method for the synthesis of novel sulfated ionomer of styrene–butadiene–styrene triblock copolymer (SBS) was developed. SBS was first epoxidized by performic acid in the presence of a phase‐transfer catalyst; this was followed by a ring‐opening reaction with an aqueous solution of alkali salt of bisulfate. The optimum conditions for the ring‐opening reaction of the epoxidized SBS with an aqueous solution of KHSO₄ were studied. During the ring‐opening reaction, both phase‐transfer catalyst and ring‐opening catalyst were necessary to enhance the conversion of epoxy groups to ionic groups. The products were characterized with Fourier transform infrared spectrophotometry and transmission electron microscopy (TEM). After the potassium ions of the ionomer were substituted with lead ions, the lead sulfated ionomer exhibited dark spots under TEM. Some properties of the sulfated ionomer were studied. With increasing ionic groups or ionic potential of the cations, the water absorbency and emulsifying volume of the ionomer and the intrinsic viscosity of the ionomer solution increased, whereas the oil absorbency decreased. The sulfated ionomer possessed excellent emulsifying properties compared with the sulfonated SBS ionomer. The sodium sulfated ionomers in the presence of 10% zinc stearate showed better mechanical properties than the original SBS. When the ionomer was blended with crystalline polypropylene, a synergistic effect occurred with respect to the tensile strength. The ionomer behaved as a compatibilizer for blending equal amounts of SBS and oil‐resistant chlorohydrin rubber. In the presence of 3% ionomer, the blend exhibited much better mechanical properties and solvent resistance than the blend without the ionomer. SEM photographs indicated improved compatibility between the two components of the blend in the presence of the ionomer. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2008