【考研数学】高等数学第七模块 —— 曲线积分与曲面积分 | 2. 对坐标的曲线积分(第二类积分)

news2024/11/30 4:53:25

文章目录

  • 一、曲线积分
    • 1.2 对坐标的曲线积分(第二类曲线积分)
      • 1.2.1 问题产生 —— 做功问题
      • 1.2.2 对坐标的曲线积分的定义(了解)
      • 1.2.3 对坐标的曲线积分的性质
      • 1.2.4 二维空间对坐标的曲线积分计算法
        • 1. 定积分法
        • 2. 二重积分法(格林公式)
        • 3. 曲线积分与路径无关的条件
        • 4. 两类曲线积分之间的关系
      • 1.2.5 三维空间对坐标的曲线积分的计算
        • 1. 定积分法
        • 2. 斯托克斯公式(Stokes)
  • 写在最后


一、曲线积分

1.2 对坐标的曲线积分(第二类曲线积分)

1.2.1 问题产生 —— 做功问题

(1)如下图所示,在大小和方向都不变的力 F → \overrightarrow{F} F 的作用下物体沿水平方向从 A 点移动到 B 点,力对物体做功为 W = ∣ F → ∣ cos ⁡ θ ⋅ ∣ A B → ∣ = F → ⋅ A B → W=|\overrightarrow{F}|\cos{\theta}\cdot|\overrightarrow{AB}|=\overrightarrow{F}\cdot\overrightarrow{AB} W=F cosθAB =F AB ,其中 θ \theta θ F → , A B → \overrightarrow{F},\overrightarrow{AB} F ,AB 的夹角。

在这里插入图片描述
(2)二维空间物体在变力作用下沿有向曲线段运动,力对物体做功。设 F → ( x , y ) = { P ( x , y ) , Q ( x , y ) } \overrightarrow{F}(x,y)=\{P(x,y),Q(x,y)\} F (x,y)={P(x,y),Q(x,y)} ,即水平方向的力为 P P P ,竖直方向的力为 Q Q Q L L L x O y xOy xOy 平面内的有向曲线段,物体在力 F → ( x , y ) \overrightarrow{F}(x,y) F (x,y) 的作用下沿着 L L L 从起点 A 到终点 B(下图),可以利用元素法的思想,求力所做的功。

在这里插入图片描述
d s → ⊂ L , d s → = { d x , d y } d\overrightarrow{s}\sub L,d\overrightarrow{s}=\{dx,dy\} ds L,ds ={dx,dy} ,则有 d W = F → ( x , y ) ⋅ d s → = P ( x , y ) d x + Q ( x , y ) d y dW=\overrightarrow{F}(x,y)\cdot d\overrightarrow{s}=P(x,y)dx+Q(x,y)dy dW=F (x,y)ds =P(x,y)dx+Q(x,y)dy ,于是 W = ∫ L P ( x , y ) d x + Q ( x , y ) d y . W=\int_L P(x,y)dx+Q(x,y)dy. W=LP(x,y)dx+Q(x,y)dy.

1.2.2 对坐标的曲线积分的定义(了解)

在这里插入图片描述
在这里插入图片描述

1.2.3 对坐标的曲线积分的性质

在这里插入图片描述

1.2.4 二维空间对坐标的曲线积分计算法

1. 定积分法

(1)设有向曲线段 L : y = φ ( x ) L:y=\varphi(x) L:y=φ(x) L L L 的起点对应为 x = a x=a x=a ,终点对应为 x = b x=b x=b ,则 ∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ a b { P [ x , φ ( x ) ] + Q [ x , φ ( x ) ] φ ′ ( x ) } d x . \int_LP(x,y)dx+Q(x,y)dy=\int_a^b\{P[x,\varphi(x)]+Q[x,\varphi(x)]\varphi'(x)\}dx. LP(x,y)dx+Q(x,y)dy=ab{P[x,φ(x)]+Q[x,φ(x)]φ(x)}dx. (2)设有向线段 L : { x = φ ( t ) , y = u ( t ) , ( α ≤ t ≤ β ) L:\begin{cases} x=\varphi(t),\\ y=u(t), \end{cases} (\alpha\leq t \leq \beta) L:{x=φ(t),y=u(t),(αtβ) 则 ∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ α β { P [ φ ( t ) , u ( t ) ] φ ′ ( t ) + Q [ φ ( t ) , u ( t ) ] u ′ ( t ) } d t 则\int_LP(x,y)dx+Q(x,y)dy=\int_\alpha^\beta\{P[\varphi(t),u(t)]\varphi'(t)+Q[\varphi(t),u(t)]u'(t)\}dt LP(x,y)dx+Q(x,y)dy=αβ{P[φ(t),u(t)]φ(t)+Q[φ(t),u(t)]u(t)}dt 【例】求以下情况下的曲线积分 ∫ L ( 2 y + 1 ) d x + ( 2 x − 3 ) d y : \int_L(2y+1)dx+(2x-3)dy: L(2y+1)dx+(2x3)dy:

(1) L L L 是经点 O ( 0 , 0 ) O(0,0) O(0,0) y = x y=x y=x 到点 A ( 1 , 1 ) A(1,1) A(1,1) 的有向曲线段;

(2) L L L 是经点 O ( 0 , 0 ) O(0,0) O(0,0) y = x 2 y=x^2 y=x2 到点 A ( 1 , 1 ) A(1,1) A(1,1) 的有向曲线段;

解: (1) ∫ L ( 2 y + 1 ) d x + ( 2 x − 3 ) d y = ∫ 0 1 ( 2 x + 1 + 2 x − 3 ) d x = ∫ 0 1 ( 4 x − 2 ) d x = 0. \int_L(2y+1)dx+(2x-3)dy=\int_0^1(2x+1+2x-3)dx=\int_0^1(4x-2)dx=0. L(2y+1)dx+(2x3)dy=01(2x+1+2x3)dx=01(4x2)dx=0.

(2) ∫ L ( 2 y + 1 ) d x + ( 2 x − 3 ) d y = ∫ 0 1 [ ( 2 x 2 + 1 + ( 2 x − 3 ) ⋅ 2 x ] d x = 0. \int_L(2y+1)dx+(2x-3)dy=\int_0^1[(2x^2+1+(2x-3)\cdot2x]dx=0. L(2y+1)dx+(2x3)dy=01[(2x2+1+(2x3)2x]dx=0.

2. 二重积分法(格林公式)

定理 1 —— 设 D D D x O y xOy xOy 平面上连通的有限闭区域, L L L 为闭区域 D D D 上的正向边界曲线,函数 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y) D D D 上连续可偏导,则 ∮ L P ( x , y ) d x + Q ( x , y ) d y = ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d x d y . \oint_LP(x,y)dx+Q(x,y)dy=\iint_D(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy. LP(x,y)dx+Q(x,y)dy=D(xQyP)dxdy. L L L 为负向边界,则结果为相反数;若 L L L 不封闭,可以补充曲线段再使用格林公式;若函数 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y) 有不连续可偏导的点,一般可以将区域 D D D 划为若干区域,再使用格林公式。

3. 曲线积分与路径无关的条件

定理 2 —— 设 D D D 为单连通区域,函数 P ( x , y ) , Q ( x , y ) P(x,y),Q(x,y) P(x,y),Q(x,y) 在区域 D D D 内连续可偏导,则下列四个命题等价。

  1. 曲线积分 ∫ L P ( x , y ) d x + Q ( x , y ) d y \int_LP(x,y)dx+Q(x,y)dy LP(x,y)dx+Q(x,y)dy 与路径无关。
  2. 对区域 D D D 内任意闭曲线 C C C ,有 ∮ C P ( x , y ) d x + Q ( x , y ) d y = 0 \oint_CP(x,y)dx+Q(x,y)dy=0 CP(x,y)dx+Q(x,y)dy=0
  3. 区域内恒有 ∂ Q ∂ x = ∂ P ∂ y \frac{\partial Q}{\partial x}=\frac{\partial P}{\partial y} xQ=yP(柯西 — 黎曼条件)。
  4. 在区域内存在二元函数 u ( x , y ) u(x,y) u(x,y) ,使得 d u ( x , y ) = P ( x , y ) d x + Q ( x , y ) d y . du(x,y)=P(x,y)dx+Q(x,y)dy. du(x,y)=P(x,y)dx+Q(x,y)dy.

(1)若 ∂ Q ∂ x ≡ ∂ P ∂ y \frac{\partial Q}{\partial x}\equiv \frac{\partial P}{\partial y} xQyP ,则沿从点 ( x 0 , y 0 ) (x_0,y_0) (x0,y0) 到点 ( x 1 , y 1 ) (x_1,y_1) (x1,y1) 的有向曲线段 L L L 的曲线积分可表示为 ∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ ( x 0 , y 0 ) ( x 1 , y 1 ) P ( x , y ) d x + Q ( x , y ) d y \int_LP(x,y)dx+Q(x,y)dy=\int_{(x_0,y_0)}^{{(x_1,y_1)}}P(x,y)dx+Q(x,y)dy LP(x,y)dx+Q(x,y)dy=(x0,y0)(x1,y1)P(x,y)dx+Q(x,y)dy = ∫ x 0 x 1 P ( x , y 0 ) d x + ∫ y 0 y 1 Q ( x 1 , y ) d y . =\int_{x_0}^{x_1}P(x,y_0)dx+\int_{y_0}^{y_1}Q(x_1,y)dy. =x0x1P(x,y0)dx+y0y1Q(x1,y)dy. (2)若 ∂ Q ∂ x ≡ ∂ P ∂ y \frac{\partial Q}{\partial x}\equiv \frac{\partial P}{\partial y} xQyP ,且存在 u ( x , y ) u(x,y) u(x,y) ,使得 d u ( x , y ) = P ( x , y ) d x + Q ( x , y ) d y du(x,y)=P(x,y)dx+Q(x,y)dy du(x,y)=P(x,y)dx+Q(x,y)dy ,则 ∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ ( x 0 , y 0 ) ( x 1 , y 1 ) P ( x , y ) d x + Q ( x , y ) d y \int_LP(x,y)dx+Q(x,y)dy=\int_{(x_0,y_0)}^{{(x_1,y_1)}}P(x,y)dx+Q(x,y)dy LP(x,y)dx+Q(x,y)dy=(x0,y0)(x1,y1)P(x,y)dx+Q(x,y)dy = u ( x , y ) ∣ ( x 0 , y 0 ) ( x 1 , y 1 ) = u ( x 1 , y 1 ) − u ( x 0 , y 0 ) . =u(x,y)\big|_{(x_0,y_0)}^{(x_1,y_1)}=u(x_1,y_1)-u(x_0,y_0). =u(x,y) (x0,y0)(x1,y1)=u(x1,y1)u(x0,y0). (3)若 ∂ Q ∂ x ≡ ∂ P ∂ y \frac{\partial Q}{\partial x}\equiv \frac{\partial P}{\partial y} xQyP ,则 u ( x , y ) = ∫ ( x 0 , y 0 ) ( x , y ) P ( x , y ) d x + Q ( x , y ) d y = ∫ x 0 x P ( x , y 0 ) d x + ∫ y 0 y Q ( x , y ) d y . u(x,y)=\int_{(x_0,y_0)}^{{(x,y)}}P(x,y)dx+Q(x,y)dy=\int_{x_0}^xP(x,y_0)dx+\int_{y_0}^yQ(x,y)dy. u(x,y)=(x0,y0)(x,y)P(x,y)dx+Q(x,y)dy=x0xP(x,y0)dx+y0yQ(x,y)dy. (4)对微分方程 P ( x , y ) d x + Q ( x , y ) d y = 0 P(x,y)dx+Q(x,y)dy=0 P(x,y)dx+Q(x,y)dy=0 ,若 ∂ Q ∂ x ≡ ∂ P ∂ y \frac{\partial Q}{\partial x}\equiv \frac{\partial P}{\partial y} xQyP ,则称该方程为全微分方程。令 u ( x , y ) = ∫ ( x 0 , y 0 ) ( x , y ) P ( x , y ) d x + Q ( x , y ) d y u(x,y)=\int_{(x_0,y_0)}^{{(x,y)}}P(x,y)dx+Q(x,y)dy u(x,y)=(x0,y0)(x,y)P(x,y)dx+Q(x,y)dy d u ( x , y ) = P ( x , y ) d x + Q ( x , y ) d y du(x,y)=P(x,y)dx+Q(x,y)dy du(x,y)=P(x,y)dx+Q(x,y)dy ,则有原方程的通解为 u ( x , y ) = C . u(x,y)=C. u(x,y)=C.

【例】求解方程 ( x y 2 + y ) d x + ( x 2 y + x − 2 y ) d y = 0 (xy^2+y)dx+(x^2y+x-2y)dy=0 (xy2+y)dx+(x2y+x2y)dy=0 ,令 P ( x , y ) = x y 2 + y , Q ( x , y ) = x 2 y + x − 2 y P(x,y)=xy^2+y,Q(x,y)=x^2y+x-2y P(x,y)=xy2+y,Q(x,y)=x2y+x2y ,有 ∂ Q / ∂ x = 2 x y + 1 = ∂ P / ∂ y \partial Q / \partial x=2xy+1=\partial P / \partial y Q/x=2xy+1=P/y ,故其为一个全微分方程。

对原方程进行整理有: x y 2 d x + x 2 y d y + y d x + x d y − 2 y d y = d ( 1 2 x 2 y 2 + x y − y 2 ) = 0 xy^2dx+x^2ydy+ydx+xdy-2ydy=d(\frac{1}{2}x^2y^2+xy-y^2)=0 xy2dx+x2ydy+ydx+xdy2ydy=d(21x2y2+xyy2)=0 ,故原方程通解为 1 2 x 2 y 2 + x y − y 2 = C . \frac{1}{2}x^2y^2+xy-y^2=C. 21x2y2+xyy2=C.

4. 两类曲线积分之间的关系

∫ L P ( x , y ) d x + Q ( x , y ) d y = ∫ L [ P ( x , y ) cos ⁡ α + Q ( x , y ) cos ⁡ β ] d s , \int_LP(x,y)dx+Q(x,y)dy=\int_L[P(x,y)\cos{\alpha}+Q(x,y)\cos{\beta}]ds, LP(x,y)dx+Q(x,y)dy=L[P(x,y)cosα+Q(x,y)cosβ]ds, 其中, cos ⁡ α , cos ⁡ β \cos{\alpha},\cos{\beta} cosα,cosβ 为曲线 L L L 上点 ( x , y ) (x,y) (x,y) 上的切向量的方向余弦。

1.2.5 三维空间对坐标的曲线积分的计算

1. 定积分法


L : { x = φ ( t ) , y = u ( t ) , z = w ( t ) , ( α ≤ t ≤ β ) L:\begin{cases} x=\varphi(t),\\ y=u(t), \\ z=w(t),\end{cases} (\alpha\leq t \leq \beta) L: x=φ(t),y=u(t),z=w(t),(αtβ) 则 ∫ L P ( x , y , z ) d x + Q ( x , y , z ) d y + R ( x , y , z ) d z 则\int_LP(x,y,z)dx+Q(x,y,z)dy+R(x,y,z)dz LP(x,y,z)dx+Q(x,y,z)dy+R(x,y,z)dz = ∫ α β { P [ φ ( t ) , u ( t ) , w ( t ) ] φ ′ ( t ) + Q [ φ ( t ) , u ( t ) , w ( t ) ] u ′ ( t ) + R [ φ ( t ) , u ( t ) , w ( t ) ] w ′ ( t ) } d t . =\int_\alpha^\beta\{P[\varphi(t),u(t),w(t)]\varphi'(t)+Q[\varphi(t),u(t),w(t)]u'(t)+R[\varphi(t),u(t),w(t)]w'(t)\}dt. =αβ{P[φ(t),u(t),w(t)]φ(t)+Q[φ(t),u(t),w(t)]u(t)+R[φ(t),u(t),w(t)]w(t)}dt.

2. 斯托克斯公式(Stokes)

在这里插入图片描述


写在最后

好难啊,三维的先放一放吧,二维的直观上也不好理解,多花些时间练习下吧。

曲线积分的内容就到此结束了,把这些消化好,我们再继续学习曲面积分!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1051947.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

YOLOv7改进:结合CotNet Transformer结构

1.简介 京东AI研究院提出的一种新的注意力结构。将CoT Block代替了ResNet结构中的3x3卷积,在分类检测分割等任务效果都出类拔萃 论文:Contextual Transformer Networks for Visual Recognition 论文地址:https://arxiv.org/abs/2107.12292 有…

C进阶--数据的存储

⚙ 1. 数据类型介绍 1.1基本内置类型 ⭕ 整形: char(char又叫短整型)unsigned charsigned charshortunsigned short[int]signed short [int]intunsigned intsigned intlongunsigned long [int]signed long [int] ⭕ 浮点数: float(单精度浮…

Linux下C语言操作网卡的几个代码实例?特别实用

前面写了一篇关于网络相关的文章:如何获取当前可用网口。 《简简单单教你如何用C语言列举当前所有网口!》 那么如何使用C语言直接操作网口? 比如读写IP地址、读写MAC地址等。 一、原理 主要通过系统用socket()、ioctl()、实现 int sock…

基于arduino的土壤湿度检测

1.总体设计框图 本浇花系统总体上分为硬件和软件两大组成部分。硬件部分包括Arduino UNO开发板、温湿度传感器、通信模块、浇水执行系统和液晶显示等。软件部分包括Android客户端。系统结构如图1所示 本浇花系统总体上分为硬件和软件两大组成部分。硬件部分包括Arduino UN…

LeetCode算法题---第2天

注:大佬解答来自LetCode官方题解 80.删除有序数组的重复项Ⅱ 1.题目 2.个人解答 var removeDuplicates function (nums) {let res [];for (let index 0; index < nums.length; index) {let num 0;if (res.includes(nums[index])) {for (let i 0; i < res.length; …

Python2020年06月Python二级 -- 编程题解析

题目一 数字转汉字 用户输入一个1~9&#xff08;包含1和9&#xff09;之间的任一数字&#xff0c;程序输出对应的汉字。 如输入2&#xff0c;程序输出“二”。可重复查询。 答案: 方法一 list1[一,二,三,四,五,六,七,八,九] while True:n int(input(请输入1~9之间任意一个数字…

Windows 安装CMake

CMake 简介 CMake是一个开源的、跨平台的自动化构建系統&#xff0c;用來管理软件构建的过程。 其用途主要包括&#xff1a; 1. 跨平台编译&#xff1a;CMake支援Windows&#xff0c;Mac OS&#xff0c;Linux等多种操作系統&#xff0c;且支援多数主流编译器如GCC&#xff0…

如何在 Elasticsearch 中使用 Openai Embedding 进行语义搜索

随着强大的 GPT 模型的出现&#xff0c;文本的语义提取得到了改进。 在本文中&#xff0c;我们将使用嵌入向量在文档中进行搜索&#xff0c;而不是使用关键字进行老式搜索。 什么是嵌入 - embedding&#xff1f; 在深度学习术语中&#xff0c;嵌入是文本或图像等内容的数字表示…

centos 7.9同时安装JDK1.8和openjdk11两个版本

1.使用的原因 在服务器上&#xff0c;有些情况因为有一些系统比较老&#xff0c;所以需要使用JDK8版本&#xff0c;但随着时间的发展&#xff0c;新的软件出来&#xff0c;一般都会使用比较新的JDK版本。所以就出现了我们标题的需求&#xff0c;一个系统内同时安装两个不同的版…

Bartende:Mac菜单栏图标管理软件

Bartender 是一款可以帮助用户更好地管理和组织菜单栏图标的 macOS 软件。它允许用户隐藏和重新排列菜单栏图标&#xff0c;从而减少混乱和杂乱。 以下是 Bartender 的主要特点&#xff1a; 菜单栏图标隐藏&#xff1a;Bartender 允许用户隐藏菜单栏图标&#xff0c;只在需要时…

【Vue】数据监视输入绑定

hello&#xff0c;我是小索奇&#xff0c;精心制作的Vue系列持续发放&#xff0c;涵盖大量的经验和示例&#xff0c;如有需要&#xff0c;可以收藏哈 本章给大家讲解的是数据监视&#xff0c;前面的章节已经更新完毕&#xff0c;后面的章节持续输出&#xff0c;有任何问题都可以…

孤举者难起,众行者易趋,openGauss 5.1.0版本正式发布!

&#x1f4e2;&#x1f4e2;&#x1f4e2;&#x1f4e3;&#x1f4e3;&#x1f4e3; 哈喽&#xff01;大家好&#xff0c;我是【IT邦德】&#xff0c;江湖人称jeames007&#xff0c;10余年DBA及大数据工作经验 一位上进心十足的【大数据领域博主】&#xff01;&#x1f61c;&am…

基于SSM的教师办公管理的设计与实现(有报告)。Javaee项目。

演示视频&#xff1a; 基于SSM的教师办公管理的设计与实现&#xff08;有报告&#xff09;。Javaee项目。 项目介绍&#xff1a; 采用M&#xff08;model&#xff09;V&#xff08;view&#xff09;C&#xff08;controller&#xff09;三层体系结构&#xff0c;通过Spring S…

Selenium Webdriver自动化测试框架

最近正在编写selenium webdriver自动化框架&#xff0c;经过几天的努力&#xff0c;目前基本已经实现了一套即能满足数据驱动、又能满足Web关键字驱动的自动化框架&#xff08;主要基于 antjenkinstestngselenium webdriverjxl实现&#xff09;。通过这次的自动化框架开发&…

[CISCN2019 华北赛区 Day2 Web1]Hack World 布尔注入

正确的值 错误的值 我们首先fuzz一下 发现空格被过滤了 我们首先测试 (1)(1) (1)(2) 确定了是布尔注入了 我们写一下查询语句 (select(ascii(mid(flag,1,1))>1)from(flag))(select(ascii(mid(flag,1,1))102)from(flag)) 确定了f 开头 我们开始写脚本 import string …

喜获殊荣!迅镭激光获评“2023年苏州市质量奖”!

近日&#xff0c;苏州市质量奖评定委员会公示2023年苏州市质量奖评定结果&#xff0c;经过层层严格评审&#xff0c;迅镭激光从众多企业中脱颖而出&#xff0c;成功获评“苏州市质量奖”称号! 苏州市质量奖是苏州市政府设立&#xff0c;授予在经营质量上表现优秀的苏州企业的专…

交换机之间配置手动|静态链路聚合

两台交换机&#xff0c;配置链路聚合&#xff1a; 1、禁止自动协商速率&#xff0c;配置固定速率 int G0/0/1 undo negotiation auto speed 100int G0/0/2 undo negotiation auto speed 100 2、配置eth-trunk int eth-trunk 1 mode manual | lacp-staticint G0/0/1 eth-trun…

notion + nextjs搭建博客

SaaS可以通过博客来获得SEO流量&#xff0c;之前我自己在nextjs上&#xff0c;基于MarkDown Cloudfare来构建博客&#xff0c;很快我就了解到更优雅的方案&#xff1a;notion nextjs搭建博客&#xff0c;之前搭建了过&#xff0c;没有记录&#xff0c;这次刚好又要弄&#xf…

Yolov8-pose关键点检测:模型轻量化创新 | OREPA结合c2f,节省70%的显存!训练速度提高2倍! | CVPR2022

💡💡💡本文解决什么问题:浙大&阿里提出在线卷积重新参数化OREPA,节省70%的显存!训练速度提高2倍! OREPA | GFLOPs从9.6降低至8.2, mAP50从0.921提升至0.931 Yolov8-Pose关键点检测专栏介绍:https://blog.csdn.net/m0_63774211/category_12398833.html ✨✨…

平台登录页面实现(一)

文章目录 一、实现用户名、密码、登录按钮、记住用户表单1、全局css代码定义在asserts/css/global.css 二、用户名、密码、记住用户的双向绑定三、没有用户&#xff0c;点击注册功能实现四、实现输入用户名、密码、点击登录按钮进行登录操作五、实现表单项校验六、提交表单预验…