江丕权 吕其诚 杨丰 陈超 于锁利 齐振东

模态 转子 推理矩阵 析取范式 阴阳五行 推理路径 结点序 搜索 补关系图 二元关系 阻尼器 流图结构 MLCA算法 规则基 动态逻辑 卡式积 构造穹举法 扩展树算法 命题 振动 复杂度 巨项 模糊逻辑 子句集

黑龙江大学计算机科学系 黑龙江大学计算中心 黑龙江大学数学系 黑龙江省电子工业学校 工程力学系