查询词典 queuing problem

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

Ramsey number problem is a famous optimization problem, and is also a NP complete problem.

Ramsey数问题是一个著名的组合优化问题，同时也是一个NP完全问题。

The numerical approach consists of an operator split technique,which transforms the elastic-plastic problem into a purely elastic problem and a residual problem with prescribed eigenstrains.

针对接触表面变曲率的特点，引入局部坐标系，构造出局部坐标下残余应力应变场的分布状态，建立了变曲率连续啮合过程中安定状态残余应力的计算方法。

And basic life safeguard of the off-duty workers, criterion since an economy problem, also be problem of a society, it is problem of a politics more.

而下岗职工的基本生活保障，则既是一个经济问题，也是一个社会问题，更是一个政治问题。

Transportation problem as an important part of logistics have played a very important role in corporation's benefit. The transportation problem of open-pit is a very complex transportation system. So transportation problem have been largely researched.

运输问题作为物流的重要组成部分，它直接或间接的影响着企业的经济效益，露天矿的采剥运输问题是一复杂的运输系统，已经受到了人们的广泛关注和研究。

Finally, the thesis investigates the problem of intelligent personalized information recommendation in Internet, which is a kind of problem that there are no exact goal and no problem operator model. A domain oriented and adaptive multi agent system model for information recommendation is presented.

智能化、个性化信息搜索服务的目标是能根据用户的兴趣，向用户推荐其所感兴趣的信息，而用户的兴趣又要求系统通过用户的反馈来逐步感知，因而这类问题有别于前面研究所涉及的问题，是一种属于既无问题操作模型，又无确定目标的问题。

In this paper, two partition models are built to formulate the document collection partition problem from the essence of the problem itself and they can be used as the evaluation criterion of the document collection partition problem.

从文档集合划分问题本身出发，给出了两个划分模型来刻画文档集合划分问题，从而使这两个模型可以作为文档集合划分的有效评价指标。

The biggest problem in China is peasantry problem, and peasants' key problem is the developing direction of rural economics.

中国最大的问题是农民问题，农民的根本问题是农业和农村经济的发展问题。

Firstly, urban space's development course and actuality of space's patterns are reviewed contrastly in the paper abroad and home. Then, existing problems of urban space at present in our country are discussed stressly:"Ten Faulty Expressions in Writing" of urban construction;"the Movement of Beautifying City" in china; the problem of urban characteristic; the problem of reforming of old city; the problem of residential segregation. The above problems' formed reasons and countermeasures are put forward. Then, the example of Xi'an and its existing problems of urban space and several countermeasures are analyzed in the paper. The transformation of three sections realized in the planning thought of urban space is put forward: from "elitism" to "plebeianism"; from mega-urban project design to "daily living space" and from "technology first" to "human-oriented".

论文首先从中西方城市空间形态的演变历程入手，对比分析了国内外的空间形态现状，重点论述了当前我国存在的城市空间问题：城市建设"十大败笔"；中国"城市美化"运动；城市特色问题；旧城改造问题以及空间分异问题，分析了其形成原因并得出了解决途径，然后对西安进行了实例分析，总结出其城市空间存在问题并提出几点对策，接下来提出了城市空间规划理念应实现的三个方向的转变：从"精英主义"向"平民主义"理念转变、从大尺度城市设计向"日常生活空间"营造转变以及从"技术至上"向"以人为本"理念转变。

The multicast routing problem that finding the minimum cost multicast routing tree with many QoS constraints may be formalized to Steiner tree problem in network, which is a NP-complete problem that an algorithm that finds a Steiner tree can not get the best solution in polynomial time.

寻找有多个QoS约束的最小代价组播路由树可以形式化为网络中的Steiner树问题，它是一个NP完全问题，在多项式时间内不能得到最优解，因此研究者所寻求的是一种次优的、在最差情况和平均情况下的性能都接近于最优的解决方案。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。