计算机与智力:推理过程的机械化

在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。     

数列极限比较理论

给出数列极限比较式定义 ,由此简明地导出极限理论 .证明了该定义等价于原定义(ε-N) ,以及单调子列定理、单调归结原则等 .该理论不仅便于教学 ,而且揭示了数列极限可归结到单调数列 ,最终归结到自然数列     

模态系统T的Herbrand定理

模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.     

基于繁殖规律的生猪市场供应模型

生猪生产具有发散性蛛网效应的特点,目前市场的波动正在加剧之中。基于生猪繁殖的自然规律特点,构建了一个易于分析与预测的生猪生产模型。分析显示,目前的生猪市场正在酝酿一场新的危机。导致市场波动的根源在于及时、准确信息的缺失,致使养殖者对母猪盲目的补栏。     

Fuzzy属性文法的分解定理与表现定理

提出了广义 Fuzzy 集合与 Fuzzy 属性文法的概念,并给出了 Fuzzy 属性文法的分解定理与表现定理,从两个不同的角度阐明了 Fuzzy 属性文法与普通文法以及它们的代数结构之间的关系。     

An application of the Bernoulli part to local limit theorems for moving averages on stationary sequences

We consider partial sums S_n of a general class of stationary sequences of integer-valued random variables, and we provide sufficient conditions for S_n to satisfy a local limit theorem. To prove this result, we introduce a concept called the Bernoulli part. The amount of Bernoulli part in S_n determines the extent to which the density of S_n is relatively flat. If in addition S_n satisfies a global central limit theorem, the local limit theorem follows.     

关于p-凸泛函族的共鸣定理

共鸣定理是泛函分析中重要的基础定理之一,其形式也有多种变化。在[1]—[5]中讨论了一类共鸣定理,即所谓凸泛函族的共鸣定理。由于凸分析的广泛运用性,凸性的概念有必要进一步推广。本文首先给出p-凸性的概念,p-凸集和p-凸泛函具有完全类似于凸集和凸泛函的性质,然后导出了在拓扑向量空间及赋范空间中p-凸泛函族的几个共鸣定理,推广了文[1]—[5]中的相应结果。     

On Berry-Esseen theorem for some functions of U-statistics

The rate of convergence in the central limit theorem and in the random central limit theorem for some functions of U-statistics are established. The theorems refer to the asymptotic behaviour of the sequence {g(U_n),n≥1}, where g belongs to the class of all differentiable functions g such that g′εL(δ) and U_n is a U-statistics.     

UNIX中对多种文件系统类型的支持

介绍了ＵＮＩＸ下通过虚拟文件系统接口实现多文件系统类型支持的技术，分析了ＡＩＸ操作系统中虚拟文件系统接口的实现。在此基础上对支持用户实现自己的文件系统存在的问题与困难进行了分析与研究，提出了一种较方便实现新的文件系统的方法。该方法利用了已有文件系统的现成代码，大大减少了开发工作的难度与工作量。