排序方式: 共有141条查询结果,搜索用时 46 毫秒
1.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向. 相似文献
2.
扫描系统可以使光学遥感器获得更大的成像幅宽。为实现大角度扫描,光学系统采取扫描主镜和半角随动镜的两轴形式。文章对光学遥感器扫描系统两轴随动的同步控制问题进行了研究,针对两轴随动装置周期性较强的特点,提出在主从同步系统的常规PID控制系统基础上增加重复控制环节,重新设计了一个改进的同步控制器。利用重复控制对周期性外激励信号的跟踪、抑制性好的特点,增强系统对同步误差的抑制作用。仿真结果表明,利用重复控制理论设计的同步控制器在保证原有系统跟踪精度和动态性能的前提下,有效的减小了扫描成像时间段内的同步角度误差。扫描成像阶段内同步误差减小了78%。 相似文献
3.
4.
5.
在分析目前机上电缆传统测试方法所存在的弊端的基础上,针对当前自动测试系统未解决的机上电缆测试问题,提出了一种基于传输线理论的机上电缆断点位置测试方法,给出了断点定位仪硬件电路设计和误差分析方法,并对误差分析得到的相关参数进行了仿真实验,根据仿真结果,给出断点定位仪的优化方法,可实现对机上电缆断点的精准定位。 相似文献
6.
7.
8.
高超声速飞行器机体/推进一体化设计的启示 总被引:8,自引:2,他引:6
机体/推进一体化设计是吸气式高超声速飞行器的关键技术。飞行器的前体和后体既是主要的气动型面,又是发动机进气道的外压缩型面和尾喷管的膨胀型面,一体化设计直接影响飞行器的气动与发动机性能。本文阐述了吸气式高超声速飞行器的主要特点,梳理了飞行器的推阻匹配、升阻比特性、操稳匹配等主要气动设计问题。通过对国外典型高超声速飞行器机体/推进一体化设计技术的综合分析,总结了前体/进气道、后体/尾喷管、边界层强制转捩装置等关键部件的气动设计方法,获得了有意义的启示,可为后续吸气式高超声速技术研究提供重要参考。 相似文献
9.
服务质量是服务企业生存和发展的第一要素,而国内经济型连锁酒店由于起步晚,发展速度过快,在服务质量管理方面存在着诸多不完善的地方。通过对国内经济型连锁酒店服务的关键时刻和所存在的问题进行分析,总结出了服务的重要关键时刻,并结合问题和重要关键时刻,指出了酒店要在员工招聘、培训、薪酬体系、绩效考评、设备管理和人性化设计等方面进行改进,以此来增强员工服务意识,提高员工业务操作水平和顾客满意度,实现对三个关键时刻的控制,从而全面提升服务的质量以及酒店管理水平。 相似文献
10.
为了提高粉末火箭发动机的燃烧效率,通过数值模拟方法研究了扰流环的有无、通径及位置对燃烧室燃烧流动特性的影响。结果表明:扰流环会增强Al颗粒和气相的掺混和换热程度,促进Al颗粒蒸发和燃烧,从而提高粉末火箭发动机的燃烧效率。当扰流环通径比在0.538~0.846范围内时,扰流环的通径越小,燃烧效率越高;当扰流环头部距离比在0.3~0.8范围内时,扰流环位置离头部越近,燃烧效率越高。设计扰流环时,应在距离燃烧室头部30%~40%的位置布置小通径的扰流环。 相似文献