排序方式: 共有158条查询结果,搜索用时 0 毫秒
61.
62.
针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。 相似文献
63.
在代理型防火墙中设置Cache,可以有效地减少响应延迟和降低网络带宽。对Cache实现中的信息过滤规则、过期页面处理和替换算法几个关键技术进行了深入研究,并提出了一种基于防火墙日志系统开销极小的Cache管理策略。 相似文献
64.
针对伞翼无人机参数不确定性和复杂环境干扰敏感的问题,提出一种伞翼无人机线性自抗扰(Linear Active Disturbance Rejection Control,LADRC)高度控制方法。建立伞翼无人机8自由度飞行动力学模型,并引入风场和降雨模型以更加准确地模拟真实飞行环境。基于LADRC确定总体控制架构,设计线性扩张状态观测器对所有扰动进行估计,并引入误差反馈率在控制中实时补偿。使用该控制方法在多种扰动工况下进行伞翼无人机高度控制仿真实验。仿真结果表明,基于LADRC的高度控制方法能够有效克服内扰和外扰的影响,实现高精度高度控制;与传统PID控制效果相比,LADRC控制器具有更好的抗扰能力和鲁棒性。 相似文献
65.
基于马赫曾德干涉仪模型并采用相位扩散主方程描述大气相位起伏效应对量子雷达的影响,给出了光场在相位扩散通道的演化过程,详细分析了大气相位起伏对相干态宇称探测量子雷达相位估计分辨率和最佳灵敏度的影响,并计算了大气相位起伏下相位估计灵敏度的Cramer-Rao极限。研究发现:相位起伏对于分辨率的影响可通过增加单个脉冲平均光子数来消除。在强相位起伏情况下,宇称探测得到最佳灵敏度会严重偏离散粒噪声极限,但是在弱相位起伏情况下,通过与Cramer-Rao极限的对比,发现宇称探测是一种准最佳探测方案。 相似文献
66.
建立了阶梯式活塞气锤的力学模型,揭示了该类气锤产生碰撞信号的机理,针对两种不同型号的气锤,结合大量工程实验仿真生成了不同气压作用下两种气锤产生的激励信号,以激励信号的低频能量为气锤的性能指标,进一步评价了两种气锤的性能优劣.研究结果表明:大气锤的性能明显优于小气锤的性能. 相似文献
67.
通过试验研究气液同轴直流式和气液同轴离心式喷嘴的雾化性能。研究表明:喷嘴出口扩张时可以改善喷嘴的雾化性能;气液同轴直流式和气液同轴离心式喷嘴都存在一个合适的缩进长度,在改善喷嘴雾化特性的同时对总流量影响较小;在相同条件下,气液同轴离心式喷嘴的喷雾性能要优于气液同轴直流式喷嘴的喷雾性能。 相似文献
68.
针对某大型降落伞回收系统主伞拉直过程中出现的抽打现象进行了分析,根据其拉直过程的特点将其划分为五个阶段,分别建立了各阶段的实体模型和约束模型,通过模型的组合建立了各阶段的多体动力学模型,将各阶段模型连接进一步组成该型号大型降落伞拉直全过程的动力学模型。仿真分析了该型号大型降落伞出现抽打现象时的伞衣位形、顶部伞衣速度、伞绳和伞衣的偏离距离以及张力的变化,总结了抽打现象形成时的一些特征数据,分析结果可为大型降落伞设计、改进、使用等提供参考。 相似文献
69.
70.