基于抽象符号表的内存模型 被引量：1

1

作者 代子营 毛晓光 +1 位作者 马晓东 王瑞 《计算机工程与科学》 CSCD 北大核心 2011年第6期84-90,共7页

符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、... 符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。 展开更多

关键词 符号执行 内存模型 抽象符号表 程序分析

在线阅读 下载PDF 职称材料

符号与空间的神秘隐喻——从二维抽象符号与三维形象空间解读左江崖画的宗教意蕴 被引量：2

2

作者 韦克游 《西北民族大学学报（哲学社会科学版）》 北大核心 2005年第1期111-118,共8页

左江崖画有不少较为抽象的图像符号,包括各种环形圆圈和飞禽图像,这些二维抽象符号所隐喻的原始宗教意蕴不能不引起我们的注意。另外,左江崖画在大空间上有两个特点,一是朝南,二是做于临江悬崖。这些空间特点显然暗含着古人的某些神秘观... 左江崖画有不少较为抽象的图像符号,包括各种环形圆圈和飞禽图像,这些二维抽象符号所隐喻的原始宗教意蕴不能不引起我们的注意。另外,左江崖画在大空间上有两个特点,一是朝南,二是做于临江悬崖。这些空间特点显然暗含着古人的某些神秘观念,因此,有必要从宗教文化学的角度解读左江崖画的二维抽象符号和三维形象空间所隐喻的文化指向。 展开更多

关键词 神秘 空问 意蕴 文化指向 隐喻 解读 形象 崖画 抽象符号 角度

在线阅读 下载PDF 职称材料

两点张量的一种新抽象记法 被引量：1

3

作者 刘朝辉 张为民 《湖南师范大学自然科学学报》 EI CAS 北大核心 2003年第2期41-43,共3页

提出了两点张量的一种新抽象记法,它是文献[1]的两点张量抽象符号法的推广.由于该记法不但可以区别张量的基矢量是属于参考构形的还是属于现时构形的,而且还可以区别其基矢量是协变基矢量还是逆变基矢量,因而可以从张量的抽象记法表达... 提出了两点张量的一种新抽象记法,它是文献[1]的两点张量抽象符号法的推广.由于该记法不但可以区别张量的基矢量是属于参考构形的还是属于现时构形的,而且还可以区别其基矢量是协变基矢量还是逆变基矢量,因而可以从张量的抽象记法表达式直接写出其分量记法表达式.使得这一记法可以兼有张量抽象记法和分量记法的优点,这一记法在非线性连续介质力学中有着重要应用. 展开更多

关键词 两点张量 抽象记法 抽象符号法 非线性连续介质力学 基矢量 分量记法

在线阅读 下载PDF 职称材料

《周易》的符号与形象思维对应的机制及其启示 被引量：1

4

作者 李廉 《江苏社会科学》 CSSCI 1995年第1期69-74,共6页

关键词 《易经》 象思维 《周易》 初始符号 抽象符号 形象变化 卦辞 《易传》 卦象 符号集合

在线阅读 下载PDF 职称材料

中国岩画与甲骨文、金文 被引量：7

5

作者 宋耀良 《文艺理论研究》 CSSCI 北大核心 1992年第3期67-74,共8页

自1899年发现甲骨文以来,中国上古文化研究取得巨大飞跃。对甲骨文追根溯源的研究,也随之开始。甲骨文专家陈梦家认为汉字在殷商的武丁时代便已大致定型,但仅代表定型了的汉字初期,而不是最古老的文字,是汉字创始过程的末期。“我们假... 自1899年发现甲骨文以来,中国上古文化研究取得巨大飞跃。对甲骨文追根溯源的研究,也随之开始。甲骨文专家陈梦家认为汉字在殷商的武丁时代便已大致定型,但仅代表定型了的汉字初期,而不是最古老的文字,是汉字创始过程的末期。“我们假设汉字是从武丁以前500年以前开始的(纪元前1700—1238?年),到武丁时代可能发展成为武丁卜辞。如此,可～能在成汤或较前乃汉字发生的时期。除非商民族的文字是从黄土高原得来的,我们以为在辽东、山东、河南一带最可能发现武丁以前的更古老的文字。”然而至甲古文发现以来约有100年了,并投有在那一带发现更古老的文字,只有山东出土了几个刻在陶器上的图符。图符并不是文字,文字须以能流通、代替语言信息为前提。 展开更多

关键词 甲骨文 古文字 汉字 语言信息 中国文字 象形字 殷墟卜辞 民族 抽象符号 中国岩画

在线阅读 下载PDF 职称材料

良渚文化神像释义——兼与牟永抗先生商榷 被引量：7

6

作者 董楚平 《浙江学刊》 CSSCI 1997年第6期100-103,共4页

良渚文化神像释义———兼与牟永抗先生商榷董楚平１９８６年与１９８７年分别在余杭的反山、瑶山出土大量玉质礼器，其中有几件刻有亦人亦兽的神像。这些神像，以反山出土的“琮王”（Ｍ１２∶９８）所刻的形象最为完整。神像头戴羽冠... 良渚文化神像释义———兼与牟永抗先生商榷董楚平１９８６年与１９８７年分别在余杭的反山、瑶山出土大量玉质礼器，其中有几件刻有亦人亦兽的神像。这些神像，以反山出土的“琮王”（Ｍ１２∶９８）所刻的形象最为完整。神像头戴羽冠，人面，胸腹部饰有大眼、宽鼻、巨嘴... 展开更多

关键词 良渚文化 《山海经》 太阳神 太阳崇拜 日月山 发掘简报 太阳鸟 羽冠 抽象符号 大汶口文化

在线阅读 下载PDF 职称材料

北美印第安文字对文字源泉研究的启发意义 被引量：1

7

作者 王元鹿 《华东师范大学学报（哲学社会科学版）》 CSSCI 1995年第6期181-184,共4页

一、引论 北美洲某些地方与某些部落的印第安人,使用相当原始的文字来表词达义。虽然不同地方和不同部落的印第安人对文字的写法、用法不尽一致,但从性质来看,北美印第安人使用的文字,一般均可归入文字史上的早期文字(或称初期文字、原... 一、引论 北美洲某些地方与某些部落的印第安人,使用相当原始的文字来表词达义。虽然不同地方和不同部落的印第安人对文字的写法、用法不尽一致,但从性质来看,北美印第安人使用的文字,一般均可归入文字史上的早期文字(或称初期文字、原始文字或图画文字)之类。 历来的文字学研究者,往往对中南美洲的马亚、阿兹忒克等民族的古文字的破译与研究投入了极多的力量,而对于距今时代较近但性质更为原始的北美印第安早期文字却较少注意。 展开更多

关键词 原始文字 印第安人 启发意义 连结符号 指事字 抽象符号 文字史 文字学 象形字 线记录

在线阅读 下载PDF 职称材料

中国图书的起源(一) 被引量：1

8

作者 吴晞 《大学图书馆通讯》 1988年第3期29-32,共4页

一、抽象符号:文献产生的标志图书者,书籍与图画之总称谓也。我们今天所说的图书,除作为知识载体外,还有交流思想、供人阅读、传播久远的含义。但是在探讨图书起源的时候,却无法沿用这样的图书概念。在鸿蒙初开的远古年代里,在那些跨在... 一、抽象符号:文献产生的标志图书者,书籍与图画之总称谓也。我们今天所说的图书,除作为知识载体外,还有交流思想、供人阅读、传播久远的含义。但是在探讨图书起源的时候,却无法沿用这样的图书概念。在鸿蒙初开的远古年代里,在那些跨在文明门槛上的先民们的眼中,书籍、图画、档案、文书、信函、诏盟等,统统都是“书”,是一个无法区別的整体。有些概念的区分,如图书与档案,乃是文字记录产生以后很久的事情了。实际上,我们也无法将远古时代的图书与其它知识载体区分清楚。这里,我们只能借用一下“文献”的概念。文献者何?最具有权威性的定义有二家:“ 展开更多

关键词 古代图书 抽象符号 中国图书 知识载体 图书起源 符号形式 图书文献 概念 文字记录 图画

在线阅读 下载PDF 职称材料

数字时代的中国场景:数字化改革的政治意义 被引量：24

9

作者 景跃进 《浙江社会科学》 CSSCI 北大核心 2023年第1期38-42,157,共6页

四十多年来,浙江一直身居中国改革开放的第一梯队,各地的创新经验为中央政策和学术研究提供了参考样本和鲜活案例。在数字时代,从“最多跑一次”到“数字化改革”,浙江又走在全国前列。近两年,我们分别考察了杭州和金华两地的一些数字... 四十多年来,浙江一直身居中国改革开放的第一梯队,各地的创新经验为中央政策和学术研究提供了参考样本和鲜活案例。在数字时代,从“最多跑一次”到“数字化改革”,浙江又走在全国前列。近两年,我们分别考察了杭州和金华两地的一些数字化改革成果,对数字化改革的感知从抽象符号转化为亲身体验。在浙江的实践中,能隐约感受到一场正在来临的巨变——第四次科技革命对公共治理和人类社会生活的全方位影响。利用这次笔谈的机会,谈三点即时的感想。 展开更多

关键词 数字化改革 创新经验 亲身体验 公共治理 抽象符号 数字时代 第一梯队 学术研究

在线阅读 下载PDF 职称材料

美感·文字与绘画

10

作者 沈志荣 王靖国 《艺苑（美术版）》 1989年第4期85-85,共1页

从人类用原始绘画来记录事物,到用绘画符号——初文字——来表示事物,直到用抽象符号——文字——来表达情感,文字便脱离绘画,这是文明的进步。同时绘画始成为附庸,逐渐转变为形而上游戏,即为"精神"的东西。但事实上受工具、... 从人类用原始绘画来记录事物,到用绘画符号——初文字——来表示事物,直到用抽象符号——文字——来表达情感,文字便脱离绘画,这是文明的进步。同时绘画始成为附庸,逐渐转变为形而上游戏,即为"精神"的东西。但事实上受工具、材料、技术的局限,绘画表达情感。 展开更多

关键词 抽象符号 同情感 初文 蒙德里安 画中 艺术形式 观画 克利 精神活动 想象性

在线阅读 下载PDF 职称材料

楷书中的改形字

11

作者 李中生 《中山大学学报（社会科学版）》 CSSCI 1992年第1期132-134,共3页

楷书中的改形字是汉字中因文字孳乳渐多而采用的因利乘便的造字方法。它既非独体字,亦非合体字;既不能归为表意字,亦不能归为表音或兼表音意字。本文较详细地论述了改形字的特点,汉字采用改形分化方式的原因及其状况。

关键词 改形 分化 繁化 简化 纯抽象符号

在线阅读 下载PDF 职称材料

恍惚的传记

12

作者 吕澎 《南京艺术学院学报（美术与设计）》 北大核心 2013年第6期217-217,共1页

莫雄的绘画首先是文学的。因为读者可以在画家的作品中读到“花卉”、“瓷瓶”、“锦鸡”、“帘幔”、“仕女”以及“团扇”这样的物理内容。不仅如此，画家对不同的对象的使用与描绘是依据自己的个人经历，甚至像日记那样，将所见所闻... 莫雄的绘画首先是文学的。因为读者可以在画家的作品中读到“花卉”、“瓷瓶”、“锦鸡”、“帘幔”、“仕女”以及“团扇”这样的物理内容。不仅如此，画家对不同的对象的使用与描绘是依据自己的个人经历，甚至像日记那样，将所见所闻以图像的形式记录下来，好像这样的记录的重要性足以阻止画家掉入抽象符号的陷阱。那些物理内容以细腻或者局部的方式被呈现出来，使得读者也不得不去观察它们的模样甚至思考它们的历史。 展开更多

关键词 传记 个人经历 抽象符号 画家 读者 物理 文学

在线阅读 下载PDF 职称材料

基于印刷技术的书刊装帧与设计

13

作者 刘彩凤 《中国出版》 CSSCI 北大核心 2006年第8期56-58,共3页

关键词 印刷技术 书刊装帧 设计 形式与内容 装帧形式 抽象符号 系统工程 书籍

在线阅读 下载PDF 职称材料

期刊名的虚与实

14

作者 范军 《编辑之友》 北大核心 2001年第4期18-20,共3页

关键词 期刊名 期刊 虚实 抽象符号 意向符号 信息编码

在线阅读 下载PDF 职称材料

非自觉意识和意识的整体结构

15

作者 杨春时 《求是学刊》 1986年第3期27-33,共7页

关键词 自觉意识 综合逻辑 感性意象 直觉 审美意识 情感意志 同一性 普遍必然性 抽象符号 辩证逻辑

在线阅读 下载PDF 职称材料

被混淆的争论

16

作者 汪晓涛 《湖北社会科学》 CSSCI 1989年第4期46-47,共2页

半个世纪以前,一位学者曾写道,“大多数打得很有意思而生动的战争都不是为了实际利益而是为了纯粹的形而上学打起来的”。读了高佩义先生的文章,联想起近些年关于社会主义和资本主义的争论,不禁深有同感。人是唯一能够创造符号系统的动... 半个世纪以前,一位学者曾写道,“大多数打得很有意思而生动的战争都不是为了实际利益而是为了纯粹的形而上学打起来的”。读了高佩义先生的文章,联想起近些年关于社会主义和资本主义的争论,不禁深有同感。人是唯一能够创造符号系统的动物,但也是唯一受自己创造出来的符号奴役的动物。人创造符号是为了描述现实,表达情感和希望,赋予人的生活以意义。然而。 展开更多

关键词 社会主义 资本主义制度 抽象符号 争论 形而上学 符号系统 马克思主义 混淆 情感 自己创造

在线阅读 下载PDF 职称材料

SNMP中ASN.1的基本编码规则

17

作者 魏凌 王玉 《无线电通信技术》 2003年第6期56-58,共3页

针对SNMP协议/SMI定义详细介绍了ASN.1主要数据类型的编码规则,较为深入地讲解了ASN.1的编码结构和编码方法,并为开发、制定或编写用户的专有协议提供了思路,对其他相关协议产品的开发也提供了一定的参考依据。

关键词 SNMP协议 编码规则 ASN.1 编码结构 子数据类型值编码 抽象句法符号

在线阅读 下载PDF 职称材料