查询词典 algebra over k

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.

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

On the generalization of rough set theory, molecular lattice was introduced into rough set theory as the base algebra.

关于粗糙集理论的拓展问题，将分子格引入到粗糙集理论，本文试图将近似算子作进一步抽象与推广。

This book reviews the many areas of numerical analysis, including the configuration polynomial, finite difference, factorial polynomials, summation, Newton formula, operator and configuration polynomial, Cheung section, close polynomials, TaylM more item type, interpolation, numerical differentiation, numerical integration, and with the series, differential equations, differential equations, least squares polynomial approximation, minimax polynomial approximation, rational function approximation, triangular approximation, non-linear algebra, linear equations, linear programming, boundary value problems, MonteCarIo methods and so on.

本书综述了数值分析领域的诸多内容，包括配置多项式、有限差分、阶乘多项式、求和法、Newton公式、算子与配置多项式、祥条、密切多项式、TaylM多项式、插值、数值微分、数值积分、和与级数、差分方程、微分方程、最小二乘多项式逼近、极小化极大多项式逼近、有理函数逼近、三角逼近、非线性代数、线性方程组、线性规划、边值问题、MonteCarIo方法等内容。本书的特色主要表现在利用例题及大量详细的题解来透彻地阐明所述内容的内涵，同时附有大量的补充题以便读者进一步巩固和深化从书中获得的数值分析知识。

Then we discuss comodule algebra on the Hopf algebroid. If L is finite generated as a left R-projective module, left L-comodule category is equivalent to the left L〓-module category.

然后讨论Hopf代数胚的余模代数，如果L是有限生成的左R-投射模，那么左L-余模范畴与左L〓-模范畴是等价的。

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