说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 强类型抽象
1)  strong typing abstraction
强类型抽象
1.
This paper uses the authentication test method to analyze the protocol with the type flaw by getting rid of the strong typing abstraction and adding the concept of the strand templates and a pseudo-operation of the penetrator.
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 。
2)  abstract data type
抽象数据类型
1.
Data structure,data type and abstract data type;
数据结构、数据类型和抽象数据类型
2.
Development of Application Software Based on Abstract Data Type;
基于抽象数据类型的应用软件开发
3.
After rounded analysis of data structure system, the relationship between data structure and abstract data type is discussed.
本文对数据结构的概念和范畴进行了讨论,对数据结构的体系作了全面的分析,最后从求解的角度探讨了数据结构与抽象数据类型的关系。
3)  ADT
抽象数据类型
1.
The solution scheme and implementation techniques for examples based ADT are presented.
讨论了数据结构规范化方法和抽象数据类型的问题。
4)  abstract quality type
抽象质量类型
5)  abstrdct of data type
数据类型抽象
6)  Abstract data type(ADT)
抽象数据类型(ADT)
补充资料:抽象数据类型


抽象数据类型
abstract data type

  ChouxiQng shUjU leixing抽象数据类型(abstract data勺pe)与表示无关的数据类型。数据类型由一个对象集合(值集)和在该集合上定义的若干合法运算所组成的运算集合组成。抽象数据类型用数学方法定义对象集合和运算集合,仅通过运算的性质刻画数据对象,而独立于计算机中可能的表示方法。其目的在于隐蔽运算实现细节和内部数据结构,同时向用户提供该数据类型的完整信息。 抽象数据类型的概念是逐步形成的。60年代末到70年代,人们将用户自定义的类型称作抽象数据类型。传统的算法语言没有用户自定义类型的设施。到60年代末,为了实现算法细节和数据内部结构的隐蔽,SIMIJLA67语言中引人了类,随后出现了模块概念。模块可分成模块式和模块体,模块式定义外部可见的运算接口,模块体对外不可见,其中可定义私有的数据结构和运算。通过接口和实现的分离,模块提供了用户自定义类型的手段,达到数据抽象、信息隐蔽的目的。在这个意义下,模块所定义的数据类型称作抽象数据类型。实际上,模块提供了一种抽象数据类型实现的手段。这种手段在入玉月ula-2,八da等语言中得到进一步的完善和发展。用户自定义数据类型的另一优点是设计与实现相分离,可将模块式看作设计规约,而模块体是相应的实现。这种分离推动了软件规约的研究,也进一步推动了抽象数据类型的研究。当用一个数据类型去模拟一类客观对象时,可先给出该类型的性质和功能的描述,然后用已有的语言设施和数据类型实现所需的功能,并证明实现的正确性。仅通过模块式描述数据类型的型构是不够的,还必须用抽象的方法完整地描述对象的性态和功能。这就是用抽象数据类型表示功能规约。这时,抽象数据类型完全独立于具体表示,反映出纯抽象的性质。抽象数据类型的规约方法主要有二:其一是代数方法;其二是模型方法。代数方法基于G.Birkhoff,J .D.LipSOn等的异调代数理论,经5.21115,J.A.Guttag等人的发展,其理论基础日趋完善,并逐步应用于软件工程实践,成为有代表性的抽象数据类型规约方法。模型方法基于C.A.R.HOare的前后断言方法,它通过已定义的(抽象)数据类型来给出所要定义的新类型的抽象模型。 采用代数方法,抽象数据类型的规约由两部分组成,一是语法部分,二是公理部分。语法部分给出了抽象数据类型的名及其上运算的定义域和值域,公理部分则通过给出一组刻画各运算之间相互关系的方程来定义各运算的含义。从语义的角度,代数规约的语义是一类代数。在语法正确的基础上,语义正确性是指相应代数满足规约中公理部分的所有公理。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条