广义量词的单调性与数字三角形

回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。     

洗煤厂安全管理

文章介绍了钱家营矿业分公司洗煤厂安全工作的实践，使洗煤厂安全管理工作上升了一个大台阶。     

显拟凹函数的一个新性质 (运筹学与控制论)

显拟凹函数在非线性规划问题中起着重要的作用。在已有文献基础上给出了显拟凹函数的一个新性质:设XRn是凸集,g:X→R是显拟凹函数,如果对y1,y2,…,yn∈X,满足g(yj)>min i≠j g(yi),那么对λi>0(i=1,…,n),n∑i=1λi=1,有g(n∑i=1λiyi)>min i=1,…n g(yi)。本文的结果推广了已有的结论。     

Banach空间中拟严格渐近伪压缩映射族的强收敛定理

在自反的具有K-K性质的严格凸的光滑Banach空间中,构造了一种新的无限族拟严格渐近伪压缩映射之公共不动点的杂交投影算法,在去掉集合C有界性的条件下,证明了公共不动点之强收敛定理成立。所得结果是近期相关结果之改进与推广。     

具有历史特征的Biba模型严格完整性策略

针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度.     

Banach空间二阶非线性脉冲积分微分方程边值问题解的存在性

利用Darbo不动点定理．讨论了二阶非线性脉冲积分微分方程的边值问题,在较弱的条件下得到广解的存在性。     

递增式标准信息集的构建及基于该集合的检测方法研究

对病态倩息实际检测过程中遇到的难题进行了分析。给出了递增式标准信息集的概念,并且提出了基于递增式标准信息集的检测方法,并且已经在病态信息的检测实践中得到了应用。     

广义严格对角占优矩阵的判定准则

利用矩阵的Ostrowski对角占优性研究矩阵的非奇异性,给出了判定广义严格对角占优矩阵及非奇异M矩阵的若干充分条件,拓广了广义严格对角占优矩阵的判定准则.     

Banach空间中严格伪压缩映射隐迭代过程的收敛性

在一致凸Banach空间中证明了有限个严格伪压缩映射族的隐迭代过程弱收敛于不动点的充分条件是要求此空间满足opial条件.论文中所得到的结果是对以前结果的一种改进和提高.     

Banach空间中Ishikawa迭代过程的收敛定理

用新的方法和技巧研究了Banach空间中Ishikawa迭代过程的收敛性,改进了相关结果.