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

动态模糊逻辑程序设计语言的指称语义被引量：2: 1; 作者韩小芬李凡长《计算机科学》 CSCD 北大核心 2009年第1期153-157,共5页; 文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计... 展开更多; 关键词动态模糊逻辑动态模糊逻辑程序设计语言指称语义; 在线阅读下载PDF 职称材料

动态模糊逻辑(DFL)程序设计语言的结构化操作语义: 2; 作者赵小芳范辉《计算机应用与软件》 CSCD 北大核心 2008年第8期136-137,146,共3页; 动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序... 展开更多; 关键词动态模糊逻辑动态模糊逻辑程序设计语言结构化操作语义; 在线阅读下载PDF 职称材料

基于VC++和Prolog语言混合编程的专家系统框架被引量：3: 3; 作者陈慧萍韩冬苗新蕊《计算机工程与设计》 CSCD 北大核心 2007年第23期5701-5703,5711,共4页; 为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC++混合编程方法开发专家系统框架的方案,用VC++实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程。该框架具有较好的用户界面,用户只要输入或导入脚本编写的... 展开更多; 关键词专家系统专家系统框架逻辑程序设计语言知识库推理; 在线阅读下载PDF 职称材料

受限的proflog语言及其表推演过程语义被引量：1: 4; 作者陈荣孙吉贵姜云飞《广西师范大学学报（自然科学版）》 CAS 2003年第1期27-33,共7页; Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使... 展开更多; 关键词表推演过程语义非单调性逻辑程序设计语言证明论 proflog 扩展规则; 在线阅读下载PDF 职称材料

基于ESTA的电力设备状态评估专家系统被引量：10: 5; 作者崔奇明《电力系统及其自动化学报》 CSCD 北大核心 2008年第5期124-128,共5页; 介绍了基于Visual Prolog语言与Esta专家系统外壳的电力设备状态评估专家系统的应用研究。为了使其评估过程智能及计算机化,提出了基于解释推理的评估基本过程框架并引入状态综合指数的概念。对Windows及Web版Esta与大型数据库的连接等... 展开更多; 关键词状态检修状态评估专家系统可视化逻辑程序设计语言专家系统外壳; 在线阅读下载PDF 职称材料

题名动态模糊逻辑程序设计语言的指称语义被引量：2: 1; 作者韩小芬李凡长; 机构苏州大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2009年第1期153-157,共5页; 基金国家自然科学基金(60775045) 江苏省自然科学基金(BK2005027 BK2002040)资助; 文摘文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。; 关键词动态模糊逻辑动态模糊逻辑程序设计语言指称语义; Keywords Dynamic fuzzy logic, Dynamic fuzzy logic programming language, Denotational semantics; 分类号 TP312 [自动化与计算机技术—计算机软件与理论] TN919.81 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名动态模糊逻辑(DFL)程序设计语言的结构化操作语义: 2; 作者赵小芳范辉; 机构山东工商学院信息与电子工程学院; 出处《计算机应用与软件》 CSCD 北大核心 2008年第8期136-137,146,共3页; 文摘动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。; 关键词动态模糊逻辑动态模糊逻辑程序设计语言结构化操作语义; Keywords Dynamic fuzzy logic Dynamic fuzzy logic programming language Structured operational semantics; 分类号 TP312 [自动化与计算机技术—计算机软件与理论] TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于VC++和Prolog语言混合编程的专家系统框架被引量：3: 3; 作者陈慧萍韩冬苗新蕊; 机构河海大学计算机及信息工程学院; 出处《计算机工程与设计》 CSCD 北大核心 2007年第23期5701-5703,5711,共4页; 文摘为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC++混合编程方法开发专家系统框架的方案,用VC++实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程。该框架具有较好的用户界面,用户只要输入或导入脚本编写的知识库、事实库和目标,就可以进行目标求解,因此简化了专家系统的开发过程。介绍了该专家系统框架的实现原理和设计思想,给出了导入导出模块、脚本语言语法检测模块和解释机制的实现方法。; 关键词专家系统专家系统框架逻辑程序设计语言知识库推理; Keywords expert system expert system shell PROLOG knowledge base inference; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名受限的proflog语言及其表推演过程语义被引量：1: 4; 作者陈荣孙吉贵姜云飞; 机构中山大学吉林大学; 出处《广西师范大学学报（自然科学版）》 CAS 2003年第1期27-33,共7页; 基金广东省自然科学基金，中山大学校科研和教改项目; 文摘 Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.; 关键词表推演过程语义非单调性逻辑程序设计语言证明论 proflog 扩展规则; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于ESTA的电力设备状态评估专家系统被引量：10: 5; 作者崔奇明; 机构辽宁鞍山供电公司; 出处《电力系统及其自动化学报》 CSCD 北大核心 2008年第5期124-128,共5页; 文摘介绍了基于Visual Prolog语言与Esta专家系统外壳的电力设备状态评估专家系统的应用研究。为了使其评估过程智能及计算机化,提出了基于解释推理的评估基本过程框架并引入状态综合指数的概念。对Windows及Web版Esta与大型数据库的连接等做了探索,给出其连接的3种模式及基本方法。其结果实现了一个基于所研究框架的变压器状态评估专家系统,实践表明了该系统的有效性和实用性。; 关键词状态检修状态评估专家系统可视化逻辑程序设计语言专家系统外壳; Keywords condition maintenance condition assessment expert system visual prolog ESTA; 分类号 TP182 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	动态模糊逻辑程序设计语言的指称语义	韩小芬李凡长	《计算机科学》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
2	动态模糊逻辑(DFL)程序设计语言的结构化操作语义	赵小芳范辉	《计算机应用与软件》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
3	基于VC++和Prolog语言混合编程的专家系统框架	陈慧萍韩冬苗新蕊	《计算机工程与设计》 CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
4	受限的proflog语言及其表推演过程语义	陈荣孙吉贵姜云飞	《广西师范大学学报（自然科学版）》 CAS	2003	1	在线阅读下载PDF 职称材料
5	基于ESTA的电力设备状态评估专家系统	崔奇明	《电力系统及其自动化学报》 CSCD 北大核心	2008	10	在线阅读下载PDF 职称材料