1) 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级的符号模拟系统的实现方法。
3) imitative map symbol
模拟地图符号
1.
According to the fact of existing mapping relations between cartographic region and the subjective cognition structure, this paper brings forth the definitions of imitative map symbol and virtual map symbol, studies the rule of their evolution, puts foward the mathematical model for maps of planning and forecasting as well as the definition for geo-cyberspace.
根据从制图区域到主体认知结构,从主体认知结构到二维平面之间存在映射的关系,给出了模拟地图符号和虚拟地图符号的定义,探讨了其演化规律,并给出了规划和预测地图的数学模型以及地理虚拟空间的数学定义。
4) LSS Language for Symbolic Simulation
符号模拟语言
5) proba-bilistic symbolic bisimulation
概率符号互模拟
6) number mesh
数符模拟
补充资料:《公共信息标志用图形符号》(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、自行车停放处、运动场所。这类符回固圃园圃圃冈团园囿公共信息标志用图形符号
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条