期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
改进的几何定理机器证明的概率性算法
1
作者 陈明雁 曾振柄 《计算机应用》 CSCD 北大核心 2014年第7期2080-2084,共5页
将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存过大等问题,提出一种改进的概率性算法。主要是在改进对多项式中独立变元次数的上界估计的算法的基础上,结... 将几何定理机器证明的研究方法概括为确定性算法与概率性算法两大类,针对已有的确定性算法和概率性算法的证明速率偏低或占用内存过大等问题,提出一种改进的概率性算法。主要是在改进对多项式中独立变元次数的上界估计的算法的基础上,结合Schwartz-Zippel定理和统计学理论,通过随机检验若干实例来证明几何定理,并能控制证明结果不真的概率在给定的小范围内。通过改进的概率性算法,成功在2秒内证明出代数法难以证明的五圆定理。最后的多组对比实验进一步表明,改进的概率性算法具有明显高效性。 展开更多
关键词 几何定理机器证明 确定算法 概率性算法 构造几何 变元次数上界
在线阅读 下载PDF
一种基于PMC模型下的概率性矩阵诊断算法 被引量:1
2
作者 冯海林 雷花 梁伦 《南京理工大学学报》 EI CAS CSCD 北大核心 2017年第4期479-485,共7页
系统级故障诊断是提高多处理器系统可靠性的必要手段。为了有效定位多处理系统中的故障单元,该文建立了一种基于PMC模型t可诊断条件下的概率性矩阵诊断算法。首先对一般概率性矩阵诊断算法进行仿真分析获悉其具有较高的误检率,在诊断过... 系统级故障诊断是提高多处理器系统可靠性的必要手段。为了有效定位多处理系统中的故障单元,该文建立了一种基于PMC模型t可诊断条件下的概率性矩阵诊断算法。首先对一般概率性矩阵诊断算法进行仿真分析获悉其具有较高的误检率,在诊断过程中引进绝对故障基和节点集团思想,通过计算绝对故障基以寻找系统中的部分故障处理机,集团用于将不确定状态的节点单元分类以补充正常节点集合,改善了原诊断的限制条件。仿真实验验证:改进后的概率性矩阵诊断算法保持了很高的检测精度,并且随着节点数的增多极大地降低了误检率,提高了诊断效果,使得该算法具有广泛的适用性。 展开更多
关键词 系统级故障诊断 概率矩阵诊断算法 绝对故障基 节点集团
在线阅读 下载PDF
基于Miller-Rabin素性检测的多项式分解算法 被引量:1
3
作者 孙荣辛 田园 《计算机科学与探索》 CSCD 2014年第12期1474-1484,共11页
通过将Miller-Rabin素性检测的思想拓展到多项式域,随机二分搜索可应用到多项式分解中。并以此为基础,分别针对有限域和代数数域改进了两种概率性算法。第一种算法在有限域上每次分解模素数的多项式的失败概率最多为1/4;第二种算法在代... 通过将Miller-Rabin素性检测的思想拓展到多项式域,随机二分搜索可应用到多项式分解中。并以此为基础,分别针对有限域和代数数域改进了两种概率性算法。第一种算法在有限域上每次分解模素数的多项式的失败概率最多为1/4;第二种算法在代数数域上每次分解模素理想P的多项式的失败概率最多为1/2,当代数数域为偶数次扩展或者P|(p)满足p为素数且4|p-1的形式时,失败概率至多为3/8。和原有算法相比较降低了失败概率。这两种算法都在分解之前进行了素性判断,这一特性可用于生成不可归约多项式。在讨论代数数域情况时,给出了完整的多项式运算的时间复杂证明,弥补了代数数域内多项式计算理论模型上的空白。 展开更多
关键词 概率性算法 多项式分解 Miller-Rabin素检测 有限域 代数数域
在线阅读 下载PDF
巡逻机器人轨迹规划融合算法 被引量:4
4
作者 刘玉 邓琛 +2 位作者 李文帅 刘杰超 韩宝磊 《传感器与微系统》 CSCD 2020年第4期125-128,共4页
针对街区环境下巡逻机器人避开障碍物前往侦测地的轨迹规划问题,提出了一种新的融合算法。在复杂的静态街区环境下,通过多种算法的仿真对比实验选择了概率性搜索算法(PRM)。在动态障碍物密集的环境下,引入"随机可达集"改进了... 针对街区环境下巡逻机器人避开障碍物前往侦测地的轨迹规划问题,提出了一种新的融合算法。在复杂的静态街区环境下,通过多种算法的仿真对比实验选择了概率性搜索算法(PRM)。在动态障碍物密集的环境下,引入"随机可达集"改进了人工势场法(APF)。仿真实验表明:该融合算法降低了机器人的轨迹规划时间,同时提高了机器人的避障成功率。 展开更多
关键词 巡逻机器人 融合算法 概率搜索算法 人工势场法 随机可达集
在线阅读 下载PDF
计算机时钟同步技术研究 被引量:36
5
作者 李明国 宋海娜 《系统仿真学报》 CAS CSCD 2002年第4期477-480,共4页
首先介绍和分析了计算机时钟同步系统的主要理论与技术,研究了同步系统的三个主要组成部分;然后研究了应用最为广泛的绝对物理时钟同步系统的设计方法,对其两种核心算法:CRI算法和PCS算法进行了详细的分析及性能比较。作为上述时钟同步... 首先介绍和分析了计算机时钟同步系统的主要理论与技术,研究了同步系统的三个主要组成部分;然后研究了应用最为广泛的绝对物理时钟同步系统的设计方法,对其两种核心算法:CRI算法和PCS算法进行了详细的分析及性能比较。作为上述时钟同步理论的一个应用例子,本文最后简要介绍了基于网络时间协议(NTP)的同步技术及其软件实现。 展开更多
关键词 计算机 时钟同步 同步模型 概率性算法 网络时间协议 算法
在线阅读 下载PDF
智能卡中RSA密钥生成的比较与研究 被引量:3
6
作者 张丽娜 张家宏 陈建华 《计算机应用》 CSCD 北大核心 2006年第B06期149-150,共2页
研究了密钥生成的一般方法,即确定性素数判定和概率性素数判定方法,给出了利用Rabin M iller测试生成密钥对的算法实现。针对在智能IC卡中生成RSA密钥时所面临的实际问题,给出了最优的方案选择。测试结果表明,与目前国外同类RSA智能IC... 研究了密钥生成的一般方法,即确定性素数判定和概率性素数判定方法,给出了利用Rabin M iller测试生成密钥对的算法实现。针对在智能IC卡中生成RSA密钥时所面临的实际问题,给出了最优的方案选择。测试结果表明,与目前国外同类RSA智能IC卡相比,其生成RSA密钥的时间较短。 展开更多
关键词 密钥生成 确定检测算法 概率检测算法 Rabin Miller测试
在线阅读 下载PDF
Hybrid reliability model for fatigue reliability analysis of steel bridges 被引量:1
7
作者 曹珊珊 雷俊卿 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第2期449-460,共12页
A kind of hybrid reliability model is presented to solve the fatigue reliability problems of steel bridges. The cumulative damage model is one kind of the models used in fatigue reliability analysis. The parameter cha... A kind of hybrid reliability model is presented to solve the fatigue reliability problems of steel bridges. The cumulative damage model is one kind of the models used in fatigue reliability analysis. The parameter characteristics of the model can be described as probabilistic and interval. The two-stage hybrid reliability model is given with a theoretical foundation and a solving algorithm to solve the hybrid reliability problems. The theoretical foundation is established by the consistency relationships of interval reliability model and probability reliability model with normally distributed variables in theory. The solving process is combined with the definition of interval reliability index and the probabilistic algorithm. With the consideration of the parameter characteristics of the S-N curve, the cumulative damage model with hybrid variables is given based on the standards from different countries. Lastly, a case of steel structure in the Neville Island Bridge is analyzed to verify the applicability of the hybrid reliability model in fatigue reliability analysis based on the AASHTO. 展开更多
关键词 hybrid reliability model (HRM) consistency relationships linear and bilinear S-N curve fatigue reliability normal distribution
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部