框架可靠性相关论文
介绍了水空中冷器安装框架运行开裂后的失效模式分析过程,对造成开裂失效的各种影响因素作了分析与验证,根据失效机理可知，存在两种......
首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。其次，我们引入邻域语义，给出EK1-EK3的特征公理和规则的框架条件，证明EK1-EK......
首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理......
