论文部分内容阅读
采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出a-三I FMP上确界与a-三I FMT下确界的计算公式。
基于正则蕴涵算子的约束度分析
【摘 要】
：
采用正则蕴涵算子进行探讨,提出三I算法的约束度理论,并给出a-三I FMP上确界与a-三I FMT下确界的计算公式。
【机 构】
：
安康学院数学系,陕西师范大学数学与信息科学学院
【出 处】
：
科学技术与工程
【发表日期】
：
2011年14期
【基金项目】
：
国家自然科学基金项目（10871121）, 安康学院专项基金（AYQDZR200909）资助
其他文献
针对目前粪便处理中存在的主要问题,介绍某设计规模为100 m^3/d粪便处理厂的污水处理设计,包括污水处理工艺流程、建构筑物及设备设计参数等,并对5个月的工程调试数据进行分
＂学区化管理＂实施已近5年,在此期间,树勋大学区在市、区教育局的正确引导下,在实践中思考,在探索中突破,在研究中创新,形成了以＂学区管理制度化、学区教研统一化、学区活动一体
以某污泥干化焚烧项目的烟气脱硫系统为研究对象,在比较不同脱硫工艺基础上,论证了三级脱硫工艺组合的合理性。对烟气三级脱硫的综合成本构成因素进行了分析,对比计算了5种不
J2ME主要针对嵌入式类电子设备,是一种高度优化的Java运行环境。它是Java 2的一个组成部分,能够将Java语言与平台无关的特性移植到小型电子设备上,允许移动无线设备之间共享
在高中化学课堂上,往往都是通过教师在课上给学生们讲解化学知识,学生普遍不能轻易地接受。所以要新的化学教学方案中,可以捕捉生活中的化学现象与化学知识将其融入到化学课
新留节制分水闸地处莎车县恰热克镇境内,位于叶尔羌河西岸输水总干渠57＋700处,给新留渠和托克拉渠分水。通过对新留节制分水闸除险加固工程设计来阐述在处理四类闸时需要注意
总结了上海市建筑垃圾资源化的现状,梳理了建筑垃圾减量化的思路,分析了上海在建筑垃圾资源化利用方面存在的问题和困难,总结预测了建筑垃圾资源化的发展前景,提出通过提升建
设n为一正整数,am（n）表示n的m次幂补数。用解析方法研究了1/d（ak（n））与1/φ（ak（n））的均值分布性质,给出两个较强的渐近公式,完善了m次幂补数在数论中的研究和应用。
均衡发展是义务教育制度的本质要求，如何促进教育优质均衡发展，办人民满意的教育，成为一个重要课题。南关区教育局依托大学区管理模式，形成了“行政推动、优质带动、校际联动”的