查询词典 first order

Privacy policy model based on first-order logic is introduced to uniform the privacy policy primitive which is the essential element constructing the privacy policy and provides consistent research object and privacy policy semantic for following research in this paper.

2研究了基于一阶逻辑的隐私策略模型，通过该模型统一了构成隐私策略基本要素的隐私策略原语，为本文的研究提供了一致的研究对象和隐私策略语义。

This article that focuses on the systematic and in-depth research in the current primal problem about abnormal burst pressure reservoir depress burst pressure has procured following main fruits:1 It forms the method which could obtain massive vertical static state mechanics parameters.2 In a foundation of acquisition of rock mechanics parameters,apply bent lamella that as mechanical model along with characteristic of actual geologic characteristics to analysis curvature for anticlinal strcture, get homologous tectonic stress value throug relation between the curvature and stress and different principal curvature in anticlinal structure,consequently set up laminational stress model for anticline reservoir. The block lamination for existed fracturing date has formed method of setting up mechanical model of lamination terrestrial stress by abtaining the block tectonic stress coefficients which are got by complex utilization test, laboratory test and fracturing date playback.3 Analysesing the main reason which lead to high burst pressure by considering the characteristic of reservoir geology,reservoir,and rock mechanics and reservoir damage,etc.Establishing burst pressure quantitative prediction model which provide gist for depressing construction risk and optimizing construction craft under the condition of open hole completion ,gun-perforated completion and damaged reservoir.4 Provding theoretical basis for interpreting acidification pretreatment which could depress busrt pressure by finding the relation between the influencing factors and rock machanics parameters and analysing the factors that have effect on rock mechanics parameters. Expounding the mechanism of reaction of mixed monomineral and acid from the angle of microcosmic element, evaluating quantitatively acid sensilility of different kinds of mineral effectively, and determing the first-order reaction dynamical equation of each mineral.5 Revealing rock mechanics property chage as a result of acid flooding in different condition by sandstone traumata experiment in different temperatures which combined with rock mechanics triaxial stress experiment.6 Associating damage mechanics with sandstone acidizing, established sandstone damage mechanics model in the foundation of the recognition on the rock mechanics parametric variation which is caused by acid-rock reaction in both macroscopic view and microscopic view ,also demonstrated those processes and quantitative estimated the acid busrt pressure to direct the site operation.

本文针对目前异常破裂压力储层降低破裂压力的主要问题展开较为系统和深入的研究，取得了以下主要成果：1形成了利用测井资料，结合室内岩芯测试结果，获取静动岩石力学参数的相关性特征，从而获得纵向上大量静态力学参数的方法。2在获取了岩石力学参数的此基础上，利用弯曲薄板作为力学模型，结合区块实际地质特征对背斜构造进行曲率分析，通过曲率与应力的关系，利用背斜构造不同部位的主曲率求得相应的构造应力值，从而建立起背斜储层的分层应力模型；对已有压裂资料的区块分层，形成了综合利用测试、室内实验、压裂资料反演获得该区块构造应力系数，建立起分层地应力的力学模型的方法。3综合考虑储层地质、油藏、岩石力学特性和储层伤害等因素，分析造成高破裂压力的主要原因，综合利用岩石力学、弹性力学等知识，建立了裸眼完井、射孔完井条件下以及储层受到伤害后的储层破裂压力定量预测模型，为降低施工风险和优化施工工艺提供了依据。4完成了物性、岩性影响岩石力学参数的因素分析，找出了各影响因素和岩石力学参数之间的关系，为从机理上解释酸化预处理降低破裂压力提供了理论基础；从微观元素的角度阐述了单矿物与酸反应的机理；并在此基础上，有效评价了各种矿物的酸敏感性，定量确定了岩石中各矿物的一级反应动力学方程。5完成了不同温度下的酸液类型、酸液浓度、注酸量等一系列砂岩损伤实验，结合岩石力学三轴应力实验，系统揭示了在不同条件下注酸而引起的岩石力学性质变化。6将损伤力学与砂岩酸化相结合，在宏观、微观两个方面认识酸岩反应引起岩石力学参数变化基础上，建立了砂岩损伤力学模型，并对其进行验证，在此基础上定量计算酸化后的破裂压力，有效指导现场施工

During the ordinary modeling process of first order hydraulic system, some principal diagonal elements of mass matrix were zero, and the stiffness matrix was nonsymmetrical.

建立以界面信息形式表达的一阶液压均衡系统动力学方程，同时利用卷扬系统动力学方程，首次建立机械卷扬-液压均衡子系统动态耦合的数学模型。

However, the pseudo-triaxial strengths of several rocks from the best fitting solutions have great scatterness from the real magnitudes. Also, it does not correspond to the experimental results that rock has the same strength under conventional triaxial compression and tension; the maximum increase of strength from intermediate principal stress has a linear relation with the minor principal stress; and the first-order derivative of strength has an interruption at the peak point.

此外，统一强度理论认为岩石三轴伸长强度与常规三轴压缩强度相同，在最小主应力恒定时中间主应力引起的强度最大增加值随最小主应力线性增加，且强度关于中间主应力的一阶导数在峰值点是不连续的，这些都与试验结果不能完全协调。

The probability density of state space was expressed approximately by the first-order statistical moment.

采用一阶统计矩近似表示状态空间的概率密度，通过蒙特卡罗模拟近似表示一阶统计矩，从而实现多目标跟踪。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

Intuitionists can accept expressibility of formal system and recursive functions, but will deny any concept of truth outside provability of first order arithmetic.

本文引入了直觉主义的思想，对维特根斯坦的评论进行了新的解读，指出哥德尔证明中所基于的一阶算术的解释是模糊的。

In these cases, a first-order theorem prover may fail to terminate while searching for a proof.

在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。

A first order quasi phase matched periodically poled LiNbO 3 for SHG with 6.5 μm period, 12 mm length, 10 mm width and 0.5 mm thickness has been successfully fabricated by applying an external electric field at room temperature from an high pulsed voltage generator. About 18 mW of CW 0.532 μm green light was obtained pumped by an 1.1 W of CW 1.064 μm Nd∶YAG laser with end coupling, which corresponds to 1.6% power conversion efficiency.

通过高压脉冲电场极化，制备了周期为6.5 μm、长为12 mm、宽为10 mm、厚为0.5 mm的一阶准相位匹配周期性极化铌酸锂；由1.1 W连续1.06 μm Nd：YAG激光器抽运，在5°时产生了约18 mW、0.532 μm的倍频连续绿光，其对应的二次谐波转换效率约为1.6%，二次谐波的归一化转换效率约为1.5% cm-1W-1，相当于79%的周期性极化铌酸锂的理想非线性系数。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。