共查询到20条相似文献,搜索用时 93 毫秒
1.
2.
在C语言中指针和数组的关系密不可分,本文通过探讨指针与数组关联的方法,论述了C语言程序设计中指针与数组的几种常见关系,最后给出了一个通过指针访问数组的实例,很好的体现了指针与数组的关系。 相似文献
3.
4.
5.
6.
7.
C语言中的指针和数组既是难点又是重点,本文以指针的运用与数组的关系为线索,结合具体例题帮助初学者理解指针及复杂指针的相关概念。 相似文献
8.
指针是C语言的精华但又最难掌握。本文在分析一般变量的指针、指针与数组的关系、指针的指针等知识点的基础上,探讨了对C语言指针的理解方法,特别针对二维数组的指针,本文给出了一种有效的理解方法。 相似文献
9.
小议C语言中的数组和指针 总被引:1,自引:0,他引:1
数组和指针是C语言中使用频率很高的两种数据类型。由于指针和数组有着十分密切的联系,正确理解两者相关联的语法现象是十分必要的。本文就数组名的含义、数组如何访问元素、下标法与指针法的比较等内容进行了分析。 相似文献
10.
11.
程序设计语言的类型结构剖析 总被引:2,自引:0,他引:2
程序设计语言原理是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题。文章结合当今广泛使用的C语言对程序设计语言的类型结构进行了深入的剖析,内容包括:内部非结构类型、枚举类型、有限映像(数组)、迪卡尔积(结构体)、判定或(共用体)、序列(串和文件)、指针等,并且适当地进行了举例说明。 相似文献
12.
基于弹性存贮器的SDH网络指针处理原理是理解SDH通信理论的关键和难点,文章对此进行了详细解释,以帮助有关设计人员理解指针处理的实现过程。 相似文献
13.
对高可信软件需求的增加使得指针程序的验证成为近期的研究热点.指针逻辑作为Hoare逻辑的扩展,可以对指针程序进行精确的分析.介绍一个针对指针逻辑的自动定理证明器的设计和实现,描述了一些算法.实验结果表明,该定理证明器可以完全自动的证明用类C语言编写的关于单链表,双链表和二叉树的指针程序的验证条件,并生成机器可检查的证明. 相似文献
14.
Uzodima F. Aba-Onu Joanna Salmen Artika Tyner 《Information & Communications Technology Law》2010,19(3):223-254
The Minnesota Criminal Gang Pointer File database and GangNet database were established by law enforcement agencies as tools to monitor alleged gang members and reduce criminal gang activity. Law enforcement agencies have traditionally used gang databases to ensure public safety in the communities they serve. St Paul community members have raised concerns regarding the use of gang databases and the impact this has had, and continues to have, on those who have been mislabeled as gang members or are no longer part of a gang. In response to these community concerns, this report was compiled to highlight the various issues with the implementation, documentation, and use of Minnesota Criminal Gang Pointer File and GangNet databases, and offer recommendations for change. 相似文献
15.
16.
针对生成式文本摘要应用场景,提出了以Transformer为基础的摘要模型,并在Transformer模型中加入了指针生成(Pointer Generator)网络和覆盖损失(Coverage Loss)进行优化。首先,提出了基于Transformer模型作为基础结构的方法,利用其注意力机制更好地捕捉上下文的语意信息。然后,在模型的损失函数中引入Coverage Loss来惩罚不断出现的重复的词的分布和覆盖范围,从而解决Transformer模型中的注意力机制在生成式任务中出现不断生成同一个词的问题。最后,在模型中加入了Pointer Generator网络,从而允许模型从源文本中复制词用作生成词来解决词表无法覆盖(OOV)的问题。探索了改进后的模型是否减少了不准确的表达以及重复出现相同词的现象是否得以解决。该模型相较于原始的Transformer模型在ROUGE-1评测函数上得分提升了1.98个百分点、ROUGE-2评测函数上得分提升0.95个百分点,在ROUGE-L评测函数上得分提升了2.27个百分点,并提升了摘要结果的可读性及准确性。实验结果表明,Transformer在加入Coverage Loss和Pointer Generator网络后可应用于生成式文本摘要领域。 相似文献
17.
指针是C语言的核心。利用它可以表示多种数据结构,把指针与普通变量、数组、函数结合可以设计出灵活高效的程序。本文针对指针的这些常见用法进行了具体的分析。 相似文献
18.
Reasoning about pointer programs is difficult and challenging, while their safety is critical in software engineering. Storeless semantics pioneered by Jonkers provides a method to reason about pointer programs. However, the representation of memory states in Jonkers’ model is costly and redundant. This paper presents a new framework under a more efficient storeless model for automatically verifying properties of pointer programs related to the correct use of dynamically allocated memory such as absence of null dereferences, absence of dangling dereferences, absence of memory leaks, and preservation of structural invariants. The introduced logic – Pointer Logic, is developed to achieve such goals. To demonstrate that Pointer Logic is a useful storeless approach to verification, the Schorr-Waite tree-traversal algorithm which is always considered as a key test for pointer formalizations was verified via our analysis. Moreover, an experimental tool – plcc was implemented to automatically verify a number of non-trivial pointer programs. 相似文献
19.
Pointer analysis is a technique to identify at copile-time the potential values of the pointer expressions in a program,which promises significant benefits for optimzing and parallelizing complilers.In this paper,a new approach to pointer analysis for assignments is presented.In this approach,assignments are classified into three categories:pointer assignments,structure(union)assignents and normal assignments which don‘t affect the point-to information.Pointer analyses for these three kinds of assignments respectively make up the integrated algorithm.When analyzing a pointer assigemtn.a new method called expression expansion is used to calculate both the left targets and the right targets.The integration of recursive data structure analysis into pointer analysis is a significant originality of this paper,which uniforms the pointer analysis for heap variables and the pointer analysis for stack variables.This algorithm is implemented in Agassiz,an analyzing tool for C programs developed by Institute of Parallel Processing,Fudan University,Its accuracy and effectiveness are illustrated by experimental data. 相似文献
20.
指针是C语言的核心。利用它可以表示多种数据结构,把指针与普通变量、数组、函数结合可以设计出灵活高效的程序。本文针对指针的这些常见用法进行了具体的分析。 相似文献