查询词典 algebra of events

Symmetric cone complementarity problem; Euclidean Jordan algebra; C-function; Merit function; Hybrid Newton method; Regularized-smoothing method

对称锥互补问题；欧几里得若当代数；互补函数；价值函数；混合牛顿算法；正则光滑化牛顿算法

Meanwhile, the relationship between the trace scalar solution set and the Bo properly K—efficient solution set of the Euclidean Jordan algebra vector optimization problem is es- tablished.

同时，还建立了特殊谱标量解集——迹谱标量解集与Bo恰当K-有效解集的包含关系。

This course mainly consists of 4 parts:1.Logical algebra and logical simplification, Karnaugh Map and Q-M approach.

本课程由4部分组成，分别是：逻辑代数与逻辑函数化简、组合逻辑分析与设计、同步时序逻辑分析与设计、可编程逻辑设计。

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

Due to the disadvatages of using applied algebra and scheme to calculate the synchronized sequence circuits logic value,the article proposes a quick component analysis method,which is based on sequence circuit on Karnaugh map .

针对应用代数法和列表法分析同步时序电路计算逻辑值工作量繁杂且容易出错的缺点，提出了一种基于时序电路的次态共卡诺图的快速分析法。

The course provides the fundamental concepts used in the design of digital systems, including the methodology to design the combinational and sequential circuits with Boolean Algebra, Karnaugh map, and the logic elements, such as basic logic gates, latches, and flip-flops,etc.

本课程在提供数位系统设计所须具备的基础能力，包括学习以布林代数、卡诺图来设计组合逻辑与序向逻辑电路的方法，以及培养基础逻辑元件的应用能力，包括基本逻辑闸、栓锁器、与正反器等等元件。

And using thinking of evolvable hardware design,it had realized a novel way in simplifying the given logic function,which was different from conventional method,such as algebra way and Karnaugh map way.Experiments showed that evolvable hardware method could solve simplification of large scale logic function.

作者在对演化硬件设计理论的学习研究中，尝试了用遗传算法在可编程逻辑器件上应用来实现对某一给定的逻辑函数进行化简。2代数法和卡诺图法介绍[1]先给定一个逻辑函数F，并对其进行化简：F=A+ABC+AC+CD(1)2.1代数法化简代数法化简就是运用代数的公理、定理和规则对逻辑函数进行化简。

Based on the transformation between position space and spinor space in geometric algebra system,the perturbing Kepler equation was transformed to a linear and regular form(also called Kustaanheimo-Stiefel equation or KS equation).

利用几何代数体系中的位置空间与旋量空间之间的转换关系，将摄动Kep ler方程转化为线性、正则的旋量方程，并给出Kep ler旋量方程的解。

The Laplacian eigenvalue is an active and important subject in Algebra Graph Theory.

本文主要研究了代数图论中的一个课题：图的Laplace特征值。

The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning.

格蕴涵代数为格值逻辑与不确定性推理的研究提供了一种理论基础。

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