论文部分内容阅读
定义了一类新的图形——升降梯图L3m+n+1,给出了它的优美标号,并证明了它是优美的。
升降梯图L_（3m＋n＋1）的优美性
【摘 要】
：
定义了一类新的图形——升降梯图L3m+n+1,给出了它的优美标号,并证明了它是优美的。
【机 构】
：
广西师范学院数学与计算机科学系,广西科学院
【出 处】
：
计算机应用研究
【发表日期】
：
2007年12期
【基金项目】
：
国家自然科学基金资助项目（60563008）, 广西自然科学基金资助项目（桂科自0728051）
其他文献
安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。
讨论了基于马尔可夫随机场(MRF)模型的融合颜色和边缘信息的嘴唇特征提取方法。首先进行嘴唇区域检测,再结合嘴唇形状特点建立了基于MRF的嘴唇图像分割模型,构造相应的能量函数,并采用改进的最高置信度优先(HCF)算法求解能量函数的最优解,得到图像标记场,进而提取出嘴唇轮廓。结合人脸结构信息,提出了融合鼻孔角度信息的嘴唇特征点提取方法。实验结果表明,此算法具有良好的鲁棒性。
针对目前iSCSI SAN中网络链路的性能瓶颈和单点故障问题,研究了虚拟网络I/O通道技术。将多个物理网络接口绑定为一个虚拟网络接口,使得多条物理链路整合为一个逻辑网络I/O通道,数据包按照负载均衡算法通过多条链路并行传输,大大提高iSCSI SAN吞吐率和系统的可用性。最后通过性能分析和实验测试得以验证。
讨论了数字电影行业对图像处理技术的要求,分析了提高数字电影图像处理性能的几个关键技术点。首先实现了符合数字电影规范的JPEG2000图像编码;然后通过优化小波变换的cache命中率、采用MPI并行计算、优化文件系统以及优化编译等方法,对数字电影中的图像处理技术进行了全面的研究和实现,大幅度提高了图像的处理效率。
提出一种新型无中心的门限代理签名方案,该方案能够有效地抵抗合谋攻击和原始签名人的伪造攻击,同时由于在新方案中只使用一次密钥分享,能极大提高方案的运行效率。
缓冲区溢出漏洞是软件系统中存在的最普遍的安全漏洞之一。各种防护措施大大增加了缓冲区溢出攻击利用的难度,但是它们没有从根本上解决问题,攻击者利用各种手段仍可使攻击成功。从攻击者的角度出发,总结了近年来缓冲区溢出漏洞攻击利用技术发展的情况,主要对溢出后突破防护措施的shellcode技术进行了详细介绍和分析。
探索一种利用交换式网络环境下的Sniffer技术配合交换机远程判断、排除故障的技术。迅速有效处理大型网络的故障,特别是校园网。
在对图像各位平面间游程数变化的分析基础上,提出了一种基于位平面游程变化的隐秘分析方法。采用多元回归模型,对图像LSB位平面的原始参数进行估计和比较,实现待检测图像中是否含有隐藏信息的检测。实验结果表明,该方法通用性强,具有良好的检测率。
重点分析和研究了基于WS-Federation的W eb服务跨域单点登录认证机制的实现原理和过程,并讨论了其安全问题。
应用本体理论和方法研究了企业信息分类编码方法。针对企业的特定领域内的信息资源进行概念收集、关系分析、层次划分、统一标志、OWL描述,最终实例化本体生成需要的信息编码以及领域本体。结果表明,在信息分类编码中使用本体理论和方法可以使编码过程更加科学化,使信息编码更好地面向信息集成,是一种效果良好的新方法。