查询词典 enumeration problem

But because of the complexity of this problem itself and the limited research means, it remains a problem in cardiac electrophysiology.

机械活动相关关系研究的复杂性，加上以往缺乏有效的研究手段，所以这一具有重要学术和临床意义的问题的研究成果十分有限。

The problem of concurrent line and collinear point in Elementary Geomettry is a simple problem. However it is very complex and difficult when we use Elementary Geometry theory to solve it.

初等几何中共线点及共点线的问题，本来是个简单的几何问题，然而这个问题运用初等几何方法去解决，有时会觉得非常复杂和困难。。

Within this context, four specific areas are addressed:(1) By means of finite integration technique, a new kind of the first order partial difference equation is derived from the original disperse transmission line equation of the uniform waveguide's. As it is the kind of one dimension Dirichlet's boundary problem, it is convenient for us to solve this equation from the leapfrog scheme. Because computation is carried out in one dimension, both high calculation efficiency and precision have been obtained in this method. Meanwhile, this method provide us a different selection to simulate the transient response of waveguide with non-simplical, for examples cylinder and elliptic waveguide, and avoid solving the second order equation, or using finite difference time domain to simulate a three dimension problem, sometimes the latter precision is not satisfied with the need, or low efficiency.

在这一研究内容下，主要研究四个方面的问题：(1)在完成金属波导传输线方程时域形式的基础之上，应用有限积分技术，把波导特征模式的色散传输线方程，化简为一组新的一阶偏微分方程组，该边值问题属一维Dirichlet边值问题，从而便于用蛙跳格式求解，由于是在一维中计算，该方法具有很高计算效率和精度，从而避免了以往为得到金属波导中特征模的时域响应特性，须要求解二阶方程，或用时域有限差分方法求解三维问题的方法，对于后者来说，计算有时是不准确的，或是很耗时的例如计算诸如圆波导、椭圆波导等其它复杂形状的波导。

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的第十问题。

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.

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

My father is over 60 years old, and he lifts weights every day.

我爸爸六十多岁了，他每天都练习举重。

Then in a serious tone she declared:"It doesn't pay, dear boy, to look like a ninny with one's wife the first night."

两眼湿润了，她把身子蜷得很小，这样似乎可以更好地闻闻自己。