期刊文献+
共找到184篇文章
< 1 2 10 >
每页显示 20 50 100
Hierarchical On-line Scheduling of Multiproduct Batch Plants with a Combined Approach of Mathematical Programming and Genetic Algorithm 被引量:1
1
作者 陈理 王克峰 +1 位作者 徐霄羽 姚平经 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2004年第1期78-84,共7页
In this contribution we present an online scheduling algorithm for a real world multiproduct batch plant. The overall mixed integer nonlinear programming (MINLP) problem is hierarchically structured into a mixed integ... In this contribution we present an online scheduling algorithm for a real world multiproduct batch plant. The overall mixed integer nonlinear programming (MINLP) problem is hierarchically structured into a mixed integer linear programming (MILP) problem first and then a reduced dimensional MINLP problem, which are optimized by mathematical programming (MP) and genetic algorithm (GA) respectively. The basis idea relies on combining MP with GA to exploit their complementary capacity. The key features of the hierarchical model are explained and illustrated with some real world cases from the multiproduct batch plants. 展开更多
关键词 online scheduling multiproduct batch plant mixed integer nonlinear programming mathematical programming genetic algorithm
下载PDF
An SQP algorithm for mathematical programs with nonlinear complementarity constraints
2
作者 朱志斌 简金宝 张聪 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2009年第5期659-668,共10页
In this paper, we describe a successive approximation and smooth sequential quadratic programming (SQP) method for mathematical programs with nonlinear complementarity constraints (MPCC). We introduce a class of s... In this paper, we describe a successive approximation and smooth sequential quadratic programming (SQP) method for mathematical programs with nonlinear complementarity constraints (MPCC). We introduce a class of smooth programs to approximate the MPCC. Using an 11 penalty function, the line search assures global convergence, while the superlinear convergence rate is shown under the strictly complementary and second-order sufficient conditions. Moreover, we prove that the current iterated point is an exact stationary point of the mathematical programs with equilibrium constraints (MPEC) when the algorithm terminates finitely. 展开更多
关键词 mathematical programs with equilibrium constraints (MPEC) SQP algorithm successive approximation global convergence superlinear convergence rate
下载PDF
Mathematical Models for a Social Partitioning Problem 被引量:1
3
作者 Vardges Melkonian 《American Journal of Computational Mathematics》 2021年第1期1-22,共22页
In this paper we develop modeling techniques for a social partitioning problem. Different social interaction regulations are imposed during pandemics to prevent the spread of diseases. We suggest partitioning a set of... In this paper we develop modeling techniques for a social partitioning problem. Different social interaction regulations are imposed during pandemics to prevent the spread of diseases. We suggest partitioning a set of company employees as an effective way to curb the spread, and use integer programming techniques to model it. The goal of the model is to maximize the number of direct interactions between employees who are essential for company’s work subject to the constraint that all employees should be partitioned into components of no more than a certain size implied by the regulations. Then we further develop the basic model to take into account different restrictions and provisions. We also give heuristics for solving the problem. Our computational results include sensitivity analysis on some of the models and analysis of the heuristic performance. 展开更多
关键词 Health Care Operations Research mathematical Models for Pandemics Graph Partitioning Integer Linear programming Heuristic algorithms
下载PDF
Predictive Mathematical and Statistical Modeling of the Dynamic Poverty Problem in Burundi: Case of an Innovative Economic Optimization System
4
作者 Fulgence Nahayo Ancille Bagorizamba +1 位作者 Marc Bigirimana Irene Irakoze 《Open Journal of Optimization》 2021年第4期101-125,共25页
The mathematical and statistical modeling of the problem of poverty is a major challenge given Burundi’s economic development. Innovative economic optimization systems are widely needed to face the problem of the dyn... The mathematical and statistical modeling of the problem of poverty is a major challenge given Burundi’s economic development. Innovative economic optimization systems are widely needed to face the problem of the dynamic of the poverty in Burundi. The Burundian economy shows an inflation rate of -1.5% in 2018 for the Gross Domestic Product growth real rate of 2.8% in 2016. In this research, the aim is to find a model that contributes to solving the problem of poverty in Burundi. The results of this research fill the knowledge gap in the modeling and optimization of the Burundian economic system. The aim of this model is to solve an optimization problem combining the variables of production, consumption, budget, human resources and available raw materials. Scientific modeling and optimal solving of the poverty problem show the tools for measuring poverty rate and determining various countries’ poverty levels when considering advanced knowledge. In addition, investigating the aspects of poverty will properly orient development aid to developing countries and thus, achieve their objectives of growth and the fight against poverty. This paper provides a new and innovative framework for global scientific research regarding the multiple facets of this problem. An estimate of the poverty rate allows good progress with the theory and optimization methods in measuring the poverty rate and achieving sustainable development goals. By comparing the annual food production and the required annual consumption, there is an imbalance between different types of food. Proteins, minerals and vitamins produced in Burundi are sufficient when considering their consumption as required by the entire Burundian population. This positive contribution for the latter comes from the fact that some cows, goats, fishes, ···, slaughtered in Burundi come from neighboring countries. Real production remains in deficit. The lipids, acids, calcium, fibers and carbohydrates produced in Burundi are insufficient for consumption. This negative contribution proves a Burundian food deficit. It is a decision-making indicator for the design and updating of agricultural policy and implementation programs as well as projects. Investment and economic growth are only possible when food security is mastered. The capital allocated to food investment must be revised upwards. Demographic control is also a relevant indicator to push forward Burundi among the emerging countries in 2040. Meanwhile, better understanding of the determinants of poverty by taking cultural and organizational aspects into account guides managers for poverty reduction projects and programs. 展开更多
关键词 Poverty Problem mathematical Modeling Applied Statistics Operational Research Symplectic Partitioned Runge Kutta algorithm Dynamic programming Matlab and Simulink AMPL KNITRO Gurobi Economic Optimization Technology Transfer Incubation of Results Sustainable Development Goals
下载PDF
Dimension-down iterative algorithm for the mixed transportation network design problem
5
作者 陈群 姚加林 《Journal of Southeast University(English Edition)》 EI CAS 2012年第2期236-239,共4页
An optimal dimension-down iterative algorithm (DDIA) is proposed for solving a mixed (continuous/ discrete) transportation network design problem (MNDP), which is generally expressed as a mathematical programmin... An optimal dimension-down iterative algorithm (DDIA) is proposed for solving a mixed (continuous/ discrete) transportation network design problem (MNDP), which is generally expressed as a mathematical programming with equilibrium constraints (MPEC). The upper level of the MNDP aims to optimize the network performance via both the expansion of existing links and the addition of new candidate links, whereas the lower level is a traditional Wardrop user equilibrium (UE) model. The idea of the proposed DDIA is to reduce the dimensions of the problem. A group of variables (discrete/continuous) are fixed to altemately optimize another group of variables (continuous/discrete). Some continuous network design problems (CNDPs) and discrete network design problems (DNDPs) are solved repeatedly until the optimal solution is obtained. A numerical example is given to demonstrate the efficiency of the proposed algorithm. 展开更多
关键词 mixed network design problem (MNDP) dimension-down iterative algorithm (DDIA) mathematical programming with equilibrium constraint (MPEC)
下载PDF
A Multiple Model Approach to Modeling Based on LPF Algorithm 被引量:2
6
作者 Li, N. Li, S. Xi, Y. 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2001年第3期64-70,共7页
Input-output data fitting methods are often used for unknown-structure nonlinear system modeling. Based on model-on-demand tactics, a multiple model approach to modeling for nonlinear systems is presented. The basic i... Input-output data fitting methods are often used for unknown-structure nonlinear system modeling. Based on model-on-demand tactics, a multiple model approach to modeling for nonlinear systems is presented. The basic idea is to find out, from vast historical system input-output data sets, some data sets matching with the current working point, then to develop a local model using Local Polynomial Fitting (LPF) algorithm. With the change of working points, multiple local models are built, which realize the exact modeling for the global system. By comparing to other methods, the simulation results show good performance for its simple, effective and reliable estimation. 展开更多
关键词 algorithmS Computer simulation Data structures Input output programs mathematical models Parameter estimation POLYNOMIALS
下载PDF
基于Deep Forest算法的对虾急性肝胰腺坏死病(AHPND)预警数学模型构建
7
作者 王印庚 于永翔 +5 位作者 蔡欣欣 张正 王春元 廖梅杰 朱洪洋 李昊 《渔业科学进展》 CSCD 北大核心 2024年第3期171-181,共11页
为预报池塘养殖凡纳对虾(Penaeus vannamei)急性肝胰腺坏死病(AHPND)的发生,自2020年开始,笔者对凡纳对虾养殖区开展了连续监测工作,包括与疾病发生相关的环境理化因子、微生物因子、虾体自身健康状况等18个候选预警因子指标,通过数据... 为预报池塘养殖凡纳对虾(Penaeus vannamei)急性肝胰腺坏死病(AHPND)的发生,自2020年开始,笔者对凡纳对虾养殖区开展了连续监测工作,包括与疾病发生相关的环境理化因子、微生物因子、虾体自身健康状况等18个候选预警因子指标,通过数据标准化处理后分析病原、宿主与环境之间的相关性,对候选预警因子进行筛选,基于Python语言编程结合Deep Forest、Light GBM、XGBoost算法进行数据建模和预测性能评判,仿真环境为Python2.7,以预警因子指标作为输入样本(即警兆),以对虾是否发病指标作为输出结果(即警情),根据输入样本和输出结果各自建立输入数据矩阵和目标数据矩阵,利用原始数据矩阵对输入样本进行初始化,结合函数方程进行拟合,拟合的源代码能利用已知环境、病原及对虾免疫指标数据对目标警情进行预测。最终建立了基于Deep Forest算法的虾体(肝胰腺内)细菌总数、虾体弧菌(Vibrio)占比、水体细菌总数和盐度的4维向量预警预报模型,准确率达89.00%。本研究将人工智能算法应用到对虾AHPND发生的预测预报,相关研究结果为对虾AHPND疾病预警预报建立了预警数学模型,并为对虾健康养殖和疾病防控提供了技术支撑和有力保障。 展开更多
关键词 对虾 急性肝胰腺坏死病 预警数学模型 Deep Forest算法 PYTHON语言
下载PDF
基于改进候鸟迁徙算法的人机协作装配线平衡优化
8
作者 郑晨昱 李梓响 +2 位作者 唐秋华 张子凯 张利平 《计算机集成制造系统》 EI CSCD 北大核心 2024年第9期3071-3083,共13页
随着员工成本的增加,协作机器人逐步应用于装配线以独立完成或者协助员工完成装配操作。针对多种机器人和并行协作的人机协作装配线平衡问题,构建了两个混合整数规划模型以优化生产节拍。模型均可实现小规模案例的精确求解,并且改进后... 随着员工成本的增加,协作机器人逐步应用于装配线以独立完成或者协助员工完成装配操作。针对多种机器人和并行协作的人机协作装配线平衡问题,构建了两个混合整数规划模型以优化生产节拍。模型均可实现小规模案例的精确求解,并且改进后的模型在求解时间上明显优于改进前的模型。同时,提出了改进的候鸟迁徙算法以实现大规模问题的求解。该算法采取任务分配向量和装配模式向量双层编码方式,并在解码中采取数学规划方法获得可行的调度方案。改进的候鸟迁徙算法采取改进的领鸟进化阶段和改进的个体进化阶段以加速种群的进化并防止陷入局部最优,采取重启机制增强算法的探索能力。为了测试改进算法的性能,该算法与延迟接受爬山算法、模拟退火算法、遗传算法、离散粒子群算法、原始人工蜂群算法和原始候鸟迁徙算法进行对比,测试结果表明改进算法优于对比算法,可实现人机协作装配线平衡问题的高效求解。 展开更多
关键词 装配线平衡 人机协作 数学规划 候鸟迁徙算法 智能优化算法
下载PDF
基于能力的国防资源分配方法
9
作者 张玉婷 杨镜宇 《系统工程与电子技术》 EI CSCD 北大核心 2024年第2期599-604,共6页
针对体系建设发展过程中国防资源有限、分配困难问题,考虑国防总经费预算受限、年度资源平均分配、体系能力满足能力需求等方面的约束,首先采用数学规划法,构建基于能力的国防资源静态分配模型,将资源分配到不同能力领域的体系建设发展... 针对体系建设发展过程中国防资源有限、分配困难问题,考虑国防总经费预算受限、年度资源平均分配、体系能力满足能力需求等方面的约束,首先采用数学规划法,构建基于能力的国防资源静态分配模型,将资源分配到不同能力领域的体系建设发展中。其次,给出了基于遗传算法的模型求解算法。最后,通过示例验证所构建的资源分配模型能够合理地进行国防资源分配,且计算结果高效、可行,为体系建设发展中的资源分配问题提供了一定的理论支撑。 展开更多
关键词 资源分配 数学规划法 体系能力 遗传算法
下载PDF
多居民点多商户系统顾客需求分布机理
10
作者 王艳 陈群 《物流科技》 2024年第18期4-10,共7页
根据市场供求关系假设商品价格与顾客需求数量相关,提出多居民点多商户系统中顾客需求分布的均衡机理:对各处居民点的顾客,只选择其所需成本(包括出行成本和商品货币成本)最低的商户,而没有被选择的商户具有更高的成本。构建了等价的数... 根据市场供求关系假设商品价格与顾客需求数量相关,提出多居民点多商户系统中顾客需求分布的均衡机理:对各处居民点的顾客,只选择其所需成本(包括出行成本和商品货币成本)最低的商户,而没有被选择的商户具有更高的成本。构建了等价的数学规划模型来求解多居民点多商户系统中顾客在各商户间的数量分布。证明了模型具有唯一解,并设计了模型的求解算法。并通过算例求解表明,所提出的模型能够真实表达所提出的均衡原则。文章探讨多居民点多商户系统中顾客的选择机理,从而构建顾客需求分布计算模型,可为商户选址优化、商品定价策略优化、顾客需求分析以及各地间交通需求分析等提供基础。 展开更多
关键词 多居民点多商户系统 分布 均衡 数学规划 算法
下载PDF
基于改进遗传算法的电商零售商家库存优化研究
11
作者 侯振春 叶紫薇 +1 位作者 潘佑炫 苌道方 《上海管理科学》 2024年第3期49-58,共10页
库存优化指为应对需求不确定性,考虑订货点和交货期因素,降低库存系统成本。本文首先构建数学规划模型,将安全库存水平策略(s、S)和每日补货量作为核心决策变量,目标是最小化库存总成本(持有和缺货成本)、库存周转天数订购成本,然后引入... 库存优化指为应对需求不确定性,考虑订货点和交货期因素,降低库存系统成本。本文首先构建数学规划模型,将安全库存水平策略(s、S)和每日补货量作为核心决策变量,目标是最小化库存总成本(持有和缺货成本)、库存周转天数订购成本,然后引入0-1辅助变量线性化处理非线性约束,并使用Gurobi和COPT两种求解器对模型进行数值分析和比较,同时进一步提出改进遗传算法在库存优化中的应用,开创性地设计新颖的编码方式,有效增强求解的效率和准确性。算例表明,此库存优化降低了需求不确定性,能灵活应对零售需求中多种需求模式,并针对(s,S)政策与优化的库存持有量和订单数量相结合,实现了最低的库存成本和周转天数,最终实现高效的库存管理和采购决策。 展开更多
关键词 库存优化 数学规划 Gurobi COPT 改进遗传算法
下载PDF
A Trust Region Algorithm for Solving Bilevel Programming Problems
12
作者 Guo-shan LIU Shi-qin XU Ji-ye HAN 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 2013年第3期491-498,共8页
In this paper, we present a new trust region algorithm for a nonlinear bilevel programming problem by solving a series of its linear or quadratic approximation subproblems. For the nonlinear bilevel programming proble... In this paper, we present a new trust region algorithm for a nonlinear bilevel programming problem by solving a series of its linear or quadratic approximation subproblems. For the nonlinear bilevel programming problem in which the lower level programming problem is a strongly convex programming problem with linear constraints, we show that each accumulation point of the iterative sequence produced by this algorithm is a stationary point of the bilevel programming problem. 展开更多
关键词 Bilevel programming problem trust region algorithm global convergence mathematical program with equilibrium constraints stationary point
原文传递
浅谈数学算法在计算机编程优化中的作用
13
作者 杨谦 《数字通信世界》 2024年第1期93-95,共3页
近年来,随着计算机软件研发的不断深入,编程技术也得到了完善与优化。计算机编程的本质是利用特定编程语言来描述和解决具体问题,而计算机程序在很多方面依赖于数学理论和数学方法,数学不仅为计算机编程提供了理论基础,也为计算机编程... 近年来,随着计算机软件研发的不断深入,编程技术也得到了完善与优化。计算机编程的本质是利用特定编程语言来描述和解决具体问题,而计算机程序在很多方面依赖于数学理论和数学方法,数学不仅为计算机编程提供了理论基础,也为计算机编程提供了实践工具。因而数学算法这种按照数学原理和运算规则的方法一直使用计算机编程领域,对计算机编程带来了深刻的影响,并展现出强大的应用效能,其已经成为计算机编程中重要的优化途径。本文重点阐述数学算法的特点以及与计算机编程的内在关联,梳理数学算法应用于计算机编程之中的积极价值,并罗列当下数学算法在计算机编程中的具体优化应用,希望为相关工作人员提供参考借鉴。 展开更多
关键词 数学算法 计算机编程 优化策略
下载PDF
动车组运用计划和检修计划一体化编制模型及算法 被引量:34
14
作者 王忠凯 史天运 +1 位作者 张惟皎 王辉 《中国铁道科学》 EI CAS CSCD 北大核心 2012年第3期102-108,共7页
针对动车运用所的动车组运用计划和检修计划编制问题,在动车组运用交路已知的前提下,以动车组的运用交路和检修规程为主要约束,以减少动车组使用数量、降低检修成本为优化目标,建立动车组运用计划和检修计划一体化编制的整数规划模型。... 针对动车运用所的动车组运用计划和检修计划编制问题,在动车组运用交路已知的前提下,以动车组的运用交路和检修规程为主要约束,以减少动车组使用数量、降低检修成本为优化目标,建立动车组运用计划和检修计划一体化编制的整数规划模型。根据动车组的可能运用情况和检修规程约束,求解动车组的可行运用路径集合;以该集合为基础,设计求解模型的模拟退火算法。通过算例分析,验证所提出的模型和算法可以有效解决动车组运用计划和检修计划的编制问题。 展开更多
关键词 动车组 运用计划 检修计划 模拟退火算法
下载PDF
面向对象系统中基于度量的可复用构件获取机制 被引量:15
15
作者 周欣 陈向葵 +1 位作者 孙家骕 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2003年第5期649-653,共5页
从遗产系统代码中获取复用价值高、质量好的构件是成功复用的关键并且亟待解决 .本文以系统理解和软件度量为基础 ,提出了一种从面向对象遗产系统中挖掘可复用构件的有效方法 .设计了基于类之间关系分析的构件标识算法———RBCI;构造... 从遗产系统代码中获取复用价值高、质量好的构件是成功复用的关键并且亟待解决 .本文以系统理解和软件度量为基础 ,提出了一种从面向对象遗产系统中挖掘可复用构件的有效方法 .设计了基于类之间关系分析的构件标识算法———RBCI;构造了构件可复用性模型RMCQ ,它可用于辅助用户筛选识别出来的候选构件 ,该层次型模型的底层度量可以通过计算机自动获取 ;最后 ,基于RBCI和RMCQ设计并实现了工具JBCET ,以辅助开发者从C 展开更多
关键词 软件复用 面向对象 构件获取 度量 可复用性 质量
下载PDF
锅炉蒸汽系统多操作周期的优化调度 被引量:30
16
作者 鄢烈祥 胡晟华 麻德贤 《化工学报》 EI CAS CSCD 北大核心 2003年第12期1708-1712,共5页
针对锅炉蒸汽系统必须满足外界蒸汽的需求发生周期性变化的情况 ,提出了每个周期的操作费用和周期之间锅炉启动和停运的转运费用的优化调度问题 .针对此混合整数非线性规划问题 ,提出了用列队竞争算法和动态规划法分步求解的计算方法 ,... 针对锅炉蒸汽系统必须满足外界蒸汽的需求发生周期性变化的情况 ,提出了每个周期的操作费用和周期之间锅炉启动和停运的转运费用的优化调度问题 .针对此混合整数非线性规划问题 ,提出了用列队竞争算法和动态规划法分步求解的计算方法 ,所需的计算时间仅与周期数成正比 ,而且能得到全局最优解 . 展开更多
关键词 锅炉 优化调度 列队竞争算法 混合整数非线性规划
下载PDF
电力市场下AGC机组调配的遗传算法 被引量:22
17
作者 李卫东 吴海波 +2 位作者 武亚光 张锐 金钟鹤 《电力系统自动化》 EI CSCD 北大核心 2003年第15期20-24,共5页
对电力市场下自动发电控制 (AGC)机组的调配问题进行研究发现 ,现有利用整数规划的方法是基于机组AGC调节容量不变这一条件 ,因此所得到的结果可能不是最优解。提出了计及机组AGC调节容量变化的数学模型 ,对利用遗传算法求解这一非线性... 对电力市场下自动发电控制 (AGC)机组的调配问题进行研究发现 ,现有利用整数规划的方法是基于机组AGC调节容量不变这一条件 ,因此所得到的结果可能不是最优解。提出了计及机组AGC调节容量变化的数学模型 ,对利用遗传算法求解这一非线性混合整数规划问题进行了探索。实际系统的算例表明 ,利用遗传算法可以克服现有利用整数规划方法所存在的问题。 展开更多
关键词 电力市场 自动发电控制 遗传算法
下载PDF
基于市场报价的阻塞管理模型及内点法实现 被引量:17
18
作者 方印 丁晓莺 王锡凡 《电力系统自动化》 EI CSCD 北大核心 2001年第13期6-10,共5页
提出了一种电力市场下解决阻塞问题的新方法 ,它可以根据市场报价同时调整实时平衡市场下的发电机出力和削减部分短期双边合同量。建立了阻塞管理的非线性数学模型 ,应用改造的非线性原对偶内点法最优潮流求解以上模型 ,计算出的节点实... 提出了一种电力市场下解决阻塞问题的新方法 ,它可以根据市场报价同时调整实时平衡市场下的发电机出力和削减部分短期双边合同量。建立了阻塞管理的非线性数学模型 ,应用改造的非线性原对偶内点法最优潮流求解以上模型 ,计算出的节点实时电价体现了如何在各用户中分摊阻塞管理费用。算例表明 ,该方法可以根据市场参与者的报价得到最优的调度方案 ,利用节点电价指导用户调整用电计划 ,从而有效地解决了阻塞问题。 展开更多
关键词 电力市场 阻塞管理模型 最优潮流 原代偶内点法 电价 发电厂 市场报价
下载PDF
发电竞价算法(五)——线性规划法 被引量:16
19
作者 王功涛 于尔铿 +1 位作者 周京阳 吴玉生 《电力系统自动化》 EI CSCD 北大核心 2001年第8期20-23,33,共5页
介绍了发电竞价问题的线性规划模型 ,并用 2机组为例说明了计算过程。着重对网络安全约束、下降报价特性及网损的处理进行了研究。线性规划适用于发电竞价问题 ,可以比较方便地处理各种约束问题 ,是目前较为实用的算法。
关键词 电力市场 发电竞价算法 线性规划法 目标函数 电网
下载PDF
受限控制直接分配新算法 被引量:19
20
作者 李卫琪 魏晨 陈宗基 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第11期1177-1180,共4页
对于三维目标的受限控制量分配问题,给出了直接控制分配方案的一种新的算法———相邻面搜索算法.直接控制分配方法的关键是找到期望目标向量与目标可达集合外表面的交点.该算法不需要确定目标可达集的所有表面,而是由目标可达集表面一... 对于三维目标的受限控制量分配问题,给出了直接控制分配方案的一种新的算法———相邻面搜索算法.直接控制分配方法的关键是找到期望目标向量与目标可达集合外表面的交点.该算法不需要确定目标可达集的所有表面,而是由目标可达集表面一个面出发,逐步确定相邻的面,直到找到与期望向量相交的面.算法放宽了原算法中控制效率矩阵任意三列线性无关的条件,并且能够在各种情况下得到最优分配结果.经验证,算法满足精确性与实时性要求.该算法的有效性在某多操纵面飞机的飞行控制系统仿真中得到了验证. 展开更多
关键词 算法 计算复杂性 数学规划 控制分配 飞行控制
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部