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

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

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

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

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

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

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

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

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

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

波浪作用下水下航行体出水成功概率预报

为了实现实测波浪作用下水下航行体出水成功概率预报,为潜艇作战提供一种水下发射的快速预报方法,基于边界元方法建立了水下航行体出水姿态计算模型,对不同波浪条件下水下航行体出水姿态参数进行了计算。同时,将不同波浪条件下的出水姿态参数进行集成,形成了规则波浪数据库。以渤海湾某时间段的实测海况作为发射环境,建立符合瑞利分布的波高概率分布模型,将尾部触水俯仰角作为判定条件,对实测波浪下水下航行体出水成功概率进行预报。计算结果表明,在考虑最恶劣工况下,相对于静水条件下的出水俯仰角偏差随着波高的增加而减小;相同波高下,受到出水相位的影响,出水俯仰角偏差呈余弦变化规律。该预报方法对于潜艇作战判定发射时机具有一定参考价值,为水下发射的成功概率预报提供参考。     

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

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

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

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

政府工作报告八大“新鲜词”

正新词一:权力清单【报告语境】确需设置的行政审批事项,要建立权力清单制度,一律向社会公开。清单之外的,一律不得实施审批。【委员解词】全国政协委员孙太利:权力清单制度既"限权"又"现权",是政府简政放权和职能转变的"自我革命",释放出进一步规范"印把子"的信号。晒出"权力家底",让公众对权力边界不再"云里雾里",使"变相审批"、"隐性审批"失去存活空间,是既"去皮"又"割肉"的举措。但好制度要有好的落实监督,不要让好制度变成"稻草人"。新词二:黑名单制度     

反导保卫区建模研究

反导保卫区是反导作战效能分析的一个重要指标。重点研究多方向来袭时,发射架、制导雷达集中部署与分散部署2种情况下反导保卫区半径的计算方法,从而建立反导保卫区模型。最后通过实例分析验证了该建模方法的有效性。