您的位置： 专家智库 > >

江明德

作品数：15 被引量：11H指数：3
供职机构：电子科技大学计算机科学与工程学院计算机系更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 13篇期刊文章
  • 2篇会议论文

领域

  • 12篇自动化与计算...
  • 1篇理学

主题

  • 7篇程序设计
  • 5篇面向对象
  • 4篇体裁
  • 3篇人工智能
  • 3篇谓词
  • 3篇逻辑
  • 3篇面向对象程序
  • 2篇义学
  • 2篇语义
  • 2篇数理逻辑
  • 2篇谓词演算
  • 2篇泛函
  • 2篇编程
  • 2篇编程语言
  • 2篇程序语言
  • 1篇递归
  • 1篇语言
  • 1篇语言设计
  • 1篇语义学
  • 1篇智能语言

机构

  • 15篇电子科技大学

作者

  • 15篇江明德
  • 1篇健生

传媒

  • 5篇小型微型计算...
  • 3篇计算机学报
  • 2篇计算机应用
  • 2篇电子科技大学...
  • 2篇全国软件理论...
  • 1篇软件学报

年份

  • 3篇1992
  • 3篇1991
  • 4篇1990
  • 3篇1989
  • 2篇1987
共 15 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向对象程序设计的思维科学基础被引量：3
1992年
本文用马克思主义的思维科学的理论,为面向对象程序设计奠定科学认识论和方法论上的基础.为掌握一种程序设计语言,理解它所特有的体裁或观点的理论基础,常常能生事半功倍之效.面向对象观点,与其说接近于数学,不如更接近于物理学;它的理论基础是思维科学。
江明德菊燕
关键词：面向对象程序设计思维科学
面向对象多层次多体裁人工智能语言J—Lyusia的设计:纯一型结构被引量：1
1991年
在Lyusia这一多层次多体裁人工智能语言的基础上,构成类,各类之间以(单)继承关系相联系.象A—Little—Smalltalk那样规模,不采用元类.主程序也是一个类,起动主程序意味着“生成一个主程序的实例(对象),并与之进行消息传递”;由此,动态地形成“变动着的各对象及其间消息传递”的网,开展计算.本文概略地介绍Lyusia语言,以此描述类的构造.提出主程序作为一个类,及其起动机制,并举例说明.统观之,作为类的实例的对象,是一种多层次多体裁的微观胞腔,类是这些胞腔的模板.程序及其计算的开展则是“相互地以消息传递联系起来的纯一的各微观胞腔(对象)的、动态地变更其构形的宏观网”.
江明德艾健生
关键词：面向对象人工智能
高阶谓词演算向一阶数学理论■_(γω)的转化及其与编程语言的牵连
1991年
■_(γω)理论是一种一阶数学理论,它融合γω 演算与经典的谓词演算于一体。本文论述“经典的高阶谓词演算可直接转化成_(γω)理论”,并讨论此种转化与程序设计语言之间的牵连。
江明德柳达夫
关键词：语言编程
ML核心语言的同式多型类型检验的推理系统
1989年
ML 语言的同式多型类型检验(含推导)是颇成功的,具有典型意义;它属于参变的、基本上是寅式的同式多型。本文中 ML 核心语言的同式多型类型检验被表达成“推理法则系统”这样的形式系统。在类型的语义模型与类型检验算法,之间,它起着一种简明而又基本的媒介作用。
江明德甬剡
关键词：ML语言泛函程序语言
用面向对象程序设计模拟神经网络计算
1992年
本文用C^(++)这一面向对象程序设计(OOP)语言来模拟神经网络计算:模拟多层感知机。初步表明,用C^(++)作神经计算的规范语言,或作为某种描述神经计算的规范语言的中间语言,是实际可能的。
江明德健生
关键词：面向对象程序设计神经网络
多体裁语言Lyusia:状态转移程序设计体裁被引量：4
1989年
本文继[1]的工作之后,在泛函编程体裁,逻辑编程体裁与集合论编程体裁的基础上,再融入一种编程体裁——状态转移体裁。设计了状态转移编程体裁语法的基本部分;讨论了具此四种体裁(泛函,逻辑,集合论,状态转移)的语言(Lyusia的主体)的操作语义学。并且,阐明了状态转移编程体裁与基于法则(rule-based)编程体裁的关系,状态转移编程体裁与(面向对象编程语言中的)“属性/性能(attributes contained in behavior)”格律的关系。
江明德祥珠
关键词：人工智能
广义元合成法则
江明德
关键词：计算机系统程序设计数理逻辑
面向对象编程体裁中继承机制语义的Γ_(γω)理论描述:多重继承
1992年
_(γω)理论是一种一阶数学理论,它融合γω演算与谓词演算于一体.本文运用_(γω)理论来描述面向对象编程体裁(00PP)中一种多重继承机制的语义,它象公理语义一样抓住了(语义)问题的本质._(γω)理论在这里起了公理语义学的作用.这种语义描述简明得象Prolog程序一样,并且可望得到多层次多体裁编程语言Lyusia的支持,变得可执行的,从而可用作验证程序正确性.
江明德奥契塔山岭
关键词：面向对象程序设计
Lyusia语言中状态转移编程体裁的谓词/事件网语义学被引量：3
1989年
Lyusia语言是一种多体裁的人工智能语言,它由五种编程体裁(泛函的,逻辑的,集合论的,状态转移的,数据流的)有机地协调地统一而成,其中有状态转移编程体裁。而状态转移编程体裁实质上又是过程编程体裁与基于法则的编程体裁的结合,并且,还蕴含着数据流(Petri网的一种特殊形式)编程体裁。本文从谓词/事件网的角度,为Lyusia语言中的状态转移编程体栽奠定一种逻辑网的语义学。
江明德向月梅
关键词：人工智能
γω演算与谓词演算融合于一阶数学理论中被引量：3
1990年
本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻辑三种编程体裁融合成一体的程序设计语言的“简单、统一、精确的”理论基础。文中还阐明了在(?)_(γω)理论的基础上如何演化出几种典型的有关语言。
江明德
关键词：谓词演算数学
全选 清除 导出
共2页<12>
聚类工具0