数控加工程序的验证技术

数控加工技术已广泛应用于我国的航空工业及其它制造业。本文简要介绍了数控加工中一些常见的错误，并详细阐述了数控加工程序的验证方法及其特点。     

采用DSP的开关电源软件控制法

针对输出电压控制的局部延迟回路，提出了具有电流控制系统的开关电源软件控制法。在DSP软件上构建的控制系统，实际上是利用软件实行时间延时控制，故得不到所期望的电控制特性。为了解决这一问题，本文分别提出了三种方法，即用于延时补偿的电流推测法；用于实现电流控制的高速响应的高速电流控制法；用于消除电流偏差的输入直流电压推测法。为了验证这三种方法的有效性，采用DSP（TMS32C25）构建的控制系统对额定50W、24V、2．1A、开关频率140KHz的开关电源进行控制；开成了采样周期为开关周期5倍（35．6μs)的控制系统。实验结果表明：正常输出电压控制误差14．5mV以下，50／100％的负载急变时最大输出控制误差为60mV，输出电压恢复时间是0．8ms，此外，这种控制方法还具有良好的实用性。     

美航宇局公布DART卫星撞击事故报告

5月16日，美国航宇局公布了去年4月15日“自主交会技术验证”（DART）卫星与其交会目标、已退役军用卫星“多路径超视距通信”发生碰撞事故的调查报告概要。报告称．因推力器基于错误的导航数据而过多地点火工作，DART在完成交会前已用光增压氮气机动燃料。     

通用仪器接口总线标准及软件技术的发展

叙述了通用仪器接口总线标准和软件技术的现状和未来。介绍了ＧＰＩＢ、ＶＸＩ总线，程控仪器校准命令和虚拟仪器，给出了ＧＰＩＢ标准关系图，ＧＰＩＢ软件结构以及虚拟仪器框图。     

关于软件国产化的认识与实践

本文通过分析软件技术发展的特点,指出走软件国产化道路才是建立我国软件产业的根本途径。并提出了消化吸收国外软件、面向应用、稳定软件开发队伍的观点。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。