检索结果-维普期刊中文期刊服务平台

一种规则描述语言NPRDL语言被引量：1: 1; 作者朱靖波王宝库姚天顺《东北大学学报（自然科学版）》 EI CAS CSCD 1996年第6期651-655,共5页; 提出了一种适用于汉语分析的规则描述语言．主要介绍了ＮＰＲＤＬ语言对象描述、书写规范、实现技术及其如何被应用于汉语分析．ＮＰＲＤＬ语言具有描述能力强，便于计算机处理和便于书写规则三大特点．它不仅可以描述汉语，还可以描述... 展开更多; 关键词 NPRDL语言规则描述语言中文信息处理汉语分析; 在线阅读下载PDF 职称材料

非过程性规则描述语言NRDL: 2; 作者赵振西刘秀芬《中文信息学报》 CSCD 1992年第3期55-61,共7页; 规则描述语言是自然语言处理系统的开发环境中十分重要的知识获取工具。本文介绍一种非过程性的、面向汉语理解的规则描述语言NRDL,详细说明了NRDL的语言结构、规则书写方法、实现机制和功能特点,并且介绍了在计算机使用的情况。; 关键词规则描述语言非过程性 NRDL; 在线阅读下载PDF 职称材料

一种基于规则的语言的公理语义被引量：2: 3; 作者魏振春韩江洪 +1 位作者陆阳刘小平《计算机工程与应用》 CSCD 北大核心 2008年第20期86-88,共3页; 为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程... 展开更多; 关键词规则逻辑规则描述语言公理语义 HOARE逻辑形式语法; 在线阅读下载PDF 职称材料

开放式满汉辅助翻译系统的研究和实现被引量：2: 4; 作者张俐李晶皎 +1 位作者赵欣王宝库《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 1999年第6期587-590,共4页; 为更好地利用清朝的满文文献开发了“计算机满汉辅助翻译系统”·系统建立了一种面向满文信息处理的满文编码体系，以及一套满文字模，实现了满汉辅助翻译中首先必须解决的满文输入法和满文的屏幕编辑系统·重点介绍了包括词典... 展开更多; 关键词规则描述语言满文翻译系统计算机辅助翻译; 在线阅读下载PDF 职称材料

题名一种规则描述语言NPRDL语言被引量：1: 1; 作者朱靖波王宝库姚天顺; 机构东北大学计算机科学与工程系; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 1996年第6期651-655,共5页; 基金国家"八六三"高科技项目; 文摘提出了一种适用于汉语分析的规则描述语言．主要介绍了ＮＰＲＤＬ语言对象描述、书写规范、实现技术及其如何被应用于汉语分析．ＮＰＲＤＬ语言具有描述能力强，便于计算机处理和便于书写规则三大特点．它不仅可以描述汉语，还可以描述其他语言．; 关键词 NPRDL语言规则描述语言中文信息处理汉语分析; Keywords NPRDL language,complex feature set,multi window technology.; 分类号 TP391.2 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名非过程性规则描述语言NRDL: 2; 作者赵振西刘秀芬; 机构中国科学技术大学; 出处《中文信息学报》 CSCD 1992年第3期55-61,共7页; 文摘规则描述语言是自然语言处理系统的开发环境中十分重要的知识获取工具。本文介绍一种非过程性的、面向汉语理解的规则描述语言NRDL,详细说明了NRDL的语言结构、规则书写方法、实现机制和功能特点,并且介绍了在计算机使用的情况。; 关键词规则描述语言非过程性 NRDL; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于规则的语言的公理语义被引量：2: 3; 作者魏振春韩江洪陆阳刘小平; 机构合肥工业大学计算机与信息学院; 出处《计算机工程与应用》 CSCD 北大核心 2008年第20期86-88,共3页; 基金国家教育部博士点基金(the Fund for the Doctoral Program of the Ministry of Education of China under Grant No.20050359004) 国家教育部新世纪优秀人才计划项目(the New Century Excellent Talent Foundation from MOE of China under Grant No.NCET-04-050562) 安徽省科技公关计划项目(the Key Technologies R&D Program of Anhui Province, China under Grant No.06012069B); 文摘为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。; 关键词规则逻辑规则描述语言公理语义 HOARE逻辑形式语法; Keywords rule Logic Rule Description Language （LRDL） axiomatic semantics Hoare logic formal syntax; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名开放式满汉辅助翻译系统的研究和实现被引量：2: 4; 作者张俐李晶皎赵欣王宝库; 机构东北大学信息科学与工程学院; 出处《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 1999年第6期587-590,共4页; 基金国家自然科学基金国家教育部博士学科点基金; 文摘为更好地利用清朝的满文文献开发了“计算机满汉辅助翻译系统”·系统建立了一种面向满文信息处理的满文编码体系，以及一套满文字模，实现了满汉辅助翻译中首先必须解决的满文输入法和满文的屏幕编辑系统·重点介绍了包括词典管理子系统、规则管理子系统在内的开放性知识体系的构造，以及一套既适合语言学家填写又利于机器使用的知识维护系统，提出了使用一种新的对象式规则描述语言形式，完成知识的表达、存储以及解释的机制，实现了满汉辅助翻译系统·; 关键词规则描述语言满文翻译系统计算机辅助翻译; Keywords Manchu, character model, rule description language.; 分类号 TP391.2 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料