查询词典 monotonic system of sets

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 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.

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

In chapter 5,we persue the ctiticality and complexity of thecritical sets.We describe carefully the Whitney's example in 1935.Meantime,we introduce some rsults about the critical sets and thecritical value sets,in particular,on W-sets and C-sets.And usingthe Lebesgue density theorem and the Vitali covering lemma weprove a rank zero theorem with Hausdorff measures.Finally wegive some examples to prove our results are sharp in the sense thatthe numbers k,m,n,s,〓,etc.,in the hypothesescan not be improved.

第五章研究临界点集的临界性和复杂性，并详细地描绘了Whit-ney在1935年的例子，同时也介绍了关于临界点集和临界值集的一些结果，尤其是W-集和C-集的一些结果，并利用Lebesgue密度定理和Vitali覆盖引理证明了一个与Hausdorff测度相关的秩零定理，最后举例证明我们的结果在定理的假设中的那些数字如k，m，n，s，a，r+/等不能被改进的情况下是最佳的。

The company is located in Fuyong High and New Technological Industrial Park, in West Baoan District, Shenzhen, with the occupational area of over 30 mu(1mu=667m2), workshop area of 35000m2, possesses national advanced producing equipments3 sets of imported double screw charging machine, 20 sets of big and small automatic annealing drawing bench equipment, 8 sets of automatic laser testing exterior produce lines, 12 sets of 800 630 500 type twinning cablers, 50 sets of US type fully-automatic high speed knitting machine and a series of auxiliary machines.

公司坐落于深圳市宝安区西部高新技术产业园，占地面积三十多亩，厂房面积三万五千平方米。拥有国内最先进的生产设备，主要有进口双螺杆造料机三套；大小全自动退火拉丝机设备二十套；全自动激光检测外径生产线八套；800 630 500型对绞成缆机一十二套；美式全自动高速编织机五十台及一批辅助机器。

The annual output of all kinds of leisure motorcycle is 100,000 sets; all kinds of household generator is 50,000 sets; all kinds of automobile chair and adjuster is 3,500,000 sets; all kinds of automobile water bump solid pulley, steering pump solid pulley, fan solid pulley, air conditioning solid pulley and cropper solid pulley is 6,000,000 sets; all kinds of motorcycle fuel tank and carriage is 500,000 sets.

各种休闲摩托车生产能力为10万辆、各种家用发电机生产能力5万台、各种汽椅及调节器350万、各种汽车水泵带轮、转向泵带轮、风扇带轮及空调机带轮、割草机带轮等带轮的年生产能力为600万只、各种摩托车燃油箱、摩托车车架年生产能力为50万套。

We possess variety equipments about 300 sets in which there are over 20 sets high grade, precision and advanced equipments, including computer controlled processing center, computer controlled nitriding furnace, full automatic gear comprehensive surveymeter, computer controlled automatic gas cutting machine, automatic welder, large turning installation. We have 193 sets of common equipment, 6 sets of special equipment and 230 sets of welding equipment and we have reconstructed the current equipments in numerical control.

我们企业拥有各种设备300多台，其中高精尖设备20多台，包括微机控制的加工中心、微机控制的氮化炉、全自动的齿轮综合检测仪、电脑控制的自动切割、自动焊机、大型翻转工装等，全厂通用设备193台，并且对现有设备进行了数控改造、专用设备6台、焊接设备230台。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"