查找

电子系统故障查找手册.pdf

本手册详细论述了几种主要电子系统(模拟式和数字式)故障的查找方法.全书分三大部分,共十五章.第一部分介绍查找故障所用的基本测试设备(包括万用表、函数发生器、频率计数器、示波器、频谱分析仪、逻辑分析仪和特征分析仪),以及查找故障的通用方法.第二部分叙述模拟电子系统(包括线性电源、开

形式化框架下置换和查找类算法的组装生成.pdf

  算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。  置换和查找是计算机学科中的两类特殊问题,可应用算法设计策略的灵活性使其算法更具多样性,算法生成的自动化程度难以提高。本书结合软件形式化方法PAR,