学科分类
/ 25
500 个结果
  • 简介:在这篇文章里,我们用双线性对构造了无证书环签名方案.并证明它是无条件匿名,且在随机预言模型中.计算性Diffie-Hellman问题难解,我们方案在适应性选择消息攻击下存在性不可伪造,它安全性比在基于身份公钥密码体制下高.本文首次用多线性形式构造了基于身份广播多重签名方案,它安全性基于计算性Diffie-Hellman困难问题.

  • 标签: 环签名 无证书的公钥体制 多重签名 计算性Diffie-Hellman问题
  • 简介:道熟知微积分习题,可以导出相关命题.通过这讨论过程,试图表明什么创造性学习,以及如何进行创造性学习.

  • 标签: 微积分 习题 创造性学习 数学教育
  • 简介:参照西北师大附中图书历年购书数据,综合考虑了读者数量、兴趣特点以及图书价格等在购书过程中影响因素,分析了现有藏书结构与读者需求之间关系,建立采购经费分配与选择决策模型,使有限资金投入获得最大办馆效益,具有较强现实意义。

  • 标签: 图书馆 图书结构 利用率 经费分配与选择决策模型
  • 简介:图G称为谱唯,如果任何与G谱相同定与G同构.棵树称为T-型树如果其仅有最大度为3顶点.本文给出了T-型树谱唯简单刻画,从而完全解决了T-型树谱唯性问题.

  • 标签: 图的谱 谱相同的图 谱半径 谱唯一性
  • 简介:《普通高中数学课程标准(实验稿)》基本理念之:倡导积极主动、勇于探索学习方式.《标准》指出:学生数学学习活动不应只限于接受、记忆、模仿练习,还应倡导自主探索、动手实践、合作交流、阅读自学等学习方式.在教师引导下有创造性地学习,课本中数学探究、数学建模等学习活动为学生形成积极主动,多样学习方式创造了有利条件.

  • 标签: 课本 数学课程标准 学习活动 学习方式 普通高中 合作交流
  • 简介:为了确认王陈提出没有平衡点混沌系统混沌行为,我们依靠庞加莱映射拓扑马蹄理论呈现出严格马蹄混沌计算机辅助证明。与简单利用仿真或李亚普罗夫指数判定混沌性相比有较强理论依据更高可靠性。

  • 标签: 吸引子 混沌 庞加莱映射 拓扑马蹄
  • 简介:给出概率论中Cauchy-Schwarz不等式证明,并借助随机变量分布,应用这个不等式导出与代数、积分有关些重要不等式,谨供教学参考.

  • 标签: 概率 CAUCHY-SCHWARZ不等式 代数 积分
  • 简介:本文将关于不交国单点粘合LPlaCe谱受控定理推广到了两多点粘合何形;同时证明了相同结果对目的Q回也成立。

  • 标签: 受控 图的Laplace谱 图的Q一谱 图的粘合
  • 简介:图G=(V,E)次小拉普拉斯特征值称为G代数连通度,记为α(G).设δ(G)为G最小度.Fiedler早在1973年便证明了α(G)≤δ(G),但他未能给出等号成立极图刻划.后来,我们在[6]中确定了当δ(G)≤1/2|V(G)|时α(G)=δ(G)充要条件.本文中,我们将确定任意情况下α(G)=δ(G)成立所有极图.

  • 标签: 拉普拉斯矩阵 拉普拉斯特征值 代数连通度 联图
  • 简介:通过反例,证明了非方常数为√2相关猜想.

  • 标签: 非方常数 严格凸
  • 简介:本文提出复合函数极限定理。为使定理叙述证明简化,特作如下规定:若limf(x)=A,A为有限或∞,则称limf(x)广义存在。

  • 标签: 去心邻域 二时 日己 日占 理中 三重
  • 简介:考虑了以数理逻辑中等值演算为工具对结构较为复杂定理逻辑结构做了分析.这为我们常用分析命题结构方法如逆否命题等提供了新思路.

  • 标签: 命题 逻辑结构 等值演算 线性关系
  • 简介:Kantorovich不等式推广文〔4〕给出了x′Ayy′A-1x/(x′xyy′)上界,其中An阶实正定阵,x、yn维非零实向量。本文给出x′Ayy′A-1x/(x′xy′y)上界下界,其中A任何n×m实矩阵,A-1A广义加号逆,x、y分别是n维和m维非零实向量。

  • 标签: KANTOROVICH INEQUALITY EXTENSION MOORE INVERSE
  • 简介:积分定理改进朱宗俭(西安石油学院)高等学校工科数学课程教学指导委员会本科组编写《高等数学释疑解难》内容丰富,说理清楚,本能引导学生深入学习本课程好参考书。本人在使用时也有受益。但是发现第124页有定理2叙述与证明似乎应该修正和...

  • 标签: 工科数学 西安石油学院 释疑解难 朱宗 第一类间断点 教学指导