多产品单层能力受限批量问题的前向启发式算法的可行性过程

本文讨论多产品、单层、能力受限批量问题的前向启发式算法，指出了这类算法中现有算法的一些不足之处。为了克服这些不足，我们给出了可行解存在的充分必要条件，并在此基础上提出一个可行化算法。     

模糊权数与方案排序

讨论了由Fuzzy权数导出方案排序中的问题，提出了评价Fuzzy权数取值大小及取值集中程度的两个指标，并据此给出了由Fuzzy权数导出方案排序的方法。     

无穷区间上二阶奇异微分方程三点边值问题正解的存在性

讨论了一类无穷区间上二阶奇异微分方程三点边值问题正解的存在性和唯一性.通过应用对角延拓原理,不动点指标理论和不等式技巧,得到了该类边值问题正解存在性和唯一性的充分条件,允许非线性项有奇性.     

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

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

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

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

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

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

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

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

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

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