Ramsey数R_(11)(4)的新下界

该文用群论和数论研究了素数阶循环图存在4阶团的充要条件，得到了Ramsey数R11（4）的新下界。     

关于矩阵秩的下界的进一步探讨

给出了矩阵秩的新的下界估计式，从而改进推广了屠伯埙在文（１－４）中的主要结果。     

图的循环带宽的Harper型下界

设Ｇ为具有ｎ个顶点的图，Ｚｎ为模ｎ整数加群．从Ｇ的顶点集到Ｚｎ的任一双射ｆ称为Ｇ的一个循环标号．ｆ的循环带宽Ｂｃ（Ｇ，ｆ）定义为ｍａｘ（ｕ，ｖ）∈Ｅ（Ｇ）ｄ（ｆ（ｕ），ｆ（ｖ）），其中对任意ｘ，ｙ∈Ｚｎ，ｄ（ｘ，ｙ）＝ｍｉｎ｛｜ｘ－ｙ｜，ｎ－｜ｘ－ｙ｜｝．Ｇ的循环带宽Ｂｃ（Ｇ）是指对Ｇ的所有循环标号ｆ的循环带宽的最小值．借鉴关于带宽的已有结论，深入讨论循环带宽的Ｈａｒｐｅｒ型下界，所得结果将有助于确定一些特殊图的循环带宽     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

平面上一类特殊齐次Moran集的Packing维数下界

研究构造了平面上一类特殊的齐次Moran集,通过分析其结构并利用分形几何中计算维数的方法和技巧,证明得到了它们的Packing维数下界。     

计算机化自适应诊断测验新的选题策略

提出了一种既能满足属性平衡又能有效处理相似属性模式的新方法——改进的极大化整体判别认知诊断模型信息量指标法(MGCDI).对无结构型的属性,讨论定长CD-CAT的选题策略.研究结果表明,使用相同选题策略选题时,先选择可达矩阵的所有列对应的项目比不使用这些项目的诊断准确率高.     

搜索3个目标的最优方法

研究如下搜索模型:原始搜索空间G含有n个外观相同的硬币,其中n-3个是具有相同重量的好币(好元),其余3个是重量相同且重于好元的较重硬币(搜索目标),最终目的是找到一个最优算法,它能够借助两臂天平用尽可能少的试验次数从搜索空间中识别出全部3个搜索目标.文章通过建立有效的搜索方法,证明了最小试验次数或者等于信息论下界或者超过信息论下界1次并且对于无穷多个区间,信息论下界均是可以达到的.     

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

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

刀触点网格上整体光顺五轴数控加工刀轴方向的模型与算法

针对球头铣刀的五轴数控加工,分析了刀轴方向对切削力的影响,根据刀轴方向变化的度量指标,提出了在刀触点网格的可行空间中整体光顺刀轴方向的模型与算法,该方法有两个优势:可以同时保证进给和相邻行两个方向上刀轴方向的整体光顺性;仅需要计算网格点处的可达方向锥,提高了计算效率.用仿真方法分析了整体光顺刀轴方向对加工效率、机床进给运动平稳性和切削力的影响,并用实验验证了规划的刀具路径.     

基于密度结构分析的改进FCM混合矩阵估计

欠定盲源分离问题中,针对传统FCM算法(fuzzy C-means,FCM)需要预先设定聚类数目和初始聚类中心,以及聚类结果易受噪点干扰的问题,提出一种基于密度结构分析的改进FCM聚类算法,并利用改进后的算法实现混合矩阵估计.这一改进算法首先用OPTICS(ordering points to identify the...