抛物型方程初值问题的概率数值解法

Ｆｒｉｅｄｍａｎ在［１］中给出了一般抛物型方程Ｃａｕｃｈｙ问题解的概率表达式。在此基础上，给出了它的概率数值及其误差估计。     

一个临界情形的奇摄动拟线性二阶方程组的狄利克雷问题

研究了临界情形的拟线性二阶方程组的狄利克雷问题，证明了狄利克雷问题解的存在唯一性，并给出解的渐近展开式及余项，估计式．     

矩形管道层流流动近似计算

本文利用变分方法推出了矩形管道中完全发展段层流流动的速度,继而讨论了矩形管道中的流量、沿程阻力系数和压力损失等。实验结果表明,本文的分析是可靠的。     

浅析高校科研管理

本文从分析管理的重要性入手,提出了扭转和改进高校科研管理落后状况的途径。     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。     

试论经济责任审计风险的控制

经济责任审计有其特殊性，它的对象不是单位，而是人。针对经济责任审计风险成因的特殊性，提出了控制经济责任审计风险的防范措施。     

基于像素特征的路面裂缝图像自适应滤噪

分析了破损路面图像的像素点区域特征，针对不同区域提出加权邻域滤波和自适加权中值滤波算法。其权值是通过对图像中区域特征的推理得到的，所以算法中能根据图像的区域特征自适应的进行滤波。试验表明，本算法能够有效滤除噪声，并具有很好的细节保护能力。     

Impoverishment of Soil Nutrients in Gully Erosion Areas in Yuanmou Basin

The impoverishment of soil nutrients of nine gully head areas in Yuanmou Basin is assessed through an integrated evaluation method established on the basis of Fuzzy mathematics and multivariate mathematical theory. Results show that soil erosion of gully erosion area in Yuanmou basin has resulted in severe impoverishment of soil nutrients. All gully head areas are at high leves of impoverishment except for one at middle. By probing into and analyzing the mechanism of impoverishment of soil nutrients, we find that soil erosion has led to impoverishment of soil nutrients in a way of compacting soil, heightening position of obstacle horizon, and reducing the content of organic matter, as well as the direct loss of nutrient elements. Finally, this paper points out that soil and water conservation arming at the prevention of soil erosion is the most effective way against impoverishment of soil nutrients in Yuanmou basin.     

大孔树脂提取中药有效成分的放大研究

用两种不同的方法对大孔树脂吸附柱进行了工艺放大,确定了大柱的上柱流量,计算出其吸附量、吸附效率等参数.结果表明,采用保持柱内通过时间不变(v/L=常数)的方法进行放大,其计算值与实验值吻合较好,树脂的吸附效率在90%左右,处理能力能够满足生产需要,可以作为大孔树脂吸附柱工艺放大的依据.当上柱流量在40～170L·h-1范围内变动时,其吸附效率在71 15%～91 56%的范围之内变化.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.