【摘 要】
：
引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算
论文部分内容阅读
引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)| y∈Y}(∩){A(x)| x∈X}时,基于RL型蕴涵的三I算法为P-还原算法,当P表示条件{A(x)| x∈X}(∩){B(y)| y∈Y}时,基于RL型蕴涵的三I MT算法为P-还原算法.
其他文献
以PCl3为脱水剂 ,将邻氨基硫酚与水杨酸脱水环化合成出 2 (2 羟基苯基 )苯并噻唑 ,并进一步将所得产物与乙酸锌反应合成出 2 (2 羟基苯基 )苯并噻唑螯合锌 (Zn (BTZ) 2 )
现在进行体的用法多种多样,它不仅可以表示传统的正在进行的观念,而且也可以表示过去和将来;同时,不是所有类型的动词都有进行体,不同的类型的动词使用现在进行体时,其含义也
设A是一个有限维代数,R是A的对偶扩张代数.本文研究代数R的shod子范畴,A-模范畴D的倾斜对象与R-模范畴D的倾斜对象之间的关系以及R的反变有限的子范畴.
「こんにちは」是日语的寒暄语之一.在国内的日语教学中,不论是老师还是学生,都习惯地把"您好"或者"你好"译成「こんにちは」.其实,「こんにちは」并不完全等同于汉语中的"您
大学新生的阅读具有目的不明确性、娱乐性、消遣性和随意性。它迫切需要高校图书馆加强对大学新生阅读的引导。因此,图书馆应加强大学新生的入馆教育,使他们树立良好的阅读动
以甘露醇为原料合成了两个新的手性膦配体 ,并用这些新的手性膦配体和醋酸钯原位生成的催化剂体系催化苯乙烯的不对称氢甲酰化反应 ,当配体为手性膦氧配体 (DDPPIO)时得到S构
研究了在大气压氮气流中、不同激励电源电压条件下,具有单、双两种电介质层结构的介质阻挡放电装置的放电特性,利用CCD影像技术和放电电压-电流波形进行了分析和讨论.结果表
季节性产品定价具有不同于一般产品的特征 ;但是传统静态定价方法没有考虑需求的转移和时间价值因素 ,不同时期之间价差太大 ,从而导致更多的消费者推迟消费和社会投资的不足
目的 探讨粘附分子P-选择素与树突状细胞(DC)在大鼠单侧输尿管梗阻后肾组织中的表达和分布,以及抗P-选择素单抗的抗粘附调抑作用。方法 建立大鼠单侧输尿管梗阻(UUO)模型,随
为了简化双折射双频激光器的结构,减小激光谐振腔的调节难度,增强频差的稳定性,构建了一种以迭层式双折射膜系为双折射元件产生频率分裂的新型双频激光器.迭层式双折射膜系由