论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
研究了非单调优先推理系统P和累积单调推理系统CM，以及模糊命题演算的形式演绎系统L^*，在L^*系统中定义了后承关系|～：A|～B当且仅当A^2┠B，证明了在L^*系统中的这种后承关系满足累积
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金资助项目(10471083),,陕西师范大学重点科研基金资助项目(995130)
其他文献
温室白粉虱是设施蔬菜栽培的重要害虫之一．为筛选适合的烟剂主剂，进行了防治温室白粉或效果试验．结果显示，5种主剂配制成的烟剂对温室白粉虱均有较好的防效，其中25％扑虱灵可湿性粉
从一道力学试题出发,讨论了机械能守恒的条件,并深入研究了守恒规律的协变性要求.
介绍了蚁群算法的机理和算法过程,并应用其对异型螺旋槽管优化设计模型进行了优化设计,结果表明,基于蚁群算法的优化设计切实可行,为复杂的机械优化设计提供了新的思路和方法
提出一个新的可验证动态秘密分享方案，其安全性基于离散对数与Diffie—Hellman问题的困难性假设．该方案有如下特点：(1)无需在秘密分发者与秘密分享者之间建立安全信道；(2)每个分
对连续重整装置板壳式换热器泄漏原因进行了分析,认为该换热器失效是氯化物应力腐蚀造成的.提出了有效的改进措施,对国产板壳式换热器应用具有借鉴意义.
介绍了某化肥厂碳黑洗涤塔因在升温过程中发生内部爆炸致使严重损伤所进行的处理过程。按当时对修复后仍带有超标缺陷的塔体的评估结论（该塔在操作工况下运行一个周期是安全的
目的探讨肛肠科术后病人的随访体会。方法对100例肛肠科术后病人在出院后第10天、一个月、三个月、半年等定期的随访。结果肛肠科术后病人出院后仍需要系统的康复理论的指导
采用化学方法将二乙醇胺接枝在双酚A型环氧树脂的骨架上，以冰醋酸作为中和剂，制备了改性水性环氧树脂。在大量的试验基础上，确定了最佳的合成配比及工艺条件。以此改性双酚A型环
分别用不同酒精浓度的土茯苓、苦参和白鲜皮提取液对金黄色葡萄球菌和白色念球菌进行抑茵试验,筛选最佳抑茵效果的酒精浓度,再以不同配比的土茯苓、苦参和白鲜皮混合物为原料