基于程序依赖关系的变异体生成策略

针对数量庞大的变异体导致高昂变异测试代价的问题,提出一种基于程序依赖关系的变异体生成(PDMG)策略,选择满足一定约束条件的变异实施对象用于变异体生成。首先,基于数据依赖和控制依赖生成程序依赖图;其次,基于变异对象选择策略和程序依赖图选择被依赖语句作为变异对象;最后,对选择的变异对象注入变异算子生成变异体。将所提策略用于8个基准测试程序的变异测试。实验结果表明,与随机选择(RS)和变异算子选择(MOS)策略相比,PDMG策略在不降低变异测试有效性的前提下,平均减少了52.20%的变异体,提高了变异测试的执行效率。

STABILITY ANALYSIS OF DATA BUOY AT SEA

A data buoy, when moored at the sea, will be influenced by different environmental factors such as wind and wave current. For this reason, the stability of a data buoy is of great importance. This paper describes the analysis and calculation of the stability of a data buoy which has a weight suspended from its bottom under normal working conditions and the influence of the distance from the weight to the bottom of the buoy on the 'righting' ability of the buoy when it is capsized. The paper also provides the curves which show the influence of the size of the weight and the distance from the weight to the bottom of the buoy on the 'righting' ability of the buoy. All these are of great reference value for the design and use of a data buoy at sea and for the design of similar floating bodies. The results from calculations agree with those from the model experiment.

射击诸元综合检验管理系统的设计与实现

射击诸元是炮兵实现精确打击的关键核心要素之一,其精度是一个非常重要的战技指标,射击诸元解算软件的精度检验就显得尤为重要。目前,射击诸元精度检验多为人工检验,存在工作量大、耗时多、检验题覆盖面不全面、易出现误操作影响检验结果等问题。基于此,提出设计一套射击诸元综合检验管理系统,该系统通过出题、解算、分析、定位、纠错等完成诸元精度检验的全流程,解决了目前检查题不全面、解算软件多形态、问题定位纠错不及时等问题,减少中间环节人为操作因素,可大幅提升综合检验能力和效率,实现快速高效检验。该系统既可用于检验人员进行诸元精度检验,也可辅助设计人员改进和完善射击诸元解算软件,具有较强的实用价值和推广意义。

低渗透气藏气井产能试井资料分析方法研究

低渗透气藏渗流机理不同于常规气藏,尤其是束缚水饱和度(Swr>30%)较高的低渗透气藏存在启动压力梯度,从而使测得的气井修正等时试井资料二项式产能分析曲线斜率为负值,无法分析应用。为此,文章基于低渗透气藏非达西低速不稳定渗流微分方程,推导出具有启动压力梯度的低渗透气藏气井稳定产能方程和不稳定产能方程,并提出低渗透气藏等时试井资料优化分析新方法,应用该方法不仅可以快速确定气井产能方程,评价气井产能,同时还能求出气藏的启动压力梯度、渗透率、表皮系数等物性参数。实例应用表明,所提出的产能试井分析新方法具有实用价值。

基于搜索空间自动缩减的路径覆盖测试数据进化生成

提出一种基于搜索空间自动缩减的路径覆盖测试数据进化生成方法,首先,确定目标路径与输入变量之间的关系,将可分目标路径分离出与部分分量相关的子路径;然后,固定被穿越子路径对应的输入分量,并缩小交叉和变异操作的范围,使种群在不断缩小的空间里寻找测试数据,以提高测试数据生成的效率;最后,将提出的方法用于基准程序的路径覆盖测试数据生成,并与传统方法和随机法比较.结果表明,本文方法在生成测试数据需要的进化代数、运行时间和成功率等指标上均具有优越性.

固体火箭发动机试验数据分析

为揭示固体火箭发动机试验数据隐藏的规律,提出了在R统计语言环境下开展试验数据分析的新方法。该方法以数理统计理论为基础,首先对试验数据进行通用处理如变换、滤波等,然后再进行内弹道仿真、参数辨识等专业领域分析。为验证方法的有效性,设计开发了相应的数据处理系统。该系统采用模型化图形输入交互操作方式,文末以一发发动机试验实测数据进行分析,仿真其内弹道性能,验证了本方法的直观性、准确性和有效性。

约束输入精简的多扫描链BIST方案

运用有约束的输入精简、LFSR编码与折叠计数器技术,实现了对确定性测试集的压缩与生成.其主要优点是将多种测试方法有机地结合在一起,充分地发挥了各种方法在压缩测试数据方面的优势.与国际上同类方法相比,该方案需要的测试数据存储容量更少,测试应用时间明显缩短,总体性能得到提升;并且能够很好地适应于传统的EDA设计流.

基于二维测试数据压缩的BIST方案

为了减少测试向量的存储需求,提出一种基于扭环计数器作为测试向量产生器的横向和竖向测试数据压缩的BIST方案.先利用经典的输入精简技术对测试集进行横向压缩,再对横向压缩之后的测试集进行竖向压缩.竖向压缩时利用一种有效的基于测试集嵌入技术的种子选择算法,将确定性的测试集压缩成很小的种子集.基于ISCAS89标准电路的实验结果表明,采用文中方案所实现的测试电路与已有方案相比:存储位数平均减少了44%,测试向量的长度平均减少了79%,硬件开销平均减少了41%.

基于二叉树搜索空间缩减的测试数据生成

为了减小适应度函数计算量,提高测试数据自动生成效率,提出一种基于二叉树表示的搜索空间数据缩减方法。利用二叉树编码,记录全空间中的覆盖路径和路径长度;将目标路径和测试路径长度进行对比,去除路径长度相差较大的路径;利用遗传算法生成测试数据并同已有两种方法进行比较。实验结果表明,在保证软件测试数据正确生成的情况下,该方法在进化代数和运行时间上有明显优势,生成测试数据效率高。

川西洛带浅层气藏岩电参数模拟研究

应用美国产ARS-300TM岩石和水电阻率测试系统对川西浅层气藏碎屑岩岩心所做地面和地层条件下的电阻率测试得到,孔隙度指数m的地面值小于1.57,地层值小于1.64(孔隙度大于3.0%);饱和度指数n的地面值小于2.35(Ф=6.26%),地层值小于1.50,而产层值小于1.20;随温度、压力的增加(深度增加),m值增大,而n值减小,随孔隙度的增加,m值增大,n值减小,随地层水矿化度的增大,m值呈增大的趋势。实测值与阿尔奇所公布的纯砂岩m、n值都为2相差较大。应用实测m、n值对川西地区的遂宁组气藏所做的测井解释结果与气田的测试产量,单井产量具有较高的一致性。

凝析气井流入动态确定方法研究

在凝析气藏开发过程中,凝析油在地层中析出将导致气相渗透率和产能降低,研究凝析气井流入动态必须综合考虑析出的凝析油对油气相渗透率的影响。文章在 Sarfraz等人研究的基础上,提出了将凝析油气两相拟压力积分分解为两个积分函数之积,一个积分函数与流体高压物性有关,另一个积分函数与有效渗透率有关。利用实际凝析气井不稳定压力恢复试井数据确定拟有效渗透率函数,从而解决了凝析气井产能方程中的真实有效渗透率问题,进而求出两相拟压力,然后利用产能试井数据求出凝析气井流入动态方程。这取代了过去用岩心实验确定的油气两相相对渗透率曲线确定产能方程的方法。

利用遗传算法解释试井参数

将遗传算法用于试井解释 ,正问题采用数值的方法求出 ,并对整段压力曲线进行拟合。采用多次循环搜索的办法 ,有效避免了局部极小问题 ;采用隐性二进制编码法 ,有效提高了速度 ,减小了存储。该算法迭代次数较少 ,收敛较快 ,精度较高 ,解释结果可直接满足需要 ,也可作为线化反演的可靠初值 。

弹丸飞行姿态的计算机采集与处理

根据纸靶弹孔图像判读处理弹丸飞行状态参数的测量原理 ,提出采用计算机图像采集与处理技术 ,实现纸靶弹孔图像判读和数据处理的方法 .实践证明 ,该方法可以直接采集存储在纸靶上的弹孔图像 ,操作简单方便 ,自动化程度较高 ,受人为主观因素影响较小 ,结果重复率高 。

提高变体飞机风洞测力试验精度的方法研究

变体飞机风洞试验主要测量机翼等变形过程对流场的扰动引起的动态气动力、力矩和力矩操纵效率变化。相对于常规测力试验,由于模型的变体运动导致试验数据精度差。本文对纯机械驱动的变体飞机模型的风洞试验精度的主要影响因素进行了分析,从试验方案、数据采集触发方式和数据处理方法等进行了改进。验证试验表明,试验精度大幅提高,升力系数重复性最大误差约为0.00538,阻力系数重复性最大误差约为0.00098,俯仰力矩系数重复性最大误差约为0.00113,动态试验精度达到常规试验水平。

基于非充分测量数据的弹道落点推算方法研究

通过对弹箭参数影响弹道特性的规律进行分析,提出了一种利用非充分测量数据进行参数辨识校正弹道模型的弹道落点推算方法。计算结果表明,该方法可以实现对弹道长时间、长距离准确推算,对测试数据需求较小,随着测量数据长度的增加,推算结果趋于更加准确,方法具有通用性。

高可靠飞行器外测实时处理软件关键技术研究

根据飞行器飞行试验任务需求,分析外测数据实时处理软件的关键数学模型、算法以及功能需求,综合运用数据检择、滤波平滑等技术,消除了异常数据的干扰,构建了高效、可靠的实时数据接收模型。软件设计采用多线程体系结构,合理地分解了系统的功能。在该软件程序框架下设计了各软件功能模块。研究成果已在试验任务中得到了具体应用,能够满足实时数据处理任务的需求。

二维测试数据压缩的优化

为了减少内建自测试方案中的测试数据,基于输入精简技术(横向压缩)和TRC测试集嵌入技术(竖向压缩)的二维测试数据压缩的BIST方案,采用改进的输入精简算法和基于相容性判断的TRC种子选择算法,同时对横向和纵向压缩进行优化,包括在相同的相容百分数(PC)的条件下,确定位百分数(PSB)对竖向压缩的影响和在相同的PSB条件下竖向压缩算法中的PC对竖向压缩的影响两个方面.针对ISCAS89实验电路的实验结果表明,每一个PSB值都有一个最优的PC值范围[PClow-limit,PChigh-limit]使存储位数最小,并且PSB与最优的PClow-limit和PChigh-limit之间满足近似的线性关系.相对于现有的测试数据压缩方案,采用该优化的二维测试数据压缩方案实现的测试电路,不仅存储位数可减少20%～75%,而且可以达到ATPG工具所能达到的故障覆盖率.另外,测试控制逻辑电路简单,可重用性好.最后,由于在测试向量生成器和被测电路之间没有引入逻辑门,因此,不会对电路的性能产生影响.

基于历史数据的测试任务约简和故障诊断

针对部队航电组件测试任务繁重、故障定位率低的问题,提出一种利用历史数据来简化测试任务、提高故障定位率的方法。利用粗糙集信息系统理论,建立了航电组件故障信息系统模型;基于测试任务辨识函数和诊断允许误差对测试任务进行约简;基于最短测试时间选出最优测试任务集;利用贝叶斯最大后验概率进行故障诊断推理,将诊断问题归结为不等式约束极值问题;用0-1规划隐数算法求得最优解。最后以某型飞机惯导部件为例验证了方法的快速有效性。

靶场外测数据实时处理软件设计

根据靶场飞行试验任务需求,对外测数据实时处理软件所用到的测元参数、关键数学模型、算法、装订参数等进行了分析,综合运用了数据检择、滤波与平滑等技术,避免了＂台阶跳＂、＂死码＂等野值干扰,形成了实用、可靠的外测数据实时处理方法。软件设计采用多进程、多线程体系结构,合理地分解了系统的功能,建立了一套实时、高效、可靠的软件程序框架,并在该程序框架下设计了各软件功能模块。

GPS设备海上动态定位精度检测新方法

为解决GPS设备海上动态定位精度检测的问题,提出了利用高精度全站仪对GPS设备动态跟踪进行动态定位精度评定。阐述了检测基准数据的采集和处理,以及利用惯性测量设备提供的姿态数据将GPS定位数据归算到检测基准。简要介绍了进行动态定位精度评定所采用的方法,并对系统的误差进行了分析。最后通过实验验证了新方法的有效性。