查询词典 completely monotonic sequence

The school of abstract logic holds that logic deals with the validity of argument, which is completely abstracted from the context of the argument used, and is essentially deductive logic and monotonic; while the school of embedded logic insists that logic is the study of standards for good arguments in real life, therefore it is essentially non-monotonic.

对这个问题的两种不同回答，形成了逻辑学的两个学派－抽象逻辑学派和具体逻辑学派。抽象派主张逻辑学是研究有效论证的科学，具体派则认为逻辑学是研究好论证的标准的科学。

MIRV missile separation rule was built. Preliminary optimum design and optimize separation sequence were carried out. According to target attacking sequence and separation sequence which are preliminarily certain, the optimum separation sequence was determined by building compatibility rule of target attacking sequence and MIRV missile separation sequence.

结合多弹头导弹弹头特性建立了子弹头的分导原则，对子弹头的分导顺序进行了初步设计与优化根据确定的目标打击顺序和优化的子弹头分导顺序，建立目标打去顺序与子弹头分导顺序的一致性原则来确定子弹头的最佳分导顺序。

According to the interpreted approaches of sequence stratigraphy,the lower Cretaceous strata in the northern Wuerxun sag can be divided into four types of sequence,namely simply faulted sequence,quickly faulted-depressed sequence,syngenetic faulted-depressed sequence and simply depressed sequence.

应用层序地层学解释方法对乌尔逊凹陷北部下白垩统地层进行了层序地层分析，将其划分为4个层序和4种层序类型，即简单断陷层序、快速断坳层序、同生断坳层序和简单坳陷层序。

First, 'linguistic turn' of philosophy; Second, Deepening studying in artificial intelligence; Third, monotonic legal reasoning turn to non-monotonic legal reasoning. Defeasible reasoning is widely used in legal reasoning.

可辩驳推理在法律推理中得到广泛的应用，根据法律推理的不同层次，法律中的可辩驳推理可以分为三个维度：推定的可辩驳性；过程的可辩驳性和理论的可辩驳性。

Experimental study of stress-strain relationship of normally consolidated intact soft clay in Hangzhou under undrained fixed shear of principal stress direction and monotonic rotation of principal stress axis had been done, which was used to reflect the soil properties response to the monotonic rotation of principal stress axis under real engineering conditions.

为反映真实工程条件下主应力轴旋转应力路径引起土体性状的变化，对杭州地区正常固结原状软黏土在固结不排水的主应力轴定向剪切和主应力轴单调旋转条件下的应力-应变关系进行试验研究。

A new method is applied to a kind of nonlinear programming problem with monotonic functions and non-monotonic objective functions.

给出了一类约束函数单调而目标函数非单调的非线性规划问题的一种新的求解方法。

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

Having such properties, in a finite range of ［0,1］, as monotonic decreasing, unimodal distribution, and monotonic increasing, the β-distribution function with 2 or 3 parameters was used in describing the distribution model of coal particles different in density in a jig bed.

根据β分布在有限的［0，1］区间内具有单调下降、单峰分布和单调上升等各种形态，用2参数或3参数的β分布作为描述各密度颗粒在跳汰床层中分布的数学模型。

This paper aims at detecting bursts of both monotonic and non-monotonic aggregates over multiple windows in data streams.

为了在数据流上检测多个滑动窗口上的单调聚集函数值和非单调聚集函数值的突变，提出了基于分形技术的构建单调搜索空间的突变检测算法。

This paper aims at detecting bursts of both monotonic and non-monotonic aggregates over multiple windows in data streams.

数据流上的突变检测技术由于其在风险分析、网络监测、趋势分析等领域广阔的应用前景而受到学术界和工业界越来越多的关注。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。