论文部分内容阅读
针对Hα系统中的蕴涵算子给出了FMP和FMT问题的三Ⅰ约束算法计算公式.
基于含参量蕴涵算子的三Ⅰ约束算法
【摘 要】
：
针对Hα系统中的蕴涵算子给出了FMP和FMT问题的三Ⅰ约束算法计算公式.
【机 构】
：
聊城大学数学科学学院,聊城大学学报编辑部
【出 处】
：
河北师范大学学报：自然科学版
【发表日期】
：
2008年2期
【基金项目】
：
山东省自然科学基金（Y2003A01）
其他文献
本文根据山西煤矿矿床水文地质特征,介绍了与矿床关系密切的主要含水岩组的特性;指出了采煤前、后流域水循环的不同;进而分析了采煤引起流域环境水文地质条件变化,致使流域水
为探讨观看恋爱观察类节目对女大学生浪漫信念的影响,本研究对965名女大学生进行问卷调查,考察恋爱观察类节目对其浪漫信念的影响。结果发现,在观看过恋爱观察类节目的女大学
《最高人民法院关于适用<中华人民共和国公司法>若干问题的规定(三)》(以下简称《公司法司法解释三》)对股权代持行为作出了初步的规定,允许代持行为的存在。但在合同效力上
目的：观察薄氏腹针结合加味逍遥胶囊治疗中风后抑郁症的疗效。方法：100例中风后抑郁症患者随机分为治疗组与对照组各50例，治疗组采用薄氏腹针结合加味逍遥胶囊治疗，对照组口服盐
1.盘锦市盘山县沙岭镇段家村支部副书记刘铁柱违规操办子女＂升学宴＂问题。2017年8月13日,刘铁柱在黄沙农家饭庄违规操办子女＂升学宴＂7桌。刘铁柱受到党内警告处分。2.盘锦市大洼
1评估要素选择问题及解决方法1.1评估要素选择问题《地质灾害危险性评估技术要求》（试行）（国土资发[2004]69号,以下简称“技术要求”）中,地质灾害是指包括自然因素或者人为活动引
该研究运用简单统计与聚类分析的方法,以中药复方职务发明专利权人为研究对象,探究提升中药企业、中医药院校及相关机构的中药复方专利数量与质量同时构建优质高效的专利保护
社会经济的发展以及互联网技术的不断革新,促使新一代移动通讯技术与互联网产业的崛起,也相继引发了其它领域的变革与进步,电子政务便是诸多显著成果中的一个领域。随着政府部门的服务意识日益强化,公众参与公共治理的积极性越来越高,对公共服务也提出了更高的要求。政务APP的诞生成为政府优化公共服务的重要手段,在互联网技术的支持下,全国陆续启动从电子政务向移动政务转变的模式建设。相比传统的政府服务方式,政务AP
西江航运干线是我国华南地区横跨两广的水上运输大动脉。西江航运干线水路运输货运量近年来高速增长,去年经过长洲船闸的货运量已经达到1.32亿吨,与长江三峡船闸通过量基本持
背景:多囊卵巢综合征(Polycystic ovary syndrome,PCOS)在世界范围内的发病率约占育龄期女性的6-16%,且呈逐年升高的趋向,主要表现为卵巢多囊样改变、月经周期紊乱、不孕、高