基于DO-178C的无关代码和非激活代码适航研究

目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适航方案迎审不通过的问题。通过解析DO-178C标准中的理论核心要点,提出了一种代码类型判定流程。总结国内外成功适航经验,对不同项目应用了本判定流程,结合适航关注点给出了实践建议,望给后续项目提供参考和便利。

一种基于遗传算法的车间调度算法求解

针对车间作业调度问题,讨论了应用于车间作业调度的遗传算法设计,给出了主要的编码、解码、以及死锁问题的算法模型。结合应用实例,说明了设计的可行性与有效性。

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。

湿度码预测江西典型地表细小死可燃物含水率适用性分析

【目的】分析加拿大火险等级系统中湿度码预测江西典型地表细小死可燃物含水率的适用性,为该地区含水率研究提供基础数据以及更好的理解湿度码在我国的适用性。【方法】以江西省南昌市茶园山林场典型林分马尾松林(MWS)、杉木林(SM)、柳杉林(LS)和毛竹林(MZ)下地表细小死可燃物为研究对象,在2018年10月23日—2019年1月20日(江西省防火期)以非破坏性采样方法对其含水率动态变化进行监测,并同步监测气象要素,利用Spearman偏相关分析地表细小死可燃物含水率动态变化与气象要素和湿度码的相关性,选择气象要素回归法和湿度码回归法建立地表细小死可燃物含水率预测模型,并进行模型外推分析,得到预测模型精度和外推能力,分析湿度码预测江西典型地表细小死可燃物含水率的适用性。【结果】监测共进行90 d,主要得到以下结果:1)地表细小死可燃物含水率动态变化主要受相对湿度和降雨的影响,此外,马尾松还受空气温度极显著影响,柳杉和杉木含水率与风速呈极显著负相关;2)地表细小死可燃物含水率与细小可燃物湿度码、腐殖质码和干旱码都呈极显著负相关,且相关性逐渐降低;3)直接使用细小可燃物湿度码得到的含水率值与所有地表细小死可燃物含水率实测值均有极显著差异,平均绝对误差和相对误差范围分别为43.717%~80.377%和49.576%~151.698%;4)气象要素回归模型的平均绝对误差和平均相对误差范围分别为20.395%~40.765%和37.417%~59.175%,湿度码回归模型的平均绝对误差和平均相对误差范围分别为19.366%~34.372%和33.895%~47.258%,湿度码回归模型误差显著低于气象要素回归模型;5)气象要素回归模型和湿度码回归模型的外推绝对误差均值分别为50.244%和45.824%,湿度码回归模型外推能力要优于气象要素回归模型。【结论】直接使用湿度码预测江西典型地表细小死可燃物含水率并不适用,选择回归法对其校正,虽然较气象要素回归法显著提高了预测精度,但依旧无法满足火险需要。在今后研究中,还需对湿度码中关键参数:平衡含水率和失水系数等进行校正,提高基于湿度码预测地表细小死可燃物含水率的精度。

基于iBeacon和多自由度MEMS的室内融合定位技术研究

由于GPS信号在室内环境下不能有效地实现定位和导航,因此精确的室内定位技术仍然是一个十分活跃的研究课题。行人航迹推算(PDR)可以使用智能手机的自带传感器实现室内连续定位。然而,它会随着行走距离的变长产生很大的累计误差。因此,提出一种基于iBeacon和手机MEMS相融合的精确的室内定位方法。在行走路径上加入iBeacon信标和二维码信标,系统自适应地选择相应的校正模式纠正PDR算法产生的累计误差。最后完成了基于Android平台的室内定位软件的开发。实验结果显示,文中方法的定位结果与PDR定位结果相比较,定位精度有了显著的提高,融合定位的平均误差在2m以内,定位精度满足项目需要。

浅析民机机载软件非激活代码

民用飞机对安全性的要求决定了机载软件需比普通行业软件满足更多的要求。机载软件源代码中所含的非激活代码若被意外激活,会对飞机的安全性带来不同等级的危害。如何通过过程保证的方法来避免或减缓非激活代码被意外激活,是当下机载软件研制单位和适航审定局方共同关注的问题。本文针对机载软件非激活代码的特殊属性,分别从软件计划、设计和验证过程,解析了业界标准中与非激活代码相关的要求。同时站在审定局方的角度,诠释了局方在适航符合性验证方面的对非激活代码的关注点。

编译器中激进蝴蝶优化方法的研究与实现

编译优化技术的目的是挖掘程序中的优化空间,提高程序编译或运行效率,无效代码删除优化是被广泛使用的编译优化技术之一,它旨在删除程序中不可达的代码,以提升程序的执行效率。许多应用程序的执行路径往往与运行时的输入参数值相关,并且在一些分支路径上与运行时参数值相结合,可能存在无效代码,通过现有的无效代码删除优化,很难做出优化处理。为此,提出一种依赖数据流分析的激进蝴蝶优化方法,利用SSA中间表示,根据动态运行时的参数可能值,自动为程序生成代码形状类似蝴蝶(butterfly)的分支代码,使编译器在程序编译阶段为相关优化提供可行的优化依据。最后通过实验验证了该方法的有效性和可行性。

进口火电机组控制系统改进方案探讨

通过几种自行设计的控制逻辑的分析，说明使用修改组态软件来改进控制策略，是保证进口机组安全、降低成本、增加效益的一种行之有效的方法。

GraphX图模型智能软件死码发现机制

本文在对GraphX图处理技术进行系统研究的基础上,提出了一种软件死码发现机制。运行软件源代码,生成函数调用关系,利用本文机制发现在程序操作过程中永远不可能被执行到的代码,即软件死码。利用CodeViz对100个左右的源代码文件进行筛选需要1个多小时的运算时间。而使用本文机制有效提高了死码的发现效率,可以将运算效率提升数倍。

Contribution to S-EMG Signal Compression in 1D by the Combination of the Modified Discrete Wavelet Packet Transform (MDWPT) and the Discrete Cosine Transform (DCT)

A new Modified Discrete Wavelets Packets Transform (MDWPT) based method for the compression of Surface EMG signal (s-EMG) data is presented. A Modified Discrete Wavelets Packets Transform (MDWPT) is applied to the digitized s-EMG signal. A Discrete Cosine Transforms (DCT) is applied to the MDWPT coefficients (only on detail coefficients). The MDWPT+ DCT coefficients are quantized with a Uniform Scalar Dead-Zone Quantizer (USDZQ). An arithmetic coder is employed for the entropy coding of symbol streams. The proposed approach was tested on more than 35 actuals S-EMG signals divided into three categories. The proposed approach was evaluated by the following parameters: Compression Factor (CF), Signal to Noise Ratio (SNR), Percent Root mean square Difference (PRD), Mean Frequency Distortion (MFD) and the Mean Square Error (MSE). Simulation results show that the proposed coding algorithm outperforms some recently developed s-EMG compression algorithms.

《民法总则》中英雄烈士条款的解释论研究

《民法总则》第185条是死者人格利益保护制度的特别规则,其理论基础为近亲属保护兼采社会公共利益,英雄应解释为英勇献身的英雄和自然身故的英雄;烈士以评定为依据。该条的保护范围仅限于姓名、肖像、名誉和荣誉人格利益,包括精神利益和财产利益。侵害方式与死者人格利益保护的认定条件基本一致。社会公共利益是本条的构成要件之一,应借助利益衡量的方法厘定社会公共利益。违反本条的民事责任不适用惩罚性赔偿,不同的请求权人主张的民事责任具有一定差异性。为保证民法的体系自洽性,本条可在民法典分则中进行细化规定,并在统编民法典时予以删除。

智能手机二维码室内定位系统

针对定位服务大多数基于全球定位系统,提供室内定位的应用相对较少且布设成本过高的问题,实现了一种简单而有效的室内定位系统,可以在安卓智能手机中获取精确的用户室内位置。该系统利用高德地图软件开发工具包获取室内地图,采用包含地理位置信息的QR二维码标识位置,比其他基于无线技术的方法成本更低,相对于传统的行人航迹推算算法提高了一倍的精度。