1) Basic Data Structure Recovery
基本数据类型恢复
1.
Basic Data Structure Recovery in Decompilation and the Application of Lex and Yacc inIt;
反编译的基本数据类型恢复技术及Lex和Yacc在其中的应用
2) Data type recovery
数据类型恢复算法
4) recovery of array type
数组类型恢复
5) Data recovery
数据恢复
1.
2.488 Gbit/s clock and data recovery circuit in 0.35 μm CMOS;
2.488 Gbit/s 0.35μm CMOS时钟和数据恢复电路(英文)
2.
Research on key technologies of data recovery in forensic system;
取证系统中数据恢复关键技术研究
6) data restore
数据恢复
1.
It was introduced the concept and method of the data backup & data restore in the Oracle database, as well as how to implement the method of the data backup and the data restore in TMIS Station System.
介绍Oracle数据库中数据的备份和恢复的概念与方法,以及TMIS车站系统中如何实现数据备份及数据恢复的方法。
2.
This paper is aimed at the situation of FAT breakdown of hard disk including many partition which is put to use extensivly present,analyses it from the principle and feasibility of data restore and put forward the solution which uses common software for recovery and disk edit implement Winhex by hand to recover.
针对目前广泛采用多分区的硬盘出现分区表故障的情况,从数据恢复的原理和可行性上进行分析,提出采用普通恢复软件和磁盘编辑工具Winhex手工恢复数据相结合的解决方法,达到数据恢复的最优效果。
补充资料：抽象数据类型
抽象数据类型
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的前后断言方法，它通过已定义的(抽象)数据类型来给出所要定义的新类型的抽象模型。 采用代数方法，抽象数据类型的规约由两部分组成，一是语法部分，二是公理部分。语法部分给出了抽象数据类型的名及其上运算的定义域和值域，公理部分则通过给出一组刻画各运算之间相互关系的方程来定义各运算的含义。从语义的角度，代数规约的语义是一类代数。在语法正确的基础上，语义正确性是指相应代数满足规约中公理部分的所有公理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条