论文部分内容阅读
进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论，提出了改进的积分交推理规则，给出了公式集Γ的n次发散度的估计式；同时在近似推理中引入了“相离度”概念，并给出了判定相离度为0的充分必要条件。
积分语义学中的积分相似度、伪距离与近似推理理论
【摘 要】
：
进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论，提出了改进的积分交推理规则，给出了公式集Γ的n次发散度的估计式；同时在近似推理中引入了“相离度”概念，并
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2002年1期
其他文献
通过对长武下孟村黄土剖面的野外考察和磁化率，粒度，吸湿水含量分析，探讨了该地区晚冰期以来气候变化规律，研究结果表明，该剖面较好地记录了新仙女木期（YD）和博令－阿勒罗德事件（BL＋AL）短
研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，进而导出了全体公式集上一种伪距离，并且证明
采用单因子试验和L9（3^4）正交试验设计对丹参糖蛋白的水提醇沉工艺及一般理化性质进行了研究，试验了料液比、提取时间、提取温度和盐浓度对丹参水溶性糖蛋白提取的影响．结果表明，
<正>自1964年Selzer和Wray首先描述奎尼丁晕厥系药物引起快速多形室速以来,其后又分别证实了Ⅰ类抗心律失常药物这种致心律失常作用,近20年来,由于新的抗心律失常药物不断问
在北欧斯堪的纳维亚半岛东部，有一个享誉世界的富裕岛国——瑞典。这里没有受过两次世界大战战火的劫难，900万人口生活在资源丰富、工业发达、环境优美的氛围中。
抢救有机磷农药中毒,在基层医院颇为多见。重度中毒者来势凶猛,病情险恶,文献报告死亡率高达50％。因此,迅速而有效地抢救重度有机磷农药中毒,已成为临床迫待解决的课题之一。
以表达人CTLA4Ig（hCTLA4Ig）的原核质粒为基础，采用限制性DNA内切酶，DNA连接酶等基因重组技术，构建了能表达该蛋白的真核质粒，ELISA法检出了受转染的真核细胞培养上清液中的蛋白表达