卫星任务调度问题的约束规划模型 被引量：28

1

作者 陈英武 方炎申 +1 位作者 李菊芳 贺仁杰 《国防科技大学学报》 EI CAS CSCD 北大核心 2006年第5期126-132,共7页

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完... 卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。 展开更多

关键词 卫星 任务调度 约束满足问题 约束规划 变邻域禁忌搜索算法

在线阅读 下载PDF 职称材料

基于辫子群的密码体制研究及进展 被引量：2

2

作者 朱萍 温巧燕 《通信学报》 EI CSCD 北大核心 2009年第5期105-113,共9页

综述了基于辫子群的密码体制的研究成果和发展状况:介绍了现有的基于辫子群的一些密码体制,包括密钥交换协议,加密—解密方案和身分认证方案,同时也概述了相关的密码分析方法,如解共轭问题、基于长度和线性表示的攻击等。指出了目前基... 综述了基于辫子群的密码体制的研究成果和发展状况:介绍了现有的基于辫子群的一些密码体制,包括密钥交换协议,加密—解密方案和身分认证方案,同时也概述了相关的密码分析方法,如解共轭问题、基于长度和线性表示的攻击等。指出了目前基于辫子群的密码体制所存在的问题,并对其研究前景进行了展望。 展开更多

关键词 密码体制 辫子群 共轭搜索问题 密钥交换

在线阅读 下载PDF 职称材料

辫群上代理签名体制的分析与设计 被引量：1

3

作者 隗云 张兴凯 +1 位作者 熊国华 穆灵 《计算机应用研究》 CSCD 北大核心 2011年第9期3522-3523,3534,共3页

为了研究抵抗量子分析的密码体制,对两种辫群上的代理签名体制进行分析,指出其不能抵抗已知签名的存在性伪造攻击;基于匹配共轭搜索问题的难解性构造了新的代理签名体制。分析表明该体制满足代理签名的各种安全需求,且计算效率高、签名... 为了研究抵抗量子分析的密码体制,对两种辫群上的代理签名体制进行分析,指出其不能抵抗已知签名的存在性伪造攻击;基于匹配共轭搜索问题的难解性构造了新的代理签名体制。分析表明该体制满足代理签名的各种安全需求,且计算效率高、签名长度短。 展开更多

关键词 代理签名 辫群 匹配共轭搜索问题 已知签名的存在性伪造

在线阅读 下载PDF 职称材料

基于Clifford半群上共轭搜索问题的密钥建立协议 被引量：1

4

作者 黄华伟 肖国镇 《计算机科学》 CSCD 北大核心 2007年第2期76-78,共3页

本文采用更广泛的半群作为平台,推广了Iris Anshel等提出的代数密钥建立协议模型。在定义了Clifford半群上的多重同时共轭搜索问题(MSCSP)后,给出了基于此问题的密钥建立协议。在理论上证明了若Clifford半群上的多重同时共轭搜索问题(MS... 本文采用更广泛的半群作为平台,推广了Iris Anshel等提出的代数密钥建立协议模型。在定义了Clifford半群上的多重同时共轭搜索问题(MSCSP)后,给出了基于此问题的密钥建立协议。在理论上证明了若Clifford半群上的多重同时共轭搜索问题(MSCSP)是困难的,那么可以利用MSCSP来构造密钥建立协议,从而说明利用半群作为平台构建密钥建立协议是可能的。本文也提供了一种新的利用辫群的思路,即考虑利用辫群上的强半格(许多辫群按照一定规则形成的无交并)构成的Clifford半群来构建密码协议,以弥补单个辫群可能存在的安全缺陷。 展开更多

关键词 密钥建立协议 CLIFFORD半群 多重同时共轭搜索问题(MScsp)

在线阅读 下载PDF 职称材料

辫群上的可转换认证加密方案

5

作者 裴俐春 隗云 +1 位作者 熊国华 张兴凯 《计算机工程》 CAS CSCD 北大核心 2011年第11期158-159,175,共3页

量子计算的快速发展给目前的公钥密码体制带来严重威胁,非交换的辫群为构造安全密码协议提供了新平台。基于辫群上共轭搜索问题和多重共轭搜索问题的难解性,提出一个可转换认证加密方案,只有指定的接收者才能恢复认证的原始消息;当发送... 量子计算的快速发展给目前的公钥密码体制带来严重威胁,非交换的辫群为构造安全密码协议提供了新平台。基于辫群上共轭搜索问题和多重共轭搜索问题的难解性,提出一个可转换认证加密方案,只有指定的接收者才能恢复认证的原始消息;当发送者否认签名时,接收者不需要发送方的参与即可将收到的签名转换为一般签名,并向第三方证明发送者的不诚实。与基于交换代数的方案相比,该方案在抗量子攻击上更有优势。 展开更多

关键词 辫群 共轭搜索问题 多重共轭搜索问题 可转换认证加密

在线阅读 下载PDF 职称材料

基于辫群的代理盲签名方案

6

作者 李锋 郭艾侠 赵秀凤 《计算机应用研究》 CSCD 北大核心 2010年第7期2641-2642,2646,共3页

由Shor等人构造的量子算法可以在多项式时间内解决传统三大难解问题而利用辫群构造的很多数学困难问题,在量子计算机条件下均无有效的解法,辫群是一种适合构造抵抗量子密码分析的计算平台。利用左右子群元素的可交换性,基于CSP问题、SCS... 由Shor等人构造的量子算法可以在多项式时间内解决传统三大难解问题而利用辫群构造的很多数学困难问题,在量子计算机条件下均无有效的解法,辫群是一种适合构造抵抗量子密码分析的计算平台。利用左右子群元素的可交换性,基于CSP问题、SCSP问题和p次方根问题的难解性,提出了一个新的代理盲签名方案,并通过方案分析验证了该方案的有效性和可行性。 展开更多

关键词 辫群 盲签名 共轭搜索问题 量子算法 代理签名

在线阅读 下载PDF 职称材料

约束可满足问题求解策略的改进和实验结果

7

作者 陈荣 孙吉贵 刘瑞胜 《吉林大学自然科学学报》 CAS CSCD 1997年第2期27-30,共4页

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．

关键词 约束可满足问题 局部搜索算法 控制策略

在线阅读 下载PDF 职称材料

基于辫群的代理签名方案的分析与改进 被引量：1

8

作者 黄文平 宁菊红 《计算机应用》 CSCD 北大核心 2010年第4期1030-1032,共3页

对两个基于辫群的代理签名方案进行了分析,发现它们并不满足不可伪造性。第一个方案中不能抵抗原始签名人改变攻击,在第二个方案中任何攻击者可以伪造一个有效的代理签名,在该签名中,代理签名者以及消息可以任意指定。根据上述缺陷,提... 对两个基于辫群的代理签名方案进行了分析,发现它们并不满足不可伪造性。第一个方案中不能抵抗原始签名人改变攻击,在第二个方案中任何攻击者可以伪造一个有效的代理签名,在该签名中,代理签名者以及消息可以任意指定。根据上述缺陷,提出一个改进的强代理签名方案,新方案在不增加计算复杂性的前提下,保证了签名的安全性,同时代理授权过程中还增加了不需要安全通道的性质。 展开更多

关键词 辫群 代理签名 伪造攻击 安全分析 共轭查找问题

在线阅读 下载PDF 职称材料

辫群上的非平衡比特承诺协议

9

作者 朱丹 鲍皖苏 +1 位作者 张兴凯 隗云 《计算机应用研究》 CSCD 北大核心 2012年第3期1076-1077,1083,共3页

为构造抗量子攻击的密码协议,以非交换的辫群为平台,基于求根问题的难解性提出了一个非平衡比特承诺协议。分析表明,协议具有绑定性和隐藏性,且协议执行过程不涉及共轭判断运算,在计算上比基于共轭搜索问题的比特承诺协议更有效。

关键词 辫群 比特承诺 求根问题 共轭搜索问题

在线阅读 下载PDF 职称材料

基于辫子群的不经意传输协议

10

作者 朱丹 鲍皖苏 +1 位作者 隗云 张兴凯 《计算机应用研究》 CSCD 北大核心 2012年第6期2265-2267,共3页

分析指出现有辫子群上的不经意传输协议通过辫元的指数形式隐藏接收者的选择信息进而保证其隐私性,辫元指数形式的存在导致该协议计算效率较低。基于辫子群上同时共轭搜索问题和分解问题的难解性,提出了一个N取M不经意传输协议,当M=1时... 分析指出现有辫子群上的不经意传输协议通过辫元的指数形式隐藏接收者的选择信息进而保证其隐私性,辫元指数形式的存在导致该协议计算效率较低。基于辫子群上同时共轭搜索问题和分解问题的难解性,提出了一个N取M不经意传输协议,当M=1时对应协议比现有协议的计算效率更高。 展开更多

关键词 辫子群 不经意传输 同时共轭搜索问题 分解问题

在线阅读 下载PDF 职称材料

辫群上的扭结共轭搜索问题和密码体制研究

11

作者 程玉芳 王晓峰 《计算机工程》 CAS CSCD 2012年第22期119-121,125,共4页

通过分析辫群的相关性质及群上的判定问题,结合扭结共轭问题、子群成员判断问题及根搜索问题,提出一种辫群上的公钥加密协议和签名协议,对两者的安全性进行分析,证明敌手无法从公钥中恢复密钥,因此协议可以抵抗长度攻击、惟密钥攻击、... 通过分析辫群的相关性质及群上的判定问题,结合扭结共轭问题、子群成员判断问题及根搜索问题,提出一种辫群上的公钥加密协议和签名协议,对两者的安全性进行分析,证明敌手无法从公钥中恢复密钥,因此协议可以抵抗长度攻击、惟密钥攻击、一般选择消息攻击、定向选择消息攻击和适应性选择消息攻击。 展开更多

关键词 辫群 扭结共轭搜索问题 公钥密码体制 根搜索问题 子群成员判断问题 数字签名协议

在线阅读 下载PDF 职称材料

基于禁忌搜索算法求解随机约束满足问题 被引量：12

12

作者 李飞龙 赵春艳 范如梦 《计算机应用》 CSCD 北大核心 2019年第12期3584-3589,共6页

为了求解具有增长取值域的随机约束满足问题(CSP),提出了一种基于禁忌搜索并与模拟退火相结合的算法。首先,利用禁忌搜索得到一组启发式的初始赋值,即由一个随机初始化的可行解通过邻域构造一组候选解,再利用禁忌表使候选解向最小化目... 为了求解具有增长取值域的随机约束满足问题(CSP),提出了一种基于禁忌搜索并与模拟退火相结合的算法。首先,利用禁忌搜索得到一组启发式的初始赋值,即由一个随机初始化的可行解通过邻域构造一组候选解,再利用禁忌表使候选解向最小化目标函数值的方向移动;如果得到的最优赋值不是问题的解,就把它作为启发式的初始赋值,再执行模拟退火对这组赋值进行修正直到得到全局最优解。数值实验结果表明,所提算法在接近问题的理论相变阈值时仍然能有效地找到问题的解,与其他局部搜索算法相比,表现出了显著的优越性,可用于随机CSP的算法设计。 展开更多

关键词 随机约束满足问题 RB模型 相变现象 禁忌搜索 模拟退火 算法效率

在线阅读 下载PDF 职称材料

基于扭共轭搜索问题的有偏比特承诺

13

作者 苗小雨 韩广国 《高校应用数学学报（A辑）》 CSCD 北大核心 2012年第1期121-126,共6页

提出了基于扭共轭搜索问题的有偏比特承诺方案.(双)扭共轭搜索问题是指:已知G上的一对自同态(?),ψ及G中两元素w,t,找出s∈G,使得:t=ψ(s^(-1))w(?)(s).(假设至少存在一个这样的s.)给出了方案的正确性,安全性的证明,并且在一个具体的平... 提出了基于扭共轭搜索问题的有偏比特承诺方案.(双)扭共轭搜索问题是指:已知G上的一对自同态(?),ψ及G中两元素w,t,找出s∈G,使得:t=ψ(s^(-1))w(?)(s).(假设至少存在一个这样的s.)给出了方案的正确性,安全性的证明,并且在一个具体的平台上讨论了密钥空间,参数设置,并且给出了安全性分析. 展开更多

关键词 有偏比特承诺 扭共轭搜索问题 矩阵半群

在线阅读 下载PDF 职称材料