基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
最近,Tu和Deng提出了一个组合猜想,并且设计了一个验证算法.本文对该猜想做了一些初步的理论分析,通过分析模加法时的进位情形,证明了该猜想在部分情形下的正确性.
推荐文章
程序正确性证明方法探论
正确性
形式化
一种基于程序正确性证明理论的程序开发方法
程序的形式推导方法
程序规范
循环不变式
Z-H算法正确性证明第四次改写
算法
MSP问题
HC问题
NP问题
NP完全问题
一种基于程序正确性证明理论的程序开发方法
程序的形式推导方法
程序规范
循环不变式
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一个组合问题在部分情形下的正确性证明
来源期刊 河南科技大学学报(自然科学版) 学科 数学
关键词 流密码 代数免疫度 布尔函数 组合数学
年,卷(期) 2012,(1) 所属期刊栏目 数理科学
研究方向 页码范围 78-80
页数 分类号 O157
字数 2406字 语种 中文
DOI 10.3969/j.issn.1672-6871.2012.01.020
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 涂自然 河南科技大学数学与统计学院 4 5 2.0 2.0
2 姜宇鹏 中国科学院数学与系统科学研究院 5 6 2.0 2.0
3 邓映蒲 中国科学院数学与系统科学研究院 7 14 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
流密码
代数免疫度
布尔函数
组合数学
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
河南科技大学学报(自然科学版)
双月刊
1672-6871
41-1362/N
大16开
河南省洛阳市开元大道263号
36-285
1980
chi
出版文献量(篇)
3214
总下载数(次)
7
总被引数(次)
19453
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导