遗传算法在机器人路径规划中的应用

中国网络大学CHINESE NETWORK UNIVERSITY 毕业设计(论文)院系名称:百度网络学院专业:百度学生姓名:**学号:*********指导老师:**中国网络大学教务处制2019年3月1日遗传算法在机器人路径规划中的应用摘要移动机器人路径规划作为自主式移动机器人技术的一个重要组成部分,是研究移动机器人技术较为活跃的课题之一,吸引了国内外大批的研究学者。

随着各种新方法和新技术的不断出现,对路径规划的研究有了更广阔的天地。

我国在智能移动机器人研究方面虽然已经取得了一定的成果,如地面自主导航车、水下自主机器人和飞行机器人等。

但由于起步较晚,在研究和应用方面都落后于一些西方国家,而且还没有达到完全实用。

因此,进行这项研究,具有一定的理论和工程应用意义。

首先从移动机器人的历史和现状出发,对比了国内外的不同发展状况,对移动机器人领域的研究方向进行了综述。

着重介绍了移动机器人路径规划中常用的方法,对栅格法、遗传算法等进行了逐一的分析阐述。

应用于机器人路径规划的有很多传统的优化方法,本文主要介绍的最基本的一种算法-遗传算法在机器人路径规划中的应用。

遗传算法(简称GA)是一种借鉴生物界自然选择和自然遗传机制的随机化的搜索算法,它将“适者生存”这一基本的达尔文进化理论引入串结构,并且在串之间进行有组织但又随机的信息交换,伴随着算法的进行,优良的品质被逐渐保留并加以组合,从而不断产生出更佳的个体,也就是不断地接近于最优解。

本文采取了栅格法对机器人工作空间进行划分,用序号标识栅格,并以此序号作为机器人路径规划参数编码。

同时引入间断无障碍路径概念以简化初始种群产生,而且采用了遗传算法操作对初始路径进行寻优,这里遗传算法操作主要指的是选择操作、交叉操作、变异操作;寻优主要是选取适当的个体评价函数及适应函数对路径进行寻优。

最后采用MATLAB对机器人路径进行仿真,静态显示进化过程中生成的路径并显示机器人在障碍物存在情况下避障的运动过程。

对不同参数设置下的路径进行比较,不同种群大小的适应度值进行统计分析,并将不同环境下的最佳路径与最差路径作比较。

传统优化方法在机器人路径规划这类复杂非线性优化问题中缺乏足够的鲁棒性。

遗传算法是国际上80年代中期以来获得广泛应用的一种新型参数优化方法,它基于自然选择原理和群体进化机制,有许多区别于传统优化方法的特点,对机器人路径寻优效果更明显。

关键词遗传算法,机器人,路径规划,优化AbstractTo be a important component of the independent -like migration robot technology, the motion robot way plan is one of more active topics of motion robot technology and has attracted large quantities of the domestic and foreign research scholar. With new method and new technology's unceasing appearance, there is a broader world to research the way plan. Although our country had already made certain progress in intelligent migration robot research aspect, such as ground autonomous navigation vehicle, submarine independent robot and flight robot and so on .But it starts late, it falls behind some Western country in the application aspect and has not achieved completely usability. Therefore, it has certain theory and project application significance to conduct this research. Firstly,from the history and the present situation of moved robot ,comparing the domestic and foreign different development condition , it starts the summary. from the research direction of migration robot. It introduces commonly used method in motion robot way plan emphatically, and has carried on the analysis elaboration one by one to the grid law, the genetic algorithm and so onApplied to the plans in the robot way has many traditional optimized methods, this article mainly introduce the most basic one algorithm - genetic algorithm in the application of the robot way plan .The genetic algorithm (GA) is one kind which profits from the biosphere natural selection and the nature heredity mechanism randomisation searching algorithm, it introduces his basic Darwin Evolution theory of the survival of the fittest” t o string structure, and carries on organized but the stochastic exchange of information between the strings. Following algorithm advance, the fine quality is retained gradually and combined, thus produces a better individual unceasingly and also closes to the optimal solution unceasingly .The article adopts the method of grid work to divide robot space , with the serial numbers to identify grid, and as the parameters of code of robot path planning .And this paper introduces barrier-free path concept to simplify the initial population and using the genetic algorithm operation for the initial route optimization of genetic . The operations mainly refer to selection operation , crossover operation and variation operation. This paper mainly adopts individual evaluation function and The fitness function for optimal selection . Finally using MATLAB to simulate robot path. Traditional optimization methods which is used in this kind of complex nonlinear optimization problems lack of robustness. it displays the path of evolution statically and displays the avoidance movement of the robot in the environment of obstacles .Finally, different optimized paths under different parameters are compared; fitness values of various population sizes are statistically analyzed and best optimized paths and worst optimized paths in different environments are compared as well.. Genetic algorithm is a new parametersoptimization method which has won extensive application in the whole world since the middle of 1980s.It is based on natural selection principle and group evolution mechanism. There are many characteristics which are different from traditional optimization methods and has better effect in robot path optimization.KEY WORDSGenetic Algorithms, robot, path planning, optimize目录摘要 (1)英文摘要 (2)第一章绪论 (6)1.1课题的研究背景 (6)1.2国内外路径规划发展状况 (8)1.3路径规划解决的基本问题 (10)1.4论文主要研究内容(原理)概述 (11)1.4.1遗传算法的基本运算过程如下 (14)1.4.2路径规划的实现 (15)1.4.3 机器人路径最优化的实现 (15)1.5本章小结 (15)第二章机器人路径规划和遗传算法 (16)2.1 路径规划研究概述 (16)2.1.1 路径规划分类 (16)2.1.2 路径规划问题特点 (16)2.1.3路径规划方法 (17)2.1.4 优化问题 (19)2.2遗传算法 (19)2.2.1遗传算法定义 (19)2.2.2 遗传算法特点 (19)2.2.3 编码 (20)2.2.4适应度函数 (20)2.2.5初始群体的选取 (21)第三章基于遗传算法的机器人路径的优化 (22)3.1.参数设定 (22)3.2环境建模 (22)3.3生成初始种群 (23)3.4 适应度函数设置 (24)3.5 选择操作 (25)3.5.1 什么是轮盘赌选择 (26)3.6 交叉操作 (28)3.7 终止条件 (29)第四章仿真及结果分析 (31)4.1 仿真程序 (31)4.2 仿真结果及分析 (35)致谢 (38)参考文献 (39)。

合集下载

基于遗传算法的移动机器人动态路径规划研究

基于遗传算法的移动机器人动态路径规划研究
维普资讯
3 2
传感器与微系统 (r sue adMc s t eho g s Ta dcr n io s mTcnl i ) n rye oe
20 年 第 2 卷 第 8 07 6 期
基 于遗传 算 法 的移 动 机 器 人 动态 路径 规 划 研 究
0 引 言
本文 将 传 统 遗 传 算 法 进 行 改 进 , 其 应 用 于 未 将
( . c o l f tmain, ri nvri f c n ea dT cn l yHa bn10 8 , hn ; 1 S h o Auo t HabnU iesyo i c n eh oo , ri 50 0 C ia o o t Se g
2 S h o fM e s r me tCo t o c n lg n mm u c t n gn e i g, r i . c o l a u e n - n r lTe h o o a d Co o y i i n a o s En i e rn Ha b n
关键 词 :移 动机器人 ;遗传算 法 ; 路径规划 中图分类号 :T 2 P4 文献标识码 :A 文章编号 :10 - 77 2 0 ) 8 0 3 0 0 0 9 8 (0 7 0 - 02- 3
Re e r h 0 3 a i a h p a i g O o ie s a c d m " p tt l nn n Im oD l n y n c t “m b l
U v ri f d n ea d T c n lg , r i 5 0 0 C ia i n e s y o e c n e h o y Ha bn 1 0 4 , hn ) t S o
Ab t a t sr c :Ai d a h n n w n y a c e vr n n ah p a n n rb e o h b l o o , b l me tt e u k o n a d d n mi n i me tp t ln i g p o lm ft e mo i r b t mo i o e e o o y t s e i e d n mi r b ts s m i d s n d, y a c e g d i u e o ma e e v rn n a d l g o h a i o h r dt n l s s d t k n io me t lmo ei , n t e b ss f t e t i o a n a i

基于遗传算法的机器人路径规划

基于遗传算法的机器人路径规划

编 号 P都与 其直 角坐标 一 一 对 应 , 其映 射 关 系为
P = +1 0y
而在 MA A TL B语 言 中,7 Y与 P的关 系 为 3和
f7= rm( 1 )+0. 3 e P,0 5
I : 皿 ( ,0 Y P 1 )+0 5 .
用栅 格 法 来 建 立 机 器 人 的 工 作 空 间 模 型 , 照 机 按
规 划方 法 , 时变 、 知 环境 下 取得 了很好 的避 障 在 未
及 路径 规 划结 果 , 是在 编码 过 程 中 , 方 法 采用 但 该 了二 进 制定 常编 码方 法 , 增加 了个体 长 度 , 时 也 同 增 加 了运 算 的复 杂 度 . 强 等 【】 出 了一 种 基 于 李 2提 进化 的 移动 机 器 人路 径 规 划 方 法 。 种方 法 是 基 这 于 四叉树 模 型 而 提 出 的, 种算 法 具 有 良好 的 全 这
局搜 索性 能 , 在搜 索 效 率 上 较 一般 的搜 索 算 法 但
( A 如 算 法 ) 无 明 显 的 提 高 . 树 栋 等 【 提 出 并 孙 3 J 的应 用 于机 器人 路 径规 划 的遗 传 算法 的 改进 方 法 采用 栅格 序 号 编码 , 短 了个 体 长度 , 是 其插 入 缩 但 过 程采 用 中 值 法 插 入 , 样 插 入 的栅 格很 容 易 为 这
摘 要 : 用 栅 格 法 表 示 机 器 人 工 作 环 境 模 型 , 序 号 编 码 , 角坐 标 与 序 号 混 合 应 用 , 用 遗 传 算 法 采 用 直 采 产 生 初 始 路 径 种 群 , 对 其 优 化 找 出最 短 路 径 , 后 增 加 删 除 、 入 算 子 达 到 路 径 规 划 中 避 障 的 要 求 . 并 然 插 用 MAT AB语 言 进 行 仿 真 研 究 . 真 结 果 表 明 遗 传 算 法 进 行 避 障 和 路 径 规 划 的 有 效性 和 可 行性 . L 仿 关 键 词 : 器 人 ; 径 规 划 ; 传 算 法 ; 入 、 除 算 子 ; 障 机 路 遗 插 删 避

改进遗传算法在移动机器人全局路径规划中的应用

改进遗传算法在移动机器人全局路径规划中的应用
Ab ta t sr c Amig a h rbe f g n t loi m p lct n i go a p t ln ig fr i n tte p o lms o e ei agr h a piai n lb l ah pa nn o mo i o o n ldn rmaue c t o bl rb t icu ig pe tr e
c n e g n e a d so o v r e c o v r e c n lw c n e g n e,i h s p p r t e a t os p o o e a mp o e e ei g r h b s d o h n o i g me n ff e n t i a e h u h r rp s n i r v d g n tc a o i m a e n t e e c d n a s o x d l t i

个N P完 全问题

遗传算法通过 引入达尔 文生 物进化学说 中的选择 、 交换 、 变 异等概念 , 对经过 编码 的多个 个体组 成 的群 体进行 遗传 进化操
可视图的组合寻优方法 , 解决 了不可行路径适应度评价 问题 , 提
0 引 言
移动机器人路 径规划是 智能机 器人学 重要研 究领域 之一 , 其任务是在给定机 器人 运动 环境 的前 提下 , 照一定 的标准 规 按
划出一条连接移动 机器人起 始点和终止点 的最优或 次优 有效路 径。这一 问题 的优化解评价 指标 可以是 : 路径 的长度 、 机器人 与
蒋 明 王 短 张 华 解兴哲
( 西南科技大学机器人 技术及应 用四川 省重点 实验室 四川 绵阳 6 1 1 ) 20 0


针对应用遗传 算法进 行移动机器人全局路径规划 时遇到 的早 熟收敛和 收敛速度慢 等问题 , 出一种 基于定长 二进制路 提

了解遗传算法在路径规划中的应用

了解遗传算法在路径规划中的应用
了解遗传算法应在用路径规划中的
汇报人:XX 20XX-01-16
contents
目录
• 遗传算法概述 • 路径规划问题简介 • 遗传算法在路径规划中的应用 • 遗传算法在路径规划中的实现步骤 • 遗传算法在路径规划中的案例分析 • 遗传算法在路径规划中的挑战与展望
01
遗传算法概述
遗传算法的基本原理
路径规划问题的挑战
复杂性
路径规划问题通常涉及大量的可 能路径和复杂的约束条件,使得 问题的求解变得非常困难。
动态性
实际环境中的路径规划问题往往 具有动态性,如交通拥堵、天气 变化等,需要实时调整路径规划 策略。
多目标优化
在路径规划中,往往需要同时考 虑多个优化目标,如距离、时间 、成本等,这使得问题的求解更 加复杂。
03
遗传算法在路径规划中的 应用
基于遗传算法的路径规划方法
编码方式
采用二进制、实数或排列编码等方式 表示路径,将问题空间映射到遗传算 法的搜索空间。
变异操作
采用位翻转、交换等变异方式,增加 种群的多样性。
01
02
适应度函数设计
根据路径规划问题的目标函数,如路 径长度、时间等,设计适应度函数以 评估个体的优劣。
交叉策略
采用部分映射交叉(PMX)或顺序交叉(OX),生成新的个体, 同时保持城市的唯一性和连续性。
变异策略
采用交换变异或逆转变异,随机交换两个城市的位置或逆转一段连 续的城市序列,以增加种群的多样性。
算法终止条件与结果
算法终止条件
设定最大进化代数或达到预设的求解精度作为算法的终止条件。
结果输出
输出最优个体的基因编码及对应的路径长度,同时可视化展示最优路径。
混合遗传算法

基于改进遗传算法的工业机器人路径规划研究

基于改进遗传算法的工业机器人路径规划研究

基于改进遗传算法的工业机器人路径规划研究随着工业自动化的不断普及,工业机器人的应用范围越来越广泛。

而在工业机器人的操作中,路径规划是非常重要的一环。

如果路径规划不仅高效而且安全,则工业生产的效率可以得到很大的提高。

目前,针对机器人路径规划的研究大多基于遗传算法。

然而,由于遗传算法的一些局限性,其效率并不尽如人意。

因此,为了提高机器人路径规划的质量和效率,本文对遗传算法进行改进,并探讨其在工业机器人路径规划中的应用。

一、遗传算法在工业机器人路径规划中的应用遗传算法是一种在计算机科学和人工智能领域中广泛应用的优化算法。

它通过模拟自然进化过程,从而在复杂的搜索空间中搜索最优解。

在机器人路径规划问题中,遗传算法主要应用于寻找最短路径或者最优路径。

其具体流程如下:1. 初始化种群:从随机的起点和终点开始,生成一定数量的个体(即路径),并将它们组成一个初始种群。

2. 适应度函数:根据路径的长度,计算每个个体的适应度值。

适应度值越优秀的个体,被选中的概率也越大。

3. 选择操作:根据适应度对所有个体进行选择,选择算子可以使环境保持多样化,达到探索多种可能的目的。

4. 交叉操作:在被选择的个体中进行随机的交叉操作,以产生新的个体。

交叉操作的目的在于增强群体的多样性和优化搜索效率。

5. 变异操作:在产生的个体中,进行随机的变异操作。

一般而言,变异概率是极小的,因为变异一次很有可能使得适应度下降。

6. 重复上述步骤:重新计算每个个体的适应度值、选择重新生成新的个体,如此反复,直到满足停止条件,即找到最优或者达到迭代次数。

基于遗传算法的机器人路径规划问题,虽然在处理简单问题时有效,但是当搜索空间复杂度提高以后,遗传算法会出现局限性,即陷入局部最优解。

为了解决这一问题,本文提出了基于改进遗传算法的工业机器人路径规划。

二、改进遗传算法在工业机器人路径规划中的应用针对遗传算法出现的局限性,在工业机器人路径规划中引入了两个改进的措施:仿射变换和差分进化。

基于遗传算法的机器人综合路径规划

基于遗传算法的机器人综合路径规划
( _ l g fEl c rc la n o ma i n En i e rn No t e s t o e m i e s t , q n 6 3 8, i a 1 Co l e o e t ia nd I f r to g n e i g, r h a tPe r l u Un v r iy Da i g 1 3 1 Ch n e
e f c i e s nd r a— i e o he p o os d a go ih . fe tv ne s a e ltm ft r p e l rt m K e r s ob t; e e i l o ihm ; o po ii e ft e sf nc i n; e i i he y; u tp e a ti y wo d :r o g n tc a g rt cm stv in s u to d cson t or m li l trbut m u e; —
M a 12 y 20
21 0 2年 5月
文章 编 号 : 6 1 5 9 ( 0 2 0 — 2 80 1 7 — 8 6 2 1 ) 30 2 — 6
基 于遗 传 算 法 的机器 人 综 合 路径 规 划
李 艳 辉 曲萃 萃 , , 赵 辉
( . 北 石 油 大 学 电气 信 息 工 程 学 院 , 龙 江 大 庆 1 3 1  ̄. 京 中 核东 方 控 制 系 统 工 程 有 限公 司 研 发 部 , 京 1 0 7 ) 1东 黑 6382北 北 0 0 6
引入 理想 适应 度 函 数 , 基 于 引 入 的 理 想 适 应 度 函 数 , 出一 种 新 的变 异 算 子 , 变 异 算 子 可 保 证 个 体 变 异 的 方 并 提 该
向性 , 优 异 的父 代 个 体 有 较 小 变 异 、 对 劣质 个 体 有 较 大 变 异 。仿 真 结 果 验 证 了算 法 的 可 行 性 和 有效 性 。 关 键 词 : 器 人 ; 传算 法 ; 合 适 应 度 函数 ; 策 理 论 ; 属性 ; 异 算 子 机 遗 综 决 多 变

基于遗传算法的AS-R移动机器人路径规划研究

XI u ,YU Gu n e E Mu J n agW i fo eeo l tclad Eet n n i e n ,C a gh n U i ri fT cn l y hn cu 3 0 2 hn ) C l g fEe r a n l r i E g er g h ncu n esy o eh o g ,C agh n 10 1 ,C ia l c i co c n i v t o
单 且 通 用的 效 果 . 得 的 折 线路 径 也 更 适合 于机 器人 进 行 轨 迹 跟踪 。 所
关 键 词 : 传 算 法 ; 径 规 划 ; 动 机 器 人 ; 格 法 遗 路 移 栅
中图分类号 :P4 T 2 文献 标识码 : A
Re e r h fAS — m o ie r b tp t a ni g ba e n g ne i l o ih s s a c o —R b l o o a h pln n s d o e tc ag rt m
Ke r s g n t lo t ms p t ln i g mo i o o; rd me h d y wo d : e e i ag r h ; ah p a n n ; bl rb t g t o c i e i
路径 规划 是移 动机器 人领 域 中的一 个 基本 问题 . 也
i h o s a c he p t ,a n rdu e m li e g n tc o ert r o e a e un v s lo h l o i rt ms t e r h t a h nd i to c utpl e e i p a o st nh nc iera fte a g rt hms .Us e VC o p o r m n AS t r g a o —R o t rbo,

基于遗传算法的移动机器人多点路径规划

(1 C C a t . NP E sONn e in I tue a D sg si t,Qig a 6 0 0,Ohn n t n d o2 6 0 ia;
2 S h o fif r t n Sce c & E gn e ig,Dai n P lt c n c U ie st ,Da in 1 6 3 ,Ch n . c o l o ma i i n e o n o n ie r n l o ye h i nv r i a y l 1 0 4 a ia)
道 , 文用 遗传 算 法来 解 决 此 类 复 杂情 况 下 机 器 本
人 多 点路 径规划 .
点均 包 括在 内 , 使其 正 方 形 尺寸 最小 . 且 然后 , 根
据此 正方形 尺 寸 的大 小进 行 网格 化 处理 , 立 ( 建
+ 1 ×( ) + 1 )网格 结构. 网格 相 当 于一 个点 , 每
摘要 : 利用遗传算法解决了在复杂情况下机器人须经过多点并最终返回起点的路径规划问题. 并根据
实际情况 , 提出了相应的遗传编码方法 , 构造 了相应的遗传算子. 取得 了很好 的效果.
关 键词 : 机器人 ; 多点路径规划 ; 遗传编码 ; 遗传算子
中图分 类号 : P 8 T 1
文 献标识 码 : A
1 基 于 遗 传 算 法 多 点 路 径 规 划
l ■ ■



I ■
l J l

l I


■■
点 图法 ; 现代 比较 流行 的有 : 于模 糊 控 制嘲 、 基 神 经 网络啪 、 遗传 算法[ 蚁 群算法 等 等。 、
但 在复杂 情况 下 , 器人 多点 路径规 划 , 图 机 如

基于遗传算法的机器人路径规划优化

基于遗传算法的机器人路径规划优化随着机器人技术的不断发展,机器人越来越广泛地应用于各个领域。

例如,机器人在工业制造、医疗、物流等领域中,具有很大的发展潜力。

机器人路径规划是机器人技术中非常重要的一个研究领域,优化路径规划可以使机器人执行任务更加高效、准确。

本文将介绍基于遗传算法的机器人路径规划优化的原理以及应用。

一、机器人路径规划的原理机器人路径规划是指机器人在执行任务时,从起点到终点的运动路径确定的问题。

机器人路径规划优化的目标是寻找一条最短或者最快的路径。

机器人路径规划优化的核心是在考虑机器人在路径中所感受到的环境情况,尽可能减小机器人所受到的阻碍。

因此,机器人路径规划优化的难点在于如何尽可能快地找到最佳的路径。

机器人路径规划的主要思想是在运动的过程中根据机器人感知到的环境信息作出决策。

当感知到环境信息发生变化时,机器人会按照事先设定的规则更新自己的运动状态,并重新计算路径。

在路径规划的过程中,需要考虑到机器人的动态特性,包括机器人的速度、加速度以及转弯半径。

机器人路径规划的过程中,需要不断的调整机器人的状态,以使其能够更快、更准确地达到终点。

二、遗传算法的优势在机器人路径规划优化中,遗传算法具有很大的优势。

遗传算法是一种全局优化算法,可以在搜索空间内找到全局最优解。

在机器人路径规划的过程中,由于机器人的转弯半径、速度等参数很难直接地计算,因此需要对这些参数进行优化。

遗传算法具有很好的全局搜索能力,能够有效的优化路径规划参数,从而使机器人达到最佳路径。

在遗传算法的优化过程中,需要构建适应度函数来评估路径规划的优劣。

适应度函数的目的是将路径规划的结果转化为一个标量指标,以便于相互间的比较。

适应度函数的定义对优化结果的好坏具有非常大的影响。

在路径规划优化中,适应度函数需要兼顾机器人的运动轨迹的短程和时间的长程,具有很强的合理性和实用性。

三、基于遗传算法的机器人路径规划优化的应用机器人路径规划优化的应用在工业生产、安防系统和物流等领域中非常广泛。

基于节点扩张的遗传算法在机器人路径规划中的应用


路 径 初 始 种 群 的产 生 算 法 , 以及 基 于待 变异 节 点 扩 张 的 变 异 操 作 算 法 , 时 在 交 叉 、 同 变异 操 作 之 后 进 行 局 部 优化, 简化 编 程 , 高 适 用 性 。仿 真 结 果 表 明 同普 通 的 A *算 法 相 比 较 , 路 径 规 划 算 法 具 有 寻 优 质 量 高 、 提 该
n d s e p n ig me h d as s d f rmu a in o e a i n,a d l c lo t u p o r m s a s n r d c d t r s o e n o e x e dn t o lo u e o tt p rt o o n o a p i m r g a wa lo i to u e o c o s v ra d m mu ai n o e a in s we 1 t to p r t sa l o .Th i lt n r s l e n ta e t a ,c m p rn t e smu a i e u t d mo s r t h t o a i g wihA a g rt m,t e p o o e l o ih o s l o ih h r p s d a g rt m h sf l wi g a v n a e u h a ih rs a c e u l y a o l n d a t g s s c s h g e e r h rq a i ,mo e s o h p t ,smp i e r g a o t r mo t a h i l id p o r mmig me h d a d b te — f n t o n etra d p a i t o a e O t e b scA ag rt m. a t b l y c mp r d t h a i i l o ih
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
相关文档
最新文档