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.     

准噶尔盆地加快天然气勘探有利条件及预探领域分析

准噶尔盆地天然气资源十分丰富,勘探潜力巨大。该盆地具备形成大气区的地质背景,发育石炭系、二叠系、侏罗系三套气源岩,演化程度高,气源条件充足;发育多类型、多套储集体和四套区域盖层,形成了有利的储盖组合及成藏配置。通过对五彩湾、滴西、莫索湾、莫北地区典型气藏的分析研究,该盆地发育多种气藏类型,包括构造型、古潜山型、火山岩内幕型及地层(不整合遮挡)型。通过研究指出,天然气勘探的现实领域有陆东—五彩湾地区、陆西—莫北—莫索湾地区;待突破的领域有腹部下组合大型古隆起及岩性气藏、南缘冲断带;正在准备的勘探领域主要为煤层气。     

A force modulation study on crystallization process in ferroelectric vinylidene fluoride and trifluoroethylene copolymer films

This paper introduces the Force Modulation technique to the study of crystallization process in ferroelectric vinylidene fluoride and trifluoroethylene copolymer films. Using this technique we have successfully visualized ferroelectric crystalline domains and observed that these ferroelectric domains grow out from amorphous phase, unite into strip-like structures, and finally congregate into a union. Force Modulation can weaken the influence of topography on imaging of ferroelectric domains, and reveal more details, which are difficult to be observed in topographical image.     

高非线性光纤及其应用

介绍了各种高非线性光纤的原理，并对其在超连续（SC）脉冲的产生和波长变换上的应用作了讨论。     

Computational Implementation of Asymmetric Integral Imaging by Use of Two Crossed Lenticular Sheets

We propose an asymmetric integral imaging method to adjust the resolution and depth of a three‐dimensional image. Our method is obtained by use of two lenticular sheets with different pitches fabricated under the same F/#. The asymmetric integral imaging is the generalized version of integral imaging, including both conventional integral imaging and one‐dimensional integral imaging. We present experimental results to test and verify the performance of our method computationally.     

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.     

共面转换液晶显示器中获得对比度高于1:600的新技术

薄膜晶体管液晶电视(TFT-LCD TV)因为具有薄、轻、紧凑和可随意放置的特点，已经占据了大部分电视机市场。除了这些物理特性以外，最重要的特性是已具有了良好像质的对比度。为了将对比度提高到1：600以上，对偏振片膜、背光源板、滤色片树脂、电极锥角和摩擦条件等都进行了研究。优化的背光板组合，光滑的电极锥角和摩擦方法的控制是提高对比度的主要控制因素。应用新开发的滤色片树脂，对获得高对比度最为有效。