切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一类剩余格上的三Ⅰ算法
一类剩余格上的三Ⅰ算法
来源 :计算机科学 | 被引量 : 0次 | 上传用户:wangdianxitong
【摘 要】
:
对三Ⅰ算法的应用范围进行了扩充,得出一类剩余格上的三Ⅰ算法,给出其上三Ⅰ算法P-还原的充分务件,并给出泛逻辑学在k=0.5且相同的h下,基于泛蕴涵的三Ⅰ算法.
【作 者】
:
马盈仓
何华灿
【机 构】
:
西北工业大学计算机科学与工程系,西安工程科技学院理学院
【出 处】
:
计算机科学
【发表日期】
:
2004年期
【关键词】
:
三Ⅰ算法
剩余格
伴随
【基金项目】
:
国家自然科学基金;
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对三Ⅰ算法的应用范围进行了扩充,得出一类剩余格上的三Ⅰ算法,给出其上三Ⅰ算法P-还原的充分务件,并给出泛逻辑学在k=0.5且相同的h下,基于泛蕴涵的三Ⅰ算法.
其他文献
谈公路桥梁工程施工存在问题及质量管理对策
随着时代的发展,我国交通事业得到了前所未有的发展,路桥工程作为我国重要的交通工程,其施工技术与质量的管控越来越受到重视。本文总结了桥梁施工项目控制要点,分析了桥梁工程施
期刊
公路桥梁工程施工
质量管理
问题
关于城市道路沥青路面裂缝成因及处治措施的探讨
随着经济的不断发展。对交通建设以及交通主要载体公路的建设要求越来越高,同样对城市道路的路面要求也是越来越高,而路面出现的裂缝情况很容易影响车辆的运行。文章主要对沥青
期刊
沥青路面
裂缝
主要原因
裂缝填封
处治措施
强化开放式公园管理的有益探索
本文简要分析了开放式公园在当前管理中所存在的现状及问题,并就这些问题提出了一些发展改革思路,如游客中心理念的建立,管理人员业务素质的提升等。
期刊
开放式公园
公园管理
发展探索
核实数据帮助下误差在反映线性模型经验似然降维推断
在核实数据帮助下,考虑误差在反映线性模型.半参数降维技术分别应用于定义β的渐近正态估计和β与其线性组合的被估计经验似然及调整经验似然. 我们分别证明被估计的经验对数
期刊
置信区间
渐近卡方
渐近正态
核实数据
Sno2+Sb203中间层的制备条件对Ti/SnO2+Sb2O3/PbO2阳极性能的影响
研究了聚合前驱体制备的SnO2+Sb2O3中间层的焙烧温度、锑含量对Ti/SnO2+Sb2O3/PbO2阳极性能的影响. 用XRD、ESEM和探针法对锡锑中进行了表征,应用阳极寿命快速检测法测定了Ti
期刊
中间层
二氧化铅
阳极
农业农村档案工作的实践与思考
农业和农村档案工作是关系到农业和农村经济社会发展、农民切身利益的一项重要的基础性工作。但由于历史文化传统、现实客观条件等诸多原因,农业农村档案工作相对于档案工作
期刊
农业农村档案工作
农村经济社会发展
实践
历史文化传统
服务民生
切身利益
客观条件
和谐发展
拥抱2011年
岁月如歌,光阴似梭,2011年的崭新岁月携着希望、机遇与挑战,走入我们每个人的生命里程。2011年是不平凡的一年,是中国共产党成立90周年,是"十二五"时期的开局之年,既是明日的开
期刊
中国共产党
人的生命
承前启后
十一五
新农村建设遐想之我的家乡
农村建设一直是国家建设中不可或缺的部分,作为农村子弟的一份子,为家乡的建设献计献策我们是责无旁贷,这次调查我们采用交流的方式,并与理论相结合,提出了我们自己的建议与设想。
期刊
社会主义
新农村建设
家乡建设
以禅入书说弘一
传奇一生弘一法师其父李世珍是前清进士,官至吏部主事,又是天津最大盐商,与“北洋大臣”李鸿章同年会试并为挚友。出于传宗接代的需要,68岁的李世珍纳妾生下了幼子李叔同。李
期刊
弘一法师
书说
传宗接代
书法篆刻
李叔同
禅
李鸿章
进士
加大惩治腐败力度保障社会和谐稳定
在经济社会快速发展的今天,腐败现象始终没有从根本上制止。为了有效的遏制腐败,巩固改革开放以来取得的成果,构建和谐稳定的社会,必须进一步加大惩治腐败的力度,才能保持社会的长
期刊
社会和谐稳定
惩治腐败
力度
保障
经济社会
腐败现象
遏制腐败
改革开放
与本文相关的学术论文