1、符号模型检验把有序二叉判定图OBDD技术引入到模型检验中，有效地缓解了状态组合爆炸问题。

2、将指定的16位带符号整数的值转换为等效的16位无符号整数。

3、本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

4、今天已经基本搞清了符号意义,只要按图索骥就能找到入口。

5、2006年5月23日,在河南淮阳大朱村平粮台古城遗址城内东北隅,采集到一件黑衣陶纺轮,上面有刻划符号,简报已刊于《文物》2007年第3期。

6、数学：角，体积，因式分解，小数，百分数，科学符号，分数，展开图，计算税，图标，字符问题。

7、孤芳自赏、顾影自怜、狂妄严厉、简单粗暴……种种嘴上的风暴,符号化、妖魔化的痕迹将东莞定义得凿凿有据,真真热闹。

8、符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

9、作品用色大胆鲜明，举凡泼墨山水、写意荷塘、古朴农舍，开创出属于个人风格之独特符号。

10、我的猫是用牠的尾巴来表达符号语言。

11、巨洞又恢复了寂静,此时巨墙和古代法阵上都出现了密集的龟裂,表面的那些古代铭文和符号更是化成了石末,现在巨墙和古代法阵看起来跟周围的墙。

12、符号位元在右移的过程不会被复制.

13、在寻找回文时，输入行中的除了罗马字母以外的其他字符，比如标点符号，数字，空格，和tab符号，全部忽略。

14、在很多非英语文字中，字母上边或下边注有符号，表示其读音，这些表音符号就是音标。

15、二进制加减法，全加器实现及其性能，高速加法，带符号算术运算。

16、“一旦符号的读法可以辨识，沟通联络就更加灵活，”大卫德森说，“这样产生的一个结果就是，人们为了隐瞒事实而故意用得含糊不清。”。

17、非基于严格的数据分布假设而进行的统计推断方法，如符号检验、秩和检验等。

18、网络表情符号在青少年族群中的流行和传播，深刻反映出文化变迁、社会区分和社会整合等多方面内容。

19、其实,阴阳五行生克,同数学、物理学、化学是息息相通的,天干地支二十二字,就好比是化学符号。

20、在该矢量化算法的基础上，又提出一种符号提取算法，这种算法可以有效地提取各种孤立和粘连符号。

21、记者在马先生的指引下,发现他们单元的墙壁上,的确有很多铅笔画的符号,有打叉的,有画圆圈的。

22、文章介绍了从汇编程序到中间语言程序的转换过程中，采用基于数据流和控制流分析的符号执行方法。

23、用于秘密书写的符号;暗码或密码.

24、而出自大芬村的来样定制的批量生产的绘画在这里不过是这种利益的一个标志而已，也是艺术家自我的一个公共化的符号和载体。

25、从书写形式上看，越南语使用罗马字母和重音符号来标识音调。

26、在消费主义盛行的背景下,“女研究生”早已成为暖味字眼,“硕士女城管”也好,“性学研究生”也罢,都成了一种娱乐符号,成为人们“浅阅读”的对象。

27、符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

28、与“衣冠”相对的是“被发左衽”,即非汉族的夷狄的符号。

29、一说到井研县,国学文化、川南民居、盐卤文化等历史符号深入人心,“有盐有味”的美名不胫而走。

30、从甲骨文发展到现在的楷体，原来的象形字，实际上已经失去了象形的意义，成了单纯的书写符号。

31、爱恋的符号拨动思念的音弦，距离的守望拉近相聚的砰然，坚定的信念诉说相守的誓言，心灵的共鸣创造美好的明天，我们的故事开启幸福的纪元。七夕节到了，老婆，我坚信我们可以幸福到。

32、台标是固化在数字视频中的一种标识符号，它影响了视频的视觉观赏性并且不利于数字视频的交流。

33、一些网站的密码由数字和字母组成，另一些必须是数字、字母和特殊符号的组合，还有一些必须有一个大写字母，小写字母和数字组成。

34、奥兰多将珍奥核酸护肤品的价值形成特有的个性符号，让银派尽显光彩。

35、关于大汶口文化中出现的陶刻符号，就其意义问题，曾引起学术界的热烈争论。

36、符号分析人员在未来的工作中越来越占有主导地位。

37、符号学影响下传媒理论的新闻传播活动分析，仍然表现出社会批判理论、意识形态理论等的深刻影响。

38、现在符号有两重意义，即组合意义和阶乘意义。

39、有一段时间，吉尼斯常乞灵于塔罗牌，不过后来得到了纸牌上的符号是对基督和基督教的亵渎的结论。

40、希伯来人用放在线下的母音符号。

41、另外128个标记符号保留给计算机制造商，虽然IBM扩展字符集合已成为某种事实上的标准。

42、符号人生路：“省略号”省略你的烦恼，“破折号”消解你的失误，“双引号”引用你的成功，“感叹号”祝福你的人生！最后“冒号”代表我的心声：世界问候日，祝你心想事成，万马奔腾。

43、服装颜色由藏青色改为藏蓝色,取消布质胸章,佩戴长斜方形红色塑料领章嵌铜质金色盾形符号。

44、即使是小碗可以成为一个或两个鸡蛋花浮在表面上动人的东方符号。

45、所有的符号仅是引领到真理的钥匙，而许多次门之所以打不开的原因是钥匙似乎是如此之伟大以致于高于它的事物是不可见的。

46、所谓圈内导演很多都试图利用自己的特权符号掌控圈内地位,用镜头玩电影,其实是在炫弄声音、画面和剪辑等技巧。

47、这样富有想像力的能源就是无数符号象徵的起源，却被忽略为某些语焉不详的形式上的泛灵论。