DEL语言

作品数：10被引量：3H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵致琢李松斌高伟昌杰李慧琪更多>>
相关机构：厦门大学东南大学中兴通讯股份有限公司巢湖学院更多>>
相关期刊：《计算机研究与发展》《计算机时代》《巢湖学院学报》《计算机工程与设计》更多>>
相关基金：福建省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
高炉热风炉混杂系统模型
《工业仪表与自动化装置》2021年第1期44-47,共4页滕宇 
热风炉是高炉炼铁生产过程中的重要设备,是能源消耗的关键环节。针对目前国内高炉热风炉的产能效率较低,没有合适的模型进行整体分析的问题,该文研究了基于混合逻辑动态模型的高炉热风炉整体工作流程建模,在辨识得到热风炉2个工作阶段...
关键词：高炉热风炉 混合逻辑动态模型 HYSDEL语言 
Gdel语言延迟声明语句的语义及其实现方法
《计算机科学》2012年第5期114-116,共3页曹炳义 赵致琢 
国家自然科学基金(69383004)资助
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通...
关键词：Gdel语言 延迟计算 进化代数 过程性语义 扩展Warren机 
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语言 类型 说明性语义 
Prolog与Gdel语言元程序设计的对比研究
《巢湖学院学报》2008年第6期30-32,共3页昌杰 郑尚志 
元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言...
关键词：GODEL语言 元程序设计 基本表示 非基本表示 
Gdel语言的一种并行推理模型
《集美大学学报（自然科学版）》2008年第2期117-121,共5页李玲 赵致琢 李松斌 王良霖 夏金存 
福建省自然科学基金资助项目(A0310007)
针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
关键词：GODEL语言 中间代码 AND并行 OR并行 
Gdel语言对现代软件工程方法的支持被引量：1
《计算机时代》2006年第11期1-3,共3页李松斌 赵致琢 李慧琪 
厦门大学创新研究基金项目(Y07012);福建省自然科学基金项目(A0310007)
文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件...
关键词：Goedel语言 软件开发方法 模块系统 类型系统 延迟计算 
Gdel语言类型系统被引量：3
《计算机工程与设计》2005年第12期3432-3435,3438,共5页王炳波 赵致琢 晏松 
Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,...
关键词：Goedel PROLOG 类型系统 多态多类 类型推理 
一个演绎工程数据库语言DEL
《计算机研究与发展》2000年第2期164-169,共6页邵家玉 陆平 周伯鑫 徐南荣 
国家"八六三"CIM S课题基金项目资助!(项目编号863-511-9501-001)
演绎工程数据库是工程数据库和演绎数据库集成的产物，它综合了工程数据库和演绎数据库的特点，集成了演绎数据库的查询能力和工程数据库的工程数据、对象、环境建模能力，对数据库技术的不断进步和完善有重要的理论意义和实用价值．文...
关键词：工程数据库 演绎数据库 DEL语言 数据模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部