您的位置: 专家智库 > >

赵丕卿

作品数:6 被引量:4H指数:1
供职机构:青岛科技大学数理学院更多>>
发文基金:山东省教育厅科技计划项目更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 1篇学位论文

领域

  • 6篇理学
  • 1篇自动化与计算...

主题

  • 2篇数学
  • 2篇N
  • 1篇递归数列
  • 1篇信源
  • 1篇形式化
  • 1篇语言
  • 1篇语言系统
  • 1篇预包络
  • 1篇整数
  • 1篇整数解
  • 1篇正整数
  • 1篇正整数解
  • 1篇认证码
  • 1篇射影
  • 1篇射影空间
  • 1篇数列
  • 1篇数论
  • 1篇数学归纳
  • 1篇数学归纳法
  • 1篇数学形式

机构

  • 6篇青岛科技大学

作者

  • 6篇赵丕卿
  • 2篇赵刚堂
  • 1篇李秀丽
  • 1篇邢建民

传媒

  • 2篇科学技术与工...
  • 1篇高师理科学刊
  • 1篇沈阳大学学报...
  • 1篇南阳理工学院...

年份

  • 4篇2010
  • 2篇2009
6 条 记 录,以下是 1-6
排序方式:
由PG(n,q)构造的一类Cartesian认证码
2010年
设P为域GF(q)上的n(n≥3)维射影空间PG(n,q)中的一个点,L是PG(n,q)中过P的一条线。取包含L的超平面组成的集合为信源集S,与L的交为{P}的超平面组成的集合为编码规则集E。与L的交为{P}的n-2-子空间组成的集合为信息集M。对任意π1∈S,π2∈E,定义f(π1,π2)=π1∩π2,得到一类Cartesian认证码,并计算了这个码的参数。假设编码规则按照一种均匀概率分布被选取,则成功模仿攻击的概率PI和成功替换攻击的概率PS也被计算。
李秀丽赵丕卿
关键词:射影空间CARTESIAN认证码信源
Pell方程x^2-(a^2-1)y^2=k的解集被引量:4
2009年
应用本原解、解数列等概念,完整、清晰地表述了形如x2-(a2-1)y2=k(k∈Z,k≠0,a≥2)型Pell方程的整数解集.
赵丕卿赵刚堂
关键词:PELL方程递归数列本原解解集
Diophantine方程(m+n)^2=m+n!的正整数解
2010年
利用二次剩余理论,证明了Diophantine方程(m+n)2=m+n!仅有正整数解(m,n)=(1,4).
赵丕卿
关键词:正整数解
数学归纳法的一个推广形式及在数论中的应用
2009年
将传统的数学归纳法作了推广,并通过证明数论中的一个命题说明了该法的优越性。
赵丕卿赵刚堂
关键词:数学归纳法抽屉原则
SG-Cotorsion模
2010年
给出了SG-Cotorsion模的定义,并利用同调的方法讨论了SG-Cotorsion模的性质,目的是找到SG-Cotorsion模与预包络的关系,并最终找到了一个R-模M存在特殊的SG-Cotorsion预包络的条件。
邢建民赵丕卿
关键词:预包络
向量函数、微分及偏微分基本公式的计算机证明
Mizar系统是由波兰华沙大学的Andrzej Trybulec教授于二十世纪七十年代开创的集逻辑证明、推理演绎、校验排版、复杂计算、科研教学功能于一体的形式化系统,同时在自动化控制、声音和图像识别等研究领域有着广泛的应...
赵丕卿
关键词:数学形式化向量函数微分算子偏微分算子
文献传递
共1页<1>
聚类工具0