基于共享内存的数据交换技术及其在ATE测控程序开发中的应用

以LabWindows/CⅥ为基础,介绍了基于共享内存的数据交换技术及其在测控软件开发过程中的应用.实践证明,利用这些方法可以大大提高测控软件的开发效率,降低因程序错误而导致的ATE硬件及UUT损坏的可能性.     

机载设备自动测试系统通用开发平台

针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选型、适配器设计、测试程序生成等.设计结果会传递到平台提供的ATS运行环境,供用户进行被测设备的测试、故障诊断.经实例验证,ATS软硬件联合自动设计技术可缩短开发周期,降低开发成本,提高设计的标准化、通用化程度.      

基于PERT网络的航空弹药保障人员优化配置

针对航空弹药保障效率和可靠性要求高的问题,在分析保障流程的计划评审技术（PERT,Program Evaluation and Review Technique）网络图中各工序对任务完工影响程度的基础上,提取了工序关键度指标和重要度指标以及各方案下的按期完工概率,建立了保障人员配置方案评价指标体系,表示为评价函数形式.以基于蒙特卡洛方法的PERT网络仿真为核心,选择在遗传算法进化寻优框架下构建优化模型,该方法不仅得到了最优的保障人员配置方案,而且评估了需要注重的关键工序.算例实验证实了其有效性与实用性.      

中国探月工程

"嫦娥4号"于2019年1月3日成功实现人类航天器首次在月球背面软着陆,"玉兔2号"月球车率先在月背刻上了中国足迹。至今,国际月球探测活动共实施126次,期间出现两个探月高潮。20世纪50—70年代,美苏两个航天大国之间的竞争引起第一轮探月高潮。20世纪末至今,各航天国家意识到月球探测的战略意义,纷纷提出月球探测计划并积极实施,月球成为各国争先探测的热点,掀起第二轮探月热潮。中国自2004年首次绕月探测工程立项实施以来,共开展了"嫦娥1号""嫦娥2号""嫦娥3号""嫦娥4号"及再入返回飞行试验共5次月球探测任务,实现"五战五捷",在空间技术、空间科学与应用、国际合作等方面取得了非凡成就,积累了丰富的经验,后续将继续开展以无人月球科研站为主的月球探测活动。     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

新亚欧大陆桥的态势分析及其对江苏经济发展的作用

介绍了新亚欧大陆桥的概况，分析了它的态势，认为它的美好前景少则二三年多则三五年即可实现。它为江苏经济发展提供了新的机遇。例如改善了江苏省发展外向型经济的地理区位条件，提供了西向中亚、西亚和欧洲进出口的唯一陆上通道，加强了江苏与我国中、西部地区的经济联系与合作；特别是；连沂徐经济带将因大陆桥而迅速崛起，它是加快苏北发展的契机，东方桥头堡连云港将发挥龙头作用。本文呼吁抓住契机，提出了若干建议。     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

基于宏程序的外球面粗精加工

目前,小内存的数控机床仍然是我国机床的主流,使加工程序变得简洁,对实际加工有着很重要的意义.宏程序的应用可以大大简化编程,本文通过实例介绍了数控铣削加工外球面的宏程序.     

死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...