期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
基于DO-178C的无关代码和非激活代码适航研究
1
作者 李燕琳 郑雪峰 +3 位作者 潘路平 钟旭旭 曾析 胡胤杰 《航空计算技术》 2024年第4期76-79,共4页
目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适... 目前我国民用机载设备自研取证项目数量剧增,其承载的功能也正往高关键等级发展。驻留于其中的机载软件,往往因使用了开源代码、库函数、底层驱动等非自研软件模块,在满足DO-178C标准规定的结构覆盖要求时,因代码类型判定不准确,出现适航方案迎审不通过的问题。通过解析DO-178C标准中的理论核心要点,提出了一种代码类型判定流程。总结国内外成功适航经验,对不同项目应用了本判定流程,结合适航关注点给出了实践建议,望给后续项目提供参考和便利。 展开更多
关键词 DO-178C 结构覆盖 无关代码 死代码 非激活代码
下载PDF
一种基于遗传算法的车间调度算法求解 被引量:5
2
作者 安晶 秦珂 《盐城工学院学报(自然科学版)》 CAS 2007年第1期33-36,共4页
针对车间作业调度问题,讨论了应用于车间作业调度的遗传算法设计,给出了主要的编码、解码、以及死锁问题的算法模型。结合应用实例,说明了设计的可行性与有效性。
关键词 车间作业调度 遗传算法 编码 解码 死锁
下载PDF
无用代码的检测
3
作者 张广梅 李劲松 《北京化工大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第A01期93-96,共4页
程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各... 程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销,对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上,对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。 展开更多
关键词 无用代码 数据流分析 谓词相关 程序插装
下载PDF
湿度码预测江西典型地表细小死可燃物含水率适用性分析 被引量:4
4
作者 伍威 张运林 满子源 《中南林业科技大学学报》 CAS CSCD 北大核心 2021年第10期37-44,56,共9页
【目的】分析加拿大火险等级系统中湿度码预测江西典型地表细小死可燃物含水率的适用性,为该地区含水率研究提供基础数据以及更好的理解湿度码在我国的适用性。【方法】以江西省南昌市茶园山林场典型林分马尾松林(MWS)、杉木林(SM)、柳... 【目的】分析加拿大火险等级系统中湿度码预测江西典型地表细小死可燃物含水率的适用性,为该地区含水率研究提供基础数据以及更好的理解湿度码在我国的适用性。【方法】以江西省南昌市茶园山林场典型林分马尾松林(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%,湿度码回归模型外推能力要优于气象要素回归模型。【结论】直接使用湿度码预测江西典型地表细小死可燃物含水率并不适用,选择回归法对其校正,虽然较气象要素回归法显著提高了预测精度,但依旧无法满足火险需要。在今后研究中,还需对湿度码中关键参数:平衡含水率和失水系数等进行校正,提高基于湿度码预测地表细小死可燃物含水率的精度。 展开更多
关键词 湿度码 江西 地表细小死可燃物 含水率
下载PDF
基于iBeacon和多自由度MEMS的室内融合定位技术研究 被引量:4
5
作者 谢红 曹欢 刘利国 《应用科技》 CAS 2017年第5期85-92,共8页
由于GPS信号在室内环境下不能有效地实现定位和导航,因此精确的室内定位技术仍然是一个十分活跃的研究课题。行人航迹推算(PDR)可以使用智能手机的自带传感器实现室内连续定位。然而,它会随着行走距离的变长产生很大的累计误差。因此,... 由于GPS信号在室内环境下不能有效地实现定位和导航,因此精确的室内定位技术仍然是一个十分活跃的研究课题。行人航迹推算(PDR)可以使用智能手机的自带传感器实现室内连续定位。然而,它会随着行走距离的变长产生很大的累计误差。因此,提出一种基于iBeacon和手机MEMS相融合的精确的室内定位方法。在行走路径上加入iBeacon信标和二维码信标,系统自适应地选择相应的校正模式纠正PDR算法产生的累计误差。最后完成了基于Android平台的室内定位软件的开发。实验结果显示,文中方法的定位结果与PDR定位结果相比较,定位精度有了显著的提高,融合定位的平均误差在2m以内,定位精度满足项目需要。 展开更多
关键词 室内定位 行人航位推算 蓝牙定位 iBeacon定位 二维码定位 单点校正 融合定位 定位系统
下载PDF
浅析民机机载软件非激活代码 被引量:1
6
作者 廖凯 居慧 《科技视界》 2018年第21期33-34,共2页
民用飞机对安全性的要求决定了机载软件需比普通行业软件满足更多的要求。机载软件源代码中所含的非激活代码若被意外激活,会对飞机的安全性带来不同等级的危害。如何通过过程保证的方法来避免或减缓非激活代码被意外激活,是当下机载软... 民用飞机对安全性的要求决定了机载软件需比普通行业软件满足更多的要求。机载软件源代码中所含的非激活代码若被意外激活,会对飞机的安全性带来不同等级的危害。如何通过过程保证的方法来避免或减缓非激活代码被意外激活,是当下机载软件研制单位和适航审定局方共同关注的问题。本文针对机载软件非激活代码的特殊属性,分别从软件计划、设计和验证过程,解析了业界标准中与非激活代码相关的要求。同时站在审定局方的角度,诠释了局方在适航符合性验证方面的对非激活代码的关注点。 展开更多
关键词 机载软件 非激活代码 死代码 符合性 结构覆盖率分析
下载PDF
编译器中激进蝴蝶优化方法的研究与实现
7
作者 朱广林 吕方 +2 位作者 赖庆宽 陈华英 何先波 《计算机工程与科学》 CSCD 北大核心 2021年第6期962-968,共7页
编译优化技术的目的是挖掘程序中的优化空间,提高程序编译或运行效率,无效代码删除优化是被广泛使用的编译优化技术之一,它旨在删除程序中不可达的代码,以提升程序的执行效率。许多应用程序的执行路径往往与运行时的输入参数值相关,并... 编译优化技术的目的是挖掘程序中的优化空间,提高程序编译或运行效率,无效代码删除优化是被广泛使用的编译优化技术之一,它旨在删除程序中不可达的代码,以提升程序的执行效率。许多应用程序的执行路径往往与运行时的输入参数值相关,并且在一些分支路径上与运行时参数值相结合,可能存在无效代码,通过现有的无效代码删除优化,很难做出优化处理。为此,提出一种依赖数据流分析的激进蝴蝶优化方法,利用SSA中间表示,根据动态运行时的参数可能值,自动为程序生成代码形状类似蝴蝶(butterfly)的分支代码,使编译器在程序编译阶段为相关优化提供可行的优化依据。最后通过实验验证了该方法的有效性和可行性。 展开更多
关键词 无效代码删除 编译优化 数据流分析 激进蝴蝶优化 SSA中间表示
下载PDF
进口火电机组控制系统改进方案探讨
8
作者 李选 《河北电力技术》 1998年第3期52-55,共4页
通过几种自行设计的控制逻辑的分析,说明使用修改组态软件来改进控制策略,是保证进口机组安全、降低成本、增加效益的一种行之有效的方法。
关键词 火电机组 控制系统 改进方案 电厂
下载PDF
GraphX图模型智能软件死码发现机制
9
作者 刘文静 王洪彬 《福建电脑》 2020年第6期87-89,共3页
本文在对GraphX图处理技术进行系统研究的基础上,提出了一种软件死码发现机制。运行软件源代码,生成函数调用关系,利用本文机制发现在程序操作过程中永远不可能被执行到的代码,即软件死码。利用CodeViz对100个左右的源代码文件进行筛选... 本文在对GraphX图处理技术进行系统研究的基础上,提出了一种软件死码发现机制。运行软件源代码,生成函数调用关系,利用本文机制发现在程序操作过程中永远不可能被执行到的代码,即软件死码。利用CodeViz对100个左右的源代码文件进行筛选需要1个多小时的运算时间。而使用本文机制有效提高了死码的发现效率,可以将运算效率提升数倍。 展开更多
关键词 GraphX 软件死码 函数调用关系
下载PDF
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)
10
作者 Colince Welba Aimé Joseph Oyobé Okassa +1 位作者 Pascal Ntsama Eloundou Pierre Ele 《Journal of Signal and Information Processing》 2020年第3期35-57,共23页
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 <... 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 <span style="font-family:Verdana;">digitized s-EMG signal. A Discrete Cosine Transforms (DCT) is applied to the MDWPT coefficients (only on detail coefficients). The MDWPT+ DCT coeffici</span><span style="font-family:Verdana;">ents are quantized with a Uniform Scalar Dead-Zone Quantizer (USD</span><span style="font-family:Verdana;">ZQ)</span><span style="font-family:Verdana;">. An arithmetic coder is employed for the entropy coding of symbol streams. The</span><span style="font-family:Verdana;"> proposed approach was tested on more than 35 act</span><span style="font-family:Verdana;">uals S-EMG signals divided into three categories. The proposed approach was evaluated by the foll</span><span style="font-family:Verdana;">owing parameters: Compression Factor (CF), Signal to Noise Ratio (SN</span><span style="font-family:Verdana;">R), </span><span style="font-family:Verdana;">Percent Root mean square Difference (PRD), Mean Frequency Distortion (MFD) </span><span style="font-family:Verdana;">and the Mean Square Error (MSE). Simulation results show that the proposed coding algorithm outperforms some recently developed s-EMG compression algorithms.</span> 展开更多
关键词 S-EMG Compression MDWPT DCT Arithmetic Coding Uniform Scalar dead-Zone Quantizer (USDZQ)
下载PDF
《民法总则》中英雄烈士条款的解释论研究 被引量:36
11
作者 刘颖 《法律科学(西北政法大学学报)》 CSSCI 北大核心 2018年第2期100-113,共14页
《民法总则》第185条是死者人格利益保护制度的特别规则,其理论基础为近亲属保护兼采社会公共利益,英雄应解释为英勇献身的英雄和自然身故的英雄;烈士以评定为依据。该条的保护范围仅限于姓名、肖像、名誉和荣誉人格利益,包括精神利益... 《民法总则》第185条是死者人格利益保护制度的特别规则,其理论基础为近亲属保护兼采社会公共利益,英雄应解释为英勇献身的英雄和自然身故的英雄;烈士以评定为依据。该条的保护范围仅限于姓名、肖像、名誉和荣誉人格利益,包括精神利益和财产利益。侵害方式与死者人格利益保护的认定条件基本一致。社会公共利益是本条的构成要件之一,应借助利益衡量的方法厘定社会公共利益。违反本条的民事责任不适用惩罚性赔偿,不同的请求权人主张的民事责任具有一定差异性。为保证民法的体系自洽性,本条可在民法典分则中进行细化规定,并在统编民法典时予以删除。 展开更多
关键词 英雄烈士条款 死者人格利益 《民法总则》第185条 民法典编纂
原文传递
智能手机二维码室内定位系统 被引量:7
12
作者 张向鹏 郭际明 肖屹 《测绘科学》 CSCD 北大核心 2017年第11期158-163,共6页
针对定位服务大多数基于全球定位系统,提供室内定位的应用相对较少且布设成本过高的问题,实现了一种简单而有效的室内定位系统,可以在安卓智能手机中获取精确的用户室内位置。该系统利用高德地图软件开发工具包获取室内地图,采用包含地... 针对定位服务大多数基于全球定位系统,提供室内定位的应用相对较少且布设成本过高的问题,实现了一种简单而有效的室内定位系统,可以在安卓智能手机中获取精确的用户室内位置。该系统利用高德地图软件开发工具包获取室内地图,采用包含地理位置信息的QR二维码标识位置,比其他基于无线技术的方法成本更低,相对于传统的行人航迹推算算法提高了一倍的精度。 展开更多
关键词 二维码 高德地图 行人航迹推算 室内定位系统
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部