- 更多网络例句与布尔环相关的网络例句 [注：此内容来源于网络，仅供参考]
-
A default theory is equivalent to a set of Boolean ring equations.
一个缺省理论等价于一个布尔环方程组。
-
This paper studies default logic using Boolean ring rewriting system.
利用重写系统研究缺省逻辑姜云飞（吉林大学计算机科学系长春130023）摘要本文在布尔环重写系统中研究了缺省逻辑。
-
It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.
s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。
-
The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).
本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。
-
In chapter 6 and 7, having discussed the description method of the shape of bube-bent part and it's CSG data structure, a 3-D shape description method of using boolean operation by cyclinder and torus primitives is proposed.
第六章和第七章分别探讨了管材弯曲件三维描述方法及其CSG数据结构，提出了采用圆柱体素与圆环体素，通过适当布尔运算来描述其三维形状，并实施区间CSG扫描线和光线跟踪算法，在微机上实现了管材弯曲件三维浓淡图形的生成。
-
Iseki , this theory contact to be suffused with universal algebra, group theory, ring theory, lattice theory,Boolean algebra,set point topology, toplogical algebra etc. we have already obtained the large quantity result to the research of the BCK algebra.
Iseki引入的代数系统，这一理论联系到泛代数、群论、环论、格论、布尔代数、点集拓扑和拓扑代数等，对BCK代数的研究已经取得了一大批的研究成果。
-
Firstly, the connection matrices are strongly connected Boolean matrix, it is shown that the maximum length of limit cycles for FBAM is the period index of the product of the connection matrices. Thus, the maximum limit cycle is reachable. Secondly, two strongly connected components are connected by walks, it is proved that the maximum length of limit cycles for FBAM is the max. of the period index of the two strongly connected components if they are prime, otherwise, it is the least common multiple of the two period index. Finally, n strongly connected component are connected in succession, the method for computing the maximum length is described. By different patterns are presented to the networks, diminishing the number of the strongly connected components until only two components.
第一，连接权矩阵为强连通布尔矩阵，此时模糊双向联想记忆网络的最大极限环长度为连接权矩阵乘积的周期指数，从而极限环具有可达性；第二，两个强连通分支有路径连接，此时如果两个强连通分支的周期指数互素，那么网络的最大极限环长度为其最大者，否则，网络的最大极限环长度就等于二者的最小公倍数；第三，n个相邻强连通分支有路径连接，给出了计算最大极限环长度的方法，通过激发模式的变化，逐渐减少强连通分支的个数，直到只有两个分支。
-
In 1980, a 17-year-old youth of one the clans, named Babur, disappeared while travelling through Pakistan with members of the other; then in 1992, a 60-year-old shepherd of the second clan was found murdered, allegedly killed with an axe by an uncle of Babur.
Siddiquekhail）的两个游牧部落之间的争端而召开的，西迪奎哈伊勒是强大的普什图-艾哈迈德扎伊族的一个亚族1980年，其中一个部落的一位名叫的17岁年青人在同另一个部落的人一起环巴基斯坦旅行时失踪；后来到1992年，人们发现后一个部落的一名60岁的牧羊人被谋杀，据说是被巴布尔某个叔叔用大斧子杀死的。
-
In 1980, a 17-year-old youth of one the clans, named Babur, disappeared while travelling through Pakistan with members of the other; then in 1992, a 60-year-old shepherd of the second clan was found murdered, allegedly killed with an axe by an uncle of Babur.
这次会议是为了解决西迪奎哈伊勒的两个游牧部落之间的争端而召开的，西迪奎哈伊勒是强大的普什图-艾哈迈德扎伊族的一个亚族（ sub-tribe ）1980年，其中一个部落的一位名叫的17岁年青人在同另一个部落的人一起环巴基斯坦旅行时失踪；后来到1992年，人们发现后一个部落的一名60岁的牧羊人被谋杀，据说是被巴布尔某个叔叔用大斧子杀死的。
- 更多网络解释与布尔环相关的网络解释 [注：此内容来源于网络，仅供参考]
-
boolean optimization：布尔最优化
boolean operation 布尔运算 | boolean optimization 布尔最优化 | boolean ring 布尔环
-
boolean ring：布尔环
动脉环:arterial ring | 布尔环:Boolean ring | 加强环:stiffening ring
-
boolean vector：布尔向量
boolean ring 布尔环 | boolean vector 布尔向量 | border 边缘
-
armillary sphere：浑仪
调整挡板的位置使它正好遮住目标.由挡板与小孔距离及挡板宽度就可以算出被测物体的视直径,或两点间的视距.还有一种星盘(astrolabe),是有刻度的圆盘,可测天体的方位和高度.J.B.J.德朗布尔(Delambre)认为希帕霍斯还使用过浑仪(armillary sphere)([3]),是由几个圆环套起来的仪器,