城市用地选择的系统分析及程序设计  CNKI文献

本文在分析影响用地选择的自然及社会环境因素的基础上，利用层次分析方法，为合理选择建设用地构造了系统分析模型，讨论了决策方法及利用计算机进行排序的程序设计步骤，对实际问题进行了计算，得到合理...

边馥萍 杨正方 《城市规划》 1997年02期 期刊

目标级机器人自动程序设计——系统与方...  CNKI文献

机器人自动程序设计中的关键技术是自动规划。引用作业级机器人程序设计的思想,本文提出目标级机器人程序设计的思想及其实现方法.它采用一称为目标模型网(GMN)的表示方法来表示机器人...

章伟雄 张钹... 《机器人》 1988年02期 期刊

逻辑程序设计语言NIT-PROLOG编译—解释系统  CNKI文献

逻辑程序设计语言 NIT-PROLOG 采用编译—解释方式实现。实现过程中综合考虑了匹配、索引、尾项递归优化、线性合一、查错跟踪等多项技术的采用,提供了不同的合一、解释模块,便于用户组成不同功能的 PROLOG #~

邢汉承 《南京工学院学报》 1987年06期 期刊

逻辑程序设计系统LOGIC  CNKI文献

本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要...

邢汉承 林阿龙 《计算机工程与应用》 1987年05期 期刊

一个形式化的程序设计方法及其实验系统  CNKI文献

本文提出了一个形式化的程序设计方法,即以循环不变式为指导,运用程序变换规则从程序说明逐步地形式化地推争程序。生成的程序对于输入说明和输出说明是正确的。我们使用正则自动机作为...

李昭仁 《计算机学报》 1985年01期 期刊

自动程序设计系统  CNKI文献

本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序

孙永强 《上海交通大学学报》 1978年01期 期刊