1) semi-algebraic system
半代数系统
1.
The method firstly assumed the invariant of Petri nets as a parameterized system,and then evaluated para-meters in the invariant by solving the corresponding semi-algebraic system.
算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。
3) semi-algebraic transition system
半代数变迁系统
1.
This paper transformed Petri nets into a semi-algebraic transition system and presented an algorithm for generating the invariant of Petri nets,which was helpful to increase the accuracy of structural methods in calculating approximations of the reachability space.
将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。
4) algebraic system
代数系统
1.
The existence of congruence relation between them was proved by constructing the corresponding algebraic system respectively.
为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系。
2.
Through the application of algebraic system in computer fields,we want to reveal a profound theory about operating on the database to lead to several common algebraic formulations in the system of simplified operation,to directly link up discrete mathematics with computer science.
通过代数系统在计算机领域中的应用,揭示数据库操作的深刻原理,导出简化探作程序中几个常用的代数运算公式,从一个侧面沟通了离散数学与计算机,科学的直接联系。
3.
The aim of this paper is to research on a method for uniformly representing data objects, which is needed by the management tools of CMM, and their operations by the algebraic system.
本文旨在研究使用代数系统对CMM管理工具所需数据对象及其上操作进行统一描述的方法,结合代数系统的定义和定理,将数据对象的全体看作集合,将数据对象上的各种操作定义成该集合上的运算,从而构成代数系统。
5) algebra system
代数系统
1.
We give a new method of DOCEM model-based binding computation for XML algebra system.
给出了一种新的基于分布开放计算模型的XML代数系统的计算方法,并详细论证了该算法的有效性。
2.
Cyclic group is a kind of important algebra system in discrete mathematics.
在离散数学中,循环群是一类重要的代数系统,生成元的求解是判定循环群的一项重要操作。
3.
Without the partial ordering relation and ordering structure, a conversant algebra system Boolean algebra is analyzed with a new point of view in this paper, which makes most concepts in discrete mathematical being understood more deeply.
在不涉及偏序关系和序结构的前提下,用一种新的观点剖析了一个熟悉的代数系统———布尔代数,加深了离散数学中代数系统的有关概念的理解和认识。
6) post algebra
格代数系统
1.
Also, basic operations on ternary logic in post algebra are realized using three-layer feed-forward robust neural networks based on its classification property, accordingly arbitrary ternary logical functions can be realized.
根据感知器神经元的分类特点,采用三层前向稳健感知器神经网络实现了三值格代数系统中的基本运算,从而也实现了任意三值逻辑函数。
补充资料：代数系统
代数系统也称为近世代数或抽象代数，是近代数学的重要分支。
一个非空集合a和a上的封闭运算o1,o2,o3,...,on所组成的系统称为一个代数系统，记为<a;o1,o2,o3,...,on>。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条