期刊文献+

导体发热预警系统

下载PDF
导出
摘要 较为详细地讨论了导体发热、温度采样、数据比较到远传报警等整个预警系统的工作过程,并以实例分析出导体发热对系统运行的危害,用自动装置来取代人工观察的优点等,从而指出整个系统更适应电力系统安全运行的需要。
作者 闵卫新
出处 《上海电力》 2000年第6期37-38,共2页 Shanghai Electric Power
  • 相关文献

参考文献5

  • 1Fitting M. First-order Logic and Automated Theorem Proving. New York: Springer Verlag, 1996.
  • 2Fitting M. Types and Tableau. New York: Springer Verlag, 2000.
  • 3Beckert B, Pape C. Incremental Theory Reasoning Methods for Semantic Tableaux. Italy, Springer. 1996:93-109.
  • 4Beckert B. Semantic Tableaux with Equality. Journal of Logic and Computation, 1998,(1) : 39-58.
  • 5Beckert B,H?hnle R. Analytic Tableau.In:Bibel W,Schmitt P H(Editors), Automated Deduction-A Basis for Application,Kluwer. 1998.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部