Cantata＋＋C/C＋＋语言单元/集成测试工具

在软件测试领域，英国IPL公司的动态测试工具Cantata＋＋除了支持常用的打桩（Stub）能力之外，更创造性地开发了特有的“封装”（Wrap）技术，正是这种技术使得涉及系统调用，硬件访问等问题的集成测试成为可能。Cantata＋＋可以同时支持C和C＋＋语言的测试。     

电气工程图样绘制的内容及其规则

重点介绍电气工程图样绘制的内容，常用术语及其一般规则。可供专业教师及学生应用标准时参考。     

助航灯光巡检单元供电电源研究

对助航灯光监控系统中灯位巡检单元的电源获取方式进行了比较研究。就串联取电的线性电源和开关电源两种稳压方式进行了实验，实验结果表明：采用SEPIC变换的开关电源稳压性能完全满足助航灯光巡检单元供电电源技术要求，且具有高可靠性的优点。     

增强型整体-局部高阶理论四边形单元层合板自由边分析

基于增强型整体-局部高阶理论,构造了四节点四边形单元并分析复合材料自由边拉伸问题.本理论预先满足层合板面内位移和层间应力连续条件及层合板上下自由表面条件,未知变量个数不依赖于层合板的层数.精化四节点四边形单元满足单元间C1弱连续性条件.数值结果表明,基于增强型整体-局部高阶理论构造的四边形单元能够精确分析自由边拉伸问题.层间横向剪切应力能够直接从本构方程中计算得出,而横向法应力则需在一个单元内使用局部三维平衡方程.     

基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

动物谚语及其反谚语的多元语用功能解读

动物谚语及其反谚语在交际活动中扮演着多重角色。本文总结了动物反谚语的构成规律,从语用学的角度探讨动物谚语及其反谚语在交际活动中的语用功能,旨在帮助英语学习者真正理解和掌握动物谚语及其反谚语的本质特征及其使用中的多样性和灵活性,提高语用能力,并在语言学习中有效、得体、恰当地运用动物谚语及其反谚语。     

基于核心零部件聚类的飞机现场可更换单元划分

为研究军用飞机测试性设计过程中现场可更换单元（LRU）划分工作，以功能独立性和结构独立性为基本原则，以降低飞机维修保障成本和时间为主要目标，设计了一种军用飞机LRU划分方案。方案在首先实现了飞机从整机到零部件的功能结构分层划分基础上，从设备零部件层级出发，以综合重要度作为各零部件的定量化指标，运用帕累托（Pareto）原则筛选出核心零部件。然后基于核心零部件开发了一种LRU划分聚类算法，该算法以军用飞机设计研制阶段、使用保障阶段、退役处置阶段全寿命周期内成本和时间为优化目标构造综合评判因子，实现了非核心零部件与LRU模块之间的聚类组合，得到最优的LRU划分结果。最后以某型军用飞机上蒸发循环制冷装置为例，运用本文设计的方案实现了该装置LRU的划分，并将划分结果与该装置的实际LRU清单进行对比，通过维修保障成本和时间综合评判因子对两种划分结果的优劣性进行分析，得出本文设计方案得到的LRU划分结果对飞机维修保障成本和时间的优化效果较为均衡的结论。     

基于GPU加速的binLBT压缩解压算法

地形数据的压缩/解压是大规模地形实时绘制方法的关键步骤,与绘制效率密切相关.通过对压缩/解压方法核心重叠双正交变换的分析,采用重叠双正交变换的整数提升方法将变换中的浮点数操作转换为整数操作及移位操作.使用支持图形处理单元(GPU,Graphic Processing Unit)通用计算的CUDA(Compute Unified Device Architecture)对变换过程及编码过程进行加速.针对数据超出显存容量的情况,采取数据分块的方法将数据分别载入显存进行变换与编码以完成对整体数据的处理.实验结果表明,基于GPU加速的重叠双正交变换整数提升方法的压缩算法有效提高了地形数据处理的效率,并加快了大规模地形绘制速度.     

蜂窝椭圆反射镜的孔单元设计研究

应用有限方法进行了蜂窝状椭圆反射镜的轻量化孔单元设计研究,分析了孔单元形状 、孔单元排布形式和孔单元尺寸对蜂窝椭圆反射镜的各项性能的影响。结果表明孔单元尺寸 对质量、转动惯量和加工变形的影响较大,而孔单元排布形式和孔单元尺寸对热变形的影响 要高于对自重变形的影响,87 mm孔单元的第三种三角形孔单元排布形式是最优的孔单 元设计形式。
     

基于CUDA的GPS信号快速捕获

为实现基于PC平台的GPS软件接收机C/A码信号快速搜索,提出了一种由GPU完成信号搜索计算的快速实现方法。该方法以基于FFT的码相位并行搜索算法为基础,通过CUDA编程,由GPU完成主要的计算任务,实现了信号搜索在GPU上的并行计算。最后,将该方法与在CPU上实现的捕获方法进行了比较测试,结果表明：新方法的捕获速度显著提高,冷启动条件下,搜索全部32颗卫星只需1.653秒,为GPS软件接收机的实时化提供了重要保证。