高伟

作品数：4被引量：0H指数：0
导出分析报告
供职机构：厦门大学更多>>
发文主题：DEL语言逻辑程序设计语言程序设计GODEL逻辑程序更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《中国新通信》《福建电脑》《智能系统学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Gdel语言控制机制的研究与实现
《智能系统学报》2009年第4期345-351,共7页高伟 赵致琢 李慧琪 昌杰 
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明...
关键词：Gdel语言 控制机制 延迟 剪枝 
逻辑程序设计语言Gdel与Prolog的比较
《智能系统学报》2009年第2期163-168,共6页昌杰 赵致琢 李慧琪 高伟 
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分...
关键词：Gdel语言 PROLOG语言 模块系统 类型系统 控制机制 元程序设计 
G觟del语言的说明性语义简述
《福建电脑》2009年第2期40-41,共2页高伟 
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。
关键词：Gdel语言 类型 说明性语义 
Linux系统下基于I^2C接口的数据通信的实现
《中国新通信》2007年第17期29-32,共4页高伟 石江宏 
介绍在Linux系统下I2C总线结构、驱动编写以及I2C总线的软、硬件实现方式,并介绍了多线程技术在驱动调用过程中的应用。该方案已在以MPC850芯片为核心的监控平台上实现。
关键词：I^2C总线 多线程 LINUX系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部