检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于程序特征谱整数溢出错误定位技术研究

计算机学报 2012年第10期35卷 2204-2214页

作者：惠战伟黄松嵇孟雨解放军理工大学指挥自动化学院南京210007 全军军事训练软件测评中心南京210007

随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错... 详细信息

随着软件业的飞速发展,人们对软件质量的要求也越来越高.整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一.如何准确定位整数溢出错误是软件安全领域研究的热点.论文改进了现有错误定位模型,构建了整数溢出错误定位模型INTRank.实验结果表明:基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度,使得程序员能够按照基于语句可疑度的优先级顺序检查源代码,找出导致整数溢出错误的原因,同时本文方法具有较低的漏报率.

关键词：整数溢出错误定位程序特征谱定义使用对覆盖分支覆盖

在线全文

学校读者我要写书评

暂无评论

一种基于GUI模型的测试脚本组合方法

东南大学学报（自然科学版） 2017年第A1期47卷 164-169页

作者：王进华黄松惠战伟吴开舜陆军工程大学南京210007 全军军事训练软件测评中心南京210007

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文... 详细信息

为了提高测试效率和测试脚本复用率,提出了一种基于图形用户界面(graph user interface,GUI)模型的测试脚本组合方法.该方法针对GUI层次结构的特点,采用事件关系图和窗口调用图对GUI交互行为进行建模.首先,通过反射机制从程序可执行文件中解析提取事件关系图和窗口调用图;然后,通过构建脚本对象分层信息,从而建立测试脚本与模型的映射关系,再利用映射关系与模型实现脚本的组合.最后,在4款开源GUI应用上进行实验.实验结果表明,所提方法在组合耗时、组合脚本可执行率和模型覆盖率3个方面具有明显优势,验证了脚本组合方法的有效性.

关键词：图形用户界面事件关系图窗口调用图测试脚本组合脚本映射

在线全文

学校读者我要写书评

暂无评论

军事作业疲劳现场监测及评价技术研究进展

军事医学 2024年第2期48卷 143-147页

作者：宋明箫范利君陈学伟马利彬曹江北王静军事科学院军事医学研究院环境医学与作业医学研究所天津300050 解放军总医院第一医学中心麻醉科北京100039

军事作业疲劳的累积可导致作业效能降低和非战斗减员的发生,严重影响战斗力。军事作业疲劳的现场监测及评价是掌握军事作业状态、及时指导训练的重要手段,是有效保障作战人员战斗力的重要前提。该文围绕军事作业疲劳的现场监测及评价方... 详细信息

军事作业疲劳的累积可导致作业效能降低和非战斗减员的发生,严重影响战斗力。军事作业疲劳的现场监测及评价是掌握军事作业状态、及时指导训练的重要手段,是有效保障作战人员战斗力的重要前提。该文围绕军事作业疲劳的现场监测及评价方法,综述军事作业疲劳影响因素、现场监测及综合评价方法,为准确高效测评军事作业疲劳,预警疲劳发生提供重要参考。

关键词：军事作业疲劳现场监测综合评价方法影响因素

在线全文

学校读者我要写书评

暂无评论

坡度坡向量算程序蜕变测试方法

计算机应用 2013年第6期33卷 1657-1661,1745页

作者：黄松丁瑞浩李辉姚奕解放军理工大学指挥信息系统学院南京210007 全军军事训练软件测评中心南京210007

坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算... 详细信息

坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系,并通过分析蜕变关系的适用范围,形成坡度坡向量算程序蜕变测试方法。最后,通过实例研究,验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明,该方法可有效解决坡度、坡向量算程序的测试判定问题,同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴,进一步拓展了蜕变测试技术的应用范围。

关键词：坡度坡向蜕变测试蜕变关系

一种基于蜕变关系的测试与失效测试用例定位模型

在线全文

学校读者我要写书评

暂无评论

计算机科学 2016年第10期43卷 57-62页

作者：惠战伟黄松张婷婷刘剑豪解放军理工大学指挥信息系统学院软件测评中心南京210007 解放军军事训练软件测评中心南京210007 空军预警学院武汉430019

针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试... 详细信息

针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试用例定位方法 FTCL-MT。FTCL-MT作为对已有测试模型的补充,能够在蜕变关系不满足的情况下实现精确定位失效测试用例,从而能够为现有的故障定位技术提供支持。最后,通过实验验证了FTCL-MT方法的有效性。

关键词：蜕变关系测试模型蜕变测试失效测试用例

在线全文

学校读者我要写书评

暂无评论

基于变异分析的蜕变测试充分性条件

计算机应用 2014年第A1期34卷 280-283页

作者：杜元柱黄松惠战伟陆丽丽解放军理工大学指挥信息系统学院南京210007 全军军事训练软件测评中心南京210007

变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死... 详细信息

变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发,探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果,总结蜕变测试用例杀死变异的规律,提出蜕变测试用例杀死变异的一种充分性条件。

关键词：变异变异分析蜕变测试充分性条件

基于深度神经网络的年龄预测模型的构建和评价

在线全文

学校读者我要写书评

暂无评论

标记免疫分析与临床 2024年第3期31卷 519-526,533页

作者：吴佳慧崔雨萌魏子岚徐婕王友亮陈水平解放军医学院北京100853 中国人民解放军总医院第五医学中心检验科北京100039 军事医学研究院生物工程研究所北京100071 安徽医科大学解放军307临床学院合肥230032

目的利用GEO数据库筛选年龄相关的差异基因,构建和评价基于深度神经网络(DNN)的年龄预测模型。方法收集GEO数据库583例正常人的转录组数据,利用R语言的“limma”软件进行差异表达分析,进一步通过Lasso回归筛选年龄相关特征基因。构建深... 详细信息

目的利用GEO数据库筛选年龄相关的差异基因,构建和评价基于深度神经网络(DNN)的年龄预测模型。方法收集GEO数据库583例正常人的转录组数据,利用R语言的“limma”软件进行差异表达分析,进一步通过Lasso回归筛选年龄相关特征基因。构建深度神经网络模型,训练集数据优化模型后,采用测试集数据对模型进行评价。结果共筛选出156个年龄相关特征基因,采用15个年龄相关特征基因构建的DNN年龄预测模型效果最佳,其最大误差、中位数误差和均方根误差分别为11岁、4岁和6岁。与弹性网络回归算法(ENR)、随机森林算法(RF)、随机梯度下降算法(SGD)和支持向量回归算法(SVR)相比,基于DNN的年龄预测模型误差最小,精度最高。15个年龄相关特征基因在HUVEC衰老细胞中的表达量也发生显著变化。结论本研究构建的基于DNN的年龄预测模型可准确和特异地预测年龄,在衰老相关疾病的发生机制、治疗和预后方面发挥重要作用。

关键词：深度神经网络年龄预测模型

军队医院护理人员前沿外科手术队护理技术现况研究

在线全文

学校读者我要写书评

暂无评论

联勤军事医学 2024年第5期38卷 419-424页

作者：李景芳何晓庆雷璐敏邱晨何红艳周体陈巧灵曾登芬解放军医学院研究生院北京100853 解放军总医院第四医学中心眼科解放军总医院第四医学中心麻醉科解放军总医院第四医学中心骨科解放军总医院第四医学中心关节运动医学科解放军总医院第四医学中心护理部

目的探索军队护理人员前沿外科手术队(forward surgical team, FST)护理技术的掌握现况,为制定FST护理核心技术培训体系提供参考。方法 2023-02/2023-05月采用整群抽样法选取14所军队三甲医院718名护理人员作为调查对象,采用一般资料... 详细信息

目的探索军队护理人员前沿外科手术队(forward surgical team, FST)护理技术的掌握现况,为制定FST护理核心技术培训体系提供参考。方法 2023-02/2023-05月采用整群抽样法选取14所军队三甲医院718名护理人员作为调查对象,采用一般资料调查表与护理技术测评表对其进行调查。结果军队医院护理人员卫勤训练方式以线下理论培训最多(71.73%),卫勤任务类型以单位组织卫勤演练为主(72.14%),参加过的机动卫勤力量类型以野战医疗所(30.08%)、野战医疗队(29.53%)为主,卫勤任务中组室训练类型以其他组室(32.45%)、重伤救治组(26.46%)为主,94.57%的人员希望增加卫勤方面的培训。718名军队护理人员对FST护理技术中的通用技术模块掌握程度条目均分、培训需求条目均分最高,特殊技术模块掌握程度条目均分、培训需求条目均分最低。不同年龄、工作年限、职称的军队医院护理人员对通用技术和急救技术的掌握程度评分差异具有统计学意义(P均军队医院护理人员对损伤控制技术和特殊技术的培训需求评分差异具有统计学意义(P均军队护理人员对FST护理技术整体掌握程度属于中等偏上水平,对技术条目的培训需求意愿强烈,应构建完善的FST护理技术培训体系,着重加强损伤控制技术和特殊技术模块知识的培训,为培训一专多能的FST护理队员提供重要参考。

关键词：外科手术队护理人员护理技术掌握程度培训需求

HD-tDCS及雷达认知训练游戏提升雷达操纵员绩效研究

在线全文

学校读者我要写书评

暂无评论

空军军医大学学报 2024年第3期45卷 345-351,355页

作者：马晓岩卢宏亮张志龙尹海军朱霞空军军医大学军事医学心理学系军事心理学教研室陕西西安710032 解放军93897部队陕西西安710082

目的比较联合或单独使用高精度经颅直流电刺激(HD-tDCS)与雷达认知训练游戏对雷达操纵员绩效提升的效果,探讨雷达操纵员更加实效的新训练方法。方法将87名被试随机分为联合组(n=23)、训练组(n=22)、刺激组(n=21)及对照组(n=21);采用HD-t... 详细信息

目的比较联合或单独使用高精度经颅直流电刺激(HD-tDCS)与雷达认知训练游戏对雷达操纵员绩效提升的效果,探讨雷达操纵员更加实效的新训练方法。方法将87名被试随机分为联合组(n=23)、训练组(n=22)、刺激组(n=21)及对照组(n=21);采用HD-tDCS对现役雷达操纵员左侧背外侧前额叶持续干预9 d(1次/d,20 min/次),同步或单独进行雷达认知训练游戏;使用SPSS 26.0软件进行两因素重复测量方差分析,比较工作记忆、注意力、雷达认知训练游戏成绩及操纵员专业训练成绩的变化。结果所有成绩组别主效应均不显著;时间与组别交互效应显著的有认知能力测评2-back任务ACC成绩(P=0.02)、4-back任务RT成绩(P训练游戏默记航线RT成绩(P训练游戏可以提升操纵员绩效水平,前者在安全性及实效性方面均具有较好的应用前景,后者经再优化后可直接推广使用。

关键词：高精度经颅直流电刺激雷达认知训练游戏雷达操纵员认知能力