节点文献
针式打印机典型故障排除
The Global Properties of Valid Formulas in Modal Logic K
【摘要】 本文对针式打印机的结构进行了详细分析，以此作为排除典型故障的理论依据，分别给出了几个典型故障现象的分析、排除方法。
【关键词】 针式打印机；
打印头；
字车；
步进电动机；
驱动电路；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
【Key words】 Modal logic system K； global property； tableau method； automated reasoning；
- 【文献出处】 计算机应用研究 ,Application Research of Computers , 编辑部邮箱 ,1996年06期
- 【分类号】TP334
- 【下载频次】11