单支方法关于多延迟Pantograph方程的稳定性分析

本文主要讨论了单支方法关于多延迟pantograph方程解的存在唯一性及渐近稳定性 ,同时将非线性多延迟系统数值解的有关结论推广到多延迟pantograph方程 ,证明了单支方法对于ODEs的A(α) 稳定等价于单支方法关于多延迟pantograph方程NGPk(α) 稳定 .     

关于物像两空间三个不变量的讨论

许多光学教材均分别提出了关于物像两空间三个不变量的关系式，但很少将这三个关系式进行分析比较．本文首先给出这三个关系式的涵义和适用条件，然后讨论了它们之间的区别与联系．     

一类次线性算子在非齐型空间上的弱Herz空间中的弱型估计

作者引入了非齐型空间上的弱Herz空间,并建立了一类次线性算子在这些空间中的弱型估计. 作为应用, 证明了由Calder\'on-Zygmund算子和$\os$函数生成的交换子在弱Herz空间中的弱型估计,其中$r\ge1$. 并且Orlicz空间$\os$当$r=1$时即为$\rb$空间;当$r>1$时为$\rb$的子空间.     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

一个新的线性规划无人工变量算法

本文研究了线性规划的求解问题.利用对偶转化的方法,获得了一个计算效率高的新的无人工变量通用算法.该新算法比最近提出的无人工变量算法push-to-pull算法效率更高.     

区间[-1,1]上的a尺度双正交多小波的构造

本文研究了一元a尺度紧支撑、双正交多小波的构造.在区间[-1,1],给出了利用a尺度双正交尺度向量构造a尺度双正交多小波的推导过程得到了一种有效的小波构造算法,并给出了数值算例.     

一题多证真奇妙,改编凸现精彩点

人教版高中数学课本第二册(上)《复习参考题六》A组第8题是:已知a>b>c,求证:1/(a-b)+1/(b-c)+1/(c-a)>0。本文给出它的多证及改编,希望能够给同学们的学习及数学素养的提高带去帮助。     

变系数非线性二阶周期边值问题的正解

利用锥上的不动点指数定理考察了变系数非线性二阶周期边值问题的正解.主要定理表明,只要非线性项在某些有界集合上的增长速度是适当的,该问题就具有n个正周期解,其中竹是-个任意的自然数.     

凝胶渗透色谱/气相色谱-质谱法测定塑料玩具中16种多环芳烃

建立了塑料玩具中16种多环芳烃（PAHs）的凝胶渗透色谱-气相色谱-质谱测定方法。称量0.25 g塑料材质样品，以四氢呋喃为溶剂溶解，采用凝胶渗透色谱实现多环芳烃小分子与塑料聚合物大分子的分离净化，以气相色谱-质谱法对PAHs进行定性、定量检测。16种PAHs的检出限为0.06～0.12 mg/kg，在1.0～30.0μg/mL范围内具有良好的线性关系，线性相关系数不小于0.998，基体加标回收率为70%～92%，相对标准偏差均不高于15%(n=7)。检测方法简便、快速、灵敏度高，适用于不同聚合物塑料中PAHs的测定。     

目标属性为肯定和否定的多目标决策问题解的有效性条件

本文建立了一类目标属性为肯定和否定的多目标决策模型，定义了相应的有效性。并在此基础上，讨论了有效性条件。