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）脉冲的产生和波长变换上的应用作了讨论。     

成德绵区域网络化制造工程方案设计

以成都、德阳和绵阳构成的区域为研究对象，分析了成德绵区域的制造业特点和网络化制造技术需求，论述了实施区域网络化制造工程对成德绵区域的意义，并进行了成德绵区域网络化制造工程的方案设计。     

专家系统应用于锅炉分气缸的设计和选型

基于专家系统的基本理论 ,根据锅炉分气缸设计、选型的特点和现场的实际条件 ,开发了锅炉分气缸设计、选型专家系统。该系统采用VisualC ++语言编程 ,模块结构 ,图形化用户界面等     

中小企业创业资源的形成机制研究

创业资源是创业的基础,创业过程的规律性和市场配置资源的基础作用影响和决定中小企业创业资源的内在功能和形成方式。对中小企业资源的形成机制进行了分析探讨,并分析了它们之间的内在关系。     

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.