1) proba-bilistic symbolic bisimulation
概率符号互模拟
3) 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级的符号模拟系统的实现方法。
4) Less probable symbol(LPS)
小概率符号
5) MPS(Most Probable Symbol)
大概率符号
6) simulation probability
模拟概率
补充资料：《公共信息标志用图形符号》(GB10001—1994)
《公共信息标志用图形符号》(GB10001—1994)
Graphical Symbols for Use on Public Information Signs
号是用于图形标志上，以图形或图像为主要特征，向公众提供信息，给人以行为指示的国际化图形语言，具有一目了然的特点及美化环境、提高文明建设程度的良好作用。常设t在宾馆、饭店、商场、车站、码头、机场、体育及会议中心、旅游景点等处。还可用于各种印刷品。该标准的前身为《公共信息图形符号》(GB 3818一1983)和《公共信息标志用图形符号》(GBI(X刃1一1988)，1望抖年合并为GB10以)1一1望抖。 与GBI以X)1相关的标准有:《铁路客运服务图形标志)( GB/T7仍8一1986)、《民用航空公共信息图形符黔(MH(以巧一l期)、《旅游饭店用公共信息图形符号》(LBITool一1卯5)。这些标准分别引用了GBI仪幻l中的相关符号，并补充了各自的专用符号。另外，指导如何使用这类图形符号的标准有《图形标志使用原则与要求》(C别T巧宝巧一1卯5)及《民用航空公共信息图形标志设t原则与要求》(MHIToo12-1卯7)。 (白段一)G。飞心以习Xinxj Bicozhiybr习Tuxing Fuf父幻《公共信息标志用图形符号)(GB llXX)l一1994)(。即人蒯月助刀入〕‘for Useon乃站licl卜娇〕~fonS心心)在采用1507001:l卿公共信息符号的基础上制定的国家标准，共规定了79个公共信息标志用图形符号。其中的10个符号(见图)，从左到右依次为:公共汽车、残疾人设施、卫生间、电话、票务服务、结账、西餐、卡拉OK、自行车停放处、运动场所。这类符回固圃园圃圃冈团园囿公共信息标志用图形符号
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条