Most of vlsi circuits are sequential circuits . sequential circuits can be simulated by symbolic finite state machine ( fsm ) Vlsi系统中大部分是时序电路，时序电路可以用符号化的有限状态机( finite - state - machine ，简称fsm )来模拟。
If the visual studio debugger does not find debug information for your program , it usually reports " no matching symbolic information found " 如果visual studio调试器没有找到程序的调试信息，它通常将报告“未找到匹配的符号化信息” 。
3 pnueli a . a temporal logic of concurrent programs . theoretical computer science , 1981 , 13 : 45 - 60 . 4 mcmillan k l . symbolic model checking 符号化的模型检测技术利用二叉图binary decision diagram表示状态转换关系，降低了系统模型所需的内存空间。
Thus emerges a danger , the hatred for the ideology pervasive in the society whose formal feature is to encode and label ideology as an object 由此显出一个危险，即对意识形态的厌恶正作为一种习惯在全社会弥漫，其形式特征则是意识形态的符号化和标签化。
Their fears were symbolised by the islamic headscarf , banned in all government buildings and schools , worn by the wives of both mr gul and mr erdogan 这种担心在居尔夫人和埃尔多安夫人穿着的伊斯兰头巾上得到了符号化的应验，土耳其法律禁止着头巾进入学校和政府建筑。
With the rapid development of society and the spreading of globalization , there has been a wide application of symbol image in plane design for commercial advertisement 摘要随着社会不断的发展、全球化不断的推进，现代平面商业广告设计中出现了大量形象符号化的现象。
Then , the thesis elaborates the life mechanism from four aspects , which includes its intention , contents , signifcance , and the school ' s practices 其次，提出符号化的教育应回归生命机制即回归教育内容的生活本体、回归教育过程的生长本体、回归教育对象的生命本体。
Since the implementation of reform and open policy , the phenomenon of symbolic and fashionable consumption has been observed in some chinese social classes 摘要改革开放以来，我国某些社会阶层的消费行为呈现出符号化、时尚性、讲究身份象征等倾向，即所谓“符号性消费” 。
Developing a personal system of notes also helps to form the habit of summarizing and symbolizing words and phrases , which is an important aspect of the interpretation process 将文字及短语总结并符号化的习惯是口译过程中的重要方面，建立个人笔记系统将有助于养成此类习惯。
The society for the study of symbolic interaction is an international social science professional organization of scholars interested in qualitative , especially interactionist , research 符号化互动研究会为国际性社会科学专门组织，由对质化研究特别是互动研究有兴趣的学者组成。
