期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
平行感知:ACP理论在视觉SLAM技术中的应用 被引量:18
1
作者 孟祥冰 王蓉 +1 位作者 张梅 王飞跃 《指挥与控制学报》 2017年第4期350-358,共9页
在计算机视觉的研究中,同时定位和地图构建(SLAM)是一类极具挑战性的复杂问题.ACP理论为复杂系统建模与调控提出了一条新的有效途径.在提出的平行感知的基本框架及其关键技术中,ACP理论被开创性地引入SLAM算法中.平行感知利用各种人工... 在计算机视觉的研究中,同时定位和地图构建(SLAM)是一类极具挑战性的复杂问题.ACP理论为复杂系统建模与调控提出了一条新的有效途径.在提出的平行感知的基本框架及其关键技术中,ACP理论被开创性地引入SLAM算法中.平行感知利用各种人工场景数据和采集到的实际场景数据,通过计算实验进行视觉SLAM模型及参数的训练与评估,然后借助平行执行来在线优化视觉系统,实现对复杂环境的智能感知与理解,最终建立了一个从底层视觉算法到高层决策与分析的全新理论. 展开更多
关键词 SLAM 平行感知 ACP 深度学习 平行智能
在线阅读 下载PDF
平行视觉:基于ACP的智能视觉计算方法 被引量:51
2
作者 王坤峰 苟超 王飞跃 《自动化学报》 EI CSCD 北大核心 2016年第10期1490-1500,共11页
在视觉计算研究中,对复杂环境的适应能力通常决定了算法能否实际应用,已经成为该领域的研究焦点之一.由人工社会(Artificial societies)、计算实验(Computational experiments)、平行执行(Parallel execution)构成的ACP理论在复杂系统... 在视觉计算研究中,对复杂环境的适应能力通常决定了算法能否实际应用,已经成为该领域的研究焦点之一.由人工社会(Artificial societies)、计算实验(Computational experiments)、平行执行(Parallel execution)构成的ACP理论在复杂系统建模与调控中发挥着重要作用.本文将ACP理论引入智能视觉计算领域,提出平行视觉的基本框架与关键技术.平行视觉利用人工场景来模拟和表示复杂挑战的实际场景,通过计算实验进行各种视觉模型的训练与评估,最后借助平行执行来在线优化视觉系统,实现对复杂环境的智能感知与理解.这一虚实互动的视觉计算方法结合了计算机图形学、虚拟现实、机器学习、知识自动化等技术,是视觉系统走向应用的有效途径和自然选择. 展开更多
关键词 平行视觉 复杂环境 ACP理论 数据驱动 虚实互动
在线阅读 下载PDF
计算实验研究方法及应用 被引量:18
3
作者 崔凯楠 郑晓龙 +1 位作者 文丁 赵学亮 《自动化学报》 EI CSCD 北大核心 2013年第8期1157-1169,共13页
计算实验是一种研究复杂系统的新兴计算方法,受到了国内外学者的广泛关注.近年来,随着相关研究的不断发展,计算实验方法在多个领域显示出巨大的应用前景,特别是复杂系统管理与控制相关的诸多重要领域,如社会安全、电子商务、金融市场等... 计算实验是一种研究复杂系统的新兴计算方法,受到了国内外学者的广泛关注.近年来,随着相关研究的不断发展,计算实验方法在多个领域显示出巨大的应用前景,特别是复杂系统管理与控制相关的诸多重要领域,如社会安全、电子商务、金融市场等.本文将首先介绍计算实验的主要思想以及实验设计与计算机仿真等计算实验的研究基础;其次,我们将介绍计算实验的主要研究内容,包括计算模型构建、计算实验设计以及计算实验执行;最后,我们将讨论计算实验的应用情况,总结研究过程中面临的挑战并介绍潜在的研究方向. 展开更多
关键词 计算实验 人工社会 基于代理的建模 计算机仿真
在线阅读 下载PDF
区块链技术:从数据智能到知识自动化 被引量:77
4
作者 袁勇 周涛 +2 位作者 周傲英 段永朝 王飞跃 《自动化学报》 EI CSCD 北大核心 2017年第9期1485-1490,共6页
技术创新是社会与经济发展的核心驱动力.继以大数据、云计算、物联网和移动互联网为代表的信息技术时代之后,新兴的区块链技术和知识自动化有望成为正在到来的智能技术时代的新动能和新引擎,并在金融、经济、科技和政务等诸多领域产... 技术创新是社会与经济发展的核心驱动力.继以大数据、云计算、物联网和移动互联网为代表的信息技术时代之后,新兴的区块链技术和知识自动化有望成为正在到来的智能技术时代的新动能和新引擎,并在金融、经济、科技和政务等诸多领域产生颠覆性变革. 展开更多
关键词 数据智能 知识自动化
在线阅读 下载PDF
平行测量:复杂测量系统的一个新型理论框架及案例研究 被引量:6
5
作者 尹培丽 王建华 +1 位作者 陈阳泉 王飞跃 《自动化学报》 EI CSCD 北大核心 2018年第3期425-433,共9页
分析了复杂测量系统的溯源研究现状,指出现有的研究已不能满足复杂测量系统的动态化溯源需求,提出了建立人工测量系统的必要性.基于ACP(Artificial societies,computational experiments,and parallel execution)方法建立了平行测量系... 分析了复杂测量系统的溯源研究现状,指出现有的研究已不能满足复杂测量系统的动态化溯源需求,提出了建立人工测量系统的必要性.基于ACP(Artificial societies,computational experiments,and parallel execution)方法建立了平行测量系统的理论框架,通过构建与物理测量系统行为和特性等价的人工测量系统,借助人工测量系统的计算实验,确定测量优化控制策略,引导物理测量系统的运行,并进行评估,实现物理测量系统和人工测量系统的平行执行和平行控制,将物理测量系统溯源至人工测量系统的理论模型上,解决复杂测量系统的溯源问题.并以齿轮在位测量系统为例,对平行齿轮测量系统进行了设计和平行控制研究. 展开更多
关键词 复杂测量系统 溯源 平行测量 人工测量系统 平行控制
在线阅读 下载PDF
基于ACP的动态网民群体运动组织建模与计算实验研究 被引量:5
6
作者 王晓 韩双双 +2 位作者 杨林瑶 曾轲 王飞跃 《自动化学报》 EI CSCD 北大核心 2020年第4期653-669,共17页
由互联网促成的社会运动组织一经出现,就受到了广大社会学者以及计算机领域专家的广泛关注.一方面,互联网特别是移动互联网在整合信息、引发共振、实时分享及高度互动等方面的特性,为网民行为的大规模快速聚集提供了直通渠道,使得多角... 由互联网促成的社会运动组织一经出现,就受到了广大社会学者以及计算机领域专家的广泛关注.一方面,互联网特别是移动互联网在整合信息、引发共振、实时分享及高度互动等方面的特性,为网民行为的大规模快速聚集提供了直通渠道,使得多角度超视距观察并研究在线人群复杂行为及其组织特性成为可能;另一方面,这一研究在社会化媒体营销、共享经济、非军事组织行动中的应用意义愈加显著.本文引入群体行为动力学和社会运动组织理论的研究,提出基于ACP的动态网民群体运动组织(Cyber movement organizations,CMOs)研究方法.本文工作首先使用多智能体建模方法构造双层结构的人工社区模型,以此为基础对动态网民的个体以及群体动态组织行为展开计算实验探讨,重点阐释了社区用户的交互行为机制及群体组织活动的建模机制,为揭示微观个体简单行为对于宏观群体复杂涌现现象的影响奠定基础. 展开更多
关键词 社会网络 多智能体 社会运动组织 动态网民群体运动组织
在线阅读 下载PDF
面向比特币的区块链扩容:关键技术,制约因素与衍生问题 被引量:35
7
作者 曹帅 袁勇 +1 位作者 倪晓春 王飞跃 《自动化学报》 EI CSCD 北大核心 2019年第6期1015-1030,共16页
比特币是一种利用区块链技术的点对点记账系统.随着比特币的发展,现有的比特币系统架构已经不能满足日益增长的交易需求,亟需扩容以寻求长期发展.比特币是以人为核心的复杂社会经济系统,比特币扩容是涉及多方利益的复杂问题,引起了业界... 比特币是一种利用区块链技术的点对点记账系统.随着比特币的发展,现有的比特币系统架构已经不能满足日益增长的交易需求,亟需扩容以寻求长期发展.比特币是以人为核心的复杂社会经济系统,比特币扩容是涉及多方利益的复杂问题,引起了业界与学术界的广泛关注.本文提出了一个比特币系统扩容问题的研究框架,包括关键技术,制约因素与衍生问题三部分,以深入探讨和研究比特币扩容问题.在该研究框架下,首先介绍链上和链下两类扩容关键技术及发展现状;其次从网络负载和节点瓶颈两方面,总结制约比特币扩容方案的宏观与微观因素;最后,探讨两类衍生问题:从系统安全性的角度,探讨比特币扩容可能引发的安全问题及解决策略;从币值、交易费与矿工收益等方面,阐述比特币扩容涉及的经济问题. 展开更多
关键词 区块链 比特币 扩容 隔离见证 闪电网络
在线阅读 下载PDF
基于ACP方法的平行手机信令数据分析系统 被引量:4
8
作者 王迎春 韩双双 +4 位作者 胡成云 宋瑞琦 要婷婷 曹东璞 王飞跃 《自动化学报》 EI CSCD 北大核心 2019年第5期866-876,共11页
随着交通拥堵和公共安全问题的日趋严重,传统方案在道路监测和区域监测方面不仅成本高,准确性和可靠性也无法保证,因此无法给用户提供一整套综合全面的出行路线规划及旅游目的地选择等方面的相关指导.本文提出基于ACP方法的平行手机信... 随着交通拥堵和公共安全问题的日趋严重,传统方案在道路监测和区域监测方面不仅成本高,准确性和可靠性也无法保证,因此无法给用户提供一整套综合全面的出行路线规划及旅游目的地选择等方面的相关指导.本文提出基于ACP方法的平行手机信令数据分析系统,将解决上述问题.本文主要基于ACP方法,包括人工社会、计算实验和平行执行,构建基于手机信令的人工监控场景和实际监控场景.实际监控场景和人工监控场景平行执行,人工监控场景用来模拟和实验复杂的实际监控场景,通过大量计算实验,进行各种模型的训练与评估,通过平行执行不断地更新和优化,实时指导实际监控场景;同时实际监控场景将结果反馈给人工监控场景,对人工监控场景模型进行修正.通过实际监控场景和人工监控场景之间的不断优化,可有效提高手机信令系统的实时性、准确性和可靠性,并最终满足不断增长的实时用户需求,保证用户出行的舒适性及安全性. 展开更多
关键词 平行方法 手机信令 道路监控 区域人流监控
在线阅读 下载PDF
平行区块链:概念、方法与内涵解析 被引量:85
9
作者 袁勇 王飞跃 《自动化学报》 EI CSCD 北大核心 2017年第10期1703-1712,共10页
本文提出了平行区块链的概念框架、基础理论和研究方法体系,并探讨了平行区块链的内涵.平行区块链技术是平行智能理论方法与区块链技术的有机结合,致力于通过实际区块链系统与人工区块链系统的平行互动与协同演化,为目前的区块链技术增... 本文提出了平行区块链的概念框架、基础理论和研究方法体系,并探讨了平行区块链的内涵.平行区块链技术是平行智能理论方法与区块链技术的有机结合,致力于通过实际区块链系统与人工区块链系统的平行互动与协同演化,为目前的区块链技术增加计算实验与平行决策功能,实现描述、预测、引导相结合的区块链系统管理与决策.平行区块链这一新型研究范式可望为下一步区块链研究和未来产业应用提供有益的启发与借鉴. 展开更多
关键词 区块链 平行区块链 平行智能 计算实验 知识自动化
在线阅读 下载PDF
基于马氏决策过程模型的动态系统学习控制:研究前沿与展望 被引量:21
10
作者 徐昕 沈栋 +1 位作者 高岩青 王凯 《自动化学报》 EI CSCD 北大核心 2012年第5期673-687,共15页
基于马氏决策过程(Markov decision process,MDP)的动态系统学习控制是近年来一个涉及机器学习、控制理论和运筹学等多个学科的交叉研究方向,其主要目标是实现系统在模型复杂或者不确定等条件下基于数据驱动的多阶段优化控制.本文对基于... 基于马氏决策过程(Markov decision process,MDP)的动态系统学习控制是近年来一个涉及机器学习、控制理论和运筹学等多个学科的交叉研究方向,其主要目标是实现系统在模型复杂或者不确定等条件下基于数据驱动的多阶段优化控制.本文对基于MDP的动态系统学习控制理论、算法与应用的发展前沿进行综述,重点讨论增强学习(Reinforcement learning,RL)与近似动态规划(Approximate dynamic programming,ADP)理论与方法的研究进展,其中包括时域差值学习理论、求解连续状态与行为空间MDP的值函数逼近方法、直接策略搜索与近似策略迭代、自适应评价设计算法等,最后对相关研究领域的应用及发展趋势进行分析和探讨。 展开更多
关键词 学习控制 MARKOV决策过程 增强学习 近似动态规划 机器学习 自适应控制
在线阅读 下载PDF
国际军事类学术刊物影响力简评 被引量:5
11
作者 王涛 刘文礼 +1 位作者 王飞跃 刘忠 《指挥与控制学报》 2015年第4期375-383,共9页
以被SCI、SCIE、SSCI收录的国际军事类期刊为研究对象,分别从影响因子、SJR指数和SNIP三大指标分析各自表现并进行综合比较,从不同视角评析了这些军事类期刊的学术影响力.综合来看,在军事学术研究领域,期刊的平均影响力水平略低于其他... 以被SCI、SCIE、SSCI收录的国际军事类期刊为研究对象,分别从影响因子、SJR指数和SNIP三大指标分析各自表现并进行综合比较,从不同视角评析了这些军事类期刊的学术影响力.综合来看,在军事学术研究领域,期刊的平均影响力水平略低于其他领域的平均水平,但各期刊的影响力差异较大,也有不少高影响力的期刊,既有Naval Research Logistics等传统领域一直保持影响力的常青树,也有International Security等新兴学科的新秀型期刊. 展开更多
关键词 军事期刊 学术影响力 指标
在线阅读 下载PDF
指控5.0:平行时代的智能指挥与控制体系 被引量:109
12
作者 王飞跃 《指挥与控制学报》 2015年第1期107-120,共14页
继机械化、电气化、信息化、网络化之后,提出面向平行化技术的指挥与控制体系、理论、方法和技术,即指控5.0的平行指挥与控制.指控5.0的一个核心理念即为虚实互动的平行思想,两个关键支持即为ACP理论和CPSS基础设施,三个主题任务即为智... 继机械化、电气化、信息化、网络化之后,提出面向平行化技术的指挥与控制体系、理论、方法和技术,即指控5.0的平行指挥与控制.指控5.0的一个核心理念即为虚实互动的平行思想,两个关键支持即为ACP理论和CPSS基础设施,三个主题任务即为智能部队或智能组织、智慧指挥或智慧管理、社会情报或社会解析,四个集成整合使人员、信息、装备和使命密切地融合在一起,从而形成具有深度知识的灵捷,能够进行实验分析的聚焦,最终落实闭环、反馈、精准的收敛. 展开更多
关键词 指挥与控制 C2 指控5.0 平行系统 ACP方法 CPSS 智能军队 智能战争 智慧管理 社会情报
在线阅读 下载PDF
社会计算:理论与方法专刊前言
13
作者 毛文吉 王飞跃 罗铁坚 《软件学报》 EI CSCD 北大核心 2014年第12期2731-2732,共2页
信息技术与互联网的深入发展与普及,对人们的社会交往模式产生了深远的影响,其发展也带来一场计算技术的变革.信息科学技术的研究从以往重视具体技术问题,发展到更高层次上利用计算手段模拟及解析社会理论和研究社会相关问题,进行... 信息技术与互联网的深入发展与普及,对人们的社会交往模式产生了深远的影响,其发展也带来一场计算技术的变革.信息科学技术的研究从以往重视具体技术问题,发展到更高层次上利用计算手段模拟及解析社会理论和研究社会相关问题,进行计算科学与社会科学的交叉研究.近年来,社会计算迅速兴起和发展,并得到国内外计算机及相关交叉学科领域的高度重视.与此同时,为了有效应对复杂和动态变化的网络化社会带来的新型问题与挑战,亟需发展社会计算的基础理论、建模、分析与计算方法.本专刊收录的12篇论文反映了我国学者近期在社会计算理论和方法研究上的部分成果. 展开更多
关键词 社会交往 计算技术 信息科学技术 信息技术 网络化社会 社会科学 计算科学 交叉学科
在线阅读 下载PDF
生成式对抗网络GAN的研究进展与展望 被引量:350
14
作者 王坤峰 苟超 +3 位作者 段艳杰 林懿伦 郑心湖 王飞跃 《自动化学报》 EI CSCD 北大核心 2017年第3期321-332,共12页
生成式对抗网络GAN(Generative adversarial networks)目前已经成为人工智能学界一个热门的研究方向.GAN的基本思想源自博弈论的二人零和博弈,由一个生成器和一个判别器构成,通过对抗学习的方式来训练.目的是估测数据样本的潜在分布并... 生成式对抗网络GAN(Generative adversarial networks)目前已经成为人工智能学界一个热门的研究方向.GAN的基本思想源自博弈论的二人零和博弈,由一个生成器和一个判别器构成,通过对抗学习的方式来训练.目的是估测数据样本的潜在分布并生成新的数据样本.在图像和视觉计算、语音和语言处理、信息安全、棋类比赛等领域,GAN正在被广泛研究,具有巨大的应用前景.本文概括了GAN的研究进展,并进行展望.在总结了GAN的背景、理论与实现模型、应用领域、优缺点及发展趋势之后,本文还讨论了GAN与平行智能的关系,认为GAN可以深化平行系统的虚实互动、交互一体的理念,特别是计算实验的思想,为ACP(Artificial societies,computational experiments,and parallel execution)理论提供了十分具体和丰富的算法支持. 展开更多
关键词 生成式对抗网络 生成式模型 零和博弈 对抗学习 平行智能 ACP方法
在线阅读 下载PDF
深度学习在目标视觉检测中的应用进展与展望 被引量:259
15
作者 张慧 王坤峰 王飞跃 《自动化学报》 EI CSCD 北大核心 2017年第8期1289-1305,共17页
目标视觉检测是计算机视觉领域的一个重要问题,在视频监控、自主驾驶、人机交互等方面具有重要的研究意义和应用价值.近年来,深度学习在图像分类研究中取得了突破性进展,也带动着目标视觉检测取得突飞猛进的发展.本文综述了深度学习在... 目标视觉检测是计算机视觉领域的一个重要问题,在视频监控、自主驾驶、人机交互等方面具有重要的研究意义和应用价值.近年来,深度学习在图像分类研究中取得了突破性进展,也带动着目标视觉检测取得突飞猛进的发展.本文综述了深度学习在目标视觉检测中的应用进展与展望.首先对目标视觉检测的基本流程进行总结,并介绍了目标视觉检测研究常用的公共数据集;然后重点介绍了目前发展迅猛的深度学习方法在目标视觉检测中的最新应用进展;最后讨论了深度学习方法应用于目标视觉检测时存在的困难和挑战,并对今后的发展趋势进行展望. 展开更多
关键词 目标视觉检测 深度学习 计算机视觉 平行视觉
在线阅读 下载PDF
区块链共识算法的发展现状与展望 被引量:283
16
作者 袁勇 倪晓春 +1 位作者 曾帅 王飞跃 《自动化学报》 EI CSCD 北大核心 2018年第11期2011-2022,共12页
共识算法是区块链技术的核心要素,也是近年来分布式系统研究的热点.本文系统性地梳理和讨论了区块链发展过程中的32种重要共识算法,介绍了传统分布式一致性算法以及分布式共识领域的里程碑式的重要研究和结论,提出了区块链共识算法的一... 共识算法是区块链技术的核心要素,也是近年来分布式系统研究的热点.本文系统性地梳理和讨论了区块链发展过程中的32种重要共识算法,介绍了传统分布式一致性算法以及分布式共识领域的里程碑式的重要研究和结论,提出了区块链共识算法的一种基础模型和分类方法,并总结了现有共识算法的发展脉络和若干性能指标,以期为未来共识算法的创新和区块链技术的发展提供参考. 展开更多
关键词 区块链 共识算法 分布式系统 拜占庭容错 P2P网络
在线阅读 下载PDF
关于二型模糊集合的一些基本问题 被引量:27
17
作者 王飞跃 莫红 《自动化学报》 EI CSCD 北大核心 2017年第7期1114-1141,共28页
采用集合论的方法给出了单位模糊集合和二型模糊集合及其在一点的限制等定义,使得二型模糊集合更易于理解.通过定义嵌入单位模糊集合来描述一般二型模糊集合,并给出离散、半连通二型模糊集合的表达式.根据论域、主隶属度及隶属函数的特... 采用集合论的方法给出了单位模糊集合和二型模糊集合及其在一点的限制等定义,使得二型模糊集合更易于理解.通过定义嵌入单位模糊集合来描述一般二型模糊集合,并给出离散、半连通二型模糊集合的表达式.根据论域、主隶属度及隶属函数的特性将二型模糊集合分为四种类型:离散、半连通、连通及复合型,并根据连通的特点将连通二型模糊集合分为单连通及多连通两类.利用支集的闭包(Closure of support,CoS)划分法表述主隶属度及区间二型模糊集合.提出了CoS二、三次划分法分别来表述单、复连通二型模糊集合,并使每一个子区域的上下边界及次隶属函数在该子区域上的限制分别具有相同的解析表述式.最后,探讨了二型模糊集合在一点的限制、主隶属度、支集、嵌入单位模糊集合之间的关系. 展开更多
关键词 二型模糊集合 主隶属度 支集的闭包 单位模糊集合 嵌入单位模糊集合 二型模糊集合在一点的限制
在线阅读 下载PDF
地面交通控制的百年回顾和未来展望 被引量:21
18
作者 李力 王飞跃 《自动化学报》 EI CSCD 北大核心 2018年第4期577-583,共7页
从路权这个新的角度回顾了过去100年地面交通控制发展的几个关键转变点,并结合目前新兴的网联车和无人车技术,分析了今后50年地面交通控制的发展方向.
关键词 交通控制 无人车 自动驾驶 路权
在线阅读 下载PDF
智联网:概念、问题和平台 被引量:49
19
作者 王飞跃 张俊 《自动化学报》 EI CSCD 北大核心 2017年第12期2061-2070,共10页
本文旨在讨论智联网(Internet of minds,Io M)的基本概念,核心问题和关键平台技术.首先阐述智联网概念的智能时代发展需求和科学哲学思想基础,然后阐述智联网技术的背景、定义、实质,及其实现协同认知智能的目标,并举例说明其前沿应用领... 本文旨在讨论智联网(Internet of minds,Io M)的基本概念,核心问题和关键平台技术.首先阐述智联网概念的智能时代发展需求和科学哲学思想基础,然后阐述智联网技术的背景、定义、实质,及其实现协同认知智能的目标,并举例说明其前沿应用领域,包括物理信息社会系统、软件定义系统及流程、工业智联网.接下来探讨智联网的核心问题:知识的获取、知识的协同表征和传递、以及知识的关联和协同运行.最后简单描述了智联网的关键平台技术,包括虚实平行的平台体系和基于互联网、物联网、区块链和软件定义网络的社会化通信计算平台,为分布式、自组织、自运行的安全智联网系统提供基础设施. 展开更多
关键词 智联网 知识自动化 人工语言系统 平行系统 ACP方法 知识动力学 知识计算 区块链 平行区块链
在线阅读 下载PDF
数据知识驱动的城市作战元宇宙建模框架 被引量:8
20
作者 郑文博 李强 +2 位作者 刘文礼 费爱国 王飞跃 《指挥与控制学报》 CSCD 2023年第1期23-32,共10页
元宇宙深沉浸、虚实相生的特性为作战建模的发展提供了新的技术,对此,提出了面向城市作战的一种新型的数据知识驱动的元宇宙建模框架.基于此框架,运用知识图谱、生成式对抗网络等相关理论和方法,探究元宇宙情景下的城市作战环境本体建... 元宇宙深沉浸、虚实相生的特性为作战建模的发展提供了新的技术,对此,提出了面向城市作战的一种新型的数据知识驱动的元宇宙建模框架.基于此框架,运用知识图谱、生成式对抗网络等相关理论和方法,探究元宇宙情景下的城市作战环境本体建模问题,设计了元宇宙城市作战模型的改进案例方案,以达到表现力好、扩展性强,并进行了相关定量实验验证.面向城市作战的元宇宙建模框架有望成为实现虚实融合的智能决策的新设计范式. 展开更多
关键词 作战建模 数据知识驱动 元宇宙 虚实共生
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部