2) abstract function
抽象函数
1.
Continuous wavelet transform of abstract functions and differential equations;
抽象函数空间的连续小波变换和微分方程
3) data abstraction
数据抽象
1.
It is characterized by the data abstraction and information hiding,and is in conformity with the thinking mode of the natural decomposition of real problems.
它具有数据抽象、信息隐藏等特点,符合人们对实际问题进行自然分解的思维方式,并能提高软件的可重用性、可扩充性和可维护性。
2.
Then,proposing the view of data abstraction is used for building the hierarchical models.
分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型之间的转换,采用部分实现的思想提高模型转换的效率,这些思想的结合便形成了一种面向模型转换的软件开发方法。
3.
we explain C ++ object - programming language data abstraction & tenor subsequent control.
文章描述了 Ｃ＋＋面向对象程序设计语言中实体描述（数据抽象）以及程序（进程）的并发控制。
4) Abstract algebra
抽象代数
1.
After a careful study of several major algebraic systems in abstract algebra,we come to the conclusion that relation is the noumenon of abstract algebra taking into consideration their established logical levels,and that homotype is the research method considering their structured isomorphic meanings.
针对抽象代数中的几大重要代数系统,我们从代数系统建立的逻辑层次上得出抽象代数的本体是关系,从代数系统结构的同构意义上得出抽象代数的方法是同型,并从抽象代数的认识主体、理论结构、分析方法、物理意义四个层面分析了蕴涵在抽象代数中的科学美与真理性,进而还原了抽象代数的最深刻的人文意义。
2.
This paper discusses the substance and method of abstract algebra .
本文讨论抽象代数的内容与方法,包括抽象代数、代数系统、群。
3.
The development of abstract algebra,combinatory,computer science and the rise of computer algebra injected new vitality into invariant theory;the extensive application in mathematics,physics,computer science and other fields made it to be reborn.
抽象代数的发展,组合学的进步,计算机科学的发展和计算机代数学的出现为不变量理论注入了新的活力;在数学、物理学、计算机科学等领域中的广泛应用使其获得重生。
6) mathematical abstraction
数学抽象
1.
This paper discusses the characteristics of mathematical abstraction,and considers how to train the ability of mathematical abstraction in mathematics teaching.
本文论述了数学抽象的特点，探讨了如何培养数学抽象能力的问题。
2.
Through analyzing and studying the background, emergence, content, method and process of mathematical abstraction, we could understand several dialectical relationships of activity of mathematical abstraction, such as the relationship between the process and result, form and content.
数学抽象体现了人类的活动。
补充资料：抽象数据类型
抽象数据类型
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的前后断言方法，它通过已定义的(抽象)数据类型来给出所要定义的新类型的抽象模型。 采用代数方法，抽象数据类型的规约由两部分组成，一是语法部分，二是公理部分。语法部分给出了抽象数据类型的名及其上运算的定义域和值域，公理部分则通过给出一组刻画各运算之间相互关系的方程来定义各运算的含义。从语义的角度，代数规约的语义是一类代数。在语法正确的基础上，语义正确性是指相应代数满足规约中公理部分的所有公理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条