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

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

“小机构”的“大智慧”——美国高能激光技术联合办公室

美国国防部在世纪伊始成立的高能激光技术联合办公室专职人员不到10人,却能高效调动创新体系中所有创新单元,长期保持战略先导地位。本文全面介绍联合办公室的使命职能、编制组成、运行方式、科研项目、代表性成果以及重要决策,旨在为技术创新和管理创新提供参考和借鉴。     

伞翼无人机线性自抗扰高度控制

针对伞翼无人机参数不确定性和复杂环境干扰敏感的问题,提出一种伞翼无人机线性自抗扰(Linear Active Disturbance Rejection Control,LADRC)高度控制方法。建立伞翼无人机8自由度飞行动力学模型,并引入风场和降雨模型以更加准确地模拟真实飞行环境。基于LADRC确定总体控制架构,设计线性扩张状态观测器对所有扰动进行估计,并引入误差反馈率在控制中实时补偿。使用该控制方法在多种扰动工况下进行伞翼无人机高度控制仿真实验。仿真结果表明,基于LADRC的高度控制方法能够有效克服内扰和外扰的影响,实现高精度高度控制;与传统PID控制效果相比,LADRC控制器具有更好的抗扰能力和鲁棒性。     

教育公平视野下的乡村中小学教师队伍建设 ——以江西省宜春市为例

加强乡村中小学教师队伍建设是实现城乡教育公平,补齐我国教育短板的关键所在.宜春市乡村中小学教育队伍建设面临着教师总体数量不足、年龄结构有待完善、整体素质有待提高、学科结构不尽合理、职称晋级比较难、工资待遇偏低等一系列问题.因此,要从改善乡村中小学教师的生存环境、增强乡村中小学教师的职业吸引力、提高乡村中小学教师培训的实效性、健全义务教育学校城乡教师交流机制和建立乡村教师编制动态调整机制五个方面着手,进一步加强乡村中小学教师队伍建设.     

远程火炮密集度试验多组数据的处理方法

远程火炮密集度试验需要进行多次射击,同一试验条件下的多组数据通常认为来源于同一分布,但却未见于证明。利用统计检验方法,给出了对试验数据方差齐性及均值相等性的检验方法,并在多组试验数据一致性的基础上给出了试验数据均值、方差的无偏估计,同时在既定置信度下给出了其置信区间,为远程火炮精度检测提供了工具。     

飞行器曲线显示中的数据处理方法及实现

主要内容分为两个部分:处理方法和方法的应用。处理方法着重介绍了远程火箭弹道学和地图学的基本知识,内容包括:各种坐标之间的转换、被动段飞行轨迹的计算、常微分方程的数值解法。方法的应用以上述算法为核心,用实例说明了其使用情况,内容包括:v-t、x-y曲线中的坐标转换、v-t曲线中被动段弹道的平滑处理、箭下点曲线中的坐标转换和外推估算。     

基于案例的推理在舰船维修费预测中的应用

针对市场经济条件下舰船维修费预测不确定性越来越大的问题,提出了一种基于案例推理的舰船维修费预测模型。首先,利用修船厂的历史数据,采用特征向量表示法构建舰船维修费案例库;其次,为提高案例检索效率,采用组合模糊聚类算法建立舰船维修费案例的分类索引结构,并提出基于最近邻法的两步检索策略检索相似案例;最后,采用加权平均法对相似案例进行修改以获取预测值,同时采用主动学习策略保存当前案例并更新案例库。实例仿真结果表明:与传统舰船维修费预测模型相比,基于案例的推理模型具有更高的预测精度,所提模型是有效的。     

多相感应电动机的SHEPWM控制原理及仿真分析

针对潜艇直流供电系统中直流幅压电动机运行中存在的问题,提出了一体化多相逆变器-感应电动机替代方案。为了抑制蓄电池供电时直流电压幅值变化对电动机运行性能的影响,引入了SHEPWM技术对逆变器的输出电压进行恒压控制。该方案以双Y移30°感应电动机和逆变器为研究对象进行了仿真分析,结果表明:该方案在起动、恒压、抑制转矩脉动等方面有较好的效果,适合对运行可靠性和稳定性有较高要求、但对动态性能要求不高的各类潜艇辅机的驱动。     

边缘信息的红外与可见光图像融合评价

建立能同时结合主观和客观因素的图像融合质量评价方法是目前图像融合中急需解决的问题之一。以反映人类视觉特性的结构相似度为依据,并结合源图像与融合图像的边缘信息,提出了一种新的图像融合质量评价方法,该方法充分反映了人类视觉系统的特性,可以为不同环境下选择不同的图像融合算法提供依据。通过对红外与可见光图像采用多种不同的融合算法进行融合质量评价,实验表明,评价结果与人眼主观评价一致,是一种实用的、有效的图像融合质量评价方法。