From Predication to Programming

A free logic is one in which a singular term can fail to refer to an existent object, for example, `Vulcan' or `5/0'. This essay demonstrates the fruitfulness of a version of this non-classical logic of terms (negative free logic) by showing (1) how it can be used not only to repair a looming inconsistency in Quine's theory of predication, the most influential semantical theory in contemporary philosophical logic, but also (2) how Beeson, Farmer and Feferman, among others, use it to provide a natural foundation for partial functions in programming languages. Vis à vis (2), the question is raised whether the Beeson-Farmer-Feferman approach is adequate to the treatment of partial functions in all programming languages. Gumb and the author say No, and suggest a way of handling the refractory cases by means of positive free logic. Finally, Antonelli's solution of a problem associated with the Gumb-Lambert proposal is mentioned.     

影响负荷预测准确性因素与对策

介绍了镇江供电公司负荷预测的基本情况,阐述了影响负荷预测准确性的几个最关键的因素,并针对这些因素结合镇江电网负荷预测工作的经验教训提出相应对策.通过实践证明,这些办法和措施是行之有效的.     

钻前井壁稳定预测方法的研究

国内外对井壁稳定研究一般都在钻井过程中或钻井结束后进行,通过钻井、测井、录井和岩心资料的综合分析,确定井壁失稳主导机理,选择安全泥浆密度与泥浆体系,该方法相对容易且符合研究井的实际工程要求,但得到结果的实用性易受地质构造影响。此外,野猫井的井壁稳定性一般凭经验判断,所以复杂地层的井壁失稳事故在所难免。为此,本文在神经网络的基础上,研究了利用地震资料钻前预测井壁稳定性的方法,建立了井壁稳定性钻前预测模型,该模型在现场得到较为成功的应用。至目前国内外在这一领域的研究还是空白。     

一种雷达自动举升系统的设计

为获得雷达的高机动性,我们针对雷达的自动架设撤收要求,将液压传动系统应用于自动举升系统中。本文详细阐述和论证了一种液压系统的设计,并对其可靠性预测作了一些探讨。     

中国造纸工业发展趋势研究

对造纸工业的供需现状及趋势;产业组织结构的现状及趋势;行业发展三大驱动因素及对应的发展趋势;行业增长来源等进行了深入地分析预测.     

地震反演技术在冀东油田A构造储层预测中的应用

分析了冀东油田A构造储层预测的难点,同时应用稀疏脉冲反演方法对A构造进行了反演,得到了各层段的砂岩厚度和砂岩百分含量,并以馆陶组一段为例进行了说明.反演中,密度受井径影响很大,应该对其进行校正,在分析储层岩石物理特征的基础上,给出了校正方法,使得砂、泥岩地层得到了很好的划分,缓解了砂泥岩波阻抗叠置的程度.依据地震反演提...     

层序地层学与源-汇系统理论内在关联性与差异性

层序地层学与源-汇系统理论方法体系不仅先进而且得到广泛应用,深入探讨二者内在关联与差异性对地学相关学科、领域协同发展意义重大。层序地层学核心在于建立沉积区高精度等时地层格架,揭示格架内沉积充填过程、时空分布序列及成因机制;而源-汇系统分析,进一步将研究范畴向搬运区、物源区拓展,从多维度示踪沉积物剥蚀、搬运和堆积的动态响应过程,进而综合厘定沉积物从源到汇全过程的动力驱动机制、原型格局。层序地层学与源-汇系统间内在关联性和继承性集中于盆地等时地层格架内剥蚀-沉积响应过程表征解析及沉积体定量化预测;差异性主要体现为刻画表征关键要素与层序内幕单元结构两方面。未来层序地层学和源-汇系统方法体系有望在应用标准化、古今结合及多学科和多参数定量化分析预测等方面得到快速发展。     

缓动点目标检测技术中候选轨迹确定算法

本文讨论了低信噪比条件下缓动点目标检测技术中候选轨迹的确定算法。文章首先给出了计数积累和线性预测的一般方法，然后提出了一种基于计数积累、线性预测和轨迹约束的候选轨迹确定以及实现检测的算法，最后是算法性能分析。     

Resolution of ambiguity in Chinese and its application to machine translation

In this paper, we present a typology of ambiguity in Chinese, which includes morphological, lexical, syntactic, semantic, and contextual ambiguities. Examples are shown for each type of ambiguity and sometimes for subtypes. Ambiguity resolution strategies used in the ALICE machine translation system are presented in various levels of detail. A disambiguation model, called Four-Step, is proposed for resolving syntactic ambiguities involving serial verb construction and predication. As the name suggests, the model comprises four steps-well-formedness checking, preference for argument readings, precondition checking, and late closure. For resolving semantic ambiguity, we propose a new formalism, called Semantic Functional Grammar (SFG), to deal with the resolution problem. SFG integrates the concept of Semantic Grammar into Lexical-Functional Grammar (LFG) such that the functional structure (f-structures) include semantic functions in addition to grammatical functions. For dealing with lexical and contextual ambiguities, we briefly describe the mechanisms used in the ALICE system. As for morphological ambiguity, the resolution is a problem of word-boundary decision (segmentation) and is beyond the scope of this research. The mechanisms presented in the paper have been successfully applied to the translation of Chinese news headlines in the ALICE system.This research was supported partly by the Industrial Technology Research Institute, Taiwan under a grant for doctoral study to this author.     

区域用电量短期预测的一种方法

本文介绍一种新型的区城用电量短期预测的方法──递推预测法。实例表明，本方法是可行的、准确的。