期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
入乎其“类”,出乎其“篇”——部级精品课《在马克思墓前的讲话》品赏
1
作者 王蓁蓁 《语文教学通讯》 2024年第5期56-60,共5页
《在马克思墓前的讲话》这篇课文与一般意义上的悼词相比,既有总体格式的一致性,又有内容呈现的特殊性,可将其理解为以追悼为目的的演说。以此为切入点,设置评选挽联的情境,关注文本类性与篇性特征的比较与思辨,既致力于演讲性悼词类性... 《在马克思墓前的讲话》这篇课文与一般意义上的悼词相比,既有总体格式的一致性,又有内容呈现的特殊性,可将其理解为以追悼为目的的演说。以此为切入点,设置评选挽联的情境,关注文本类性与篇性特征的比较与思辨,既致力于演讲性悼词类性的体味和揭示,又力图深入课文篇性的研究与开掘。 展开更多
关键词 悼词 演讲词 类性 篇性
下载PDF
一种随机TBFL方法 被引量:7
2
作者 王蓁蓁 徐宝文 +1 位作者 周毓明 陈林 《计算机科学》 CSCD 北大核心 2013年第1期5-13,18,共10页
许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了... 许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。 展开更多
关键词 错误定位 测试为基础的错误定位 随机错误定位方法
下载PDF
马尔可夫决策过程两种抽象模式 被引量:2
3
作者 王蓁蓁 邢汉承 +1 位作者 张志政 倪庆剑 《计算机科学》 CSCD 北大核心 2008年第10期6-14,48,共10页
抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以... 抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以及在各种典型抽象MDPs中的最优策略的精确或近似算法,其中包括与常规MDPs根本不同的一个算法:把Bellman方程推广到抽象状态空间的方法,并且对它们的研究历史进行总结和对它们的发展做一些展望,使得人们对它们有一个透彻的、全面而又重点的理解。 展开更多
关键词 情景演算 因子化马尔可夫决策过程 逻辑马尔可夫决策过程 关系马尔可夫决策过程 Bellman方程
下载PDF
软件测试理论初步框架 被引量:22
4
作者 王蓁蓁 《计算机科学》 CSCD 北大核心 2014年第3期12-16,35,共6页
软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种... 软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间,引入反映软件某种情况(比如缺陷)的随机变量,概括白盒测试和黑盒测试的概率测度及数学期望描述。这样的构建不仅能够加深对软件缺陷存在的理论根源的理解,从而进一步提出更好的测试方法,还对发展软件测试的科学理论有所帮助。 展开更多
关键词 软件测试 软件度量 程序语言 随机测试
下载PDF
模拟人类发散思维的测度值马尔可夫理论模型 被引量:1
5
作者 王蓁蓁 邢汉承 +1 位作者 张志政 倪庆剑 《南京大学学报(自然科学版)》 CSCD 北大核心 2008年第2期148-156,共9页
本文提出测度值马尔可夫决策过程新模型.在此模型下,agent对环境的把握用测度概念来表示,于是agent则根据测度来决定自己的最优行动以得到最优策略,因此本文也提供了测度值马尔可夫决策过程的最优策略算法.该模型是部分可观察马尔可夫... 本文提出测度值马尔可夫决策过程新模型.在此模型下,agent对环境的把握用测度概念来表示,于是agent则根据测度来决定自己的最优行动以得到最优策略,因此本文也提供了测度值马尔可夫决策过程的最优策略算法.该模型是部分可观察马尔可夫决策过程的推广,它反映人类思维的一个重要特征,人们在把握全部状态可能性(即对状态空间进行权衡度量)的态势下,思考问题并选择自己的最优行动.部分可观察马尔可夫决策过程只是它的一种特例. 展开更多
关键词 测度值 测度值分枝过程 马尔可夫决策过程
下载PDF
模型检验综述 被引量:9
6
作者 王蓁蓁 《计算机科学》 CSCD 北大核心 2013年第06A期1-14,共14页
在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精... 在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。 展开更多
关键词 时态逻辑 模型检验 抽象解释 抽象模型检验
下载PDF
拟人类思维的形式结构模型 被引量:2
7
作者 王蓁蓁 邢汉承 《智能系统学报》 2008年第6期529-535,共7页
人工智能的迅速发展促使人们关注人脑思维功能并积极开发概括性的心智模型.如果能恰当地表示人类思维特征和推理方面的信息,则对智能概念的理解十分有益.因此在现有的思维科学研究基础上,将人类思维形式化,为它构造一个数学模型,主要包... 人工智能的迅速发展促使人们关注人脑思维功能并积极开发概括性的心智模型.如果能恰当地表示人类思维特征和推理方面的信息,则对智能概念的理解十分有益.因此在现有的思维科学研究基础上,将人类思维形式化,为它构造一个数学模型,主要包括对知识空间,直觉空间,潜意识空间这三个空间进行形式建模.以此说明人类思维的重要特征是:在知识空间里人类思维是逻辑的;在潜意识空间里,虽然人类思维出现随机、混沌现象,但在整体上仍是属于人类的理性活动,所以总能在与之联系的直觉空间里,找到"确定性"的概率方式进行,也就是说直觉空间是提供算法的.最后简单叙述它的理论可行性,由此阐述人类思维的创造性功能. 展开更多
关键词 人类思维 知识空间 直觉空间 潜意识空间
下载PDF
基于源码解析的软件依赖网络构建研究
8
作者 刘辉辉 马乐军 +2 位作者 王蓁蓁 闫瑞 杨沐雨 《金陵科技学院学报》 2023年第4期1-8,70,共9页
软件依赖网络是指代码中各个实体因相互依赖而形成的复杂网络结构。当前,大多数的研究使用商业或闭源工具构建依赖网络数据集,工具之间缺乏统一的实体依赖模型,难以进行数据交换、工具迁移和性能对比。为此,采用源码解析的方式提取依赖... 软件依赖网络是指代码中各个实体因相互依赖而形成的复杂网络结构。当前,大多数的研究使用商业或闭源工具构建依赖网络数据集,工具之间缺乏统一的实体依赖模型,难以进行数据交换、工具迁移和性能对比。为此,采用源码解析的方式提取依赖关系,构建软件依赖网络,并在6个开源项目上,从依赖提取和依赖强度两个方面开展实证分析,构建一个规模不等、可复现、开放、共享的依赖网络数据集,以便研究人员开展基于软件依赖网络的应用研究。 展开更多
关键词 软件依赖网络 源代码解析 代码依赖提取 静态分析
下载PDF
逻辑马尔可夫决策过程的正则条件概率理论 被引量:1
9
作者 王蓁蓁 邢汉承 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第4期439-447,共9页
增强学习已经开始向关系增强学习发展,并且产生了许多新的算法.大部分方法将命题表达提升为关系或计算逻辑的表达.这些方法已经表现出许多好的性质,但是相关的理论分析目前还缺乏,即为什么这些关系的增强学习具有良好的性质,因此提出基... 增强学习已经开始向关系增强学习发展,并且产生了许多新的算法.大部分方法将命题表达提升为关系或计算逻辑的表达.这些方法已经表现出许多好的性质,但是相关的理论分析目前还缺乏,即为什么这些关系的增强学习具有良好的性质,因此提出基础马尔可夫决策过程和逻辑马尔可夫决策过程的测度空间结构,利用现代概率论中条件数学期望和正则条件概率理论建立基础和逻辑两种马尔可夫决策过程之间的深刻联系,从而证实了逻辑马尔可夫决策过程中的最优策略在某种平均意义上是相应的基础马尔可夫决策过程的最优策略.最后由实例分析得出逻辑马尔可夫决策编程方法.建立逻辑马尔可夫决策过程的测度空间结构可以为关系增强学习提供数学理论框架. 展开更多
关键词 概率测度空间 逻辑马尔可夫决策过程 正则条件概率 增强学习
下载PDF
朴素模糊描述逻辑知识库构造及其朴素推理 被引量:3
10
作者 王蓁蓁 《应用科技》 CAS 2012年第6期18-29,共12页
提出朴素模糊描述逻辑理论框架,主要分为朴素隶属函数构造和基于模糊描述逻辑之上的朴素推理两个方面.朴素隶属函数构造的基本思想是简化模糊集合隶属度取值,并把模糊集作2种理解——即它的隶属函数或是元素隶属它的程度,或是元素聚合... 提出朴素模糊描述逻辑理论框架,主要分为朴素隶属函数构造和基于模糊描述逻辑之上的朴素推理两个方面.朴素隶属函数构造的基本思想是简化模糊集合隶属度取值,并把模糊集作2种理解——即它的隶属函数或是元素隶属它的程度,或是元素聚合的标志性指标.并且当问题需要深化时,通过模糊集理论中的2型集或2级集进行提升,然后再化归为普通模糊集,借此拓广模糊集隶属度和(或者)产生新的模糊集.在推理方面,运用模糊集理论中"所有算子",并不强调它们在逻辑上的一致性.最后以中医理论为例,说明朴素模糊描述逻辑在表达有别于西方自然科学范型的经验理论中的重要作用. 展开更多
关键词 朴素模糊描述逻辑 朴素推理 知识库构造 中医理论
下载PDF
Walsh函数在组合测试中的应用
11
作者 王蓁蓁 周毓明 +3 位作者 康达周 子元 李言辉 徐宝文 《计算机学报》 EI CSCD 北大核心 2014年第12期2482-2491,共10页
实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式... 实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式的定义以及理论缺陷函数和实际缺陷函数的定义;引入Walsh模式变换概念,并利用Walsh函数的离散形式有效地计算测试用例模式的平均缺陷率.最后基于模式平均缺陷率的大小,补充附加测试用例进行重新测试,从而迅速将故障原因锁定在很小的范围内,为软件的调试和测试工作提供更方便、更有价值的线索和参考. 展开更多
关键词 软件测试 组合测试 软件调试 WALSH函数 测试用例模式
下载PDF
抽象解释全总域模型
12
作者 王蓁蓁 倪庆剑 +1 位作者 张志政 邢汉承 《中国科学技术大学学报》 CAS CSCD 北大核心 2014年第7期599-604,共6页
抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是... 抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点. 展开更多
关键词 抽象解释 语义 全总域 完备性
下载PDF
一种Agent的偏好系统及其建立
13
作者 王蓁蓁 邢汉承 陈汉武 《计算机研究与发展》 EI CSCD 北大核心 2009年第2期253-260,共8页
受到Agent偏好模型的启发,提出了一个新的描述人们行为的偏好系统称为AF系统,它将Michael Freund的理性偏好推理与Adams提出的经典的归纳逻辑和概率逻辑相结合,即借助经典的逻辑系统,把人们的逻辑推理和以人们的偏好取向为基础的常识性... 受到Agent偏好模型的启发,提出了一个新的描述人们行为的偏好系统称为AF系统,它将Michael Freund的理性偏好推理与Adams提出的经典的归纳逻辑和概率逻辑相结合,即借助经典的逻辑系统,把人们的逻辑推理和以人们的偏好取向为基础的常识性推理以及以主观愿望为基础的意向推理结合在一起成为一个有机系统,并且在这个系统下提出Agent的理性偏好的建立方法以及推理步骤.最后给出一个实例,说明它能根据人们的部分愿望,全面估计人们的偏好走向,而且一旦人们的基本态度有所转向,偏好结构也可做相应调整,无需做根本改动,因此它具有鲁棒性和实用价值. 展开更多
关键词 理性 偏好 归纳逻辑 理性推理 概率逻辑
下载PDF
TBFL和SAFL方法熵分析
14
作者 王蓁蓁 徐宝文 +1 位作者 周毓明 陈林 《计算机科学》 CSCD 北大核心 2013年第11期152-157,共6页
为TBFL(testing-based fault localization)方法和SAFL(similarity-aware fault localization)方法构造了熵模型,并用该模型对Dicing方法、TARANTULA方法、SAFL方法在一个实例上进行分析比较。结果表明,熵模型可以为构造以及分析TBFL方... 为TBFL(testing-based fault localization)方法和SAFL(similarity-aware fault localization)方法构造了熵模型,并用该模型对Dicing方法、TARANTULA方法、SAFL方法在一个实例上进行分析比较。结果表明,熵模型可以为构造以及分析TBFL方法和SAFL方法提供一个原则性框架。 展开更多
关键词 错误定位 相似性错误定位
下载PDF
逻辑马尔可夫决策编程和关系马尔可夫决策编程若干最新进展
15
作者 王蓁蓁 邢汉承 +1 位作者 张志政 倪庆剑 《计算机科学》 CSCD 北大核心 2007年第10期1-7,23,共8页
逻辑马尔可夫决策过程和关系马尔可夫决策过程的引入,使得人们可能简洁地、陈述地表达复杂的马尔可夫决策过程。本文首先介绍有关逻辑马尔可夫决策过程和关系马尔可夫决策过程的概念,然后重点介绍它们与普通的马尔可夫决策过程根本不同... 逻辑马尔可夫决策过程和关系马尔可夫决策过程的引入,使得人们可能简洁地、陈述地表达复杂的马尔可夫决策过程。本文首先介绍有关逻辑马尔可夫决策过程和关系马尔可夫决策过程的概念,然后重点介绍它们与普通的马尔可夫决策过程根本不同的一些算法:①依赖于基本状态空间RL的转换法;②把Bellman方程推广到抽象状态空间的方法,③利用策略偏置空间寻求近似最优策略方法。最后对它们的研究现状进行总结及其对它们发展的一些展望。 展开更多
关键词 逻辑马尔可夫决策过程 关系马尔可夫决策过程
下载PDF
基于校正因子的随机TBFL方法
16
作者 王蓁蓁 刘嘉 《计算机科学》 CSCD 北大核心 2019年第11期161-167,共7页
运用测试集对程序错误语句定位的算法被统称为TBFL(Testing Based Fault Localization)方法。目前通用算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些“资源”被浪费。随机TBFL方法是一类新型TBFL方法,其精神... 运用测试集对程序错误语句定位的算法被统称为TBFL(Testing Based Fault Localization)方法。目前通用算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些“资源”被浪费。随机TBFL方法是一类新型TBFL方法,其精神就是在随机理论的框架下,把这些先验知识(抽象为先验分布)和实际测试活动结合起来,从而更好地定位程序错误语句。事实上,随机TBFL算法可以看成这类算法的一般“模式”,人们可以从这个一般框架里开发出不同的算法。文中方法就是将随机TBFL算法加以简化得到的,主要是从各个测试用例的具体测试活动着手,对程序变量X的先验概率加以校正,如果测试集里有n个用例,便可以得到程序变量X的n个校正值,将n个校正值效应迭加,并且标准化,即得到程序变量X的后验概率,用它作为寻找错误语句的向导。由于提出的简化算法是借助一个校正因子矩阵而得到的,因此所提算法被称为基于校正因子的随机TBFL方法。文中还提出了3个有关不同TBFL算法的比较标准,并依据它们在一些具体实例上的表现证实所提算法的有效性。 展开更多
关键词 错误定位 软件测试 随机错误定位方法 校正因子
下载PDF
双马尔可夫决策过程联合模型
17
作者 王蓁蓁 邢汉承 《计算机科学》 CSCD 北大核心 2009年第9期161-166,共6页
人类在处理问题中往往分为两个层次,首先在整体上把握问题,即提出大体方案,然后再具体实施。也就是说人类就是具有多分辨率智能系统的极好例子,他能够在多个层次上从底向上泛化(即看问题角度粒度变"粗",它类似于抽象),并且又... 人类在处理问题中往往分为两个层次,首先在整体上把握问题,即提出大体方案,然后再具体实施。也就是说人类就是具有多分辨率智能系统的极好例子,他能够在多个层次上从底向上泛化(即看问题角度粒度变"粗",它类似于抽象),并且又能从顶向下进行实例化(即看问题角度变"细",它类似于具体化)。由此构造了由在双层(理想空间即泛化和实际空间即实例化)上各自运行的马尔可夫决策过程组成的半马尔可夫决策过程,称之为双马尔可夫决策过程联合模型。然后讨论该联合模型的最优策略算法,最后给出一个实例说明双马尔可夫决策联合模型能够经济地节约"思想",是运算有效性和可行性的一个很好的折中。 展开更多
关键词 马尔可夫决策过程 增强学习 最优策略
下载PDF
抽象解释的部分等价逻辑关系模型
18
作者 王蓁蓁 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2015年第2期453-457,共5页
抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原... 抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原系统上的一切关系(包括逻辑关系)的抽象,因此它不是原系统的"简化",而是原系统的一个"深化".从而在此模型上提出的问题具有另外的特征,例如复杂性和多态性等问题. 展开更多
关键词 抽象解释 部分等价关系 逻辑部分等价关系
下载PDF
智能随机TBFL方法
19
作者 王蓁蓁 《应用科技》 CAS 2013年第6期39-45,共7页
测试集测试结果对程序错误定位算法(testing-based fault localization,TBFL)没有考虑到程序和测试用例集本身的信息,而智能随机TBFL方法,则是利用随机理论将测试员、程序员关于测试用例和程序的先验知识和测试结果信息结合起来,去定位... 测试集测试结果对程序错误定位算法(testing-based fault localization,TBFL)没有考虑到程序和测试用例集本身的信息,而智能随机TBFL方法,则是利用随机理论将测试员、程序员关于测试用例和程序的先验知识和测试结果信息结合起来,去定位程序的错误语句.智能TBFL算法主要从人类处理信息的通常过程着眼,把测试员交给开发人员的测试结果(主要是用例是否失败和用例覆盖语句情况)分两个层次处理,首先构造执行矩阵E,利用程序先验分布计算测试集捕获错误的能力等级分布,它相当于人类处理信息首先考察信息的正确性和重要性这一事实;其次构造功效矩阵F,利用前述的测试集能力分布计算程序语句出错可能性的等级分布,它相当于人类处理信息时挖掘信息内涵并对信息加以综合从而做出正确判断这一事实.因此文中提出的算法称之为智能算法,它在理论上是可信的.根据文中所提出的两个有关不同TBFL算法比较标准,并在一些实例上把智能算法与其他一些传统错误定位方法进行对比,发现智能算法的功效比较满意. 展开更多
关键词 错误定位 测试为基础的错误定位 随机错误定位方法 软件测试 智能算法
下载PDF
等级平均随机TBFL方法
20
作者 王蓁蓁 《计算机科学》 CSCD 北大核心 2014年第1期235-241,共7页
运用测试集对程序错误语句定位的算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。文献[12]引入了一类... 运用测试集对程序错误语句定位的算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。文献[12]引入了一类新的随机TBFL方法,其精神就是在随机理论的框架下,把这些先验知识和实际测试活动结合起来,从而对程序错误语句更好地定位。文献[12]提出的算法可以看成是这种类型算法的一般"模式",人们可以根据这个一般性的模式开发出不同的算法。基于文献[13]的思想,对文献[12]中的算法做了改进。主要是根据测试结果,构造执行矩阵E和功效矩阵F两个工具,并结合测试集和程序先验知识,对程序语句出错可能性引入两个级别的排序,然后对这两个排序进行"平均",得到程序语句出错可能性的平均等级排序,它可以作为程序员改正程序错误的导向。还提出两个有关不同TBFL算法的比较标准,根据这两个标准,在一些具体实例上,将所提算法和其他一般方法以及文献[12]中的方法进行了对比,结果显示所提算法的效果令人满意。 展开更多
关键词 错误定位 测试为基础的错误定位 随机错误定位方法
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部