摘要：纯Ｄａｔａｌｏｇ的唯一模型定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄａｔａｌｏｇ－Ｎｏｔ程序的所有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义．完美模型关系是一种合理的选择标准．然而，由于完美模型的复杂性阻止了它的发展．本文分析了完美模型，通过有向图，给出了有完美模型的充要条件，并且给出构造算法及其正确性证明．本文得到的结果是：对任一自反有向图Ｇ，都能构造一个Ｄａｔａｌｏｇ－Ｎｏｔ程序Ｐ。

摘要：情景交融是我国古代诗歌创作的重要命题,也是唐诗之妙的一个重要因素。唐诗中的情景呈现方式有三种基本类型:豪情壮景、柔情悲景、悠情清景。这三种类型的情景通常是通过融情入景、移情于景、情景相触的方式交融在一起的。情景交融艺术手法的灵活运用,使唐诗意境的创造日臻完善,为唐诗最终能够成为我国文学宝库中一颗璀璨的明珠起到了巨大的作用。