论文部分内容阅读
在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性。
布尔算子Fuzzy逻辑公式的λ—恒假性
【摘 要】
：
在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归
【机 构】
：
东北师范大学计算机科学系
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
1995年2期
其他文献
利用Ｈ－Ｅ染色方法，ＩＢＡＳ图像分析仪分析及微机处理技术对鸣禽栗Ｗｕ春秋季的性腺进行了形态学观察和比较，结果发现：鸣禽性腺在重量、体积、精细管和卵泡的最大平均直径以及内部结构组成上均具
我县的水稻生产主要以一季稻为主，常年种植面积23330hm^2左右，籼稻、粳糯稻面积约各占50％，其中优质水稻面积约占86％，总产17万吨左右。
对钨磷、钨硅、钼磷、钼硅四种Ｋｅｇｇｉｎ结构杂多蓝进行了细胞毒性实验，抑制ＭＴ－４细胞增殖试验及抗艾滋病毒活性实验，结果表明：Ｋｅｇｇｉｎ结构杂多蓝配合物具有较低的细胞毒性及较强的抗艾滋病病毒活性。
唐山市拥有199．3公里的海岸线，占全省的47％，有829．1平方公里的潮间带和2663．4平方公里的浅海水域，还有70个岛屿，海岸线长135．5公里，其中石臼坨岛为河北第一大岛，面积2．246平方公里。海洋
IFN是细胞和机体受到病毒感染，或者受核酸、细菌内毒素、促细胞分裂素等作用后，由受体细胞分泌的一种广谱抗病毒糖蛋白．具有种属特异性、作用广谱性及无害性等生物学性质。IFN不
加强少数民族干部队伍建设，努力培养造就一支高素质的少数民族干部队伍，既是贯彻执行党的民族政策和民族区域自治的需要，也是促进民族地区社会经济发展和增进民族团结的需要。
概述了我国测土配方施肥对实现农业可持续发展的意义,包括促进农业生产与农民增收、提高农产品品质与农业竞争力、发展循环经济、减少肥料污染、降低生产成本等内容。