期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
模型等价性的一个充分必要条件
1
作者 姚从军 《学术论坛》 CSSCI 北大核心 2009年第10期27-30,共4页
什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,... 什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,刻画同一个集合的两个可及点图是等价的模型,笔者将这种等价性定义为装饰等价性。进一步,什么样的模型才具有等价性?即两个模型等价的充分必要条件是什么呢?三大领域中模型等价有一个共同的充分必要条件,即互模拟性,这就从另一个角度说明互模拟诞生的一个共同的直接动因:探索模型等价性充分必要条件。 展开更多
关键词 模型等价 行为等价 模态等价 装饰等价
在线阅读 下载PDF
萃取精馏隔壁塔三种等价模型分离乙腈-水体系流程模拟与优化 被引量:5
2
作者 李成帅 史德青 +1 位作者 刘博文 石会龙 《天然气化工—C1化学与化工》 CAS 北大核心 2021年第3期94-99,共6页
采用精馏隔壁塔的三种等价模型,借助Aspen Plus对乙腈-水分离进行了模拟。通过灵敏度分析、TAC分析和能耗分析,研究了不同等价模型在分离共沸体系方面的适用性。结果表明:针对萃取精馏,隔壁塔三种等价模型均可用于模拟分离乙腈-水体系;... 采用精馏隔壁塔的三种等价模型,借助Aspen Plus对乙腈-水分离进行了模拟。通过灵敏度分析、TAC分析和能耗分析,研究了不同等价模型在分离共沸体系方面的适用性。结果表明:针对萃取精馏,隔壁塔三种等价模型均可用于模拟分离乙腈-水体系;各模型均体现出节能效果,相较于传统的萃取精馏塔,两塔模型节能12.62%,三塔模型节能22.28%,四塔模型节能14.10%;总费用方面,三塔模型比两塔模型减少11.73%,比四塔减少15.26%。 展开更多
关键词 萃取精馏 精馏隔壁塔 等价模型 乙腈-水体系 能耗
在线阅读 下载PDF
与线性混杂自动机等价的状态依赖空间模型 被引量:1
3
作者 庞岩 李维亮 夏浩 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第3期339-345,共7页
混杂系统可以由多种等价系统进行描述,本文研究用状态依赖空间模型对线性混杂自动机进行描述.线性混杂自动机是一类自治的不确定性系统,而状态依赖空间模型是含有输入的确定性系统.在状态依赖空间模型中,通过增加输入变量可以描述线性... 混杂系统可以由多种等价系统进行描述,本文研究用状态依赖空间模型对线性混杂自动机进行描述.线性混杂自动机是一类自治的不确定性系统,而状态依赖空间模型是含有输入的确定性系统.在状态依赖空间模型中,通过增加输入变量可以描述线性混杂自动机转换过程中的不确定性,进而将其转换成等价的状态依赖空间模型.本文所提到的等价性是指两个系统产生的轨迹是相同的. 展开更多
关键词 线性混杂自动机 状态依赖空间模型 混杂系统 建模 等价模型
在线阅读 下载PDF
签约认证安全等价模型设计与分析
4
作者 段斌 王键 《计算机工程与应用》 CSCD 北大核心 2005年第1期154-156,189,共4页
具有安全和计算能力的CPU卡是学生就业网签约和认证的重要条件,而大多数校园卡是较低安全机制且无计算能力的射频IC卡。针对这一问题,文章从签约认证协议的设计和分析入手,对CPU卡在其中的作用建立有效的安全和计算模型,根据射频IC卡的... 具有安全和计算能力的CPU卡是学生就业网签约和认证的重要条件,而大多数校园卡是较低安全机制且无计算能力的射频IC卡。针对这一问题,文章从签约认证协议的设计和分析入手,对CPU卡在其中的作用建立有效的安全和计算模型,根据射频IC卡的特点,建立其替换CPU卡的安全等价模型,并依此设计射频IC卡的数据存放机制和配套装置功能,从而提出一种既符合现实,又相容于发展的解决方案。 展开更多
关键词 安全 智能卡 等价模型 认证协议
在线阅读 下载PDF
基于遗传算法的神经网络等价模型构建 被引量:2
5
作者 鲜开军 丁新虎 +2 位作者 朱城超 朱钟华 徐东伟 《高技术通讯》 CAS 2021年第11期1136-1144,共9页
神经网络模型结构作为深度学习的重要组成部分,在很大程度上决定着深度学习的性能表现。而目前基于深度学习的应用,大部分都由经典的网络模型修改而来。由于无法获得原神经网络模型结构,本文根据原模型的输入输出数据以及经典的神经网... 神经网络模型结构作为深度学习的重要组成部分,在很大程度上决定着深度学习的性能表现。而目前基于深度学习的应用,大部分都由经典的网络模型修改而来。由于无法获得原神经网络模型结构,本文根据原模型的输入输出数据以及经典的神经网络模型结构,构建了原模型的预测模型。该方法主要通过对预测模型的结构参数进行编码,并利用遗传算法(GA)进行选择、交叉、变异操作,从而构建出原模型的等价模型。对于同一输入数据,等价模型和原模型的输出基本保持一致。本文提出的构建方法在图像分类、信号调制类型分类和网络链路预测领域均取得了较好的效果。 展开更多
关键词 神经网络 深度学习 遗传算法(GA) 等价模型
在线阅读 下载PDF
Espresso算法等价模型的密码分析?
6
作者 章佳敏 戚文峰 《密码学报》 CSCD 2016年第1期91-100,共10页
Espresso算法是由E.Dubrova和M.Hell两人设计的面向5G通信需求的序列密码算法,算法采用256级的非线性反馈移位寄存器(NFSR)作为驱动部件,密钥长度为128比特,初始化向量为96比特,过滤输出函数为6次布尔函数.由于驱动部件为NFSR,因此Espre... Espresso算法是由E.Dubrova和M.Hell两人设计的面向5G通信需求的序列密码算法,算法采用256级的非线性反馈移位寄存器(NFSR)作为驱动部件,密钥长度为128比特,初始化向量为96比特,过滤输出函数为6次布尔函数.由于驱动部件为NFSR,因此Espresso算法可以较好地抵抗标准代数攻击以及相关攻击等分析方法.然而本文将证明无论参数如何选择,只要是利用E.Dubrova和M.Hell所提方法构造出来的NFSR,其任意寄存器上的输出序列均可由同级数的线性反馈移位寄存器(LFSR)通过选取适当的过滤函数生成,即等于某个LFSR的前馈序列.特别的,这些LFSR是相同且过滤函数可显式地表达出来.利用这一结果,我们证明了Espresso算法的输出序列为某个256级LFSR的前馈过滤,对应的过滤函数为12次布尔函数.针对该等价模型,我们可以成功地实施代数攻击,其时间复杂度为O(2^(66.86)).我们指出,要想抵抗等价模型下的代数攻击,Espresso算法中的输出函数至少应为8次布尔函数.最后我们还讨论了等价模型下输出函数的其他漏洞. 展开更多
关键词 非线性反馈移位寄存器 代数攻击 Espresso 等价模型
在线阅读 下载PDF
基于安定理论的软黏土双屈服面等价粘塑性模型
7
作者 廖化荣 汤连生 《贵州农机化》 2020年第4期18-24,共7页
在交通荷载下,基于主应力轴旋转时的广义塑性位势理论和安定理论,采用双屈服面理论及等价粘塑性理论,根据拟合的屈服面函数及归一化分析,推导建立主应力轴旋转时路基软土的双屈服面等价粘塑性本构模型,并将理论计算结果与实际公路工后... 在交通荷载下,基于主应力轴旋转时的广义塑性位势理论和安定理论,采用双屈服面理论及等价粘塑性理论,根据拟合的屈服面函数及归一化分析,推导建立主应力轴旋转时路基软土的双屈服面等价粘塑性本构模型,并将理论计算结果与实际公路工后沉降观测结果进行对比分析,验证了主应力轴旋转时路基软土双屈服面等价粘塑性本构模型的正确性和合理性,为软黏土路基永久变形的预测提供参考。 展开更多
关键词 交通荷载 路基黏土 主应力轴旋转 安定理论 双屈服面 等价粘塑性模型
在线阅读 下载PDF
射频IC卡金融交易模型设计与分析 被引量:2
8
作者 段斌 王键 《计算机应用》 CSCD 北大核心 2004年第9期108-110,共3页
具有安全和计算能力的CPU卡是金融卡消费交易应用的重要组件 ,而大多数校园卡和公交卡是无计算能力的射频IC卡。针对这一问题 ,从分析金融卡消费交易流程入手 ,建立CPU卡的安全和计算模型 ,并根据射频IC卡的特点 ,建立它们的等价模型。... 具有安全和计算能力的CPU卡是金融卡消费交易应用的重要组件 ,而大多数校园卡和公交卡是无计算能力的射频IC卡。针对这一问题 ,从分析金融卡消费交易流程入手 ,建立CPU卡的安全和计算模型 ,并根据射频IC卡的特点 ,建立它们的等价模型。并依此设计射频IC卡的数据存放方法和配套组件 ,以实现其安全性。 展开更多
关键词 金融 智能卡 等价模型 消费交易
在线阅读 下载PDF
联合分布网络的随机约束模型及其应用
9
作者 雷骊彪 晋良海 周厚贵 《水电能源科学》 北大核心 2010年第7期124-126,共3页
针对随机约束的联合分布网络模型是一种复杂的非线性模型,当工序数较多时难以求解,假设用一组单独的随机约束近似取代联合随机约束,则可得到某种确定性的线性等价模型。实例应用结果表明,采用线性等价法求解随机约束的联合分布网络模型... 针对随机约束的联合分布网络模型是一种复杂的非线性模型,当工序数较多时难以求解,假设用一组单独的随机约束近似取代联合随机约束,则可得到某种确定性的线性等价模型。实例应用结果表明,采用线性等价法求解随机约束的联合分布网络模型,可得到较精确的网络参数。 展开更多
关键词 分布网络 随机约束 约束模型 Network Model JOINT Distribution 线性等价 网络模型 联合分布 非线性模型 应用结果 网络参数 求解 等价模型 确定性 序数 取代
在线阅读 下载PDF
单腿跳跃机器人落地控制零动态状态模型及稳定性分析
10
作者 李源 徐鹏 +2 位作者 顾金良 郝玉哲 于波 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第S2期109-112,共4页
考虑存在脚掌转动的情况,研究平面单腿跳跃机器人落地相特定位姿下的姿态稳定性问题。通过主动关节控制输入建立跳跃机器人落地相等价模型。脚掌与地面间的柔顺关系模型为弹簧?阻尼系统,给出被动关节扭矩表达式,建立落地相特定位姿下的... 考虑存在脚掌转动的情况,研究平面单腿跳跃机器人落地相特定位姿下的姿态稳定性问题。通过主动关节控制输入建立跳跃机器人落地相等价模型。脚掌与地面间的柔顺关系模型为弹簧?阻尼系统,给出被动关节扭矩表达式,建立落地相特定位姿下的切换零动态状态模型,并找到相关平衡点。通过对落地相切换零动态相位图中的轨迹分析,推导出平面单腿跳跃机器人落地稳定性条件。通过单腿跳跃机器人落地仿真算例说明研究结果有效。 展开更多
关键词 跳跃机器人 落地相等价模型 稳定性 切换零动态 脚掌转动
在线阅读 下载PDF
建构“2H^(+)+O^(2-)=H_(2)O”模型及其在化学计算中的应用
11
作者 周昌勇 张琦 《化学教学》 CAS 北大核心 2021年第12期86-92,共7页
以浙江省近几年选考的有关氧化还原计算问题为素材,分类探讨固体氧化物分解、金属和金属氧化物混合体系与酸反应、金属与硫酸和硝酸混合溶液的反应以及非金属单质的歧化反应等四类计算问题,建构以"2H^(+)+O^(2-)=H_(2)O"为主... 以浙江省近几年选考的有关氧化还原计算问题为素材,分类探讨固体氧化物分解、金属和金属氧化物混合体系与酸反应、金属与硫酸和硝酸混合溶液的反应以及非金属单质的歧化反应等四类计算问题,建构以"2H^(+)+O^(2-)=H_(2)O"为主的解题模型。在此基础上对该类计算问题从命题角度进行建模讨论,以加深对该类计算问题的认知,同时为了更直观地呈现解题过程用流程图形式进行了表征。 展开更多
关键词 2H^(+)+O^(2-)=H_(2)O 氧化物等价模型 计算模型 氧化还原
在线阅读 下载PDF
两淮煤田低渗煤层孔隙结构三维可视化表征及其连通性
12
作者 王章飞 方辉煌 +2 位作者 桑树勋 郑春山 郭金冉 《科学技术与工程》 北大核心 2024年第26期11195-11207,共13页
为研究煤层孔裂隙结构的连通性对煤层气赋存与运移的影响。以两淮地区矿区的煤样作为实验研究对象,对煤样进行三维可视化重构,构建了煤样的三维孔隙结构模型以及等价孔隙网络模型,利用多种算法并结合表征单元体对煤样的孔隙结构进行表... 为研究煤层孔裂隙结构的连通性对煤层气赋存与运移的影响。以两淮地区矿区的煤样作为实验研究对象,对煤样进行三维可视化重构,构建了煤样的三维孔隙结构模型以及等价孔隙网络模型,利用多种算法并结合表征单元体对煤样的孔隙结构进行表征与分析,同时,从整体到局部的角度对孔隙结构进行分析,研究表明:两淮地区孤立孔隙中C形孔隙占据主导,连通孔隙中F形孔隙占据主导;刘庄与祁东煤样孔隙结构空间展布较任楼与潘一矿区的煤样要好,具有更好的连通性;粗类型喉道之间的搭配较其他类型喉道之间的搭配整体连通性要好。结果说明两淮地区的煤样,大体积连通孔隙在孔隙结构中占据主导地位。刘庄与祁东煤样较任楼与潘一煤样的连通性要好,且刘庄煤样的连通性最好,潘一煤样连通性最差。 展开更多
关键词 煤层气 孔隙结构 等价孔隙网络模型 计算机断层扫描(computed tomography CT) 三维可视化重构 两淮煤田
在线阅读 下载PDF
基于随机机会约束规划的U型装配线平衡优化 被引量:12
13
作者 唐秋华 林斌 +3 位作者 何晓霞 张利平 张超勇 操小军 《计算机集成制造系统》 EI CSCD 北大核心 2016年第4期955-964,共10页
为减少因操作工时波动引起的生产效率损失或生产秩序中断,针对随机工时下第二类U型装配线平衡问题,提出基于物流运输特性的U型装配优先关系约束条件,以保证入口和出口线上的物流顺行;以线效率高和稳定性强为目标,建立了双目标随机机会... 为减少因操作工时波动引起的生产效率损失或生产秩序中断,针对随机工时下第二类U型装配线平衡问题,提出基于物流运输特性的U型装配优先关系约束条件,以保证入口和出口线上的物流顺行;以线效率高和稳定性强为目标,建立了双目标随机机会约束规划模型。由于该模型具有随机、多目标、非线性等属性,通过对随机机会约束的确定型等价处理、对双目标的归一化处理、对非线性约束的线性化处理,将原模型转换为混合整数线性规划模型,并用GAMS/Cplex进行求解。实验结果表明,在操作工时包含随机性时,所提出的随机机会约束规划模型及确定型线性化处理方法,可以较小的效率损失换取生产稳定性的显著提升。 展开更多
关键词 U型装配线 平衡 随机工时 多约束 确定型等价模型
在线阅读 下载PDF
摆线针轮行星齿轮机构回转精度的仿真研究 被引量:4
14
作者 王高锋 董海军 +3 位作者 郭海军 沈允文 刘继岩 戚厚军 《机械科学与技术》 CSCD 北大核心 2006年第4期398-402,共5页
利用质量弹簧等价模型法建立了摆线针轮行星齿轮传动机构回转精度分析的数学模型。以VC++和MAT-LAB分别作为前后台程序开发语言,结合接口技术研制出了摆线针轮行星齿轮机构回转精度的仿真软件,并根据实例验证了仿真结果。采用前后台分... 利用质量弹簧等价模型法建立了摆线针轮行星齿轮传动机构回转精度分析的数学模型。以VC++和MAT-LAB分别作为前后台程序开发语言,结合接口技术研制出了摆线针轮行星齿轮机构回转精度的仿真软件,并根据实例验证了仿真结果。采用前后台分离的设计方法实现了仿真软件极强的可扩展性,为在计算机上进行类似的传动精度仿真提供了一种新的思路。 展开更多
关键词 摆线针轮行星齿轮传动机构 等价模型 前后台分离 回转精度 仿真
在线阅读 下载PDF
混合系统及其建模 被引量:15
15
作者 薛乐 廖沫 +1 位作者 魏晨 陈宗基 《系统仿真学报》 CAS CSCD 2004年第3期375-380,404,共7页
在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真... 在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。 展开更多
关键词 混合系统 等价离散事件模型 混合自动机 PETRI网 时段演算
在线阅读 下载PDF
基于反应位移法的盾构隧道纵向抗震分析 被引量:19
16
作者 邵润萌 雷扬 《土木工程学报》 EI CSCD 北大核心 2013年第S2期260-265,共6页
结合南京某具体工程,该盾构隧道具有大断面、所处场地地质条件差等特点,将盾构隧道简化为与其纵向变形一致的等价梁,建立等价连续化模型,采用反应位移法进行盾构隧道纵向弹塑性地震反应分析。计算中考虑轴向力和弯矩同时作用,考虑螺栓... 结合南京某具体工程,该盾构隧道具有大断面、所处场地地质条件差等特点,将盾构隧道简化为与其纵向变形一致的等价梁,建立等价连续化模型,采用反应位移法进行盾构隧道纵向弹塑性地震反应分析。计算中考虑轴向力和弯矩同时作用,考虑螺栓预紧力的影响。考虑输入地震动水准的影响,考虑输入角度的问题,计算以下几种工况:输入地面速度峰值PGV=0.15m/s(相当于设防烈度7度)和地面速度峰值PGV=0.30m/s(相当于设防烈度8度);入射角度分别为0°、30°、45°、60°。最后将反应位移法计算结果与三维有限元动力时程分析结果进行比较。计算结果表明:接头张开量是盾构隧道纵向抗震的重要指标,建议采用此指标作为抗震设防控制指标;输入角度和输入地震动水准是纵向抗震分析的重要影响因素,应选取最不利荷载情况作为控制工况;反应位移法计算简单,只要参数选取合理,可以得到适合工程应用的结果。 展开更多
关键词 盾构隧道 等价连续化模型 反应位移法 纵向抗震分析
在线阅读 下载PDF
钢悬链线立管与海床土体接触问题的ANSYS有限元分析 被引量:12
17
作者 郭海燕 高秦岭 王小东 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期521-525,共5页
钢悬链线立管(SCR)与海床土体的接触问题对立管的疲劳寿命影响很大。运用ANSYS有限元软件中的接触单元模拟SCR与海床接触处的相互作用,考虑海床土体的非线性,建立SCR与海床系统有限元模型,并同已有的等价梁-弹簧模型进行了比较和验证。... 钢悬链线立管(SCR)与海床土体的接触问题对立管的疲劳寿命影响很大。运用ANSYS有限元软件中的接触单元模拟SCR与海床接触处的相互作用,考虑海床土体的非线性,建立SCR与海床系统有限元模型,并同已有的等价梁-弹簧模型进行了比较和验证。运用该模型进行计算分析,探讨了管道重量、土体模型和摩擦系数等对管道入土深度和弯矩的影响,为进一步研究SCR与海床的相互作用提供参考。 展开更多
关键词 钢悬链线立管SCR 接触单元 等价梁-弹簧模型 ANSYS
在线阅读 下载PDF
钻井水溶法开采的地表沉陷预计研究 被引量:4
18
作者 王刚 郭广礼 +2 位作者 周春蓉 谭显龙 郑杰炳 《中国矿业》 北大核心 2012年第6期104-107,共4页
为了准确预计钻井水溶法开采后对地表产生的移动和变形,基于钻井水溶法开采特点,利用由不溶矿物形成的结晶水物质的膨胀率,建立了钻井水溶法开采的等价采高模型。此外,还分析了随机介质理论用于钻井水溶法开采地表沉陷预计的可行性。在... 为了准确预计钻井水溶法开采后对地表产生的移动和变形,基于钻井水溶法开采特点,利用由不溶矿物形成的结晶水物质的膨胀率,建立了钻井水溶法开采的等价采高模型。此外,还分析了随机介质理论用于钻井水溶法开采地表沉陷预计的可行性。在阐述概率积分法基本原理的基础上,通过借鉴国内外条带水砂充填开采的预计实例,求得了钻井水溶法开采的概率积分法预计参数,并结合工程实例,利用概率积分法预计了某盐矿开采后引起的地表移动变形。结果表明:建立在上覆岩层软弱、顶板跨落基础上的概率积分预计方法适用于钻井水溶法开采的地表沉陷预计,且钻井水溶法开采后引起的地表移动变形值远小于相同条件下的煤矿开采。 展开更多
关键词 钻井水溶法开采 等价采高模型 概率积分法 预计参数 沉陷预计
在线阅读 下载PDF
盾构隧道的纵向地震响应 被引量:15
19
作者 赵伯明 苏彦 《中国铁道科学》 EI CAS CSCD 北大核心 2009年第5期59-64,共6页
基于与盾构隧道纵向变形性能相似的梁单元建立盾构隧道纵向等价连续化模型,通过等价刚度的方法考察管片间接头螺栓对隧道结构刚度的影响。分别采用反应变位法和有限元法进行盾构隧道的地震响应研究和抗震性能分析,并以实例比较2种方法... 基于与盾构隧道纵向变形性能相似的梁单元建立盾构隧道纵向等价连续化模型,通过等价刚度的方法考察管片间接头螺栓对隧道结构刚度的影响。分别采用反应变位法和有限元法进行盾构隧道的地震响应研究和抗震性能分析,并以实例比较2种方法的有效性和应用条件。研究结果表明:在盾构隧道的纵向抗震设计时,应采用螺栓最大张开量作为设计的重要控制指标,并应尽量将隧道设计成可适应其变形的柔性结构;采用等价连续化模型进行盾构隧道纵向受力分析时,其等价弯曲刚度受轴向力的影响较大,故在单元等价弯曲刚度计算中计入轴向作用力的影响是十分必要的;螺栓进入塑性受力状态后,建议采用有限元法计算的结果进行抗震设计。 展开更多
关键词 盾构隧道 等价连续化模型 等价刚度 地震响应 反应变位法 有限元法
在线阅读 下载PDF
沥青混凝土心墙坝三维有限元动力分析 被引量:4
20
作者 刘武军 陈尧隆 +1 位作者 司政 樊锐 《水资源与水工程学报》 2009年第6期152-156,共5页
采用非线性有限元法对某沥青混凝土心墙坝进行地震反应分析,以正常蓄水条件下的总静力场作为动力分析的初始应力场,利用大型有限元软件ADINA计算出坝体的绝对加速度反应、相对位移反应、动应力反应、动剪应力反应。计算结果表明:该坝的... 采用非线性有限元法对某沥青混凝土心墙坝进行地震反应分析,以正常蓄水条件下的总静力场作为动力分析的初始应力场,利用大型有限元软件ADINA计算出坝体的绝对加速度反应、相对位移反应、动应力反应、动剪应力反应。计算结果表明:该坝的设计基本合理,具有良好的抗震性能。 展开更多
关键词 沥青混凝土心墙 等价线性弹性模型 有限元 动力反应
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部