主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

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

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

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

关键词: 用地选择 / 系统分析 / 层次分析法

下载(311)| 被引(14)

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

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

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

关键词: 机器人学 / 规划 / 程序设计 / 人工智能

下载(51)| 被引(0)

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

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

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

关键词: 编译 / 解释 / 合一 / 尾项优化

下载(9)| 被引(0)

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

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

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

关键词: 子句集 / LOGIC / 子目标 / 目标集

下载(6)| 被引(0)

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

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

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

关键词: 程序设计方法 / 前置条件 / 变换规则 / 算法模型

下载(56)| 被引(0)

自动程序设计系统  CNKI文献

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

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

关键词: 程序模式 / 程序规则 / 循环体 / 子目标

下载(53)| 被引(3)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状