期刊文献+
共找到40篇文章
< 1 2 >
每页显示 20 50 100
基于GIS的煤制油可燃气泄漏事故分析与应急处置
1
作者 张晓蕾 赵开功 +3 位作者 李长明 高进东 王睿迪 张洁 《中国安全生产科学技术》 CAS CSCD 北大核心 2024年第5期138-145,共8页
为在煤制油生产过程中对化学品泄漏实施有效预警监测,并在事故发生后迅速开展先期处置和事故救援,基于煤制油泄漏研究背景,阐明煤制油可燃气体泄漏事故发生的可能原因和演化机理,将煤制油可燃气泄漏模型与地理信息系统(GIS)相结合,探索... 为在煤制油生产过程中对化学品泄漏实施有效预警监测,并在事故发生后迅速开展先期处置和事故救援,基于煤制油泄漏研究背景,阐明煤制油可燃气体泄漏事故发生的可能原因和演化机理,将煤制油可燃气泄漏模型与地理信息系统(GIS)相结合,探索可燃气泄漏扩散模型在煤制油可燃气事故救援应急处置中的应用模式。以煤制油可燃气泄漏为例进行模拟分析,初步验证GIS集成下的煤制油可燃气泄漏事故救援应急系统的可靠性和有效性。研究结果表明:在GIS下由煤制油可燃气泄漏扩散模型分析得出的事故波及影响区域范围、应急物资调运时间最短和应急队伍响应路径最优的模拟方案,可为安全生产应急资源调配的基础数据和应急指挥科学决策提供参考,亦可为城市安全综合救援和区域协同救援提供1种可行的借鉴方法。 展开更多
关键词 煤制油可燃气泄漏模拟 时态GIS 最优方案 应急指挥 辅助参考
下载PDF
基于嵌套集合模型的时态层次数据管理方法 被引量:1
2
作者 杨振凯 曹一冰 +1 位作者 赵鑫科 郑景飚 《计算机科学》 CSCD 北大核心 2023年第S01期533-537,共5页
时态层次数据是层次数据在时间维度的扩展,用于描述随时间变化的层次结构。相较于非时态层次数据,现有的时态层次数据管理方法仍存在存储方案复杂以及查询和更新效率低下等问题。针对上述问题,提出了一种基于嵌套集合模型的时态层次数... 时态层次数据是层次数据在时间维度的扩展,用于描述随时间变化的层次结构。相较于非时态层次数据,现有的时态层次数据管理方法仍存在存储方案复杂以及查询和更新效率低下等问题。针对上述问题,提出了一种基于嵌套集合模型的时态层次数据管理方法。首先从节点变化角度分析了层次数据变化的4种类型,在此基础上通过扩展时间标签字段实现了多版本节点在关系数据库中的存储和查询功能,最后提出了一种基于存量空间的嵌套集合模型(Abundantly Gapped Nested Intervals Scheme,AGNIS),用于解决主流嵌套集合模型插入数据记录效率较低的问题。基于我国2021-2022年行政区划及其调整数据的实验结果表明:提出的数据管理方法能够实现历史层次数据的存储和任意时刻层次结构快照的查询,且兼顾了时态层次数据查询和更新操作的高效性。 展开更多
关键词 时态层次数据 嵌套集合模型 关系数据库 版本管理 行政区划
下载PDF
北京地区汛期降水时空分布的统计降尺度研究
3
作者 郝翠 于波 +2 位作者 戴翼 智协飞 张迎新 《气象》 CSCD 北大核心 2023年第7期843-854,共12页
降水的时空降尺度方案一直以来是智能网格预报业务的难点,通过对比多种时间和空间的降尺度方法,凝练出适用于北京地区的最优方案。空间降尺度方面,对比反距离权重法、普通克里金法、最近邻法、双线性插值法、三维普通克里金法等5种方法... 降水的时空降尺度方案一直以来是智能网格预报业务的难点,通过对比多种时间和空间的降尺度方法,凝练出适用于北京地区的最优方案。空间降尺度方面,对比反距离权重法、普通克里金法、最近邻法、双线性插值法、三维普通克里金法等5种方法的空间分布特征表明,双线性插值法在北京地区的应用效果最好,误差最小且ETS评分最高;时间降尺度方面,采用基于区域数值模式(睿图、CMA-MESO)产品的逐时分配和平均分配两种方案,其中睿图逐时分配、CMA-MESO逐时分配和平均分配在RMSE和MAE的误差表现差距不大,但睿图逐时分配在ETS上的效果最显著,且在强降水时段表现也较优,说明从预报准确率角度采用睿图逐时分配的优势更为明显。双线性插值和睿图逐时分配作为北京地区客观降水预报方法的时空降尺度方案,能够支撑智能网格业务提供精细化的预报产品,其成果可为相关业务研究提供借鉴。 展开更多
关键词 降水 时空降尺度 插值方案 分布特征 网格预报
下载PDF
HERMITE WENO SCHEMES WITH STRONG STABILITY PRESERVING MULTI-STEP TEMPORAL DISCRETIZATION METHODS FOR CONSERVATION LAWS
4
作者 Xiaofeng Cai Jun Zhu Jianxian Qiu 《Journal of Computational Mathematics》 SCIE CSCD 2017年第1期52-73,共22页
Based on the work of Shu [SIAM J. Sci. Stat. Comput, 9 (1988), pp.1073-1084], we construct a class of high order multi-step temporal discretization procedure for finite volume Hermite weighted essential non-oscillat... Based on the work of Shu [SIAM J. Sci. Stat. Comput, 9 (1988), pp.1073-1084], we construct a class of high order multi-step temporal discretization procedure for finite volume Hermite weighted essential non-oscillatory (HWENO) methods to solve hyperbolic conservation laws. The key feature of the multi-step temporal discretization procedure is to use variable time step with strong stability preserving (SSP). The multi-step tem- poral discretization methods can make full use of computed information with HWENO spatial discretization by holding the former computational values. Extensive numerical experiments are presented to demonstrate that the finite volume HWENO schemes with multi-step diseretization can achieve high order accuracy and maintain non-oscillatory properties near discontinuous region of the solution. 展开更多
关键词 Key words: Multi-step temporal discretization Hermite weighted essentially non-oscillatoryscheme Uniformly high order accuracy Strong stability preserving Finite volume scheme.
原文传递
粘性可压混合层时间稳定性对称紧致差分求解 被引量:5
5
作者 王强 傅德薰 马延文 《计算力学学报》 EI CAS CSCD 北大核心 2002年第1期1-6,共6页
基于可压扰动方程组的一阶改型 ,将高精度对称紧致格式引入边值法数值线性稳定性分析。对所获非线性离散特征值问题给出了一个通用形式二阶迭代局部算法 ,实现了时间模式和空间模式的统一求解 ,并将扰动特征值及其特征函数同时得到。据... 基于可压扰动方程组的一阶改型 ,将高精度对称紧致格式引入边值法数值线性稳定性分析。对所获非线性离散特征值问题给出了一个通用形式二阶迭代局部算法 ,实现了时间模式和空间模式的统一求解 ,并将扰动特征值及其特征函数同时得到。据此分析了可压平面自由混合层时间稳定性 ,涉及二维 /三维扰动波、粘性 /无粘扰动波、第一 /第二模态、特征函数、伪特征值谱等。研究表明 ,压缩性效应和粘性效应对最不稳定扰动波数和增长率呈相似的减抑作用 ;在 Mc=1附近 ,从高波数段开始 。 展开更多
关键词 可压混合层 稳定性分析 时间模式 紧致差分格式 非线性离散特征值 二阶迭代局部算法 粘性效应 压缩效应
下载PDF
一个具有多时间粒度时态函数依赖集的成员籍算法 被引量:9
6
作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期342-347,共6页
对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间... 对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间粒度的使用使成员籍问题的解决变得更加复杂 .由此讨论了时态类型的一些特性 ,并提出了有限决定集的概念 .基于求得属性的有限决定集 ,对每一个元素的左部属性集是单一属性的 展开更多
关键词 时态数据库 逻辑蕴涵 关系数据库 时态函数依赖集 成员籍算法
下载PDF
全序时态模块模式的TO_TSNF分解问题研究 被引量:7
7
作者 万静 郝忠孝 《计算机科学》 CSCD 北大核心 2007年第3期114-118,共5页
在许多时态数据库应用中,都存在着涉及多时间粒度的约束。但是,具有多时间粒度的时态数据库的设计相当复杂,甚至难以实现,而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时,具有全序时态类型集的全序时态模块模式有... 在许多时态数据库应用中,都存在着涉及多时间粒度的约束。但是,具有多时间粒度的时态数据库的设计相当复杂,甚至难以实现,而现实世界中的许多应用所涉及到的时态类型集都能满足全序关系。同时,具有全序时态类型集的全序时态模块模式有着良好的特性,因此本文提出了全序时态模块模式、时刻关系模式、全序时态模块投影、全序时态简单候选关键字、全序时态三范式(TO_T3NF)和全序时态简单范式(TO_TSNF)等概念,并给出了全序时态简单范式的分解算法,对其正确性进行了证明,并对时间复杂度进行了分析。 展开更多
关键词 全序时态模块模式 全序时态模块投影 全序时态简单范式 多时间粒度
下载PDF
全序时态模式下函数依赖集的成员籍问题研究 被引量:3
8
作者 万静 杨洪玉 郝忠孝 《高技术通讯》 EI CAS CSCD 北大核心 2009年第11期1148-1152,共5页
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,... 时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。 展开更多
关键词 多时间粒度 全序时态模式 时态函数依赖(TFD) 成员籍 属性集在给定时态类型上的闭包
下载PDF
具有多时间粒度的强全序时态模式中多值依赖问题研究 被引量:11
9
作者 万静 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2008年第6期1064-1071,共8页
在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题.但由于时态多值依赖的复杂性,使得根据时态多值依赖所进行的范式分解并不能总保持无损联接,为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究,... 在时态数据库中存在着与时态多值依赖相关的存储冗余、更新异常等问题.但由于时态多值依赖的复杂性,使得根据时态多值依赖所进行的范式分解并不能总保持无损联接,为此对强全序时态模式中时态多值依赖与无损分解的相关性进行了深入研究,给出了规则的时态多值依赖(RTMVD)和属性集的时间粒度等概念,并给出了RTMVD的一套有效的推理规则,针对强全序时态模式中时态多值依赖与无损分解的相关性给出了相关定理,解决了规则的时态多值依赖环境下时态模式在多粒度上的无损分解问题,为规则时态多值依赖环境下时态模式的进一步规范化奠定了基础. 展开更多
关键词 时态数据库 多时间粒度 强全序时态模式 规则的时态多值依赖 强全序无损分解
下载PDF
具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究 被引量:2
10
作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1485-1492,共8页
一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态BoyceCode范式的时态初等关键字范式(TEKNF)及时态简单范式(TSNF),并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析. 展开更多
关键词 时态数据库 时态模式 时态函数依赖 时态初等关键字范式 时态简单范式
下载PDF
偏序环境下时态数据库中的TBCNF分解问题研究 被引量:4
11
作者 万静 郝忠孝 《计算机应用研究》 CSCD 北大核心 2009年第9期3310-3313,共4页
针对偏序时态数据库进行研究,提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念,并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法,对其正确性、可终止性进行了... 针对偏序时态数据库进行研究,提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念,并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对算法的时间复杂度进行了分析。为偏序时态数据库的规范化设计奠定了基础。 展开更多
关键词 非严格偏序时态类型集 偏序时态模块模式 偏序时态BC范式 多时间粒度
下载PDF
强偏序时态模式中数据依赖推导规则研究 被引量:2
12
作者 万静 朱文博 《计算机工程与应用》 CSCD 2013年第2期194-197,共4页
随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据... 随着数据库与信息技术的发展,信息系统面临许多新的应用和需求,对时态信息处理的需求越来越迫切。时态信息处理已成为许多新一代数据库与信息系统的关键技术,时态数据库研究已经成为数据库与信息系统领域研究的热点和难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖问题开展研究,因此选题紧靠学术前沿。针对强偏序时态模式中的数据依赖问题进行了讨论,提出了强偏序时态模块模式、强偏序模式的时态类型集概念,给出了强偏序时态模式中函数依赖的推导规则以及多值依赖的推导规则,理论分析的结果表明这些规则是正确的有效的,这对实现强偏序时态数据库的规范化设计具有重要的推动作用。 展开更多
关键词 强偏序时态模块模式 强偏序模式的时态类型集 时态数据依赖 推导规则
下载PDF
基于小波变换的视频图像压缩算法研究 被引量:3
13
作者 刘苹妮 刘晓红 王志虎 《现代电子技术》 2008年第12期141-143,共3页
提出一种时域加强并结合时间轴稳定性码率控制的三维小波变换的视频图像编码方法。该算法根据人类视觉系统(HVS)的特性对视频图像不同频率的数据进行粗细不同的量化,可以很好地解决当图像运动变化较大时所产生的大数据量的问题;该算法... 提出一种时域加强并结合时间轴稳定性码率控制的三维小波变换的视频图像编码方法。该算法根据人类视觉系统(HVS)的特性对视频图像不同频率的数据进行粗细不同的量化,可以很好地解决当图像运动变化较大时所产生的大数据量的问题;该算法无运动估计和补偿环节,降低了复杂度;采用提升型变换可以节省内存空间并提高运算速度;进行了码率控制,得到了良好的时间轴稳定性,提高了视频图像的清晰度和流畅度。 展开更多
关键词 小波变换 视频压缩 提升型算法 视觉阈值量化 时间轴码率控制
下载PDF
强全序时态模式中混合依赖集成员籍问题的研究 被引量:2
14
作者 万静 王晓宇 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2009年第6期1028-1035,共8页
对于TFD和RTMVD混合依赖集约束的强全序时态模式来说,成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型... 对于TFD和RTMVD混合依赖集约束的强全序时态模式来说,成员籍问题的解决对设计有效的模式分解算法必不可少.由于强全序时态模式中多时间粒度的使用,使其成员籍问题的解决变得更加复杂.为此定义了强全序时态模式下的属性集在给定时态类型上的混合闭包、属性集的混合闭包、属性集在给定时态类型上的混合依赖基、属性集的混合依赖基等概念,给出了求强全序时态模式下属性集的混合闭包、属性集的混合依赖基以及TFD和RTMVD混合依赖集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析. 展开更多
关键词 多时间粒度 强全序时态模式 混合闭包 混合依赖基 成员籍
下载PDF
一种改进稳定性的时域电场积分方程法 被引量:10
15
作者 唐煜 顾长青 《微波学报》 CSCD 北大核心 2008年第4期31-35,共5页
研究了时域电场积分方程隐式MOT算法中时间基函数对其稳定性的影响,由理论分析和数值结果得出了选用高频分量较少的时间基函数不利于隐式MOT算法稳定性的结论。在此基础上,将一种多项式时间基函数与新的时间平均方法相结合,提出了一种... 研究了时域电场积分方程隐式MOT算法中时间基函数对其稳定性的影响,由理论分析和数值结果得出了选用高频分量较少的时间基函数不利于隐式MOT算法稳定性的结论。在此基础上,将一种多项式时间基函数与新的时间平均方法相结合,提出了一种改进稳定性的隐式MOT算法,计算实例表明比先五步后三步平均法更加精确,比以前的隐式MOT算法更加稳定。 展开更多
关键词 时域电场积分方程 隐式时间步进算法 时间基函数 平均方法
下载PDF
全序时态模块模式的TO_TBCNF分解问题研究 被引量:1
16
作者 万静 郝忠孝 《计算机工程与应用》 CSCD 北大核心 2006年第28期5-8,33,共5页
时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中,都涉及多时间粒度约束,但是,具有多时间粒度的时态数据库的设计相当复杂,难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系,由于具有全序时态类... 时间粒度是所有时态数据所拥有的共同特点。在许多时态数据库应用中,都涉及多时间粒度约束,但是,具有多时间粒度的时态数据库的设计相当复杂,难以实现。而现实世界中的许多应用涉及到的时态类型集都能满足全序关系,由于具有全序时态类型集的全序时态模块模式有着良好的特性,文章提出了全序时态模块模式、时刻关系模式、全序时态模块投影和全序时态BC范式(TO_TBCNF)等概念,并给出了全序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对时间复杂度进行了分析。 展开更多
关键词 全序时态模块模式 时刻关系模式 全序时态BC范式 全序无损分解 多时间粒度
下载PDF
偏序时态模式下规范覆盖问题 被引量:3
17
作者 万静 邹积民 《计算机应用研究》 CSCD 北大核心 2011年第7期2473-2475,共3页
目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包... 目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包、偏序模式属性集有限闭包、偏序无冗余覆盖和偏序规范TFD集等概念,解决了偏序TFD成员籍问题;并给出了偏序TFD集的规范覆盖算法,对其正确性进行了证明,对算法的时间复杂度进行了分析。为偏序时态模式的综合范式分解问题研究奠定基础。 展开更多
关键词 多时间粒度 偏序时态模式 偏序模式属性集有限闭包 偏序TFD集规范覆盖
下载PDF
空时域联合差分检测可见光图像的运动小目标 被引量:1
18
作者 胡谋法 李超 王书宏 《计算机工程与应用》 CSCD 北大核心 2006年第21期25-27,共3页
可见光图像背景常常表现出时域和空域的双重相关特性。针对可见光图像背景下的运动小目标检测,提出了一种空时域联合差分的检测方法。以可见光图像序列模型为基础定性分析了目标、背景和噪声的基本特性和差异;在此基础上提出了空时域联... 可见光图像背景常常表现出时域和空域的双重相关特性。针对可见光图像背景下的运动小目标检测,提出了一种空时域联合差分的检测方法。以可见光图像序列模型为基础定性分析了目标、背景和噪声的基本特性和差异;在此基础上提出了空时域联合差分的背景抑制方法,结合流水线结构给出了一种实时性好的具体实现方案。实验结果证实了该方法的有效性。 展开更多
关键词 目标检测 空时域差分 流水线结构 可见光 背景起伏
下载PDF
全序时态模式中时态函数依赖的覆盖问题研究 被引量:1
19
作者 万静 杨洪玉 郝忠孝 《计算机应用研究》 CSCD 北大核心 2009年第12期4516-4519,共4页
与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最... 与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。 展开更多
关键词 全序时态模块模式 全序无冗余覆盖 全序规范覆盖 全序最小覆盖
下载PDF
时态强简单候选关键字算法研究
20
作者 万静 张晓东 +1 位作者 刘芳 何云斌 《计算机应用研究》 CSCD 北大核心 2016年第4期993-996,共4页
在实际应用系统设计中,根据应用环境要设计时态模式,并对模式进行规范化处理。无论需要满足哪种范式,都涉及候选关键字问题,目前已提出的时态初等候选关键字、时态简单候选关键字都有其相对应的范式TEKNF和TSNF。在此基础上,在强全序模... 在实际应用系统设计中,根据应用环境要设计时态模式,并对模式进行规范化处理。无论需要满足哪种范式,都涉及候选关键字问题,目前已提出的时态初等候选关键字、时态简单候选关键字都有其相对应的范式TEKNF和TSNF。在此基础上,在强全序模块模式下提出了时态强简单候选关键字的概念,给出了明确的定义,并且给出了强全序候选关键字算法以及求取强简单候选关键字集算法;对算法的可终止性、正确性进行了证明,并对算法的复杂度进行了分析,同时初步定义了相对应的时态强简单范式。 展开更多
关键词 时态模式 时态模式规范化 强全序模块模式 时态强简单候选关键字
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部