论文部分内容阅读
针对王国俊教授提出的系统中的蕴涵算子给出FMP问题的三Ⅰ算法、反向三Ⅰ算法计算公式和FMT问题的三Ⅰ算法、反向三Ⅰ算法计算公式,并在此基础上提出了一定条件下的双向三Ⅰ算法.
基于含参量蕴涵算子的三Ⅰ算法
【摘 要】
：
针对王国俊教授提出的系统中的蕴涵算子给出FMP问题的三Ⅰ算法、反向三Ⅰ算法计算公式和FMT问题的三Ⅰ算法、反向三Ⅰ算法计算公式,并在此基础上提出了一定条件下的双向三Ⅰ
【机 构】
：
聊城大学,数学科学学院,山东,聊城,252059;聊城市规划建筑设计院,山东,聊城,252000;
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年24期
其他文献
推荐书目:《二胎时代》推荐理由孕育二胎,你心动了吗?怀孕是一个漫长的旅程,最初的期盼、孕吐的无助、孕检的紧张、大肚的不便、购物的烦恼、生产时的恐惧与疼痛……一路走来
咸阳民间刺绣是咸阳传统文化的重要组成部分。本文以咸阳民间刺绣为主题,分析了咸阳民间刺绣的现状,提出切实可行的刺绣民间文化保护和开发利用措施,对于民间刺绣的传承与发
又来到了Fun车队出游的日子,早上在集合地点集合完毕后,在领队彭叔一声令下后车队出发,正式展开为期二天一夜的活动。天气晴朗微凉,二三十辆路虎休旅车奔驰在高速公路上,周边
采用高温固相法制备了Sr0.96Al2O4:Eu0.02,Dy0.02,B0.08长余辉发光材料。利用XRD衍射仪、荧光分光光度计和亮度计分别研究两步退火工艺中初次退火温度对晶体结构、激发光谱、
期刊
对灌胃给予大鼠降香总黄酮后,进入体内的化学成分和Ⅱ相代谢产物进行了初步研究.采用酶水解的方法将Ⅱ相代谢产物水解为原型形式,以HPLC-DAD和HPLC-MS技术进行样品分析,采用
江西省建立“多个渠道引水、一个池子蓄水、一个龙头放水”的资金统筹整合使用新机制,统筹整合资金40亿元,用于推进高标准农田建设.rn统一资金筹措:统筹资金全部由省级统一筹
期刊
探索互联网+服务模式是现代公共图书馆发展的趋势,当前应当以互联网+为对象,在跨界融合的背景下实现公共图书馆资料服务的创新驱动,从而满足公共图书馆的建设需要,解决图书资