查询词典 queueing problem

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

On the basis of enumeration the problem of the service area construction, this article analyzes the reason of problem, and puts forward the service area function scheme founded on the demanding analyzing of the service objects.

本文在列出当前服务区规划建设中存在问题的基础上，分析问题的成因，并提出基于高速公路服务对象需求分析的服务区功能配置方法。

This algorithm constructs a set of linear equations. As a result, the relation of the reconstructed design variables and the original design variables is derived, the variable number of optimum design is decreased from m + n + 2 to 4, and the equality constraint optimization problem is converted into reduced- dimension no equality constraint optimization problem.

该算法通过构造一组线性方程，得到了由重构设计变量到原设计变量的映射关系，使优化设计的变量由原来的m + n + 2个减少到4个，并将有等式约束优化问题转换成降维的无等式约束优化问题。

The module conversion for a kind of Max-min problems is given, namely, the Max-min problem with equality and inequality constraint is converted into convex problem with linear constraint, which provides theoretical basis for designing effective algorithms.

最后，给出一类极大极小问题的模型转化，把带等式、不等式约束的极大极小问题转化为带线性约束的凸规划问题，这为设计更为有效的算法提供了理论依据。

Under the appropriate assumptions, the asymptotic solutions of the problem with different forms are obtained according to the multiple number of the root of some equation, which is satisfied by the boundary value of the reduced problem, by giving the general expressions for the coefficients of outer solution expansion and the corresponding boundary conditions.

在适当的假设下，通过给出外部解展开式系数及其对应边界条件的一般表达式，根据退化问题的边值作为某方程的根的重数，得到了此问题不同形式的渐近解。

We also study a new problem in secure multiparty computation, the secure multiparty equation solving problem. We give an efficient protocol to compute the root of equation in a distributed way.

我们还研究了安全多方计算协议的一个新应用领域，解决了安全多方方程求解问题。

And then the complex area coverage problem is transformed into simple equilateral triangle coverage problem.

从而将复杂的区域覆盖问题转化为简单的正三角形区域覆盖问题。

To solve QoS-constrained routing problem and the problem of balancing network load, an algorithm based on tabu search is proposed, which has a better ability of balancing the cost of the multicast tree and the network load; upon this algorithm, a new algorithm based on degree-constrained and load-balance is proposed, which has a nicer integrative performance on equipoise the cost of multicast tree and the load of links and nodes.

2针对网络负载均衡的QoS问题，提出基于禁忌搜索的负载均衡QoS组播路由算法，算法能平衡组播树代价和网络链路负载均衡状况；在此基础上提出了基于度约束和负载均衡的QoS组播路由算法，算法在满足QoS约束的基础上，均衡了组播树代价、网络链路负载和节点负载三者之间的关系，综合性能良好。

The complementary variational principles are extened to two-medium region problems. The equivalence between variational problem and boundary value problem is proved.

将互补变分原理推广到包含两个区域的问题中，从数学上证明了变分问题与边值问题的等价性。

The main problems researched in the dissertation and achievements are as follows: The dissertation explains the science background and the theoretical and actual meaning of the task. The progress and the problems of the flow imaging technique are briefly explained. The advantages of electrical capacitance tomography are discussed. The paper discusses the formation and operating principle of ECT, and builds up the definite mathematical model by detail theoretical analyse, and establishes the Finite Element Model of the system by changing the finite boundary value problem of ECT into equivalence variation problem according to variation principle. On the basis of the FEM of the system, the paper builds the finite element model of the capacitance sensitivity field distribution and programs its finite element simulation software and proves the validity of the FEM of the ECT from different aspects. With the FEM and the qualitative analyse of the effect of each structural parameter of the capacitance transducer on its capability, this paper optimizes the structural parameters of the capacitance transducer, and obviously improves its capability. The compare of the simulated result with the static experimental result shows that the error of them is less than 0.9%.

其主要研究内容包括：阐述课题研究的学术背景及其理论与实际意义，概括总结出流动层析成像技术的发展现状和存在的问题，指出电容层析成像技术的优点；讨论电容层析成像系统的组成及工作原理，进行详尽的理论分析，以变分原理为基础，将ECT的有限元边值问题转换为等价的变分问题，从而建立系统的有限元模型；在系统有限元模型的基础上，建立敏感场的数学模型，编制有限元的仿真软件，并从不同角度证明电容层析成像系统有限元模型的正确性；利用有限元模型，定性地分析电容传感器各结构参数对其性能的影响，并对传感器结构参数进行优化设计，使其性能得到明显的改善。8电极ECT系统的仿真和静态实验结果的比较表明，它们之间的相对误差小于0。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样