查询词典 algebraic correspondence

In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent.

本文将在此基础上，进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化，从而设计出正确的优化逻辑结构，在这种逻辑结构中去除了冗余，最大限度地重复使用各个子部件。

The positions and functions of the inventory control in the environment of supply chain are discussed first. The analysis on main conflict problems needed to be determined is presented. Based on the algebraic Petri nets the modeling research on vender managed inventory is proceeded on. Considering the shortages of the original algorithms, the improvements are putout to speed up the search process and improve the precision of the search results. The optimizations of lots sizing problem with the objective function of inventory costs are processed by the improved optimal algorithms. By the analysis on the results of the optimization, the conditions of overtime work, out of stock, and security stock are achieved.

文章首先讨论了供应链环境下库存控制在物流管理中的地位和作用，分析了库存控制需要解决的主要矛盾；然后应用代数Petri网对供应商管理库存(Vender Managed Inventory，VMI)的模式进行了建模研究；针对原始的粒子群优化算法和遗传算法存在的不足，分别提出了改进型算法，提高搜索速度和搜索精度；运用改进的优化算法对以库存成本为目标函数的批量计划问题进行了优化，通过优化结果的分析，得出了批量生产计划安排中加班、缺货和安全库存的存在条件。

The radial magnetic pressure of axisymmetric coil can be calculated by algebraic analysis.

采用代数解析的方法，计算了轴对称线圈所受到的磁场力的径向分量。

An advanced combined turbulent lubrication model is proposed: low turbulence Reynolds number k-e model is used to describe the flow in the near-wall regions, and algebraic Reynolds stress model is used to describe the flow in the turbulence kernel, with flow continuity kept between the two models and transition criterion set to fit Leutheusser's measurements.

提出了先进的复合型紊流润滑理论：以低紊流雷诺数k-e模式描述近壁区内的流场，而以代数雷诺应力模式描述紊流核心区内的流场，二区间流场连续过渡，并依据Leutheusser实验结果设定过渡准则。

Working with the energy matching principle, the algebraic method is presented to establish the periodic relative motion condition, that is, the orbit constraint for the formation designing and station keeping.

基于能量匹配原理，提出了一种只需进行代数运算，就可确定编队卫星周期性相对运动条件，即轨道约束的的新方法。

Wikipedia defines a matrix as "a rectangular table of numbers or, more generally, of elements of a ring-like algebraic structure."

Wikipedia把一个矩阵定义为&一个矩形阵列，由数组成，或更一般的，由某「环」中元素组成&。

Third, the algebraic specifications are used in order to reveal the essentials of denotational semantics and to get more modularity and less complexity. Chapter 2 introduces the basic concepts and notations used in this dissertation.

三是采用代数规约的框架，这有助于揭示将语法作为多类基调代数的型构定义，将程序作为表达式的指称语义方法之实质思想，也有助于形式定义文本的模块化，降低描述复杂度。

On condition that there exist weak excitations in the two-component BEC, the SO (3, 2) Lie algebraic description still work. The eigenstates and energy-gap equation have been obtained.

对存在弱激发的双分量BEC，SO（3，2）代数方法仍然近似有效，我们由此求得了系统的本征态和弱激发能隙方程。

Finally,through some ideas from Algebraic Geometry,we constructed strongly exceptional collections of derived sheaf categories,and solved the problem that equivalences between some posets.

最后，通过代数几何里的一些思想，我们构造了导出层范畴的强例外集合，解决了一类偏序集的等价问题。

Leibniz also freely invoked mathematical entities he called infinitesimals, manipulating them in ways suggesting that they had paradoxical algebraic properties.

莱布尼茨自由运用他称之为&无穷小&的数学单位，并以各种他们相悖的代数性质进行运算。乔治？

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数据流的质量检测。