In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clar...In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.展开更多
In this paper the concepts of the boundary value problem of abstract kinetic equation with the first kind of critical parameter γ 0 and generalized periodic boundary conditions are introduced in a Lebesgue space whic...In this paper the concepts of the boundary value problem of abstract kinetic equation with the first kind of critical parameter γ 0 and generalized periodic boundary conditions are introduced in a Lebesgue space which consists of functions with vector valued in a general Banach space, and then describe the solution of these abstract boundary value problem by the abstract linear integral operator of Volterra type. We call this process the integral operator solving process.展开更多
基金The Project Supported by National Natural Science Foundation of China
文摘In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.
文摘In this paper the concepts of the boundary value problem of abstract kinetic equation with the first kind of critical parameter γ 0 and generalized periodic boundary conditions are introduced in a Lebesgue space which consists of functions with vector valued in a general Banach space, and then describe the solution of these abstract boundary value problem by the abstract linear integral operator of Volterra type. We call this process the integral operator solving process.
