论文部分内容阅读
讨论了FMP，FMT问题的反向三Ⅰ支持算法解的存在性和惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式．进而将问题一般化，给出了FMP与FMT问题的α-反向三Ⅰ支持算法解的存在惟一性条件，并得到了基于这些蕴涵算子的α-反向三Ⅰ支持算法相应的计算公式．
基于某些常见蕴涵算子的反向三Ⅰ算法
【摘 要】
：
讨论了FMP，FMT问题的反向三Ⅰ支持算法解的存在性和惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式．进而将问题一般化，给出了FMP与FMT问题的α-
【机 构】
：
内江师范学院数学系,北京师范大学数学系
【出 处】
：
自然科学进展
【发表日期】
：
2005年4期
【基金项目】
：
国家自然科学基金(批准号:60174013)教育部博士点基金(批准号:20020027013)教育部科学技术重点项目(批准号:03184)国家重点基础研究发展规划(批准号:2002CB312200)资助项目
其他文献
目前，硬核白内障手术治疗是白内障手术中难度最大、风险最大的一种手术，而我国最新研发的微切口超声乳化术对硬核白内障的治疗有着明显的效果。本文主要通过分析硬核白内障的临
宽边界区域是一种通用的处理各种不确定性的模型,在地理信息领域得到了广泛应用.扩展九交模型用宽边界区域的内部、宽边界和外部所形成的9个交来区分宽边界区域的拓扑关系.由于扩展九交模型只是一个概念模型,从概念上对宽边界区域拓扑关系进行查询语句定义和分析,而在计算机处理中需要一个可计算的模型.对于简单宽边界区域,其计算方法比较简单;而对于复杂宽边界区域,由于其结构的复杂性,必须有一个可计算的模型以实现拓扑
目的:通过在内科护理教学中应用案例教学法,探究其在临床护理教学的价值,从而为内科护理的教学方法的改革提供建议.方法:随机选取长沙卫生职业学院级2016级三年制大专护理方
分数阶Fourier变换是一种统一的时频变换工具，由于其具有的一个自由参量，能够为信号分析提供更多的选择．文中首先对分数阶Fourier域采样理论作了简单回顾，给出了更为简洁易懂的推
综合分析了考古文化、史料及古气候3个方面的资料,证明在6000BC,4000BC及2000BC有3次大范围的干旱期,而在2100—2200BC,2600—2900BC及4400—5400BC有3个洪水期．6000BC的干旱
山东省是我国农产品流通大省,＂十二五＂期间,山东将新规划建设农产品批发市场180个,进一步增强农产品流通能力。
目的:分析与解决血小板仪器法异常报警问题.方法:对近年来出现五种不同类型报警情况与手工计数对照分析.结果:有的放矢解决遇到的报警问题.结论:检验工作者提高检测水平,发现
通过构建粟酒裂殖酵母核小分子RNA的cDNA文库,发现并鉴定了两个新的非编码RNA,分别命名为Sp15-70和Sp18-61.生物信息学分析揭示这两个RNA均具有典型的box H/ACA snoRNA二级结
冷藏条件下，采用0．02mm厚的聚乙烯袋（PE）薄膜和0．04mm厚的低密度聚氯乙烯（PVC）薄膜为包装材料贮藏阿巴特梨，研究了自发气调包装（MAP）对果实生理变化的影响。结果表明：MAP贮藏可有效抑制
目的：探析64排CT在颅脑肿瘤临床诊断中的影像特征。方法：从我院2015年5月-2017年5月期间收治经手术病理确诊的颅脑肿瘤患者中抽取40例，用随机数字法分两组，每组各20例。对照组采