查询词典 equivalence problem

Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.

确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。

On the safe side, we should use active soil pressure and passive soil pressure to calculate the support strength before T increased. That is RA=EA-EP Among them: RA ………… holding strength EA ………… composite force of active soil pressure EP ………… composite force of passive soil pressure Immediately, flexural torque distribution of enclosure wall can be counted. Mmax is the location of shear force zero. Equivalence beam method abridges. No matter which kind of supporting structure form, the key problem lies in the establishment depth of catch point, severity of support and enclosure wall, penetration depth and pit bottom quality of soil property.

单道锚杆支护结构计算分别采用静力平衡法及等值梁法，根据试算法插入深度t值需先进行假定墙的插入深度确定后来计算支撑力，为了安全起见，可按插入深度增大前的主动与被动土压力合力计算支撑力即 RA=EA-EP 式中：RA …………支撑力 EA …………主动土压力合力 EP …………被动土压力合力随之可求围护墙的弯矩分布，Mmax为剪力为零点的位置，等值梁法的计算略述。

Equivalence Checking of Retimed Circuits: Sometimes it is helpful to move logic from one side of a register to another, and this complicates the checking problem.

等价性检验的Retimed电路：有时是有益的行动逻辑一方登记册到另一个，这复杂的检查问题。

Aiming at the problem of Markova chain state transition prediction, this paper presents equivalent prediction method and models based on Discrete Process Neural Networks. According to the description of system state transition problems in a certain condition, we discuss the equivalence relation between DPNN and Markov models.

针对Markov链状态转移预测，提出一种基于离散过程神经元网络的等效状态转移预测方法和模型，探讨DPNN与Markov模型在一定条件下对于系统状态转移特性描述的等价性问题。

In Chapter 1, two solutions to the elliptical boundary value problem have been constructed through a monotone iterative process, and they might be identical. In Chapter 2, the author expresses the local solution to the parabolic initial boundary value problem taking advantage of Green function. In Chapter 3, the asymptotic solution to the initial value problem of Duffing equation is obtained and the method for finding the approximate solution to the inverse problem is put forward.This paper is planned with a view to the author's research means.

从研究结果看：第一章通过单调迭代过程构造出椭圆型方程的边值问题的两个解，并且指出二者可能是同一个解；第二章利用格林函数给出了抛物型方程的初边值问题的局部解的解析表达式；第三章中，先对Duffing方程的初值问题写出解的渐近展开式，再对其反问题提出一种求近似解的方法。

In this paper,the following assignment problem is considered:there are persons to be assigned to do jobs,where,every person who is assigned to do one job,meanwhile,every job demands one person to do;then,this assignment problem is called standard assignment problem,furthermore,it is called general assignment problem.

考虑了指派问题：有m项工作和n个人。若m与n是相同的，并且每一项工作只能由一个人来做；同时，每一个人只能做一项工作；符合这一条件的指派问题称为标准指派问题；若m与n不相同，则称为非标准指派问题。

The invention discloses a ternary alloy hyperacoustic motor frictional material of the fire resistance resin modified polyphenyl ester, which solves the low friction coefficient problem, the low impact strength problem, the low abradability problem and the bad processability problem of the prior hyperacoustic motor.

耐高温树脂改性聚苯酯三元合金超声马达摩擦材料，它涉及一种聚苯酯基超声马达的摩擦材料。本发明解决了现有超声马达摩擦材料存在摩擦系数小、冲击强度低、耐磨性能达不到要求，以及加工性能差等缺点。

Analyzed the similarity between scheme solving problem and traveling salesman problem, the scheme solving problem for conceptual design is transformed into an optimal path problem in combinatorial optimization, where the dynamic programming based solution space model and the longest path based optimization model are developed.

摘要通过分析概念设计方案求解问题与旅行商问题的相似性，将方案求解问题转化为组合优化的最优路径问题，建立了基于动态规划的解空间模型和基于最长路径的优化模型。

The problem of universals is no longer a philosophical problem, but also a problem in belief. The history of this problem is ended here in this thesis with Abelards conceptualism.

然后文章再从关于共相讨论的演变出发，梳理了一条清晰的哲学史发展线索，那就是从古希腊到中世纪中期关于共相问题的争论，并以阿贝拉尔的观点做一个时间上的收尾。

CBFEC emphasizes direct correspondence of concepts in EC with its software architecture for ease of understanding and using; minimal coupling with specific problem structure for easy adaptation it to solve a large number of wholly different problems; interface-centered design for extendibility. To achieve those objects, the problem-solving method of EC is analyzed and the problem-solving procedure of EC is divided into three interactive aspects: population-based stochastic searching mechanism, problem specific information to implicitly guide the stochastic searching, and the observation and control of the computation procedure of EC. Then the key concepts of EC are identified in those three aspects; the normal implementations of those concepts are summarized; the interfaces represents those concepts in software are abstracted; the collaborations of components through those interfaces are designed. CBFEC is implemented on mainstream component software platform COM/DCOM (Component Object Model/Distributed COM from Microsoft), which includes interfaces definitions, commonly using EC components implemented those interfaces, such as Simply EA component, Steady State EA component, EA component, EA component, Population component, Tournament Selection component, Linear Ranking Selection component, Nonlinear Ranking Selection component, Random Number Generator component, etc, and the collaborations of those components through those interfaces.

具体的做法是把演化计算看作是基于组件的软件工程的一个应用领域：首先分析了演化计算求解问题的一般思路和方法，把演化计算问题求解过程分为："设计基于群体的随机搜索机制"、"研究问题的性质并以此隐含地定义算法的搜索方向"和"求解过程的观察与控制"三个部分；然后分别找出各个部分中的关键概念，总结这些概念现有的一般实现方法，抽取其本质，以此结合设计模式来定义组件软件的接口；通过分析演化计算各个概念之间的相互联系来设计组件软件间通过接口的进行交互的方式；最后还在目前一种主流组件软件开发平台COM／DCOM（微软提出的组件对象模型）的基础上实现了常用的演化计算组件，如简单演化算法组件、稳态演化算法组件、演化算法组件、演化算法组件、种群组件、锦标赛选择策略组件、线性排名选择策略组件、非线性排名选择策略组件、随机数发生器组件等等。

I was just taking her hand, to help her out of a car, and I knew it.

我只是握着她的手，扶她下车，但我知道这一切。

China and South Korea have excoriated Japan over its approval of new school books which they say whitewash the atrocities committed during Japanese occupation, and anti-Japanese protests have been held in Chinese cities. The lingering bitterness over Japan's past imperialism still threatens to mar relations between the big East Asian powers

中国和韩国强烈谴责日本通过新的中学历史教科书，他们认为这一教科书掩盖了日本在其占领期间所犯下的残酷暴行，反日抗议活动在中国数座城市发生，历史上日本帝国主义制造的痛楚无法被忘却，这有可能破坏东亚强国间的关系。