简单闭包空间与形式背景的联系

结合概念格中交不可约元的概念,探讨简单闭包空间与形式背景的联系.首先,根据简单闭包空间与知识空间的对偶性,定义知识基的对偶集A,在此基础上,研究合取模型下技能约简的实质.其次,在技能背景中提出交不可约元的概念,论证A与交不可约元一致性.然后,阐述技能约简的本质与形式背景中保持最小交式生成组的约简相同.最后,给出技能约简...     

广义次正定矩阵上的Oppenheim不等式

用矩阵分析的方法, 通过对广义次正定矩阵性质的进一步研究, 得到了更一般条件下的两个广义次正定矩阵的Hadamard乘积的行列式下界估计的Oppenheim不等式, 在适用范围和估计精度上都改进了已有的相应结果.     

一种改进的推广近中心点算法

考虑变分不等式问题,基于D.Han(2003)提出的推广近中心点算法,通过改进算法的投影区域,提出了求解变分不等式问题的一种新的推广近中心点算法.该算法具有如下特点:算法产生的迭代点列关于初始点具有扩张性质;如果变分不等式问题有解,则算法产生的迭代点列的极限点就是初始点到问题解集上的投影;在适当的假设条件下,算法具有全局收敛性.最后,给出了该算法的初步数值试验结果.     

奇摄动非线性系统Robin边值问题的多种层性质

通过研究一类具有转向点的二阶非线性系统Rob in边值问题的奇摄动.在适当的假设条件下,利用微分不等式方法得到了解的存在性和渐近估计.     

线性不等式约束优化问题的强信赖域算法

对一类带有非负边界约束的线性不等式约束优化问题进行了研究,提出了一种新的信赖域算法.该算法在内点法的基础上,把非负边界约束从一般的不等式约束中分离出来,化为信赖域约束的一部分,得到一个简单易解的子问题.在一定的条件下证明了该算法具有强收敛性,并给出了数值结果.     

高维数据下关于正态均值线性约束的检验

高维数据经常会出现数据维数远远大于样本容量的现象,导致多元统计分析中许多经典检验方法失效,为弥补这一缺陷,以似然比检验方法为基础,结合并交原则,对于正态总体均值受线性约束这种假设检验问题提出了新的广义似然比检验方法,并通过数据模拟方法验证该检验与Bai和Saranadasa的检验方法相比能更好的控制检验水平.     

侧链有序交联型咪唑功能化阴离子交换膜

利用甲基氢醌和4,4′-二氟二苯基甲酮的缩聚反应,合成了含苯甲基的聚芳醚酮二元有序结构的聚合物.随后,利用N-溴代琥珀酰亚胺(NBS)溴代,溴代产物同时接枝1-甲基咪唑和1-乙烯基咪唑制备了一系列侧链有序交联型的阴离子交换膜(Im-PEEK-x).透射电子显微镜图显示Im-PEEK-0.7膜具有较好的微相分离结构.ImPEEK-0.7膜的离子传导率为6.68×10~(-2)S/cm,拉伸强度达到60.03MPa,并且在80℃的吸水率、溶胀率分别为16.56%, 18.2%.在耐碱稳定性测试中, Im-PEEK-0.7膜浸泡在80℃, 1 mol/L NaOH溶液中200 h后,其IEC值仍为泡碱前的81.5%,表现出优异的耐碱稳定性.说明侧链有序具有微相分离结构的交联型阴离子交换膜具有优异的离子传导率和稳定性.     

基于机会约束的手术计划随机模型与算法

本文研究多服务台手术计划调度问题,考虑手术时间的不确定性,提出手术室加班时间的机会约束,以一定的概率保证病人的手术时间不超过手术室的开放时间,建立随机优化机会约束手术计划调度模型,确定手术室的开放和分配决策.基于手术时间离散的概率情景,引入0-1变量转化机会约束,得到了0-1整数线性规划的等价模型.为了提高模型的求解效率,提出两类有效不等式,并设计最长路径算法分离第二类有效不等式,利用分支切割方法进行模型求解.算例分析,基于北京某医院的实际数据,验证算法的有效性,确定最优的手术计划调度方案,有效地优化配置手术室资源.     

一类非齐次核的最佳Hilbert型积分不等式的搭配参数条件

首先利用权函数方法,考虑如何确定搭配参数,使具有非齐次核G(xλ1 yλ2)(λ1λ2>0)的Hilbert型积分不等式具有最佳常数因子;其次给出最佳搭配参数的充分必要条件及快速判定最佳常数因子的判别式;最后讨论最佳搭配参数在积分算子理论中的应用.