论文部分内容阅读
研究了Schweizer-Sklar T-范数(本文讨论p＜0的情况)及其剩余蕴涵的性质.以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值之下可靠性定理成立.
逻辑系统UL的广义H-赋值
【摘 要】
：
研究了Schweizer-Sklar T-范数(本文讨论p＜0的情况)及其剩余蕴涵的性质.以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值
【机 构】
：
西北工业大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2005年11期
其他文献
解决遗产信息系统问题有三种策略:重新开发、封装和移植.由于前两者存在较大的缺陷,移植策略成为了重要的研完和应用领域.本文分析了目前已有的遗产系统移植方法的不足和未解
支票图像是否已成主流并且是未来的方向呢?这在5年前是不敢设想的事情,而时至今日已成为现实.在我国,很多商业银行都已开始尝试使用支票图像,支票图像的应用也从后台逐步走到
随着我国院校的不断改革与发展,档案管理工作越来越得到人们的重视。档案管理是单位管理工作中的一个重要组成部分,它是保证一个单位有序运转的一个重要保证。企业在发展的过
将数字视频序列可以看作是从模拟视频信号中抽样得到,帧间相关性过强是由于采样过密造成的;而帧间相关性太弱是由于采样频率太小造成的.本文从采样定理的角度提出变时长变速X
煤炭燃烧造成煤中As释放,进入到湿法脱硫(WFGD)系统后可转移向石膏,导致石膏在下游生产利用过程中存在一定释放风险。因此,明确WFGD系统内As的含量分布和形态分布至关重要。
随着人行内联网升级改造工程的顺利完成,各级人行都在建设本部门的网站,但如果想畅游内联网,却只能依靠内部网站的导航或IP地址.若各行都配置好自己的域名服务,那我们就不必
县级融媒体中心建设是打通治国理政"最后一公里"的重要手段。本文旨在分析县级融媒体中心建设的意义、现存的困难以及探讨解决的策略,主要从这三个维度来为融媒体中心建设提