1) sheafification of presheaf
预层的相伴层
2) presheaf of sets
集的预层
3) sub fault
伴生断层
1.
The result suggests that the sub faults in the conjugatedarea of explored blocks and its edges,which control the new\|prospected oil b.
本文以东营凹陷中央背斜带现河庄油田为例,通过区域构造分析,探讨在复杂断块油田主断层周缘发育的伴生断层形成过程,分析伴生断层在平面、纵向上的分布规律,及其对油气藏聚集的控制作用;在已开发老区结合部及周缘寻找新的含油断块,落实了更多的优质储量,为老油田的增储上产发挥重要作用。
4) adjoint pairs with respect to a testing sequence
层次伴随
5) laminar wake
层流伴流
6) accompanying bed
伴生层
补充资料：预层
预层
pre-sheaf
预层f僻一由臼f;即e八11”。川，拓扑空间X上取值于范畴夕(例如集合、群、模、环等等的范畴)的 从X的开集及其自然包含映射所组成的范畴(category)到‘才中的一个反变函子(丘mCtor)F.函子F依照才分别称为集合、群、模、环、等等的预层(pre一shoif).对应于包含关系V CU的态射F(U)~F(V)叫作限制同态. 每个预层生成X的一个层(sheaf)(见层理论(sheaf tbeory)).E .r .copeHx。撰【补注】更一般地，若C是任一小范畴(s班111 cate-即尽)，则术语“C上的预层”指定义于C上的一个反变(通常是集值的)函子(见景(s讼)).张英伯译谓词fore山Ca妞;npe及“ICaT] 一种函数，其自变元以个体的n元组为值，而函数的值为关于这种衬元组的语句.当。=1时，谓词称为“性质”，当n>l时，称为“关系”;命题(proPosition)可视为O元谓词. 为描述一个n元谓词尸(x;，…，x。)，必须指出集合D:，一，D。—个体变元xt，…，x。的变域;通常考虑D、二·一D。的情形.从集合论的观点看，谓词是由Descartes积D .x…XD。的一个子集M描述.此时P(“，，…，“。)指的是“序组(“l，…，a。)属于M”，n元谓词的语法描述是通过给出逻辑数学语言中的含有n个自由变元的公式实现的.谓词的概念始于Aristotle;对含有谓词的语句进行运算的方法是在数理逻辑(见逻辑演算(kigical calculus);谓词演算(Pledicate calculus”中发展的.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条