期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
基于三值多样性粒子群算法的MPRM电路综合优化 被引量:9
1
作者 俞海珍 汪鹏君 +1 位作者 张会红 万凯 《电子学报》 EI CAS CSCD 北大核心 2017年第7期1601-1607,共7页
通过对离散三值粒子群算法的研究,提出一种三值多样性粒子群算法以求解MPRM(Mixed-Polarity Reed-Muller,MPRM)电路综合优化问题.首先根据混合极性XNOR/OR展开式的特点和几率换算法则,推导出三值粒子群算法的运动方程,在此基础上,采用... 通过对离散三值粒子群算法的研究,提出一种三值多样性粒子群算法以求解MPRM(Mixed-Polarity Reed-Muller,MPRM)电路综合优化问题.首先根据混合极性XNOR/OR展开式的特点和几率换算法则,推导出三值粒子群算法的运动方程,在此基础上,采用广泛学习策略和三值变异操作进行算法改进;然后建立三值多样性粒子群算法的粒子与MPRM电路极性的参数映射关系,结合估计模型和XNOR/OR电路混合极性转换方法,将所提算法应用于MPRM电路的最佳功耗和面积极性搜索;最后对10个PLA格式MCNC Benchmark电路进行测试.结果表明:与已发表的方法相比,该文的优化算法表现出了总体显著性的性能优势. 展开更多
关键词 三值多样性粒子群算法 mprm电路 逻辑优化 极性转换
下载PDF
基于多策略离散粒子群算法的MPRM电路延时与面积优化 被引量:7
2
作者 符强 汪鹏君 +2 位作者 童楠 王铭波 张会红 《电子学报》 EI CAS CSCD 北大核心 2016年第5期1202-1207,共6页
针对大规模混合极性Reed-Muller(Mixed Polarity Reed-Muller,MPRM)逻辑电路的延时与面积优化,提出一种基于多策略离散粒子群优化(Multi-Strategy Discrete Particle Swarm Optimization,MSDPSO)的极性搜索方法.在MSDPSO算法中,对粒子... 针对大规模混合极性Reed-Muller(Mixed Polarity Reed-Muller,MPRM)逻辑电路的延时与面积优化,提出一种基于多策略离散粒子群优化(Multi-Strategy Discrete Particle Swarm Optimization,MSDPSO)的极性搜索方法.在MSDPSO算法中,对粒子进行团队划分,每个团队既执行不同策略,又相互联系,并行完成探索与开发的双重任务.同时在进化过程中采用高斯调整来激活寻优能力较差的粒子.结合MSDPSO算法和列表极性转换技术,对大规模MPRM电路进行延时与面积极性搜索.最后对PLA格式的MCNC Benchmark电路进行算法性能测试,结果验证了MSDPSO算法的有效性.与离散粒子群优化(Discrete Particle Swarm Optimization,DPSO)算法的优化结果相比较,MSDPSO算法获取的电路延时平均缩短8.43%,面积平均节省38.36%. 展开更多
关键词 多策略离散粒子群算法 mprm逻辑电路 延时与面积优化 极性搜索
下载PDF
基于Pareto支配的MPRM电路面积与可靠性优化 被引量:9
3
作者 卜登立 江建慧 《电子学报》 EI CAS CSCD 北大核心 2016年第11期2653-2659,共7页
针对MPRM(Mixed-Polarity Reed-Muller)电路的面积与可靠性折中优化问题,在逻辑级建立面积估算模型以及电路SER(Soft Error Rate)解析评价模型,并采用Pareto支配概念对MPRM电路进行面积与可靠性多目标优化.通过对MPRM电路的XOR部分进行... 针对MPRM(Mixed-Polarity Reed-Muller)电路的面积与可靠性折中优化问题,在逻辑级建立面积估算模型以及电路SER(Soft Error Rate)解析评价模型,并采用Pareto支配概念对MPRM电路进行面积与可靠性多目标优化.通过对MPRM电路的XOR部分进行树形异或门分解,并考虑多个输出之间异或门的共享,建立面积估算模型.采用信号概率和故障传播方法,并考虑电路中的逻辑屏蔽因素以及信号相关性,建立电路SER解析评价模型.根据所提出的面积和SER评价模型,采用极性向量的格雷码序穷举搜索MPRM的极性空间得到MPRM电路面积与可靠性的Pareto最优解集,并使用效率因子技术指标选取最终解.MCNC基准电路的实验结果表明,与面积最小MPRM电路相比,所选取的MPRM电路可以在较小面积开销的前提下获得较高电路可靠性. 展开更多
关键词 mprm电路 可靠性优化 面积优化 SER解析评价模型 PARETO支配 多目标优化
下载PDF
基于2个阶段遗传算法的MPRM电路面积与SER折中优化 被引量:3
4
作者 卜登立 江建慧 罗文浪 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2017年第10期1924-1934,共11页
随着组合电路对瞬时故障的敏感度不断增加,在进行混合极性Reed-Muller(MPRM)电路优化时有必要将软错误率(SER)作为一个重要约束,并以较高时间效率获得电路面积与SER的合理折中解.为此,提出一种带历史缓冲区的2个阶段遗传算法TPGAHB来进... 随着组合电路对瞬时故障的敏感度不断增加,在进行混合极性Reed-Muller(MPRM)电路优化时有必要将软错误率(SER)作为一个重要约束,并以较高时间效率获得电路面积与SER的合理折中解.为此,提出一种带历史缓冲区的2个阶段遗传算法TPGAHB来进行MPRM电路面积与SER折中优化.TPGAHB采用带历史缓冲区的GA模型,分2个阶段实施面积与SER折中优化.第1阶段以面积为目标进行优化得到面积最优解;第2阶段利用Pareto最优原理量化偏好将面积最优解作为参考解计算MPRM电路解的面积与SER效率因子,并以效率因子为目标进行优化,从而得到面积与SER的合理折中解.对MCNC电路进行优化的结果表明,TPGAHB具有较好的寻优能力,能够以较高时间效率获得较好的面积与SER折中的MPRM电路,对输入数超过14的电路也有较好适用性. 展开更多
关键词 mprm电路 面积优化 SER优化 遗传算法 PARETO最优
下载PDF
基于动态逻辑的MPRM电路低功耗优化设计 被引量:3
5
作者 李辉 汪鹏君 《电路与系统学报》 CSCD 北大核心 2010年第5期99-105,89,共8页
n个输入变量的逻辑函数有3n种不同的MPRM(Mixed-Polarity Reed-Muller)表达式,其对应电路的功耗和面积不尽相同。本文通过对CMOS电路功耗和动态逻辑MPRM电路低功耗分解方法的分析,建立MPRM电路功耗和面积估计模型,而后提出一种基于动态... n个输入变量的逻辑函数有3n种不同的MPRM(Mixed-Polarity Reed-Muller)表达式,其对应电路的功耗和面积不尽相同。本文通过对CMOS电路功耗和动态逻辑MPRM电路低功耗分解方法的分析,建立MPRM电路功耗和面积估计模型,而后提出一种基于动态逻辑的MPRM电路快速低功耗分解算法。在此基础上,针对中小规模和大规模MPRM电路,结合列表转换技术,分别将穷尽搜索算法和遗传算法应用于基于动态逻辑的MPRM电路低功耗优化设计中。通过对MCNC和ISCAS基准电路测试表明:与Boolean电路和FPRM(Fixed-Polarity Reed-Muller)电路相比,中小规模MPRM电路的功耗平均节省80.65%和50.98%,大规模MRPM电路的功耗平均节省69.17%和46.61%。 展开更多
关键词 mprm电路 动态逻辑 低功耗 优化设计
下载PDF
包含无关项的MPRM展开式最小化算法 被引量:1
6
作者 汪迪生 汪鹏君 《浙江大学学报(理学版)》 CAS CSCD 2014年第1期38-42,89,共6页
通过对包含无关项布尔逻辑函数SOP(Sum-of-Products)展开式和MPRM(Mixed Polarity Reed-Muller)展开式的研究,结合基于系数矩阵的FPRM(Fixed Polarity Reed-Muller)展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算... 通过对包含无关项布尔逻辑函数SOP(Sum-of-Products)展开式和MPRM(Mixed Polarity Reed-Muller)展开式的研究,结合基于系数矩阵的FPRM(Fixed Polarity Reed-Muller)展开式极性转换算法,提出了一种包含无关项逻辑函数MPRM展开式最小化算法.首先将包含无关项逻辑函数SOP展开式转换为MPRM展开式,并用系数矩阵的形式表示;然后删除函数中的冗余变量,归纳出一种包含无关项MPRM展开式最小化算法,得到与项数较少的MPRM展开式;最后随机选取15个MCNC基准电路进行测试,结果表明该算法能有效地优化电路面积. 展开更多
关键词 无关项 极性转换 mprm展开式 最小化
下载PDF
基于概率表达式的MPRM电路功耗计算方法 被引量:2
7
作者 卜登立 《电子学报》 EI CAS CSCD 北大核心 2018年第12期3060-3067,共8页
采用基于信号概率的功耗计算模型进行MPRM(Mixed Polarity Reed-Muller)电路功耗优化,信号概率计算是功耗计算的关键.提出一种基于概率表达式的MPRM电路功耗计算方法.该方法兼顾信号概率计算的时间效率和准确性,对MPRM电路中不存在空间... 采用基于信号概率的功耗计算模型进行MPRM(Mixed Polarity Reed-Muller)电路功耗优化,信号概率计算是功耗计算的关键.提出一种基于概率表达式的MPRM电路功耗计算方法.该方法兼顾信号概率计算的时间效率和准确性,对MPRM电路中不存在空间相关性的信号通过在电路中传播信号概率的方式计算其信号概率,存在空间相关性的信号则利用概率表达式计算其信号概率,并在电路中传播概率表达式以解决空间相关性问题,在此基础之上根据基于信号概率建立的解析动态功耗和静态功耗计算模型计算电路功耗.为进一步提高时间效率,该方法采用二元矩图表示概率表达式.使用基准电路对所提出方法进行了验证,并与其他采用不同信号概率计算方法的MPRM电路功耗计算方法进行了比较.结果表明所提出方法准确有效. 展开更多
关键词 mprm电路 功耗计算 信号概率 空间相关 概率表达式 二元矩图
下载PDF
基于全离散粒子群优化的纳电子MPRM电路面积优化算法
8
作者 卜登立 《现代电子技术》 北大核心 2018年第4期78-82,共5页
针对具有较多输入数的可编程阵列结构纳电子混合极性Reed-Muller电路的面积优化问题,提出一种全离散粒子群优化算法。通过将粒子速度合并到位置更新方程,充分挖掘粒子群优化中的学习因素得到全离散化的粒子更新方程,在此基础之上设计FD... 针对具有较多输入数的可编程阵列结构纳电子混合极性Reed-Muller电路的面积优化问题,提出一种全离散粒子群优化算法。通过将粒子速度合并到位置更新方程,充分挖掘粒子群优化中的学习因素得到全离散化的粒子更新方程,在此基础之上设计FDPSO算法,并使用探索概率作为算法参数控制算法全局探索与局部开拓间的平衡。对一组输入数大于20的MCNC电路进行优化的实验结果表明,与其他能够用于可编程阵列结构纳电子混合极性Reed-Muller电路面积优化的智能算法相比,全离散粒子群优化算法具有较强的全局收敛能力和结果稳定性,能够以较高时间效率获得较好的优化结果。 展开更多
关键词 纳电子 mprm电路 面积优化 粒子群优化 更新方程 算法参数
下载PDF
基于PDTDPSO算法的MPRM电路面积与功耗优化 被引量:2
9
作者 闫盼盼 俞海珍 +1 位作者 史旭华 万凯 《计算机应用与软件》 北大核心 2020年第5期72-76,共5页
针对MPRM电路的面积与功耗综合优化问题,提出一种基于Pareto支配的三值多样性粒子群算法(Pareto Dominance Ternary Diversity Particle Swarm Optimization,PDTDPSO)的最佳极性搜索方案。在TDPSO求解MPRM电路综合优化问题的基础上,引... 针对MPRM电路的面积与功耗综合优化问题,提出一种基于Pareto支配的三值多样性粒子群算法(Pareto Dominance Ternary Diversity Particle Swarm Optimization,PDTDPSO)的最佳极性搜索方案。在TDPSO求解MPRM电路综合优化问题的基础上,引入变异算子对粒子施加扰动,对超出定义的边界范围的粒子执行边界约束处理,并结合Pareto支配概念改进算法;建立基于Pareto支配的粒子与MPRM电路极性之间的参数映射关系,并结合面积与功耗估计模型以及XNOR/OR电路混合极性转换方法,将该算法应用于MPRM电路的面积和功耗优化。对10个PLA格式MCNC Benchmark电路进行测试,与DPSO和TDPSO算法搜索到的结果相比,PDTDPSO算法获取的最优解的面积平均优化率为11.10%和5.84%,功耗平均优化率为13.71%和8.08%。 展开更多
关键词 粒子群算法 mprm电路 PARETO支配 极性转换
下载PDF
基于Pareto支配的MPRM电路面积与功耗优化 被引量:2
10
作者 闫盼盼 俞海珍 +1 位作者 史旭华 万凯 《计算机工程与科学》 CSCD 北大核心 2020年第4期596-602,共7页
针对MPRM电路的面积与功耗折衷优化问题,提出一种基于多目标三值多样性粒子群MOTDPSO算法的最佳极性搜索方案。在三值多样性粒子群算法求解MPRM电路综合优化问题的基础上,对超出定义的边界范围的粒子,执行边界约束处理,并结合Pareto支... 针对MPRM电路的面积与功耗折衷优化问题,提出一种基于多目标三值多样性粒子群MOTDPSO算法的最佳极性搜索方案。在三值多样性粒子群算法求解MPRM电路综合优化问题的基础上,对超出定义的边界范围的粒子,执行边界约束处理,并结合Pareto支配概念改进算法;然后建立基于Pareto支配的粒子与MPRM电路极性之间的参数映射关系,并结合面积与功耗估计模型以及OR/XNOR电路混合极性转换方法,将该算法应用于MPRM电路的面积和功耗优化。最后对18个PLA格式MCNC Benchmark电路进行测试,与NSGA-II算法搜索到的结果相比,MOTDPSO算法获取的最优解的面积平均优化率为4.29%,功耗平均优化率为6.02%。 展开更多
关键词 粒子群算法 mprm电路 PARETO支配 极性转换
下载PDF
基于系数矩阵变换的最优MPRM求解方法 被引量:1
11
作者 卜登立 魏韡 曾小荟 《计算机工程》 CAS CSCD 2012年第22期255-259,共5页
针对多输出布尔函数,给出一种求解混合极性Reed-Muller(MPRM)的系数矩阵变换算法。以MPRM中的乘积项数为化简标准,采用穷举策略进行极性空间搜索,求解最优MPRM。在MCNC和ISCAS基准电路上的测试结果表明,与采用列表技术相比,该系数矩阵... 针对多输出布尔函数,给出一种求解混合极性Reed-Muller(MPRM)的系数矩阵变换算法。以MPRM中的乘积项数为化简标准,采用穷举策略进行极性空间搜索,求解最优MPRM。在MCNC和ISCAS基准电路上的测试结果表明,与采用列表技术相比,该系数矩阵变换算法能平均缩短55.8%的最优MPRM求解时间。 展开更多
关键词 混合极性Reed—Muller 系数矩阵变换 逻辑优化 列表技术 穷举策略 格雷码
下载PDF
Discrete ternary particle swarm optimization for area optimization of MPRM circuits 被引量:10
12
作者 俞海珍 汪鹏君 +1 位作者 汪迪生 张会红 《Journal of Semiconductors》 EI CAS CSCD 2013年第2期118-123,共6页
Having the advantage of simplicity, robustness and low computational costs, the particle swarm optimization (PSO) algorithm is a powerful evolutionary computation tool for synthesis and optimization of Reed- Muller ... Having the advantage of simplicity, robustness and low computational costs, the particle swarm optimization (PSO) algorithm is a powerful evolutionary computation tool for synthesis and optimization of Reed- Muller logic based circuits. Exploring discrete PSO and probabilistic transition rules, the discrete ternary particle swarm optimization (DTPSO) is proposed for mixed polarity Reed-Muller (MPRM) circuits. According to the characteristics of mixed polarity OR/XNOR expression, a tabular technique is improved, and it is applied in the polarity conversion of MPRM functions. DTPSO is introduced to search the best polarity for an area of MPRM circuits by building parameter mapping relationships between particles and polarities. The computational results show that the proposed DTPSO outperforms the reported method using maxterm conversion starting from POS Boolean functions. The average saving in the number of terms is about 11.5%; the algorithm is quite efficient in terms of CPU time and achieves 12.2% improvement on average. 展开更多
关键词 area optimization DTPSO algorithm mprm circuits polarity conversion
原文传递
Delay-area trade-off for MPRM circuits based on hybrid discrete particle swarm optimization 被引量:1
13
作者 蒋志迪 王振海 汪鹏君 《Journal of Semiconductors》 EI CAS CSCD 2013年第6期132-137,共6页
Polarity optimization for mixed polarity Reed-Muller(MPRM) circuits is a combinatorial issue.Based on the study on discrete particle swarm optimization(DPSO) and mixed polarity,the corresponding relation between p... Polarity optimization for mixed polarity Reed-Muller(MPRM) circuits is a combinatorial issue.Based on the study on discrete particle swarm optimization(DPSO) and mixed polarity,the corresponding relation between particle and mixed polarity is established,and the delay-area trade-off of large-scale MPRM circuits is proposed. Firstly,mutation operation and elitist strategy in genetic algorithm are incorporated into DPSO to further develop a hybrid DPSO(HDPSO).Then the best polarity for delay and area trade-off is searched for large-scale MPRM circuits by combining the HDPSO and a delay estimation model.Finally,the proposed algorithm is testified by MCNC Benchmarks.Experimental results show that HDPSO achieves a better convergence than DPSO in terms of search capability for large-scale MPRM circuits. 展开更多
关键词 hybrid discrete particle swarm optimization mprm circuits delay-area trade-off
原文传递
Conversion algorithm for MPRM expansion 被引量:2
14
作者 汪鹏君 王振海 +2 位作者 徐瑞 蒋志迪 汪迪生 《Journal of Semiconductors》 EI CAS CSCD 2014年第3期146-151,共6页
Conversion of the Reed–Muller(RM) expansion between two different polarities is an important step in the synthesis and optimization of RM circuits. By investigating XOR decomposition, a new conversion algorithm is ... Conversion of the Reed–Muller(RM) expansion between two different polarities is an important step in the synthesis and optimization of RM circuits. By investigating XOR decomposition, a new conversion algorithm is proposed to convert MPRM expansion from one polarity to another. First, the relationship between XOR decomposition and mixed polarity is set up. Second, based on this, the operation relation of term coefficients between the two polarities is derived to realize MPRM expansion conversion. And finally, with the MCNC Benchmark, the resultsofouralgorithmshowthatitismoresuitablefordealingwithMPRMexpansionwithmoreterms.Compared to the previous tabular technique, the conversion efficiency is improved up to approximately 44.39%. 展开更多
关键词 XOR decomposition mixed polarity mprm expansion conversion algorithm
原文传递
流密码非线性布尔函数可重构运算单元设计方法RA-NLBF
15
作者 张宗仁 戴紫彬 +1 位作者 刘燕江 张晓磊 《计算机应用》 CSCD 北大核心 2023年第11期3527-3533,共7页
分组密码中的S盒(多输出)以及流密码中的反馈函数都需要特殊的布尔函数来保证密码算法的安全性。为解决现有流密码算法中非线性布尔函数(NLBF)可重构硬件运算单元资源占用过大、时钟频率低等问题,提出一种高效的基于与非锥(AIC)的NLBF... 分组密码中的S盒(多输出)以及流密码中的反馈函数都需要特殊的布尔函数来保证密码算法的安全性。为解决现有流密码算法中非线性布尔函数(NLBF)可重构硬件运算单元资源占用过大、时钟频率低等问题,提出一种高效的基于与非锥(AIC)的NLBF可重构运算单元设计方法(RA-NLBF)。以密码学理论为基础,在着重分析多种流密码算法的NLBF特性,提取了涵盖与项次数、与项个数、输入端口数等NLBF函数特征的基础上,提出基于“混合极性Reed-Muller(MPRM)”和“传统布尔逻辑(TB)”双逻辑混合形式的NLBF化简方法,NLBF的与项数量减少29%,形成了适用于AIC的NLBF表达式;根据化简后的表达中与项个数、与项次数分布等特征,设计了可重构AIC单元和互联网络,形成可满足现有公开流密码算法中的NLBF运算的可重构单元。基于CMOS 180 nm工艺对提出的RA-NLBF进行逻辑综合验证,结果显示该方法的面积为12949.67μm^(2),时钟频率达到505 MHz,与现有相同功能的单元可重构序列密码逻辑单元(RSCLU)相比,面积减少了59.7%,时钟频率提高了37.3%。 展开更多
关键词 流密码 可重构实现 非线性布尔函数 与非锥 混合极性RM
下载PDF
基于OKFDDs的Reed-Muller逻辑混合极性转换算法 被引量:2
16
作者 汪鹏君 李辉 《电子与信息学报》 EI CSCD 北大核心 2011年第4期932-937,共6页
混合极性转换是RM(Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM(Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs(Ordered Kronecker Functional Decision Diagrams)展开... 混合极性转换是RM(Reed-Muller)电路逻辑综合过程的一个重要环节,能够实现从Boolean逻辑最小项表达式到RM逻辑MPRM(Mixed-Polarity Reed-Muller)表达式的转换。该文通过对OKFDDs(Ordered Kronecker Functional Decision Diagrams)展开规律的研究,建立MPRM表达式与OKFDDs数据结构的对应关系。在此基础上,根据最小项系数与MPRM系数的下标包含关系,结合多输出函数描述方式,提出一种直接从最小项表达式展开到MPRM表达式的新型混合极性转换算法。最后通过对多个Benchmark测试的实验结果表明其转换效率相比其它混合极性转换算法有明显提高。 展开更多
关键词 电路设计 电路逻辑综合 OKFDDs mprm表达式 极性转换
下载PDF
基于混合多值离散粒子群优化的混合极性Reed-Muller最小化算法 被引量:11
17
作者 卜登立 江建慧 《电子与信息学报》 EI CSCD 北大核心 2013年第2期361-367,共7页
针对布尔函数系统的混合极性Reed-Muller(Mixed-Polarity Reed-Muller,MPRM)最小化问题,该文提出了一种混合多值离散粒子群优化算法。为解决多样性损失,改善优化结果,兼顾算法的效率和精度,算法采用多群协同优化方法,并提出了概率变异... 针对布尔函数系统的混合极性Reed-Muller(Mixed-Polarity Reed-Muller,MPRM)最小化问题,该文提出了一种混合多值离散粒子群优化算法。为解决多样性损失,改善优化结果,兼顾算法的效率和精度,算法采用多群协同优化方法,并提出了概率变异更新、没有重复的更新以及群间重复最优变异3种更新和变异策略。实验结果表明,和模拟退火遗传算法相比,所构造算法能够在获得基本相同优化结果的同时,提高MPRM最小化的时间效率。 展开更多
关键词 数字电路 布尔函数系统 混合极性Reed—Muller 多值离散粒子群优化 多群 更新和变异策略
下载PDF
Low power mapping for AND/XOR circuits and its application in searching the best mixed-polarity 被引量:9
18
作者 汪鹏君 李辉 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2011年第2期108-113,共6页
A low power mapping algorithm for technology independent AND/XOR circuits is proposed. In this algorithm, the average power of the static mixed-polarity Reed-Muller (MPRM) circuits is minimized by generating a two-i... A low power mapping algorithm for technology independent AND/XOR circuits is proposed. In this algorithm, the average power of the static mixed-polarity Reed-Muller (MPRM) circuits is minimized by generating a two-input gates circuit to optimize the switching active of nodes, and the power and area of MPRM circuits are estimated by using gates from a given library. On the basis of obtaining an optimal power MPRM circuit, the best mixed-polarity is found by combining an exhaustive searching method with polarity conversion algorithms. Our experiments over 18 benchmark circuits show that compared to the power optimization for fixed-polarity Reed-Muller circuits and AND/OR circuits, power saving is up to 44.22% and 60.09%, and area saving is up to 14.13% and 32.72%, respectively. 展开更多
关键词 AND/XOR circuits low power mapping mprm polarity optimization
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部