给出了三种代数类具有可定义主同余性质的证明。
This article mainly gives three kinds of algebra classes which have the property of definable principal congruence and their verifications.
针对一类四次隐式代数曲面，提出一种基于分片的几何参数化方法。
This paper proposes a piecewise geometric approach to parametrize a kind of quartic implicit algebraic surface.
李三系作为一种代数体系，最初源于对黎曼流形的一类特殊子空间——全测地子流形的研究。
As an algebraic system, Lie triple systems arise upon consideration of certain sub-spaces of Riemannian manifolds, the totally geodesic submanifolds.
给出了一类新的试验多项式，可识别多项式代数的非线性自同构。
We can distinguish nonlinear automorphism of polynomials algebra by using the test polynomials.
香农在1938年意识到该代数的形式和电子开关(这一类开关具有通-断两种状态)的功能的相似性。
Shannon, in 1938, recognized the parallels between this form of algebra and the functioning electrical switching systems, in that switches are two-state, on-and-off devices.
本文讨论了一类具有好的渐近参数的代数几何码。
In this paper, we discuss a class of algebraic geometry codes (A-G codes) with good asymptotic parameters.
给出了中介关系数据模型，在此基础上构造了两类不同的中介关系数据库查询语言：中介关系演算和中介关系代数。
Based on this model, this paper constructs two different kinds of medium relational database query languages: medium relational calculus and medium relational algebra.
代数重组技术(简称art)是级数展开算法这一大类中一种重要的方法。
Algebraic reconstruction Techniques (ART) is an important approach from a large family of the series expansion reconstruction algorithms.
树作为一类简单而特殊的图，对它的特征值的研究能帮助了解谱的一些代数性质。
As tree is an easy and special graph, the study of its eigenvalue can help understand some algebra nature of spectrum.
引入一类新理想——BCI关联理想的概念，证明了它是BCK代数中关联理想概念在BCI代数中的自然推广。
The notion of BCI implicative ideals is introduced. It is a natural generalization of the notion of implicative ideals in BCK algebras.
交换环上矩阵代数的可解子代数和幂零子代数的自同构分解问题是一类重要的具有理论意义的研究课题。
It is theoretically important to solve the problems of decomposition of automorphisms of solvable subalgebra and nilpotent subalgebra of matrix algebra over commutative rings.
对系统应用第一类拉格朗日方程，得到系统位形坐标的微分—代数方程组。
Apply Lagrange equation of the first kind to the system, and get a set of the differential - algebraic equations (DAEs) of its absolute coordinates.
本文给出一类线性代数命题的一种证明方法。
A proof of a kind of linear algebra propositions is given in this paper.
微分代数采用动态反馈控制实现一类非线性系统的控制，平滑性是微分代数的重要概念。
Differential algebraic strategy can be applied to address the dynamic feedback control problems effectively in the nonlinear systems, with Flatness an important concept in the differential algebra.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.
基于等价类的划分、线性方程组的求解和标准基之对偶基的计算，提出了域元素分量代数表达式的三种求法。
Based on the partition of equivalent classes, the resolving of a linear system of equations and the calculation of the dual basis of the standard basis, three methodologies are presented.
将连接与阻尼分配？无源控制方法进行从常微分方程到微分代数方程的拓展，求解一类仿射非线性微分代数系统的调节问题。
The interconnection and damping assignment passivity-based control (IDA-PBC) methodology is extended to solve the regulation problem of affine nonlinear differential algebraic system.
本文给出了一类复代数微分程组亚纯解的特征估计。
This Paper investigates the characteristic estimation of meromorphic solutions of a class of systems of complex algebraic differential equations.
本文研究了一类非结合代数的自同构。
In this paper, we study the automorphism of a type of non-associative algebra.
用图论方法对一类极大代数意义下矩阵进行了研究，给出了矩阵方幂元素的性质。
In this paper, we study the problem of a kind of matrix in the sense of minimax algebra by using graph theory method and present the property of matrix power element.
从代数的观点，作者讨论了摹方阵乘幂问题，得到了定理3。它说明可以代数地构造任意多个有效的算法求解网络上两类最优路问题；
Theo- rem 3 states that in networks it can establish any number of efficient algorithms for optimum path problems of the first and second categories.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
第三类广义积分都可以写成第一类与第二类广义积分的代数和。
The third type im-proper integral can be written as the algebraic sum of the first and second type integrals.
刻划了一类含左零因子的代数的结构，解决了己有文献提出的问题。
The structures of a kind of algebras which contain left zero-divisors are characterized, and the problem advanced in Wu Pinshan's work ls solved.
这是一个科学计算库，支持多维数组和线性代数数，在某些计算概率、标记、聚类和分类任务中用到。
This is a scientific computing library with support for multidimensional arrays and linear algebra, required for certain probability, tagging, clustering, and classification tasks.
本文讨论了一类高阶代数微分方程的单值亚纯解和有限多分支解的增长性，推广了N。
The paper obtains the growth of single-valued meromorphic solutions and finite branch solutions of differential equations in the complex plane and generalizes the results of n.
本文研究了满足条件N的局部群系集合的代数性质，同时对于这类群类，给出了极小非-群的结构。
In this paper we investigate algebraic properties of the set of local formations which satisfy n, and for such formation we give the structure of minimal non group.
孙道椿证明了单位圆内一类零级亚纯函数的最大型聚值点存在性定理，本文将这一结果在一定程度上推广到了亚纯代数体函数。
Sun Daochun proves the existence theorem on the maximum condensation point of the zero order meromorphic functions in the unit circle.
本文研究了一类脉冲中立型时滞抛物方程解的振动性及强振动性，获得了此类脉冲中立型时滞抛物方程解振动和强振动的代数判据。
In this paper, we study the forced oscillation and the strong oscillation of systems of impulsive neutral parabolic differential equations with several delays.
本文研究了一类脉冲中立型时滞抛物方程解的振动性及强振动性，获得了此类脉冲中立型时滞抛物方程解振动和强振动的代数判据。
In this paper, we study the forced oscillation and the strong oscillation of systems of impulsive neutral parabolic differential equations with several delays.
应用推荐