期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
动态模糊逻辑程序设计语言编译器的实现
1
作者
赵小芳
窦全胜
姜云霄
《吉林大学学报(信息科学版)》
CAS
2023年第3期503-511,共9页
动态模糊逻辑程序设计语言的独特优势在于可以处理动态模糊数据,但现存的编译器很难有效解析动态模糊数据。针对此问题,通过扩展监督命令程序结构,引入对动态模糊性的形式化描述,设计一种新型的动态模糊逻辑程序设计语言编译器。通过实...
动态模糊逻辑程序设计语言的独特优势在于可以处理动态模糊数据,但现存的编译器很难有效解析动态模糊数据。针对此问题,通过扩展监督命令程序结构,引入对动态模糊性的形式化描述,设计一种新型的动态模糊逻辑程序设计语言编译器。通过实例验证,该编译器能正确解析动态模糊数据,降低了动态模糊逻辑程序调试难度,提高了动态模糊逻辑程序开发效率。
展开更多
关键词
编译器
动态模糊
逻辑程序设计语言
动态模糊算子
词法分析器
语法分析器
下载PDF
职称材料
一种动态模糊逻辑程序设计语言
被引量:
1
2
作者
赵小芳
张勇
《计算机时代》
2007年第6期6-7,共2页
动态模糊问题在客观世界中是普遍存在的,但纵观现存的程序设计语言,大多适用于解决精确的确定性的数据,而适于解决既具有动态性又具有模糊性数据的程序设计语言极少。动态模糊逻辑作为解决动态模糊问题的理论工具已有十几年的研究历史了...
动态模糊问题在客观世界中是普遍存在的,但纵观现存的程序设计语言,大多适用于解决精确的确定性的数据,而适于解决既具有动态性又具有模糊性数据的程序设计语言极少。动态模糊逻辑作为解决动态模糊问题的理论工具已有十几年的研究历史了,并取得了一系列研究成果。文章借鉴Dijkstra的监督命令程序结构,试图研究一种基于动态模糊逻辑的可以解决动态模糊问题的程序设计语言。
展开更多
关键词
动态模糊问题
动态模糊
逻辑
动态模糊
逻辑程序设计语言
监督命令
程序
结构
下载PDF
职称材料
动态模糊逻辑程序设计语言探讨
3
作者
赵小芳
王玉玲
《计算机与现代化》
2007年第4期17-19,23,共4页
动态模糊问题是普遍存在的,但是现存的程序设计语言中适合解决动态模糊问题的极少,本文试图作这方面的研究,设计一种适合解决动态模糊性问题的程序设计语言。本文仿照监督命令的程序结构,给出动态模糊逻辑程序设计语言的一个抽象模型,...
动态模糊问题是普遍存在的,但是现存的程序设计语言中适合解决动态模糊问题的极少,本文试图作这方面的研究,设计一种适合解决动态模糊性问题的程序设计语言。本文仿照监督命令的程序结构,给出动态模糊逻辑程序设计语言的一个抽象模型,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义。
展开更多
关键词
动态模糊
逻辑
动态模糊
逻辑程序设计语言
抽象语法
动态模糊语义
下载PDF
职称材料
动态模糊逻辑程序设计语言的指称语义
被引量:
2
4
作者
韩小芬
李凡长
《计算机科学》
CSCD
北大核心
2009年第1期153-157,共5页
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计...
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。
展开更多
关键词
动态模糊
逻辑
动态模糊
逻辑程序设计语言
指称语义
下载PDF
职称材料
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
5
作者
赵小芳
范辉
《计算机应用与软件》
CSCD
北大核心
2008年第8期136-137,146,共3页
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序...
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。
展开更多
关键词
动态模糊
逻辑
动态模糊
逻辑程序设计语言
结构化操作语义
下载PDF
职称材料
基于VC++和Prolog语言混合编程的专家系统框架
被引量:
3
6
作者
陈慧萍
韩冬
苗新蕊
《计算机工程与设计》
CSCD
北大核心
2007年第23期5701-5703,5711,共4页
为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC++混合编程方法开发专家系统框架的方案,用VC++实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程。该框架具有较好的用户界面,用户只要输入或导入脚本编写的...
为解决专家系统开发周期长的问题,提出并实现了用PROLOG与VC++混合编程方法开发专家系统框架的方案,用VC++实现专家系统框架的人机界面,用PROLOG语言构建知识库并实现推理过程。该框架具有较好的用户界面,用户只要输入或导入脚本编写的知识库、事实库和目标,就可以进行目标求解,因此简化了专家系统的开发过程。介绍了该专家系统框架的实现原理和设计思想,给出了导入导出模块、脚本语言语法检测模块和解释机制的实现方法。
展开更多
关键词
专家系统
专家系统框架
逻辑程序设计语言
知识库
推理
下载PDF
职称材料
受限的proflog语言及其表推演过程语义
被引量:
1
7
作者
陈荣
孙吉贵
姜云飞
《广西师范大学学报(自然科学版)》
CAS
2003年第1期27-33,共7页
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使...
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.
展开更多
关键词
表推演
过程语义
非单调性
逻辑程序设计语言
证明论
proflog
扩展规则
下载PDF
职称材料
基于ESTA的电力设备状态评估专家系统
被引量:
10
8
作者
崔奇明
《电力系统及其自动化学报》
CSCD
北大核心
2008年第5期124-128,共5页
介绍了基于Visual Prolog语言与Esta专家系统外壳的电力设备状态评估专家系统的应用研究。为了使其评估过程智能及计算机化,提出了基于解释推理的评估基本过程框架并引入状态综合指数的概念。对Windows及Web版Esta与大型数据库的连接等...
介绍了基于Visual Prolog语言与Esta专家系统外壳的电力设备状态评估专家系统的应用研究。为了使其评估过程智能及计算机化,提出了基于解释推理的评估基本过程框架并引入状态综合指数的概念。对Windows及Web版Esta与大型数据库的连接等做了探索,给出其连接的3种模式及基本方法。其结果实现了一个基于所研究框架的变压器状态评估专家系统,实践表明了该系统的有效性和实用性。
展开更多
关键词
状态检修
状态评估
专家系统
可视化
逻辑程序设计语言
专家系统外壳
下载PDF
职称材料
Turbo Prolog系统盘的剖析与改进
9
作者
黄明
杨大志
李宪章
《吉林工学院学报(自然科学版)》
1990年第3期91-94,共4页
随着人工智能技术的发展,Prolog语言日益受到人们的重视.笔者设计和实现了三种对Prolog进行检测的工具,为了使这些工具使用方便,需要把它们合并到系统盘中.为此,我们对Turbo Prolog系统盘进行了剖析与改进,增加了一个菜单选择.
关键词
TURBO
PROLOG
检测工具
系统盘
逻辑程序设计语言
人工智能
系统结构
推理规则
下载PDF
职称材料
一种对PROLOG进行矛盾检测的算法
10
作者
黄明
杨大志
李宪章
《吉林工学院学报(自然科学版)》
1990年第3期95-99,共5页
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
关键词
检测工具
PROLOG
软件工程
软件测试
矛盾检测算法
逻辑程序设计语言
下载PDF
职称材料
题名
动态模糊逻辑程序设计语言编译器的实现
1
作者
赵小芳
窦全胜
姜云霄
机构
山东工商学院计算机科学与技术学院
中国石油天然气股份有限公司吉林油田分公司信息中心
出处
《吉林大学学报(信息科学版)》
CAS
2023年第3期503-511,共9页
基金
国家自然科学基金资助项目(61976125)。
文摘
动态模糊逻辑程序设计语言的独特优势在于可以处理动态模糊数据,但现存的编译器很难有效解析动态模糊数据。针对此问题,通过扩展监督命令程序结构,引入对动态模糊性的形式化描述,设计一种新型的动态模糊逻辑程序设计语言编译器。通过实例验证,该编译器能正确解析动态模糊数据,降低了动态模糊逻辑程序调试难度,提高了动态模糊逻辑程序开发效率。
关键词
编译器
动态模糊
逻辑程序设计语言
动态模糊算子
词法分析器
语法分析器
Keywords
compiler
dynamic fuzzy logic programming language
dynamic fuzzy operator
lexical analyzer
syntax analyzer
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种动态模糊逻辑程序设计语言
被引量:
1
2
作者
赵小芳
张勇
机构
山东工商学院信息与电子工程学院
出处
《计算机时代》
2007年第6期6-7,共2页
文摘
动态模糊问题在客观世界中是普遍存在的,但纵观现存的程序设计语言,大多适用于解决精确的确定性的数据,而适于解决既具有动态性又具有模糊性数据的程序设计语言极少。动态模糊逻辑作为解决动态模糊问题的理论工具已有十几年的研究历史了,并取得了一系列研究成果。文章借鉴Dijkstra的监督命令程序结构,试图研究一种基于动态模糊逻辑的可以解决动态模糊问题的程序设计语言。
关键词
动态模糊问题
动态模糊
逻辑
动态模糊
逻辑程序设计语言
监督命令
程序
结构
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
动态模糊逻辑程序设计语言探讨
3
作者
赵小芳
王玉玲
机构
山东工商学院信息与电子工程学院
出处
《计算机与现代化》
2007年第4期17-19,23,共4页
文摘
动态模糊问题是普遍存在的,但是现存的程序设计语言中适合解决动态模糊问题的极少,本文试图作这方面的研究,设计一种适合解决动态模糊性问题的程序设计语言。本文仿照监督命令的程序结构,给出动态模糊逻辑程序设计语言的一个抽象模型,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义。
关键词
动态模糊
逻辑
动态模糊
逻辑程序设计语言
抽象语法
动态模糊语义
Keywords
dynamic fuzzy logic
dynamic fuzzy logic programming language
abstract syntax
dynamic fuzzy semantics
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
动态模糊逻辑程序设计语言的指称语义
被引量:
2
4
作者
韩小芬
李凡长
机构
苏州大学计算机科学与技术学院
出处
《计算机科学》
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)程序设计语言的结构化操作语义
5
作者
赵小芳
范辉
机构
山东工商学院信息与电子工程学院
出处
《计算机应用与软件》
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
6
作者
陈慧萍
韩冬
苗新蕊
机构
河海大学计算机及信息工程学院
出处
《计算机工程与设计》
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
7
作者
陈荣
孙吉贵
姜云飞
机构
中山大学
吉林大学
出处
《广西师范大学学报(自然科学版)》
CAS
2003年第1期27-33,共7页
基金
广东省自然科学基金,中山大学校科研和教改项目
文摘
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂.在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡.对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.
关键词
表推演
过程语义
非单调性
逻辑程序设计语言
证明论
proflog
扩展规则
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于ESTA的电力设备状态评估专家系统
被引量:
10
8
作者
崔奇明
机构
辽宁鞍山供电公司
出处
《电力系统及其自动化学报》
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
职称材料
题名
Turbo Prolog系统盘的剖析与改进
9
作者
黄明
杨大志
李宪章
机构
吉林工学院计算机及电子工程系
出处
《吉林工学院学报(自然科学版)》
1990年第3期91-94,共4页
基金
吉林省青年科技基金项目"PROLOG语言检测工具"的一个子项
文摘
随着人工智能技术的发展,Prolog语言日益受到人们的重视.笔者设计和实现了三种对Prolog进行检测的工具,为了使这些工具使用方便,需要把它们合并到系统盘中.为此,我们对Turbo Prolog系统盘进行了剖析与改进,增加了一个菜单选择.
关键词
TURBO
PROLOG
检测工具
系统盘
逻辑程序设计语言
人工智能
系统结构
推理规则
Keywords
turbo prolog
debugging
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种对PROLOG进行矛盾检测的算法
10
作者
黄明
杨大志
李宪章
机构
吉林工学院计算机及电子工程系
出处
《吉林工学院学报(自然科学版)》
1990年第3期95-99,共5页
基金
青年科技基金项目"PROLOG语言检测工具"的一个子项
文摘
本文首先介绍了PROLOG检测工具的研究现状.作者针对PROLOG语言的特点.提出了一种对PROLOG进行矛盾检测的算法,并用Turbo C语言实现了该算法.该算法作为一种PROLOG检测工具已被合并到Turbo PROLOG系统盘中.
关键词
检测工具
PROLOG
软件工程
软件测试
矛盾检测算法
逻辑程序设计语言
Keywords
testing
PROLOG
algorithm
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
动态模糊逻辑程序设计语言编译器的实现
赵小芳
窦全胜
姜云霄
《吉林大学学报(信息科学版)》
CAS
2023
0
下载PDF
职称材料
2
一种动态模糊逻辑程序设计语言
赵小芳
张勇
《计算机时代》
2007
1
下载PDF
职称材料
3
动态模糊逻辑程序设计语言探讨
赵小芳
王玉玲
《计算机与现代化》
2007
0
下载PDF
职称材料
4
动态模糊逻辑程序设计语言的指称语义
韩小芬
李凡长
《计算机科学》
CSCD
北大核心
2009
2
下载PDF
职称材料
5
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
赵小芳
范辉
《计算机应用与软件》
CSCD
北大核心
2008
0
下载PDF
职称材料
6
基于VC++和Prolog语言混合编程的专家系统框架
陈慧萍
韩冬
苗新蕊
《计算机工程与设计》
CSCD
北大核心
2007
3
下载PDF
职称材料
7
受限的proflog语言及其表推演过程语义
陈荣
孙吉贵
姜云飞
《广西师范大学学报(自然科学版)》
CAS
2003
1
下载PDF
职称材料
8
基于ESTA的电力设备状态评估专家系统
崔奇明
《电力系统及其自动化学报》
CSCD
北大核心
2008
10
下载PDF
职称材料
9
Turbo Prolog系统盘的剖析与改进
黄明
杨大志
李宪章
《吉林工学院学报(自然科学版)》
1990
0
下载PDF
职称材料
10
一种对PROLOG进行矛盾检测的算法
黄明
杨大志
李宪章
《吉林工学院学报(自然科学版)》
1990
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部