ecl-学习
??,块中心网格NX=20,NY=20,NZ=5,dx=dy=20,dz=2 40040010
Top=1000
E和F为什么是这样的？
1、用Schedule建立一个基本的Project
1.建立一个基本工程(Project)并保存
生产数据：后缀为*.VOL or *.vol
井的参数：后缀为*.EV or *.ev，包括射孔(perforation)、堵孔(well squeeze)、酸化(acidise)等。
井的几何参数：后缀为*.TRJ or *.trj；*.CNT or *.cnt；*.NET or *.net；*.LYR or *.lyr；
网格参数：后缀为*.*GR* or *.*gr*
地层特性：后缀为*.*IN* or *.*in*
2.输入井的生产历史(Production History)
加载后缀为*.vol的数据文件
3.输入井的事件数据(Events Data)
加载后缀为*.ev数据文件，包括射孔(perforation)、堵孔(well squeeze)、酸化(acidise)等。
4.输入控制网络数据(Control Network)
加载后缀为*.net的数据文件
5.输入网格参数(Importing a Grid)
加载后缀为*.*gr*即.fgrid的数据文件
6.定义井的轨迹(Trajectories)
(1) 通过输入井的井斜检测(Deviation Survey)数据计算井的轨迹
Schedule加载的这些网格特性数据是由INIT文件提供的，INIT数据文件是通过Eclipse非模拟(NOSIM)数据设置运行而产生的，有两种方式：一种是在GRID部分用INIT关键字运行而
产生的；另一种是在RUNSPEC部分运用NOSIM关键字运行而产生的。
在加载数据以前，必须有以下资料：
?加载的网格文件（这些网格文件由Eclipse或者GRID软件或其它相关软件运行产生的）；
?读入的网格特性文件（Eclipse INIT文件）；
?所要输入的井斜检测数据（由Eclipse 产生的后缀为*.cnt的文件）。
(2) 输入井的轨迹文件(Trajectory File)
井的轨迹文件是由GRID或者FloGrid等网格应用程序所产生的数据文件，也可以由第①种方式产生。
如果在以前已经加载井的几何信息数据文件，如在GRID中计算了井的轨迹并在Schedule 中进行了数据文件的输出，只要在GRID中选择“Output well connections”选项即可输出所需要的网格模型中的网格特性、井的轨迹（包括渗透率、净毛比NTG）等规定格式的数据文件。
(3) 内部交互式(Interactively)定义井的轨迹
如果既没有井的轨迹数据文件(Trajectory File)，又没有井斜检测数据(Deviation Survey)，必须根据手工编写井的轨迹数据表(Trajectory Table)或者通过三维井的轨迹图数字化。这两种情况可以在Schedule钻井方案中非常容易求取，将在后面具体介绍。
7.输入地质小层(Geological Layer)信息
为了避免模拟网格与实际流动地质小层不符（即二者不在同一水平高度，导致网格不能激活），Schedule具有自动调节功能，使二者保持一致。使二者结合的信息保存在后缀为“*.lyr”的文件里面。
8.观察(Visualizing)、确认(Validating)和编辑(Edit)数据
(1)与网格相连的井的三维可视化展示
(2)初始步长条件下井的完井状况三维可视化显示
(3)显示井的连接状况(Well Connection)
9.保存所建立的工程(Project)
10.定义Schedule报告(Reporting)
Schedule允许在模拟过程中指定的时间进行报告文件的生产，由于报告文件是针对整个油田(Field)而来的。
11.为模拟器输出接口文件并检查(Interface File)
后缀为“*.sch”的文件
12.运行Eclipse(Run Eclipse)
在运行Eclipse之前，必须保证在所要运行的目录下具有以下文件：Schedule Section文件(ex1.sch)、Grid文件(ex1.grdecl)、data文件(ex1.data)，而且ex1.sch文件和ex1.grdecl文件必须用“INCLUDE”关键字正确地包含在“SCHEDULE SECTION”部分里面。
运行结果包括以下文件：
Summary文件：ex1.RSM；
Initial and Solution data文件：ex1.FINIT；
GRID data文件：ex1.FGRID；
Summary Specification文件：ex1.FSMSPEC；
标准重启动(Unified Restart)文件：ex1.FUNRST；
Print文件：ex1.PRT；
Unified Summary 文件：ex1.FUNSMARY。
2、Schedule用于历史拟合
Schedule不仅能够以各种方式准备合适、完整的生产数据和完井数据，而且它还能够在进行历史拟合过程中对模拟进行修改，这就降低了在做历史拟合时浪费的大量时间，下面就是介绍在历史拟合时的几个比较有用的例子。
①在历史拟合过程中改变网格特性(Properties)或几何参数(Geometry)
在进行历史拟合过程中的网格应用时，假定要改变模拟网格的特性，如果对与井相连的网格进行改变，则会影响到SCHEDULE部分COMPDAT关键字控制下的连接因子(CF-Connection Factor)的计算。通过Schedule，原始INIT文件将会很容易加载，井的轨迹(Trajectories)也会通过主窗口“Data →Recalculate Trajectories”的应用而重新计算，这样就会改变了井的特性，然后将SCHEDULE部分进行输出，这个过程可以重复进行，直到满足历史拟合所需要的结果为止。
②在井的轨迹数据表上编辑特性(Editing Properties on Trajectory Table)
通过轨迹数据表，Schedule非常容易地、迅速地编辑渗透率(Permeabilities)，这样将会导致井方程(Well Equations)连接因子(Connection Factor)的修改。如果对轨迹数据表进行了编辑，当在“Schedule”主界面（在任何时候，可以重新输入到该工程中，也可以输入到其它工程中）运用“Export →Tractories”对数据进行输出时，将会改变轨迹数据文件。否则，当通过意外事件(By Accident)进行井的轨迹重新计算时，所改变的数据将会丢失。
③在井的轨迹数据表中编辑井的轨迹(Editing Well Trajectory)
如果有必要，所有通过Schedule或输入数据文件计算而得到的井的轨迹都可以在轨迹数据表中进行编辑。这就允许通过在井的轨迹数据表中改变与井相连接的网格IJK坐标到另一个模型中所谓更合适的网格，虽然这种做法是不被推荐的(Recommended)。如果想用这种方法将井移动到新位置，必须对轨迹数据表中新IJK位置特性（渗透率、净毛比NTG）进行更新(Update)。否则，Schedule将按照错误的网格特性进行连接因子计算。
④通过三维可视化视图(3D Viewer)编辑井的轨迹
由于可以通过三维视图创建一口井，并且可以用GRID或FloGrid一致的(Compatible)井斜检测格式(Deviation Survey Format)输出，如果已经保存了井斜文件(Deviation File)，井的轨迹可以通过三维视图进行编辑，三维视图中井的轨迹的改变将在轨迹数据表中随之(Corresponding)而变。
⑤在事件(Events)窗口中编辑内部(Internal) COMPDAT关键字
当将SCHEDULE部分输出后，可以对每一口井在“Events”窗口中进行编辑而且还可以对连接因子(COMPDAT 关键字)进行计算。这种是一种编辑数据非常安全的方法，因为Schedule 保存了对“Events”的编辑，可以随时撤消。
⑥编辑整个目标模拟器(Overall Target Simulator)的时间步长
Schedule在“Simulation Time Framework”窗口中自动计算每一个时间步长的平均产量速度(Production)，如果要想利用附加的时间步长以更准确地得到油藏行为(Reservoir Behavior)的模型，可以在Schedule和SCHEDULE部分输出文件中通过改变整个目标模拟器的时间步长来完成，此时Schedule将会根据新的时间框架(Time Framework)自动改变输出平均产量速度。
3、关键字
1) 默认值设置
两种方法：
●在某一个数字之后用“/”表示其后所有参数取默认值
●使用“数字*”格式表示几个默认值（包括数字本身位置的量），*两端不能用空格
2) 添加注释
两种方法：
●“--”之后标注
●“/”表示结束，其后数据自动忽略
3) 几个全局关键字
●SKIP之后的内容自动忽略直到ENDSKIP出现，对于E100使用SKIP100，E300使用SKIP300
●INCLUDE引用外部文件的内容，必须用/结尾
●COLUMNS用来重置左右位置，只有这些位置的数据进行处理
几个控制输出警告的关键字
●Messages用来修改默认的打印和限制关键字
●WARN和NOW ARN用来控制输出警告语句（PVT,VFT表格外插警告控制用EXTRAPMS）
●DEBUG和NODEBUG用来控制输出调试信息
4) MSGFILE
Control output of the message file
The keyword should be followed by up to one integer. The possible values are:
5) MSSAGES
1.Print limit for severity 1 messages DEFAULT: 1000000
2.Print limit for severity 2 messages DEFAULT: 1000000
3.Print limit for severity 3 messages DEFAULT: 10000
4.Print limit for severity 4 messages DEFAULT: 100
5.Print limit for severity 5 messages DEFAULT: 100
6.Print limit for severity 6 messages DEFAULT: 100
7.Stop limit for severity 1 messages DEFAULT: 1000000
8.Stop limit for severity 2 messages DEFAULT: 1000000
9.Stop limit for severity 3 messages DEFAULT: 10000
10.10Stop limit for severity 4 messages DEFAULT: 100
11.11Stop limit for severity 5 messages DEFAULT: 10
12.12Stop limit for severity 6 messages
DEFAULT: 1
RPTPROPS 控制PROPS部分的输出PROPS部分
●此关键字后是控制特殊输出形式的19个整数，小于或等于0的值关闭输出，大于0
的值打印输出，数据末端是一斜杠（/）。
●如果读入数据少于17个整数，剩余的将不变，注意，如需要（但星号前后不能有空
格）可用重复计数的方法（如3*0）。
第一控制—输出原油饱和度表（SOF2，SOF3）
—Todd-Longstaff的混合参数（TIMIXPAR）
—混相残余油饱和度表（SORWMIS）
第二控制—输出水饱和度表（SWFN）
第三控制—输出气体饱和度表（SGFN）
第四控制—输出原油PVT表（PVDO，PVTO）
第五控制—输出水PVT表（PVTW）
第六控制—输出气体PVT表（PVDG，PVTG）
第七控制—输出表面的密度/重度（DENSITY，GRA VITY，SDENSITY）
第八控制—输出岩石性质（ROCK，ROCKTAB等）
第九控制—输出终点刻度值（ENPTVD等）
第十控制—输出纯性流体示踪剂名（TRACER）
第十一控制—输出聚合物速流模型性质（PL YVISC等）
第十二控制—输出Gi-model饱和流体性质（GINODE等）
第十三控制—输出输出Vefrac （VEFRACV，VEFRAC）
第十四控制—输出表面张力性质（STOG,STOW）
第十五控制—输出Solvent PVT 性质（PVDS）
第十六控制—输出拨姆的Solvent/Gas （SSFN）
第十七控制—输出可混性函数和（MISC）
—压力可混性函数（PMISC）
第十八控制—输出扩散性数据（DIFFC）
第十九控制—输出表面性质（SURFVISC等）
第二十控制—盐性的输出（PVTWSALT）
第二十一控制—环境示踪剂性质的输出（TRADS，TRDCY）
第二十二控制—输出Langmuir等温线（LANGMUIR，LANGSOLV，COALADS）。
●对前三项控制的任一（或全部）的值等于5，则饱和度表以5%的间隔打印。打印出除
了用记指定值外及用户指定值。相似地，对第四、第五、第六控制，如一值等于5，则
在压力间隔200Psi（油田），10bars（公制）或10atmos（实验）时打印PVT表，象前
面的，打印出除用户指定的值以外的值。
●例子
………
RPTPROPS
8*1 /
8) RPTREGS 关键字
RPTREGS 控制REGIONS部分的输出REGIONS部分
●此关键字后是控制特殊输出形式的24个整数，小于或等于0的值关闭输出，大于0的
值打开输出，数据末端是一斜杠（/）。
●如果读入数据少于24个整数，剩余的将不变。注意，如需要（但星号前后不能有空格）
可用重复计数的方法（如3*0）。
第一控制—输出PVT区号（用PVTNUM输入）。
第二控制—输出饱和度区号（用SA TNUM输入）。
第三控制—输出平衡区号（用EQLNUM输入）。
第四控制—输出地下流体区号（用FIPNUM输入）。
第五控制—输出X方向Kr区号（用KRNUMX输入）。
第六控制—输出-X方向Kr区号（用KRNUMX-输入）。
第七控制—输出Y方向Kr区号（用KRNUMY输入）。
第八控制—输出-Y方向Kr区号（用KRNUMY-输入）。
第九控制—输出Z方向Kr区号（用KRNUMZ输入）。
第十控制—输出-Z方向Kr区号（用KRNUMZ-输入）。
第十一控制—输出吸吮区号（用IMBNUM输入）。
第十二控制—输出X方向吸吮区号（用IMBNUMX输入）。
第十三控制—输出-X方向吸吮区号（用IMBNUMX-输入）。
第十四控制—输出Y方向吸吮区号（用IMBNUMY输入）。
第十五控制—输出-Y方向吸吮区号（用IMBNUMY-输入）。
第十六控制—输出Z方向吸吮区号（用IMBNUMZ输入）。
第十七控制—输出-Z方向吸吮区号（用IMBNUMZ-输入）。
第十八控制—输出岩石压实区号（用ROCKNUM输入）。
第十九控制—输出终点与深度区号（用ENDNUM输入）。
第二十控制—输出踪剂与深度区号（用TNUM输入）。
第二十一控制—输出混相区号（用MISCNUM输入）。
第二十二控制—输出基岩/裂缝饱和区号（用KRNUMMF输入）。
第二十三控制—输出基岩/裂缝吸吮区号（用IMBNUMMF输入）。
第二十四控制—输出表面饱和度区号（用SURFNUM输入）
●例子
………
RPTREGS
1 1 1 /
9) RPTRST 关键字
RPTRST 输到RESTART文件的控制SOLUTION和SCHEDULE部分
●此关键字后是控制写入重启文件数据的频率及数量的7个整数，大于0的值打开输出。
数据行末端是一斜杠（/）。
●如读的数少于6个整数，剩余的将不变。注意，如需要（但星号前后不能有空格）可
用重复计数的方法（如3*0）。
●也可用关键字RPTSCHED和RPTSOL的第七开关来控制重启文件。但当指定额外数
据写到RESTART文件，RPTRST允许较大的灵活性。如果RPTRSTA的第一控制设为
1或2，随后用RPTSCHED将不理会重启文件的输出频率。然而如果第一控制设置为
3或更大，RPTSCHED的第7开关的任何值将会被忽略。
第1控制—输出基本的重启文件。
如果设为1，每一报告时间都产生重启文件，但如果文件不一致，仅保留运行中的最后一个（为自动防止故障重启设计的）
如果设为2，在此开关重新设因置前，每个报告时间都产生重启文件，并且全部保留。
如果设为3，每一第几次报告时间都产生重记文件，由第六控制给定重启文件频率。
如果设为4，在每年的第一报告时间步写一个重启文件，比较灵活的是，如果第六控制设为>1，仅每一第n年时写重启文件。
如果设为5，每月的第一报告时间步写一重启文件，灵活的是，如第六控制设为>1，仅每一第n 月时写重启文件。
第2控制—输出块间流动。
第3控制—输出地层流体。
第4控制—输出相的势。
第5控制—输出泡点和露点压力。
第6控制—如第一控制设为>2，控制重启文件的频率。
第7控制—输出水和气相压力。
第8控制—输出流体粘度。
第9控制—输出相的油藏密度。
第10控制—输出泄油排水区。
（能输出到debug文件—参看在关键字OPTIONS中第25控制）
第11控制—输出原油相对渗透率。
第12控制—输出水相对渗透率。
第13控制—输出气体相对渗透率。
例子
………
RPTRST
2 1 0 1 1 /
10) RPTRUNSP 关键字
RPTRUNSP 控制RUNSPEC部分的数据输出RUNSPEC部分
●该关键字下没有有关的数据。在RUNSPEC部分中如果RPRUNSP被指定为最后的关
键字，那么一份在RUNSPEC部分中设置的参数列表就会被加到打印文件里。这个输出包含了设置在RUNSPEC部分中的所有变量（包括缺省值和用户定义值）。
●为了使这个输出能先于任何网格数据被打印出来，RPTRUNSP这个关键字就要用在
GRID关键字之前。
11) RPTSCHED 关键字
RPTSCHED 控制SCHEDULE部分的输出SCHEDULE部分
●该关键字下有46个整数，每个整数控制着特殊的输出方式。数值小于或等于0时不输
出，大于0时输出。在某些情况下（下面所提）输出的量依赖于开关的数的值。
●数据区的结尾用“/”。假如没有读够46个数，那么剩下的数就不改变。注意如果必要的
活可采用重复计数（例3*0）（但在*号前后不能有空格）
●每当需要时，RPTSCHED关键字可用来对SCHEDULE部分进行重新设置输出控制。
所有控制的缺省值为0。
第1个控制—网格压力的输出。
第2个控制—网格的确良油饱和度的输出。
第3个控制—网格的水饱和度的输出。
第4个控制—网格的气饱和度的输出。
第5个控制—网格的溶解气油比的输出。
第6个控制—网格的挥发油气比的输出。
第7个控制—重启文件的输出。
如果设置到1，那么重启文件可以建立在每个报告时间上，但如果文件为非一致性的，那么在运行中只是最后一个文件被保留下来（为自动防止故障的重启而设计）。
如果设置>1，那么重启文件被建立在每个报告时间点上一直到开关重新设置，并且所有的文件都保留下来。
如果设置>2，那么每相的块间流量都被写进重启文件中。
如果设置>3，那么当前每个网格结点上的流体储量和相的势都被写进重启文件中。
参看RUNSPEC部分第30个记录RESTART、RPTRST、PSEUDO、QFMTOU、QFMTIN、QUNOUT、QUNINP这些关键字。如果RPTRST的第一个整数已被预先设置为大于2，那么这
个控制值将被忽略。
初始的重启文件（在0.0天）的输出由关键字PPTSOL的第七个整数来管理，但是必须至少具备一个时间步长。
第8 个控制—流体的储量和区域间流动的报告的输出。
如果设置到1，那么就报告出整个区域的流体储量。
如果设置到2，那么除以上功能外，还可以为每个流体的区域储量产生一份平衡报告表格，这份表展示当前的初始流体储量、井和其它区域的累积物质平衡误差。
还要参看REGIONS中的关键字FIPNUM和RUNSPEC中的关键字NTFIP。
第9个控制—井报告的输出，包括产出、注入量和总量。
给出一份单井油（气）产量报告。
给出一份和射开网格的流量的报告。
给出一份单层总流量。
给出一份单层总流量和井的油（气）流量报告。
给出一份单层总溜量，井和射开网格的流量的报告。
第10个控制—垂直流动性能表的输出。
第11个控制—每一时间步长结尾的汇总结果的输出。
如果设置到1，那么报告就被写进打印文件里。
如果设置到2，那么除以上功能外，还拷贝一份报告到简短的输出上（终端？） 如果设置到3，那么报告只是被送到简短的输出上。
第12个控制—输出CPU的损耗和当前运行所用的时间。
如果设置到1
如果设置到2 同上（第11个控制）
如果设置到3
注意：参看一份说明输出的附录TIMING REPORTS。
当设置到0时，在TS的内部时钟在中间时间步没有记录。
第13个控制—Fetkovich或Carter—Tracy水驱状态的输出。
第14个控制—井表关键字资料的输出。（为了获得它，关键字RPTSCHED必须放在井表关键字前）。
第15个控制—牛顿迭代收敛的汇总输出。
如果设置到1
如果设置到2 同控制11
如果设置到3
第16个控制—网格的油相压力的输出（校正到基准深度）。
第17个控制—网格的水相压力的输出。
第18个控制—网格的水相压力的输出（校正到基准深度）。
第19个控制—网格的气相压力的输出。
第20个控制—网格的气相压力的输出（校正到基准深度）。
（也要参看SOLUTION部分的关键字DATUM）
第21个控制—在原始油、气、水层的地层流体的输出（用于VE—垂直平衡选择）
第22个控制—当前油水界面（WOC）深度的输出。（用于VE选择）
（假如，油水界面在顶部结点之上则输出AAAAA，假如油水界面在底部结点之下则输出BBBBB）
第23个控制—当前油气界面（GOC）深度的输出。（用于VE选择）
（假如油气界面在顶部结点之上则输出AAAAA）
（假如油气界面在顶部结点之下则输出BBBBB）
第24个控制—当前油水界面深度—初始油水界面深度的输出（用于VE选择）
第25个控制—当前油气界面深度—初始油气界面深度的输出（用于VE选择）
第26个控制—当前油水界面深度—当前油气界面深度的输出（用于VE选择）
第27个控制—侵入气区的油的输出（用于VE选择）
（1=在整个区域和油田，＞1=网格间）
第28个控制—侵入水区的油的输出（用于VE选择）
（1=在整个区域和油田，＞1=网格间）
第29个控制—侵入油和水区的气的输出（用于VE选择）
（1=在整个区域和油田，＞1=网格间）
第30个控制—侵入油和气区的水的输出（用于VE选择）
（1=在整个区域和油田，＞1=网格间）
第31个控制—网格中油的API值的输出（用于API选择）
第32个控制—示踪剂流体的储量报千的输出（用于示踪选择）
给出整个油田的报告
除以上外，还给出每个流体的区域储量的报告。
第33个控制—网格的示踪剂浓度的输出（用于示踪追踪）
第34个控制—网格的聚合物浓度值的输出（用于聚合物驱油法选择）
第35个控制—网格中盐的浓度的输出。（用于盐水选择和盐的敏感性聚合物驱油法选选择）第36个控制—在地层岩石上当前吸附的聚合物浓度的输出（用于聚合物驱油法选择）
第37个控制—当前用于水相相对渗透率的渗透率换算系数的输出（用于聚合物驱油法选择）第38个控制—盐液储量报告的输出（用于盐水选择和盐的敏感性聚合物驱油法选择）
第39个控制—由关键字TUNING设置的模拟器控制参数的输出。
第40个控制—用于凝析液/挥发油模型的当前GI值的输出。
第41个控制—修改孔隙体积和传导率乘子的输出。（用于岩石压实模型）
2.给出假设在Z方向压实的修改的DZ值。
3.除以上外，还给出每列网格的DZ总和。
（DZ输出仅用于滞后（Hysteretic）模型QROCKH=T）
第42个控制—当前溶剂饱和度的输出。
第43个控制—溶剂饱和度的输出。
给出整个油田的报告。
除上外，还给出每个流体的区域储量的报告。
第44个控制—表面活性剂浓度和毛细管数的输出。（用于表面活性剂模型）
第45个控制—在地层岩石中，当前吸附的表面活性剂浓度的输出（用于表面活性剂模型）。第46个控制—表面活性剂液储量报告的输出。
（用于表面活性剂模型）
给出整个油田的报告。
除上外，还给出每个流体的区域储量的报告。
例：
RPTSCHED
0 1 0 1 1 0 1 2 2 0 2 2 1 1 1 /
12) RPTSMAY 关键字
RPTSMRY 控制SUMARY部分的输出SUMMARY部分
●这个关键字下只有一个整数，该整数定义在当前运行中，是否ECLIPSE打印一份写进
汇总文件的变量表。
●当开关值为0时不输出，值为1时输出。数据区结尾用“/”。
例：
RPTSMRY
1 /
13) RPTSOL 关键字
RPTSOL 控制SOLUTION部分的输出SOLUTION部分
●该关键字下有46个整数，每个整数控制着特殊的输出方式。数值小于或等于0时不输
出。大于0时输出。
●在某些情况（下面所提），输出的量依赖于开关的数值。数据区的结尾用斜杠（/）。
●假如没有读够46个数，那么剩下的数就不改变。注意，如果必要的话可以采用重复计
数（例如0）（但在*号前后不能有空格）。
第1个控制—初始网格压力的输出。
第2个控制—初始的网格含油饱和度的输出。
第3个控制—初始的网格含水饱和度的输出。
第4个控制—初始的网格含气饱和度的输出。
第5个控制—初始网格溶解气油比的输出。
第6个控制—初始网格挥发油气比的输出。
第7个控制—
如果设置>1，那么建立一个初始重启文件。
如果设置>2，那么每相的块间流量都被写进重启文件中。
如果设置>3，那么当前每个网格结点上的流体储量和相的势都被写进重启文件中。
（如果需要一个初始重启文件，那么必须至少有关键字TSTEP或DA TES；但如果不需要模拟，
那么模拟模型就被RUNSPEC部分的第30个记录中设置QSOLVE到F而中断）。
第8 个控制—流体储量报告的输出。
如果设置到1，那么就报告出整个油田的初始流体储量。
如果设置到2，那么除以上功能外，还可为每个流体的区域储量报告初始流体储量。还可参看
REGIONS部分的关键字FIPNUM和RUNSPEC部分的关键字NTFIP。
第9个控制—平衡数据的输出（用EQUIL输入）
第10个控制—初始Rs与深度关系表的输出（用RSVD输入）
第11个控制—初始Rv与深度关系表的输出（用RVVD输入）
第12个控制—Fetkovich或Carter—Tracy水驱数据的输出（用AQUFET，AQUFETP，AQUCT 输入）
第13个控制—门限压力的输出（参看RUNSPEC第14个记录和关键字THPRES）
第14个控制—初始API与深度的关系表的输出（用APIVD输入）
第15个控制—目前没有使用。
第16个控制—初始的网格油相压力的输出（校正到基准深度）。
第17个控制—初始的网格的水相压力的输出。
第18个控制—初始的网格的水相压力的输出
（校正到基准深度）。
第19个控制—初始的网格的气相压力的输出。
第20个控制—初始的网格的气相压力的输出（校正到基准深度）。
（也要参看SOLUTION部分的关键字DATUM）
第21个控制—在VE选择中，原始油、水和气层的流体储量的输出。
第22个控制—在VE选择中，初始油水界面深度的输出（如果油水界面在顶部结点之上则输出AAAAA，如果在底部结点以下则输出BBBBB）
第23个控制—在VE选择中，初始油气界面深度的输出（如果油气界面在顶部结点之上则输出AAAAA，如果在底部结点以下则输出BBBBB）
第24个控制—如果端点标度或可动流体的校正被击活，那么输出每个网格结点的每个方向的水中临界油的饱和度。
第25个控制—如果端点标度或可动流体的校正被击活，那么输出每个网格结点的每个方向的气中的临界油饱和度。
第26个控制—如果端点标度或可动流体的校正被击活，那么输出每个网格结点的束缚水，临界的和最大值的水的饱和度。
第27个控制—如果端点标度或可动流体的校正被击活，那么输出每个网格结点的原生水，临界的和最大值的气的饱和度。
第28个控制—在示踪追踪选择中，初始示踪浓度与深度的关系表的输出（关键字TVDP）。
第29个控制—初始盐浓度与深度的关系表的输出（用关键字SALTVD输入）。
第30个控制—目前没有使用。
第31个控制—初始的网格的API值的输出（用于API追踪）
第32个控制—示踪剂流体储量的输出（用于示踪追踪）
1.给出一份整个油田的报告
2.除以上外，还给出每个流体的区域储量的报告。
第33个控制—初始的网格的示踪剂浓度的输出（用于示踪追踪）
第34个控制—初始的网格的聚合物浓度值的输出（用于聚合物驱油模型）
第35个控制—初始网格的盐的浓度值的输出。（用于盐水选择和盐的敏感性聚合物驱油模型）
第36个控制—地层岩石上当前吸附的聚合物浓度的输出（用于聚合物驱油模型）
第37个控制—当前用于水相的渗透率换算系数的输出（用于聚合物驱油模型）
第38个控制—聚合物/盐液储量报告的输出（用于盐水选择和盐的敏感性聚合物驱油模型） 给出整个油田的报告。
除以上外，还可给出每个流体的区域储量的报告。
第39个控制—目前没有使用。
第40个控制—凝析液/挥发油模型的初始GI值的输出。
第41个控制—修改孔隙体积和传导率乘子的输出。（用于岩石压实模型）
2.给出假设在Z方向压实的修改的DZ值。
3.除以上外还给出每列网格的DZ总和。
（DZ输出仅用于滞后模型QROCKH=T）
第42个控制—初始溶剂饱和度的输出。
第43个控制—溶剂流体储量报告的输出。
给出整个油田的报告。
除以上外还给出每个流体的区域储量的报告。
第44个控制—表面活性剂浓度的输出。（用于表面活性剂模型）
第45个控制—在地层岩石中，当前吸附的表面活性剂浓度的输出（用于表面活性剂模型）。
第46个控制—表面活性剂流体储量报告的输出。
1.给出整个油田的报告。
2.除以上外还给出每个流体的区域储量的报告。
例
RPTSOL
0 1 0 1 0 1 0 2 1 0 1 0 /
14) WECON
WECON 生产井的经济限数据SCHEDULE部分
关键字后跟任意多个记录，每个记录包含以下数据项且以斜杠（/）结束。
记录可在第1项之后任何地方结束，剩余的项就使用其缺省值，斜杠前面的缺省项可用“空值”指示符指定（n*，表示连续有n项被缺省）。
记录组以仅含一个斜杠（/）的空记录结束。
1、井名或井名根（如果有使用EDIT程序就用引号引着）以星号（*）结尾的井名根可用来将多口井归于一个记录中。
2、最小油产率。
●单位：SM3 /DAY（公制），STB/DAY（英制），SCC/HOUR（实验室）
●缺省值=0.0
●若油产率降到低于指定的最小值就关井或停产（看关键字WELSPECS的第9项）,
可是若该井还有射孔层留在自动打开（看关键字COMPDAT的第6项）队列上且
满足最小含油饱和度要求（若使用关键字WELSOMIN），则修井工具一有空就打
开一层。
●0或负值都会关断此限制条件。
3、最小产率。
●单位：SM3/DAY（公制），STB/DAY（英制），SCC/HOUR（实验室）
●缺省值=0.0
●若气产率降到低于指定的最小值就关井或停产（看关键字WELSPECS的第9项），
可是，若该井还有射孔层留在自动打开（看关键字COMPDA T的第6项）队列上
且满足最小含气饱和度要求（若使用关键字WELSOMIN），则修井工具一有空就
打开一层。
●0或负值都会关断此限制条件。
4、最大含水率（水液比）。
●单位：SM3/SM3（公制），STB/STB（油田单位），SCC/SCC（实验室）
●缺省值=大数（1.0E20）
●0值或大于1.0都关断此条件。
5、最大气油比。
●单位是：SM3/SM3（米制），MSCF/STB（油田单位），SCC/SCC（实验室）
●缺省值=大数（1.0E20）
●负值、0值或大于1.0E19都关断此限制条件。
●若指定负值（—X），且井的油气比大于正X，即使违反了井的含水限制（第4项），
井组含水限制（GECON）或井组的水或液产率限制（GCONPROD）都不管井的
含水或修井。此选择使井在一生中的不同阶段成为产气为主或产油为主。它运许
井为气井期限有高含水。
6、最大水气比。
●单位是：SM3/SM3（米制），STB/MSCF（油田单位），SCC/SCC（实验室）
●缺省值=大数（1.0E20）
●0值或大于1.0E19都关断此限制条件。
7、超过含水、汽油比或水气比时的修井处理（如果不使用EDLT程序就用引号引着）。
●…NONE?—不做任何事。
●…CON?—关掉最糟的层。
●…+CON?—关掉最糟的层及及以下的所有层。
●…WELL?—关井或停产（关键字WELSPECS的第9项）。
●…PLUG?—从射开段的顶部或低部封堵。（仅用于垂向平衡的运行—看关键字
PLUG）
●（词可缩写，只认首字母）
●缺省值=…NONE?
8、结束运行标记（如果不使用EDIT程序就使用引号引着）。
●…YES?——若开井后由于种种原因引起关井或停产，则在下一个出报告的时间停止
运行。
●…NO?——不管怎样都继续运行。（词可缩写，只认首字母）
●缺省值=…NO?。
9、当此关井时，要打开的另一口井的名字（如果不使用EDIT程序就使用引号引着）。
●缺省值=… ?
●若在此输入一个井名，当第1项中指定的井由某种原因（例如破坏了经济极限）
自动关井时，要打开此处命名的井，该井必须完全指定为关着的生产井或注入井。
第1项中的井手工关闭（例如用WCONPROD或WELOPEN）就不会引起被命令
井的打开。
例如，当一口生产变得无经济效益而关井时，此选则可用来打开一口注水井。若注入井与生产井有相同的完井段，则其效果相当于把生产井变换成注水井，虽然在这种情况下它们被看作是两口独立的井。
●数据记录以斜杠（/）结束。
●记录组以仅含一个斜杠（/）的空记录结束。
●若井组无产率目标，就不对从属于它的井进行经济极限检查，这样可避免当其平
台暂时关闭时井被长期关注，井的产率目标按优先级被降低时，也不进行最小产
率检查，避免井在暂时以小目标产率流动期间被关掉。
还请看关键字COMPLUMP、WLIMTOL和WORKLIM。
例子：
WECON
第一章常用逻辑用语基础训练及答案
第一章 常用逻辑用语基础训练 一、选择题 1．下列语句中是命题的是（ ） A ．周期函数的和是周期函数吗？ B ．0 sin 451= C ．2 210x x +-> D ．梯形是不是平面图形呢？ 2．在命题“若抛物线2y ax bx c =++的开口向下，则{} 2 |0x ax bx c φ++<≠”的 逆命题、否命题、逆否命题中结论成立的是（ ） A ．都真 B ．都假 C ．否命题真 D ．逆否命题真 3．有下述说法：①0a b >>是22 a b >的充要条件. ②0a b >>是b a 1 1<的充要条件. ③0a b >>是3 3 a b >的充要条件.则其中正确的说法有（ ） A ．0个 B ．1个 C ．2个 D ．3个 4．下列说法中正确的是（ ） A ．一个命题的逆命题为真，则它的逆否命题一定为真 B ．“a b >”与“ a c b c +>+”不等价 C ．“2 2 0a b +=,则,a b 全为0”的逆否命题是“若,a b 全不为0, 则2 2 0a b +≠” D ．一个命题的否命题为真，则它的逆命题一定为真 5．若:,1A a R a ∈<, :B x 的二次方程2 (1)20x a x a +++-=的一个根大于零, 另一根小于零,则A 是B 的（ ） A ．充分不必要条件 B ．必要不充分条件 C ．充要条件 D ．既不充分也不必要条件 6．已知条件:12p x +>，条件2:56q x x ->，则p ?是q ?的（ ） A ．充分不必要条件 B ．必要不充分条件 C ．充要条件 D ．既不充分也不必要条件 二、填空题 1．命题：“若a b ?不为零，则,a b 都不为零”的逆否命题是 。 2．12:,A x x 是方程2 0(0)ax bx c a ++=≠的两实数根；12:b B x x a +=- , 则A 是B 的 条件。 3．用“充分、必要、充要”填空： ①p q ∨为真命题是p q ∧为真命题的_____________________条件； ②p ?为假命题是p q ∨为真命题的_____________________条件； ③:23A x -<, 2 :4150B x x --<, 则A 是B 的___________条件。
《专题一：常用逻辑用语》知识点归纳
高中数学必修+选修知识点归纳 新课标人教A 版 鲁甸县文屏镇中学高三第一轮复习资料 复习寄语：
引言 1.课程内容： 必修课程由5个模块组成： 必修1：集合、函数概念与基本初等函数（指、对、幂函数） 必修2：立体几何初步、平面解析几何初步。必修3：算法初步、统计、概率。 必修4：基本初等函数（三角函数）、平面向量、三角恒等变换。 必修5：解三角形、数列、不等式。 以上是每一个高中学生所必须学习的。 上述内容覆盖了高中阶段传统的数学基础知识和基本技能的主要部分，其中包括集合、函数、数列、不等式、解三角形、立体几何初步、平面解析几何初步等。不同的是在保证打好基础的同时，进一步强调了这些知识的发生、发展过程和实际应用，而不在技巧与难度上做过高的要求。 此外，基础内容还增加了向量、算法、概率、统计等内容。 选修课程有4个系列： 系列1：由2个模块组成。 选修1—1：常用逻辑用语、圆锥曲线与方程、 导数及其应用。 选修1—2：统计案例、推理与证明、数系的扩 充与复数、框图 系列2：由3个模块组成。 选修2—1：常用逻辑用语、圆锥曲线与方程、 空间向量与立体几何。 选修2—2：导数及其应用，推理与证明、数系 的扩充与复数 选修2—3：计数原理、随机变量及其分布列， 统计案例。 系列3：由6个专题组成。 选修3—1：数学史选讲。 选修3—2：信息安全与密码。 选修3—3：球面上的几何。 选修3—4：对称与群。 选修3—5：欧拉公式与闭曲面分类。 选修3—6：三等分角与数域扩充。 系列4：由10个专题组成。 选修4—1：几何证明选讲。 选修4—2：矩阵与变换。选修4—3：数列与差分。 选修4—4：坐标系与参数方程。 选修4—5：不等式选讲。 选修4—6：初等数论初步。 选修4—7：优选法与试验设计初步。 选修4—8：统筹法与图论初步。 选修4—9：风险与决策。 选修4—10：开关电路与布尔代数。 2．重难点及考点： 重点：函数，数列，三角函数，平面向量，圆锥曲线，立体几何，导数 难点：函数、圆锥曲线 高考相关考点： ⑴集合与简易逻辑:集合的概念与运算、简易逻 辑、充要条件 ⑵函数：映射与函数、函数解析式与定义域、 值域与最值、反函数、三大性质、函 数图象、指数与指数函数、对数与对 数函数、函数的应用 ⑶数列：数列的有关概念、等差数列、等比数 列、数列求和、数列的应用 ⑷三角函数：有关概念、同角关系与诱导公式、 和、差、倍、半公式、求值、化 简、证明、三角函数的图象与性 质、三角函数的应用 ⑸平面向量：有关概念与初等运算、坐标运算、 数量积及其应用 ⑹不等式：概念与性质、均值不等式、不等式 的证明、不等式的解法、绝对值不 等式、不等式的应用 ⑺直线和圆的方程：直线的方程、两直线的位 置关系、线性规划、圆、 直线与圆的位置关系 ⑻圆锥曲线方程：椭圆、双曲线、抛物线、直 线与圆锥曲线的位置关系、 轨迹问题、圆锥曲线的应用⑼直线、平面、简单几何体：空间直线、直线 与平面、平面与平面、棱柱、 棱锥、球、空间向量 ⑽排列、组合和概率：排列、组合应用题、二 项式定理及其应用 ⑾概率与统计：概率、分布列、期望、方差、 抽样、正态分布 ⑿导数：导数的概念、求导、导数的应用 ⒀复数：复数的概念与运算 - 1 -
最新常用逻辑用语单元测试(附答案)
麻博达《常用逻辑用语》单元训练 1 2 班级：姓名： 题号 1 2 345678910答案 3 一、选择题： 4 1．函数f（x）=x|x+a|+b是奇函数的充要条件是（） 5 A．ab=0 B．a+b=0 C．a=b D．0 2 2= +b a 6 2．“至多有三个”的否定为（） 7 A．至少有三个 B．至少有四个 C．有三个 D．有四个 8 3．有金盒、银盒、铅盒各一个，只有一个盒子里有肖像．金盒上写有命题p：肖像在9 这个盒子里；银盒上写有命题q：肖像不在这个盒子里；铅盒上写有命题r：肖像不在10 金盒里．p、q、r中有且只有一个是真命题，则肖像在（） 11 A．金盒里 B．银盒里 12 C．铅盒里 D．在哪个盒子里不能确定 13 4．不等式对于恒成立，那么的取值范围是（） 14 A． B． C． D． 15 5．“a和b都不是偶数”的否定形式是（） A．a和b至少有一个是偶数 B．a和b至多有一个是偶数 16 17 C．a是偶数，b不是偶数 D．a和b都是偶数
6．某食品的广告词为：“幸福的人们都拥有”，初听起来，这似乎只是普通的赞美18 说词，然而他的实际效果大哩，原来这句话的等价命题是 （ ） 19 A ．不拥有的人们不一定幸福 B ．不拥有的人们可能幸福 20 C ．拥有的人们不一定幸福 D ．不拥有的人们不幸福 21 7．若命题“p 或q”为真，“非p”为真，则 （ ） 22 A ．p 真q 真 B ．p 假q 真 C ．p 真q 假 D ．p 假q 假 23 8．条件p ：，，条件q ：，，则条件p 是条件q 的（ ） 24 A ．充分而不必要条件 B ．必要而不充分条件 25 C ．充要条件 D ．即不充分也不必要条件 26 9．2x2－5x －3＜0的一个必要不充分条件是 （ ） 27 A ．－＜x ＜3 B ．－＜x ＜0 28 C ．－3＜x ＜ D ．－1＜x ＜6 29 10．设原命题：若a+b≥2，则a,b 中至少有一个不小于1。则原命题与其逆命题的真30 假情况是（ ） 31 A ．原命题真，逆命题假 B ．原命题假，逆命题真 32 C ．原命题与逆命题均为真命题 D ．原命题与逆命题均为假命题 33 二、填空题： 34 11．下列命题中_________为真命题． 35 ①“A∩B=A”成立的必要条件是“A B”； 36 ②“若022=+b a ，则x ，y 全为0”的否命题； 37 ③“全等三角形是相似三角形”的逆命题； 38
常用逻辑用语单元测试(附答案)
麻博达《常用逻辑用语》单元训练 班级：： 1 2 3 4 5 6 7 8 9 10 题 号 答 案 一、选择题： 1．函数f（x）=x|x+a|+b是奇函数的充要条件是（）A．ab=0 B．a+b=0 C．a=b D．0 2= 2 a +b 2．“至多有三个”的否定为（）A．至少有三个B．至少有四个C．有三个D．有四个3．有金盒、银盒、铅盒各一个，只有一个盒子里有肖像．金盒上写有命题p：肖像在这个盒子里；银盒上写有命题q：肖像不在这个盒子里；铅盒上写有命题r：肖像不在金盒里．p、q、r中有且只有一个是真命题，则肖像在（） A．金盒里B．银盒里 C．铅盒里D．在哪个盒子里不能确定 4．不等式对于恒成立，那么的取值范围是（）A．B．C．D． 5．“a和b都不是偶数”的否定形式是（） A．a和b至少有一个是偶数B．a和b至多有一个是偶数C．a是偶数，b不是偶数D．a和b都是偶数 6．某食品的广告词为：“幸福的人们都拥有”，初听起来，这似乎只是普通的赞美说词，然而他的实际效果大哩，原来这句话的等价命题是（） A．不拥有的人们不一定幸福B．不拥有的人们可能幸福C．拥有的人们不一定幸福D．不拥有的人们不幸福 7．若命题“p或q”为真，“非p”为真，则（）A．p真q真B．p假q真C．p真q假D．p假q假
8．条件p：，，条件q：，，则条件p是条件q的（）A．充分而不必要条件B．必要而不充分条件 C．充要条件D．即不充分也不必要条件9．2x2－5x－3＜0的一个必要不充分条件是（） A．－＜x＜3 B．－＜x＜0 C．－3＜x＜D．－1＜x＜6 10．设原命题：若a+b≥2，则a,b中至少有一个不小于1。则原命题与其逆命题的真假情况是（） A．原命题真，逆命题假B．原命题假，逆命题真 C．原命题与逆命题均为真命题D．原命题与逆命题均为假命题二、填空题： 11．下列命题中_________为真命题． ①“A∩B=A”成立的必要条件是“A B”； ②“若0 2= 2 a，则x，y全为0”的否命题； +b ③“全等三角形是相似三角形”的逆命题； ④“圆内接四边形对角互补”的逆否命题。 12．若p：“平行四边形一定是菱形”，则“非p”为________。13．已知p，q都是r的必要条件，s是r的充分条件,q是s的充分条件，则s是q的________条件，r是q的___________条件，p是s的__________条件。 14．设p、q是两个命题，若p是q的充分不必要条件，那么非p是非q的___________条件。 三、解答题： 15．分别写出下列命题的逆命题，否命题，逆否命题，并判断其真假。（1）矩形的对角线相等且互相平分； （2）正偶数不是质数。
常用逻辑用语测试题
常用逻辑用语测试题 一 、 选择题（本大题共12小题，每小题3分，共36分．在每小题给出的四个选项中，只有一项是符合题目要求的） 1．下列语句不是命题的有( ) ①2 30x -=;②与一条直线相交的两直线平行吗③315+=;④536x -> A.①③④ B.①②③ C.①②④ D.②③④ 2．（改编题）命题“a 、b 都是奇数，则a ＋b 是偶数”的逆命题是 （ ） A ．a 、b 都不是奇数，则a ＋b 是偶数 B ．a ＋b 是偶数，则a 、b 都是奇数 C ．a ＋b 不是偶数，则a 、b 都不是奇数 D ．a ＋b 不是偶数，则a 、b 不都是奇数 3．命题“若a ＞b ，则2 2 ac bc >”(这里a 、b 、c 都是实数)与它的逆命题、否命题、逆否命题中，真命题的个数为 （ ） A ．4个 B ．3个 C ．2个 D ．0个 4．命题“若A ∪B ＝A ，则A ∩B=B ”的否命题是（ ） A ．若A ∪ B ≠A ，则A ∩B ≠B B ．若A ∩B ＝B ，则A ∪B=A C ．若A ∩B ≠A ，则A ∪B ≠B D ．若A ∪B ＝B ，则A ∩B ＝A 5．（改编题）下列有关命题的说法中错误的个数是( ) ①若p q ∧为假命题,则p q 、均为假命题 ②“1x =”是“2320x x -+=”的充分不必要条件 ③命题“若2 320x x -+=,则1x =“的逆否命题为:“若1,x ≠则2 320x x -+≠” ④对于命题:,p x R ?∈使得2 10x x ++<,则:,p x R ??∈均有2 10x x ++≥ A 4 B 3 C 2 D 1 6．已知命题:p R x ∈?,022 ≤++a ax x .若命题p 是假命题,则实数a 的取值范围是 ( ) A.(,0][1,)-∞+∞ B.[0,1] C.(,0)(1,)-∞+∞ D.(0,1) 7．（原创题）“ 2a b =-”是“直线20ax y +=垂直于直线1x by +=”的( ) A.充分而不必要条件 B.充分必要条件 C.必要而不充分条件 D.既不充分也不必要条件 8．用反证法证明命题：“a ，b ∈N ，ab 能被5整除，那么a ，b 中至少有一个能被5整除”时，假设的内容是（ ） A ．a 、b 都能被5整除
常用逻辑用语测试题(含答案)
常用逻辑用语测试题（答案） 1、一个命题与他们的逆命题、否命题、逆否命题这4个命题中（ ） A 、真命题与假命题的个数相同 B 、真命题的个数一定是奇数 C 、真命题的个数一定是偶数 D 、真命题的个数可能是奇数，也可能是偶数 2、下列说法中正确的是（ ） A 、一个命题的逆命题为真，则它的逆否命题一定为真 B 、“a b >”与“ a c b c +>+”不等价 C 、“220a b +=,则,a b 全为0”的逆否命题是“若,a b 全不为0, 则220a b +≠” D 、一个命题的否命题为真，则它的逆命题一定为真 3、给出命题：若函数()y f x =是幂函数，则函数()y f x =的图象不过第四象限．在它的逆命题、否命题、逆否命题三个命题中，真命题的个数是（ ） A 、3 B 、2 C 、1 D 、0 4、命题“设a 、b 、c R ∈，若22ac bc >则a b >”以及它的逆命题、否命题、逆否命题中，真命题的 个数为（ ） A 、0 B 、1 C 、2 D 、3 5、“若x ≠a 且x ≠b，则2()x a b x ab -++≠0”的否命题（ ） A 、若x ＝a 且x ＝b ，则2()x a b x ab -++＝0 B 、若x ＝a 或x ＝b ，则2()x a b x ab -++≠0 C 、若x ＝a 且x ＝b ，则2()x a b x ab -++≠0 D、若x ＝a 或x ＝b ，则2()x a b x ab -++＝0 6、“0x >0>”成立的( ) A 、充分不必要条件. B 、必要不充分条件. C 、充要条件. D 、既不充分也不必要条件. 7、“()24x k k Z π π=+∈”是“tan 1x =”成立的 （ ） A 、充分不必要条件. B 、必要不充分条件. C 、充分条件. D 、既不充分也不必要条件. 8、不等式2 230x x --<成立的一个必要不充分条件是（ ） A 、-1 《常用逻辑用语》单元测试题 一、选择题（共10 小题，每题 5 分，共50 分）： 1．命题“梯形的两对角线互相不平分”的形式为（） A．p 或q B．p 且q C．非p D．简单命题 2．若命题p：2n－1 是奇数，q：2n＋1 是偶数，n Z 则下列说法中正确的是（）A．p 或q 为真B．p 且q 为真C．非p 为真D．非q 为假 3．对命题p：A∩＝，命题q：A∪＝A，下列说法正确的是（）A．p 且q 为假B．p 或q C．非p 为真D．非p 为假 4．“至多四个”的否定为（） A．至少有四个B．至少有五个C．有四个D．有五个 5．下列存在性命题中，假命题是（） 2 A．x∈Z，x -2x- 3= 0B．至少有一个x∈Z，x能被 2 和3 整除 2 是有理数 C．存在两个相交平面垂直于同一条直线D．x∈｛x 是无理数｝，x 6．A、B、C 三个命题，如果A是B 的充要条件， C 是B 的充分不必要条件，则 C 是A 的 （） A．充分条件B．必要条件C．充要条件D．既不充分也不必要条件7．下列命题： 2+2 x+1＝0 成立；②对任意的x 都有x2+2 x+1＝0 成立； ①至少有一个x 使x 2 2 ③对任意的x 都有x +2 x+1＝0 不成立；④存在x 使x +2x+1＝0 成立； 其中是全称命题的有（） A．1 个B．2 个C．3 个D．0 8．全称命题“所有被 5 整除的整数都是奇数”的否定（） A ．所有被 5 整除的整数都不是奇数 B．所有奇数都不能被 5 整除 C．存在一个被 5 整除的整数不是奇数 D．存在一个奇数，不能被 5 整除 9．使四边形为菱形的充分条件是（） A．对角线相等B．对角线互相垂直 C．对角线互相平分D．对角线垂直平分 10．给出命题： 3<1；②x∈Q，使x2=2；③x∈N，有x3>x2；④x∈R，有x2+1>0． ①x∈R，使x 其中的真命题是（） A．①④B．②③C．①③D．②④ 二、填空题（共 5 小题，每题 5 分，共25 分）： 11．由命题p：“矩形有外接圆”，q：“矩形有内切圆”组成的复合命题“p或q”“p 且q”“非p” 形式的命题中真命题是__________． 麻博达《常用逻辑用语》单元训练 班级：姓名： 题 12345678910号 答 案 一、选择题： 1．函数f（x）=x|x+a|+b是奇函数的充要条件是（） A．ab=0 B．a+b=0 C．a=b D．0 2= 2 a +b 2．“至多有三个”的否定为（） A．至少有三个 B．至少有四个 C．有三个 D．有四个3．有金盒、银盒、铅盒各一个，只有一个盒子里有肖像．金盒上写有命题p：肖像在这个盒子里；银盒上写有命题q：肖像不在这个盒子里；铅盒上写有命题r：肖像不在金盒里．p、q、r中有且只有一个是真命题，则肖像在（） A．金盒里 B．银盒里 C．铅盒里 D．在哪个盒子里不能确定 4．不等式对于恒成立，那么的取值范围是（） A． B． C． D． 5．“a和b都不是偶数”的否定形式是（） A．a和b至少有一个是偶数 B．a和b至多有一个是偶数 C．a是偶数，b不是偶数 D．a和b都是偶数 6．某食品的广告词为：“幸福的人们都拥有”，初听起来，这似乎只是普通的赞美说词，然而他的实际效果大哩，原来这句话的等价命题是（） A．不拥有的人们不一定幸福 B．不拥有的人们可能幸福 C．拥有的人们不一定幸福 D．不拥有的人们不幸福 7．若命题“p或q”为真，“非p”为真，则（） 8．条件p：，，条件q：，，则条件p是条件q的（） A．充分而不必要条件 B．必要而不充分条件 C．充要条件 D．即不充分也不必要条件 9．2x2－5x－3＜0的一个必要不充分条件是（） A．－＜x＜3 B．－＜x＜0 C．－3＜x＜ D．－1＜x＜6 10．设原命题：若a+b≥2，则a,b中至少有一个不小于1。则原命题与其逆命题的真假情况是（） A．原命题真，逆命题假 B．原命题假，逆命题真 C．原命题与逆命题均为真命题 D．原命题与逆命题均为假命题二、填空题： 11．下列命题中_________为真命题． ①“A∩B=A”成立的必要条件是“A B”； ②“若0 2= 2 a，则x，y全为0”的否命题； +b ③“全等三角形是相似三角形”的逆命题； ④“圆内接四边形对角互补”的逆否命题。 12．若p：“平行四边形一定是菱形”，则“非p”为________。13．已知p，q都是r的必要条件，s是r的充分条件,q是s的充分条件，则s是q的________条件，r是q的___________条件，p是s的__________条件。 14．设p、q是两个命题，若p是q的充分不必要条件，那么非p是非q的___________条件。 三、解答题： 15．分别写出下列命题的逆命题，否命题，逆否命题，并判断其真假。（1）矩形的对角线相等且互相平分； （2）正偶数不是质数。 《 常用逻辑用语》 一、判断命题真假 1、下列命题中，真命题是 （ ） A ．221,sin cos 222 x x x R ?∈+= B ．(0,),sin cos x x x π?∈> C ．2,1x R x x ?∈+=- D ．(0,),1x x e x ?∈+∞>+ 2、如果命题“)q p ∨?（”为假命题，则（ ） A. p,q 均为假命题 B. p,q 均为真命题 C. p,q 中至少有一个为真命题 D. p,q 中至多有一个为真命题 3、有四个关于三角函数的命题： 1p ：?x ∈R, 2 sin 2x +2cos 2x =12 2p : ?x 、y ∈R, sin(x-y)=sinx-siny 3p : ?x ∈[]0,π1cos 22 x -4p : sinx=cosy ? x+y=2π 其中假命题的是（ ） （A ）1p ，4p （B ）2p ，4p （C ）1p ，3p （D ）2p ，4p 4、给出下列命题： ①在△ABC 中，若∠A ＞∠B ，则sin A ＞sin B ； ②函数y ＝x 3 在R 上既是奇函数又是增函数； ③函数y ＝f(x)的图象与直线x ＝a 至多有一个交点； ④若将函数y ＝sin 2x 的图象向左平移π4个单位，则得到函数y ＝sin ? ????2x ＋π4的图象． 其中正确命题的序号是( ) A ．①② B ．②③ C ．①②③ D ．①②④ 5、若命题p ：圆(x －1)2＋(y －2)2＝1被直线x ＝1平分；q ：在△ABC 中，若sin 2A ＝sin 2B ，则A ＝B ，则下列结论中正确的是( ) A ．“p∨q”为假 B ．“p∨q”为真 C ．“p∧q”为真 D ．以上都不对 6、已知命题p 1：函数y ＝2x －2－x 在R 上为增函数；p 2：函数y ＝2x ＋2－x 在R 上为减函数， 则在命题q 1：p 1∨p 2，q 2：p 1∧p 2，q 3：(?p 1)∨p 2和q 4：p 1∧(?p 2)中，真命题是( ) 1 / 11 常用逻辑用语测试题一 一、选择题。 1．下列命题 ：①2x x x ?∈,≥R ；②2x x x ?∈,≥R ； ③43≥； ④“21x ≠”的充要条件是“1x ≠,或1x ≠-”． 中,其中正 确命题的个数是 （ ） A ．0 B ．1 C ．2 D ．32．已知命题p ：x ?∈R ，||0x ≥，那么命题p ?为（ ） A ．x ?∈R ，||0x ≤ B ．x ?∈R ，||0x ≤ C ．x ?∈R ，||0x < D ．x ?∈R ，||0x < 3．已知命题 :p x ?∈R ，2x ≥，那么命题p ?为（ ） A ．2x x ?∈≤R ， B ．2x x ?∈ 2 / 11 5．已知命题p ：0x ?∈R ，2 00220x x ++≤，那么下列结论正确 的是( ) A ．0:p x ??∈R ，200220x x ++> B ．:p x ??∈R ，2220x x ++> C ．0:p x ??∈R ，2 00220x x ++≥ D ．:p x ??∈R ，2220x x ++≥ 6．“2a =”是“直线20ax y +=与1x y +=平行”的（ ） A ．充分不必要条件 B ．必要不充分条件 C ．充要条件 D ．既不充分也不必要条件 7．命题p ：?实数∈x 集合A ，满足032x x 2 <--，命题q ：?实 数∈x 集合A ，满足032x x 2<--，则命题p 是命题q 为真的 （ ） A 、充分不必要条件 B 、必要不充分条件 C 、充要条件 D 、非充分非必要条件 8．如果对于任意实数x ，[]x 表示不超过x 的最大整数． 例如[]3.273=，[]0.60=．那么“[][]x y =”是“1x y -<” 的( ) A ．充分而不必要条件 B 必要不充分条件 C ．充分必要条件 D ．既不充分也不必要条件 9．“b a <<0”是“b a )41()41(>”的（ ） A 充分不必要条件 B ．必要不充分条件 C ．充要条件 D ．既不充分条件也不必要条件 人教B 版选修2-1第一章常用逻辑用语基础测试题 一、单选题 1．命题:p “存在x ∈R ，sin 0x ≤”，则p ?为（ ） A ．存在x ∈R ，sin 0x ≥ B ．任意x ∈R ，sin 0x ≥ C ．任意x ∈R ，sin 0x > D ．存在x ∈R ，sin 0x > 2．若2 22x y ，则1x >或1y >的否命题是（ ） A ．若222x y +<，则1x ≤或1y ≤ B ．若222x y +<，则1x ≤且1y ≤ C ．若222x y +<，则1x <或1y < D ．若222x y +≤，则1x ≤且1y ≤ 3．下列说法中错误的是（ ） A ．“1x <”是“2320x x -+>”的充分不必要条件 B ．命题“,sin 1x R x ?∈≤”的否定为“00,sin 1x R x ?∈>” C ．命题“若,x y 都是偶数，则x y +是偶数”的否命题是“若,x y 都不是偶数，则x y +不是偶数” D ．设命题p ：所有有理数都是实数；命题q ：正数的对数都是负数，则()()p q ?∨?为真命题 4．“06 x π << ”是“1 0sin 2 x << ”的（ ） A ．充分不必要条件 B ．必要不充分条件 C ．充要条件 D ．既不充分也不必要条件 5．已知命题p ：()00 1 1,0,2x x ?∈--<；q ：k R ?∈，直线1y kx =-恒过第四象限.则下列为假命题是（ ） A ．p q ∧ B ．()p q ∧? C ．()p q ∨? D ．p q ∨ 6．“A B ?”是“A B A =”的（ ） A ．充分不必要条件 B ．必要不充分条件 C ．充要条件 D ．既不充分也不必要条件 7．已知命题p ：若1a <，则21a <.下列说法正确的是（ ） A ．命题p 是真命题 B ．命题p 的逆命题是真命题 常用逻辑用语 1.四种命题的形式 （1）原命题：若 p ，则q （2）逆命题：若q ，则p （3）否命题：若p ?，则q ? （4）逆否命题：若q ?，则p ? 2.四种命题之间的相互关系 3.四种命题的真假关系 （1）互为逆否的两个命题具有相同的真假性. （2）互逆或互否的两个命题真假性没有关系. 4.充分条件与必要条件的判断方法 （I ）定义法 ①若 p q ,q p ??，则说p 是q 的充分不必要条件 ②若 q p ,p q ??，则说p 是q 的必要不充分条件 ③若 p q ,q p ??，则说p 是q 的充分必要条件 ④若p q ,q p ??，则说p 是q 的既不充分也不必要条件 （II ）集合法 对于集合}q x |x {B },p x |x {A 满足条件满足条件==， 则 ①若B A ≠?，则说 p 是q 的充分不必要条件 ②若A B ≠ ?，则说 p 是q 的必要不充分条件 ③若B A =，则说p 是q 的充分必要条件 ④若A 与B 无包含关系，则说p 是q 的既不充分也不必要条件 归纳总结：小范围可推出大范围， 大范围不能推出小范围 . 小范围是大范围的充分不必 要条件， 大范围是小范围的必要不充分条件. (III)等价转换法 把判断“p 是q 的什么条件”转化为判断“ q ? 是p ?的什么条件”(正难则反） ，这种方法特别适合以否定形式给出的命题. 5.复合命题"p ","q p ","q p "?∧∨ 的真假性判断 （1）当q ,p 中有一个为真时，则q p ∨为真；当q ,p 中有一个为假时，则q p ∧为假. （2）p 与p ?的真假性相反. 6.全称命题与特称命题 （1）全称命题的否定是特称命题 ； （2）特称命题的否定是全称命题 基础巩固： 1.下列命题中的真命题为( ) (A)若1x =1 y ,则x=y (B)若x 2=1,则x=1 (C)若x=y, (D)若x 《常用逻辑用语》 一、判断命题真假 1、下列命题中，真命题是 （ ） A ．221,sin cos 222 x x x R ?∈+= B ．(0,),sin cos x x x π?∈> C ．2,1x R x x ?∈+=- D ．(0,),1x x e x ?∈+∞>+ 2、如果命题“)q p ∨?（”为假命题，则（ ） A. p,q 均为假命题 B. p,q 均为真命题 C. p,q 中至少有一个为真命题 D. p,q 中至多有一个为真命题 3、有四个关于三角函数的命题： 1p ：?x ∈R, 2 sin 2x +2cos 2x =12 2p : ?x 、y ∈R, sin(x-y)=sinx-siny 3p : ?x ∈[]0,π1cos 22 x - 4p : sinx=cosy ? x+y=2π 其中假命题的是（ ） （A ）1p ，4p （B ）2p ，4p （C ）1p ，3p （D ）2p ，4p 4、给出下列命题： ①在△ABC 中，若∠A ＞∠B ，则sin A ＞sin B ； ②函数y ＝x 3在R 上既是奇函数又是增函数； ③函数y ＝f(x)的图象与直线x ＝a 至多有一个交点； ④若将函数y ＝sin 2x 的图象向左平移π4个单位，则得到函数y ＝sin ??? ?2x ＋π4的图象． 其中正确命题的序号是( ) A ．①② B ．②③ C ．①②③ D ．①②④ 5、若命题p ：圆(x －1)2＋(y －2)2＝1被直线x ＝1平分；q ：在△ABC 中，若sin 2A ＝sin 2B ，则A ＝B ，则下列结论中正确的是( ) A ．“p ∨q”为假 B ．“p ∨q”为真 C ．“p ∧q”为真 D ．以上都不对 6、已知命题p 1：函数y ＝2x －2－x 在R 上为增函数；p 2：函数y ＝2x ＋2－ x 在R 上为减函数， 则在命题q 1：p 1∨p 2，q 2：p 1∧p 2，q 3：(?p 1)∨p 2和q 4：p 1∧(?p 2)中，真命题是( ) 7、下列命题中的假命题．．． 是 ( ) A. ,lg 0x R x ?∈= B. ,tan 1x R x ?∈= C. 3,0x R x ?∈> D. ,20x x R ?∈> 8、下列命题中的假命题是 （ ） A ．?x R ∈,120x -> B. ?*x N ∈,2(1)0x -> C ．? x R ∈,lg 1x < D. ?x R ∈,tan 2x = 9、有以下四个命题： ①ABC ?中，“A B >”是“sin sin A B >”的充要条件； ②若命题:,sin 1,P x R x ?∈≤则:,sin 1p x R x ??∈>； ③不等式210x x >在()0,+∞上恒成立； ④设有四个函数111332,,,,y x y x y x y x -====其中在()0,+∞上是增函数的函数有3个。 其中真命题的序号 二、判断充分、必要条件 1、“a ≠1或b ≠2”是“a ＋b ≠3”的（ ） 原命题若p 则q 否命题若┐p 则┐q 逆命题 若q 则p 逆否命题若┐q 则┐p 互为逆否互逆否互为逆否互互逆否互常用逻辑用语 常用逻辑用语主要包括三部分内容，命题以及命题的四种形式，充分必要条件，量词。考试时对本部分的考查主要有两个方面：一是全称量词与存在量词、全称命题与存在命题之间的关系，一般以选择题的形式出现，考查两种命题的否定命题的写法；第二是充分必要条件的推理判断以及四种命题的相互关系问题等。这些内容大多是以其他数学知识为载体，具有较强的综合性，一般在解答题中出现，考查对概念的理解与应用，难度不会太大。 一、基础知识 1、命题的定义：可以 叫做命题。 2、四种命题的形式： 原命题： ； 逆命题： ； 否命题： ；逆否命题： 。 (1)交换原命题的条件和结论，所得的命题是逆命题； (2)同时否定原命题的条件和结论，所得的命题是否命题； (3)交换原命题的条件和结论，并且同时否定，所得的命题是逆否命题． 3、四种命题之间的相互关系： 一个命题的真假与其他三个命题的真假有如下三条关系：(原命题?逆否命题) ①、原命题为真，它的逆命题不一定为真。②、原命题为真，它的否命题不一定为真。 ③、原命题为真，它的逆否命题一定为真。 4、如果已知p ?q 那么我们说，p 是q 的 条件，q 是p 的 条件。 若p ?q 且q ?p,则称p 是q 的 条件，记为p ?q. 5、逻辑联结词、简单命题与复合命题： “或”、“且”、“非”这些词叫做逻辑联结词；不含有逻辑联结词的命题是简单命题；由简单命题和逻辑联结词“或”、“且”、“非”构成的命题是复合命题。 构成复合命题的形式：p 或q(记作“p ∨q ” )；p 且q(记作“p ∧q ” )；非p(记作“┑q ” ) 。 6、“或”、 “且”、 “非”的真值判断： （1）“非p ”形式复合命题的真假与p 的真假相反； （2）“p 且q ”形式复合命题当P 与q 同为真时才为真，其他情况时为假； （3）“p 或q ”形式复合命题当p 与q 同为假时才为假，其他情况时为真。 7、含有 ，叫做全称命题；含有 ，叫做特称命题。 （1）全称命题“对M 中的任意一个x ，使()p x 成立。”可用符号记为： 。 （2）特称命题“存在M 中的一个0x ，使()p x 成立。”可用符号记为： 。 p“常用逻辑用语”课标解读及其教材分析与教学建议 正确地使用逻辑用语是现代社会公民应该具备的基本素质，无论是进行思考、交流，还是从事各项工作，都需要正确地运用逻辑用语表达自己的思维。在本模块中，学生将在义务教育阶段的基础上，学习常用逻辑用语，体会逻辑用语在表述和论证中的作用，利用这些逻辑用语准确地表达数学内容，从而更好地进行交流。 一、课标解读 （一）内容与要求 1．命题及其关系 （1）命题及其关系 ①了解命题的逆命题、否命题与逆否命题。 ②理解必要条件、充分条件与充要条件的意义，会分析四种命题的相互关系。 （2）简单的逻辑联结词 通过数学实例，了解逻辑联结词“或”“且”“非”的含义。 （3）全称量词与存在量词 ①通过生活和数学中的丰富实例，理解全称量词与存在量词的意义。 ②能正确地对含有一个量词的命题进行否定。 与以往“教学大纲”相比，现在新增了“全称量词语与存在量词”的内容，更加重视了对意义的理解以及通过数学实例或生活中的实例理解相关概念，如要求“理解必要条件、充分条件与充要条件的意义”、“通过数学实例，了解逻辑联结词“或”“且”“非”的含义”、“通过生活和数学中的丰富实例，理解全称量词与存在量词的意义”。 （二）课程标准要求与大纲比较 与教学大纲相比较，课程标准强调逻辑用语的教学通过数学实例来进行，通过恰当、准确的实例来让学生领悟命题之间的逻辑关系，避免纯粹逻辑关系的推理，抽象的解释、空对空的说教，避免学生养成机 械记忆，刻板模仿的习惯. 《课题标准》弱化了对“充要条件”的要求，不要求学生证明诸如“已知x,y 是非零实数，且x ＞y ，求证x 1＜y 1 的充要条件是xy ＞0”之类的问题. 全称量词与存在量词是《课程标准》新增加的内容，旨在使学生认识这两类在现实生活中广泛使用的量词，会判断含有一个量词的全称或特称命题的真假，会正确写出他们的否定形式，为我们从量的形式和范围上认识和解决问题提供了新的思路和方法. （三）教学要求 1．命题及其关系 ⑴ 本模块中的命题，一般是明确给出了条件和结论的命题，要使学生了解什么是条件，什么是结论，会将一个命题分解成“若p ，则q”的形式，例如指出“若整数a 能被2整除，则a 是偶数”中的p 和q. 对于简单的，没有明显写成“若p ，则q”形式的命题，也应分清条件与结论是什么，准确地分解成“若p ，则q”的形式. 例如：将命题“对顶角相等”分解成“若p ，则q”的形式. ⑵ 对命题的逆命题、否命题与逆否命题，只要求作一般性的了解，这些内容对高中学生来说，尤其是刚刚学习时是非常困难和难以理解的. 在教学中应通过简单明了的实际例子，使学生体会四个命题的构成形式 ⑶ 四种命题的相互关系，以及互为逆否命题的两命题之间的等价性是本模块的重点. ① 教师应通过实际例子引导学生得出命题关系图. ② 使学生理解四种命题间的真假关系，以及互为逆否命题的两命题之间的等价关系，能利用这一等价关系转换角度、间接解决或证明一些问题. 例：证明 若p 2+q 2=2，则p+q≤2 分析：如果直接证明这个命题比较困难，现转化为对它的逆否命题的证明 证明：当p+q ＞2时 p 2+q 2=2) (2q p ++2) (2q p -≥2) (2q p +＞21 ×22 =2 ∴ p 2+q 2 ＞2 简单的逻辑联结词、全称量词与存在量词 1．考查逻辑联结词“或”、“且”、“非”的含义，能用“或”、“且”、“非”表述相关的命题． 2．考查对全称量词与存在量词意义的理解，叙述简单的数学内容，并能正确地对含有一个量词的命题进行否定． 【复习指导】 复习时应紧扣概念，理清相似概念间的异同点，准确把握逻辑联结词的含义和用法，熟练掌握对含有量词命题的否定的方法．本讲常与其他知识结合，在知识的交汇处命题，试题难度中档偏 下． 基础梳理 1．简单的逻辑联结词 (1)命题中的“且”“或”“非”叫做逻辑联结词． (2)简单复合命题的真值表： p q p∧q p∨q ?p 真真真真假 假真假真真 真假假真假 假假假假真 2.全称量词与存在量词 (1)常见的全称量词有：“任意一个”“一切”“每一个”“任给”“所有的”等． (2)常见的存在量词有：“存在一个”“至少有一个”“有些”“有一个”“某个”“有的”等． (3)全称量词用符号“?”表示；存在量词用符号“?”表示． 3．全称命题与特称命题 (1)含有全称量词的命题叫全称命题． (2)含有存在量词的命题叫特称命题． 4．命题的否定 (1)全称命题的否定是特称命题；特称命题的否定是全称命题． (2)p或q的否定为：非p且非q；p且q的否定为：非p或非q. 一个关系 逻辑联结词与集合的关系 “或、且、非”三个逻辑联结词，对应着集合运算中的“并、交、补”，因此，常常借助集合的“并、交、补”的意义来解答由“或、且、非”三个联结词构成的命题问题． 两类否定 1．含有一个量词的命题的否定 (1)全称命题的否定是特称命题 全称命题p：?x∈M，p(x)，它的否定?p：?x0∈M，?p(x0)． (2)特称命题的否定是全称命题 特称命题p：?x0∈M，p(x0)，它的否定?p：?x∈M，?p(x)． 2．复合命题的否定 (1)綈(p∧q)?(?p)∨(?q)； (2)綈(p∨q)?(?p)∧(?q)． 三条规律 (1)对于“p∧q”命题：一假则假； (2)对“p∨q”命题：一真则真； (3)对“?p”命题：与“p”命题真假相反． 双基自测 1．(人教A版教材习题改编)已知命题p：?x∈R，sin x≤1，则()． A．?p：?x0∈R，sin x0≥1 B．?p：?x∈R，sin x≥1 C．?p：?x0∈R，sin x0>1 D．?p：?x∈R，sin x>1 专题1 基础巩固 一、选择题 1．已知集合A＝{x|x常用逻辑用语测试题(含答案)
常用逻辑用语单元测试(附答案)
常用逻辑用语题型归纳
(完整版)常用逻辑用语测试题一和答案
人教B版选修2-1第一章常用逻辑用语基础测试题
常用逻辑用语(讲义)
常用逻辑用语题型归纳
常用逻辑用语测试题(答案)
常用逻辑用语
常用逻辑用语总复习绝对经典
1专题1 集合与常用逻辑用语基础巩固