期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
51
篇文章
<
1
2
3
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
TTCN-3编译器符号表的设计和实现
被引量:
2
1
作者
蒋凡
张辉
谈刚
《计算机工程与科学》
CSCD
2007年第10期124-127,共4页
TTCN-3是一种用于协议与软件测试的标准化测试语言。本文在对TTCN-3核心语言标准的研究基础上分析了TTCN-3核心语言的前向引用和Import机制等方面的规范与特点,设计并实现了一种TTCN-3符号表组织结构。在此基础上完成了TTCN-3到中间语...
TTCN-3是一种用于协议与软件测试的标准化测试语言。本文在对TTCN-3核心语言标准的研究基础上分析了TTCN-3核心语言的前向引用和Import机制等方面的规范与特点,设计并实现了一种TTCN-3符号表组织结构。在此基础上完成了TTCN-3到中间语言的编译转换。
展开更多
关键词
TTCN-3
编译器
符号表
在线阅读
下载PDF
职称材料
TTCN-3语言编译器符号表的设计和实现
被引量:
2
2
作者
蒋凡
谈刚
《中国科学技术大学学报》
CAS
CSCD
北大核心
2007年第7期803-806,共4页
在对TTCN-3核心语言标准的研究基础上,分析了TTCN-3核心语言的前向引用、作用域、名字空间和import机制等方面的规范与特点,以及由此引出的对编译器符号表的设计要求与挑战.给出了基于哈希表结构的实现方法.
关键词
TTCN-3
编译器
符号表
在线阅读
下载PDF
职称材料
一种分程序结构符号表的组织方法
3
作者
赵克佳
沈志宇
《计算机工程与设计》
CSCD
北大核心
1996年第3期42-50,共9页
符号表的组织是编译中的一门重要技术。此文以C语言为例,着重从标识符的作用域与名字空间二个方面阐述了一个真实的C编译程序对这类分程序结构语言的符号表的组织方法。
关键词
编译程序
C语言
符号表
在线阅读
下载PDF
职称材料
电影海报的符号表意系统
4
作者
梁建飞
《电影评介》
北大核心
2016年第21期106-108,共3页
电影海报是电影整合营销过程中重要的宣传道具。从营销角度看,电影海报就是一部电影的招贴广告。但从符号意义构建的角度看,电影海报与商品广告招贴存在较大的差异。电影海报一般不会出现竭力推销的广告意图,更多的是再现电影最吸引观...
电影海报是电影整合营销过程中重要的宣传道具。从营销角度看,电影海报就是一部电影的招贴广告。但从符号意义构建的角度看,电影海报与商品广告招贴存在较大的差异。电影海报一般不会出现竭力推销的广告意图,更多的是再现电影最吸引观众的地方。更重要的是,电影海报不仅在文本意义的表层展现电影概况,还具有内蕴社会文化的意义。电影海报的文化意义表达社会群体对集体文化取向,也表达编码者观念和态度。
展开更多
关键词
电影海报
营销角度
营销过程
广告招贴
招贴广告
文本意义
符号表
符号
意义
周润发
意义表达
在线阅读
下载PDF
职称材料
影像符号表达的失败:“民族秘史”《白鹿原》的改编之路
5
作者
刘亚利
《电影评介》
北大核心
2016年第18期71-73,共3页
陈忠实的《白鹿原》作为获得过茅盾文学奖的长篇小说,被改编为秦腔、话剧、电影、舞剧等多种艺术形式,可谓文学史上经久不衰的佳作。2012年,由王全安导演,张雨绮、张丰毅、段奕宏等主演的同名电影上映,引发了广泛的关注和讨论。《白鹿...
陈忠实的《白鹿原》作为获得过茅盾文学奖的长篇小说,被改编为秦腔、话剧、电影、舞剧等多种艺术形式,可谓文学史上经久不衰的佳作。2012年,由王全安导演,张雨绮、张丰毅、段奕宏等主演的同名电影上映,引发了广泛的关注和讨论。《白鹿原》在柏林电影节上公映时的片长是220分钟,内地版本进行过大量删减。单就内地上映的版本来说,
展开更多
关键词
《白鹿原》
同名电影
王全安
柏林电影节
符号表
陈忠实
茅盾文学奖
白鹿原
子霖
艺术形式
在线阅读
下载PDF
职称材料
基于抽象符号表的内存模型
被引量:
1
6
作者
代子营
毛晓光
+1 位作者
马晓东
王瑞
《计算机工程与科学》
CSCD
北大核心
2011年第6期84-90,共7页
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、...
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
展开更多
关键词
符号
执行
内存模型
抽象
符号表
程序分析
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
7
《广西植保》
2015年第2期28-28,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
8
《广西植保》
2016年第2期4-4,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
9
《广西植保》
2014年第4期8-8,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
10
《广西植保》
2015年第3期36-36,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
11
《广西植保》
2016年第3期25-25,共1页
关键词
粒剂
液剂
悬浮剂
流动剂
种衣剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
12
《广西植保》
2014年第3期36-36,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
13
《广西植保》
2015年第1期27-27,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
14
《广西植保》
2013年第3期34-34,共1页
关键词
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
15
《广西植保》
2009年第B12期33-33,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
16
《广西植保》
2008年第3期8-8,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
17
《广西植保》
2008年第4期10-10,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
18
《广西植保》
2010年第3期24-24,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
19
《广西植保》
2009年第3期26-26,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
在线阅读
下载PDF
职称材料
科技期刊标准化和规范化常用符号表
20
《广西植保》
2011年第1期10-10,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
在线阅读
下载PDF
职称材料
题名
TTCN-3编译器符号表的设计和实现
被引量:
2
1
作者
蒋凡
张辉
谈刚
机构
中国科学技术大学计算机科学与技术系
出处
《计算机工程与科学》
CSCD
2007年第10期124-127,共4页
文摘
TTCN-3是一种用于协议与软件测试的标准化测试语言。本文在对TTCN-3核心语言标准的研究基础上分析了TTCN-3核心语言的前向引用和Import机制等方面的规范与特点,设计并实现了一种TTCN-3符号表组织结构。在此基础上完成了TTCN-3到中间语言的编译转换。
关键词
TTCN-3
编译器
符号表
Keywords
TTCN-3
compiler
symbol table
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
TTCN-3语言编译器符号表的设计和实现
被引量:
2
2
作者
蒋凡
谈刚
机构
中国科学技术大学计算机科学技术系
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2007年第7期803-806,共4页
文摘
在对TTCN-3核心语言标准的研究基础上,分析了TTCN-3核心语言的前向引用、作用域、名字空间和import机制等方面的规范与特点,以及由此引出的对编译器符号表的设计要求与挑战.给出了基于哈希表结构的实现方法.
关键词
TTCN-3
编译器
符号表
Keywords
TTCN-3
compiler
symbol table
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种分程序结构符号表的组织方法
3
作者
赵克佳
沈志宇
机构
国防科学技术大学
出处
《计算机工程与设计》
CSCD
北大核心
1996年第3期42-50,共9页
基金
国防科大实验技术研究基金
文摘
符号表的组织是编译中的一门重要技术。此文以C语言为例,着重从标识符的作用域与名字空间二个方面阐述了一个真实的C编译程序对这类分程序结构语言的符号表的组织方法。
关键词
编译程序
C语言
符号表
Keywords
Compiler programs
C programming language Symbol table block
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
电影海报的符号表意系统
4
作者
梁建飞
机构
苏州科技大学传媒与视觉艺术学院
出处
《电影评介》
北大核心
2016年第21期106-108,共3页
基金
教育部人文社会科学研究青年基金项目"从文本到文化:广告符号意义研究"(15YJC860014)阶段性成果
文摘
电影海报是电影整合营销过程中重要的宣传道具。从营销角度看,电影海报就是一部电影的招贴广告。但从符号意义构建的角度看,电影海报与商品广告招贴存在较大的差异。电影海报一般不会出现竭力推销的广告意图,更多的是再现电影最吸引观众的地方。更重要的是,电影海报不仅在文本意义的表层展现电影概况,还具有内蕴社会文化的意义。电影海报的文化意义表达社会群体对集体文化取向,也表达编码者观念和态度。
关键词
电影海报
营销角度
营销过程
广告招贴
招贴广告
文本意义
符号表
符号
意义
周润发
意义表达
分类号
J905 [艺术—电影电视艺术]
在线阅读
下载PDF
职称材料
题名
影像符号表达的失败:“民族秘史”《白鹿原》的改编之路
5
作者
刘亚利
机构
内蒙古赤峰学院文学院
出处
《电影评介》
北大核心
2016年第18期71-73,共3页
文摘
陈忠实的《白鹿原》作为获得过茅盾文学奖的长篇小说,被改编为秦腔、话剧、电影、舞剧等多种艺术形式,可谓文学史上经久不衰的佳作。2012年,由王全安导演,张雨绮、张丰毅、段奕宏等主演的同名电影上映,引发了广泛的关注和讨论。《白鹿原》在柏林电影节上公映时的片长是220分钟,内地版本进行过大量删减。单就内地上映的版本来说,
关键词
《白鹿原》
同名电影
王全安
柏林电影节
符号表
陈忠实
茅盾文学奖
白鹿原
子霖
艺术形式
分类号
J905 [艺术—电影电视艺术]
I207.42 [文学—中国文学]
在线阅读
下载PDF
职称材料
题名
基于抽象符号表的内存模型
被引量:
1
6
作者
代子营
毛晓光
马晓东
王瑞
机构
国防科学技术大学计算机学院
出处
《计算机工程与科学》
CSCD
北大核心
2011年第6期84-90,共7页
基金
国家863计划资助项目(2007AA010301)
文摘
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、抽象地址和符号值,是一种简单、精确的内存抽象机制。内存模型是所有使用符号执行的技术的前提,本文系统给出了一个面向符号执行的内存模型。基于抽象符号表的内存模型能够统一处理各种数据类型和语法成分,包括函数和类,能够直接处理指针别名问题,不需要额外的别名分析算法。经过一些性能优化处理,基于抽象符号表的内存模型具有较好的性能。
关键词
符号
执行
内存模型
抽象
符号表
程序分析
Keywords
symbolic execution
memory model
abstract symbol table
program analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
7
出处
《广西植保》
2015年第2期28-28,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
8
出处
《广西植保》
2016年第2期4-4,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
9
出处
《广西植保》
2014年第4期8-8,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
10
出处
《广西植保》
2015年第3期36-36,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
11
出处
《广西植保》
2016年第3期25-25,共1页
关键词
粒剂
液剂
悬浮剂
流动剂
种衣剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
12
出处
《广西植保》
2014年第3期36-36,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
13
出处
《广西植保》
2015年第1期27-27,共1页
关键词
液剂
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
14
出处
《广西植保》
2013年第3期34-34,共1页
关键词
悬浮剂
流动剂
种衣剂
粒剂
符号表
科技期刊
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
15
出处
《广西植保》
2009年第B12期33-33,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
16
出处
《广西植保》
2008年第3期8-8,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
17
出处
《广西植保》
2008年第4期10-10,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
18
出处
《广西植保》
2010年第3期24-24,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
19
出处
《广西植保》
2009年第3期26-26,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
科技期刊标准化和规范化常用符号表
20
出处
《广西植保》
2011年第1期10-10,共1页
关键词
符号表
科技期刊
悬浮剂
流动剂
分类号
S [农业科学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
TTCN-3编译器符号表的设计和实现
蒋凡
张辉
谈刚
《计算机工程与科学》
CSCD
2007
2
在线阅读
下载PDF
职称材料
2
TTCN-3语言编译器符号表的设计和实现
蒋凡
谈刚
《中国科学技术大学学报》
CAS
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
3
一种分程序结构符号表的组织方法
赵克佳
沈志宇
《计算机工程与设计》
CSCD
北大核心
1996
0
在线阅读
下载PDF
职称材料
4
电影海报的符号表意系统
梁建飞
《电影评介》
北大核心
2016
0
在线阅读
下载PDF
职称材料
5
影像符号表达的失败:“民族秘史”《白鹿原》的改编之路
刘亚利
《电影评介》
北大核心
2016
0
在线阅读
下载PDF
职称材料
6
基于抽象符号表的内存模型
代子营
毛晓光
马晓东
王瑞
《计算机工程与科学》
CSCD
北大核心
2011
1
在线阅读
下载PDF
职称材料
7
科技期刊标准化和规范化常用符号表
《广西植保》
2015
0
在线阅读
下载PDF
职称材料
8
科技期刊标准化和规范化常用符号表
《广西植保》
2016
0
在线阅读
下载PDF
职称材料
9
科技期刊标准化和规范化常用符号表
《广西植保》
2014
0
在线阅读
下载PDF
职称材料
10
科技期刊标准化和规范化常用符号表
《广西植保》
2015
0
在线阅读
下载PDF
职称材料
11
科技期刊标准化和规范化常用符号表
《广西植保》
2016
0
在线阅读
下载PDF
职称材料
12
科技期刊标准化和规范化常用符号表
《广西植保》
2014
0
在线阅读
下载PDF
职称材料
13
科技期刊标准化和规范化常用符号表
《广西植保》
2015
0
在线阅读
下载PDF
职称材料
14
科技期刊标准化和规范化常用符号表
《广西植保》
2013
0
在线阅读
下载PDF
职称材料
15
科技期刊标准化和规范化常用符号表
《广西植保》
2009
0
在线阅读
下载PDF
职称材料
16
科技期刊标准化和规范化常用符号表
《广西植保》
2008
0
在线阅读
下载PDF
职称材料
17
科技期刊标准化和规范化常用符号表
《广西植保》
2008
0
在线阅读
下载PDF
职称材料
18
科技期刊标准化和规范化常用符号表
《广西植保》
2010
0
在线阅读
下载PDF
职称材料
19
科技期刊标准化和规范化常用符号表
《广西植保》
2009
0
在线阅读
下载PDF
职称材料
20
科技期刊标准化和规范化常用符号表
《广西植保》
2011
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
3
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部