论文部分内容阅读
对三I算法的应用范围进行了扩充，得出一类剩余格上的三I算法，给出其上三I算法P-还原的充分条件，并给出泛逻辑学在k=0．5且相同的h下，基于泛蕴涵的三I算法。
一类剩余格上的三I算法
【摘 要】
：
对三I算法的应用范围进行了扩充，得出一类剩余格上的三I算法，给出其上三I算法P-还原的充分条件，并给出泛逻辑学在k=0．5且相同的h下，基于泛蕴涵的三I算法。
【机 构】
：
西北工业大学计算机科学与工程系
【出 处】
：
计算机科学
【发表日期】
：
2004年5期
【基金项目】
：
国家自然科学基金(批准号:60273087)
其他文献
本文提出了一种高效的基于椭圆曲线密码体制(ECC)的可恢复电子支付系统,与传统的基于RSA及离散对数问题的电子支付系统相比,我们提出的系统所需安全参数字节较短且易于扩展,
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足.本文也简单地介绍了J.Pearl提出
安全模型是构造安全计算机系统的基础.到目前为止,已有多种公开发表的安全模型.本文总结了几种重要的早期安全模型,其中包括访问矩阵模型,HRU模型,BLP模型、格模型和无干扰模
研究了不同墩梁刚度比、不同桩基刚度下的门式墩结构盖梁、墩柱、桩基内力。根据墩梁刚度比变化引起的盖梁内力及墩身次内力,给出设计建议墩梁线刚度比;根据桩基刚度变化引起
FACT协议是一种网络设备中用来进行控制元素和数据转发元素分隔的协议.控制元素通过FACT协议在分布式的环境中以master/slave方式控制转发元素.本文先简单介绍了一下FACT协议
对安全政策灵活性的支持是现代安全操作系统追求的重要目标,安全政策格为安全政策灵活性的研究提供了一个很好的手段.本文通过分析DTOS项目的研究成果讨论安全政策格的基本思
研究了快速凝固/热压Al掺杂FeSi2基合金中的微观组织特征以及原位生成氧化物颗粒对热电材料电学性能的影响.结果表明,随着对快速凝固粉末氧化处理时间的延长,p型掺杂的β-FeS
给出体育计算的定义,按照应用研究领域综述体育计算的研究现状、需要进一步解决的技术问题和解决问题的思路.介绍了视频点播技术在大型体育赛会的应用现状,提出一种适合大型
传感器网络通常由大量的能量有限的传感器节点组成,利用无线通信技术从各个节点收集信息,在军事监视、环境监测等诸多方面有广泛的应用前景。如何高效利用传感器节点的能量而获得较长的生存时间是传感器网络需要解决的重要问题。数据融合机制利用节点的运算和存储能力,能够减少网络的数据传输量,是高效利用节点能量的机制之一。本文在简单介绍传感器网络的基础上,说明数据融合的作用和分类,重点分析目前提出的主要数据融合机制
本文对容错视频编码技术进行了分类概述.文章首先指出Internet视频通信中容错视频编码的必要性,并对容错视频通信系统的典型结构和基本思想进行了描述.然后文章对近年来出现