BEPCⅡ直线加速器重大改造和束流调试进展

BEPCⅡ直线加速器的重大改造旨在获得高流强、小发射度和小能散的正负电子束, 以满足对撞机亮度提高两个两级的要求. 这对直线加速器各系统和束流物理是一个挑战. 文章介绍了直接决定束流性能的新电子源、新正电子源、新微波功率源、相位控制系统和束流测量系统等的改造情况; 叙述了束流物理研究; 介绍了束流调试进展情况和进一步改进计划.     

高功率微波脉冲压缩储能谐振腔的测量与调试

储能谐振腔是高功率微波脉冲压缩系统实验的核心部件，精确测量有关储能腔参数，修正谐振腔尺寸，调整实验系统的微波参数，使储能阶段H—T的泄漏最小、谐振腔的储能效率达到最大是非常关键和必要的。介绍了L波段高功率微波（HPM）脉冲压缩谐振腔的微波参数的测量，并根据微波参数测量的结果对谐振腔进行了调整，使谐振腔的储能效果明显改善；分析了不同气体成分及充气气压与本征频率之间的关系及其抗击穿性，作为工作介质，SF6含量为30％-50％，SF6-N2混合气体综合性能较好的。     

关于连铸机仪控安装调试技术

以150万t不锈钢工程连铸系统的控制部分为研究对象,探讨了仪控安装调试的注意事项。     

空调施工常见问题分析

提出空调工程施工中及安装交工前设备和系统调试存在的问题,并指出空调试车和运行中的注意事项及相应改进方法。     

小方坯连铸机的安装与调试

通过对小方坯连铸机弧形段设备的安装、调试方法及精度进行了概括,提高了连铸机的安装精度、进度及热试车成功率。     

UNIX系统源语言调试器的分析

源语言调试器是程序员不可缺少的软件开发工具。本文从介绍UNIX系统程序调试的基本思想入手,较详细地分析了UNIX系统源语言调试器的实现,阐述了源语言调试器实现中的几个主要问题。     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。     

嵌入式软件调试器的设计与实现

嵌入式软件调试环境为嵌入式软件的开发提供了一个友好的软件调试平台．从一种新的角度探讨了一种面向嵌入式软件的调试环境，即基于嵌入式系统目标机机内调试器的嵌入式软件调试环境．介绍了一种面向程序设计语言的符号化调试技术，并重点剖析调试环境内核的设计与实现技术．     

一种智能化网线检测器的设计

网线在组网的过程中尤为重要，文章设计出一款经济实用的网线检测器，并精要地分析了其工作原理。     

Pvm并行调试器DPD中的时序处理

针对并行调试器中传统排序模型的缺陷，提出了一套改进的时序处理机制．该机制是在调试系统中加入一个全局记录器，被调试模块在需要事件记录时向全局记录器申请一个全局序号，这样并行模块的事件就被自然地串行化，从而实现了并行程序时序的完全排序．该方法大大简化了排序过程，给记录一重放技术以及动态分析技术提供了有力的支持。