Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。[ ...
/dl/204530.html
标签： Goedel 语言 逻辑 程序设计语言
上传时间： 2014-11-26
上传用户：BIBI
图书馆管理系统,是数据库的课程设计,报告里面包含了需求分析\数据字典\概念结构设计\逻辑结构设计\数据库物理设计\数据库实施
/dl/205027.html
标签： 数据库 结构设计 图书馆 分
上传时间： 2013-12-23
上传用户：zhangliming420
用AVR制作的打铃仪的完整程序，做这个的可下过去参考。
/dl/207848.html
标签： AVR 打铃 程序
上传时间： 2015-10-11
上传用户：蠢蠢66
超声波测距在社会生活中已经有广泛的应用如汽车倒车雷达等。本文主要研究了一种基于单片机微处理器的超声波测距仪。该仪器以空气中超声波的传播速度为确定条件，利用反射超声波测量待测距离。本文阐述了仪器研制的理论基础，介绍了具体的软硬件设计以及相关情况。 ...
/dl/207999.html
标签： 超声波测距 汽车倒车 单片机 仪器
上传时间： 2014-01-01
上传用户：lifangyuan12
这是用于表面几何量测量的激光干涉式轮廓仪的软件部分源代码．
/dl/208462.html
标签： 表面 几何 测量 干涉式
上传时间： 2014-11-28
上传用户：shanml
本课件是一个动态演示数据结构算法执行过程的辅助教学软件, 它可适应读者对算法的输入数据和过程执行的控制方式的不同需求, 在计算机的屏幕上显示算法执行过程中数据的逻辑结构或存储结构的变化状况或递归算法执行过程中栈的变化状况。整个系统使用菜单驱动方式, 每个菜单包括若干菜单项。每个菜单项对应一个动作或一个子菜 ...
/dl/208867.html
标签： 算法 过程 数据 动态
上传时间： 2015-10-13
上传用户：waizhang
FPGA时钟分析，包括门控时钟与时钟偏仪分析，逻辑设计时钟分析，毛刺分析．
/dl/209405.html
标签： FPGA 时钟 分
上传时间： 2015-10-14
上传用户：lps11188
人工智能的重要入门书籍,介绍图灵机模型,已经当今数字计算机在进行图灵测试遇到的困难,前进的方向,书中有很多生动的原理与逻辑分析,对于开阔眼界,拓展思维,了解人工智能基础很有帮助.
/dl/209588.html
标签： 人工智能 书籍 模型 数字
上传时间： 2013-12-29
上传用户：362279997
delphi动态构造系统 程序可以帮助你动态建立数据库表、建立业务逻辑、 动态建立操作界面、生成的操作界面还可以任意调整、 动态的生成万能查询、动态建立你所需要的各种报表
/dl/210085.html
标签： 动态 delphi 操作界面
上传时间： 2015-10-16
上传用户：妄想演绎师
利用DSP芯片控制步进电机的转动。 设计DSP外围的等待逻辑电路、等待逻辑控制电路、步进电机驱动电路 设计步进电动机驱动软件 按照设计电路焊接电路板，调试、测试 按照软件设计要求设计软件，并且结合硬件电路调试、测试。 最终达到控制步进电机转动目的 ...
/dl/210416.html
标签： DSP 步进电机 等待 芯片
上传时间： 2015-10-17
上传用户：xwd2010
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机
