赵丕卿
- 作品数:6 被引量:4H指数:1
- 供职机构:青岛科技大学数理学院更多>>
- 发文基金:山东省教育厅科技计划项目更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 由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教授于二十世纪七十年代开创的集逻辑证明、推理演绎、校验排版、复杂计算、科研教学功能于一体的形式化系统,同时在自动化控制、声音和图像识别等研究领域有着广泛的应...
- 赵丕卿
- 关键词:数学形式化向量函数微分算子偏微分算子
- 文献传递