Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

昆明城市东北出入口交通瓶颈调查分析与对策

为明确交通瓶颈对城市出入口的影响并制定改善措施,以昆明市东三环北出入口的交通瓶颈为研究对象,进行交通流量调查,并加以分析。以各交通瓶颈的交通流量分析为线索,对其规划通行能力与现有通行能力作比较,提出各交通瓶颈的改善方案。