一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

基于超声波的移动机器人多目标探测定位方法

为了使移动机器人能够对离散的多个目标进行准确的探测定位,提出了一种新的超声波智能探测方法.采用3个收发一体的超声换能器阵列发送近似的平面声波波束,并建立空间坐标系.3个探头定时发送超声波脉冲,同时数字信号处理器采集并分析接收到的回波信号,在给定的算法下滤除杂波、识别提取回波首波、二次回波和三次回波等特征信号数据,在正确检测出各路波束的回波时间后,通过计算给出多个被测物体的准确定位.实验采用了杆件物体作为被测对象,对回波信号进行高速数据采集处理后计算出被测目标的坐标值,比较了计算物位与实测物位数据,结果验证了该方法的可行性与正确性.      

可消除定位模糊的无源时差定位算法

消除无源时差定位系统中存在的定位模糊是一直倍受关注的问题.通过理论分析和仿真实验证明,4变量算法虽可以消除定位模糊但其定位精度不高,不适合工程应用.以传统时差定位方法为基础,提出了一种多个子系统融合的定位算法.由于该算法能够充分利用观测站提供的冗余测量信息,所以其定位精度高于4变量算法,而且还可以消除定位模糊.最后,通过仿真实验验证了该方法的可行性和有效性.     

利用可编程超声阵列准确定位目标点位置

设计和制作了一种用于移动机器人环境探测的可编程设定工作模式的超声波传感器阵列,阵列中的每个超声传感器都可以被编程设定为发射/接收器或接收器.当某个传感器是发射/接收器时,其它传感器都设定为接收模式,使系统在探测过程中始终工作于单发/多收的状态,能够比传统的多超声传感器系统获得更多的冗余信息.利用几何学的相交定位法融合每次探测所得到的数据,实现对目标点的准确定位,通过衡量目标点之间的欧式距离来区分多个目标.实验结果表明,这种新的探测系统只需要一个探测周期,就可以实现对单目标和多目标的准确定位,比传统的多超声系统具有更高的探测效率.     

无线传感器网络三维自身定位方法

针对部署在三维空间的无线传感器网络,提出了一种传感器节点自身定位方法APIT-3D(Approximate Point-In-Tetrahedron),通过判断传感器节点是否位于由锚节点组成的四面体的内部,筛选出可能的位置区域,并最终计算这些区域交集部分的重心,作为待定位节点的位置.仿真实验表明,作为一种不基于测量设备的定位方法,APIT-3D可以达到节点通信半径的40%以下的较高精度的三维定位,而且通信开销相比于二维定位方法增幅不明显.APIT-3D定位方法无需复杂的测距设备和昂贵的外部设施,且通信协议相对简单,因此是一种低成本、低功耗的无线传感器网络三维自身定位方法.      

基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

多星分布式无源相干定位方法

针对方向性辐射源信号主瓣波束窄测向定位精度不足的问题，提出多星分布式无源相干定位方法。首先，根据参考星接收到的主瓣强信号对辐射源位置进行粗定位，并根据粗定位信息对频移进行补偿；随后，将参考星信号分发至临近卫星，在粗定位范围内对相干星接收到的旁瓣弱信号进行互相关搜索，解算时差信息；然后，采用多星时差定位体制估计辐射源精确位置；最后对提出算法进行了Cramer-Rao下界分析，并通过仿真实验对算法进行验证。仿真结果表明，算法在弱信号信噪比(SNR在-40～0 dB)的情况下，定位误差能够快速逼近Cramer-Rao下界，并且能够有效提高辐射源的定位精度。     

支持场景表观差异的无人机图像视觉定位方法

视觉定位是计算机视觉中的基本任务,在无人机测控、视频监控和遥感分析等领域有着广泛应用.在GNSS拒止情况下,利用图像进行视觉定位是重要的导航替代方法.然而,由于室外场景易受天气、季节和光照等变化影响,细节的表观差异方差大,无人机视觉定位的鲁棒性与精度在近地面时难以保证.提出一种基于虚拟图像合成的视觉定位框架.设计阴影映射和深度卷积图像填补网络来合成具有大表观差异和大视差的虚拟图像集,以提高2D-3D配准质量从而提升视觉定位的鲁棒性.实验数据表明,与国际同类方法相比,本方法合成的图像质量在视觉效果、匹配点数量、置信度和视觉定位的精度等指标上都获得了明显的提升,可以支持大表观差异下的无人机视觉定位.     

GPS定位与测速算法研究

给出了GPS定位与测速的数学模型,然后在Gauss-Newton算法的基础上讨论了正常情况下的GPS定位与测速的迭代算法,最后给出了只有3颗可见卫星或几何精度因子太大时的处理方法,从而得出了一个完整的GPS定位与测速的迭代算法.该算法首先迭代地求定位解,并在迭代中不断更新卫星信号传播时间,然后用最后一步迭代中计算出的正规矩阵和卫星信号传播时间求解速度.     

基于聚类分析的软件多故障定位技术

故障定位的思想一般是通过对程序语句及其执行结果的分析,从而定位到存在缺陷的程序语句的位置.目前,软件单故障定位技术研究较多,多故障相关研究较少.本文根据程序语句覆盖执行信息构造程序谱,提出基于聚类分析的软件多故障定位技术方法,在Siemens测试程序集的基础上,和现有的一些基于程序谱的定位方法进行对比,在大部分的情形下,验证了本文提出的基于聚类分析的软件多故障定位技术在软件多故障定位方面的定位效率要优于这些方法,减少测试人员的工作开销.     

用织女一号火箭在海南站探测的高空风和风切变

本文介绍了织女一号(ZN-l)火箭测风原理,数据处理方法和两次测风结果.结果指出,在我国低纬地区中层大气中存在非常明显的风切变和相当强的重力波扰动,测风数据与COSPAR国际参考大气CIRA1986及国际标准化组织航空用参考大气ISO5878-1982／ADD.1-1983存在明显差别.      

无控固体火箭探空运载系统总体设计

由无控固体探空火箭和地面发射设备组成的运载系统是固体火箭探空系统的一个组成部分。文章介绍该运载系统在各研制阶段的设计内容,着重讨论总体方案选择的原则和总体参数设计的方法。     

从探空七号气象火箭到织女三号高空研究火箭——我国实用探空火箭发射成功30年回顾

1960年9月13日我国实用探空火箭——探空七号气象火箭首次发射成功,揭开了我国火箭探空活动的序幕。自那时以来,我国火箭探空事业取得了显著进展。在过去的30年间,我国共发射了17种型号的探空火箭;此外,一种新型号探空火箭——织女三号高空研究火箭也将于近年内发射。本文从火箭气象探测、火箭生物试验、火箭大气取样、火箭试验研究等四个方面对此进行概略回顾。     

返回式探空火箭裙锥减速器方案设计及分析

针对传统的探空火箭减速板质量大、展开角度不可调节等缺陷,提出一种新型探空火箭裙锥减速器减速方案。它具有质量小、可改变展开角、展开阻力面积大等优点。针对超声速探空火箭减速器再入时的气动特性,对其外围流场进行了仿真分析,得出了减速器不同锥角对气动特性及过载的影响,并给出了减速器外围流场、压力场以及减速器的应力应变分析,结果表明,减速器所受的气动阻力与其锥角有明显关系,具有非线性特点,且减速器的最大应力小于许用应力。该方案可为探空火箭的回收及新型减速器的设计提供一定的参考依据。     

风对探空火箭飞行弹道影响的分析

本文导出探空火箭速度方向角(俯仰角)和方位角(偏航角)满足的一组微分方程,并在一些近似假定下分析了风对探空火箭飞行弹道的影响。     

鲲鹏elax-1B火箭头体分离后章动运动分析与仿真

2016年4月鲲鹏elax-1B探空火箭在海南儋州台站发射.箭头与箭体分离之后,瞬间进入大章动运动状态,超出预期设计的技术指标范围.基于这种运动现象,分析了鲲鹏elax-1B头体分离后箭头章动可能的产生原因,建立了稀薄大气下准刚体箭头的姿态动力学方程,并通过数字仿真方法模拟了箭头的章动运动.与实际飞行姿态进行对比,得出了导致章动发散的主要原因,为后续探空火箭的设计提供理论参考.      

子午工程探空火箭伸杆展开机构技术研究

根据子午工程探空火箭电子和电场探测需求,设计了套筒式伸杆展开机构.通过电子伸杆和电场伸杆的结构方案设计、力学仿真分析,伸杆单项力学试验,伸杆与整箭的匹配力学试验以及伸杆飞行试验验证得出,该伸杆技术方案合理可行,伸杆总体构型、布局设计及结构方案设计满足科学探测各项技术指标的要求.      

Fluid physics experiments under microgravity conditions

The proposals for the detailed investigations of the Marangoni Bénard instability problem are described. It will be performed during the Spacelab D2 mission and prepared during Texus sounding rocket flight.     

冬季西北地区临近空间气象火箭探测数据分析

在获取冬季西北地区一次临近空间气象火箭探测数据后,将火箭探测温度、密度与MSIS00模式和TIMED/SABER卫星数据进行对比,并将火箭探测风场与HWM07模式和MERRA再分析资料进行对比,分析火箭探测温度误差组成,计算各项温度修正量。结果表明:火箭、卫星、MSIS00模式获取的温度和密度随高度整体变化趋势一致;相对于MSIS00模式,火箭和卫星实测数据能够反映出更多的变化细节,且二者在细节上具有较多一致性。火箭实测风场与MERRA的一致性较好,而与HWM07模式差异较大,在平流层中部火箭探测风场明显强于HWM07模式。相对于HWM07模式和MERRA,火箭探测风场能够体现更多细节,在22 km和45 km附近均探测到较强的风切变。在火箭探测温度的各项修正量中,气动加热、温度滞后、支撑结构热传导及测量电流焦耳效应带来的影响较大,该影响整体上随着高度降低而逐渐减小。分析表明,本次气象火箭获取的探测数据是有效可靠的,但在数据处理方法尤其是温度误差修正等方面还需不断迭代完善。      

Measurement of middle atmospheric ozone density profile by rocket-borne radiometer onboard KSR-II

KSR-II, a two-stage sounding rocket of KARI was launched successfully at the Korean Peninsula on June 11, 1998. The apogee of the rocket was 137 km. For the ozone measurement, 8-channel UV and visible radiometers were onboard the rocket. The rocket measured an in situ stratospheric and mesospheric ozone density profile over Korea during its ascending phase using the radiometer and transmitted the data to ground station in real time. The maximum ozone density occurs near 25 km. Retrieved profile has a random error (1σ) of approximately 15% for altitude below 20km, 7% between 20-50 km and 10% greater than 50 km. The retrieved data were compared with Dobson spectrophotometer, ozonesonde, and HALOE onboard the UARS. Our results are in reasonable agreements with others.