《系统科学与数学》，《系统科学与复杂性学报》十佳论文评选结果揭晓

《系统科学与数学》和《Journal of Systems Science and Complexity》两个刊物（以下简称两刊）在庆祝系统科学研究所成立30周年之际，评选出10篇优秀论文，授予《系统科学最佳论文奖》， 并已于2009年11月15日在系统科学发展论坛暨系统研究所成立30周年庆祝会上颁奖。获奖论文如下（按文章发表时间顺序排列）： (1) 吴文俊, Basic principles of mechanical theorem proving in elementary geometries,---系统科学与数学，1984，4（3）：207--235。 这是一篇数学机械化证明领域的奠基性论文，给出了方程求解的特征列方法与几何定理机器证明原理。 (2) 黄云清、林群，角域上Green 函数及其有限元解的一些估计,---系统科学与数学，1994, 14（1）：1—8。 首次给出了一般角域上的Green函数估计，并用到外推或超收敛上。 (3)韩京清、王伟， 非线性跟踪-微分器，---系统科学与数学,1994，14(2)， 177-183。 首次建立了非线性跟踪－微分器的一般形式和理论，从而解决了从不连续或带随机噪声的量测信号中合理地提取连续信号及微分信号的困难问题。 (4) 张景中、杨路、侯晓荣， 几何定理机器证明的结式矩阵法，---系统科学与数学, 1995， 15（1）：10—15。 提出了正则升列相对单纯分解的概念和算法，并应用于几何定理机器证明、代数系统符号求解。. (5)龚光、戴宗铎，Construction of SAC permutations, ---Systems Science and Mathematical Sciences, 1997，10（2）：120—128。 构造了三类具有最大代数非线性度的GF(2n)上的SAC置换多项式。 (6) 谢惠民， The complexity of limit languages of cellular automata: An example，---Journal of Systems Science and Complexity, 2001，14（1）：17—30。 在元胞自动机的复杂性研究方面提出了一种新的方法。 (7) 徐瑞、陈兰荪， 具有时滞和基于比率的三种群捕食系统的持久性与全局渐近稳定性，---系统科学与数学, 2001， 21（2）：204—212。 建立了三种群捕食系统的时滞模型，给出了这些系统的持久性和全局渐近稳定性。 (8) 戴彧虹：Nonmonotone Conjugate Gradient Algorithm for Unconstrained Optimization，Journal of Systems Science and Complexity, 2002， 15（2）：139—145。 率先提出了一个无约束非线性规划的非单调共轭梯度法。 (9) 俞建，Nash 平衡的存在性与稳定性，---系统科学与数学, 2002， 22（3）：296—311。 得到了n人非合作博弈中Nash平衡的存在性和稳定性的新结果。 (10) J. H. Holland, Studying complex adaptive systems,--- Journal of Systems Science and Complexity, 2006,19(1):1--8。 提出了研究复杂自适应系统的全新模型。