机械制造系统生产水平的综合评价

运用数理统计和模糊数学的某些概念，本文提出了一种评价机械制造系统生产水平的新方法，机械制造系统可以用模糊变换器来描述，这个模糊变换器比较客观和全面地揭示机械制造系统的内在规律。借助这个模糊变换器来综合评价机械制造系统具有很大的理论和实践价值，并为机械制造系统论奠定新的基础。无心磨削系统的实验研究证明了本文基本观点的正确性。     

作物垄作的数学模型

应用高等数学中对面积的曲面积分等方法,建立了垄作种植中半椭圆形、抛物线型和三角形垄的数学模型,比较了不同垄形、垄宽、垄高在增加单位土地表面积和突出地面垄体体积的效果.     

数学实验课程的教学与数学素质的培养

分析了现行工科数学教学中存在的主要问题 ,认为数学实验课程的教学是培养数学素质不可缺少的环节 ,并就如何更好地发挥数学实验课程教学的作用提出了一些具体的建议 .     

计算数学与科学工程计算及其在中国的若干发展 (迎接ICM2002特约文章)

本文论述了计算数学与科学工程计算的重要性，回顾了近50年来这一学科在中国的发展，特别是冯康的杰出贡献，介绍了国家重点基础研究发展规划相关项目的研究课题。     

军校课堂教学质量的属性综合评价方法

运用属性数学理论对军校课堂教学质量进行综合评价.在建立军校课堂教学质量评价指标体系的基础上,给出了军校课堂教学质量的属性综合评价方法,可为军校教学管理部门以及本科教学评价进行合理地课堂教学质量评价提供决策参考.与一般评价方法相比,属性综合评价方法严谨、精细,评价结果更合理、更可靠.应用实例表明了方法的科学有效性.     

Optimal trading strategy for European options with transaction costs

The European option with transaction costs is studied. The cost of making a transaction is taken to be proportional by a factor λ to the value (in dollars) of stock traded. When there are no transaction costs (i.e. when λ=0) the well-known Black-Scholes strategy tells how to hedge the option. Since no non-trivial perfect hedging strategy exists when λ>0 (see (Ann. Appl. Probab. 5(2) (1995) 327)), we instead try to maximize the expected utility attainable. We seek to understand the effect transaction costs have on the maximum attainable expected utility over all strategies, when λ is small but non-zero. It turns out that transaction costs diminish the expected utility by an amount which has the order of magnitude λ^2/3. We will compute that correction explicitly modulo an error which is small compared to λ^2/3. We will exhibit an explicit strategy whose expected utility differs from the maximum attainable expected utility by an error small in comparison to λ^2/3.     

Minima of initial segments of infinite sequences of reals

Suppose that 〈x_k〉_k∈? is a countable sequence of real numbers. Working in the usual subsystems for reverse mathematics, RCA₀ suffices to prove the existence of a sequence of reals 〈u_k〉_k∈? such that for each k, u_k is the minimum of {x₀, x₁, …, x_k}. However, if we wish to prove the existence of a sequence of integer indices of minima of initial segments of 〈x_k〉_k∈?, the stronger subsystem WKL₀ is required. Following the presentation of these reverse mathematics results, we will derive computability theoretic corollaries and use them to illustrate a distinction between computable analysis and constructive analysis. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

多目标优化问题的模糊交叉算法与收敛性

本文研究了目标权重未事先确知的多目标优化问题，建立可以同时确定目标权重与方案相对优属度的模糊交叉迭代算法，严格证明了该算法的局部收敛性．     

灵活的应用数学技术

E．E．Daivd指出“当今被称颂的高技术实质上是一种数学技术”，H．Neunzert称“数学是关键技术的关键”．这是人类对数学的新认识一数学既是科学又是技术．数学技术主要是指应用数学技术．它的高难度突出地体现在以解决实际问题为目标的研究上．这就必须灵活地运用数学思想和方法，抓住事物内在最本质的数学结构，提炼其特殊的数学模型，给出精巧的好算法并解决之．本文简述了华罗庚应用数学技术的特色、近期发展及其某些思想与新概念等．     

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order

We compare Aut(Q), the classical automorphism group of a countable dense linear order, with Aut _c (Q), the group of all computable automorphisms of such an order. They have a number of similarities, including the facts that every element of each group is a commutator and each group has exactly three nontrivial normal subgroups. However, the standard proofs of these facts in Aut(Q) do not work for Aut _c (Q). Also, Aut(Q) has three fundamental properties which fail in Aut _c (Q): it is divisible, every element is a commutator of itself with some other element, and two elements are conjugate if and only if they have isomorphic orbital structures.