轴对称问题线元上分布奇点的诱导速度势和诱导速度

本文给出轴对称问题线元上高次分布源和偶极在无界域中的诱导速度势和诱导速度的计算公式,可供用分布奇点法求解轴对称势流问题时参考.     

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.     

Adsorption and inhibitive properties of benzimidazole derivatives in acid mild steel corrosion

Eight diazoles were investigated as corrosion inhibitors of mild steel in 1 M hydrochloric acid using gravimetric and polarization techniques. It was found that the inhibition efficiency increased with the increase of organic substrate concentration, while the adsorption followed the Frumkin isotherm. A correlation between the electronic parameters (induction and mesomeric effects of the substituents, ionization potential values) as well as those of the chemical structure (molecular area) of diazoles molecules and their inhibiting properties was looked for. The results obtained show that a definite interdependence exists but it is not as simple and straightforward as might be expected.     

示例学习的扩张矩阵理论

本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.     

Modified CIELAB formula tested using a textile pass/fail data set

The proposed new color-difference formula of CIE TC 129, which is a modified version of CIELAB, was tested with a recently published data set of textile pass/fail judgments. Goodness of fit is improved, if the parameter of lightness is set near 2, and if, additionally, a weight function for lightness is defined that reduces the weight of a lightness difference with lightness level in relation to chroma or hue scaling. © 1994 John Wiley & Sons, Inc.     

准噶尔盆地三台-北三台地区第三系勘探潜力分析

从沉积及储层组合、油气运移系统等方面全面剖析了准噶尔盆地三台-北三台地区第三系油气成藏条件，建立了成藏模式，对未钻探区勘探潜力进行了预测；通过分析，认为该区第三系储层物性主体差，断裂更多地表现为封闭性，导致沟通深部油气源的运移体系不畅，致使第三系圈闭不能有效捕获和储集油气。圈闭又比较匮乏，主体勘探潜力不大。北25井西背斜紧邻多期活动的甘诃子北断裂，第三系可能发育较好的储层，相对有利，北25井西背斜应是钻探第三系的首选目标。     

ZZ3200-14.5/28型支架快速倒装的实践

根据桃园矿单翼相邻工作面倒装的实践,从加快综采设备的搬家速度、提高劳动效率方面,简述桃园矿综采快速倒装的几点主要做法。     

Distinctive Features of Minimization of a Risk Functional in Mass Data Sets

A statistical learning model is considered within the framework of the theory of uniform convergence of frequencies of errors in the case where the convergence is violated as a result of increasing the informativeness of training examples. Drawbacks of nonconstructive refinements of Vapnik-Chervonenkis estimates based on an assumption on the distribution law of violations are shown. A new approach to obtaining constructive estimates for mass data sets is proposed.     

用Install Shield制作安装程序

简要介绍了用 Install Shield软件制作安装程序的必要性 ,结合实例阐述了应用 Install Shield制作安装程序的步骤 ,并给出了学习制作安装程序的基本思路和方法。     

On the Locus of Speed-Accuracy Trade-Off in Reaction Time: Inferences From the Lateralized Readiness Potential.

Lateralized readiness potentials (LRPs) were used to determine the stage(s) of reaction time (RT) responsible for speed-accuracy trade-offs (SATs). Speeded decisions based on several types of information were examined in 3 experiments, involving, respectively, a line discrimination task, lexical decisions, and an Erikson flanker task. Three levels of SAT were obtained in each experiment by adjusting response deadlines with an adaptive tracking algorithm. Speed stress affected the duration of RT stages both before and after the start of the LRP in all experiments. The latter effect cannot be explained by guessing strategies, by variations in response force, or as an indirect consequence of the pre-LRP effect. Contrary to most models, it suggests that SAT can occur at a late postdecisional stage. (PsycINFO Database Record (c) 2010 APA, all rights reserved)