咨询与建议

限定检索结果

文献类型

  • 6 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 工学
    • 5 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 网络空间安全
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 理学
    • 1 篇 数学
    • 1 篇 统计学(可授理学、...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 7 篇 概率性算法
  • 3 篇 确定性算法
  • 2 篇 几何定理机器证明
  • 1 篇 无线识别
  • 1 篇 概率检测组合模型
  • 1 篇 统计总体采集标准
  • 1 篇 代数数域
  • 1 篇 防碰撞
  • 1 篇 计算机
  • 1 篇 有限域
  • 1 篇 构造性几何
  • 1 篇 分布特征
  • 1 篇 多项式分解
  • 1 篇 变元次数上界
  • 1 篇 无线射频识别
  • 1 篇 低功耗蓝牙
  • 1 篇 室内定位
  • 1 篇 算法
  • 1 篇 时钟同步
  • 1 篇 防碰撞算法

机构

  • 2 篇 上海大学
  • 1 篇 安徽财经大学
  • 1 篇 大连理工大学
  • 1 篇 国防科技大学
  • 1 篇 上海高可信计算重...
  • 1 篇 河南工业职业技术...
  • 1 篇 云南大学

作者

  • 2 篇 陈明雁
  • 2 篇 曾振柄
  • 1 篇 陈红琳
  • 1 篇 李明国
  • 1 篇 宋海娜
  • 1 篇 曹喆
  • 1 篇 蔡丽霞
  • 1 篇 孙荣辛
  • 1 篇 田园
  • 1 篇 任晓娜
  • 1 篇 马琰

语言

  • 7 篇 中文
检索条件"主题词=概率性算法"
7 条 记 录,以下是1-10 订阅
排序:
改进的几何定理机器证明的概率性算法
收藏 引用
计算机应用 2014年 第7期34卷 2080-2084页
作者: 陈明雁 曾振柄 上海高可信计算重点实验室(华东师范大学) 上海200062 上海大学数学系 上海200444
将几何定理机器证明的研究方法概括为确定性算法概率性算法两大类,针对已有的确定性算法概率性算法的证明速率偏低或占用内存过大等问题,提出一种改进的概率性算法。主要是在改进对多项式中独立变元次数的上界估计的算法的基础上,结... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于Miller-Rabin素性检测的多项式分解算法
收藏 引用
计算机科学与探索 2014年 第12期8卷 1474-1484页
作者: 孙荣辛 田园 大连理工大学国家示范性软件学院 辽宁大连116620
通过将Miller-Rabin素性检测的思想拓展到多项式域,随机二分搜索可应用到多项式分解中。并以此为基础,分别针对有限域和代数数域改进了两种概率性算法。第一种算法在有限域上每次分解模素数的多项式的失败概率最多为1/4;第二种算法在代... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算机时钟同步技术研究
收藏 引用
系统仿真学报 2002年 第4期14卷 477-480页
作者: 李明国 宋海娜 国防科技大学电子工程学院ATR实验室 长沙410073
首先介绍和分析了计算机时钟同步系统的主要理论与技术,研究了同步系统的三个主要组成部分;然后研究了应用最为广泛的绝对物理时钟同步系统的设计方法,对其两种核心算法:CRI算法和PCS算法进行了详细的分析及性能比较。作为上述时钟同步... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
RFID系统防碰撞算法研究
收藏 引用
计算机技术与发展 2016年 第10期26卷 108-112,117页
作者: 陈红琳 安徽财经大学管理科学与工程学院 安徽蚌埠233030
在射频识别中,多标签识别是一个常见问题,因此多标签防碰撞算法是RFID系统研究的重要内容。当系统中包含的标签数较多时,发生碰撞的概率将大大增加。为了提高标签识别的效率,提高射频识别系统的性能,对现有的RFID系统防碰撞算法进行了... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于概率检测组合模型的几何定理证明器
收藏 引用
系统科学与数学 2015年 第6期35卷 627-644页
作者: 陈明雁 曾振柄 上海大学数学系 上海200444
概率性算法代替传统的确定性算法可快速证明复杂度很高的几何定理,可大幅度提高证明效率.对估算多项式中独立变元次数上界的算法进行了改进,并提出三种统计总体的采集标准,分析两种不同的实例检验方法,结合Schwartz-Zippel定理与统计... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种自适应帧长RFID标签防碰撞算法
收藏 引用
计算机与现代化 2014年 第11期 113-116,121页
作者: 马琰 蔡丽霞 任晓娜 河南工业职业技术学院实验设备管理处 河南南阳473000 河南工业职业技术学院网络管理中心 河南南阳473000
无线识别技术基于无线射频标签与无线读卡器的信息交互,实现无需人工干预的标签识别,因此无线识别技术受到现代化物流的重视。由于中转站货物数量庞大,而读卡器的硬件设计必须考虑实现复杂度,因此在识别货物的无线标签过程中存在无线标... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于低功耗蓝牙和位置指纹的室内定位系统的研究与实现
基于低功耗蓝牙和位置指纹的室内定位系统的研究与实现
收藏 引用
作者: 曹喆 云南大学
学位级别:硕士
室内定位是指,在室内环境中,通过采用无线通讯、基站定位、惯导定位等多种技术集成形成一套室内位置定位体系,从而实现人员、物体等在室内空间中的位置监控。近年来,随着020产业的发展和移动终端的普及,人们对位置服务的需求逐渐从室外... 详细信息
来源: 同方学位论文库 同方学位论文库 评论