期刊文献+
共找到43篇文章
< 1 2 3 >
每页显示 20 50 100
跨组织工作流模型的形式化描述及分析 被引量:7
1
作者 崔立真 王海洋 于庚 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第4期782-785,共4页
Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程,提出基于着色Petri网的跨组织工作流模型的形式化描述,并对着色跨组织工作流及其合理性(Soundness)做了形式... Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程,提出基于着色Petri网的跨组织工作流模型的形式化描述,并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析,最后举例说明。另外,一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。 展开更多
关键词 着色PETRI网 工作流 着色跨组织工作流 合理性
下载PDF
基于面向对象模型库的商业决策支持系统 被引量:5
2
作者 崔立真 郑永清 王海洋 《计算机工程与应用》 CSCD 北大核心 2002年第9期164-167,共4页
目前,管理信息系统(MIS)已经在我国商业企业中得到了广泛的应用。但目前商业中的管理信息系统仍然还停留在基本事务处理的阶段,为决策者提供决策支持的功能比较弱。解决这一问题的途径是设计一套基于MIS的商业决策支持系统。决策支持系... 目前,管理信息系统(MIS)已经在我国商业企业中得到了广泛的应用。但目前商业中的管理信息系统仍然还停留在基本事务处理的阶段,为决策者提供决策支持的功能比较弱。解决这一问题的途径是设计一套基于MIS的商业决策支持系统。决策支持系统是利用各种数据、信息、知识,特别是模型技术,辅助各级决策者解决结构化、半结构化决策问题的人机交互系统。该系统采用了模型/方法库、数据库、会话控制系统三模块的总体架构。模型/方法库的设计和管理是该系统的核心和难点所在。该文提出了利用面向对象技术实现模型/方法库的构造,参考数据库管理模式来管理模型库。预测是决策的基础。由于不同的模型针对不同的商业经营数据─主要表现为离散随机型的时间序列值─的预测效果不同,文章提出了一种思路,通过比较各预测模型的预测误差,选择出最优的预测模型,解决了多模型预测的自适应问题。该文所提出的模型的定义方法、模型/方法库的构造思路,基本上是一种通用的模型设计思路,对于其它决策支持系统的设计也有一定的参考作用。 展开更多
关键词 商业决策支持系统 业务模型 方法库 面向对象 模型库 计算机
下载PDF
面向智能电网的电力大数据存储与分析应用 被引量:23
3
作者 崔立真 史玉良 +2 位作者 刘磊 赵卓峰 毕艳冰 《大数据》 2017年第6期42-54,共13页
阐述了智能电网面临的挑战以及大数据关键技术对电力行业的可持续发展和坚强智能电网建立的重要意义。分别从智能电网主数据管理、用电信息统一存储管理、电能质量分析、配网运营能力分析等几个典型大数据系统分析了大数据关键技术在智... 阐述了智能电网面临的挑战以及大数据关键技术对电力行业的可持续发展和坚强智能电网建立的重要意义。分别从智能电网主数据管理、用电信息统一存储管理、电能质量分析、配网运营能力分析等几个典型大数据系统分析了大数据关键技术在智能电网中的应用。 展开更多
关键词 智能电网 大数据 存储 智能分析
下载PDF
一种工作流动态修改方法 被引量:3
4
作者 崔立真 张世栋 +1 位作者 郑永清 王海洋 《系统仿真学报》 CAS CSCD 2003年第2期264-266,共3页
工作流动态修改是个研究热点。文章提出了一种工作流动态修改方法,它是基于修改活动构件库,并根据所建立的模型、修改要求和修改活动的组装策略,来实现工作流的动态修改。最后文章还论述了这种动态修改方法的优越性、可行性和正确性。
关键词 工作流 工作流管理系统 构件 动态修改 活动构件库 软件系统 计算机
下载PDF
云制造PaaS平台中协同过程构建与定制方法 被引量:5
5
作者 崔立真 刘士军 《计算机集成制造系统》 EI CSCD 北大核心 2012年第10期2331-2339,共9页
云制造服务体系为实现产业专业化分工和社会化协作,存在大量合作伙伴之间的协同过程。协同过程普遍呈现出参与者多、协同链长、灵活多变等特征,对过程建模、定制、构建与执行等协同技术提出了诸多挑战。为此提出云制造PaaS平台架构和基... 云制造服务体系为实现产业专业化分工和社会化协作,存在大量合作伙伴之间的协同过程。协同过程普遍呈现出参与者多、协同链长、灵活多变等特征,对过程建模、定制、构建与执行等协同技术提出了诸多挑战。为此提出云制造PaaS平台架构和基于云制造PaaS平台的协同过程构建与定制方法,并给出定制的验证算法。基于该平台,平台运营商首先定义元协同主体及特征,制造服务独立软件开发商在将制造服务交付到平台上的同时定义协同主体及特征,制造企业可以租赁平台上的制造服务,并定制特定协同主体和特征。通过实例分析证明,基于该平台和方法,可以支持云制造服务的开发者和企业方便地构建各种协同应用,应对云制造服务体系中的大规模业务协同需求。 展开更多
关键词 云制造 平台即服务 协同过程 定制 验证
下载PDF
一种基于工作流类型版本和实例迁移的动态修改方法 被引量:2
6
作者 崔立真 王海洋 《计算机科学》 CSCD 北大核心 2004年第9期137-139,共3页
工作流管理系统中一项重要而未解决的问题是工作流模式的动态修改,比如,在保证模式正确的前提下,创建、删除和修改工作流类型。在修改工作流类型时,如果工作流实例是活动的,则这个问题就变得尤其严重,因为任何工作流实例必须符合其工作... 工作流管理系统中一项重要而未解决的问题是工作流模式的动态修改,比如,在保证模式正确的前提下,创建、删除和修改工作流类型。在修改工作流类型时,如果工作流实例是活动的,则这个问题就变得尤其严重,因为任何工作流实例必须符合其工作流类型的定义。本文中提出了一种基于工作流类型版本和工作流实例迁移的动态工作流模式修改方法。 展开更多
关键词 动态工作流 动态修改 工作流模式 删除 工作流管理系统 修改方法 实例 类型 版本 迁移
下载PDF
一种工作流模型正确性验证方法 被引量:2
7
作者 崔立真 王海洋 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第8期1950-1952,1968,共4页
工作流形式化建模一直是工作流管理研究的重点和热点。目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由。但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。引入一种新型的图形结构——元... 工作流形式化建模一直是工作流管理研究的重点和热点。目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由。但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。引入一种新型的图形结构——元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系。 展开更多
关键词 工作流 工作流建模 元图 正确性
下载PDF
支持动态可配置的全息工作流建模与分析 被引量:1
8
作者 崔立真 王海洋 《计算机工程》 CAS CSCD 北大核心 2007年第15期15-17,共3页
工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图,提出了基于基本活动配置单元的全息工作流模型,支持工作流模型中所有相关元素的动态配置,并定义了这种工作流模型的正确性,进... 工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统。该文引入了一种新型的图形结构——元图,提出了基于基本活动配置单元的全息工作流模型,支持工作流模型中所有相关元素的动态配置,并定义了这种工作流模型的正确性,进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系。 展开更多
关键词 工作流 工作流建模 元图 可配置 正确性
下载PDF
基于平台即服务模式的协同应用动态构建与执行方法 被引量:1
9
作者 崔立真 谷连超 《计算机集成制造系统》 EI CSCD 北大核心 2012年第8期1667-1674,共8页
为构建支持协同应用构建、交付和运行的平台即服务平台,提出一个支持协同应用动态构建与执行的平台即服务平台CoPaaS,使得独立软件开发商将开发的应用交付至平台后,即可成为软件即服务模式的云服务;租户可以租赁并定制平台的一组应用,... 为构建支持协同应用构建、交付和运行的平台即服务平台,提出一个支持协同应用动态构建与执行的平台即服务平台CoPaaS,使得独立软件开发商将开发的应用交付至平台后,即可成为软件即服务模式的云服务;租户可以租赁并定制平台的一组应用,借助平台的服务能力支持个性化需求的协同应用动态构建与运行。详细介绍了CoPaaS平台的体系结构以及协同应用建模、定制、动态构建和执行调度方法。通过电子商务实例分析验证了该平台的服务能力。 展开更多
关键词 云计算 平台即服务 协同应用 动态构建 调度
下载PDF
基于两阶段规划模型的跨域服务流程动态构造方法
10
作者 崔立真 田君杰 王海洋 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1753-1761,共9页
为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求,提出一种基于两阶段规划模型的跨域服务流程动态构造方法.第一阶段,利用跨域服务协同语义模型,基于层次任务网络规划方法,构建满足用户业务需求的跨域抽象业务流程... 为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求,提出一种基于两阶段规划模型的跨域服务流程动态构造方法.第一阶段,利用跨域服务协同语义模型,基于层次任务网络规划方法,构建满足用户业务需求的跨域抽象业务流程;第二阶段,在各域内部对抽象业务流程确定的候选服务集应用图规划数据流验证模型,构建最终的跨域可执行服务流程.方法在保证了业务需求与跨域服务流程逻辑结构的语义一致性的同时,满足了跨域服务流程中数据流的一致性,为网络计算环境下管理域间的业务协同和互操作提供了更为实际可用的可执行服务流程.原型系统实验及实例验证说明该方法的正确性和有效性. 展开更多
关键词 跨域服务流程 动态构造 两阶段规划 层次任务网络 图规划
下载PDF
支持多应用集成的版本协调模型
11
作者 崔立真 王海洋 《计算机集成制造系统》 EI CSCD 北大核心 2005年第8期1096-1098,1103,共4页
为了解决企业应用集成过程中多应用系统的版本协调问题,提出了一个支持多应用集成的版本协调模型。该模型采用有向图对企业应用系统间的协调关系进行形式化描述。基于该模型,给出了有效的多应用系统版本协调性检测机制和具体算法,并通... 为了解决企业应用集成过程中多应用系统的版本协调问题,提出了一个支持多应用集成的版本协调模型。该模型采用有向图对企业应用系统间的协调关系进行形式化描述。基于该模型,给出了有效的多应用系统版本协调性检测机制和具体算法,并通过实例对其进行了分析和验证。 展开更多
关键词 多应用集成 版本协调模型 协调性检测
下载PDF
云计算环境下面向数据密集型应用的数据布局策略与方法 被引量:122
12
作者 郑湃 崔立真 +1 位作者 王海洋 徐猛 《计算机学报》 EI CSCD 北大核心 2010年第8期1472-1480,共9页
云计算环境下面向流程的数据密集型应用已被广泛应用于多个领域.面对多数据中心的云计算环境,这类应用在数据布局方面遇到了新的挑战,主要表现在如何减少跨数据中心的数据传输、如何保持数据间的依赖性以及如何在提高效率的同时兼顾全... 云计算环境下面向流程的数据密集型应用已被广泛应用于多个领域.面对多数据中心的云计算环境,这类应用在数据布局方面遇到了新的挑战,主要表现在如何减少跨数据中心的数据传输、如何保持数据间的依赖性以及如何在提高效率的同时兼顾全局的负载均衡等.针对这些挑战,文中提出一种三阶段数据布局策略,分别针对跨数据中心数据传输、数据依赖关系和全局负载均衡三个目标对数据布局方案进行求解和优化.实验显示,文中提出的数据布局策略具有良好的综合性能,特别是在降低流程执行过程中由跨数据中心数据传输所导致的时间开销方面,效果尤为明显. 展开更多
关键词 云计算 流程 数据密集 数据布局 数据依赖
下载PDF
面向服务的智能电网调度控制系统架构方案 被引量:34
13
作者 毕艳冰 蒋林 +2 位作者 王新军 崔立真 张大海 《电力系统自动化》 EI CSCD 北大核心 2015年第2期92-99,共8页
智能调度作为现代电力系统及未来智能电网的重要组成部分已成为当今研究热点。针对传统电力调度自动化系统架构存在的信息孤岛和软件设计的高耦合度问题,提出一种基于面向服务架构(SOA)的智能电网调度控制系统架构的解决方案。针对采用... 智能调度作为现代电力系统及未来智能电网的重要组成部分已成为当今研究热点。针对传统电力调度自动化系统架构存在的信息孤岛和软件设计的高耦合度问题,提出一种基于面向服务架构(SOA)的智能电网调度控制系统架构的解决方案。针对采用面向服务的软件设计理念构造和集成的电力调度控制系统所面临的服务粒度规划、服务实体实现的问题,尝试采用改进型代理模型解决。针对传统多代理系统采用面向对象设计方法存在的高耦合问题,提出采用新的面向服务的设计方法,以更好地体现多代理系统的独立自治、灵活和协作的设计初衷。对传统自适应代理模型进行了优化,设计了面向服务的服务监听型自适应代理模型。最后通过设计实现基于多代理的面向服务的智能电网调度控制仿真系统,验证了该设计思路和实现方法的可行性。 展开更多
关键词 智能电网 调度控制系统 面向服务架构(SOA) 多代理系统
下载PDF
基于实时数据分发服务的智能变电站IEC 61850的实现方法 被引量:20
14
作者 毕艳冰 蒋林 +2 位作者 张大海 王新军 崔立真 《中国电机工程学报》 EI CSCD 北大核心 2013年第7期149-155,7,共7页
智能变电站是智能电网的重要环节,需要实时可靠的通信支持。IEC 61850作为智能变电站的通信标准,没有定义具体的通讯协议的实现方法,造成具体实现中面临映射多样化、非标准化以及实现复杂的问题。针对IEC 61850标准中的模型与常规的基... 智能变电站是智能电网的重要环节,需要实时可靠的通信支持。IEC 61850作为智能变电站的通信标准,没有定义具体的通讯协议的实现方法,造成具体实现中面临映射多样化、非标准化以及实现复杂的问题。针对IEC 61850标准中的模型与常规的基于制造报文规范(manufacturing messagespecification,MMS)映射的不足,以及基于客户机/服务器结构的中间件的紧耦合问题,提出一种新型完全基于发布/订阅(publish/subscribe)方式的数据分发服务规范(data distributionsservice,DDS)映射抽象通信服务接口(abstract communicationservice interface,ACSI)的新方法。DDS提供丰富的服务质量策略,适合对实时数据要求高的应用环境。采用符合DDS规范的中间件作为映射实现的工具,设计了具体的映射实例模型,并针对电力工程应用特点,得出IEC 61850实现工程应用的标准步骤。相对于其他的软件中间件(如CORBA-TAO)映射的方法,基于DDS的中间件提供了一个简便、快速、规范的实现。最后设计实现智能变电站实时通信仿真系统,并测试验证了所提方法的实时可靠性。 展开更多
关键词 智能变电站 数据分发服务 中间件 IEC 61850
下载PDF
基于帕累托最优的隐私保护服务定价模型 被引量:6
15
作者 史玉良 邵雅丽 +3 位作者 周中民 张宏磊 陈玉 崔立真 《计算机学报》 EI CSCD 北大核心 2016年第6期1267-1280,共14页
在云计算环境下,租户向云服务提供商租赁云产品和服务,那么云服务商如何规定一个合理的服务定价使得多租户与提供商都满意成为一个亟待解决的问题.针对该问题,该文提出一种基于帕累托最优思想的服务定价模型,综合考虑多租户与提供商的利... 在云计算环境下,租户向云服务提供商租赁云产品和服务,那么云服务商如何规定一个合理的服务定价使得多租户与提供商都满意成为一个亟待解决的问题.针对该问题,该文提出一种基于帕累托最优思想的服务定价模型,综合考虑多租户与提供商的利益,使用多目标粒子群优化算法得到全局最优的资源分配与服务定价结果.由于迭代算法的效率与服务定价实时性的需求存在冲突,所以该文提出两阶段定价策略:独立定价与集中定价.独立定价阶段,参考历史同需求或相似需求的定价,结合当前资源使用占比给出实时报价;集中定价以一定时间为周期,根据已知的该周期内多租户提出的不同需求,提前使用粒子群算法求出最优服务定价与资源分配策略.实验表明,通过该文提出的定价模型,可以得到一个使多租户和云服务提供商都满意的定价,并且在定价过程中,采用隐私保护技术,有效地保护了租户的数据安全. 展开更多
关键词 隐私保护 帕累托 粒子群优化算法 独立定价 集中定价 云计算 网络空间安全
下载PDF
基于Pi演算的跨组织工作流建模研究 被引量:16
16
作者 张静 王海洋 崔立真 《计算机研究与发展》 EI CSCD 北大核心 2007年第7期1243-1251,共9页
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业... 传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证. 展开更多
关键词 跨组织工作流 PI演算 业务流程建模 抽象 组合
下载PDF
一种基于分块混淆的动态数据隐私保护机制 被引量:5
17
作者 张宏磊 史玉良 +2 位作者 张世栋 周中民 崔立真 《计算机研究与发展》 EI CSCD 北大核心 2016年第11期2454-2464,共11页
云计算环境下,基于分块混淆的隐私保护机制通过对租户个性化隐私保护需求及应用性能的有效结合,实现了隐私信息在明文状态下的保护.然而随着云端多租户应用的持续运行,一方面,租户数据的插入、删除和修改等业务操作将会影响底层数据存... 云计算环境下,基于分块混淆的隐私保护机制通过对租户个性化隐私保护需求及应用性能的有效结合,实现了隐私信息在明文状态下的保护.然而随着云端多租户应用的持续运行,一方面,租户数据的插入、删除和修改等业务操作将会影响底层数据存储的分布状态,使分块间的关联关系因数据分布的不均匀而面临极大的泄露风险;另一方面,攻击者仍然可以通过局部时间内各分块的操作日志以及对应的数据快照分析出部分隐私信息.针对上述挑战,在三方安全交互模型的基础上,提出一种面向分块混淆的动态数据隐私保护机制.该机制通过可信第三方对新插入和修改的数据进行缓存并在满足条件时将数据进行分组和存储;通过保留关键分片来保证删除操作中被删数据和剩余数据的隐私安全;通过伪造数据回收机制实现存储资源消耗的降低和应用性能的优化.通过实验证明,提出的动态数据隐私保护机制具有较好的可行性和实用性. 展开更多
关键词 多租户 分块混淆 动态数据 隐私保护 可信第三方
下载PDF
基于补偿业务生成图的组合服务异常处理方法研究 被引量:7
18
作者 尚宗敏 崔立真 +1 位作者 王海洋 史玉良 《计算机学报》 EI CSCD 北大核心 2008年第8期1478-1490,共13页
为提高组合Web服务执行的一致性、可靠性,提出一种基于补偿业务生成图的组合服务异常处理方法.基于业务流程中任务间补偿依赖关系,讨论了补偿业务生成图的自动生成问题.重点讨论了补偿任务、补偿目标和服务转让应用模式,并相应地介绍了... 为提高组合Web服务执行的一致性、可靠性,提出一种基于补偿业务生成图的组合服务异常处理方法.基于业务流程中任务间补偿依赖关系,讨论了补偿业务生成图的自动生成问题.重点讨论了补偿任务、补偿目标和服务转让应用模式,并相应地介绍了支持框架和相关技术.在此基础上设计了补偿依赖关系、补偿业务生成图的自动生成及组合服务执行过程中异常处理算法.当业务流程出现异常采取向前或向后恢复处理时,该方法在保证补偿实现的同时,兼顾补偿服务不存在或补偿服务代价过高的问题,提高了业务流程执行过程中的自动化水平和自适应能力.仿真结果证实,该方法保证了异常发生时组合服务执行的可靠性和一致性. 展开更多
关键词 WEB服务 业务流程 异常处理 补偿业务生成图
下载PDF
面向隐私保护的数据块调整机制 被引量:6
19
作者 史玉良 陈玉 +1 位作者 孙世彬 崔立真 《计算机学报》 EI CSCD 北大核心 2017年第12期2719-2733,共15页
在云计算环境下,通过分块混淆的隐私保护机制,将租户的数据分成多个数据块,并且存储到不同的数据节点上,以此实现数据的隐私保护.虽然该方法可以实现在明文状态下保护租户数据的隐私安全,但在实际环境中,由于租户的隐私需求、数据需求... 在云计算环境下,通过分块混淆的隐私保护机制,将租户的数据分成多个数据块,并且存储到不同的数据节点上,以此实现数据的隐私保护.虽然该方法可以实现在明文状态下保护租户数据的隐私安全,但在实际环境中,由于租户的隐私需求、数据需求是可变的,导致云端底层的数据块结构和存储位置发生变化,因此在这种隐私保护机制下依然存在隐私泄露的风险.所以该文基于分块混淆隐私保护方法,提出一种面向隐私保护的数据块调整机制.该机制首先根据租户更新后的隐私约束,基于少动性原则,对原始的隐私保护策略中违背隐私约束的数据块进行分割;然后再结合隐私约束,重组数据块,并生成隐私保护调整策略;由于数据块分割结果的多样性,导致最终生成的可行隐私保护策略并不唯一,所以该文最后综合隐私需求、性能需求、负载需求和不对等均衡,提出了一种基于全局最优的隐私保护策略选择算法,实现从多种可行策略中筛选出满足所有要求的最优调整策略.实验结果表明,该文提出的数据块调整机制,可以找到一种最优的隐私保护调整策略,并且满足系统的性能和负载要求,增强租户数据的隐私保护效果. 展开更多
关键词 云计算 数据块 隐私保护 数据调整 负载能力 最优调整策略
下载PDF
基于扩展图规划的Top-K服务组合方法研究 被引量:6
20
作者 徐猛 崔立真 李庆忠 《电子学报》 EI CAS CSCD 北大核心 2012年第7期1404-1409,共6页
自动服务组合是目前云计算中的关键技术与研究热点.为大规模用户提供多个满足个性化需求的组合服务是当前云环境下自动服务组合中急需解决的问题.提出了基于扩展图规划的Top-K服务组合方法,借助服务索引和增加图规划中的辅助节点,使得... 自动服务组合是目前云计算中的关键技术与研究热点.为大规模用户提供多个满足个性化需求的组合服务是当前云环境下自动服务组合中急需解决的问题.提出了基于扩展图规划的Top-K服务组合方法,借助服务索引和增加图规划中的辅助节点,使得经过一次规划搜索即可找到Top-K个满足用户QoS要求的组合服务.实验表明,该方法能够有效提高服务组合的效率,并保证服务组合结果的正确性,更加适用于云计算环境下海量网络服务及大规模用户个性化需求的自动服务组合问题. 展开更多
关键词 服务组合 TOP-K 扩展图规划 辅助节点
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部