查询词典 formalized

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完全问题，在多项式时间内不能得到最优解，因此研究者所寻求的是一种次优的、在最差情况和平均情况下的性能都接近于最优的解决方案。

The notation of polyphony develops, and the assumption is that formalized polyphonic practices first arose in this period.

据推测，复调记谱法的发展使得复调的实践在这段时期内得以发展并最初成为一种形式。

Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。

In the frame, Design Structure Matrix is the tool to build up the models of product structure and development process. The product structure topology tree is defined, and the product structure DSM model is introduced. The formalized description about development process model is presented. The characteristics of the tools to build up development process are analyzed, the strongpoint of DSM is discussed, and the development process model based on DSM is introduced. The relation between product structure and development process is analyzed.

在研究框架中引入了产品结构和开发过程的建模工具——设计结构矩阵(Design Structure Matrix， DSM)；给出了产品结构拓朴树的定义及其形式化描述，并在此基础上引入了产品结构DSM模型；给出了产品开发过程模型的形式化描述，比较了几种常见的产品开发过程建模工具，分析了用DSM建模工具进行产品开发过程建模的优势，引入了产品开发过程DSM模型；分析了产品结构与开发过程之间的联系，提出了两者之间的集成机制，并在此基础上给出了IM-PSDP模型。

Training can be provided using many different approaches, including programmed instruction, formalized on-the-job training, mentoring, and formal and classroom training.

使用不同的方式提供培训，包括制定好的指导，正式的在职培训，导师制度，社交沟通和教师培训。

Based on the deep analysis of existing methods, plane projective transform based method is concluded, formalized, and proved by relative affine structure.

在此基础上，提出了基于视觉的SLOM感知框架，重点解决运动平台上的运动目标检测问题。

Also at last year's meeting, former US Secretary of State Condoleezza Rice formalized plans to sign a treaty on installing a US radar base in the Czech Republic with Czech Foreign Minister Karel Schwarzenberg.

此外，在去年的一次会议上，美国前国务卿赖斯正式计划签署条约，建立一个美国雷达基地，在捷克共和国与捷克外长卡雷尔施瓦岑贝格。

For the rabbis who formalized its procedures, Seder was the pre-eminent vehicle of cultural transmission from one generation to the next.

对於拉比们谁形式化其工作程序， seder是前著名汽车的文化传承，从一代传给下一代。

These qualification activities are used as the basis for formalized change control programs that support the continued appropriateness of the sterilizer over time.

这些认证是正式的变更控制计划的基本内容；而正式的变更控制计划支持着消毒器持续的适用性。

But the bird was almost out of sight now and nothing showed on the surface of the water but some patches of yellow, sun-bleached Sargasso weed and the purple, formalized, iridescent, gelatinous bladder of a Portuguese man of war floating close beside the boat.

它伸张着须夷，凝胶状的气囊飘浮到船边，翻了个身，然后又复原，在水面上彷佛一个气泡一样好轻松愉快地飘浮着，身后拖着一条有毒的紫色细丝，在水里漂着有一码长的距离。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。