形式系统UL的弱完备性

来源 :计算机科学 | 被引量 : 0次 | 上传用户:xiaohan191420
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1引言自Zadeh[1]于1965年建立模糊集理论以后,一种初始形态的模糊逻辑也被提出[2].尽管模糊推理在模糊控制中有直接的应用,也受到模糊系统与人工智能学界的广泛关注.
其他文献
本文应用数据流分析的方法,解析宽厚板车间从接受定单到产品出厂全过程中,各级计算机为达到厚板生产目标所起作用和信息处理方法,以及在做计算机系统设计应注意的问题。
本文综述微合金化高强度钢轧制采用的工艺技术,其中包括热装热送、板坯加热、控轧控冷、快速冷却、采用的新设备等工艺技术。重点是生产低碳、高韧性、高强度、易焊接的造船用
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
1 引言工程图的识别仍是未解决的技术之一。利用现有的设备,可以把设计好的工程扫描输入计算机,对图像进行处理后,如何对工程图像进行存档和重新绘制是一个非常重要的课题。由于图像的信息量大,需占用大量的存储空间。因此,将图像转换为其它形式的信息加以存储,例如把图形的信息转换为矢量信息进行存储,即对工程图的图像进行识别具有重要的意义。
<正> 韵律短语分析是文语转换(Text-to-Speech,TTS)系统中的一项重要内容。它负责在输入文本的不同位置上,标记上不同级别的符号形式的韵律短语边界,从而把一个句子分隔成不
1新一代开放系统八十年代中叶计算机技术界出现了"开放系统"这一名称.在随后的商战中,开放系统日显其威力.高举此旗的厂商日趋兴旺,而反其道者日益衰落.此时用户所面临的困惑
一、消息传输界面的提出众所周知,计算机的网络化成为当今计算机科学技术发展的不可阻挡的潮流,计算机的网络化形成了并行计算和分布式计算的环境.这些计算环境,旨在大大提高
1引言随着无线互连的不断发展,移动设备的使用越来越普遍,在移动设备上开发的服务项目更是日益丰富.以前移动设备只能提供文本服务,例如短信息;如今多媒体服务的不断涌现,极
近年来,计算机系统的安全问题日益突出,相应的安全防范技术也成为了人们研究的热点.入侵检测技术作为一种重要的安全技术,从80年代中期就已经引起人们的注意[1],与其它安全技
1引言由于互联网能够带来快速、便捷的服务和丰富、全面的信息,越来越多的企业、政府及个人加入到互联网.同时,互联网的安全成为个人、企业甚至国家都关注及迫切要解决的问题