基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。

作业条件危险评价方法的修正及在吉林油田的应用

对隐患的评价分级是治理的重要依据 ,作业条件危险评价方法是常用的一种危险评价方法。笔者认为 ,这种方法中的L项过于强调生产系统自身的客观不利因素 ,对管理行为外界主观因素没有考虑 ,恰恰就是这些因素可以在一定程度上消减客观不利因素。因此 ,通过对L项的修正 ,客观地评价危险的等级 ,从而降低了安全投入 ,提高了治理措施的经济性。

基于人民币汇率变动的马歇尔-勒纳条件模型修正与运用

文章对马歇尔-勒纳条件的初始理论模型前提假设进行拓展,基于人民币对美元的汇率变动,对马歇尔-勒纳条件模型做出了理论修正与运用。结果显示:汇率变动在世界经贸中不可避免,不能单凭某一国货币现实汇率的升值或贬值,来认定其对该国贸易收支是否利空抑或利好;于人民币汇率而言,其占美元汇率的权重越高,人民币贬值将越能改善我国的国际贸易收支,但人民币的过度贬值,将推高我国进口商品价格,造成国内的物价上涨,减损国民福利,所以,稳币值应成人民币汇率政策常态;在对世界各国的贸易结构中,应增加对除美国以外的其他国家的商品出口,同时缩减对美国商品的进口,减小人民币占美元汇率的货币权重,使人民币汇率变动不再过度依赖于美元。

机床丝杠进给系统有限元热分析的热边界条件修正方法

符合实际的热边界条件是机床有限元热分析获得准确结果的关键。以龙门加工中心X向丝杠进给系统为例,提出了一种基于实验数据的热边界条件修正方法。该方法利用Workbench多目标优化模块,以热边界条件为变量,以实验测量得到的丝杠上各点的温度值为目标,对计算得到的热边界条件进行修正。然后,在ANSYS经典环境中,以移动热源的形式施加修正后的边界条件,得出丝杠进给系统的瞬态温度场。最后,从有限元分析结果与实验结果的对比可以看出,该方法具有较高的准确性和实用价值。

修正的条件/判定覆盖相关的问题

通过讨论进行修正的条件/判定覆盖(MC/DC)分析时可能会遇到的问题,明确所有布尔表达式、按位运算等程序代码结构均需要满足MC/DC,并证明如果将一个判定分解为多个等价的判定,对各个部分满足MC/DC的测试集,对整个判定并不一定满足MC/DC。同时指出汇编语言程序同样需要考虑MC/-DC问题,提出MC/DC分析发现问题的方式,以及对问题的处理建议。

修正的条件/判定覆盖分析工具评估与选择

使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。

块三对角矩阵的修正型局部块分解预条件

利用块三对角阵分解因子构造了一类修正型不完全分解预条件子 ,分析了该预条件子的存在性及其若干性质。针对从二维Laplace算子离散得到的五点差分矩阵 ,给出了预条件后的实际条件数 ,结果表明 ,条件数与矩阵阶数的平方根成正比 ,并且比例因子随局部分解步长的增大而逐渐减小。具体实现时 ,考虑了其高效实现方案 ,并针对从二维Laplace算子与系数不连续的二维椭圆型算子离散得到的五点差分矩阵 ,在主频为 5 5 0MHz ,内存为 2 5 6MB的微机上作了大量实验 ,且与其他较有效的预条件方法进行了比较 ,结果表明该预条件方法效率优于其他测试预条件。

某型导弹的地面振动条件修正与评估

为解决某型导弹及其关键产品在地面振动试验中出现过考核和欠考核的问题,提出了一种基于遥测数据的地面振动试验条件修正与评估方法。首先,通过功率谱分析地面振动试验数据和遥测数据,结合振动响应裕度指标,实现关键产品的振动响应量化评估。其次,通过振动响应裕度指标合理地评估关键产品在地面试验、仿真分析和飞行试验中振动响应的变化规律。最后,根据遥测数据的功率谱曲线选取拐点频率,并修正地面振动试验条件,使得关键产品的振动响应均方根值由国军标的5.7 g降低至3.4 g,避免低频欠考核和高频过考核现象。通过振动响应裕度指标,验证了该文所定振动条件的有效性。采用随机振动分析和振动响应裕度指标,能评估关键产品地面振动试验的合理性。

混凝土抗压强度实体检测问题及有条件修正法

混凝土作为建筑工程项目的关键原材料,其抗压强度等性能关乎建筑物整体安全及稳定性。文中通过分析混凝土抗压实体检测相关问题及注意事项,针对回弹法与钻芯检测技术进行深入分析,提出混凝土抗压强度实体检测的有效修正法。

考虑光伏出力预测误差修正的储能优化配置方法

首先,基于k均值聚类和Copula理论建立不同天气类型下光伏出力的条件预测误差分布模型,并利用该模型修正储能运行时序模拟算法中的光伏出力预测值;其次,以跟踪光伏电站计划出力为控制目标,并以光伏电站寿命周期内年均收益最大为经济性优化目标,综合考虑储能全寿命周期成本、偏离计划出力的惩罚成本和光伏电站收益,采用粒子群算法和时序模拟计算法搜索最优的储能配置方案。最后,以安徽某地额定容量为100 MW的光伏并网电站储能配置方案为例,对所提出的方法进行验证。仿真算例表明,考虑修正与不考虑修正的情况相比,光伏电站的经济性得到提高,所需储能的功率和容量减小。

求解对称特征值问题的修正Jacobi共轭预处理梯度法(英文)

对于对称特征值问题,基于对原有复杂Jacobi共轭条件的简化,提出了一种修正的Jacobi共轭预处理梯度法.在理论上证明了在求解单个端部特征值时修正方法与原始方法有着渐近等价的共轭性.而在求解多个端部特征值时,修正方法与原始方法展现出极为相似的收敛性,但其矩阵乘积运算更少,因而计算代价也更小.数值算例进一步验证了修正方法的有效性和优越性.

面向MC/DC覆盖的白盒单元测试用例自动生成技术

在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。

跨境资本与人民币汇率的非对称波动耦合效应

构建向量误差修正‒广义自回归条件异方差‒非对称BEKK(VECM-GARCH-ABEKK)模型,从产业资本和金融资本两个维度,研究跨境资本与人民币汇率波动的非对称耦合效应。研究发现,产业资本和金融资本与人民币汇率具有显著的持续性、集聚性波动特征,且两类跨境资本与人民币汇率之间的波动溢出存在差异化的非对称耦合效应。研究提出优先针对产业资本外流风险出台相关政策,构建“宏观审慎+微观监管”监管框架,降低外汇市场超调风险,利用人民币离岸交易构筑资本跨境流动缓冲区等对策建议。

一种基于HTTP/2协议的隐蔽序列信道方法

隐蔽通信技术能够为使用者提供有效保证隐私安全的数据传输服务.现有存储类隐蔽信道一直存在隐蔽安全性疑问,而时间类信道较多选择网络及以下层协议作为载体,需额外提供复杂编码方法以降低误码率,且难以提供足够的传输速率.以新一代应用层协议HTTP/2为基础,提出了一种新的隐蔽信道方法——H2CSC.该方法通过控制HTTP/2协议服务器响应的数据传输过程,通过修改待发送数据帧的发送顺序,使用组合数学编码方法在数据帧序列中隐蔽消息,充分利用了HTTP/2协议提供信道可靠性及安全性.H2CSC方法在广泛使用的Apache Web服务器中以功能模块形式予以实现,并通过真实系统对该方法的有效性和可靠性进行测试,使用基于修正条件熵的逻辑回归分类检测方法进行安全性测试.实验证明:H2CSC方法能够达到574bps的隐蔽通信速度,具有较高的健壮性和隐蔽性.

锂离子电池简化电化学模型:浓度分布估计

为了降低锂电池电化学模型的计算复杂度,提出基于修正边界条件的简化电化学模型,用于估计锂电池内部的电解液浓度分布.采用Pade逼近技术分析简化电化学模型解析解,可得到降阶的分子-分母型传递函数模型.分别采用19.38A和193.80A的脉冲充放电工况进行仿真对比,结果显示所提出简化模型的最大相对误差分别约为0.867%和8.670%.时域和频域模拟仿真结果表明:相比于传统电化学模型,该简化模型对电池内部电解液相的浓度分布估计具有理想的精度,同时计算复杂度得到显著优化,具备实时应用的能力.

利用不完备实测模态修正杆系结构约束边界条件

该文针对杆系结构约束边界条件模型修正问题进行了研究。通过边界单元刚度矩阵的建立,将现有的子结构校正因子修正方法发展到边界条件的修正中。通过一种迭代的修正过程,仅用有限的低阶实测频率就可以实现对边界条件的修正。另外,该文提出了一种分步式整体修正方法,利用低阶不完备实测模态,实现对边界和上部结构的整体修正,有效地避免了修正方程组的病态问题。论文首先通过对悬臂梁有限元模型进行数值研究,验证了边界条件修正方法和分步式整体修正方法的正确性。最后通过悬臂梁物理模型试验,验证了方法的可行性。

一种有源电力滤波器优化SVPWM控制方法的研究

提出一种有源电力滤波器的优化空间矢量脉宽调制控制方法,该方法首先利用三相参考电压值的大小关系替代传统的扇区判断方法,再用三相参考电压直接计算基本电压矢量的作用时间与电压切换点,整个过程不需要进行复杂的坐标矩阵变换和三角函数计算,以加减计算和比较判断为主,仅需要少量的乘除运算即可完成,大大降低了程序运算时间和复杂性。在定点DSP平台上,优化SVPWM算法的运算速度可以提高36.22%。仿真与实验结果证明了该方法的有效性。

井中地震三维高效黏声逆时偏移成像方法及应用

井中地震是井中激发地面接收的一种新型地震采集方法,与地面地震相比,具有采集成本低,作业效率高的优点.此外,井中地震资料信噪比高、频带宽、波场丰富,可实现井周小尺度构造精细成像.在油藏开发中,井中地震可实现油藏描述与监测.鉴于上述原因,近年来,井中地震受到业内越来越多的关注.然而,井中地震震源能量弱,地层吸收衰减效应的影响强于地面地震.因此,需要发展针对性的井中地震衰减补偿偏移成像方法.本文基于Kelvin-Voigt模型推导新的振幅衰减和相位频散解耦的黏声波动方程,通过改进激发振幅成像条件,实现高效的井中三维地震黏声逆时偏移成像方法.此外,本文采用时变低通滤波器压制高波数噪声,提升黏声逆时偏移方法的稳定性.数值算例及实际资料应用表明,本文提出的井中三维黏声逆时偏移成像方法计算效率高、稳定性好,实用化潜力大.

可转债嵌入衍生工具的初始确认与计量

随着我国企业会计准则与国际趋同,可转债中嵌入衍生工具的会计核算受到了关注。新准则完善了可转债的会计处理,但仍存不足。本文对可转债中嵌入衍生工具的初始确认和计量提出自己的见解,以期完善我国会计准则。