论文部分内容阅读
讨论了基于常见正则蕴涵算子的反向三I算法,给出了计算公式.
基于正则蕴涵算子的反向三I算法
【摘 要】
：
讨论了基于常见正则蕴涵算子的反向三I算法,给出了计算公式.
【机 构】
：
安康学院数学系
【出 处】
：
河南科学
【发表日期】
：
2004年期
【基金项目】
：
国家自然科学基金
其他文献
高等职业教育与现代产业发展之间存在着密切的关系,它们是共生系统。高等职业教育人才供给与现代产业发展的人才需求只有达到均衡,才能够满足现代产业发展对高技能人才的需要
目的 探讨矿化明胶海绵作为支架材料在骨组织工程应用中的可行性.方法 应用醋酸钙和磷酸钠试剂分别对可吸收明胶海绵用沉积(P)和微波炉法进行表面矿化,运用扫描电镜、X线衍
以江苏淮北与苏中地区主推品种徐稻3号为材料,对增大机插秧切块面积条件下,播种量、氮肥用量及运筹对机插稻产量形成的影响进行了研究.结果表明,增大切块面积可使机插稻空丛
目的 探讨FOCUS超声刀在初次甲状腺功能亢进(甲亢)手术治疗中的应用价值与技巧.方法 我科2008年12月至2010年12月行初次甲亢手术治疗病例262例,其中应用FOCUS超声刀手术138例
未知逻辑电路故障分析技术在芯片故障诊断、核心设备维护等方面有重要的作用,但工程实践中实现难度很大。针对这种情况,以组合逻辑电路芯片为例,详细分析了组合芯片引脚属性
体内许多器官,如肾、脑、肝等都可发生缺血/再灌注损伤(IRI).IRI后,细胞周期检验点将受损伤的细胞阻滞在相应的位置进行修复,若修复成功,细胞进入下一个周期,否则发生凋亡.在
目的:建立小鼠组织中KS0604的定量分析方法。方法:采用组织消化结合基于离子交换和反相分配原理的两步固相萃取法,并采用无胶筛分毛细管电泳技术测定小鼠组织中的KS0604。结
Objective: The aim of this study was to assess the differences in clinical appearance and prognosis of osteosar-coma between preadolescent and adolescent in Chi
等概性是随机性中的一个重要特性,频数检验是最常见的等概性检验方法.分析了传统频数检验的片面性,利用卡方拟合优度检验提出了全面进行等概性检验的测试组,分别是码元频数检
目的:考察奥硝唑注射液接瓶头孢唑肟钠注射液后溶液的稳定性,确保临床安全联用。方法:模拟临床两药联用、序贯输入的给药过程,配制不同质量比的配伍液,间隔一定时间对配伍液