防止反编译技术研究

运用反编译技术可以对软件可执行二进制代码进行非法的修改或窃取其知识产权。为了防范这种情况,提出了在程序的汇编级转化直接跳转为间接跳转和插入伪造的跳转表以隐藏程序控制流的2种方法,来提高程序防止反编译的性能,增加软件分析的难度。     

数据关联算法性能评估的一种方法

数据关联算法性能的优劣直接影响跟踪系统的性能.因此在给出一种算法后,必须对该算法的性能进行评估,全面地了解该算法的优点以及缺点.以一种多目标数据关联算法为例,给出对数据关联算法的性能进行评估的一种仿真设计方法,包括设计思想及具体实现,并给出对该数据关联算法的评估结果.该方法同样适用于对多目标跟踪算法的性能进行评估.     

基于曲线拟合的多传感器时间对准方法研究

针对多传感器数据融合时间不同步、数据率不一致的特点,提出了一种基于曲线拟合的时间对准算法.该方法能将不同传感器测得的不同采样周期的数据对准到同一时间点上,以便进行特征提取与数据融合.同现有算法相比较,该算法计算简单,速度快,提高了融合效率.     

Barrier Lyapunov functions-based dynamic surface control with tracking error constraints for ammunition manipulator electro-hydraulic system

This paper focuses on the dynamic tracking control of ammunition manipulator system. A standard state space model for the ammunition manipulator electro-hydraulic system (AMEHS) with inherent non-linearities and uncertainties considered was established. To simultaneously suppress the violation of tracking error constraints and the complexity of differential explosion, a barrier Lyapunov functions-based dynamic surface control (BLF-DSC) method was proposed for the position tracking control of the ammunition manipulator. Theoretical analysis prove the stability of the closed-loop overall system and the tracking error converges to a prescribed neighborhood asymptotically. The effectiveness and dynamic tracking performance of the proposed control strategy is validated via simulation and experi-mental results.     

增强型个人防火墙

信息时代 ,个人上网机的信息保护越来越受到社会的重视 ,个人防火墙就应运而生。首先简单介绍个人防火墙的原理和功能 ,在特殊IP的过滤和端口、漏洞和进程防护几个方面分析了当前一些典型的个人防火墙产品存在的缺点 ,提出了EPFW的概念 ,然后阐述了EPFW对个人防火墙的IP过滤、端口防护、漏洞防护、病毒防护和进程防护进行增强的设计问题、技术难点以及解决方法。这些都说明对于PC机信息保护而言 ,EPFW是一个可行的合理的解决方案。     

边界扫描测试信息压缩算法

为了解决 IEEE 1 1 49.1边界扫描测试优化生成问题 ,提出了一种新型的测试矩阵压缩算法。该算法首先应用被测试电路板的结构信息构造有限制的短路故障模型 ,然后以有限制的短路故障模型为基础对测试矩阵进行压缩处理 ,尽可能剔除测试矩阵中的无效测试信息 ,从而达到测试优化生成的目的。理论分析及实验验证表明 ,该算法能够获得紧凑性指标相当优化的测试矩阵 ,实现较高的测试信息压缩率     

塞式喷管高度特性的 CFD 研究

采用NND2M差分格式 ,从考虑k-ε湍流模型的理想气体三维薄层近似NS方程出发 ,对塞式喷管内外流场以及比冲随高度变化特性进行了数值研究 ,得到了较为准确的结果。计算表明 ,塞式喷管的低空性能明显优于传统喷管 ,NND2M差分格式及相应计算软件适合于模拟复杂喷流流场 ,可用于塞式喷管发动机的研究中。     

可测试性技术中的图论问题及其求解

近 2 0年来 ,为了解决结构日益复杂的电路测试问题 ,可测试性技术得到了迅速发展。在可测试性技术中 ,针对不同的测试对象 ,如何对可测试性设计方案以及测试策略进行优化 ,降低总体代价 ,是亟待解决的问题。为了解决这两类典型的优化问题 ,首先应用图论方法建立问题的拓扑描述模型 ,然后通过构造相应的逻辑求解函数 ,给出问题最优解的求解算法 ,并通过简单实例演     

焊条粘结剂及烘焙温度对药皮吸潮性的影响

通过试验研究了改进水玻璃及焊条烘焙温度对焊条药皮吸潮行为的影响.结果表明,在水玻璃中加入防水剂和/或丙烯酸甲酯,以及水玻璃低碱化处理均能明显提高焊条药皮的耐吸潮性;对于不同类型的水玻璃,通过选择适当的烘焙温度可有效地防止药皮吸潮.     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。