摘要：
三相电路 对称三相电源 两种连接方式 星形连接和三角形链接 对称三相电源与对称三相负载 线电压/流 与 相电压/流 的关系 计算 详见教材P306 三相电路的功率 二表法中功率表怎么看？ 以W1为例：电流看表所在线：W1表体画在A线上，测iA ；电压看两端搭在哪： 从W1引出两条线搭在AC，测UAC 阅读全文
摘要：
补码相加时的溢出判断 两种方法 例题 阅读全文
摘要：
java基础常见面试题17道 https://zhuanlan.zhihu.com/p/94095050?utm_source=ZHShareTargetIDMore&utm_medium=social&utm_oi=991597248878329856 阅读全文
摘要：
不确定性推理方法 不确定性推理中的基本问题 可信度方法 组合证据不确定性的算法 证据理论 概率分配函数 （信任函数又称下限函数） 似然函数 （似然函数又称上限函数） 例题 阅读全文
摘要：
归结演绎推理 前置知识 将谓词公式化为子句集 以例题演示步骤 谓词公式不可满足的充要条件是其子句集不可满足 子句集是不可满足的，等价于其全部子句的合取式是不可满足的 鲁滨逊归结原理 基本思想 定理 例题 归结反演 基本步骤 例题 阅读全文
摘要：
产生式和框架表示法 产生式 产生式与谓词逻辑中的蕴含式的区别 框架 一般结构 框架表示法的特点 阅读全文
摘要：
一阶谓词逻辑表示法 命题 一个非真即假的陈述句 谓词 一般形式：P(X1, X2, ..., Xn) P是谓词名，X是个体 个体可分为： 个体是常量： 个体是变元： 个体是函数：（个体到另一个体的映射） 个体是谓词： 谓词公式 连接词 合取 ∧ （与） 析取 ∨ （或） 否定 ﹁（非） 蕴含 →（若 阅读全文