系统科学与数学

系统科学与数学杂志 北大期刊 CSCD期刊 统计源期刊

Journal of Systems Science and Mathematical Sciences

杂志简介:《系统科学与数学》杂志经新闻出版总署批准,自1981年创刊,国内刊号为11-2019/O1,是一本综合性较强的科学期刊。该刊是一份月刊,致力于发表科学领域的高质量原创研究成果、综述及快报。主要栏目:系统理论与控制、系统工程与管理、统计方法及应用、信息处理和计算机数学等领域的学术论文及技术报告;重要学术动态和学术活动信息等。

主管单位:中国科学院
主办单位:中国科学院数学与系统科学研究院
国际刊号:1000-0577
国内刊号:11-2019/O1
全年订价:¥ 984.00
创刊时间:1981
所属类别:科学类
发行周期:月刊
发行地区:北京
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:0.74
复合影响因子:0.46
总发文量:2003
总被引量:8113
H指数:30
引用半衰期:5.3378
期刊他引率:0.9158
平均引文率:16.6913
  • 基于矩形区域剖分的不等式机器证明方法—以Zirakzadeh的一个几何不等式为例

    作者:曾振柄 张景中 刊期:2010年第11期

    1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函数不等式的正确性.这个工作后来没有发表,将Zirskzadeh不等式转化为一个有3个变元的根式不等式,形如m_1~(/2)...

  • Reid-Zhi符号数值混合消元方法的一个应用

    作者:吴晓丽 李冰玉 刊期:2010年第11期

    将Reid和Zhi提出的符号数值混合消元方法应用于求解多项式优化问题,将多项式优化问题转化为矩阵最小特征值求解问题,并在Maple软件中实现了算法.

  • 多项式微分系统定性性质的算法化推导

    作者:胡亦郑 罗勇 陆征一 刊期:2010年第11期

    关于利用计算机代数系统,结合吴方法,Grbner基方法,结式方法以及实根分离算法等对于多项式微分系统定性分析和稳定性判定的一些近期进展,主要包括高维系统平衡点和稳定性判定,一般平面系统的焦点量计算,焦点量独立性的判定以及小扰动极限环的构造以及利用向量场对称性或不变解曲线的存在性部分算法化地给出中心存在的条件.最后展示一些计算实...

  • 基于约束总体最小二乘方法的近似消逝理想算法

    作者:李喆 张树功 董天 刘莉莉 刊期:2010年第11期

    提出了基于约束总体最小二乘方法的近似消逝理想算法.给定经验点集X~ε,该算法输出序理想O和多项式集合G.当O中单项的个数等于经验点集X~ε的基数时,G即为X~ε的近似消逝理想基.该算法充分考虑赋值向量的扰动之间的内在联系,因此在关注向量的数值相关性方面,算法优于目前其它同类算法.

  • 零维多项式系统保持重数的零点分解

    作者:李颖麟 夏壁灿 张志海 刊期:2010年第11期

    对零维多项式系统,基于经典的吴方法给出了一个保持重数的零点分解定理及其算法.在一定条件下,该算法计算出的分解是三角化的.

  • 基于改进的不动点迭代算法的低秩Gram矩阵的恢复

    作者:马玥 刊期:2010年第11期

    仿射限制条件下的低秩矩阵的恢复问题广泛地出现在控制、信号处理及系统识别等许多领域中.此问题可以凸松弛为带仿射限制条件的矩阵核范数的极小化问题.尽管后者能够转化为标准的半定规划问题求解,但是对于规模较大的矩阵其产生的计算量也很大.为此提出一种新的求解Gram矩阵核范数极小化问题的一阶算法—改进的不动点迭代算法(FPC-BB),并给出...

  • SDPTools:基于Maple的高精度求解SDP软件包

    作者:郭峰 刊期:2010年第11期

    半定规划(SDP)是一类重要的凸优化问题,它可以由Matlab中的SDP软件包有效地求解,比如SeDuMi,SDPT3,DSDP等等.然而由于Matlab只能进行有限精度计算,所得结果往往带有很大误差.在某些需要高精度计算的问题中,Matlab中的SDP软件包难以得到满意的结果.SDPTools是基于符号计算软件Maple的求解SDP的软件包.利用Maple可以进行任意精度计算的特性,SDPT...

  • n元对称多项式的对称核及应用

    作者:陈胜利 徐嘉 姚勇 刊期:2010年第11期

    研究了具有n个变元的对称多项式的相关问题.这里n是整变量,泛指一切正整数.此类问题已经超出了Tarski判定算法所能处理的初等问题的范围.研究的主要方法是将n变元对称多项式表示为一种特殊多项式的和,即对称核的和.给出了计算对称核的方法.作为应用,得到了几类n变元对称多项式不等式成立的充要条件.

  • Lin-Bose问题的进一步研究

    作者:刘金旺 刊期:2010年第11期

    基于Lin-Bose猜想,研究l×m阶矩阵MLP分解问题,利用l×m阶矩阵的l-1阶子式、l-2阶子式来刻画矩阵MLP分解的条件,得到的一些结果推广了Lin-Bose猜想中的某些结果.

  • 一类单圈T函数的判定

    作者:刘卓军 戴照鹏 吴保峰 刊期:2010年第11期

    多项式函数作为一类密码学中常用的T-函数,其可逆性、周期性一直是相关研究中的重要问题.借助于2-adic整数的乘法公式,给出了T-函数p(x)=a_0a_1x…a_dx~d(mod 2~n)是单圈函数的充要条件.

  • 数控插补中基于运动曲线的局部优化和基于前瞻控制的整体优化

    作者:张立先 孙瑞勇 李洪波 高小山 刊期:2010年第11期

    数控加工在机械制造领域具有举足轻重的作用,如何在满足加工精度的前提下提高加工速度是数控加工的一个关键问题.据数学机械化方法,将插补问题分解为局部优化和整体优化两部分,其中局部优化是在线段连接处通过采用二次曲线(抛物线)和三次曲线族过渡的方法,提高线段连接处的通过速度,使得局部通过速度最优;同时根据加工误差确定线段连接处的插...

  • 参数化设计中确定参数有效范围的吴特征列方法

    作者:蒋鲲 刘爽 刊期:2010年第11期

    参数化CAD设计中,需要对给定的草图进行修改进而得到满足设计者需求的模型.然而,在修改参数值时,常常由于给定的参数值不合理,而导致无法重新生成几何图形.利用吴特征列方法从代数可解的角度给出了一个在参数化设计中确定参数的有效范围的算法.实例的分析计算,证明算法是可行的.

  • CNC系统路径遍历的时间最优控制算法

    作者:李树荣 张强 刊期:2010年第11期

    针对计算机数控(CNC)系统给定路径的遍历问题,给出了一种加减速控制算法,使CNC系统的路径遍历时间最小.由于CNC系统的优化变量(加速度)为线性的存在于时间最优指标和约束条件中,且沿坐标方向加速度有界.因此通常这类时间最小路径遍历问题具有Bang-bang的控制结构,即任意时刻至少有一个坐标方向存在最大加/减速度.针对一类参数化路径,推导了...

  • 基于加权复杂网络的文本关键词提取

    作者:谢凤宏 张大为 黄丹 谢福鼎 刊期:2010年第11期

    通过分析基于复杂网络的关键词提取算法的特点和不足,提出了一种基于加权复杂网络提取的文本关键词新算法.首先根据文本特征词之间的关系构建文本的加权复杂网络模型,其次通过节点的加权聚类系数和节点的介数计算节点的综合特征值,最后根据综合特征值提取出文本关键词.实验结果表明,该算法提取的关键词能够较好地体现文本主题,提取关键词的准确...

  • 《系统科学与数学》征稿简则

    刊期:2010年第11期

    《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械...