切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
逻辑系统UL的广义H-赋值
逻辑系统UL的广义H-赋值
来源 :计算机科学 | 被引量 : 0次 | 上传用户:guogangw1987
【摘 要】
:
研究了Schweizer-Sklar T-范数(本文讨论p<0的情况)及其剩余蕴涵的性质.以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值
【作 者】
:
张小红
何华灿
【机 构】
:
西北工业大学计算机学院
【出 处】
:
计算机科学
【发表日期】
:
2005年11期
【关键词】
:
逻辑系统UL
广义H-赋值
Schweizer-Sklar
T-范数
可靠性
赋值
广义
UL
逻辑系统
可靠性定理
Logic system UL
Gene
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了Schweizer-Sklar T-范数(本文讨论p<0的情况)及其剩余蕴涵的性质.以此为基础,对泛逻辑基本形式系统UL中的H-赋值进行了拓广,引入了广义H-赋值概念,证明了UL在广义H-赋值之下可靠性定理成立.
其他文献
基于语言转换工具的遗产系统移植方法
解决遗产信息系统问题有三种策略:重新开发、封装和移植.由于前两者存在较大的缺陷,移植策略成为了重要的研完和应用领域.本文分析了目前已有的遗产系统移植方法的不足和未解
期刊
移植方法
遗产系统
转换工具
语言
信息系统
应用领域
过程模型
可操作性
灵活性
代码
Migration
Legacy systems
Data mig
中信实业银行正式更名为中信银行启动战略调整
近日,中信实业银行正式更名为“中信银行”。银行改名后最大的变化,在于向零售银行业务的战略性调整。
期刊
中信银行
银行业务
战略性调整
体制改革
支票图像在银行应用渐成主流
支票图像是否已成主流并且是未来的方向呢?这在5年前是不敢设想的事情,而时至今日已成为现实.在我国,很多商业银行都已开始尝试使用支票图像,支票图像的应用也从后台逐步走到
期刊
支票图像
银行
金融行业
管理信息系统
新时期档案管理工作规范化的新途径
随着我国院校的不断改革与发展,档案管理工作越来越得到人们的重视。档案管理是单位管理工作中的一个重要组成部分,它是保证一个单位有序运转的一个重要保证。企业在发展的过
期刊
档案
管理工作
规范化
新途径
变时长变速XYZ视频编码
将数字视频序列可以看作是从模拟视频信号中抽样得到,帧间相关性过强是由于采样过密造成的;而帧间相关性太弱是由于采样频率太小造成的.本文从采样定理的角度提出变时长变速X
期刊
视频编码
帧间相关性
采样频率
通信技术
图像信息
Discrete cosine transform
Video coding
Variant rate
甲骨文发布最新内部控制管理软件
期刊
甲骨文公司
内部控制管理软件
审计公司
ORACLE
INTERNAL
CONTROLS
MANAGER
湿法脱硫系统和湿式静电除尘器中砷分布及形态分析
煤炭燃烧造成煤中As释放,进入到湿法脱硫(WFGD)系统后可转移向石膏,导致石膏在下游生产利用过程中存在一定释放风险。因此,明确WFGD系统内As的含量分布和形态分布至关重要。
期刊
WFGD
WESP
砷
含量
形态
WFGD
WESP
As
concentration
species
浅谈如何配置内联网域名服务
随着人行内联网升级改造工程的顺利完成,各级人行都在建设本部门的网站,但如果想畅游内联网,却只能依靠内部网站的导航或IP地址.若各行都配置好自己的域名服务,那我们就不必
期刊
域名服务
内联网
DNS
配置
IP地址
网站
内部网
部门
工程
建设
县级融媒体中心建设困难及策略研究
县级融媒体中心建设是打通治国理政"最后一公里"的重要手段。本文旨在分析县级融媒体中心建设的意义、现存的困难以及探讨解决的策略,主要从这三个维度来为融媒体中心建设提
期刊
县级融媒体中心
媒体融合
建设策略
VB.NET中用数据库对象访问数据库的基本方法
Visual Basic.NET是微软新一代面向对象的编程语言.在VB.NET中,我们可以使用DAO、ADO、ADO.NET三种比较常用的数据库对象来访问数据库.当然,最好使用ADO.NET,因为它是Microso
期刊
数据库对象
访问
数据库
面向对象
VB.NET
编程语言
ADO
应用程序
与本文相关的学术论文