切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式系统UL的弱完备性
形式系统UL的弱完备性
来源 :计算机科学 | 被引量 : 0次 | 上传用户:xiaohan191420
【摘 要】
:
1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注.
【作 者】
:
张小红
何华灿
李伟华
【机 构】
:
西北工业大学计算机科学与工程系,西北工业大学计算机科学与工程系
【出 处】
:
计算机科学
【发表日期】
:
2003年12期
【关键词】
:
人工智能
模糊集理论
模糊逻辑
推理模式
形式系统
UL
弱完备性
Universal logic
Formal system UL
UL-algebra
BC
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注.
其他文献
宽厚板车间计算机系统中数据流分析
本文应用数据流分析的方法,解析宽厚板车间从接受定单到产品出厂全过程中,各级计算机为达到厚板生产目标所起作用和信息处理方法,以及在做计算机系统设计应注意的问题。
期刊
宽厚板
计算机系统
数据流分析
轧钢车间
Wide and heavy plate
Computer system
微合金化高强度钢轧制采用的工艺技术
本文综述微合金化高强度钢轧制采用的工艺技术,其中包括热装热送、板坯加热、控轧控冷、快速冷却、采用的新设备等工艺技术。重点是生产低碳、高韧性、高强度、易焊接的造船用
期刊
高强度钢
轧制
工艺技术
微合金化
High strength steel
Rolling
Process technology
自适应多位变异遗传算法的实现
Genetic algorithm is a widely used optimization method. Crossover and mutation are two Basicl operatorsof the genetic algorithm. On the basis of analyzing the p
期刊
自适应多位变异遗传算法
搜索算法
搜索性能
随机数
Adaptive multiple bit mutation genetic algorithm
Cros
一种工程图中圆的整体识别方法
1 引言工程图的识别仍是未解决的技术之一。利用现有的设备,可以把设计好的工程扫描输入计算机,对图像进行处理后,如何对工程图像进行存档和重新绘制是一个非常重要的课题。由于图像的信息量大,需占用大量的存储空间。因此,将图像转换为其它形式的信息加以存储,例如把图形的信息转换为矢量信息进行存储,即对工程图的图像进行识别具有重要的意义。
期刊
工程图
图像处理
图像识别
圆整体识别方法
计算机
矢量化
Global recognition
Engineering drawing
Circle
Dire
基于CART技术的汉语韵律短语分析
<正> 韵律短语分析是文语转换(Text-to-Speech,TTS)系统中的一项重要内容。它负责在输入文本的不同位置上,标记上不同级别的符号形式的韵律短语边界,从而把一个句子分隔成不
期刊
自然语言处理
信息处理
汉语韵律
短语分祈
CART
人工神经网络
文语转换系统
Text-to-speech
Prosodic phrasing
CART
新一代开放系统核心架构研究——公共Agent请求代理体系结构CARBA
1新一代开放系统八十年代中叶计算机技术界出现了"开放系统"这一名称.在随后的商战中,开放系统日显其威力.高举此旗的厂商日趋兴旺,而反其道者日益衰落.此时用户所面临的困惑
期刊
开放系统
CARBA
公共Agent请求代理体系结构
互操作性
人工智能
计算机网络
网络负载
Open system
Interoperability
C
MPI(消息传输界面)的标准化与我国的对策
一、消息传输界面的提出众所周知,计算机的网络化成为当今计算机科学技术发展的不可阻挡的潮流,计算机的网络化形成了并行计算和分布式计算的环境.这些计算环境,旨在大大提高
期刊
消息传输界面
MPI
标准化
并行计算
分布式计算
计算机网络
Message
Passing
Interface
面向移动计算的数字水印技术研究
1引言随着无线互连的不断发展,移动设备的使用越来越普遍,在移动设备上开发的服务项目更是日益丰富.以前移动设备只能提供文本服务,例如短信息;如今多媒体服务的不断涌现,极
期刊
图像变换
移动计算
数字水印
图像处理
计算机视觉
Watermarking
Integer wavelet transform
Scalable codi
基于状态转换图的入侵检测模型STGIDM
近年来,计算机系统的安全问题日益突出,相应的安全防范技术也成为了人们研究的热点.入侵检测技术作为一种重要的安全技术,从80年代中期就已经引起人们的注意[1],与其它安全技
期刊
网络安全
状态转换图
入侵检测模型
STGIDM
系统调用序列
模式匹配
性能分析
Intrusion detection
State transition g
基于Minkowskey距离的模糊入侵检测方法研究
1引言由于互联网能够带来快速、便捷的服务和丰富、全面的信息,越来越多的企业、政府及个人加入到互联网.同时,互联网的安全成为个人、企业甚至国家都关注及迫切要解决的问题
期刊
入侵检测方法
模糊
距离
Intrusion detection
Minkowskey distance
Fuzzy discern
System transf
与本文相关的学术论文