本文以居民地綜合算法為例,探討了部分算法在移動環境中的執行效率,並進行了可用*驗*。
提出並分析了適合於多面體模型的邊界幾何求交方法,並進一步給出了融入模型重構的綜合算法。
本文以歸納程序綜合系統ndips為背景,介紹自頂向下的歸納程序綜合算法,以及程序假設空間的組織、搜索所採用的技術和策略。