基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

焊接工艺对熔敷金属韧性的影响

探讨了改变焊接工艺对焊条熔敷金属冲击韧性的影响．研究表明：改变焊接工艺,将通过改变熔敷金属的化学成分,影响熔敷金属的强度和韧性;降低焊接线能量时,将降低熔敷金属中的氧含量及其氧化夹杂物的数量和大小,从而提高熔敷金属的韧性     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

系统延迟对脱靶量的影响研究

Paul Zarchan在研究一类由二项式传递函数描述的制导律的脱靶量时,提出了一个命题,即这一类制导律的脱靶量随制导时间的变化曲线可由时间常数为1时的那条脱靶量曲线经过时间轴的比例变换得到。证明了这一命题,并将它扩展到系统中存在纯延迟的情况,得到的结果可以很方便地用于研究系统延迟对脱靶量的影响。     

冷兵器时代战争对经济发展的影响——以唐、五代时期华北平原为考察中心

安史之乱爆发,使华北陷入战争的泥潭,特别是安史之乱后期,中央和安史叛军主要在华北一带争夺,这里的经济发展受到了严重的破坏,"人烟断绝,千里萧条".有些学者认为安史乱后,华北经济从此便衰落下去,也有些学者不赞成此说.那么,华北平原是否由于安史战乱而一蹶不振呢?     

武器装备备件需求量计算的方法研究

从武器装备的综合保障工作出发,概述了武器装备备件的涵义及分类,分析了武器装备综合保障的重要参数及影响战备完好性的重要参数战备保障率,并针对几种典型备件类型,提出了与之对应的备件需求量预测数学模型。     

两栖车辆形体优化数值模拟

针对两栖车辆水上行驶时,车体包络线对黏性阻力的影响问题,基于RANS方程结合k-ε湍流模型,利用"刚盖"假定,不计兴波阻力及来流湍流度的影响,进行了某两栖车车体模型静水航行的数值模拟.分析了车体在特定速度下,车体包络线的局部改变对黏压阻力系数和摩擦阻力系数的影响.通过分析对比模拟结果,提出了对车体局部细节的优化意见.     

采用向量内积的并行相关算法

针对软件接收机相关器计算的实时性问题,通过分析扩频信号的接收过程,建立一种基于向量内积的并行相关信号接收模型。利用图形处理单元中大量的浮点运算单元进行矩阵与向量运算,并行计算各通道相关值,提高了信号相关运算的实时性。仿真验证结果表明,利用基于GPU的向量内积软件并行相关算法计算25 MHz采样率时长1 ms的信号相关值,25个通道共150个相关运算耗时967μs,与CPU上基于数学核心函数库的实现相比速度约提高了61.4倍,能够实现宽带扩频信号软件实时相关接收。     

基于LBP-PCA的多传感器目标识别算法

为了更加有效地提高多传感器图像融合后的识别率,提出一种基于LBP-PCA的多传感器目标识别算法。首先分别对红外和可见光图像进行预处理用以突显出要识别的目标,采用LBP算法提取目标的特征点向量,利用PCA算法进行特征融合,得到降维后的融合特征,最后利用SVM(支持向量机)进行分类和识别。实验仿真结果表明多传感器目标经过LBP-PCA融合后在保持足够数量的有效信息基础上降低了特征的维数,有效地提高了目标识别率。