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