排序方式: 共有95条查询结果,搜索用时 171 毫秒
11.
程玉胜 《安庆师范学院学报(自然科学版)》2002,8(2):95-97
针对链接表这种抽象的数据类型教学中,普遍存在难学的特点,提出了化"抽象为具体"的教学方法,总结出理解该问题的几种方法,从而帮助学生克服在链接表学习上的困难. 相似文献
12.
按照韩国经济发展过程总结了韩国共性技术创新发展的四个阶段,并从政府作用、实施策略和创新主体三方面阐述了各阶段特点,借此对我国共性技术的发展提供了一些借鉴与启示。 相似文献
13.
关于二级指针的进一步探讨 总被引:1,自引:0,他引:1
韩海 《江汉大学学报(自然科学版)》2005,33(1):42-44
阐述了二级指针的概念,把二级指针分成指向指针变量的指针和指向数组的指针两种情况,讨论了二级指针变量与二级指针数据的用法与区别. 相似文献
14.
空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。 相似文献
15.
针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式,在每个过程调用节点,根据是否为递归调用,分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明,该方法的准确性高于Wilson算法和Emami算法,且指针分析结果可直接应用于源代码级别的程序分析与转换中。 相似文献
16.
研究开发了一种新型的8051内核,通过对8051指令操作系统的研究,开发出了能够提高8051指令执行效率的一种有效方法,并将此8051内核集成在SOC芯片中,该芯片采用0.18um工艺. 相似文献
17.
To avoid the precision loss caused by combining dataflow facts impossible to occur in the same execution path in dependence
analysis for C programs, this paper first proposes a flow-sensitive and context-insensitive points-to analysis algorithm and
then presents a new dependence analysis approach based on it. The approach makes more sufficient consideration on the executable
path problem and can avoid invalid combination between points-to relations and between points-to relations and reaching definitions.
The results of which are therefore more precise than those of the ordinary dependence analysis approaches.
Biography: QIAN Ju (1981–), male, Ph.D., research direction: program analysis and software testing. 相似文献
18.
19.
分析开发过程中常遇的内存泄露和内存越界等问题,提出一种有效的内存管理方案。方案主要包括优化原有的内存管理函数和引入保存内存信息的信息链表两方面。文中还给出基于该方案的具体C语言实现和应用例程。 相似文献
20.
集合拓扑下的KyFan点的通有稳定性 总被引:1,自引:1,他引:0
周永辉 《贵州工业大学学报(自然科学版)》2001,30(3):5-6,8
在集值映射的集合拓扑的意义下 ,证明了KyFan点的通有稳定性 ,即在Bair分类的意义下 ,绝大多数KyFan点问题的所有KyFan点都是稳定的 相似文献