1) sign pattern
符号模式
1.
An n×n sign pattern matrix A is an inertially arbitrary pattern if for each nonnegative triple(r,s,t) with r+s+t=n,(r,s,t)∈i(A).
设A是一个n阶符号模式,称三元数组的集合i(A)={i(B)|B∈Q(A)}为符号模式A的惯量。
2.
Let A be a n-order anti-symmetric sign pattern.
设A是n阶反对称符号模式。
3.
A sign pattern matrix A is a matrix whose entries are from the set {+,-,0}.
元素来自于集合{+,-,0}的矩阵A称为符号模式矩阵,简称符号模式。
3) sign pattern matrix
符号模式矩阵
1.
A sign pattern matrix is a matrix whose entries are from the set {1,-1,0}.
符号模式矩阵是指元素取自集合 { 1,- 1,0 }的矩阵。
2.
A matrix whose entries are +,-, and 0 is called a sign pattern matrix.
以+,-,0为元素的矩阵称为符号模式矩阵。
3.
Sign pattern matrix is a very hot research topic in combinatorial matrix theory, for which it is of greate value for practical applications in many academic subjects such as economics, biology, chemistry, computer science, etc.
符号模式矩阵是组合矩阵中当前国际上十分活跃的一个研究课题,其重要原因之一是它在经济学、生物学、化学、社会学、计算机科学等众多学科中具有广泛的实际应用背景。
4) generalized star sign pattern
广义星符号模式
1.
A sign pattern is a generalized star sign pattern if it is combinatorial symmetric and its graph is a generalized star graph.
如果符号模式A是组合对称的, 且它的图是一个广义星图,则称A是广义星符号模式。
5) nonnegative pattern
非负符号模式
6) symbolic simulation
符号模拟
1.
To solve the problem that SAT solvers usually has excessive backtraces during assigning binary values to an unassigned variables,a new SAT solver based on symbolic simulation and variable partition,which lower not only the number of backtrack but the memory blow-up,was presented.
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。
2.
The paper introduces the history,basic technology,and the drawback of BDD blowup of symbolic simulation.
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。
3.
We propose a method of implementing a symbolic simulation system which uses symbolic simulation and BDD.
通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。
补充资料：植物命名的模式和模式标本
科或科级以下的分类群的名称，都是由命名模式来决定的。但更高等级（科级以上）分类群的名称，只有当其名称是基于属名的也是 由命名模式来决定的。种或种级以下的分类群的命名必须有模式标本根据。模式标本必须要永久保存，不能是活植物。模式标本有下列几种：
（1）主模式标本（全模式标本、正模式标本）（holotype）是由命名人指定的模式标本，即著者发表新分类群时据以命名、描述和绘图的那一份标本。
（2）等模式标本（同号模式标本、复模式标本）（isotype）系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
（3）合模式标本（等值模式标本）（syntype）著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本，其数目在2个以上时，此等标本中的任何1份，均可称为合模式标本。
（4）后选模式标本（选定模式标本）（lectotype）当发表新分类群时，著作未曾指定主模式标本或主模式已遗失或损坏时，是后来的作者根据原始资料，在等模式或依次从合模式、副模式、新模式和原产地模式标本中，选定1份作为命名模式的标本，即为后选模式标本。
（5）副模式标本（同举模式标本）（paratype）对于某一分类群，著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本，称为副模式标本。
（6）新模式标本（neotype）当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时，根据原始资料从其他标本中重新选定出来充当命名模式的标本。
（7）原产地模式标本（topotype）当不能获得某种植物的模式标本时，便从该植物的模式标本产地采到同种植物的标本，与原始资料核对，完全符合者以代替模式标本，称为原产地模式标本。
（1）主模式标本（全模式标本、正模式标本）（holotype）是由命名人指定的模式标本，即著者发表新分类群时据以命名、描述和绘图的那一份标本。
（2）等模式标本（同号模式标本、复模式标本）（isotype）系与主模式标本同为一采集者在同一地点与时间所采集的同号复份标本。
（3）合模式标本（等值模式标本）（syntype）著者在发表一分类群时未曾指定主模式而引证了2个以上的标本或被著者指定为模式的标本，其数目在2个以上时，此等标本中的任何1份，均可称为合模式标本。
（4）后选模式标本（选定模式标本）（lectotype）当发表新分类群时，著作未曾指定主模式标本或主模式已遗失或损坏时，是后来的作者根据原始资料，在等模式或依次从合模式、副模式、新模式和原产地模式标本中，选定1份作为命名模式的标本，即为后选模式标本。
（5）副模式标本（同举模式标本）（paratype）对于某一分类群，著者在原描述中除主模式、等模式或合模式标本以外同时引证的标本，称为副模式标本。
（6）新模式标本（neotype）当主模式、等模式、合模式、副模式标本均有错误、损坏或遗失时，根据原始资料从其他标本中重新选定出来充当命名模式的标本。
（7）原产地模式标本（topotype）当不能获得某种植物的模式标本时，便从该植物的模式标本产地采到同种植物的标本，与原始资料核对，完全符合者以代替模式标本，称为原产地模式标本。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条