-
题名面向顺序存储结构的数据流分析
被引量：5
- 1
-
-
作者
王淑栋
尹文静
董玉坤
张莉
刘浩
-
机构
中国石油大学(华东)计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2020年第5期1276-1293,共18页
-
基金
中央高校基本科研业务费专项资金(19CX02028A)
国家自然科学基金(61873281)。
-
文摘
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生偏移的数值信息,且未考虑发生偏移时可能存在越界的不安全问题,导致了对顺序存储结构分析不精确.针对以上不足,首先对顺序存储结构进行抽象建模,并对顺序存储结构与指针结合使用时的指向关系与偏移量进行有效表示,建立了用于顺序存储结构的抽象内存模型SeqMM;其次,归纳总结C程序中顺序存储结构涉及的指针相关迁移操作、谓词操作及遍历顺序存储结构的循环操作,提出了安全范围判别保证操作安全性;之后,针对函数调用时形参指针引用顺序存储结构与实参的映射过程进行过程间推导规则设计;最后,基于上述分析,提出了一种内存泄漏缺陷检测算法,对5个开源C工程的内存泄漏缺陷进行检测.实验结果表明,所提出的Seq MM能够有效地刻画C程序中的顺序存储结构及其涉及的各种操作,其数据流分析结果能够用于内存泄漏的检测工作,同时在效率和精度之间取得合理的权衡.
-
关键词
顺序存储结构
数据流分析
抽象内存模型
过程间分析
内存泄漏
-
Keywords
sequential storage structure
data flow analysis
abstract memory model
inter-prcedural analysis
memory leak
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名DNA计算机中基于顺序存储方式的二叉树数据结构
被引量：5
- 2
-
-
作者
朱雅莉
李肯立
-
机构
衡阳师范学院计算机科学系
湖南大学计算机与通信学院
-
出处
《计算机应用》
CSCD
北大核心
2008年第6期1591-1594,共4页
-
基金
国家自然科学基金项目(60603053,60403002)
-
文摘
数据结构的设计对DNA计算机的具体实现有重要研究价值。提出了DNA计算机中基于顺序存储方式的二叉树数据结构的设计方法,该方法利用DNA分子和限制性内切酶的生物特性,完成二叉树的顺序存储结构和基本操作。其中用到的生物技术在实验室中都能实现。为了验证方法的可行性,给出了一个二叉树的DNA编码及仿真实例,仿真结果表明该二叉树设计方法在DNA计算机中切实可行。
-
关键词
DNA计算机
二叉树
数据结构
顺序存储结构
-
Keywords
DNA computer
binary tree
data structure
sequential storage structure
-
分类号
TP384
[自动化与计算机技术—计算机系统结构]
-
-
题名DNA计算机中二叉树存储结构的研究
- 3
-
-
作者
朱雅莉
李肯立
徐雨明
-
机构
衡阳师范学院计算机科学系
湖南大学计算机与通信学院
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第5期1623-1625,1630,共4页
-
基金
国家自然科学基金资助项目(60603053)
湖南省教育厅科学研究项目(10C0487)
衡阳市科技计划资助项目(2008KG36)
-
文摘
在参考已有研究的基础上提出DNA计算机中二叉树存储结构的研究思路,并结合生物操作和DNA分子的特性,阐述了三种设计方法的基本思想,即利用双链DNA分子可实现二叉树的顺序存储结构和基本操作,利用单、双链DNA混合编码方法构造的DNA双链对应于二叉树的中序遍历序列,利用3-臂DNA分子可以实现二叉树的链式存储结构。仿真实例表明这三种设计方法具有可行性。
-
关键词
DNA计算机
二叉树
顺序存储结构
链式存储结构
3-臂DNA
-
Keywords
DNA computer
binary tree
sequential storage structure
linked storage structure
3-arm DNA
-
分类号
TP384
[自动化与计算机技术—计算机系统结构]
-
-
题名数据结构学习要求
- 4
-
-
作者
徐孝凯
-
机构
中央电大
-
出处
《现代远程教育研究》
1998年第2期55-62,共8页
-
文摘
第一章绪论1 重点掌握的内容 (1)一些基本术语的含义。如数据、元素、记录、数据项、关键项、关键字、数据类型、逻辑结构、存储结构、线性结构、树型结构、图型结构等术语的含义。 (2)一种数据结构的二元组表示以及所对应的图形表示。 (3)类Pascal语言使用的十二种语句和描述算法的五条规则,并能够运用它们描述算法。 (4)
-
关键词
非递归算法
数据结构
单链表
顺序存储结构
线性表
关键字
二叉树
时间复杂性
存储映像
最小生成树
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据结构学习要求
- 5
-
-
作者
徐孝凯
-
机构
中央电大
-
出处
《现代远程教育研究》
1999年第2期40-49,共10页
-
文摘
第一章绪论1 重点掌握的内容(1)一些基本术语的含义。如数据、元素、记录、数据项、关键项、关键字、数据类型、逻辑结构、存储结构、线性结构、树型结构、图型结构等术语的含义。(2)一种数据结构的二元组表示以及所对应的图形表示。
-
关键词
数据结构
顺序存储结构
非递归算法
单链表
学习要求
线性表
关键字
逻辑结构
二元组表示
二叉树
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据结构学习举要
- 6
-
-
作者
徐孝凯
-
机构
中央电大
-
出处
《现代远程教育研究》
2000年第2期35-44,共10页
-
文摘
第一章绪论1 重点掌握的内容(1)一些基本术语的含义。如数据、元素、记录、数据项、关键项、关键字、数据类型、逻辑结构、存储结构、线性结构、树型结构、图型结构等术语的含义。(2)一种数据结构的二元组表示以及所对应的图形表示。(3)类 Pascal 语言使用的十二种语句和描述算法的五条规则,并能够运用它们描述算法。(4)根据一个已知算法求出它的时间复杂性和空间复杂性。如:算法1:
-
关键词
非递归算法
结构学习
顺序存储结构
时间复杂性
单链表
空间复杂性
二叉树
线性表
最小生成树
关键字
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据结构学习要求
- 7
-
-
作者
徐孝凯
-
机构
中央电大
-
出处
《现代远程教育研究》
1997年第2期45-52,共8页
-
文摘
第一章绪论1 本章重点掌握的内容(1)一些基本术语的含义,如数据、元素、记录、数据项、关键项、关键字、数据类型、逻辑结构、存储结构、线性结构、树型结构、图型结构等术语的含义。(2)一种数据结构的二元组表示以及所对应的图形表示。(3)类 Pascal 语言使用的十二种语句和描述算法的五条规则,并能够运用它们描述算法。(4)根据一个已知算法求出它的时间复杂性和空间复杂性。如:
-
关键词
数据结构
非递归算法
顺序存储结构
时间复杂性
单链表
空间复杂性
学习要求
线性表
关键字
逻辑结构
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据结构学习要求
- 8
-
-
作者
徐孝凯
-
机构
中央电大
-
出处
《现代远程教育研究》
1996年第2期52-59,72,共9页
-
文摘
第一章绪论这一章介绍了该课程所使用的一些基本概念,规定了类 Pascal 语言中语句的书写格式和描述算法的书写规则,并从四个方面评价了一个算法的优劣性,最后分析了 Pascal 语言中各种类型的数据所具有的逻辑结构和存储结构。为以后各章讨论线性表、树和图等复杂数据的逻辑结构和存储结构打下基础。1 本章重点掌握的内容(1)一些基本术语的含义。如数据、元素、记录、数据项、关键项、关键字、数据类型、逻辑结构、存储结构、线性结构、树型结构、图型结构等术语的含义。(2)
-
关键词
顺序存储结构
非递归算法
数据结构
线性表
基本概念
逻辑结构
单链表
时间复杂性
二叉树
二叉排序树
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
