论文部分内容阅读
对三Ｉ算法作了进一步的推广，详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ涵蕴算子，Ｇｏｅｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ｉ算法的表达形式，同时给出了三Ｉ算法为Ｐ－还原的充分条件。
不同蕴涵算子下的三I算法
【摘 要】
：
对三Ｉ算法作了进一步的推广，详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ涵蕴算子，Ｇｏｅｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ｉ算法的表达形式，同时给出了三Ｉ算法为Ｐ－还原的充分条件。
【机 构】
：
陕西师范大学数学系
【出 处】
：
陕西师大学报：自然科学版
【发表日期】
：
1998年4期
【基金项目】
：
国家自然科学基金
其他文献
目的探讨低温持续机械灌注器（Life Port）在扩大标准供者（expanded criteria donors,ECD）肾脏的维护与评估中的作用及对移植预后的判断价值。方法回顾性分析吉林大学第一医院器官
文章介绍了自己在药理学会的工作历程，指出30年来，中国药理学会薪火相传，发展迅速，蒸蒸日上，充满活力、吸引力和凝聚力。历届理事会和全体会员团结协作，共同努力，使学会建设、学术交
图1所示的两种薄壁铝合金壳体,其结构为圆柱和圆锥形式,端框加蒙皮通过搅拌摩擦焊焊接而成。壁厚仅为3～5mm,内形有凹陷、凸台,外表面有各种开口。壳体的技术指标要求高,如表1
目的：探讨甘草总黄酮提取部位（LF）的抗抑郁作用及可能的作用机制。方法 Km 小鼠分别每天 po给予 LF 5，30和180 mg·kg-1，连续21 d，于第1天、第7天和第21天给药后1 h进行强迫游
龙门移动式加工中心是一种重型机床，具有加工范围大、切削力大等特点。适合大型零件的加工，随着零件加工工艺的发展，此机床也由单一面的加工能力向五面加工能力发展，发展至今更具
2009年3月13日，肆虐的寒流又一次浸透着北京的每一个角落，似乎全球金融风暴的寒风仍在考验着每一个人的神经。踏上三亚的土地，一股暖风迎面而来，绷紧的神经突然放松了许多，春天原
2009年是新中国建国60周年,2010年是本刊创刊60周年,在即将双双迎来新中国金属加工行业和本刊创刊60周年之际,《金属加工》从2009年开始,将以＂史话——中国金属加工60年＂为主线
DVD区码(Region Code)技术是1996年作为对DVD影音数据标准的重要补充,它是一种版权保护手段.该规范按地理范围将全世界划分为六大区:一区(美国、加拿大);二区(西欧、南非、日
2009年1～2月份由于国内外市场需求变化，机械工业生产和销售增速比2008年同期均有较大回落，产、销增速仅在2％以上，出口交货值和新产品产值同比呈大幅下降，有52种产品累计同比增长，为