小五台山蜘蛛 张锋,彭进友,张保石 主编.pdf
本书对我国河北省小五台山国家级自然保护区蜘蛛类进行了较为详尽的报道，共收录该保护区蜘蛛31科283种。总论部分对蜘蛛区系研究概况、形态学、在该保护区的地理区系和垂直分布，以及生物学特性和经济意义进行了介绍；各论部分对该保护区蜘蛛的种类组成，以及各科、种的识别特征和地理分布等进行了
张锋
时序知觉研究.pdf
本书从心理学视角出发，既系统探讨了时序知觉的内涵与加工机制、实验范式与理论模型、影响因素与神经机制，又实证研究了启动对时序知觉的影响、反应偏向对时序知觉启动效应的影响、时序知觉启动效应的认知神经机制、情绪对时序知觉的影响以及聋人时序知觉的情绪效应。本书可增进我们对时序知觉的性
集成电路验证.pdf
本书从集成电路验证领域存在的问题出发，详细介绍数字电路和模拟电路验证方法，主要包括设计验证语言基础、模拟仿真验证、覆盖率检验方法、电路的形式验证、物理验证、SPICE仿真、低功耗设计和验证方法、低功耗验证技术实例、硅后验证等方面。全书紧密围绕工业界集成电路验证流程进行阐述，尽可能
设施蔬菜根结线虫防治基础与技术.pdf
本书共分7章，第1-5章是根结线虫防治基础部分，主要阐述设施蔬菜根结线虫发生现状、种类与分布、生物学特性和生态学特点，并揭示设施蔬菜根结线虫成灾机制；第6-7章是应用部分，主要论述根结线虫的预警和防治技术，率先建立了陕西设施蔬菜根结线虫预警系统，提出操作性比较强的蔬菜根结线虫绿色
低功耗集成电路.pdf
本书从多个角度对超大规模集成电路VLSI的低功耗设计方法进行介绍。首先，从SoC芯片的角度出发介绍大规模集成电路的低功耗来源、发展趋势及功耗的评估和验证，这部分对于理论和内容都是从数字电路系统级角度出发，针对当前大规模SoC芯片的最新技术和成果进行论述。其次，从微电子的固态电路设