张运桢
- 作品数：10 被引量：5H指数：1
- 供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 一个兼备函数和逻辑风格的知识程序设计环境的设计被引量：1
- 1989年
- 本文介绍了一个兼备函数和逻辑程序设计风格的知识程序设计环境,包括其设计思想、基本原理、结合方式及实现等,同时也讨论了设计过程中的一些考虑和选择。
- 成岗张运桢
- 关键词：逻辑程序设计函数逻辑知识
- 电镀咨询系统ECES
- 1989年
- 我们与武汉市材料保护研究所合作,针对湿热环境下机电产品的主要防护层之一——电镀层的选择和指导问题,设计了腐蚀专家系统的一个子系统——电镀咨询系统ECES.ECES采用我们研制成功的新型函数/逻辑程序设计语言LISP-ELP编制.目前,该系统运行顺利,基本上达到了预期的效果.本文阐述该系统的结构、功能、实现策略和应用情况.1 设计目标产品表面防护涂层的选择,是产品设计和生产制造部门普遍关心和重视的问题.ECES的研制目的是把电镀方面的专家知识融合到计算机技术中,为用户提供专家级的辅助决策意见和指导.作为腐蚀专家系统的一个部分——ECES的设计目标是:
- 李智勇张运桢
- 关键词：EXPERTELECTROPLATINGCOATINGSLANGUAGE
- LISP-ELP语言的实现技术
- 1991年
- LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.
- 张运桢李智勇
- 关键词：专家系统重写规则
- 演绎数据库系统LEDDB
- 1991年
- 本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.
- 李智勇张运桢
- 关键词：数据库系统知识库
- ELNF演算的解释技术
- 1994年
- ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．
- 金海李智勇张运桢阳富民银海
- 关键词：逻辑程序程序设计
- “函数+逻辑”程序设计编译-解释系统
- 1991年
- 本文在“函数+逻辑”程序设计语言LISP-ELP的基础上,介绍了作者设计并实现的一个“函数+逻辑”编译-解释系统.文中阐述了该系统的设计原则、内部结构、实现技术和结果分析.
- 张运桢李智勇成岗
- 关键词：程序设计
- 多规范语言LIPS
- 1991年
- LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.
- 李智勇张运桢柳渝
- 关键词：计算机语言LIPS
- LISP-ELP的设计和应用被引量：5
- 1989年
- 1.引言 在本文中描述了LISP-ELP的特性、实现和应用。LISP-ELP是作者设计的一种支持专家系统程序设计的逻辑程序设计语言,它继承了LISP和Prolog两者的优点,改进了Prolog的控制结构,并具有极强的知识表达能力,该语言已经在IBM-PC微机上用C语言实现。 在“函数+逻辑”型语盲的研究中有[1,2]的工作.为了推进“函数+逻辑”
- 张运桢李智勇
- 关键词：逻辑程序设计专家系统
- 一个“函数+逻辑”程序设计语言的解释—编译系统
- 1990年
- 我们设计了一个主要支持知识程序设计的“函数+逻辑”语言。它利用LISP丰富的语言环境,以LISP的S—表达式形式把LISP和Prolog有机统一起来,兼备函数和逻辑混合的或独立的编程风格,具有计算策略丰富、编程方式灵活多样、问题表达能力强等特点。为克服解释实现中逻辑部分执行效率远慢于函数部分等缺陷,我们实现了该“函数+逻辑”语言的解释一编辑系统。本文介绍了该系统的设计思想、内部结构及实现原理等。
- 成岗张运桢
- 关键词：函数程序语言逻辑
- 多范例语言概观被引量：1
- 1989年
- 本文简要地介绍目前智能语言研究领域中的一种趋向——多程序设计范例的语言研究,给出了多范例语言结合的一般方法,并评述了几个典型的多范例语言。
- 张运桢刘震贺武汉
- 关键词：人工智能语言程序设计
