基于完备BR0-代数的全蕴涵三Ⅰ算法

来源 :数学研究与评论 | 被引量 : 0次 | 上传用户:buyaodiua1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.
其他文献
目的 探讨早期血乳酸清除率对严重脓毒症与脓毒性休克患儿预后评估的价值.方法 选择2008年7月至2009年11月我院PICU收治的严重脓毒症、脓毒性休克32例患儿为研究对象,采用早
经济法是国家管理社会经济的规则,体现了公共利益或国家利益。20世纪以来很多国家赋予经济法以域外效力,而传统国际私法的冲突规范指引的准据法不含括公法,一国法院通常不愿
传统法律文化对于和谐社会建构具有复杂的作用。在传统法律文化之中,既存在促进和谐社会建构的因素如强调和谐的思想也存在阻滞和谐社会建构的因素。阻滞和谐社会建构的传统
By using the averaging technique, we obtain new oscillation criteria for second order delay differential equation with nonlinear neutral term. These results gen
犯罪客体是犯罪构成中的重要范畴.学者们对犯罪客体持不同观点.伴随着对犯罪客体本质含义的不同认识,也引起了犯罪客体在犯罪各构成地位的问题争论.但是,在法治日益彰显的今
汽车安全一直是倍受关注的问题。随着汽车工业的飞速发展,行驶中的汽车自身安全已越来越引起了汽车制造商们的重视。现代汽车安全系统包括主动安全系统和被动安全系统,其中主动
简要分析影响沥青混凝土路面使用寿命的因素,并采取相应的预防措施。 Briefly analyze the factors affecting the service life of asphalt concrete pavement, and take a
在2011年广州车展上,长城汽车公司宣布长城哈弗将代表中国汽车第三次参加“2012年达喀尔拉力赛”。本次长城汽车将派出第三代哈弗SUV达喀尔赛车参赛,6辆后援车支持本次比赛。
作为赛车场上的非汽车品牌,红牛在赛车运动中凭借“专心、专注、专业”的精神,在职业赛场上的各项顶级赛事中叙写冠军辉煌,更凭借线下活动的开展,拉近了普通车迷和赛车之间的
目的 对组织工程生物可降解支架材料进行力学分析.方法 建立了一种组织工程肌腱支架材料的三维模型,用有限元数值分析方法,对所建模型在不同载荷情况下的受力状况进行了计算