摘要：介绍了丽江2.4 m望远镜TCS sequencer程序设计及开发的过程,并且对程序的调试和运行情况进行了总结;同时还介绍了在该程序开发过程中学习到的Linux系统下编程的一些方法和经验。

摘要：根据加速器驱动次临界系统质子超导直线加速器样机(CAFe)对于低温垂测系统的要求,设计了2K超导低温垂测控制系统。该系统的主要难点之一是用简单可靠的方式实现2K过程控制,二是对回温过程中杜瓦内压强的控制。为了解决这两点,本工作使用实验物理与工业控制系统中的集成包sequencer实现了对气体置换、腔体降温等顺序过程的控制,能够方便实现多种流程控制。对于回温过程,使用可编程逻辑控制器等部件作为硬件控制部分,使用模糊PID控制加热器来稳定杜瓦内压强,相较于传统的PID能够实现更小的响应时间和超调量,最终为实现2K超导低温垂测控制系统提供了可行高效的解决方法。

摘要：引言验证最基本的目的在于测试被测对象DUT的正确性,其最常用的方法就是给DUT施加各种不同的激励,并观测DUT的输出结果,把此结果与期望值相比较,判断DUT正确与否。近年来,随着集成电路设计向超大规模发展,芯片验证工作变得越来越复杂和困难,根据许多业内文献报道,验证的工作量已经占到整个芯片开发的70%左右,因此提高芯片验证的效率已变得至关重要。