混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

2014nccet:基于SI仿真的高密度存储服务器高速链路设计

针对高密度存储服务器中高速链路结构复杂、信号速率高、链路长度长等特点,在高速链路PCI-E3.0和SAS3.0设计过程中引入全面的SI仿真。通过对高速PCB设计中拓扑结构、材料类型、PCB结构等关键项目进行仿真设计,获得成本最低、性能达标的最优方案;通过全链路有源仿真,预估系统性能,降低系统投产风险;通过系统实际信号测试,验证系统性能完全满足相应规范要求,仿真结果有效可靠。     

多波束相控阵天线角跟踪性能及测试方法

针对目前对多波束相控阵天线角跟踪性能测试研究较少的问题,首先分析了多波束相控阵天线的单脉冲和差测角方法,并对波束滑动、波束穿越及信号频率变化对角跟踪性能的影响进行了仿真分析。类比传统的雷达精度校飞试验,提出了基于飞艇的角跟踪性能测试方法,对角跟踪精度及误差范围进行测试,并利用STK软件实现了可视化。仿真分析表明,该方法可以实现对多波束相控阵天线角跟踪性能的评定并具有较高的工程应用价值。     

同测试平台脱靶量测试方法研究

经纬仪弹道坐标测量试验中,传统的同帧画幅脱靶量测试方法,可以消除系统误差,具有较高测试精度,但当脱靶量判据标准对目标的判读位置既有红外谱段又有可见光谱段时,同帧画幅方法具有局限性。对此,提出采用具有多传感器的光学经纬仪进行同测试平台脱靶量测试,通过误差分析和实际实验验证,验证了方法的可行性,为解决多谱段判读位置脱靶量测试问题提供理论的参考和方法的借鉴。     

基于Bayes理论的测试性数据融合评估技术

针对目前高可靠性产品测试性评估验证面临的样本量不足的问题,提出一种基于Bayes理论的内外场数据融合评估技术,并给出详细的内外场测试性数据收集方法及原则,利用某产品的试验数据对该方法进行了验证。该方法工程应用性强,可作为高可靠性产品测试性评估的依据。     

悬臂式围护桩受力性状与内力传递特征试验

为研究悬臂式围护桩结构的内力、弯矩、位移和嵌固段的变化规律及特点,结合西宁火车站综合改造工程,对该深基坑支护结构在不同开挖工况条件下悬臂桩的受力性状与内力传递特征进行现场动态测试试验。试验结果表明:悬臂桩的受力特征与理论值有所差异,在实际设计中可对其在配筋方式、混凝土强度设计、嵌固段长度等方面进行优化。试验结果可以有效优化桩身设计,为复杂基坑在开挖过程中的支护结构受力及变形提供参考性依据。     

指挥信息系统验证理论和验证方法

从验证的概念讨论出发,针对“指挥信息系统验证”,从概念和含义、产品和结果、目的和作用等多方面进行了详细解读,给出了较详细的验证方法和步骤,并就验证与测试的区别和关联进行了讨论,然后对广义概念上的“指挥信息系统验证”做了更深入的探讨,最后提出了验证应遵序的原则和注意事项。     

完成国家任务是我的光荣——王方定院士忆点火中子源研制及核爆化学测试

中国原子能科学研究院的王方定院士和他的小组曾为我国第一颗原子弹研制点火中子源,他也曾多次参加了核爆放射化学分析测定,为核武器研制做出了重要贡献。据王方定院士回忆,1 958年8月中旬的一天,原子能所钱三强所长告诉他说所党委研究决定派他参加原子弹研制,并征求王方定的意见。王方定当即表示坚决服从组织分配。钱先生高兴地说：＂我想你也是这样的。＂     

基于蚁群算法的电子设备多值测试故障诊断策略

测试序列优化设计是故障诊断中的重要组成部分,最优测试序列能提高故障诊断的效率,常见的故障诊断系统均基于二值属性,而多值属性系统的测试优化问题研究的较少。针对多值属性系统测试序列优化问题的特点,提出了一种改进蚁群算法,结合二值属性系统和多值属性系统的关系,设计了适应于多值属性优化的状态转移规则和信息素更新机制。针对在等测试费用和故障先验概率的情况下不能寻优的问题,制定了对应的优化标准,符合实际的测试需求。通过对比试验,证明了其能解决电子系统多值属性系统的序列优化问题,扩展了多值属性电子系统的测试优化策略。     

内弹道多参数同步测试

针对内弹道单参量信息不能满足身管武器发展的问题,在已取得内弹道单参量测试成果的基础上,结合新概念动态测试,提出了基于光纤的多测试仪内弹道测试同步触发技术,该方法利用光纤传感器同步触发各测试仪以实现同时全面获取内弹道各参数(包括弹底压力、膛底压力、膛内温度和弹丸的三轴加速度以及转速等)的数据。实验表明:同步触发获得多参数后,可以分析各参量存在的固有关系,验证测试结果的可靠性和正确性,实现身管武器测评的信息化。