版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
20/25非数值计算加速技术第一部分并行计算与向量化 2第二部分离散事件模拟与并行дискретно-событийноемоделирование 4第三部分分支界限法与搜索启发式 6第四部分模拟退火与遗传算法 9第五部分模拟与离散优化 12第六部分布尔可满足性问题求解 14第七部分约束求解框架与求解器 17第八部分混合整数规划与线性规划 20
第一部分并行计算与向量化关键词关键要点并行计算
1.多核处理器和多处理器并行性:利用拥有多个处理核心的计算机或连接多个处理器的计算机实现并行计算,提升执行效率。
2.数据并行性:将数据集并行划分成较小的块,由不同的处理器同时处理,从而加速计算。
3.任务并行性:将计算任务分解成独立的部分,由不同的处理器并行执行,提升代码的可扩展性。
向量化
1.SIMD(单指令流多数据流)指令:支持向量操作的指令集,允许处理器一次对多个数据元素进行相同操作,大大提升计算速度。
2.自动向量化:编译器自动识别并利用代码中的向量化机会,生成高效的向量化代码。
3.手动向量化:通过重写代码以利用SIMD指令,程序员可以进一步优化向量化,获得更高的性能提升。并行计算
并行计算是一种利用多个处理单元同时执行同一任务的计算技术。它可以显著提升计算速度,尤其是在处理大型数据集或复杂算法时。并行计算的常见类型包括:
*多核并行:利用单台计算机中的多个内核同时执行任务。
*多处理器并行:利用多台计算机协同处理同一任务。
*分布式并行:将任务分配给分布在不同网络节点上的处理器,并协调它们的执行。
在软件层面,并行计算可以通过以下方式实现:
*线程:将任务分解成多个线程,并由不同的处理器同时执行。
*进程:将任务分解成多个进程,并在不同的计算机上运行。
并行计算的挑战在于协调不同处理器之间的通信和同步,以确保正确执行任务。
向量化
向量化是一种编译器优化技术,将标量操作转换为向量操作。向量操作一次性在多个数据元素上执行相同的操作,从而提高计算效率。例如,一个标量操作`a=b+c`可以转换为一个向量操作`a[0:n]=b[0:n]+c[0:n]`,其中`n`是向量的长度。
向量化技术依赖于硬件支持,即现代处理器拥有专门的向量处理单元(SIMD)。SIMD指令可以同时执行多个相同操作,从而加速向量计算。
向量化的优势包括:
*提高计算速度,尤其是在处理大型数据数组时。
*减少代码复杂性和内存使用。
*提高代码可读性和可维护性。
向量化的挑战在于识别和重构程序代码以利用向量操作。编译器通常会自动执行此过程,但程序员也可以通过优化代码结构和数据布局来提高向量化效率。
并行计算与向量化的结合
并行计算和向量化可以结合使用,以进一步提高计算性能。通过将任务分解成更小的并行块,并针对每个块进行向量化,可以显著提升计算速度。
然而,并行化和向量化也存在一些挑战,包括:
*竞争条件:多个处理器同时访问共享数据时可能导致不一致。
*负载均衡:确保所有处理器的工作负载均等,以避免性能瓶颈。
*数据依赖性:某些操作可能依赖于先前操作的结果,这可能会限制并行化和向量化。
解决这些挑战需要仔细的算法设计和编程实践,以最大限度地提高并行计算和向量化的收益。第二部分离散事件模拟与并行дискретно-событийноемоделирование离散事件模拟与并行дискретно-событийноемоделирование
引言
离散事件模拟(DES)是一种计算机模拟技术,用于模拟由离散事件驱动的系统。事件是指在特定时间点发生的瞬时变化。DES广泛用于建模和分析各种类型系统,包括通讯网络、制造系统、供应链和计算机系统。
并行DES
传统的DES是顺序执行的,这意味着事件一个接一个处理。随着系统复杂性的增加,顺序DES可能变得非常耗时。并行DES是一种DES技术,它利用多处理器或多核计算机来并行处理事件。
并行DES的类型
有两种主要类型的并行DES:
*空间并行DES:将模型划分为多个子模型,每个子模型在不同的处理器上运行。子模型通过消息传递机制进行通信。
*时间并行DES:将模拟时间划分为多个时间段,每个时间段在不同的处理器上运行。时间段通过事件列表或时间栅栏进行同步。
并行DES的优点
并行DES提供以下优点:
*减少模拟时间:通过并行处理事件,并行DES可以显着减少仿真时间。
*提高可扩展性:并行DES可以扩展到大型和复杂的模型,这些模型在顺序DES中无法模拟。
*更好的资源利用:并行DES可以利用多处理器或多核计算机的全部处理能力,提高资源利用率。
并行DES的挑战
并行DES也面临一些挑战:
*通信开销:子模型之间的通信会导致通信开销,这会影响并行DES的性能。
*同步问题:时间并行DES中,需要同步不同时间段的事件处理。这可能是一项复杂的且耗时的任务。
*调试困难:并行DES模型的调试比顺序DES模型更困难,因为需要考虑并行执行和潜在的竞态条件。
并行DES的应用
并行DES已成功应用于各种领域,包括:
*通讯网络:模拟大型和复杂的网络,以评估性能和可靠性。
*制造系统:优化生产流程,减少等待时间和提高吞吐量。
*供应链:模拟和分析供应链的分布式和复杂性。
*计算机系统:评估并行算法和系统设计。
结论
并行DES是一种强大的技术,它可以显著加速离散事件模拟。通过并行处理事件,并行DES可以减少模拟时间,提高可扩展性并更好地利用资源。然而,并行DES也面临一些挑战,如通信开销、同步问题和调试困难。尽管存在这些挑战,并行DES仍是处理大型和复杂系统的有效工具。第三部分分支界限法与搜索启发式关键词关键要点分支限界法
1.回溯搜索过程:采用深度优先搜索策略,从根节点开始,依次探索每个可行解的分支,直到找到一个可行解或证明不存在可行解。
2.限界剪枝规则:根据已知最佳解(或lowerbound)和当前节点的上下限,判断是否需要继续探索该分支。
3.分段搜索算法:将问题分解成多个较小的子问题,逐个解决并逐步逼近最优解。
搜索启发式
1.贪心算法:在每一个步骤中,选择当前最优的局部决策,而不考虑其对未来决策的影响。
2.局部搜索算法:从一个初始解出发,通过搜索相邻区域找到更好的解,直到陷入局部最优。
3.元启发式算法:利用随机或启发式方法来探索解空间,避免陷入局部最优,如模拟退火、粒子群优化、遗传算法等。分支界限法
定义
分支界限法是一种精确解法,用于解决组合优化问题。该方法的目标是系统地遍历解决方案空间中的所有候选解,通过分支(创建新子问题)和界限(限制搜索空间)来缩小求解范围。
步骤
1.初始化:从一个初始候选解开始,并计算其目标函数值。
2.分支:将候选解划分为多个子问题,每个子问题表示一种不同的选择或决策。
3.界限:计算每个子问题的界限,代表其目标函数值的可能下界或上界。
4.剪枝:丢弃界限不能满足最优性条件的子问题,即无法产生更好的解。
5.探索:递归地对剩余子问题进行分支和界限,直到所有候选解都已探索完毕。
6.返回:返回目标函数值最优的候选解。
优点
*保证找到全局最优解。
*可以处理复杂约束条件。
缺点
*计算成本高,尤其是对于大规模问题。
*可能陷入分支膨胀,即子问题数量过多而导致搜索效率下降。
搜索启发式
定义
搜索启发式(metaheuristics)是一种元算法,用于寻找优化问题的近似或亚最优解。与精确解法不同,搜索启发式不保证找到全局最优解,但它们通常比精确解法更有效率。
常见技术
*模拟退火(SA):模拟金属退火过程,在搜索过程中随机扰动解并逐渐降低温度以接受较差解。
*禁忌搜索(TS):维护一个禁忌表,记录最近探索的解,以避免陷入局部极小值。
*蚁群优化(ACO):模拟蚁群寻找食物的过程,通过留下的信息素引导搜索过程。
*遗传算法(GA):模拟生物进化过程,通过选择、交叉和突变操作生成新的解。
*粒子群优化(PSO):模拟鸟群或鱼群的行为,每个粒子在搜索空间中移动并遵循其他粒子的最佳位置。
优点
*计算成本较低,尤其对于大规模问题。
*能够处理复杂非线性问题。
缺点
*无法保证找到最优解。
*调参复杂,影响算法性能。
分支界限法和搜索启发式的比较
|特性|分支界限法|搜索启发式|
||||
|保证最优解|是|否|
|复杂性|高|低|
|适用问题规模|小到中等|中等到大|
|调参|较少|较多|
|局部搜索能力|弱|强|
|随机性|低|高|
|适用范围|精确问题|近似问题|
应用示例
分支界限法
*旅行商问题:找到一组城市之间总旅行距离最小的环路。
*knapsack问题:在容量限制的背包中选择物品,以最大化总价值。
搜索启发式
*车辆路径规划:优化车辆之间的路径,以最小化总行驶距离或时间。
*能源调度:优化发电厂的调度,以满足需求并最大化经济效益。
*图像处理:优化图像增强或分割的算法。第四部分模拟退火与遗传算法关键词关键要点【模拟退火】:
1.模拟退火算法是一种概率搜索算法,用于解决复杂优化问题。它基于物理学中退火过程,其中材料通过缓慢冷却过程使其能量状态最小化。
2.模拟退火算法以初始解决方案开始,并在搜索空间中随机移动。如果移动导致目标函数值减少,则接受该移动。如果移动导致目标函数值增加,则以概率接受该移动,该概率取决于温度参数。
3.温度参数随着时间的推移而逐渐降低,这降低了接受低质量解的概率,并允许算法收敛到最优解。
【遗传算法】:
模拟退火
简介
模拟退火是一种受控随机搜索算法,灵感来源于物理退火过程。它通过在搜索空间中漫步和评估候选解的质量来寻找最优解。
原理
模拟退火算法的核心在于一个温度参数,它会随着算法的进行而逐渐降低。在较高温度下,算法允许更广泛的探索,以避免陷入局部最优。随着温度降低,算法变得更加收敛,最终收敛到全局最优或近最优解。
步骤
*初始化:设置初始温度、初始解和停止条件。
*生成候选解:根据概率分布产生新的候选解。
*评估能量:计算候选解的能量(或目标函数)。
*接受或拒绝候选解:根据候选解的能量和温度,根据Metropolis-Hasting准则接受或拒绝候选解。
*更新温度:根据冷却计划降低温度。
*重复步骤:重复步骤2-5,直到满足停止条件。
遗传算法
简介
遗传算法是一种基于进化论原理的启发式搜索算法。它模拟自然选择和生物进化过程,以找到最优解。
原理
遗传算法使用一个种群来表示候选解。每个候选解被编码为染色体,其中包含一组二进制位或其他离散值。种群通过选择、交叉和变异等操作进行进化。
步骤
*初始化:生成一个初始种群。
*评估适应度:计算每个个体的适应度(或目标函数)。
*选择:根据适应度选择个体进行繁殖。
*交叉:将两个个体的染色体组合形成新的后代个体。
*变异:随机改变后代个体的一个或多个二进制位。
*重复步骤:重复步骤2-5,直到满足停止条件。
比较
模拟退火和遗传算法都是非数值计算加速技术,用于解决复杂优化问题。以下是它们的比较:
相似之处
*都是启发式算法,无需梯度信息。
*使用随机搜索来探索搜索空间。
*可以解决各种类型的优化问题。
差异
*搜索策略:模拟退火使用单点搜索,而遗传算法使用种群搜索。
*收敛性:模拟退火最终收敛到全局最优或近最优解,而遗传算法通常收敛到近最优解。
*速度:模拟退火通常比遗传算法更快。
*可扩展性:遗传算法更容易并行化。
应用
模拟退火广泛用于解决优化问题,如组合优化、旅行商问题和VLSI布局。
遗传算法主要用于解决复杂优化问题,如机器学习、人工智能和生物信息学。第五部分模拟与离散优化模拟与离散优化
模拟与离散优化是解决非数值计算问题的两大类技术。
模拟
模拟是一种通过构建系统模型来预测其行为的技术。模型可以是物理的、数学的或计算机化的。模拟用于研究各种问题的行为,包括:
*系统设计:模拟可以帮助设计工程师优化系统性能并预测系统故障。
*运营管理:模拟可以帮助经理优化生产计划、调度和资源分配。
*科学研究:模拟可以帮助科学家了解复杂系统的行为,例如气候模型和生态系统模型。
离散优化
离散优化是解决涉及离散决策变量的问题的技术。这些决策变量可能是整数、布尔值或枚举值。离散优化问题包括:
*组合问题:例如旅行商问题、背包问题和装箱问题。
*调度问题:例如作业调度、时间表制定和资源分配。
*网络优化:例如最大流问题、最小生成树问题和网络流问题。
模式识别
模式识别是指识别图像、语音、文本和数据中的模式的过程。模式识别技术用于各种应用中,包括:
*图像分析:例如面部识别、医疗图像分析和工业检测。
*语音识别:例如语音命令和自动语音转录。
*自然语言处理:例如文本分类、信息检索和机器翻译。
机器学习
机器学习是一种计算机系统从数据中自动学习的技术。机器学习算法可以通过识别模式和关系,从数据中提取知识。机器学习用于各种应用中,包括:
*预测性分析:例如预测客户流失、股票价格和天气模式。
*图像识别:例如对象检测和图像分类。
*自然语言处理:例如情感分析、文本生成和机器翻译。
数据挖掘
数据挖掘是指从大量数据中提取有价值的信息和洞察力的过程。数据挖掘技术用于识别模式、趋势和异常值。数据挖掘用于各种应用中,包括:
*客户洞察:例如客户细分、行为分析和欺诈检测。
*市场研究:例如市场趋势分析、竞争对手情报和产品开发。
*医疗保健:例如疾病诊断、治疗计划和药物发现。
自然语言处理
自然语言处理是指计算机系统理解、生成和处理人类语言的能力。自然语言处理技术用于各种应用中,包括:
*机器翻译:将一种语言翻译成另一种语言。
*信息检索:从文本和其他数据源中检索相关信息。
*情感分析:确定文本中的情感。
计算机视觉
计算机视觉是指计算机系统从图像和视频中提取有价值信息的能力。计算机视觉技术用于各种应用中,包括:
*物体检测:识别图像中的对象。
*图像分类:将图像分类到不同的类别中。
*面部识别:识别和验证人脸。第六部分布尔可满足性问题求解关键词关键要点【布尔可满足性问题求解】:
-布尔可满足性问题(SAT)是一种NP完全问题,涉及确定一组布尔变量的赋值,使一组布尔公式为真。
-SAT求解器使用回溯搜索算法,该算法通过系统地探索所有可能的赋值来寻找解决方案。
-随着变量和公式数量的增加,SAT问题的求解速度呈指数增长,这导致了对加速求解技术的重大需求。
【基于冲突的学习】:
布尔可满足性问题求解
简介
布尔可满足性问题(SAT)是计算机科学中一个基本的NP完全问题。它涉及确定给定的一组布尔变量是否具有满足所有给定约束条件的赋值。
应用
SAT在广泛的应用中有着至关重要的作用,包括:
*电路设计验证
*软件测试
*规划和调度
*形式验证
*密码分析
求解方法
SAT问题可以通过多种方法求解,包括:
1.枚举
枚举法是通过尝试所有可能的变量赋值来求解SAT问题的简单但效率低下的方法。
2.分支限界法
分支限界法是一种启发式搜索算法,它通过递归地创建和搜索一个搜索树来求解SAT问题。
3.Davis-Putnam-Logemann-Loveland(DPLL)算法
DPLL算法是求解SAT问题的最常用算法之一。它使用单位子句传播、纯文字消除和显式学习冲突子句等技术来减少搜索空间。
4.Conflict-DrivenClauseLearning(CDCL)算法
CDCL算法是DPLL算法的改进版本。它通过动态学习冲突子句来进一步减少搜索空间。
5.遗传算法
遗传算法是一种受进化论启发的启发式搜索算法,它可以用来求解SAT问题。
加速技术
为了加速SAT求解,已经开发了几种技术,包括:
1.并行处理
并行处理可以通过利用多核处理器或计算集群来并行化SAT求解过程。
2.近似算法
近似算法可以提供SAT问题的近似解,通常比精确算法快。
3.启发式
启发式是旨在快速找到良好解的近似方法,但没有保证找到最优解。
4.预处理技术
预处理技术可以简化SAT问题,从而提高求解效率。
5.特殊目的硬件
专门用于SAT求解的硬件已被开发,例如FPGA和专用集成电路。
挑战
SAT求解仍然面临着几个挑战,包括:
*NP完全性:SAT是一个NP完全问题,这意味着随着问题规模的增大,求解时间会呈指数级增长。
*不同类型的实例:SAT的不同实例可能有不同的难易程度,某些实例可能比其他实例更难求解。
*算法选择:选择最适合特定实例的算法非常重要,没有一种单一的算法对所有实例都表现最佳。第七部分约束求解框架与求解器关键词关键要点约束求解框架
1.提供构建和求解约束优化问题的统一框架。
2.灵活且可扩展,支持各种约束类型和优化算法。
3.简化问题建模,提高代码的可移植性和可维护性。
约束求解求解器
约束求解框架与求解器
约束求解框架
约束求解框架为建模和求解约束满足问题提供了通用平台。这些问题涉及满足一组约束条件的决策变量集。约束求解框架提供以下功能:
*建模语言:用于定义变量、约束和目标函数。
*求解器接口:与外部求解器通信,用于求解约束问题。
*建模工具:协助构建和维护约束模型。
*可扩展性:允许集成自定义约束、求解器和优化算法。
约束求解器
约束求解器负责求解约束问题。它们使用各种技术来探索候选解决方案,包括:
*分支定界:系统性地分割搜索空间,排除不可行的解决方案。
*约束传播:推断变量值,基于约束推理排除违反约束的可能性。
*全局约束:利用问题结构优化求解过程。
*启发式搜索:使用启发式方法引导搜索,旨在快速找到良好解决方案。
常见约束求解框架
*MiniZinc:流行的建模语言,与多种求解器兼容。
*Choco:开源Java框架,提供建模语言、求解器和可扩展接口。
*Gecode:高效的C++框架,适用于大规模约束问题。
常见约束求解器
*Chuffed:高性能SAT求解器,用于布尔约束问题。
*PICOS:线性规划求解器,支持连续和混合整数编程。
*Gurobi:商业求解器,适用于各种优化问题。
*SCIP:开源求解器,提供广泛的算法和约束类型。
选择约束求解框架和求解器
选择合适的约束求解框架和求解器取决于问题类型、规模和性能要求:
*问题类型:不同求解器适用于布尔约束、线性规划或混合整数规划等特定问题类型。
*规模:某些求解器更适合处理大规模问题,而其他求解器则针对小规模问题进行了优化。
*性能要求:对于需要快速解决方案的应用,需要高效的求解器,而对于需要最佳解决方案的应用,需要更彻底的求解方法。
通过仔细考虑这些因素,可以选择最符合特定需求的约束求解解决方案。
应用
约束求解技术广泛应用于各种领域,包括:
*调度:人员、资源和任务的优化调度。
*物流:路由、库存管理和车辆分配。
*金融:投资组合优化、风险管理和贷款决策。
*制造:供应链管理、生产规划和库存控制。
*能源:能源优化、电网规划和可再生能源集成。
优点
*建模简单:约束求解框架提供高层次的建模语言,简化了复杂问题的建模。
*求解效率:约束求解器使用专门的算法,高效地求解约束问题。
*可扩展性:约束求解框架允许自定义约束和算法的集成,以适应特定的应用。
*鲁棒性:约束求解器处理约束违规、不完整信息和不一致性的能力。
*优化质量:约束求解器旨在找到可行的解决方案,同时优化目标函数。第八部分混合整数规划与线性规划混合整数规划与线性规划
引言
混合整数规划(MIP)是一种优化问题,其中目标函数和约束条件都包含连续和离散变量。线性规划(LP)是一种特殊的MIP,其中所有变量都是连续的。MIP和LP是解决许多实际问题的重要工具,例如生产计划、供应链管理和金融建模。
MIP与LP的相似性
MIP和LP都是优化问题,遵循相同的数学格式:
```
最小化/最大化f(x)
约束条件:g(x)≤0
变量:x∈X
```
其中:
*f(x)是目标函数
*g(x)是约束条件
*X是可行解集
此外,MIP和LP都可以使用相同的求解器求解。
MIP与LP的差异
MIP和LP之间的主要区别在于变量类型。在LP中,所有变量都是连续的。在MIP中,变量可以是连续的(称为实变量)或离散的(称为整数变量)。整数变量通常限制为非负整数或二进制值(0或1)。
混合整数规划的类型
MIP根据整数变量的数量和类型进一步分类:
*0-1MIP:所有整数变量都是二进制变量。
*混合整数线性规划(MILP):一些整数变量是非负整数,而另一些可能是二进制变量。
*通用整数规划(MIP):所有整数变量都可以取任何非负整数值。
混合整数规划的应用
MIP在广泛的应用中发挥着至关重要的作用,包括:
*生产计划和调度
*供应链管理
*金融建模
*网络优化
*人员配置
*医疗保健和生物信息学
求解MIP
求解MIP通常比求解LP更困难。这是因为整数约束给求解器带来了额外的复杂性。求解MIP的常用技术包括:
*分支定界:将问题分解为子问题,然后逐个求解。
*切割平面:添加额外的约束条件以加强问题的可行解集。
*启发式方法:近似求解器,不能保证找到最优解。
线性规划
LP是一种特殊的MIP,其中所有变量都是连续的。LP比MIP更容易求解,使用广泛的求解器和算法。LP被用来解决各种问题,包括:
*线性回归和相关分析
*资源分配和容量规划
*生产混合和配方
*库存管理
MIP与LP的比较
下表总结了MIP和LP之间的关键差异:
|特征|MIP|LP|
||||
|变量类型|连续和离散|连续|
|求解难度|更难|更容易|
|应用|生产计划、供应链管理|线性回归、资源分配|
结论
MIP和LP是用来解决优化问题的强大工具。MIP适用于涉及整数变量的问题,而LP适用于仅涉及连续变量的问题。MIP和LP都可以使用各种求解器求解,但MIP通常比LP更困难。选择合适的优化工具对于有效解决实际问题至关重要。关键词关键要点【概览】:
离散事件模拟与并行(DESP)是一种非数值计算加速技术,用于模拟复杂系统中离散事件序列。DESP通过将系统分解为一系列事件并并行处理这些事件来实现加速。
关键词关键要点模拟与离散优化
关键要点:
1.离散事件模拟(DES):用于建模不连续和离散时间事件的系统,例如制造
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 出租车协议书16篇
- 2023房子转让买卖协议书七篇
- (可行性报告)纱窗可行性报告
- (2024)萤石矿采选技改工程项目可行性研究报告建议书(一)
- 三年级下册英语一课一练-Module 7 unit2 it's warm today∣外研社(三起)(含解析)小学英语教学教材课件
- 2023年氢气项目融资计划书
- 啤酒行业消费研究报告
- 黑龙江省齐齐哈尔市甘南县六校联考2023-2024学年七年级上学期期末数学试卷(含解析)
- 养老院老人生活照料服务标准制度
- 养老院老人健康饮食营养师福利待遇制度
- 心肺复苏患者体温管理
- 南京市鼓楼区2023-2024学年八年级上学期期末英语试卷(含答案解析)
- 氧气吸入法健康宣教
- 关于书香家庭阅读情况简介【六篇】
- 心梗合并消化道出血的治疗
- 大班音乐:戏说脸谱课件
- 2024年度国学(弟子规入则孝篇)课件
- 船舶与海洋工程导论(船舶的基本概念)期末单元测试与答案
- 医学免疫学-课后习题答案
- 不良资产尽职调查工作底稿表
- 金属冶炼安全金属冶炼安全法规与标准
评论
0/150
提交评论