并给出了线性表的严密的描述性定义和形式化定义。
The critical descriptive and formal definition of linear list is also promoted in this paper.
分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。
Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.
该文从网络信息的时间演化性出发,给出了动态文摘的形式化定义。
This paper presents the formalization of dynamic summarization according to temporal evolution of Web information.
应用推荐