查询词典 problem

First of all, ink is the packaging business card printing and membership card to make the most basic requirements, the balance as a result of offset printing and ink-and-ink, therefore emulsibility ink consistent offsctdruckereien became a universal problem, and that is the strength of the Conference and, secondly, packaging design has a color swatch, icons, offsctdruckereien in addition to the Phantom of the Opera problem, the deposit in the event also had extensive 专色色 you have to print twice or even three times, and the printing business card printing and membership card deposit made it much more than offset printing.

首先，墨色一致是包装物制卡和会员卡制作的最基本要求，而胶印由于有水墨平衡和油墨乳化的问题，因此墨色一致便成了胶印的大难题，而这正是柔印的长处；其次，包装设计有着大量的色块、图标，胶印除了有鬼影的问题外，墨层也不够厚实，遇到大面积的专色色则不得不印两遍甚至三遍，而柔版制卡和会员卡制作的墨层厚度却远远超出胶印。

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.

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

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。