心算加工策略的认知科学研究综述

工作记忆和练习效应都通过多方面对心算过程中的加工策略产生较大的影响。在工作记忆资源被占用的情况下,心算策略的执行与选择都受到了较大的影响。工作记忆与策略复杂性的交互作用,工作记忆与问题难度的交互作用都对策略执行有影响。工作记忆资源的被占用会对策略选择造成较大的影响。练习对策略选择,策略效能、策略迁移、策略的问题大小效应都有影响。练习效应能提高直接提取策略的使用频率,同时降低了运算策略的使用频率。练习有效地缩短了提取策略的完成时间和运算策略的完成时间。练习在部分情况下会缩小问题大小效应,但不能完全消除问题大小效应。练习的结果仅在乘法中会出现部分迁移。不同的理论对练习效应的影响,有着不同的解释。     

关于A-G的几个不等式

为加强或加细几个著名的算术-几何不等式,研究用方差来估算两者的差,并利用一个统一的证明模式,加强或推广这些结果.     

牛顿环实验中数据处理方法的讨论

对牛顿环实验的数据 ,分别用逐差法、最小二乘法、加权平均法 3种方法进行数据处理 ,同时比较了 3种方法的优劣 ,对结果进行了讨论。     

关于John Beebee的一个问题

回答了John Beebee关于不相交同余覆盖的一个问题。     

A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

A basic result in intuitionism is Π⁰₂‐conservativity. Take any proof p in classical arithmetic of some Π⁰₂‐statement (some arithmetical statement ?x.?y.P(x, y), with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ?x.?y.P(x, y), with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, we get the original conservativity result as particular case. This result was a by‐product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A‐translation. His proof is included here with his permission. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

一个矩阵不等式和Bayes无偏估计（英）

ＡｎＩｎｅｑｕａｌｉｔｙｏｆＭａｔｒｉｘａｎｄＢａｙｅｓＵｎｂｉａｓｅｄＥｓｔｉｍａｔｅｓＺｈａｎｇＹａｏｔｉｎｇ（ＳｈａｎｇｈａｉＵｎｉｖｅｒｓｉｔｙｏｆＦｉｎａｎｃｅａｎｄＥｃｏｎｏｍｉｃｓ，２００４３３）ＡｂｓｔｒａｃｔＴｈｅｉｎｅｑｕａｌｉ...     

基于判决理论的平行判决算法

分析了基于判决理论的判决树自动识别算法成功率低、自动识别过程耗费时间长和判决门限多等缺点，提出了改进的平行判决算法。通过MATLAB计算机仿真，验证了这种算法的可行性。统计测试表明，在SNR=8dB的条件下自动识别的正确率不低于98．5％，性能良好。     

Existence test for solution of nonlinear systems applying affine arithmetic

A computational test is proposed for existence of solution in nonlinear systems. In this test, an interval inclusion of Newton mapping is estimated applying affine arithmetic. Numerical examples are presented to show the efficiency of this test.     

理科开设程序设计课程的教学思考与实践

理科开设计算机程序设计课程教学中应以解决问题为出发点，帮助学生熟悉程序设计的过程，提高应用软件的使用能力，提高学生的思维能力，同时，促进学生自主学习，加强实践环节的训练，重在落实检查．