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

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

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

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

地理社交网络位置推荐

地理社交网络将地理位置信息融合进传统社交网络,将人们的现实生活和虚拟世界的生活连接在一起。作为地理社交网络的一个重要应用,位置推荐可以向人们推荐其可能感兴趣的位置,为人们的出行提供参考,极大地便利了人们的生活。在此背景下,论文研究了地理社交网络位置推荐的基本概念,分析了位置推荐常用的方法,描述了典型的数据集及推荐效果的评估方法,指出了位置推荐面临的主要问题,并展望了未来可能的研究方向,为相关领域的研究提供参考。     

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

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

基于压缩感知的曲线SAR孔径优化和目标三维特征提取

基于压缩感知理论研究了曲线合成孔径雷达的曲线孔径优化和目标三维特征提取。在建立曲线合成孔径雷达回波信号稀疏表示模型的基础上,基于压缩感知采样矩阵设计的不相关原则,给出了曲线孔径优化设计的评价准则,并利用基于全局优化的基追踪方法实现了目标三维特征提取。仿真结果验证了孔径优化评价准则的正确性和基追踪方法在目标特征提取处理中的有效性。     

新入列舰艇在演练任务中开展军事民主“三部曲”

新入列舰艇遂行重大演练任务具有参与武器装备新、演练科目实战性强,兵力构成复杂、协同要求高等特点。应广泛开展军事民主,把蕴藏在舰员中的积极性和创造力充分调动起来、有效发挥出来,提高训练效益,确保任务的圆满完成。一、强化三种意识,打牢开展军事民主的思想基础强化民主意识。在实践中发现,一些官兵头脑里只有"军人以服从命令为天职"的观念,认为在执行重大演习任务中,计划周全,组织严密,自己只要服从命令     

基于模糊聚类的保障装备模块化设计

针对陆军各兵种配备的专用保障装备过多、互用性差、型号规格杂、利用率低等问题,基于模块化设计理念,采用模糊聚类方法,在功能分析的基础上将保障装备划分为基本模块、通用保障功能模块和专用保障功能模块。基本模块通过与各种通用保障功能模块和专用保障功能模块组合,可形成系列保障装备族,满足保障装备型谱要求和不同保障需求,很好地解决了保障装备型号规格杂,不同兵种的保障装备间关联少、互用性差的难题,实现了保障资源的优化组合。最后,以某型履带式装甲抢修车的模块化设计为例,验证了研究思路和方法的可行性。     

装备维修性设计与分析技术

分析了装备维修性设计与分析技术的基本内涵,包括主要工作范畴和关键技术。调研了国内外维修性设计与分析技术在理论研究和成果应用等方面的发展现状,并探讨了未来装备维修性设计与分析技术的发展趋势。     

海军陆战队登陆作战仿真实验指标设计?

仿真实验是重要的作战研究方法。在论述海军陆战队登陆作战仿真实验概念及其过程的基础上,根据海军陆战队登陆作战仿真实验指标体系的构成,设计作战任务级、行动效果级和作战实体级三级指标,为海军陆战队登陆作战仿真实验的指标设计及实践提供参考。     

深化改革进行时——中国工程物理研究院全面深化改革综述

在事关国家全局和战略发展的领域,选准一些基础性、核心性、原创性的重大尖端科研项目,发挥优势、聚力攻关、重点突破,积淀成雄厚的创新成果,系统融入国家创新体系,为勇扭强军责任打造可靠助推器,提供坚强保障。