基于含参量蕴涵算子H(p,λ)的多种三Ⅰ算法

来源 :井冈山大学学报(自然科学版) | 被引量 : 0次 | 上传用户:cryingboy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于新的带参数的蕴涵算子H(p,λ)给出粘了FMP问题的三Ⅰ支持算法公式、α-三Ⅰ支持算法公式以及α-三Ⅰ约束算法公式.并详细证明了这些算法的正确性.
其他文献
随着我国档案事业的发展,档案从业人员数量急剧增加,但是档案职业队伍的素质却不能令人满意。在新形势下,档案业人才队伍的建设已经成为我国档案事业与时俱进的重要环节,为寻
随着国民经济的高速发展,天然气作为一种优质清洁能源,正迅速的被开发利用。以船运方式进口LNG在沿海各LNG接收站卸货登陆,再通过气化器气化后进人各终端用户已成为我国天然气利
让一束白光射到玻璃棱镜上,光线经过棱镜折射以后就在另一侧面的白纸屏上形成一条彩色的光带,其颜色的排列是靠近棱镜顶角端是红色,靠近底边的一端是紫色,中间依次是橙黄绿蓝
机电安装工程作为建筑施工项目中的一个重要组成部分,其施工质量直接影响到建筑物整体设备的安全运行、节能效果及建筑物投入使用后的使用功能,因此直接关系到该建筑的社会效
结合工程实例,通过盖梁支承受力验算、抱箍受力分析及设计,介绍抱箍法在桥梁盖梁施工中应用,可为今后同类工程施工提供参考。
微表处可以改善路面的使用性能,延长路面使用寿命,改善了沥青路面的高低温性能及抗磨耗性能,合理选择养护材料,提高路面服务质量及经济效益,本文就微表处的材料和施工技术进
众所周知,阅读试题是高考中的"重中之重",是教师和学生共同关注的焦点.从高考对学生能力的考察方面来说,阅读也是学生必备的能力,正所谓"成也阅读,败也阅读".阅读教学必须作
认知语言学运用原型范畴理论试图在形式句法和词法,句法和语义之间搭起桥梁,并在共通的概念基础上建立起联系.本文分析了原型理论进行了概述,并在此基础上对原型理论在英语语
本文通过对成都地区旅行社、酒店企业的管理人员和普通员工的问卷调研和个别访谈,分析了当前旅游行业的发展趋势和行业对旅游英语专业人才的需求特点,进一步明确了旅游英语专
多媒体阅览室作为网络环境下图书馆现代化的新兴事物,在学校的信息服务中越来越受到学生们的欢迎.作为一种以高科技手段为支撑的新兴阅览室类型,电子阅览室既有其显而易见的