期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
动态模糊逻辑程序设计语言的指称语义
被引量：
2
1
作者
韩小芬
李凡长
《计算机科学》
CSCD
北大核心
2009年第1期153-157,共5页
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计...
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。
展开更多
关键词
动态
模糊
逻辑
动态模糊逻辑程序设计语言
指称语义
在线阅读
下载PDF
职称材料
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
2
作者
赵小芳
范辉
《计算机应用与软件》
CSCD
北大核心
2008年第8期136-137,146,共3页
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序...
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。
展开更多
关键词
动态
模糊
逻辑
动态模糊逻辑程序设计语言
结构化操作语义
在线阅读
下载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
职称材料
题名
作者
出处
发文年
被引量
操作
1
动态模糊逻辑程序设计语言的指称语义
韩小芬
李凡长
《计算机科学》
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
2
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
赵小芳
范辉
《计算机应用与软件》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
