期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于有向图的电路推理模型研究
1
作者 周平 杨浩泉 《计算机工程与设计》 CSCD 北大核心 2006年第17期3217-3219,共3页
电路仿真培训系统能够弥补实物培训设备的诸多缺陷,在电器设备操作及维修人员的岗位培训中发挥着重要作用。电路推理模型作为电路仿真系统的核心,目前多采用电路拓扑公式抽取方法来实现。该方法需人工分析电路的串并联关系,建立节点关... 电路仿真培训系统能够弥补实物培训设备的诸多缺陷,在电器设备操作及维修人员的岗位培训中发挥着重要作用。电路推理模型作为电路仿真系统的核心,目前多采用电路拓扑公式抽取方法来实现。该方法需人工分析电路的串并联关系,建立节点关联矩阵,因此建模工作量大。针对这一问题,提出基于有向图的电路推理模型,该模型直接从电路矢量图形出发,将其转化为电路有向图对象,在电路任意工作状态下搜索有向图的导通路径,给出合乎原理的工作状态演示。通过汽车电路仿真系统的实现,证明该模型的建模工作量小,运行可靠,尤其适合于复杂开关电路的仿真开发。 展开更多
关键词 有向图 电路推理 培训 开关电路 仿真
下载PDF
用AIG推理检验组合电路的等价性 被引量:3
2
作者 范全润 段振华 徐国培 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第5期877-884,共8页
大部分基于SAT的组合电路等价性检验方法是将两个待检验的电路组合成一个miter电路,将这个电路变换成CNF形式,然后调用一个SAT判定器来确定这个CNF是否是可满足的.但是,当miter电路被变换成CNF之后,就丢掉了电路的结构信息.针对这种方... 大部分基于SAT的组合电路等价性检验方法是将两个待检验的电路组合成一个miter电路,将这个电路变换成CNF形式,然后调用一个SAT判定器来确定这个CNF是否是可满足的.但是,当miter电路被变换成CNF之后,就丢掉了电路的结构信息.针对这种方法的不足,先假定miter的输出为1,然后从miter的输出端开始,回溯检查是否存在冲突来判定miter的可满足性.利用AIG的特点,把每个节点的四种输入组合归结为一种,从而使推理得到了简化.实验表明,此方法有更快的处理速度. 展开更多
关键词 组合电路 等价性检验 电路推理 与非图
下载PDF
Internal short circuit detection method for battery pack based on circuit topology 被引量:7
3
作者 ZHANG MingXuan DU JiuYu +4 位作者 LIU LiShuo SIEGEL Jason LU LanGuang HE XiangMing OUYANG MingGao 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2018年第10期1502-1511,共10页
Internal short circuit(ISCr) is one of the major obstacles to the improvement of the battery safety. The ISCr may lead to the battery thermal runaway and is hard to be detected in the early stage. In this work, a new ... Internal short circuit(ISCr) is one of the major obstacles to the improvement of the battery safety. The ISCr may lead to the battery thermal runaway and is hard to be detected in the early stage. In this work, a new ISCr detection method based on the symmetrical loop circuit topology(SLCT) is introduced. The SLCT ensures that every battery has the same priority in the circuit and every battery will contribute the same amount of short-circuit current to the ISCr once the ISCr happens. The ISCr battery could be identified by the combination of the ratio of the short-circuit currents and the sign of the short-circuit currents. The recursive least square method is adopted for the real-time application and the optimized ammeters allocation is derived from the mathematic deduction. The battery pack based on the individual DP(dual polarization) battery model is established to verify the ISCr detection method. The 1–1000 Ω s ISCr(the early stage ISCr) can be effectively detected within 1–125 s. The SLCT provides the possibility of new battery pack designs and new battery management methods. The proposed ISCr detection method shows excellent effectiveness and efficiency on the identification of the ISCr battery in the early stage. 展开更多
关键词 internal short circuit faulty detection lithium battery circuit topology battery pack safety
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部