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

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

框架的局部化

Grochenig and Balan, Casazza, Heil, and Landau introduced the concepts of localization. The concepts were used to Gabor frames, wavelet frames and sampling theorem in recent years. Here they are applied to the frame of exponential windows with the conclusion that the frame of exponential windows is a Banach frame for a kind of Banach spaces, and the conclusion is also obtained about the relationship between frame bounds, frame density, measure and density of indexing set.     

基于矩形区域剖分的不等式机器证明方法-以Zirakzadeh的一个几何不等式为例

1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函数不等式的正确性.这个工作后来没有发表.将Zirskzadeh不等式转化为一个有3个变元的根式不等式,形如(((√)m1)+((√)m2)+((√)m3)≥3((√)m4),其变量所在区域为一由6个线性不等式限制形成的多面体P(有14个顶点,21个棱和9个面),先用幂级数展开方法证明讨论的根式不等式在小长方体邻域[-0.1,0.1]3(∪)P成立,次将这个邻域以外的集合分割成有限多个边长不小于1/1280的小长方体或多面体,在每个小凸体上通过计算函数在顶点的取值和函数偏导数范围证明根式不等式的正确性.文章给出的验证数引理,可根据连续可微函数在长方体或一般凸多面体V的顶点的值,及函数偏导数的绝对值在集合V的上界,证明函数在V上的正定性.文章给出计算多项式在三维空间凸多面体上的最大值和最小值,以及估计根式函数的验证数的机械化方法.     

混合范数条件下平移不变信号的非均匀平均采样

L~p平移不变子空间中的采样研究通常要求生成函数属于一个不依赖于p的Wiener amalgam空间,此条件因不能控制p而显得太强.本文主要讨论生成函数属于混合范数空间时,非衰减平移不变空间中的非均匀平均采样与重构.生成函数属于混合范数空间的条件弱于Wiener amalgam空间且依赖于参数p.基于混合范数空间中的一些引理,针对两种平均采样泛函建立了采样稳定性,并给出了对应的具有指数收敛的迭代重构算法.     

用再生核表示小波变换

本文研究了调制高斯函数的小波变换．利用再生核函数的特殊技巧，得到了该小波变换的等距恒等式和像空间的结构，同时给出了该小波变换的采样定理．使得小波变换能用再生核函数表示．这为一般的小波变换的像空间的研究提供了理论基础．     

热解析-气相色谱法测定印刷品中总挥发性有机化合物释放量

建立用气袋法收集整册印刷品释放的挥发性有机化合物,热解析-气相色谱法检测总挥发性有机化合物(TVOC)的方法。将印刷品样品置入充满高纯氮气的密封PVF采样袋中,在35℃下放置12 h后,用采样器串联Tenax-TA采样管和采样袋,让袋内气体通过采样管,样品释放出的有机化合物被吸附到采样管的吸附剂上。用热解析-气相色谱法测试采样管中挥发性有机化合物的含量,其中苯、甲苯、邻二甲苯、间二甲苯、对二甲苯、乙苯、乙酸丁酯、苯乙烯和正十一烷按外标法定量,其它物质按甲苯标准曲线定量。该方法的加标回收率为74.4%~91.1%,测定结果的相对标准偏差不大于10%(n=9)。该方法的样品采集更贴近印刷品的实际生活场景,可以为评价印刷品挥发性有机物释放对人体健康的影响提供数据基础,为相关评价提供新思路。     

环境监测及监测仪器发展趋势

（1）以目前人工采样和实验室分析为主，向自动化、智能化和网络化为主的监测方向发展；     

线性三色采样叶形光栅的制作和应用

用新颖的线性三色采样中形光栅，可以在单色胶片上一步记录彩色图像，这种记录和再现过程不仅操作方便，仪器简单，经济，而且避免了色串扰，莫尔（Ｍｏｉｒｅ）条纹与分辨率的损失，消除了互调制，大大提高了光能利用率，本文给出了用计算机制作叶形光栅的方法，讨论了用这种光栅编码彩色图像的原理及其在全息照相和光学信息处理等其它方面潜在的应用。     

一类时滞非线性系统的采样迭代学习控制

本文针对一类时滞非线性系统提出一种采样迭代学习控制算法,严格证明了该算法的指数收敛性.当系统满足所给出的条件时,跟踪误差以指数速率收敛至一个与采样周期有关的误差范围内.     

基于正则粒子算法的红外成像消噪处理研究

针对红外成像中的问题,应用正则粒子再采样算法实现红外成像消噪处理。首先依据序列重采样算法,从重要性密度函数中采样,而后进行粒子权重归一化,优化粒子克服衰竭现象,最后给出成像模型和精度函数。仿真结果验证了该算法的有效性。