期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
具有多项式时间复杂性的离散事件系统安全诊断 被引量:7
1
作者 刘富春 罗苹 《控制理论与应用》 EI CAS CSCD 北大核心 2017年第6期717-722,共6页
离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构... 离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论. 展开更多
关键词 离散事件系统 故障诊断 安全诊断 多项式时间复杂性
在线阅读 下载PDF
时间复杂性和空间复杂性研究 被引量:4
2
作者 高强 徐心和 《智能系统学报》 CSCD 北大核心 2014年第5期529-535,共7页
计算复杂性是衡量问题求解的难易程度的。研究问题的计算复杂性,可以明确该问题是否存在有效的求解算法。介绍并分析了计算理论的一些基本概念,论述了时间复杂性(包括P、NP、NP-hard、NP-complete和EXPTIME)和空间复杂性(包括PSPACE、NP... 计算复杂性是衡量问题求解的难易程度的。研究问题的计算复杂性,可以明确该问题是否存在有效的求解算法。介绍并分析了计算理论的一些基本概念,论述了时间复杂性(包括P、NP、NP-hard、NP-complete和EXPTIME)和空间复杂性(包括PSPACE、NPSPACE、PSPACE-hard和PSAPCE-complete)中的各个主要分类。最后分析了各个复杂性类之间的关系。 展开更多
关键词 计算复杂性 图灵机 确定型多项式时间复杂性 非确定型多项式时间复杂性 非确定型多项式时间复杂性的完全问题 确定型多项式空间复杂性 确定型多项式空间复杂性的完全问题 可归约性
在线阅读 下载PDF
F_p上不可约与本原多项式的高效确定算法 被引量:3
3
作者 王泽辉 方小洵 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第6期89-92,共4页
对于一大类整数n(n为素数乘于素数或1的积),分别给出有限域Fp上n次多项式是不可约多项式与本原多项式的一个充要条件,该条件可通过O(n3)次Fp上乘法加以验证,易于硬件实现。提出可约多项式一个充分条件,借此减少验证时间,并得到用O(n4)... 对于一大类整数n(n为素数乘于素数或1的积),分别给出有限域Fp上n次多项式是不可约多项式与本原多项式的一个充要条件,该条件可通过O(n3)次Fp上乘法加以验证,易于硬件实现。提出可约多项式一个充分条件,借此减少验证时间,并得到用O(n4)次Fp上乘法确定一个n次不可约多项式及一个n次本原多项式的高效算法。对于ECC中构造Fnp上椭圆曲线、序列密码中构造LFSR,有重要的应用价值。 展开更多
关键词 不可约多项式 本原多项式 ECC 序列密码 多项式时间复杂性 高效算法
在线阅读 下载PDF
三维随机矩阵置乱变换的周期及其应用 被引量:4
4
作者 王泽辉 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期21-25,共5页
为了适合数字多媒体特性,实施多媒体加密与信息隐藏,生成充分大的密钥空间,使用了数论、近世代数、算法分析等工具,对高维随机矩阵置乱变换的精确周期进行了研究。给出三维随机整数矩阵A决定的置乱变换在任意模N下,其周期T(A,N)的精确... 为了适合数字多媒体特性,实施多媒体加密与信息隐藏,生成充分大的密钥空间,使用了数论、近世代数、算法分析等工具,对高维随机矩阵置乱变换的精确周期进行了研究。给出三维随机整数矩阵A决定的置乱变换在任意模N下,其周期T(A,N)的精确表达式及上界估计,构造了求周期的快速算法,仅耗费O(log2N)2次模N乘法便可得到T(A,N)。大量的算例和应用范例与理论结果相吻合。结论可用于建立数字多媒体的新型密码体制,实施高效率的加密。 展开更多
关键词 数字多媒体 随机矩阵置乱变换 周期性 多项式时间复杂性 安全性
在线阅读 下载PDF
二次锥规划的一种原-对偶不可行内点算法 被引量:1
5
作者 迟晓妮 刘三阳 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2007年第2期307-311,共5页
为了克服内点算法中初始点是严格可行的这一缺点,给出二次锥规划的一种原-对偶不可行内点算法.基于二次锥规划的最优性条件和互补条件,定义了一个新的价值函数.当价值函数的值越小时,迭代点越靠近最优解.该算法不要求初始点及迭代点的... 为了克服内点算法中初始点是严格可行的这一缺点,给出二次锥规划的一种原-对偶不可行内点算法.基于二次锥规划的最优性条件和互补条件,定义了一个新的价值函数.当价值函数的值越小时,迭代点越靠近最优解.该算法不要求初始点及迭代点的可行性且具有Q-线性收敛速度和多项式时间复杂性. 展开更多
关键词 二次锥规划 不可行内点算法 Q-线性收敛 多项式时间复杂性
在线阅读 下载PDF
求解凸二次规划问题的一种加权路径跟踪内点算法 被引量:5
6
作者 金正静 白延琴 韩伯顺 《运筹学学报》 CSCD 2010年第1期55-65,共11页
基于Darvay提出用加权路径跟踪内点算法解线性规划问题的相关工作,本文致力于将此算法推广于解凸二次规划问题,并证明此算法具有局部二次收敛速度和目前所知的最好的多项式时间算法复杂性.
关键词 运筹学 凸二次规划 小步校正算法 纯Newton步 加权路径跟踪内点算法 多项式时间算法复杂性
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部