期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
带Rough相等关系词的Rough逻辑系统及其推理
被引量:
3
1
作者
刘清
郑非
+1 位作者
江娟
刘斓
《计算机学报》
EI
CSCD
北大核心
2003年第1期39-44,共6页
以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可...
以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .所以 ,经典逻辑中的隐含式 φ→ ψ被移至Rough逻辑中应当解释为R (d(φ) ) R (d(ψ) )∧R (d(φ) ) R (d(ψ) ) .经典逻辑中的等值式 φ ψ被移至Rough逻辑中应当解释为R (d(φ) ) =R (d(ψ) )∧R (d(φ) ) =R (d(ψ) ) ,其中d(F)是公式F的定义区域 ,它可能是可定义集 ,也可能是不可定义集或Rough集 .这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .文中建立了带Rough相等关系词“ =R”的Rough逻辑推理系统 。
展开更多
关键词
Rough相等关系词
Rough逻辑系统
推理
演绎推理
知识表示
人工智能
粗糙集理论
在线阅读
下载PDF
职称材料
基于C/S体系结构的电器生产企业管理信息系统
被引量:
12
2
作者
李强
周晓慧
《计算机工程与应用》
CSCD
北大核心
2001年第10期127-129,共3页
文章设计并实现了以C/S结构为基础的杭州河合电器有限公司管理信息系统,详细介绍了系统结构、系统功能模块划分和设计方法。
关键词
电器生产企业
管理信息系统
客户/服务器
体系结构
在线阅读
下载PDF
职称材料
微机环境下基于PVM的网络并行程序开发方法
被引量:
1
3
作者
胡维华
潘志庚
《计算机工程与设计》
CSCD
北大核心
1999年第2期57-62,共6页
并行虚拟机PVM是一种通用的网络并行程序开发环境,它可以把连网 的巨型机、大规模并行机、工作站以及微机作为一大型并行机使用,供人们开 发并行算法或运行并行系统。此文对PVM的基本情况和最新进展进行介绍,讨 论了基于PV...
并行虚拟机PVM是一种通用的网络并行程序开发环境,它可以把连网 的巨型机、大规模并行机、工作站以及微机作为一大型并行机使用,供人们开 发并行算法或运行并行系统。此文对PVM的基本情况和最新进展进行介绍,讨 论了基于PVM的网络并行程序开发方法,最后给出了具体的实例。
展开更多
关键词
软件开发
并行程序
PVM
微机
在线阅读
下载PDF
职称材料
题名
带Rough相等关系词的Rough逻辑系统及其推理
被引量:
3
1
作者
刘清
郑非
江娟
刘斓
机构
南昌大学
计算机
科学
系
杭州电子工学院计算机系
出处
《计算机学报》
EI
CSCD
北大核心
2003年第1期39-44,共6页
基金
国家自然科学基金 ( 60 173 0 5 4)
江西省自然科学基金资助
文摘
以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .所以 ,经典逻辑中的隐含式 φ→ ψ被移至Rough逻辑中应当解释为R (d(φ) ) R (d(ψ) )∧R (d(φ) ) R (d(ψ) ) .经典逻辑中的等值式 φ ψ被移至Rough逻辑中应当解释为R (d(φ) ) =R (d(ψ) )∧R (d(φ) ) =R (d(ψ) ) ,其中d(F)是公式F的定义区域 ,它可能是可定义集 ,也可能是不可定义集或Rough集 .这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .文中建立了带Rough相等关系词“ =R”的Rough逻辑推理系统 。
关键词
Rough相等关系词
Rough逻辑系统
推理
演绎推理
知识表示
人工智能
粗糙集理论
Keywords
Approximation theory
Boundary conditions
Inference engines
Logic design
Rough set theory
Theorem proving
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于C/S体系结构的电器生产企业管理信息系统
被引量:
12
2
作者
李强
周晓慧
机构
杭州电子工学院计算机系
杭州
电子
工学院
自动化
系
出处
《计算机工程与应用》
CSCD
北大核心
2001年第10期127-129,共3页
文摘
文章设计并实现了以C/S结构为基础的杭州河合电器有限公司管理信息系统,详细介绍了系统结构、系统功能模块划分和设计方法。
关键词
电器生产企业
管理信息系统
客户/服务器
体系结构
Keywords
Client/Server Structure, Enterprise Management, Management Information System
分类号
F426.63 [经济管理—产业经济]
在线阅读
下载PDF
职称材料
题名
微机环境下基于PVM的网络并行程序开发方法
被引量:
1
3
作者
胡维华
潘志庚
机构
杭州电子工学院计算机系
浙江大学CAD&CG重点实验室
出处
《计算机工程与设计》
CSCD
北大核心
1999年第2期57-62,共6页
基金
国家自然科学基金!"分布式环境下限时图形绘制技术的研究"资助课题
文摘
并行虚拟机PVM是一种通用的网络并行程序开发环境,它可以把连网 的巨型机、大规模并行机、工作站以及微机作为一大型并行机使用,供人们开 发并行算法或运行并行系统。此文对PVM的基本情况和最新进展进行介绍,讨 论了基于PVM的网络并行程序开发方法,最后给出了具体的实例。
关键词
软件开发
并行程序
PVM
微机
Keywords
Parallel processing
Parallel programming
PVM
Parallel algorithm
Distributed graphics
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
带Rough相等关系词的Rough逻辑系统及其推理
刘清
郑非
江娟
刘斓
《计算机学报》
EI
CSCD
北大核心
2003
3
在线阅读
下载PDF
职称材料
2
基于C/S体系结构的电器生产企业管理信息系统
李强
周晓慧
《计算机工程与应用》
CSCD
北大核心
2001
12
在线阅读
下载PDF
职称材料
3
微机环境下基于PVM的网络并行程序开发方法
胡维华
潘志庚
《计算机工程与设计》
CSCD
北大核心
1999
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部